تاریخ انتشار : سه شنبه ۱۴۰۱/۹/۸
تعریف عدد طبیعی
در این نوشتار به بررسی اعداد طبیعی پرداخته و خصوصیاتی که این مجموعه اعداد نسبت به چهار عمل اصلی دارند را مورد بررسی قرار داده‌ایم.
انسان‌ها با توجه به افزایش قدرت تفکر در دوره رشد ذهنی خود، قادر به نام‌گذاری بر روی اشیاء می‌شوند. اعداد نیز به نوعی نام‌گذاری و نمایش کمّی ویژگی‌هایی است که انسان در طبیعت با آن برخورد می‌کند. از آنجایی که در ابتدا بشر احتیاج به شمارش اشیاء پیرامون خود داشت، اعدادی که اختراع کرد، وابسته به طبیعت بودند و براین اساس این اعداد را با نام مجموعه اعداد طبیعی می‌شناسیم. واضح است که چنین مجموعه اعدادی برای شمارش هویت‌های طبیعی به کار گرفته می‌شود که البته بسیار ملموس نیز هستند.
در نظریه اعداد، با توجه به ویژگی‌های دسته‌ای از عددها، آن‌ها را به مجموعه‌هایی متفاوت، طبقه‌بندی کرده‌اند. در دیگر نوشتارهای فرادرس با مجموعه اعداد حقیقی، گویا و مختلط آشنا شدید. در این نوشتار به سراغ اعداد طبیعی خواهیم رفت و ویژگی‌هایی این مجموعه از اعداد را مورد بررسی قرار خواهیم داد.
به منظور آشنایی بیشتر با مجموعه‌ها بهتر است، نوشتار مجموعه ها در ریاضیات – مفاهیم پایه و اجتماع، اشتراک و تفاضل مجموعه ها — به زبان ساده را مطالعه کنید. همچنین خواندن نوشتار قواعد بخش پذیری یا عاد کردن — به زبان ساده به منظور آشنایی بیشتر با ویژگی‌های بخش‌پذیری اعداد طبیعی ضروری به نظر می‌رسد.
نظریه اعداد، در اوایل قرن شانزدهم و هفدهم بوسیله دانشمندان ریاضی بخصوص «پیِر دو فرما» (Pie e de Fe ma ) و «لئونارد اویلر» (Leo ha d Eule ) توسعه پیدا کرد. یکی از اصلی‌ترین بخش‌های نظریه اعداد مربوط به اعداد طبیعی و خصوصیات آن‌ها است. با مجموعه اعداد طبیعی قادر هستیم یک تناظر یک به یک (O e o O e) بین اشیاء در طبیعت و مجموعه اعداد طبیعی برقرار کنیم. به این ترتیب می‌توان اعداد طبیعی را مجموعه مقادیر زیر در نظر گرفت.
$$la ge displays yle ope a o ameN=1,2,…$$
البته گاهی عدد صفر را نیز به عنوان یکی از اعضای مجموعه اعداد طبیعی در نظر می‌گیرند تا بتوانند خواص دیگری نیز برای این مجموعه اعداد تعریف کنند. ما هم در این نوشتار این قاعده را رعایت می‌کنیم و صفر را عضوی از اعضای مجموعه اعداد طبیعی در نظر می‌گیریم.
$$la ge displays yle ope a o ameN=0,1,2,…$$
همانطور که دیده می‌شود، در ریاضیات این مجموعه را با نماد N که ابتدای کلمه Na u al است نشان می‌دهند. این مجموعه، نامتناهی بوده ولی شمارش‌پذیر است. به این معنی که انتهایی برای این مجموعه نمی‌توان در نظر گرفت ولی اعضای بین هر دو عضو دلخواه آن، شمارش‌پذیر است.
در این تعریف از مجموعه اعداد طبیعی، یک رابطه ترتیبی نیز در نظر گرفته شده است. بزرگی و کوچکی اعداد در این مجموعه باعث بوجود آمدن یک ترتیب در آن می‌شود.
عدد $$a$$ را از $$b$$ کوچکتر می‌گوییم اگر تفاضل $$b-a$$ مثبت باشد. به این ترتیب هر چند در مشخص کردن یک مجموعه، ترتیب قرارگیری اعضا مهم نیست ولی اغلب برای نمایش مجموعه اعداد طبیعی، اعضای آن را به ترتیب از کوچک به بزرگ، کنار یکدیگر می‌نویسند.
برای اعداد طبیعی می‌توان ترتیب در نظر گرفت. این امر مطابق با آنچه که در تعریف این مجموعه در نظریه مجموعه‌ها گفته شد، انجام می‌شود. اصل خوش‌ترتیبی (well-o de i g p i ciple) نیز به همین موضوع اشاره دارد. اصل خوش‌ترتیبی برای اعداد طبیعی به این شکل بیان می‌شود: برای هر زیر مجموعه ناتهی از مجموعه اعداد طبیعی، کوچکترین عضو وجود دارد.
به بیان ریاضی این گزاره به صورت زیر نوشته و توصیف می‌شود.
$$la ge emp yse eq Ssubse N igh a ow exis s s_0 i S; fo all si S, s_0 leq s$$
این گزاره ریاضی را می‌توان به این صورت توجیه کرد که کوچکترین مقدار در مجموعه $$S$$ وجود داشته و برابر است با $$s_0$$. پس می‌توان نوشت: $$s_o = mi (s)$$.
نکته: طبق اصل خوش‌ترتیبی برای هر زیر مجموعه از اعداد طبیعی می‌توان کوچکترین عنصر را معرفی کرد در حالیکه برای مجموعه اعداد حقیقی به جای کوچکترین عضو، از بزرگترین کران پایین (i fimum) استفاده می‌شود که ممکن است در آن مجموعه وجود نداشته باشد. همینطور برای نشان دادن بزرگترین عضو یک زیر مجموعه از اعداد حقیقی ممکن است از کوچکترین کران بالا (Sup emum) کمک بگیریم آن هم ممکن است درون مجموعه نباشد. به همین دلیل ممکن است بعضی از زیرمجموعه‌های اعداد حقیقی دارای مقدار حداکثر (Maximum) یا حداقل (Mi imum) نباشند. برای مثال در بازه $$(0,1)$$ مقدار $$0$$ بزرگترین کران پایین یا I fimum است. همچنین $$1$$ نیز کوچکترین کران بالا یا Sup emum است و مشخص است که هیچکدام از این دو مقدار در مجموعه یا بازه $$(0,1)$$ قرار ندارند. این گونه مثال‌ها نشان می‌دهند که اصل خوش‌ترتیبی برای مجموعه اعداد حقیقی صادق نیست.
یکی از شیوه‌های قدیمی و البته موثر برای نمایش اعداد، ترسیم آن‌ها روی یک محور جهت دار است. طبق اصل خوش‌ترتیبی و تعریف مدرن از اعداد طبیعی، می‌توانیم آن‌ها را به ترتیب قرار دهیم. در نتیجه اگر روی یک پیکان (خط جهت‌دار)، نقاطی را با فاصله واحد از یکدیگر مشخص کنیم، می‌توانیم آن‌ها را به نحوی، شکل نمایشی برای اعداد طبیعی در نظر بگیریم. در تصویر زیر اعداد طبیعی، مقادیر بزرگتر یا مساوی با ۱ در نظر گرفته شده‌اند که در انگلیسی به آن (Na u al Numbe s) گفته می‌شود. در صورتی که عدد صفر را نیز منظور کنیم، مجموعه همه اعداد (Whole Numbe s) ساخته خواهد شد که البته منظور ما از اعداد طبیعی در این نوشتار این مجموعه اعداد است.
نکته: به این علت طبق قرار داد صفر را در مجموعه اعداد طبیعی در نظر می‌گیریم که بتوانیم برای جمع، در این مجموعه عضو خنثی ایجاد کنیم. از آنجایی که مجموعه اعداد طبیعی براساس اصل خوش‌ترتیبی، دارای کوچکترین عضو است، این عضو را می‌توانیم صفر بنامیم. در نتیجه سمت چپ محور به نقطه صفر محدود شده ولی سمت راست آن تا بی‌نهایت ادامه خواهد داشت.
قوانین زیر را برای جمع دو عدد طبیعی به کار می‌بریم.
$$la ge m 0 =m$$
$$la ge m 1=(m 1)$$
برای جمع دو عدد طبیعی نیز می‌توانیم از محاسبات تکراری کمک گرفته و برای مثال جمع $$m $$ را به صورت یک رابطه بازگشتی بنویسیم:
$$la ge m = ove b ace((((m 1) 1) 1 ldo s) 1^ ex imes)$$
عمل جمع روی اعداد طبیعی را با توجه به محور اعداد نیز می‌توان نشان داد. در این حالت عمل جمع $$m$$ با $$ $$ به معنی حرکت $$ $$ واحد به سمت راست از محل قرارگیری عدد $$m$$ روی محور اعداد است.
به منظور آشنایی با شیوه تفریق و تقسیم اعداد طبیعی نیز بهتر است نوشتار تقسیم عدد صحیح — به زبان ساده را مطالعه کنید.
بعضی از خصوصیات جالب عمل جمع و ضرب روی اعداد طبیعی در ادامه معرفی می‌شوند.
$$la ge m = m$$
$$la ge m imes = imes m$$
به عنوان مثال مشخص است که $$2 3=3 2=5$$ و $$2 imes 3 = 3 imes 2 = 6$$.
$$la ge m ( o) = (m ) o$$
$$la ge m imes ( imes o) = (m imes ) imes o$$
به عنوان مثال، مشخص است که $$1 (2 3)= (1 2) 3=5$$ و همچنین $$1 imes(2 imes 3)=(1 imes 2) imes 3=6$$.
$$la ge m 0 = m$$
$$la ge m imes 1 = m$$
طبق این خاصیت می‌دانیم که $$2 0=2$$ و $$2 imes 1=2$$.
$$la ge m imes( o) = (m imes ) (m imes o)$$
بنابراین مثلا $$1 imes(2 3)=(1 imes2) (1 imes3)=5$$.
ولی جمع نسبت به ضرب خاصیت توزیع‌پذیری ندارد.
$$la ge m ( imes o) eq (m ) imes(m o)$$
زیرا برای مثال
$$la ge 7=1 (2 imes3) eq (1 2) imes(1 3)=3 imes 4=12$$
بررسی این تساوی‌ها با توجه به تعریف جمع به صورت بازگشتی، به راحتی صورت می‌گیرد.
برای مجموعه اعداد طبیعی خصوصیات جالبی وجود دارد که برمبنای آن‌ها می‌توانیم برای مجموعه اعداد دیگر مانند اعداد حقیقی نیز این ویژگی‌ها را تعمیم داده یا بررسی کنیم. در ادامه به بررسی بعضی از این خصوصیات خواهیم پرداخت. برای مثال یکی از این ویژگی‌ها بسته بودن مجموعه اعداد طبیعی نسبت به جمع و ضرب است در حالیکه نسبت به تفریق و تقسیم این مجموعه از اعداد بسته نیستند. در اینجا بهتر است ابتدا به موضوع بسته بودن (Closu e) یک مجموعه نسبت به یک عملگر توجه کنیم.
تعریف: مجموعه $$A$$ را نسبت به عملگر $$Del a$$ بسته (Close) می‌گویند اگر برای هر عضو از مجموعه $$A$$ داشته باشیم.
$$la ge x,y i A igh a ow xDel a y i A$$
به بیان دیگر اگر عملگر $$Del a$$ را روی هر عضوی از مجموعه $$A$$ به کار بریم، نتیجه نیز متعلق به مجموعه $$A$$ خواهد بود.
نکته: توجه دارید که تعریف‌ها و اصول احتیاجی به اثبات ندارند ولی هر عقل سلیمی به صحت این گزاره رای می‌دهد.
مثال: مجموعه اعداد طبیعی نسبت به عملگر جمع بسته هستند. اگر $$m$$ و $$ $$ را در مجموعه اعداد طبیعی در نظر بگیریم، واضح است که مجموع آن‌ها نیز یک عدد طبیعی است و در مجموعه $$N$$ جای خواهد گرفت.
تعریفی که در نظریه مجموعه‌ها با استفاده از ترتیب‌ها، برای اعداد طبیعی ارائه شده است در ادامه مورد بررسی قرار می‌گیرد.
$$la ge s(m) = m cup m$$
به این ترتیب روش بیان اعداد طبیعی به صورت زیر مشخص می‌شود.
نکته: در این تعریف صفر نیز در مجموعه اعداد طبیعی قرار می‌گیرد.
طبق تعریف مدرن از اعداد طبیعی، برای دو عدد طبیعی مثل $$m$$ و $$ $$ با شرط $$msubse eq $$ آنگاه خواهیم داشت: $$mleq $$ و در صورتی که $$ m subse eq $$ و $$ subse eq m$$ آنگاه $$m= $$ خواهد بود.
این شیوه بیان اعداد طبیعی طبق نظریه ترتیب‌های «جان فن نویمن» (Vo Neuma ) صورت گرفته است که در آن هر ترتیب، یک مجموعه خوش‌ترتیب از ترتیب‌های کوچکتر است.
یکی از مجموعه‌هایی که در ریاضیات در اکثر مواقع با آن سروکار داریم، مجموعه اعداد طبیعی است. در آموزش‌های اولیه ریاضیات در مقاطع دبستان، مجموعه اعداد طبیعی و خصوصیات آن آموزش داده می‌شود. هر چند نظریه اعداد به زبان مجموعه‌ها، به نظر مشکل می‌رسد ولی بسیاری از قضیه‌های مطرح شده در آن، راهگشای حل بسیاری از مسائل آینده ریاضی شده و شاخه‌های جدیدی در ریاضیات را بوجود آورده‌اند. در این نوشتار به بررسی اعداد طبیعی و خصوصیاتی که مجموعه اعداد طبیعی نسبت به چهار عمل اصلی دارند پرداختیم.
اگر این مطلب برای شما مفید بوده است، آموزش‌های زیر نیز به شما پیشنهاد می‌شوند:
آرمان ری بد ( )
«آرمان ری‌بد» دکتری آمار در شاخه آمار ریاضی دارد. از علاقمندی‌های او، یادگیری ماشین، خوشه‌بندی و داده‌کاوی است و در حال حاضر نوشتارهای مربوط به آمار و یادگیری ماشین را در مجله فرادرس تهیه می‌کند.