《佐恩引理》是荷利斯·法朗普頓執導的電影，由Rosemarie Castoro / Ginger Michels / Marcia等主演。
基本介紹
- 中文名：佐恩引理
- 導演： 荷利斯·法朗普頓
- 主演：Rosemarie Castoro / Ginger Michels / Marcia
《佐恩引理》是荷利斯·法朗普頓執導的電影，由Rosemarie Castoro / Ginger Michels / Marcia等主演。
佐恩引理（Zorn's Lemma）也被稱為庫拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合論中一個重要的定理，其陳述為：在任何一非空的偏序集中，若任何鏈（即全序的子集）都有上界，則此偏序集內必然存在（至...
佐恩引理 《佐恩引理》是荷利斯·法朗普頓執導的電影，由Rosemarie Castoro / Ginger Michels / Marcia等主演。
馬克斯·奧古斯特·佐恩，男，德國人，職位代數學家，群論學家，和數值分析學家。馬克斯·奧古斯特·佐恩（Max August Zorn，1906年6月6日於德國克雷菲爾德(Krefeld)——1993年3月9日於美國印第安納州布盧明頓(Bloomington)）是德國裔美國數學家。佐恩是代數學家，群論學家，和數值分析學家。他最著名的是佐恩引理。這...
圖基引理斷言，每個具有有窮特徵的非空集必有集合之間包含關係下的極大元，可以證明，圖基引理與佐恩引理等價，因而也與選擇公理等價，因為有許多概念是用有窮性質定義或由有窮時的性質推廣至無窮的，所以，要斷言極大元的存在性，使用圖基引理就甚為方便了，證明“任一線性空間都有基底”即是例證。基本介紹 圖基引理...
第一極大原理(first maximal principle)也稱佐恩引理，Zorn引理，是選擇公理的一個等價命題。該引理斷言：任給非空半序集，若其中每個全序子集(有時又稱為鏈)都有上界，則該半序集有極大元，這條引理在近代數學中有廣泛套用，許多用選擇公理證明的命題，使用佐恩引理常常顯得更方便，例如，以下在代數、泛函、拓撲中...
良序定理是一條ZFC公理集合論系統中的定理。它可以由佐恩引理證明如下：對任意集合S，為了證明存在S上的一個良序，令集合P為所有S的子集上的良序（嚴格來說，P的元素是S的子集和其上的良序關係組成的有序對）。對任意A，B∈P，定義A≤B若且唯若A是B的一個前段。(P,≤)構成一偏序集，且對這個偏序集的任意...
豪斯多夫極大原理是一條ZFC公理集合論系統中的定理。它可以由佐恩引理證明如下：對任何偏序集(P,≤)和其中的任一條鏈A，所有包含A的鏈按照包含關係可構成一個偏序集(T,≤)，由於後者的任一條鏈S代表前者的一組兩兩之間相互有包含關係且包含A的鏈，所以這組鏈的並集仍是一條包含A的鏈，且是S的一個上界。
邦拿（Jerry Bona）也曾說過：“‘選擇公理’明顯是正確的；‘良序原理’明顯是不正確的；‘佐恩引理’又有誰可決定呢？”這雖然是一個笑話，但從此可知道人的直覺並不一定跟從數學的思維。在數學上，這三個命題是等價的，但對於“選擇公理”，很多數學家都直覺它是正確的；對於“良序原理”，很多數學家都認為...
前三位都研究當時很新鮮的領域拓撲學。最後者研究數理邏輯，他的研討會啟發了庫氏的第一篇論文（1917年）。1927年被聘為利沃夫工業大學（Politechnika Lwowska）教授，1934年起任教於華沙大學。作者貢獻 庫拉托夫斯基閉包公理 塔斯基–庫拉托夫斯基算法 平面圖的庫拉托夫斯基定理 庫拉托夫斯基十四集問題 佐恩引理的證明 ...
存在性證明是數學證明中的一種， 亦即證明考察對象是存在的，證明方法通常使用反證法或者是極大原理，佐恩引理等等。這種證明通常這只能間接指出對象的存在性，卻不能具體構造出所需對象。比如Euclid證明“素數個數無限”；又如交換代數中證明“交換環必存在極大理想”；希爾伯特（Hilbert）曾經在給學生講到存在性證明時...
泛函分析所研究的大部分空間都是無窮維的。為了證明無窮維向量空間存在一組基，必須要使用佐恩引理（Zorn's Lemma）。此外，泛函分析中大部分重要定理都構建於罕-巴拿赫定理的基礎之上，而該定理本身就是選擇公理（Axiom of Choice）弱於布倫素理想定理（Boolean prime ideal theorem）的一個形式。歷史 背景 十九世紀...