موضوع مقاله: خوش‌ترتیب | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # خوش‌ترتیب | مقدمه: در ریاضیات، یک رابطه خوش ترتیب (یا خوش ترتیبی) روی مجموعه S کاملاً مرتب، دارای این ویژگی است که هر زیر مجموعه ناتهی از آن داری کوچکترین عضو باشد. | ## بخش 1: خوش‌ترتیب | هر مجموعه ناتهی خوش ترتیب یک کوچکترین عضو دارد.هر عضو s از یک مجموعه خوش ترتیب، به جز بزرگترین عضو، یک جانشین یکتا دارد، به عبارت دیگر کوچکترین عضو از زیر مجموعه همه عناصر که از s بزرگتر است. در مجموعه خوش ترتیب S، هر زیرمجموعه Tی دارای کران بالا، کوچکترین کران بالا دارد؛ به عبارت دیگر کوچکترین عنصر از مجموعهٔ زیر مجموعه‌های کران بالای T در مجموعه S. اگر رابطه کوچکتر مساوی (≥) یک رابطه خوش ترتیبِ غیر مؤکد باشد، رابطه کوچکتری (>) یک رابطه خوش ترتیب مؤکد است.تفاوت روابط خوش ترتیب موکد و ناموکد در اغلب موارد نادیده گرفته می‌شود زیرا این دو به راحتی قابل تبدیل به یکدیگر هستند. نظریه خوش ترتیبی معادل اصل موضوع انتخاب است، این‌گونه که هر مجموعه می‌تواند خوش ترتیب بشود. اگر یک مجموعه خوش ترتیب باشد، تکنیک اثبات استقرای ترامتناهی می‌تواند استفاده شود که برای تمام اعضای مجموعه درست است. اعداد ترتیبی موقعیت هر عنصر در مجموعه مرتب به‌طور مشابه به وسیله اعداد ترتیبی (اعداد اردینال) نیز بدست می‌آید. | ## بخش 2: خوش‌ترتیب | در مورد یک مجموعه متناهی، عملیات اساسی شمارش برای یافتن اعداد ترتیبی یک عضو خاص یا برای یافتن عضوی با ویژگی خاص اعداد ترتیبی، رابطه یک به یک اعداد طبیعی به اعضا اختصاص داده می‌شود. اندازه (تعداد اعضا، کاردینالیتی) یک مجموعه متناهی هم ارز یا برابر نوع ترتیب است. هربار شمارش نوعاً از یک شروع می‌شود، پس به هر عضو از بخش اولیه به همراه آخرین عنصر اختصاص می یابد.توجه داشته باشید که این اعداد با توجه به یک‌ریختی یکی بیشتر از اعداد مرتب هستند، چون برابر با اعضای قبل از آن هستند. بنابراین برای عدد معلوم و محدود n، اصطلاح "nاُمین عنصر" از یک مجموعه خوش ترتیب نیازمند دانستن این است که شمارش از یک شروع شده‌است یا صفر. برای یک مجموعه نامتناهی نوع ترتیب، کاردینالیتی را مشخص میکند؛ ولی برعکس این موضوع صادق نیست. برای یک مجموعه نامتناهی، مجموعه‌ای از انواع ترتیب می‌تواند حتی غیرقابل شمارش باشد. | ## بخش 3: خوش‌ترتیب | مثال‌ها و مثال نقض‌ها اعداد طبیعی مرتب‌سازی استاندارد رابطه کوچکترمساوی (≥) اعداد طبیعی خوش ترتیب است و دارای این خاصیت است که هر عدد طبیعی غیرصفر یک عنصر پیشین یکتا دارد. یک خوش ترتیبی دیگر از اعداد طبیعی که از تعریف گرفته می‌شود این است که همه اعداد زوج از اعداد فرد بیشترند و برای مرتب‌سازی اعداد فرد و زوج داریم: 0 2 4 6 8 ... اعداد صحیح برخلاف مرتب‌سازی استاندارد ≥ اعداد طبیعی، مرتب‌سازی استاندارد ≥ اعداد صحیح خوش ترتیب نیست، چون برای مثال مجموعه اعداد صحیح منفی کوچکترین عنصر ندارند. رابطهٔ R برای مثال برای اعداد صحیح خوش ترتیب است، x با y رابطه دارد ( x R y)، اگر یکی از شرایط زیر اتفاق بی افتد: 1. یک رابطه خوش ترتیب دیگر اعداد صحیح به این صورت تعریف می‌شود: x ≤ y اگر و تنها اگر |x| <|y| یا |x| = |y| و x ≤ y. اعداد حقیقی مرتب‌سازی استاندارد رابطه کوچکترمساوی ≥ اعداد حقیقی مثبت، خوش ترتیب نیست، زیرا برای مثال، بازهٔ باز صفر تا یک شامل کوچکترین عنصر نیست. | ## جمع‌بندی | مثالهایی از مجموعه‌های خوش ترتیب: مجموعه اعداد زیر دارای نوع مرتب ω است: o{ − 2−n | 0 ≤ n <ω }O مجموعه اعداد زیر دارای نوع مرتب ω² است: o{ − 2−n − 2−m−n | 0 ≤ m,n <ω }o مجموعه اعداد زیر هم دارای نوع مرتب 1+ω است: o{ − 2−n | 0 ≤ n <ω } ∪ { 1 }o فرمول‌های معادل اگر یک مجموعه کاملاً مرتب باشد، جملات زیر معادل هم هستند: مجموعه خوش ترتیب است.