佐恩引理和拓扑学

快捷方式: 差异，相似，杰卡德相似系数，参考。

佐恩引理和拓扑学之间的区别

佐恩引理 vs. 拓扑学

佐恩引理（Zorn's Lemma）也被称为库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理，其陳述為： 在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，則此偏序集内必然存在（至少一枚）极大元。 佐恩引理是以数学家马克斯·佐恩的名字命名的。 具体来说，假设(P, \le)是一个偏序集，它的一个子集T称为是一个全序子集，如果对于任意的s, t \in T有s \le t或t \le s。而T称为是有上界的，如果P中存在一个元素u，使得对于任意的t \in T，都有t \le u。在上述定义中，并不要求u一定是T中的元素。而一个元素m \in T称为是極大的，如果x \in T且x \ge m，则必然有x. 在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.

函数

函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).

佐恩引理和函数 · 函数和拓扑学 · 查看更多 »

紧空间

在数学中，如果欧几里得空间Rn的子集是闭合的并且是有界的，那么称它是--的。例如，在R中，闭合单位区间是紧致的，但整数集合Z不是（它不是有界的），半开区间.

佐恩引理和紧空间 · 拓扑学和紧空间 · 查看更多 »

集合论

集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.

佐恩引理和集合论 · 拓扑学和集合论 · 查看更多 »