منو
 کاربر Online
595 کاربر online
تاریخچه ی: اصل خوش ترتیبی

در حال مقایسه نگارشها

نگارش واقعی نگارش:1
اصل خوش ترتیبی

اصل خوشترتیبی بیان می کند هر زیر مجموعه ناتهی از مجموعه اعداد طبیعی دارای عضو ابتدا یا کوچکترین عضو است.
به عبارت دیگر:

یا به عبارت دیگر وجود دارد به گونه ای که:

با استفاده از اصل خوشترتیبی نتایج زیر حاصل می شود که می توان آنها را تعمیمی بر این اصل دانست:

1- هر زیر مجموعه ناتهی و از پایین کراندار از مجموعه اعداد صحیح دارای عضو مینیمم(کوچکترین عضو یا عضو ابتدا)
است.

برهان:

فرض می کنیم مجموعه S زیر مجموعه ای ناتهی از مجموعه اعداد صحیح و از پایین کراندار باشد و یک کران پایین آن باشد یعنی:
مجموعه T را به این صورت تعریف می کنیم:

چون S ناتهی است پس T ناتهی است و بوضوح نتیجه اینکه T زیرمجموعه ای ناتهی از مجموعه اعداد طبیعی است و لذا بنا بر اصل خوشترتیبی T دارای عضو مینیممی چون است.

حال چون پس با توجه به تعریف مجموعه T داریم:



اکنون ادعا می کنیم چرا که:


و


پس:

به این ترتیب مینیمم S است چون کوچکتر یا مساوی هر عضو دلخواه از S است.

به این ترتیب نشان دادیم S دارای عضو ابتدا یا مینیمم است و حکم ثابت می شود.


2- هر زیر مجموعه ناتهی از بالا کراندار از مجموعه اعداد صحیح دارای عضو ماکزیمم است.

برهان:

فرض می کنیم مجموعه S زیر مجموعه ای ناتهی و از بالا کرانداری از مجموعه اعدا صحیح باشد. نشان میدهیم S دارای عضو ماکزیمم است یعنی:
مجموعه T را به این صورت تعریف می کنیم:

در این صورت چون مجموعه S ناتهی است T نیز ناتهی است و چون S از بالا کراندار است لذا T از پایین کراندار است.
همچنین T زیرمجموعه ای از اعداد صحیح است. پس بنا بر مطلب قبل T زیرمجموعه ای ناتهی و از پایین کرانداری از مجموعه اعدا صحیح است و لذا دارای عضو مینیمم است.


و چون با توجه به تعریف مجموعه T میتوان نتیجه گرفت:

حال ادعا می کنیم عضو ماکزیمم مجموعه S است چون:
و چون مینیمم عضو مجموعه T است پس:
و این نشان می دهد برای هر عضو دلخواه s از مجموعه S عضو بزرگتر یا مساوی s است پس ماکزیمم عضو مجموعه S است.
به این ترتیب نشان دادیم مجموعه S دارای عضو ماکزیمم است و حکم ثابت می شود.



پیوست مربوطه:



اصل خوش ترتیبی

مطابق این اصل، اگر S یک مجموعه ناتهی و زیر مجموعه ای از اعداد طبیعی باشد، مجموعه S عضو ابتدا دارد.

پیوست مربوطه:




تاریخ شماره نسخه کاربر توضیح اقدام
 چهارشنبه 27 اردیبهشت 1385 [04:31 ]   3   مرادی فر      جاری 
 دوشنبه 08 فروردین 1384 [20:50 ]   2   احمد شکیب      v  c  d  s 
 دوشنبه 08 فروردین 1384 [20:32 ]   1   احمد شکیب      v  c  d  s 


ارسال توضیح جدید
الزامی
big grin confused جالب cry eek evil فریاد اخم خبر lol عصبانی mr green خنثی سوال razz redface rolleyes غمگین smile surprised twisted چشمک arrow



از پیوند [http://www.foo.com] یا [http://www.foo.com|شرح] برای پیوندها.
برچسب های HTML در داخل توضیحات مجاز نیستند و تمام نوشته ها ی بین علامت های > و < حذف خواهند شد..