目录
代数拓扑
代数拓扑（Algebraic topology）是使用抽象代数的工具来研究拓扑空间的数学分支。.
查看 吉洪诺夫定理和代数拓扑
佐恩引理
佐恩引理（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.
查看 吉洪诺夫定理和佐恩引理
微分拓扑
微分拓撲是一個处理在微分流形上的可微函数的数学领域。很自然地，它是在研究微分方程理論的过程中被提出來的。微分幾何是用微積分來研究幾何的学问。这些领域非常接近，在物理学，特别在相对论方面有许多的应用。它们合在一起还建立了可从动力系统观点直接研究的、可微流形的几何理论。 * W category:微积分.
查看 吉洪诺夫定理和微分拓扑
积空间
拓扑学和数学的相关领域中，积空间是指一族拓扑空间的笛卡儿积，并配备了一个称为积拓扑的自然的拓扑结构。.
查看 吉洪诺夫定理和积空间
紧空间
在数学中，如果欧几里得空间Rn的子集是闭合的并且是有界的，那么称它是--的。例如，在R中，闭合单位区间是紧致的，但整数集合Z不是（它不是有界的），半开区间.
查看 吉洪诺夫定理和紧空间
选择公理
选择公理（Axiom of Choice，縮寫AC）是数学中的一条集合论公理。这条公理声明，对所有非空指标集族 (S_i)_，总存在一个索引族 (x_i)_，对每一个 i \in I，均有 x_i \in S_i。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。 非正式地說，选择公理声明：給定一些盒子（可以是無限個），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具體的選擇規則”（當每個盒子都恰好只有一个小球具有某項特征）这两种情况下。再举一个例子，假设有许多（甚至是无限）双鞋子，则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而，假设有无限双袜子（假设每双袜子都没有可区分的特征），在这种情况下，有效的选择只能通过选择公理得到。 尽管曾具有争议性，选择公理現在已被大多数数学家毫无保留地使用着，例如带有选择公理的策梅洛-弗兰克尔集合论（ZFC）。数学家们使用选择公理的原因是，有许多被普遍接受的数学定理，比如是吉洪诺夫定理，都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理，例如。 在一些構造性數學的理論中會避免选择公理的使用，不過也有的將选择公理包括在內。.
查看 吉洪诺夫定理和选择公理
泛函分析
泛函分析（Functional Analysis）是现代数学分析的一个分支，隶属于分析学，其研究的主要对象是函数构成的函数空间。泛函分析历史根源是由对函数空间的研究和对函数的变换（如傅立叶变换等）的性质的研究。这种观点被证明是对微分方程和积分方程的研究中特别有用。 使用泛函这个词作为表述源自变分法，代表作用于函数的函数，这意味着，一个函数的参数是函数。这个名词首次被雅克·阿达马在1910年使用于这个课题的书中。是泛函分析理论的主要奠基人之一。然而，泛函的一般概念以前曾在1887年是由意大利数学家和物理学家維多·沃爾泰拉（Vito Volterra）介绍。非线性泛函理论是由雅克·阿达马的学生继续研究，特别是莫里斯·弗雷歇（Maurice Fréchet）可和列维（Levy）。雅克·阿达马还创立线性泛函分析的现代流派，并由弗里杰什·里斯和一批围绕着斯特凡·巴拿赫（Stefan Banach）的波兰数学家进一步发展。.
查看 吉洪诺夫定理和泛函分析
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 吉洪诺夫定理和数学
另见
拓扑学定理
选择公理
亦称为 Tychonoff定理。