Zorn's lemma (original) (raw)
Princip maximality, označovaný také někdy zkratkou PM a mimo teorii množin známější jako Zornovo lemma, je tvrzení z teorie množin, konkrétněji z teorie uspořádání, které se zabývá existencí maximálních prvků v uspořádané množině.
| Property | Value |
|---|---|
| dbo:abstract | El lema de Zorn o axioma de Zorn és un enunciat en teoria de conjunts, equivalent a l'axioma de l'elecció, que sovint s'usa per demostrar l'existència d'un objecte matemàtic que no es pot obtenir explícitament. El seu nom prové del matemàtic Max Zorn. La formulació més curta és que cada conjunt ordenat inductivament té un element maximal o, cosa que és el mateix, cada conjunt parcialment ordenat en el que cada cadena (i.e. un subconjunt totalment ordenat) té una cota superior, conté com a mínim un element maximal. A continuació concretarem la definició d'aquests termes. Suposem que (P,≤) és un conjunt parcialment ordenat. Un subconjunt seu T és totalment ordenat si per a qualssevol s, t elements de T es dona alguna de les comparacions s ≤ t o bé t ≤ s. Aquest conjunt T té una cota superior u de P si t ≤ u per a tot t dins de T. Observeu que u és un element de P però no cal que sigui element de la cadena T. Finalment, un element maximal de P és un element m dins de P tal que no hi ha cap altre element x de P que sigui diferent de m i faci m ≤ x. (ca) Princip maximality, označovaný také někdy zkratkou PM a mimo teorii množin známější jako Zornovo lemma, je tvrzení z teorie množin, konkrétněji z teorie uspořádání, které se zabývá existencí maximálních prvků v uspořádané množině. (cs) Το λήμμα του Τσορν, από τους μαθηματικούς και , είναι ένα αποδεικτικό εργαλείο που εξυπηρετεί παρόμοιες ανάγκες όπως η Μαθηματική επαγωγή. Το λήμμα διατυπώνει ότι ένας μερικώς διατεταγμένος χώρος, με κάθε αλυσίδα του (δηλαδή κάθε πλήρως διατεταγμένο υποσύνολό του) να έχει άνω φράγμα, τότε έχει μεγιστικό στοιχείο. (el) Das Lemma von Zorn, auch bekannt als Lemma von Kuratowski-Zorn oder Zornsches Lemma, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo-Fraenkel-Mengenlehre, die das Auswahlaxiom einbezieht. Es besagt, dass jede induktiv geordnete Menge mindestens ein maximales Element besitzt. Das Lemma ist benannt nach dem deutsch-amerikanischen Mathematiker Max Zorn, der es 1933 entdeckte (unabhängig von der Entdeckung durch Kuratowski 1922.), und verwandt mit Hausdorffs Maximalkettensatz von 1914. Die Zuschreibung an Zorn erfolgte schon in der Ausgabe der Mengenlehre von Bourbaki (als Theorem von Zorn, verfasst von Claude Chevalley, der Zorn aus seiner Zeit bei Emil Artin in Hamburg Anfang der 1930er Jahre kannte) von 1939, die Bezeichnung Lemma erfolgte in einer Veröffentlichung von John W. Tukey (1940). Es gab noch verschiedene andere Autoren (neben den erwähnten Hausdorff und Kuratowski), die Maximum-Prinzipien veröffentlichten, die aus dem Auswahlaxiom oder dem Wohlordnungssatz folgten (wie Salomon Bochner 1928, R. L. Moore 1932). Zorn vermutete aber zuerst (in seiner Arbeit von 1935), dass Auswahlaxiom, Wohlordnungssatz und Zornsches Lemma (das er Maximum-Prinzip nannte) äquivalent sind, und kündigte einen Beweis in einer Folgearbeit an, die nie erschien. (de) El lema de Zorn, también llamado de Kuratowski-Zorn, es una proposición de la teoría de conjuntos que afirma lo siguiente: Todo conjunto parcialmente ordenado no vacío en el que toda cadena (subconjunto totalmente ordenado) tiene una cota superior, contiene al menos un elemento maximal. Debe su nombre al matemático Max Zorn. Los términos se definen como sigue. Supóngase que (P, ≤) es un conjunto parcialmente ordenado. Un subconjunto T de P es totalmente ordenado si para cualquier s, t ∈ T se tiene s ≤ t o t ≤ s. Tal conjunto T tiene una cota superior u ∈ P si t ≤ u para cualquier t ∈ T; no se necesita que u sea miembro de T. Un elemento m ∈ P es maximal si el único x ∈ P tal que m ≤ x es m mismo. Al igual que el teorema del buen orden, el lema de Zorn es equivalente al axioma de elección, en el sentido de que cualquiera de ellos, junto con los axiomas de Zermelo-Fraenkel, basta para probar los otros. Aparece en las demostraciones de varios teoremas importantes, tales como el teorema de Hahn-Banach en análisis funcional, el teorema de que todo espacio vectorial tiene una base, el teorema de Tychonoff en topología, y los teoremas en álgebra abstracta que afirman que todo anillo con elemento unitario tiene un ideal maximal y que todo cuerpo tiene clausura algebraica. (es) En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski-Zorn) est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous-ensemble totalement ordonné) possède un majorant, alors il possède un élément maximal. Le lemme de Zorn est équivalent à l'axiome du choix en admettant les autres axiomes de la théorie des ensembles de Zermelo-Fraenkel. Le lemme de Zorn permet d'utiliser l'axiome du choix sans recourir à la théorie des ordinaux (ou à celle des bons ordres via le théorème de Zermelo). En effet, sous les hypothèses du lemme de Zorn, on peut obtenir un élément maximal par une définition par récurrence transfinie, la fonction itérée étant obtenue par axiome du choix. Cependant, les constructions par récurrence transfinie sont parfois plus intuitives (quoique plus longues) et plus informatives. Le lemme de Zorn a des applications aussi bien en topologie, comme le théorème de Tychonov, qu'en analyse fonctionnelle, comme le théorème de Hahn-Banach, ou en algèbre, comme le théorème de Krull ou l'existence d'une clôture algébrique. Il doit son nom au mathématicien Max Zorn qui, dans un article de 1935, en donnait le premier un grand nombre d'applications, en redémontrant des résultats connus d'algèbre. Cependant Kazimierz Kuratowski en avait déjà publié une version en 1922, et plusieurs mathématiciens, à commencer par Felix Hausdorff en 1907, avaient introduit des principes de maximalité proches du lemme de Zorn. (fr) Lemma Zorn, juga dikenal sebagai Kuratowski–Zorn lemma, diambil dari nama Max Zorn dan Kazimierz Kuratowski, adalah proposisi dari teori himpunan. Ini menyatakan bahwa berisi untuk setiap (yaitu, setiap himpunan bagian harus berisi setidaknya satu . Dibuktikan oleh Kuratowski pada tahun 1922 dan secara independen oleh Zorn pada tahun 1935, ini lemma muncul dalam bukti beberapa teorema yang sangat penting, misalnya dalam analisis fungsional, teorema bahwa setiap ruang vektor memiliki , dalam topologi yang menyatakan bahwa setiap hasil kali ruang kompak adalah kompak, dan teorema dalam aljabar abstrak bahwa dalam cincin dengan identitas setiap ideal yang tepat terkandung dalam dan bahwa setiap bidang memiliki . Lemma Zorn setara dengan dan juga aksioma pilihan, dalam arti bahwa salah satu dari ketiganya, bersama dengan dari teori himpunan, cukup untuk membuktikan dua lainnya. Rumusan awal dari lemma Zorn adalah yang menyatakan bahwa setiap total himpunan bagian dari himpunan berurutan sebagian terdapat dalam himpunan bagian terurut total maksimal dari himpunan order sebagian. (in) 集合論においてツォルンの補題（ツォルンのほだい、英: Zorn's lemma）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。 命題 (Zorn の補題)半順序集合Pは、その全ての鎖(つまり、全順序部分集合)がPに上界を持つとする。このとき、Pは少なくともひとつの極大元を持つ。 この定理は数学者マックス・ツォルンとカジミェシュ・クラトフスキに因む。選択公理と同値な命題の一つ。 (ja) Il lemma di Zorn afferma che: «Se è un insieme non vuoto su cui è definita una relazione d'ordine parziale tale che ogni sua catena possiede un maggiorante in , allora contiene almeno un elemento massimale.» Il lemma di Zorn è equivalente all'assioma della scelta e al teorema del buon ordinamento, ma la sua peculiare formulazione risulta di maggior utilità in moltissime dimostrazioni. (it) Zorn's lemma, also known as the Kuratowski–Zorn lemma, is a proposition of set theory. It states that a partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element. The lemma was proved (assuming the axiom of choice) by Kazimierz Kuratowski in 1922 and independently by Max Zorn in 1935. It occurs in the proofs of several theorems of crucial importance, for instance the Hahn–Banach theorem in functional analysis, the theorem that every vector space has a basis, Tychonoff's theorem in topology stating that every product of compact spaces is compact, and the theorems in abstract algebra that in a ring with identity every proper ideal is contained in a maximal ideal and that every field has an algebraic closure. Zorn's lemma is equivalent to the well-ordering theorem and also to the axiom of choice, in the sense that within ZF (Zermelo–Fraenkel set theory without the axiom of choice) any one of the three is sufficient to prove the other two. An earlier formulation of Zorn's lemma is Hausdorff's maximum principle which states that every totally ordered subset of a given partially ordered set is contained in a maximal totally ordered subset of that partially ordered set. (en) Het lemma van Zorn, ook bekend als het lemma van Kuratowski-Zorn, is een bewering uit de verzamelingenleer. Het lemma is genoemd naar de wiskundigen Max Zorn en Kazimierz Kuratowski. (nl) 수학에서 초른 보조정리(Zorn의補助定理, 영어: Zorn’s lemma) 또는 쿠라토프스키-초른 보조정리(Kuratowski-Zorn補助定理, 영어: Kuratowski–Zorn lemma)는 부분 순서 집합이 극대 원소를 가질 충분조건을 제시하는 보조정리다. 선택 공리와 동치이다. (ko) Lemat Kuratowskiego-Zorna, lemat Zorna – twierdzenie teorii mnogości, nazywane zwyczajowo lematem, dające pewien warunek dostateczny istnienia elementu maksymalnego w danym zbiorze częściowo uporządkowanym; znajduje ono wiele zastosowań w pozostałych działach matematyki, gdzie wykorzystywane jest w dowodach istnienia różnych obiektów (gdy szukany element, którego istnienie jest postulowane, jest maksymalnym w pewnym zbiorze z częściowym porządkiem). Lemat ten został sformułowany przez Kazimierza Kuratowskiego w 1922 roku oraz niezależnie przez Maxa Zorna w 1935 roku. Jest on równoważny aksjomatowi wyboru – każdy z nich można udowodnić przy pomocy drugiego (na gruncie aksjomatyki Zermela-Fraenkla teorii mnogości) – przy czym jest to jedna z bardziej użytecznych jego postaci (zob. pozostałe). Istnieją również dowody wykorzystujące równoważniki aksjomatu wyboru, np. twierdzenie Zermela, czy twierdzenie Hausdorffa o łańcuchu maksymalnym. (pl) O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como: Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal. O Lema de Zorn é equivalente ao axioma da escolha. O nome faz referência ao matemático Max Zorn, mas sua primeira formulação se deve ao matemático polonês Kazimierz Kuratowski. (pt) Zorns lemma är inom mängdläran, en sats av fundamental betydelse. Lemmat används till exempel för att visa existens av maximalideal i ringar, baser i vektorrum samt i många andra fall när urvalsaxiomet behövs i ett existensbevis. Troligen är Zorns lemma den vanligaste formen av urvalsaxiomet i matematiska bevis. För att kunna förstå Zorns lemma introduceras några begrepp som är av vikt även utanför denna artikel. (sv) Лема Цорна (лема Куратовського — Цорна, аксіома Цорна) — одне з тверджень теорії множин еквівалентне аксіомі вибору. Названа на честь німецького математика . Лема: Нехай (P,≤) — деяка частково впорядкована множина. Якщо кожна лінійно впорядкована підмножина T має верхню межу, то P має максимальний елемент. (uk) 佐恩引理（Zorn's Lemma）也被称为库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理，其陳述為： 在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，則此偏序集内必然存在（至少一枚）极大元。 佐恩引理是以数学家马克斯·佐恩的名字命名的。 具体来说，假设是一个偏序集，它的一个子集称为是一个全序子集，如果对于任意的有或。而称为是有上界的，如果中存在一个元素，使得对于任意的，都有。在上述定义中，并不要求一定是中的元素。而一个元素称为是極大的，如果且，则必然有。 佐恩引理、良序定理和选择公理彼此等价，在集合论的Zermelo-Fraenkel公理基础上，上述三者中从任一出发均可推得另外两个。佐恩引理在数学的各个分支中都有重要地位，例如在证明泛函分析的哈恩-巴拿赫定理（Hahn-Banach Theorem），證明任一向量空间必有基，拓扑学中证明紧空间的乘积空间仍为紧空间的吉洪诺夫定理，和抽象代数中证明任何含幺环的真理想必然包含于一个极大理想和任何域必然有代数闭包的过程中，佐恩引理都是关键。 (zh) Лемма Цорна (иногда лемма Куратовского — Цорна) — одно из утверждений, эквивалентных аксиоме выбора, наряду с теоремой Цермело (принципом вполнеупорядочивания) и принципом максимума Хаусдорфа (который, по сути, является альтернативной формулировкой леммы Цорна). Носит имя немецкого математика Макса Цорна, часто упоминается также под именем польского математика Казимира Куратовского, сформулировавшего близкое утверждение раньше. Формулировка: частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Существует ряд эквивалентных альтернативных формулировок. (ru) |
| dbo:thumbnail | wiki-commons:Special:FilePath/4x4_grid_spanning_tree.svg?width=300 |
| dbo:wikiPageExternalLink | http://www.apronus.com/provenmath/choice.htm http://us.metamath.org/mpegif/zorn.html http://us.metamath.org/mpeuni/zorn.html |
| dbo:wikiPageID | 51442 (xsd:integer) |
| dbo:wikiPageLength | 25286 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1108318380 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Axiom_of_choice dbr:Proper_class dbr:Scalar_(mathematics) dbr:Bart's_New_Friend dbr:Basis_(linear_algebra) dbr:Binary_relation dbr:Algebraic_closure dbr:John_Tukey dbr:Unital_ring dbr:Upper_bound dbr:Vector_space dbr:Inclusion_order dbr:Transfinite_induction dbc:Order_theory dbr:Compact_space dbr:Max_August_Zorn dbr:Function_(mathematics) dbr:Bourbaki–Witt_theorem dbc:Lemmas_in_set_theory dbr:The_Simpsons dbr:Antisymmetric_relation dbr:Comparability dbr:Zermelo–Fraenkel_set_theory dbr:Functional_analysis dbr:Ideal_(ring_theory) dbr:Krull's_theorem dbr:Maximal_ideal dbr:Timothy_Gowers dbr:Topology dbr:Total_order dbr:Totally_ordered_set dbr:Transitive_relation dbr:Well-order dbr:Hausdorff_maximal_principle dbr:Linear_independence dbr:Linear_span dbr:Field_(mathematics) dbr:First-order_logic dbr:Nicolas_Bourbaki dbr:Partially_ordered_set dbr:Lemma_(mathematics) dbr:Greater_than_or_equal_to dbr:Ultrafilter dbr:Ring_(mathematics) dbr:Hahn–Banach_theorem dbr:Ring_(algebra) dbr:Abstract_algebra dbr:Kazimierz_Kuratowski dbr:Transfinite_recursion dbr:Dover_Publications dbr:Axiom dbr:Axiom_of_choice dbr:Axiom_of_dependent_choice dbr:Poset dbr:If_and_only_if dbr:Metamath dbr:Natural_number dbr:Ordinal_number dbr:Reflexive_relation dbr:Chain-complete_partial_order dbr:Set_(mathematics) dbr:Set_theory dbr:Chain_(order_theory) dbr:Maximal_element dbr:Tychonoff's_theorem dbr:Union_(set_theory) dbr:Without_loss_of_generality dbr:Well-ordering_theorem dbr:Vacuous_truth dbr:Teichmüller–Tukey_lemma dbr:Subset dbr:Zorns_Lemma_(film) dbr:Proper_filter dbr:Hausdorff's_maximum_principle dbr:Zero_vector_space dbr:Jerry_Bona dbr:Completeness_theorem dbr:File:4x4_grid_spanning_tree.svg |
| dbp:author | dbr:Timothy_Gowers |
| dbp:id | p/z099330 (en) |
| dbp:text | If you are building a mathematical object in stages and find that you have not finished even after infinitely many stages, and there seems to be nothing to stop you continuing to build, then Zorn’s lemma may well be able to help you. (en) |
| dbp:title | Zorn lemma (en) "How to use Zorn’s lemma" (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:Annotated_link dbt:Cite_book dbt:Cite_journal dbt:For dbt:Portal dbt:Quote dbt:Reflist dbt:See_also dbt:Short_description dbt:Use_dmy_dates dbt:Math_theorem dbt:Mathematical_logic |
| dct:subject | dbc:Axiom_of_choice dbc:Order_theory dbc:Lemmas_in_set_theory |
| gold:hypernym | dbr:Proposition |
| rdf:type | owl:Thing yago:WikicatLemmas yago:WikicatMathematicalTheorems yago:Abstraction100002137 yago:Communication100033020 yago:Lemma106751833 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment | Princip maximality, označovaný také někdy zkratkou PM a mimo teorii množin známější jako Zornovo lemma, je tvrzení z teorie množin, konkrétněji z teorie uspořádání, které se zabývá existencí maximálních prvků v uspořádané množině. (cs) Το λήμμα του Τσορν, από τους μαθηματικούς και , είναι ένα αποδεικτικό εργαλείο που εξυπηρετεί παρόμοιες ανάγκες όπως η Μαθηματική επαγωγή. Το λήμμα διατυπώνει ότι ένας μερικώς διατεταγμένος χώρος, με κάθε αλυσίδα του (δηλαδή κάθε πλήρως διατεταγμένο υποσύνολό του) να έχει άνω φράγμα, τότε έχει μεγιστικό στοιχείο. (el) 集合論においてツォルンの補題（ツォルンのほだい、英: Zorn's lemma）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。 命題 (Zorn の補題)半順序集合Pは、その全ての鎖(つまり、全順序部分集合)がPに上界を持つとする。このとき、Pは少なくともひとつの極大元を持つ。 この定理は数学者マックス・ツォルンとカジミェシュ・クラトフスキに因む。選択公理と同値な命題の一つ。 (ja) Il lemma di Zorn afferma che: «Se è un insieme non vuoto su cui è definita una relazione d'ordine parziale tale che ogni sua catena possiede un maggiorante in , allora contiene almeno un elemento massimale.» Il lemma di Zorn è equivalente all'assioma della scelta e al teorema del buon ordinamento, ma la sua peculiare formulazione risulta di maggior utilità in moltissime dimostrazioni. (it) Het lemma van Zorn, ook bekend als het lemma van Kuratowski-Zorn, is een bewering uit de verzamelingenleer. Het lemma is genoemd naar de wiskundigen Max Zorn en Kazimierz Kuratowski. (nl) 수학에서 초른 보조정리(Zorn의補助定理, 영어: Zorn’s lemma) 또는 쿠라토프스키-초른 보조정리(Kuratowski-Zorn補助定理, 영어: Kuratowski–Zorn lemma)는 부분 순서 집합이 극대 원소를 가질 충분조건을 제시하는 보조정리다. 선택 공리와 동치이다. (ko) O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como: Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal. O Lema de Zorn é equivalente ao axioma da escolha. O nome faz referência ao matemático Max Zorn, mas sua primeira formulação se deve ao matemático polonês Kazimierz Kuratowski. (pt) Zorns lemma är inom mängdläran, en sats av fundamental betydelse. Lemmat används till exempel för att visa existens av maximalideal i ringar, baser i vektorrum samt i många andra fall när urvalsaxiomet behövs i ett existensbevis. Troligen är Zorns lemma den vanligaste formen av urvalsaxiomet i matematiska bevis. För att kunna förstå Zorns lemma introduceras några begrepp som är av vikt även utanför denna artikel. (sv) Лема Цорна (лема Куратовського — Цорна, аксіома Цорна) — одне з тверджень теорії множин еквівалентне аксіомі вибору. Названа на честь німецького математика . Лема: Нехай (P,≤) — деяка частково впорядкована множина. Якщо кожна лінійно впорядкована підмножина T має верхню межу, то P має максимальний елемент. (uk) 佐恩引理（Zorn's Lemma）也被称为库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理，其陳述為： 在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，則此偏序集内必然存在（至少一枚）极大元。 佐恩引理是以数学家马克斯·佐恩的名字命名的。 具体来说，假设是一个偏序集，它的一个子集称为是一个全序子集，如果对于任意的有或。而称为是有上界的，如果中存在一个元素，使得对于任意的，都有。在上述定义中，并不要求一定是中的元素。而一个元素称为是極大的，如果且，则必然有。 佐恩引理、良序定理和选择公理彼此等价，在集合论的Zermelo-Fraenkel公理基础上，上述三者中从任一出发均可推得另外两个。佐恩引理在数学的各个分支中都有重要地位，例如在证明泛函分析的哈恩-巴拿赫定理（Hahn-Banach Theorem），證明任一向量空间必有基，拓扑学中证明紧空间的乘积空间仍为紧空间的吉洪诺夫定理，和抽象代数中证明任何含幺环的真理想必然包含于一个极大理想和任何域必然有代数闭包的过程中，佐恩引理都是关键。 (zh) El lema de Zorn o axioma de Zorn és un enunciat en teoria de conjunts, equivalent a l'axioma de l'elecció, que sovint s'usa per demostrar l'existència d'un objecte matemàtic que no es pot obtenir explícitament. El seu nom prové del matemàtic Max Zorn. La formulació més curta és que cada conjunt ordenat inductivament té un element maximal o, cosa que és el mateix, cada conjunt parcialment ordenat en el que cada cadena (i.e. un subconjunt totalment ordenat) té una cota superior, conté com a mínim un element maximal. (ca) Das Lemma von Zorn, auch bekannt als Lemma von Kuratowski-Zorn oder Zornsches Lemma, ist ein Theorem der Mengenlehre, genauer gesagt, der Zermelo-Fraenkel-Mengenlehre, die das Auswahlaxiom einbezieht. Es besagt, dass jede induktiv geordnete Menge mindestens ein maximales Element besitzt. Das Lemma ist benannt nach dem deutsch-amerikanischen Mathematiker Max Zorn, der es 1933 entdeckte (unabhängig von der Entdeckung durch Kuratowski 1922.), und verwandt mit Hausdorffs Maximalkettensatz von 1914. (de) El lema de Zorn, también llamado de Kuratowski-Zorn, es una proposición de la teoría de conjuntos que afirma lo siguiente: Todo conjunto parcialmente ordenado no vacío en el que toda cadena (subconjunto totalmente ordenado) tiene una cota superior, contiene al menos un elemento maximal. Debe su nombre al matemático Max Zorn. (es) En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski-Zorn) est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous-ensemble totalement ordonné) possède un majorant, alors il possède un élément maximal. Le lemme de Zorn est équivalent à l'axiome du choix en admettant les autres axiomes de la théorie des ensembles de Zermelo-Fraenkel. (fr) Lemma Zorn, juga dikenal sebagai Kuratowski–Zorn lemma, diambil dari nama Max Zorn dan Kazimierz Kuratowski, adalah proposisi dari teori himpunan. Ini menyatakan bahwa berisi untuk setiap (yaitu, setiap himpunan bagian harus berisi setidaknya satu . (in) Zorn's lemma, also known as the Kuratowski–Zorn lemma, is a proposition of set theory. It states that a partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element. (en) Lemat Kuratowskiego-Zorna, lemat Zorna – twierdzenie teorii mnogości, nazywane zwyczajowo lematem, dające pewien warunek dostateczny istnienia elementu maksymalnego w danym zbiorze częściowo uporządkowanym; znajduje ono wiele zastosowań w pozostałych działach matematyki, gdzie wykorzystywane jest w dowodach istnienia różnych obiektów (gdy szukany element, którego istnienie jest postulowane, jest maksymalnym w pewnym zbiorze z częściowym porządkiem). (pl) Лемма Цорна (иногда лемма Куратовского — Цорна) — одно из утверждений, эквивалентных аксиоме выбора, наряду с теоремой Цермело (принципом вполнеупорядочивания) и принципом максимума Хаусдорфа (который, по сути, является альтернативной формулировкой леммы Цорна). Носит имя немецкого математика Макса Цорна, часто упоминается также под именем польского математика Казимира Куратовского, сформулировавшего близкое утверждение раньше. (ru) |
| rdfs:label | Lema de Zorn (ca) Princip maximality (cs) Lemma von Zorn (de) Λήμμα του Τσορν (el) Lema de Zorn (es) Lemma Zorn (in) Lemma di Zorn (it) Lemme de Zorn (fr) 초른 보조정리 (ko) ツォルンの補題 (ja) Lemma van Zorn (nl) Lemat Kuratowskiego-Zorna (pl) Lema de Zorn (pt) Лемма Цорна (ru) Zorn's lemma (en) Zorns lemma (sv) 佐恩引理 (zh) Лема Цорна (uk) |
| rdfs:seeAlso | dbr:Axiom_of_choice dbr:Axiom_of_dependent_choice |
| owl:sameAs | freebase:Zorn's lemma yago-res:Zorn's lemma wikidata:Zorn's lemma dbpedia-ca:Zorn's lemma dbpedia-cs:Zorn's lemma dbpedia-de:Zorn's lemma dbpedia-el:Zorn's lemma dbpedia-es:Zorn's lemma dbpedia-et:Zorn's lemma dbpedia-fa:Zorn's lemma dbpedia-fi:Zorn's lemma dbpedia-fr:Zorn's lemma dbpedia-gl:Zorn's lemma dbpedia-he:Zorn's lemma dbpedia-hr:Zorn's lemma dbpedia-hu:Zorn's lemma dbpedia-id:Zorn's lemma dbpedia-it:Zorn's lemma dbpedia-ja:Zorn's lemma dbpedia-ka:Zorn's lemma dbpedia-ko:Zorn's lemma dbpedia-lmo:Zorn's lemma dbpedia-nl:Zorn's lemma dbpedia-pl:Zorn's lemma dbpedia-pt:Zorn's lemma dbpedia-ro:Zorn's lemma dbpedia-ru:Zorn's lemma dbpedia-sl:Zorn's lemma dbpedia-sv:Zorn's lemma dbpedia-th:Zorn's lemma dbpedia-tr:Zorn's lemma dbpedia-uk:Zorn's lemma dbpedia-vi:Zorn's lemma dbpedia-zh:Zorn's lemma https://global.dbpedia.org/id/2haPp |
| prov:wasDerivedFrom | wikipedia-en:Zorn's_lemma?oldid=1108318380&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/4x4_grid_spanning_tree.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Zorn's_lemma |
| is dbo:knownFor of | dbr:Max_August_Zorn__Max_August_Zorn__1 |
| is dbo:wikiPageDisambiguates of | dbr:ZL |
| is dbo:wikiPageRedirects of | dbr:Zorn's_Lemma dbr:Zorns_lemma dbr:Kuratowski-Zorn_lemma dbr:Kuratowski–Zorn_lemma dbr:Zorn_Lemma dbr:Zorn_lemma |
| is dbo:wikiPageWikiLink of | dbr:Saul_Kripke dbr:List_of_abstract_algebra_topics dbr:List_of_axioms dbr:Minimal_prime_ideal dbr:Basis_(linear_algebra) dbr:Algebraic_closure dbr:Algebraic_extension dbr:Algebraic_independence dbr:Algebraic_matroid dbr:Reverse_mathematics dbr:Ultrafilter_(set_theory) dbr:Valuation_ring dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:Eakin–Nagata_theorem dbr:Index_of_philosophy_articles_(R–Z) dbr:Inductive_set dbr:List_of_lemmas dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:List_of_misnamed_theorems dbr:List_of_order_theory_topics dbr:List_of_set_theory_topics dbr:Transfinite_induction dbr:Timeline_of_Polish_science_and_technology dbr:Max_August_Zorn dbr:Maximal_and_minimal_elements dbr:Nilradical_of_a_ring dbr:Glossary_of_set_theory dbr:Bourbaki–Witt_theorem dbr:Theorem dbr:Equivalents_of_the_Axiom_of_Choice dbr:Ordered_field dbr:Lemma_(album) dbr:M._Riesz_extension_theorem dbr:Commutative_ring dbr:Compact_operator_on_Hilbert_space dbr:Complete_theory dbr:Yvonne_Choquet-Bruhat dbr:Zorn's_Lemma dbr:Zorns_Lemma dbr:Functional_analysis dbr:Ideal_(ring_theory) dbr:Kripke_semantics dbr:Krull's_theorem dbr:Spanning_tree dbr:Total_order dbr:Divergent_series dbr:Hausdorff_maximal_principle dbr:Semigroup dbr:Exponentiation dbr:Filter_(set_theory) dbr:Filters_in_topology dbr:Finitely_generated_module dbr:Foliation dbr:Forcing_(mathematics) dbr:Caristi_fixed-point_theorem dbr:Cauchy's_functional_equation dbr:Isomorphism_extension_theorem dbr:Kaplansky's_theorem_on_projective_modules dbr:Lemma_(mathematics) dbr:List_of_Indiana_University_(Bloomington)_people dbr:Szpilrajn_extension_theorem dbr:Ultrafilter dbr:Proof_theory dbr:Hahn–Banach_theorem dbr:Hilbert_space dbr:Atom_(measure_theory) dbr:Hyperreal_number dbr:Jerry_L._Bona dbr:Kazimierz_Kuratowski dbr:Tolerance_relation dbr:ZL dbr:Zorn's_Law dbr:Zorns_lemma dbr:Dimension_theorem_for_vector_spaces dbr:Axiom_of_choice dbr:Axiom_of_dependent_choice dbr:Boolean_prime_ideal_theorem dbr:Free_abelian_group dbr:In-joke dbr:Inner_product_space dbr:Chain-complete_partial_order dbr:Tychonoff's_theorem dbr:Vitali_covering_lemma dbr:Well-ordering_theorem dbr:Examples_of_vector_spaces dbr:Rokhlin_lemma dbr:Subbase dbr:Semisimple_representation dbr:Simple_theorems_in_the_algebra_of_sets dbr:Teichmüller–Tukey_lemma dbr:Kuratowski-Zorn_lemma dbr:Kuratowski–Zorn_lemma dbr:Zorn_Lemma dbr:Zorn_lemma |
| is dbp:knownFor of | dbr:Max_August_Zorn |
| is foaf:primaryTopic of | wikipedia-en:Zorn's_lemma |
