قضیه خوش‌ترتیبی

در ریاضیات قضیه خوش‌ترتیبی، قضیه‌ای است که می‌گوید هر مجموعه می‌تواند خوش‌ترتیب باشد. با اصل خوش‌ترتیبی فرق دارد ولی گاهی از آن به عنوان اصل خوش‌ترتیبی یاد شده‌است.

ارنست زرملو از اصل انتخاب استفاده کرد تا این قضیه را به عنوان یک اصل منطقی غیرقابل رد معرفی کرد که منجر به اثبات هم ارزی اصل انتخاب و قضیه خوش‌ترتیبی شد.

اثبات این قضیه یک رابطه خوش‌ترتیب و چگونگی آن را معرفی نمی‌کند تنها اثبات می‌کند که برای هر مجموعه، رابطه‌ای خوش ترتیب وجود دارد. در حالی که بسیاری از ریاضی‌دانان برای مجموعه‌ای چون اعداد حقیقی یک رابطه خوش‌ترتیب را غیرقابل تصور می‌دانند.

منابع

    • امیر هوشنگ یمینی (چهارم دی ماه ۱۳۷۹مبانی ریاضیات، مرکز نشر دانشگاه امیر کبیر، شابک ۹۶۴-۴۶۳-۰۳۴-۳ تاریخ وارد شده در |سال= را بررسی کنید (کمک)
    • مشارکت‌کنندگان ویکی‌پدیا. «Well-ordering theorem». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۴ اوت ۲۰۰۸.

    جستارهای وابسته

    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.