درس ۱ · صفحهٔ ۱ تا ۸ · حدود ۱۵ دقیقه · تولید هوش مصنوعی
درس اوّل: مجموعههای متناهی و نامتناهی
در این درس یاد میگیری مجموعههای عددی و بازهها را بشناسی، اجتماع و اشتراک و تفاضل بازهها را به دست آوری و متناهی یا نامتناهی بودن مجموعهها را با دلیل تشخیص دهی.
پیش از شروع
به نظرت تعداد درختهای جنگلهای آمازون بیشتر است یا تعداد عددهای حقیقی بین و ؟ چطور میتوانی از پاسخت دفاع کنی؟
تعداد درختهای آمازون، با همهٔ بزرگیاش، متناهی است؛ اما بین و بینهایت عدد حقیقی وجود دارد. پس کوچک بودن فاصلهٔ دو عدد به معنی کم بودن تعداد عددهای بین آنها نیست!
هر عدد کجا جا میگیرد؟
هر عدد کجا جا میگیرد؟
برای شمردن کتابها از اعداد طبیعی استفاده میکنی: . اگر تعداد کتابها صفر هم بتواند باشد، به اعداد حسابی نیاز داری: . با اضافهکردن عددهای صحیح منفی، مثل دمای زیر صفر، مجموعهٔ اعداد صحیح ساخته میشود.
عدد گویا عددی است که بتوان آن را به شکل نوشت؛ در اینجا و صحیحاند و . پس هر عدد صحیح هم گویاست؛ مثلاً .
این مجموعهها مثل جعبههایی درون هماند:
اما همهٔ عددها گویا نیستند! عددهایی مثل و را نمیتوان به نسبت دو عدد صحیح نوشت؛ آنها گنگ هستند و مجموعهشان را با نشان میدهیم.
گویاها و گنگها با هم مجموعهٔ اعداد حقیقی را میسازند: . هر نقطهٔ محور اعداد نمایندهٔ یک عدد حقیقی است؛ آن عدد یا گویاست یا گنگ، نه هر دو.
کتاب درسی، صفحهٔ ۲
خواندن و نوشتن بازهها
خواندن و نوشتن بازهها
فرض کن دمای مناسب یک اتاق، تمام مقدارهای بین و درجه، همراه با خود این دو مقدار باشد. این مجموعه فقط شامل عددهای صحیح نیست؛ مقدارهایی مثل هم در آن هستند. چنین قطعهٔ پیوستهای از محور اعداد حقیقی را بازه مینامیم.
برای خواندن نماد بازه، به دو سر آن دقت کن:
- کروشه یعنی عددِ آن سر عضو بازه است؛ پس یک بازهٔ بسته است.
- پرانتز یعنی عددِ آن سر عضو نیست؛ پس یک بازهٔ باز است.
- در بازهٔ نیمباز مثل ، سرِ عضو است، ولی سرِ نیست.
روی محور، سرِ عضو را با نقطهٔ پُر و سرِ غیرعضو را با نقطهٔ توخالی نشان میدهیم و میان آنها را رنگ میکنیم.
اگر بازه از یک طرف ادامه داشته باشد، از نماد بینهایت استفاده میکنیم؛ مثلاً یعنی تمام عددهای حقیقی بزرگتر یا مساوی . بینهایت عدد حقیقی نیست؛ بنابراین کنار و همیشه پرانتز میگذاریم، نه کروشه.
کتاب درسی، صفحهٔ ۳
اجتماع، اشتراک و تفاضل بازهها
اجتماع، اشتراک و تفاضل بازهها
فرض کن دو نفر زمانهای آزادشان را بهصورت دو بازه روی یک محور نشان دادهاند. برای پیدا کردن زمانهایی که حداقل یکی آزاد است، همهٔ قسمتهای هر دو بازه را نگه میداریم؛ این همان اجتماع با نماد است.
برای پیدا کردن زمانهایی که هر دو آزادند، فقط قسمت مشترک دو بازه را نگه میداریم؛ این میشود اشتراک با نماد .
اگر زمانهایی را بخواهیم که نفر اول آزاد است، ولی نفر دوم آزاد نیست، از بازهٔ اول قسمتهای متعلق به بازهٔ دوم را حذف میکنیم؛ این همان تفاضل با نماد است. پس ترتیب در تفاضل مهم است و عوض کردن جای دو مجموعه میتواند نتیجه را تغییر دهد.
روش کار روی محور: هر دو بازه را رسم کن، قسمتهای لازم را نگه دار و بعد سرهای قسمت باقیمانده را بررسی کن. در اشتراک، یک سر فقط وقتی عضو جواب است که در هر دو مجموعه باشد؛ در تفاضل، اگر آن سر عضو مجموعهٔ دوم باشد، حذف میشود.
کتاب درسی، صفحهٔ ۴
متناهی یعنی تعداد مشخص
متناهی یعنی تعداد مشخص
اگر بخواهی تعداد عکسهای ذخیرهشده در گوشیات را بگویی، جواب یک عدد حسابی است؛ حتی اگر عکسها آنقدر زیاد باشند که شمردن دستیشان خستهکننده شود! مجموعهای با این ویژگی متناهی است: تعداد اعضایش یک عدد از مجموعهٔ است.
پس متناهی بودن به معنای «کمعضو بودن» نیست. مجموعهٔ دانشآموزان یک مدرسه و مجموعهٔ درختهای جنگلهای آمازون هر دو متناهیاند؛ فقط تعداد اعضای یکی بسیار بیشتر است. لازم نیست همین حالا تعداد دقیق را بدانیم؛ مهم این است که تعداد اعضا یک عدد حسابی باشد.
مجموعهٔ تهی هم متناهی است. مثلاً مجموعهٔ عددهای طبیعی بین و هیچ عضوی ندارد؛ تعداد اعضای آن است و صفر هم عددی حسابی است.
بنابراین، برای تشخیص متناهی بودن نپرس «آیا میتوانم خودم همه را بشمارم؟»؛ بپرس «آیا تعداد اعضا یک عدد حسابی است؟»
کتاب درسی، صفحهٔ ۵
بینهایت در یک فاصلهٔ کوچک
بینهایت در یک فاصلهٔ کوچک
روی خطکش، فاصلهٔ بین و کوتاه است؛ اما آیا تعداد عددهای این فاصله هم کم است؟ طول یک بازه با تعداد اعضایش فرق دارد.
در بازهٔ ، عددهای ، ، و همینطور کسرهای برای هر عدد طبیعی قرار دارند. هر تعداد از این کسرها را که بنویسی، باز هم میتوانی با بزرگتر کردن مخرج، عضو تازهای پیدا کنی. پس این مجموعه نامتناهی است؛ یعنی تعداد اعضایش از هر تعداد دلخواه بیشتر است.
حالا این کسرها همگی گویا هستند. اگر مجموعهٔ اعداد گویا متناهی بود، نمیتوانست این زیرمجموعهٔ نامتناهی را در خود جا دهد. بنابراین هم نامتناهی است.
این استدلال یک قاعدهٔ کلی میدهد: هر مجموعهای که زیرمجموعهای نامتناهی داشته باشد، خودش نیز نامتناهی است. پس برای اثبات نامتناهی بودن، گاهی کافی است یک زیرمجموعهٔ نامتناهی پیدا کنی.
کتاب درسی، صفحهٔ ۵
مثال حلشده
اگر و باشند، اجتماع، اشتراک و تفاضل را به دست آور.
روی یک محور، برای قسمت بین و را مشخص میکنیم؛ سرِ توخالی و سرِ توپر است.
برای قسمت بین و را مشخص میکنیم؛ سرِ توپر و سرِ توخالی است.
برای اجتماع، تمام بخشهای پوشیدهشده با دستکم یکی از دو بازه را نگه میداریم؛ بنابراین .
برای اشتراک، فقط بخش مشترک را نگه میداریم؛ هر دو عدد و در هر دو مجموعهاند، پس .
برای ، از اعضای هرچه را در هم هست حذف میکنیم؛ چون ، خودِ هم حذف میشود و .
نکات مهم
- مجموعههای عددی رابطهٔ دارند و اعداد حقیقی شامل اعداد گویا و گنگاند.
- در نمایش بازه، کروشه نشانهٔ حضور سرِ بازه و پرانتز نشانهٔ نبودن آن است؛ برای اجتماع، اشتراک و تفاضل نیز بهترتیب عضوهای دستکم یکی، عضوهای مشترک و عضوهای مجموعهٔ اول خارج از دومی را نگه میداریم.
- تعداد اعضای مجموعهٔ متناهی یک عدد حسابی است، اما مجموعهٔ نامتناهی بیش از هر تعداد دلخواه عضو دارد و حتی میتواند در یک بازهٔ کوتاه جا بگیرد.