Зермело жиынтығы теориясы - Zermelo set theory

Бұл мақалада жалпы тізімі бар сілтемелер, бірақ бұл негізінен тексерілмеген болып қалады, өйткені ол сәйкесінше жетіспейді кірістірілген дәйексөздер. Көмектесіңізші жақсарту осы мақала таныстыру дәлірек дәйексөздер. (Сәуір 2018) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Зермело жиынтығы теориясы (кейде белгіленеді З^-), маңызды құжатта көрсетілгендей, 1908 ж Эрнст Зермело, қазіргі заманның атасы жиынтық теориясы. Оның ұрпақтарынан белгілі бір айырмашылықтар бар, олар әрдайым түсіне бермейді және жиі қате келтіріледі. Бұл мақалада мәтіннің түпнұсқасы (ағылшын тіліне аударылған) және нөмірленген түпнұсқа аксиомалар келтірілген.

Цермело жиынтығы теориясының аксиомалары

Зермело жиындар теориясының аксиомалары объектілер үшін баяндалған, олардың кейбіреулері (бірақ міндетті емес) жиындар деп аталады, ал қалған объектілер урелементтер және ешқандай элементтерді қамтымайды. Зермелоның тіліне жанама түрде мүшелік қатынас ∈, теңдік қатынасы = (егер ол негізгі логикаға енбесе) және объект жиынтық бола ма деген унарлы предикат кіреді. Жиындар теориясының кейінгі нұсқаларында көбінесе барлық объектілер жиынтық болады, сондықтан урелементтер жоқ және унарлы предикаттың қажеті жоқ.

AXIOM I. Экстенсивтілік аксиомасы (Axiom der Bestimmtheit) «Егер жиынның әрбір элементі болса М элементі болып табылады N және керісінше ... содан кейін М ${ displaystyle equiv}$ N. Қысқаша, әрбір жиынтық оның элементтерімен анықталады ».

AXIOM II. Бастапқы жиындар аксиомасы (Axiom der Elementarmengen) «Ешқандай элементі жоқ нөлдік жиын бар, бар. Егер а доменнің кез-келген объектісі болып табылады, жиын бар {а} бар а және тек а элемент ретінде. Егер а және б доменнің кез-келген екі нысаны, әрқашан жиын бар {а, бэлементтер ретінде бар а және б бірақ нысан жоқ х екеуінен де ерекшеленеді. «Қараңыз Жұптардың аксиомасы.

AXIOM III. Бөлу аксиомасы (Axiom der Aussonderung) «Қашан болса да ұсыныс функциясы –(х) жиынның барлық элементтері үшін анықталған М, М ішкі жиынға ие M ' элементтер ретінде дәл осы элементтерді қамтиды х туралы М ол үшін - (х) шынайы ».

AXIOM IV. Қуат жиынтығының аксиомасы (Axiom der Potenzmenge) «Әр жиынтыққа Т жиынға сәйкес келеді T ', қуат орнатылды туралы Т, элемент ретінде барлық ішкі жиындарды қамтиды Т ."

AXIOM V. Одақтың аксиомасы (Axiom der Vereinigung) «Әр жиынтыққа Т жиынға сәйкес келеді .Т, одақ Т, элементтер ретінде элементтердің дәл барлық элементтерін қамтиды Т ."

AXIOM VI. Таңдау аксиомасы (Axiom der Auswahl) «Егер Т - бұл элементтерінің барлығы from -ден өзгеше және өзара бөлінетін жиындар жиынтығы, оның бірігуі .Т кем дегенде бір ішкі жиынды қамтиды S₁ әр элементіне ортақ бір және жалғыз элементтің болуы Т ."

AXIOM VII. Шексіздік аксиомасы (Axiom des Unendlichen) «Доменде кем дегенде бір жиын бар З элемент ретінде нөлдік жиынтығын қамтитын және оның элементтерінің әрқайсысы үшін соншалықты құралған а форманың келесі элементіне сәйкес келеді {а}, басқаша айтқанда, оның элементтерінің әрқайсысымен а оның құрамында тиісті жиын бар {а} элемент ретінде. «

Стандартты жиындар теориясымен байланыс

Ең көп қолданылатын және қабылданған жиынтық теориясы ZFC деп аталады, ол тұрады Цермело-Фраенкель жиынтығы теориясы қосу арқылы таңдау аксиомасы. Сілтемелер Зермело теориясының аксиомалары қай жерде сәйкес келетінін көрсетеді. «Элементар жиынтықтар» үшін дәл сәйкестік жоқ. (Кейінірек синглтон жиынтығы «жұп аксиомасы» деп аталатыннан алынуы мүмкін екендігі көрсетілген. Егер а бар, а және а бар, осылайша {а,а} бар, сондықтан кеңеюі бойынша {а,а} = {а}.) Бос жиынтық аксиома қазірдің өзінде шексіздік аксиомасымен қабылданған және енді оның бөлігі ретінде енгізілген.

Цермело жиынтығы теориясы -ның аксиомаларын қамтымайды ауыстыру және жүйелілік. Ауыстыру аксиомасы алғаш рет 1922 жылы жарияланған Авраам Фраенкел және Торальф Школем, Зермелоның аксиомалары жиынтықтың бар екендігін дәлелдей алмайтынын өз бетінше анықтаған {З₀, З₁, З₂, ...} қайда З₀ жиынтығы натурал сандар және З_n+1 болып табылады қуат орнатылды туралы З_n. Мұны дәлелдеу үшін екеуі де ауыстыру аксиомасы қажет екенін түсінді. Келесі жылы, Джон фон Нейман бұл аксиоманы құру үшін қажет деп көрсетті оның ординалдар теориясы. Жүйелілік аксиомасын фон Нейман 1925 ж.^[1]

Заманауи ZFC жүйесінде бөлу аксиомасында айтылған «пропозициялық функция» «бірінші ретті анықталатын кез келген қасиет» ретінде түсіндіріледі формула параметрлерімен », сондықтан бөлу аксиомасы ауыстырылады аксиома схемасы. «Бірінші ретті формула» ұғымы 1908 жылы Зермело өзінің аксиома жүйесін жариялаған кезде белгілі болған жоқ, ал кейінірек ол бұл түсініктемені тым шектеулі деп қабылдамады. Зермело жиынтығы теориясы әдетте бірінші ретті теория ретінде қабылданады, ал бөлу аксиомасы аксиомалық схемамен ауыстырылып, әр бірінші ретті формула үшін аксиома бар. Оны теория ретінде қарастыруға болады екінші ретті логика, мұнда қазір бөлу аксиомасы жалғыз аксиома болып табылады. Зермело жиынтық теориясының екінші ретті интерпретациясы, мүмкін, Зермелоның өзіндік тұжырымдамасына жақындау және бірінші ретті түсіндіруден гөрі күшті.

Әдеттегідей кумулятивті иерархия V_α жиындардың кез-келгені (Zα жиынтық теориясы үшін)V_α α үшін бірінші шексіз реттіден үлкен шек реттік (мысалы V_{ω · 2}) Зермело жиынтығы теориясының моделін құрайды. Сонымен, Зермело жиынтық теориясының дәйектілігі ZFC жиын теориясының теоремасы болып табылады. Зермелоның аксиомалары ℵ бар екенін білдірмейді_ω немесе үлгі ретінде үлкенірек шексіз кардиналдар V_{ω · 2} мұндай кардиналдар жоқ. (Зермело жиынтығы теориясында кардиналдарды басқаша анықтауға тура келеді, өйткені кардиналдар мен ординалдардың әдеттегі анықтамасы онша жақсы жұмыс істемейді: әдеттегі анықтамамен ω2 реттік болуын дәлелдеу тіпті мүмкін емес.)

The шексіздік аксиомасы Әдетте қазір бірінші шексіз Нейманның бар екендігін дәлелдеу үшін өзгертілген реттік ${ displaystyle omega}$; бастапқы Зермелоаксиомалар бұл жиынтықтың бар екендігін дәлелдей алмайды, сондай-ақ өзгертілген Зермело аксиомалары Зермелосаксиоманы шексіздікпен дәлелдей алмайды. Зермелоның аксиомалары (түпнұсқа немесе өзгертілген) -дің бар екендігін дәлелдей алмайды ${ displaystyle V _ { omega}}$ жиын ретінде де, шексіз индексі бар жиынтық иерархиясының кез-келген дәрежесінде де емес.

Зермело болуына мүмкіндік берді урелементтер олар жиынтыққа жатпайды және құрамында элементтер жоқ; бұлар қазір белгілі теориялардан алынып тасталады.

Mac Lane жиынтығы теориясы

Ұсынған Mac Lane жиынтығы теориясы Mac Lane  (1986 ), Зермело жиынтығы теориясы, бөлу аксиомасы бірінші ретті формулалармен шектелген, онда барлық кванторлар шектелген, Мак Лейн жиынтық теориясы күші бойынша ұқсас топос теориясы а табиғи сан объектісі, немесе жүйеге Математика принциптері. Ол жиынтық теориямен немесе логикамен тікелей байланысты емес қарапайым математиканың барлығын дерлік жүргізуге жеткілікті.

Зермело қағазының мақсаты

Кіріспеде жиынтық теориясының өмір сүруіне «белгілі бір қарама-қайшылықтар немесе« антиномиялар »қауіп төндіретін сияқты көрінеді, олар оның принциптерінен шығуы мүмкін - біздің ойлауымызды міндетті түрде басқаратын қағидалар, меніңше, және бұған толық қанағаттанарлық шешім жоқ» әлі табылған жоқ ». Әрине, Зермело «Рассел антиномиясы ".

Ол өзінің бастапқы теориясының қалай болғандығын көрсеткісі келетіндігін айтады Георгий Кантор және Ричард Дедекинд бірнеше анықтамалар мен жеті принципке немесе аксиомаларға дейін қысқартылуы мүмкін. Ол бар дейді емес аксиомалардың сәйкес келетіндігін дәлелдей алды.

Олардың дәйектілігі үшін конструктивті емес аргумент келесідей болады. Анықтаңыз V_α α үшін біреуінің әскери қызметкерлер 0, 1, 2, ..., ω, ω + 1, ω + 2, ..., ω · 2 келесідей:

• V₀ бұл бос жиын.
• Α үшін β + 1 формасының ізбасары, V_α барлық ішкі жиындардың жиынтығы ретінде анықталған V_β.
• Α үшін шектеу (мысалы, ω, ω · 2) сонда V_α бірігу ретінде анықталған V_β β <α үшін.

Сонда Зермело жиындар теориясының аксиомалары сәйкес келеді, өйткені олар модельде шынайы V_{ω · 2}. Конструктивті емес адам мұны дәлелді деп санауы мүмкін, алайда конструктивист олай етпеуі мүмкін: жиынтықтарды құруда проблемалар жоқ V_ω, құрылысы V_{ω + 1} онша айқын емес, өйткені әрбір жиынтығын конструктивті түрде анықтау мүмкін емес V_ω. Бұл дәлелді Зермело-Френкель жиынтығы теориясының дәлелді дәлеліне айналдыруға болады, бірақ бұл шынымен көмектеспейді, өйткені Зермело-Френкель жиынтығы теориясының консистенциясы Зермело жиынтығы теориясының дәйектілігіне қарағанда онша айқын емес.

Бөлу аксиомасы

Зермело өзінің жүйесіндегі III Аксиома антиномияларды жоюға жауапты деп түсіндіреді. Ол Кантордың бастапқы анықтамасынан келесідей ерекшеленеді.

Жинақтарды кез-келген ерікті логикалық анықталатын ұғыммен дербес анықтау мүмкін емес. Олар қандай да бір жолмен бұрын салынған жиынтықтардан құрастырылуы керек. Мысалы, оларды қуаттылықтарды алу арқылы салуға болады немесе мүмкін бөлінген жиындардың жиынтығы ретінде қазірдің өзінде «берілген». Бұл «барлық жиындар жиыны» немесе «барлық реттік сандар жиыны» сияқты қарама-қайшы идеяларды жояды дейді ол.

Ол кәдеге жаратады Рассел парадоксы осы теорема арқылы: «Әр жиынтық ${ displaystyle M}$ кем дегенде бір ішкі жиынға ие ${ displaystyle M_ {0}}$ бұл элемент емес ${ displaystyle M}$ «. Келіңіздер ${ displaystyle M_ {0}}$ ішкі бөлігі болуы керек ${ displaystyle M}$ ол үшін AXIOM III ұғымымен бөлінеді «${ displaystyle x notin x}$«. Содан кейін ${ displaystyle M_ {0}}$ болуы мүмкін емес ${ displaystyle M}$. Үшін

1. Егер ${ displaystyle M_ {0}}$ ішінде ${ displaystyle M_ {0}}$, содан кейін ${ displaystyle M_ {0}}$ элементтен тұрады х ол үшін х ішінде х (яғни ${ displaystyle M_ {0}}$ анықтамасына қайшы келетін) ${ displaystyle M_ {0}}$.
2. Егер ${ displaystyle M_ {0}}$ жоқ ${ displaystyle M_ {0}}$, және болжау ${ displaystyle M_ {0}}$ элементі болып табылады М, содан кейін ${ displaystyle M_ {0}}$ элементі болып табылады М анықтаманы қанағаттандыратын «${ displaystyle x notin x}$«, және солай ${ displaystyle M_ {0}}$ бұл қайшылық.

Сондықтан, бұл ${ displaystyle M_ {0}}$ ішінде ${ displaystyle M}$ дұрыс емес, теореманы дәлелдеуде. Демек, әмбебап доменнің барлық объектілері емес B бір жиынның элементтері болуы мүмкін. «Бұл Расселді иеліктен шығарады антиномия біз болсақ ».

Бұл «домен» мәселесін қалдырды B«бұл бір нәрсеге сілтеме жасайтын сияқты. Бұл а тиісті сынып.

Кантор теоремасы

Зермелоның қағазында бірінші болып аталуы мүмкін »Кантор теоремасы «. Кантор теоремасы:» Егер М әрқашан ерікті жиын болып табылады М

М) [қуат жиынтығы М]. Кез-келген жиынтық ішкі жиынынан гөрі төменгі кардиналдылыққа ие ».

Зермело мұны φ функциясын қарастыру арқылы дәлелдейді: М → P (М). Аксиома III бойынша бұл келесі жиынтықты анықтайды M ':

M ' = {м: м ∉ φ (м)}.

Бірақ ешқандай элемент жоқ м ' туралы М сәйкес келуі мүмкін M ', яғни φ (м ') = M '. Әйтпесе, біз қайшылық тудыруы мүмкін:

1) егер м ' ішінде M ' содан кейін анықтама бойынша м ' ∉ φ (м ') = M ', бұл қайшылықтың бірінші бөлігі

2) егер м ' жоқ M ' бірақ М содан кейін анықтама бойынша м ' ∉ M ' = φ (м ') бұл анықтамаға сәйкес м ' ішінде M ', бұл қайшылықтың екінші бөлігі.

сондықтан қайшылықпен м ' жоқ. Осы дәлелдің Зермелоның Расселдің кереғарлығын жою тәсілімен ұқсастығына назар аударыңыз.

Сондай-ақ қараңыз

• S (жиындар теориясы)

Әдебиеттер тізімі

• Феррейрос, Хосе (2007), Ой лабиринті: жиындар теориясының тарихы және оның математикалық ойдағы рөлі, Бирхязер, ISBN  3-7643-8349-6.
• Мак-Лейн, Сондерс (1986), Математика, формасы және қызметі, Нью-Йорк: Спрингер-Верлаг, дои:10.1007/978-1-4612-4872-9, ISBN  0-387-96217-4, МЫРЗА  0816347.
• Зермело, Эрнст (1908), «Untersuchungen über die Grundlagen der Mengenlehre I», Mathematische Annalen, 65 (2): 261–281, дои:10.1007 / bf01449999. Ағылшынша аударма: Хейженорт, Жан ван (1967), «Жиынтық теория негіздерін тергеу», Фрежден Годельге дейін: Математикалық логикадағы дереккөздер кітабы, 1879-1931 жж, Гарвард Унив., Ғылымдар тарихындағы кітаптар. Баспасөз, 199–215 бб, ISBN  978-0-674-32449-7.