Vergleichbarkeitssatz

In der elementaren Mengenlehre gibt es zwei wichtige Vergleichbarkeitssätze:

Für beliebige Mengen $M$ , $N$ gilt stets: $|M|\leq |N|$ oder $|N|\leq |M|$ . wobei $|M|\leq |N|$ eine Kurzschreibweise für die Aussage, es gibt eine injektive Abbildung von $M$ nach $N$ , ist.
(Anmerkung: gelten beide Beziehungen, so sind die Mengen nach dem Cantor-Bernstein-Schröder-Theorem gleichmächtig.)
Wann immer $(A,<)$ und $(B,<)$ Wohlordnungen sind, ist eine dieser Wohlordnungen zu einem Anfangsabschnitt der anderen isomorph.

Beweisskizze des Satzes für wohlgeordnete Mengen

Für beliebige Wohlordnungen $(A,<)$ und $(B,<)$ definieren wir eine Relation $R_{A,B}\subseteq A\times B$ so:

R_{A,B}:={\bigg \{}(a,b)\in A\times B:\{x\in A:x<a\}\simeq \{y\in B:y<b\}{\bigg \}}

Man kann leicht zeigen, dass $R_{A,B}$ eine partielle injektive Funktion ist (rechtseindeutig und linkseindeutig), dass Definitionsbereich und Wertebereich Anfangsabschnitte von $A$ bzw. $B$ sind und dass diese Funktion streng monoton ist.

Die Annahme, dass sowohl Definitions- und Wertebereich echte Anfangsabschnitte von $A$ bzw. $B$ sind, führt auf einen Widerspruch; denn dann müsste es $a_{0}\in A$ und $b_{0}\in B$ geben, sodass $R_{A,B}$ eine Ordnungsisomorphie von $\{x\in A:x<a_{0}\}$ nach $\{y\in B:y<b_{0}\}$ wäre, also wäre nach Definition auch $(a_{0},b_{0})$ in $R_{A,B}$ .

Daher ist entweder der Definitions- oder der Wertebereich von $R_{A,B}$ ganz $A$ bzw. ganz $B$ . Damit ist dann $R_{A,B}$ entweder eine Isomorphie zwischen $A$ und einem Anfangsabschnitt von $B$ , oder zwischen einem Anfangsabschnitt von $A$ und $B$ .

Beweisskizze des Satzes für beliebige Mengen

Seien $M$ und $N$ beliebige Mengen. Nach dem Wohlordnungssatz gibt es auf $M$ und $N$ Wohlordnungen $(M,<)$ und $(N,<)$ . Nach dem Vergleichbarkeitssatz für Wohlordnungen existiert ein Isomorphismus $f$ zwischen der einen Wohlordnung und einem Anfangsabschnitt der anderen. Diese Abbildung ist nun eine injektive Funktion von der einen in die andere Menge.

Die Notwendigkeit des Auswahlaxioms

Der Vergleichbarkeitssatz für wohlgeordnete Mengen kann ohne Verwendung des Auswahlaxioms bewiesen werden.

Aus dem Vergleichbarkeitssatz für beliebige Mengen folgt hingegen der Wohlordnungssatz, somit auch das Auswahlaxiom: Zu jeder Menge $M$ kann man nämlich nach dem Satz von Hartogs eine Ordinalzahl $\alpha$ finden, die nicht in $M$ injektiv eingebettet werden kann. Nach dem Vergleichbarkeitssatz muss es eine injektive Abbildung von $M$ nach $\alpha$ geben; so eine Abbildung induziert eine Wohlordnung auf $M$ .

Der Vergleichbarkeitssatz für beliebige Mengen ist also (über der Theorie ZF) zum Auswahlaxiom äquivalent.

Geschichte

Der Satz wurde lange Zeit von Georg Cantor vermutet, konnte aber erst 1904 durch Ernst Zermelo bewiesen werden.

Literatur

Oliver Deiser: Einführung in die Mengenlehre. Berlin 2004. ISBN 3-540-20401-6

Read other articles:

Empanada

EmpanadaJenisPastriSajianHidangan pembukaTempat asalSpanyolMasakan nasional terkaitSpanyol, Portugis, Tanjung Verde, Sisilia, Amerika Latin, Indonesia, FilipinaSuhu penyajianPanas atau dinginBahan utamaDaging, keju, jagung, atau bahan lainVariasiPastelSunting kotak info • L • BBantuan penggunaan templat ini Buku resep: Empanada Media: Empanada Empanada adalah roti isi atau pastri panggang atau goreng di banyak negara di Amerika Latin, Eropa Selatan, dan bagian dar...

Katedral Brixen

Katedral BrixenKatedral Santa Maria Diangkat ke Surga dan Santo KasianusJerman: Kathedrale Mariä Himmelfahrt und St. Kassiancode: de is deprecated Katedral BrixenLokasiBrixenNegaraItaliaDenominasiGereja Katolik RomaArsitekturStatusKatedralStatus fungsionalAktifAdministrasiKeuskupanKeuskupan Bolzano-Brixen Katedral Brixen (Jerman: Brixner Domcode: de is deprecated , bahasa Italia: Duomo di Bressanone) adalah sebuah gereja katedral Katolik yang terletak di kota Brixen , Tirol Selatan, Ital...

Blade of the Immortal (film)

Blade of the ImmortalPoster film JepangNama lainJepang無限の住人 SutradaraTakashi MiikeBerdasarkanBlade of the Immortaloleh Hiroaki SamuraPemeranTakuya Kimura Hana SugisakiDistributorWarner Bros. PicturesTanggal rilis 29 April 2017 (2017-04-29) NegaraJepangBritania RayaKorea SelatanBahasaJapanese Blade of the Immortal (無限の住人code: ja is deprecated ) adalah film Jepang produksi tahun 2017 bergenre thriller aksi yang disutradarai oleh Takashi Miike, dibintangi oleh Taku...

The Jacket (Seinfeld)

3rd episode of the 2nd season of Seinfeld The JacketSeinfeld episodeEpisode no.Season 2Episode 3Directed byTom CheronesWritten byLarry David and Jerry SeinfeldProduction code205Original air dateFebruary 6, 1991 (1991-02-06)Guest appearances Lawrence Tierney as Alton Benes Frantz Turner as Salesman Suanne Spoke as Customer Harry Hart-Browne as Manager Episode chronology ← PreviousThe Pony Remark Next →The Phone Message Seinfeld season 2List of episodes The Jac...

Frank Sullivan (baseball)

American baseball player (1930-2016) Baseball player Frank SullivanPitcherBorn: (1930-01-23)January 23, 1930Hollywood, California, U.S.Died: January 19, 2016(2016-01-19) (aged 85)Lihue, Hawaii, U.S.Batted: RightThrew: RightMLB debutJuly 31, 1953, for the Boston Red SoxLast MLB appearanceJune 12, 1963, for the Minnesota TwinsMLB statisticsWin–loss record97–100Earned run average3.60Strikeouts959 Teams Boston Red Sox (1953–1960) Philadelphia Phillies (196...

Trzebiel

Questa voce sull'argomento centri abitati del Lubusz è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Trzebielcomune LocalizzazioneStato Polonia Voivodato Lubusz Distretto Żary AmministrazioneSindacoEugeniusz Olejniczak TerritorioCoordinate51°38′09″N 14°48′59″E / 51.635833°N 14.816389°E51.635833; 14.816389 (Trzebiel)Coordinate: 51°38′09″N 14°48′59″E / 51.635833°N 14.816389°E51.635...

Ilmuwan gila

Salah satu stereotipe populer dari ilmuwan gila: pria, tua, gigi bengkok, rambut berantakan, mantel lab, tabung reaksi berbusa, kacamata hitam, sarung tangan dan pose dramatis Ilmuwan gila (juga disebut doktor gila atau profesor gila) adalah karikatur seorang ilmuwan yang digambarkan gila karena kombinasi ciri kepribadian yang tidak biasa atau tidak mengganggu dan sifat ambisius yang tidak jelas, dan/atau yang tidak malu-malu melakukan percobaan mereka. Sebagai motif dalam fiksi, ilmuwan gila...

Târnăveni

Koordinat: 46°19′47″N 24°16′12″E / 46.32972°N 24.27000°E / 46.32972; 24.27000 TârnăveniKotaLetak TârnăveniNegara RumaniaProvinsiMureşStatusMunisipalitasPemerintahan • Wali kotaAdrian MateiPopulasi (2002) • Total26.537Zona waktuUTC+2 (EET) • Musim panas (DST)UTC+3 (EEST)Situs webhttp://www.primariatarnaveni.ro/ Târnăveni (juga dieja Tîrnăveni, sebelumnya dikenal sebagai Târnava-Sânmărtin dan Diciosân...

Kasaya (clothing)

Buddhist Cassock worn by fully-ordained Buddhist monks and nuns Monks from Central Asia and China wearing traditional kāṣāya. Bezeklik Caves, eastern Tarim Basin, 9th-10th century. Kāṣāya[a] are the robes of fully ordained Buddhist monks and nuns, named after a brown or saffron dye. In Sanskrit and Pali, these robes are also given the more general term cīvara, which references the robes without regard to color. Origin and construction An early representation of the Buddha wea...

Leonid Brezhnev

Leader of the Soviet Union from 1964 to 1982 Brezhnev redirects here. For other uses, see Brezhnev (disambiguation). Leonid BrezhnevЛеонид БрежневOfficial portrait, 1972General Secretary of the Communist Party of the Soviet Union[a]In office14 October 1964 – 10 November 1982Preceded byNikita Khrushchev(as First Secretary)Succeeded byYuri AndropovChairman of the Presidium of the Supreme Soviet of the Soviet UnionIn office16 June 1977 – 10 November 198...

2020年夏季奧林匹克運動會波蘭代表團

2020年夏季奥林匹克运动会波兰代表團波兰国旗IOC編碼POLNOC波蘭奧林匹克委員會網站olimpijski.pl（英文）（波兰文）2020年夏季奥林匹克运动会（東京）2021年7月23日至8月8日（受2019冠状病毒病疫情影响推迟，但仍保留原定名称）運動員206參賽項目24个大项旗手开幕式：帕维尔·科热尼奥夫斯基（游泳）和马娅·沃什乔夫斯卡（自行车）[1]闭幕式：卡罗利娜·纳亚（皮划艇）&#...

Córdoba, Argentina

City in Argentina For other uses, see Cordoba (disambiguation). 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: Córdoba, Argentina – news · newspapers · books · scholar · JSTOR (August 2013) (Learn how and when to remove this message) City in Córdoba, ArgentinaCordobaCityCiudad de CórdobaSkyline of Córdo...

彼得·泰勒 (赛艇运动员)

彼得·泰勒出生1984年1月3日（40歲）職業赛艇运动员关于名为彼得·泰勒的其他人物，請見「彼得·泰勒」。彼得·泰勒（英語：Peter Taylor，1984年1月3日—），新西兰男子赛艇运动员。他曾代表新西兰参加2008年、2012年和2016年夏季奥林匹克运动会赛艇比赛，其中2012年奥运会获得一枚铜牌。[1] 参考资料 ^ Peter TAYLOR. International Olympic Committee. [2022-05-30]...

Armide (Lully)

Pour les articles homonymes, voir Armide (homonymie). Armide Données clés Genre tragédie lyrique Nbre d'actes cinq et un prologue Musique Jean-Baptiste Lully Livret Philippe Quinault Langueoriginale français Sourceslittéraires Armide dans La Jérusalem délivrée (1581) du Tasse Création 15 février 1686Théâtre du Palais-Royal modifier Armide (LWV 71) est la dernière tragédie en musique en cinq actes et un prologue terminée par Jean-Baptiste Lully sur un livret de Philippe Quinaul...

CBS Evening News

American television news program CBS Evening NewsAlso known as Weekdays: CBS Television News (1941–1950) Douglas Edwards with the News (1950–1962) Walter Cronkite with the News (1962–1963) CBS Evening News with Norah O'Donnell (2019–present) Weekends: CBS Weekend News (2016–present) GenreNews programCreated byDon HewittDirected by Brian Nalesnik Alison Hawley Presented by Weekdays: Norah O'Donnell Saturdays: Adriana Diaz Sundays: Jericka Duncan (See former anchors) Narrated byJoe Ci...

Koreans in Indonesia

Ethnic group Ethnic group Koreans in Indonesia재인도네시아 한인Orang Korea di Indonesia Opening ceremony held by the National Gugak Center at the Korean Cultural Center in Jakarta, Indonesia on July 2011Total population78,676 (2017)[1]Regions with significant populationsJakarta, Tangerang, Yogyakarta, Surabaya, Bandung, Denpasar, Batam, Medan, KendariJakarta and surroundings55,824[1]Surabaya and surroundings7,710[1]Elsewhere in Java6,872[1]Bali, Lombok,...

Falbygden

A passage grave in Luttra in Falbygden, Sweden Falbygden is a geographical area, centered at the town of Falköping in Västergötland, in southwestern Sweden, and covered mostly by farmland. Most of the area belongs to Falköping Municipality and the west part of Tidaholm Municipality. In medieval times the area belonged to the hundreds Frökind, Gudhem, Vartofta, and Vilske. It is known for its geology, flora and megalithic culture. Neolithic period in Falbygden The Neolithic passage grave ...

Cent (moneta)

¢ c Un cent degli Stati Uniti d'America Nelle valute, il centesimo o cent è una unità di misura monetaria uguale a 1/100 dell'unita monetaria presente nei vari paesi, in particolare per il dollaro americano e per l'euro. Il termine può anche riferirsi alla moneta che vale un centesimo. Negli Stati Uniti e in Canada 1¢ è conosciuto con il soprannome di penny, che richiama la moneta inglese che ha lo stesso nome. Indice 1 Etimologia 2 Simbolo 3 Utilizzo 4 Voci correlate 5 Altri progetti 6...

Periode modern awal

Informasi lebih lanjut: Eropa modern awal Peta Waldseemüller dengan lembar gabungan, 1507. Sejarah manusia ↑ Prasejarah Sejarah tertulis Kuno Catatan tertua Afrika Amerika Asia Timur Asia Selatan Asia Tenggara Mediterania Timur Dekat Pascaklasik Afrika Amerika Asia Tengah Asia Timur Asia Selatan Asia Tenggara Eropa Timur Tengah Modern Modern awal Modern Kontemporer Lihat pula Modernitas Futurologi ↓ Masa depanlbs Dalam sejarah, periode modern awal dari sejarah modern terjadi setelah akhi...

Monteleone Rocca Doria

Monteleone Rocca Doria MonteleòneKomuneComune di Monteleone Rocca DoriaLokasi Monteleone Rocca Doria di Provinsi SassariNegaraItaliaWilayah SardiniaProvinsiSassari (SS)Pemerintahan • Wali kotaAntonello MasalaLuas • Total13,39 km2 (5,17 sq mi)Ketinggian368 m (1,207 ft)Populasi (2016) • Total102[1]Zona waktuUTC+1 (CET) • Musim panas (DST)UTC+2 (CEST)Kode pos07010Kode area telepon079Situs webhttp://www.comune....

PROFILPELAJAR.COM