徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

海涅-博雷尔定理

指数 海涅-博雷尔定理

在数学分析中,海涅-博雷尔定理(Heine–Borel theorem)或有限覆盖定理、博雷尔-勒贝格定理(),以 和埃米尔·博雷尔命名,斷言: 对于欧几里得空间 Rn 的子集 S,下列两个陈述是等价的.

20 关系: 埃米尔·博雷尔卡尔·魏尔斯特拉斯可數集子集实变函数论完备空间一致空间一致连续度量空间紧空间覆盖 (拓扑学)讓·迪厄多內连续函数闭集选择公理柯西序列欧几里得空间有界集合数学分析拓撲向量空間

埃米尔·博雷尔

费力克斯-爱德华-朱斯坦-埃米尔·博雷尔(Félix-Édouard-Justin-Émile Borel, )是一位法國數學家和政治家。.

新!!: 海涅-博雷尔定理和埃米尔·博雷尔 · 查看更多 »

卡尔·魏尔斯特拉斯

卡尔·特奥多尔·威廉·魏尔斯特拉斯(Karl Theodor Wilhelm Weierstraß,姓氏可寫作Weierstrass,),德國數學家,被譽為「現代分析之父」。.

新!!: 海涅-博雷尔定理和卡尔·魏尔斯特拉斯 · 查看更多 »

可數集

在数学上,可数集,或称可列集、可数无穷集合,是与自然数集的某个子集具有相同基數(等势)的集合。在这个意义下不是可数集的集合称为不可数集。这个术语是康托尔创造的。可数集的元素,正如其名,是“可以计数”的:尽管计数永远无法终止,集合中每一个特定的元素都将对应一个自然数。 “可数集”这个术语也可以代表能和自然数集本身一一对应的集合。例子参见两个定义的差别在于有限集合在前者中算作可数集,而在后者中不算作可数集。 为了避免歧义,前一种意义上的可数有时称为至多可数,参见.

新!!: 海涅-博雷尔定理和可數集 · 查看更多 »

子集

子集,為某個集合中一部分的集合,故亦稱部分集合。 若A和B为集合,且A的所有元素都是B的元素,则有:.

新!!: 海涅-博雷尔定理和子集 · 查看更多 »

实变函数论

實分析或實數分析是處理實數及實函數的數學分析。專門實數函數及數列的解析特性,包括實數數列的極限,實函數的微分及積分、連續性,光滑性以及其他相關性質。 實分析常以基礎集合論,函數概念定義等等開始。.

新!!: 海涅-博雷尔定理和实变函数论 · 查看更多 »

完备空间

完备空间或者完备度量空间是具有下述性质的空间:空间中的任何柯西序列都收敛在该空间之内。.

新!!: 海涅-博雷尔定理和完备空间 · 查看更多 »

一致空间

在拓扑学這個數學領域裡,一致空间(uniform space)是指带有一致结构的集合。一致空间是一個拓撲空間,有可以用来定义如完备性、一致连续及一致收敛等一致性質的附加结构。 一致结构和拓扑结构之间的概念区别在於,一致空间可以形式化有关于相对邻近性及点间临近性等特定概念。换句话说,「x 邻近于a 胜过y 邻近于b」之類的概念,在一致空间中是有意义的。而相对的,在一般拓扑空间内,给定集合A 和B,有意义的概念只有:点x 能“任意邻近”A(亦即在A 的闭包內);或是和B相比,A 是x 的“較小邻域”,但点间邻近性和相对邻近性就不能只用拓扑结构來描述了。 一致空间广義化了度量空间和拓扑群,因此成為多数数学分析的根基。.

新!!: 海涅-博雷尔定理和一致空间 · 查看更多 »

一致连续

一致连续性描述定义在一定度量空间上的函数的性质。与连续性刻画函数在局部的性质不同,一致连续刻画的是函数的整体性质。一致连续是比连续更苛刻的条件。一个函数在某度量空间上一致连续,则其在此度量空间上必然连续,但反之未必成立。直观上,一致连续可以理解为,当自变量x在足够小的范围内变动时,函数值y的变动也会被限制在足够小的范围内。.

新!!: 海涅-博雷尔定理和一致连续 · 查看更多 »

度量空间

在数学中,度量空间是个具有距離函數的集合,該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外,亦存在其他的度量空間,如橢圓幾何與雙曲幾何,而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。.

新!!: 海涅-博雷尔定理和度量空间 · 查看更多 »

紧空间

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

新!!: 海涅-博雷尔定理和紧空间 · 查看更多 »

覆盖 (拓扑学)

在数学中,若 X 是一個集合搜集 C 索引的集合中并集的子集,則集合搜集 C 是集合 X 的覆盖。用符号来说,如果 C.

新!!: 海涅-博雷尔定理和覆盖 (拓扑学) · 查看更多 »

讓·迪厄多內

让·亚历山大·欧仁·迪厄多内(Jean Alexandre Eugène Dieudonné,),法國數學家。布爾巴基學派的代表成員之一。.

新!!: 海涅-博雷尔定理和讓·迪厄多內 · 查看更多 »

连续函数

在数学中,连续是函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。 举例来说,考虑描述一棵树的高度随时间而变化的函数h(t),那么这个函数是连续的(除非树被砍断)。又例如,假设T(P)表示地球上某一点P的空气温度,则这个函数也是连续的。事实上,古典物理学中有一句格言:“自然界中,一切都是连续的。”相比之下,如果M(t)表述在时间t的时候银行账户上的钱币金额,则这个函数无论在存钱或者取钱的时候都会有跳跃,因此函数M(t)是不连续的。.

新!!: 海涅-博雷尔定理和连续函数 · 查看更多 »

闭集

在拓扑空间中,闭集是指其补集为开集的集合。在一个拓扑空间内,闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中,一个闭集的极限运算是闭合的。.

新!!: 海涅-博雷尔定理和闭集 · 查看更多 »

选择公理

选择公理(Axiom of Choice,縮寫AC)是数学中的一条集合论公理。这条公理声明,对所有非空指标集族 (S_i)_,总存在一个索引族 (x_i)_,对每一个 i \in I,均有 x_i \in S_i。选择公理最早于1904年,由恩斯特·策梅洛为证明良序定理而公式化完成。 非正式地說,选择公理声明:給定一些盒子(可以是無限個),每个盒子中都含有至少一个小球,那么可以作出这样一种选择,使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理;尤其是在“盒子个数有限”和“存在具體的選擇規則”(當每個盒子都恰好只有一个小球具有某項特征)这两种情况下。再举一个例子,假设有许多(甚至是无限)双鞋子,则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而,假设有无限双袜子(假设每双袜子都没有可区分的特征),在这种情况下,有效的选择只能通过选择公理得到。 尽管曾具有争议性,选择公理現在已被大多数数学家毫无保留地使用着,例如带有选择公理的策梅洛-弗兰克尔集合论(ZFC)。数学家们使用选择公理的原因是,有许多被普遍接受的数学定理,比如是吉洪诺夫定理,都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理,例如。 在一些構造性數學的理論中會避免选择公理的使用,不過也有的將选择公理包括在內。.

新!!: 海涅-博雷尔定理和选择公理 · 查看更多 »

柯西序列

在数学中,一个柯西列或柯西数列是指这样一个数列,它的元素随着序数的增加而愈发靠近。更确切地说,在去掉有限个元素后,可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。 柯西列的定义依赖于距离的定义,所以只有在度量空间中柯西列才有意义。在更一般的一致空间中,可以定义更为抽象的柯西滤子和柯西网。 一个重要性质是,在完备空间中,所有的柯西数列都有极限且极限在这空间里,这就让人们可以在不求出这个极限(如果存在)的情况下,利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值,如构造实数。.

新!!: 海涅-博雷尔定理和柯西序列 · 查看更多 »

欧几里得空间

欧几里得几何是在约公元前300年,由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”,他接着分析三维物体的“立体几何”,所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度,而这种空间叫做 n维欧几里得空间(甚至简称 n 维空间)或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形,称为实内积空间(不一定完备), 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间,空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象,它却捕获了我们熟悉的欧几里得空间的根本本质,根本性质是它的平面性。 另存在其他種類的空间,例如球面非欧几里得空间,相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.

新!!: 海涅-博雷尔定理和欧几里得空间 · 查看更多 »

有界集合

在数学分析和有关的数学领域中,一个集合被称为有界的,如果它在某種意义上有有限大小。反过来说,不是有界的集合就叫做无界。.

新!!: 海涅-博雷尔定理和有界集合 · 查看更多 »

数学分析

数学分析(mathematical analysis)区别于其他非数学类学生的高等数学内容,是分析学中最古老、最基本的分支,一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容,并包括它们的理论基础(实数、函数、測度和极限的基本理论)的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海(第一卷)》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來,在微积分发展至现代阶段中,从应用中的方法总结升华为一类综合性分析方法,且初等微積分中也包括許多數學分析的基礎概念及技巧,可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關,不過只要任一數學空間有定義鄰域(拓扑空间)或是有針對兩物件距離的定義(度量空间),就可以用数学分析的方式進行分析。.

新!!: 海涅-博雷尔定理和数学分析 · 查看更多 »

拓撲向量空間

拓撲向量空間是泛函分析研究中的一個基本結構。顧名思義就是要研究具有拓撲結構的向量空間。 拓撲向量空間主要都是函數空間,在上面定義的拓撲結構就是函數列收歛的條件。 希爾伯特空間及巴拿赫空間是典型的例子。.

新!!: 海涅-博雷尔定理和拓撲向量空間 · 查看更多 »

重定向到这里:

Heine-Borel定理Heine–Borel定理海涅-博雷尔定理海涅-波莱尔定理有限覆盖定理

传出传入
嘿!我们在Facebook上吧! »