خوشترتیب
From Wikipedia, the free encyclopedia
در ریاضیات، یک رابطه خوش ترتیب (یا خوش ترتیبی) روی مجموعه S کاملاً مرتب، دارای این ویژگی است که هر زیر مجموعه ناتهی از آن داری کوچکترین عضو باشد. مجموعه داری ویژگی خوش ترتیبی، مجموعه خوش ترتیب نامیده میشود.
روابط دوتایی ترایا | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
علامت "✓" نشاندهنده آن است که ویژگی ستونی در تعریف آن سطر لازم است. تمام روابط بالا مستلزم آن است که رابطه همگون ترایا باشد: برای تمام و و ها، اگر و آنگاه . |
هر مجموعه ناتهی خوش ترتیب یک کوچکترین عضو دارد.هر عضو s از یک مجموعه خوش ترتیب، به جز بزرگترین عضو، یک جانشین یکتا دارد، به عبارت دیگر کوچکترین عضو از زیر مجموعه همه عناصر که از s بزرگتر است. در مجموعه خوش ترتیب S، هر زیرمجموعه Tی دارای کران بالا، کوچکترین کران بالا دارد؛ به عبارت دیگر کوچکترین عنصر از مجموعهٔ زیر مجموعههای کران بالای T در مجموعه S. اگر رابطه کوچکتر مساوی (≥) یک رابطه خوش ترتیبِ غیر مؤکد باشد، رابطه کوچکتری (>) یک رابطه خوش ترتیب مؤکد است.تفاوت روابط خوش ترتیب موکد و ناموکد در اغلب موارد نادیده گرفته میشود زیرا این دو به راحتی قابل تبدیل به یکدیگر هستند.
نظریه خوش ترتیبی معادل اصل موضوع انتخاب است، اینگونه که هر مجموعه میتواند خوش ترتیب بشود. اگر یک مجموعه خوش ترتیب باشد، تکنیک اثبات استقرای ترامتناهی میتواند استفاده شود که برای تمام اعضای مجموعه درست است.
مشاهده میشود که اعداد طبیعی به واسطه ی اصل خوش ترتیبی، خوش ترتیب هستند.