可数选择公理

可数选择公理,指示为,是公理化集合论的类似于选择公理的一个公理。它声称非空集合的任何可数搜集都一定有选择函数保羅·寇恩证明了ACωZermelo-Fraenkel集合论)中是不可证明的。

足够证明可数多可数集合的并集是可数的。它还足够证明所有无限集合都是戴德金无限的(等价的说:有可数无限的真子集)。对于开发数学分析特别有用,这里的很多结果依赖于实数的可数集合有选择函数(考虑为有理数柯西序列的集合)。

是弱形式的选择公理(AC),它声称非空集合的“所有”搜集一定有一个选择函数。AC明确的蕴涵了依赖选择公理(DC),而DC足够证明。但是要严格弱于DC(而DC严格弱于AC)。

用法

作为应用的例子,下面是所有无限集合是戴德金无限的一个证明(在中):

是无限的。对于每个自然数,设的所有元素子集的集合。因为是无限的,每个是非空的。對序列应用,便得到了序列(),这里的每个是有个元素的的子集。
集合可能是相交的,但是我们可以定义
与所有的并集的差集,
明显的每个集合都有至少1個和至多个元素,而集合是兩兩不相交的。再對序列應用,便得到了序列,其中
所以所有都是相異的,而包含一个可数集合。定義把每个映射到的函数(并固定所有的其他元素),f是从的一一映射,它不是满射,这证明了是戴德金无限的。

参见

本條目含有来自PlanetMathaxiom of countable choice》的內容,版权遵守知识共享协议:署名-相同方式共享协议

Read other articles:

Sebuah akrostik tahun 1850 karya Nathaniel Dearborn, huruf pertama dari setiap baris menampilkan nama JENNY LIND Akrostik adalah sebuah bait (atau bentuk penulisan lain) dimana huruf pertama (atau silabel, atau kata) dari setiap baru (atau paragraf, atau unsur lain dalam teks tersebut) menampilkan sebuah kata, pesan, atau abjad.[1] Kata tersebut berasal dari kata Prancis acrostiche dari kata Latin pasca-klasik acrostichis, dari kata Yunani Koine ἀκροστιχίς, dari kata Yunani...

 

LGBT multi-sport event in Paris, France X Gay GamesParis 2018Host cityParisCountryFranceMottoAll equalNations91Athletes10,317Events36 sportsOpeningAugust 4, 2018 (2018-08-04)ClosingAugust 12, 2018 (2018-08-12)Main venueStade Jean-BouinWebsitewww.paris2018.com← Gay Games IXGay Games XI → The 2018 Gay Games, also known as Gay Games 10 or Gay Games X, were an international multi-sport event and cultural gathering organized by, and specifically ...

 

Rajesh KhannaLahirJatin Khanna(1942-12-29)29 Desember 1942 Amritsar, Punjab, India BritaniaMeninggal18 Juli 2012(2012-07-18) (umur 69) Mumbai, Maharashtra, IndiaNama lainJatin KhannaKakaRKPekerjaan Aktor Produser Politisi Tahun aktif1966–2012 (aktor) 1991–1996 (politik) 1971–1995 (produser)Suami/istriDimple Kapadia (1973–2012)AnakTwinkle KhannaRinke KhannaTanda tangan Rajesh Khanna (Hindi: राजेश खन्ना; Punjabi: ਰਾਜੇਸ਼ ਖੰਨਾ) (...

2 Tawarikh 6Kitab Tawarikh (Kitab 1 & 2 Tawarikh) lengkap pada Kodeks Leningrad, dibuat tahun 1008.KitabKitab 2 TawarikhKategoriKetuvimBagian Alkitab KristenPerjanjian LamaUrutan dalamKitab Kristen14← pasal 5 pasal 7 → 2 Tawarikh 6 (atau II Tawarikh 6, disingkat 2Taw 6) adalah bagian dari Kitab 2 Tawarikh dalam Alkitab Ibrani dan Perjanjian Lama di Alkitab Kristen. Dalam Alkitab Ibrani termasuk dalam bagian Ketuvim (כְּתוּבִים, tulisan).[1][2] Teks Na...

 

Indian politician (1949–2020) Ahmed PatelTreasurer of All India Congress CommitteeIn office2018 – 25 November 2020Preceded byMotilal VoraSucceeded byPawan Kumar Bansal (Interim)Member of Parliament, Rajya SabhaIn office19 August 1993 – 25 November 2020Succeeded byDineshchandra AnavadiyaConstituencyGujaratMember of Parliament, Lok SabhaIn office1977–1989Preceded byMansinhji RanaSucceeded byChandubhai Deshmukh[1]ConstituencyBharuch Personal detailsBorn(1949...

 

Шэнэхэнские буряты Современное самоназвание бур. Шэнэхээнэй буряадууд Численность от 6 до 10 тыс. человек Расселение Внутренняя Монголия Шэнэхэн Язык бурятский Религия буддизм, шаманизм Входит в буряты Родственные народы агинские буряты, хоринские буряты Происхожде�...

Pemilihan umum Bupati Batang 20242017202927 November 2024Kandidat Peta persebaran suara Bupati & Wakil Bupati petahanaWihaji dan Suyono Bupati & Wakil Bupati terpilih belum diketahui Pemilihan umum Bupati Batang 2024 dilaksanakan pada 27 November 2024 untuk memilih Bupati Batang periode 2024-2029.[1] Pemilihan Bupati (Pilbup) Batang tahun tersebut akan diselenggarakan setelah Pemilihan umum Presiden Indonesia 2024 (Pilpres) dan Pemilihan umum legislatif Indonesia 2024 (Pileg)...

 

Monument in Pretoria, South Africa This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Voortrekker Monument – news · newspapers · books · scholar · JSTOR (January 2012) (Learn how and when to remove this message) Voortrekker MonumentThe Monument from the front25°46′35″S 28°10′39″E / 25....

 

Pour les articles homonymes, voir Richard Hunt et Hunt. Richard Morris HuntBiographieNaissance 31 octobre 1827Brattleboro (Vermont)Décès 31 juillet 1895 (à 67 ans)NewportSépulture Island Cemetery (d)Nationalités américainefrançaiseFormation École nationale supérieure des beaux-artsActivités Architecte, sculpteurFamille Famille Hunt du Vermont (en)Père Jonathan Hunt (en)Mère Jane Maria Leavitt (d)Fratrie William Morris HuntLeavitt Hunt (en)Enfants Richard Howland Hunt (en)Jos...

El Nacional La verdad en el lugar de siempre Logo de El Nacional. Edificio de El Nacional, en Los Cortijos de Lourdes con 3° Transversal, Caracas.Tipo PeriódicoFormato Gran formato (74,9 x 59,7 cm)País Venezuela VenezuelaSede Av. Principal de Los Cortijos de Lourdes con 3° Transversal, Caracas (confiscada)Fundación 3 de agosto de 1943Fundador(a) Henrique Otero VizcarrondoMiguel Otero SilvaFin de publicación 14 de diciembre de 2018Género Noticioso / GeneralistaIdeología política Antic...

 

Homare Sawa Sawa bei der WM 2015 Personalia Geburtstag 6. September 1978 Geburtsort Fuchū, Japan Größe 165 cm Position Mittelfeld Frauen Jahre Station Spiele (Tore)1 1991–1998 Yomiuri Beleza 136 (79) 1999 Denver Diamonds 2000–2003 Atlanta Beat 2004–2009 NTV Beleza 64 (40) 2009–2010 Washington Freedom 30 0(6) 2011–2015 INAC Kōbe Leonessa Nationalmannschaft Jahre Auswahl Spiele (Tore) 1993–2015 Japan 205 (83) 1 Angegeben sind nur Ligaspiele. Homare Sawa (jap. 澤...

 

Islamic cleric, alleged al-Qaeda member (born 1959) For other uses, see Qatada. Abu Qatada al-Filistiniأبو قتادة الفلسطينيAbu Qatada during his deportation to Jordan on 7 July 2013BornOmar Mahmoud Othman (1960-12-30) 30 December 1960 (age 63)[1]Bethlehem, Jordan-annexed West BankOther namesAbu OmarCitizenshipJordanianKnown forAlleged links with terrorism, imprisonment without trial Omar Mahmoud Othman (Arabic: عمر بن محمود بن عثمان, rom...

 本表是動態列表,或許永遠不會完結。歡迎您參考可靠來源來查漏補缺。 潛伏於中華民國國軍中的中共間諜列表收錄根據公開資料來源,曾潛伏於中華民國國軍、被中國共產黨聲稱或承認,或者遭中華民國政府調查審判,為中華人民共和國和中國人民解放軍進行間諜行為的人物。以下列表以現今可查知時間為準,正確的間諜活動或洩漏機密時間可能早於或晚於以下所歸�...

 

International sporting eventAthletics at the1963 Pan American GamesTrack events100 mmenwomen200 mmenwomen400 mmen800 mmenwomen1500 mmen5000 mmen10,000 mmen80 m hurdleswomen110 m hurdlesmen400 m hurdlesmen3000 msteeplechasemen4×100 m relaymenwomen4×400 m relaymenRoad eventsMarathonmen20 km walkmenField eventsHigh jumpmenwomenPole vaultmenLong jumpmenwomenTriple jumpmenShot putmenwomenDiscus throwmenwomenHammer throwmenJavelin throwmenwomenCombined eventsDecathlonmenvte The women's 80 metres ...

 

Queen of Denmark from 1972 to 2024 For other people with the same name, see Margaret of Denmark (disambiguation). Margrethe IIMargrethe II in 2012Queen of DenmarkReign14 January 1972 – 14 January 2024PredecessorFrederik IXSuccessorFrederik XBorn (1940-04-16) 16 April 1940 (age 84)Amalienborg, Copenhagen, DenmarkSpouse Henri de Laborde de Monpezat ​ ​(m. 1967; died 2018)​IssueDetail Frederik X Prince Joachim NamesMargrethe Alexandrine Þó...

American businessman and Dallas Cowboys owner For other people named Jerry Jones, see Jerry Jones (disambiguation). American football player Jerry JonesJones in 2017Dallas CowboysPosition:Ownerpresidentgeneral managerPersonal informationBorn: (1942-10-13) October 13, 1942 (age 81)Los Angeles, California, U.S.Height:6 ft 0 in (1.83 m)Weight:195 lb (88 kg)Career informationHigh school:North Little Rock (AR)College:ArkansasCareer history As an executive: Dallas Cowb...

 

Ethnic group in RussiaEthnic group Kola Norwegians Kolanordmenn Кольские норвежцыTotal population20,498 (2010)[1] / c. 650,000 (1917)Regions with significant populations Russia18,357 •  Murmansk6,200 •  Saint Petersburg4,050 •  Karelia1,281 •  Arkhangelsk Oblast826 • Other locations6,000 Norway2,141 •  Finnmarkc. 2,141LanguagesR...

 

Украинская грекокатолическая церковьукр. Українська греко-католицька церква Патриарший собор Воскресения Христова, Киев. Общие сведения Основатели князь Владимир(крещение Руси, согласно позиции самой церкви), см. Брестская уния Конфессия католицизм Церковь-мать Конс�...

UNESCO biosphere reserve in North Devon, England North Devon's Biosphere ReserveBraunton Burrows, the core area of the biosphere reserveBoundaries of North Devon's Biosphere ReserveLocationDevon, EnglandCoordinates51°5′N 04°24′W / 51.083°N 4.400°W / 51.083; -4.400Area141.77 km2 (54.74 sq mi)Established1976Governing bodyNorth Devon's Biosphere Reserve PartnershipWebsitehttp://www.northdevonbiosphere.org.uk/ North Devon's Biosphere Reserve is ...

 

Questa voce sull'argomento Sardegna è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Comunità montana del GoceanoComunità montana Comunità montana del Goceano – VedutaAnela LocalizzazioneStato Italia Regione Sardegna Provincia Sassari AmministrazioneCapoluogoBono PresidenteElio Mulas[1] dal 22-2-2022 TerritorioCoordinatedel capoluogo Abitanti10 000 circa ComuniAnel...