35 关系: 同胚,子集,实数,导集,巴拿赫空间,希尔伯特空间,一致连续,交换环,度量空间,开集,内部,全集,关系,理想 (环论),离散空间,积,稠密集,空间 (数学),等价关系,等价类,等距同构,紧空间,賦範向量空間,贝尔纲定理,距离,连续函数,闭集,P進數,柯西序列,极限点,模,有理数,有界函数,无处稠密集,拓扑空间。
同胚
在拓扑学中,同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构;也就是说,它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚,那么这两个空间就称为同胚的,从拓扑学的观点来看,两个空间是相同的。 大致地说,拓扑空间是一个几何物体,同胚就是把物体连续延展和弯曲,使其成为一个新的物体。因此,正方形和圆是同胚的,但球面和环面就不是。有一个笑话是说,拓扑学家不能区分咖啡杯和甜甜圈,这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状(见图)。.
子集
子集,為某個集合中一部分的集合,故亦稱部分集合。 若A和B为集合,且A的所有元素都是B的元素,则有:.
实数
实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.
导集
在数学,特别是点集拓扑学中,拓扑空间的子集S的导集(导出集合)是S的所有极限点的集合。它通常記为 S'。 这个概念是格奥尔格·康托尔在1872年介入的,他开发集合论很大程度上就是为了研究在实直线上的导出集合。.
巴拿赫空间
在數學裡,尤其是在泛函分析之中,巴拿赫空間是一個完備賦範向量空間。更精確地說,巴拿赫空間是一個具有範數並對此範數完備的向量空間。 巴拿赫空間有兩種常見的類型:「實巴拿赫空間」及「複巴拿赫空間」,分別是指將巴拿赫空間的向量空間定義於由實數或複數組成的--之上。 許多在數學分析中學到的無限維函數空間都是巴拿赫空間,包括由連續函數(緊緻赫斯多夫空間上的連續函數)組成的空間、由勒貝格可積函數組成的Lp空間及由全純函數組成的哈代空間。上述空間是拓撲向量空間中最常見的類型,這些空間的拓撲都自來其範數。 巴拿赫空間是以波蘭數學家斯特凡·巴拿赫的名字來命名,他和漢斯·哈恩及愛德華·赫麗於1920-1922年提出此空間。.
新!!: 完备空间和巴拿赫空间 · 查看更多 »
希尔伯特空间
在数学裡,希尔伯特空间即完备的内积空间,也就是說一個帶有內積的完備向量空間。是有限维欧几里得空间的一个推广,使之不局限于實數的情形和有限的维数,但又不失完备性(而不像一般的非欧几里得空间那样破坏了完备性)。与欧几里得空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引申而来的正交性与垂直性的概念)。此外,希尔伯特空间还是一个完备的空间,其上所有的柯西序列會收敛到此空間裡的一點,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。希尔伯特空间是公設化数学和量子力学的关键性概念之一。.
新!!: 完备空间和希尔伯特空间 · 查看更多 »
一致连续
一致连续性描述定义在一定度量空间上的函数的性质。与连续性刻画函数在局部的性质不同,一致连续刻画的是函数的整体性质。一致连续是比连续更苛刻的条件。一个函数在某度量空间上一致连续,则其在此度量空间上必然连续,但反之未必成立。直观上,一致连续可以理解为,当自变量x在足够小的范围内变动时,函数值y的变动也会被限制在足够小的范围内。.
交换环
在抽象代数之分支环论中,一个交换环(commutative ring)是乘法运算满足交换律的环。对交换环的研究称为交换代数学。 某些特定的交换环在下列类包含链中:.
度量空间
在数学中,度量空间是个具有距離函數的集合,該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外,亦存在其他的度量空間,如橢圓幾何與雙曲幾何,而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。.
开集
開集是指不包含任何自己邊界點的集合。或者說,開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如,实数线上的由不等式2规定的集合称为开区间,是开集。这时候的边界为实数轴上的点2和5,如由不等式2\leq x \leq 5,或者2规定的区间由于包含其边界,因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的,通常先公理化开集,然后通过其定义边界的概念。(详细请参照拓扑空间).
内部
数学上,特别是在拓扑学中,拓扑空间内点集 S 的内部(interior,又稱開核 open kernel)含有所有直观上“不在 S 的边界上”的 S 的点。S 的内部中的点称为 S 的内点。 等价地,S 的内部是 S 补集的闭包的补集。内部的概念在很多情况下和闭包的概念对偶。 一个集合的外部是它补集的内部,等同于它闭包的补集;它包含既不在集合内,也不在边界上的点。一个子集的内部、边界和外部一同将整个空间分为三块(或者更少,因為這三者有可能是空集)。内部和外部总是开的,而边界总是闭的。没有内部的集合叫做边缘集。.
全集
数学上,特别是在集合论和数学基础的应用中,全类(若是集合,则为全集)大约是这样一个类,它(在某种程度上)包含了所有的研究对象和集合。.
关系
关系的基本含义为事物之间相互作用、相互影响的状态,特定环境下可以指:.
理想 (环论)
想(Ideal)是一个抽象代数中的概念。.
新!!: 完备空间和理想 (环论) · 查看更多 »
离散空间
在拓扑学和相关数学领域中,离散空间是特别简单的一种拓扑空间,在其中点都在特定意义下是相互孤立的。.
积
积是数学中多个不同概念的称呼。算术中,两个数或多个数相乘得到的结果称为它们的积或乘积。当相乘的数是实数或复数的时候,相乘的顺序对积没有影响,这称为交换性。当相乘的是四元数或者矩阵,或者某些代数结构里的元素的时候,顺序会对作为结果的乘积造成影响。这说明这些对象的乘法没有交换性。 当相乘的对象多于两个的时候,常常使用连乘号∏(大写的)表示。就如同多个对象的加法使用∑作为符号一样。一般约定,相乘的对象只有一个的时候,乘积是对象本身;没有相乘的对象时也可以约定所谓的“空积”为1。.
稠密集
在拓扑学及数学的其它相关领域,给定拓扑空间X及其子集A,如果对于X中任一点x,x的任一邻域同A的交集不为空,则A称为在X中稠密。直观上,如果X中的任一点x可以被A中的点很好的逼近,则称A在X中稠密。 等价地说,A在X中稠密当且仅当X中唯一包含A的闭集是X自己。或者说,A的闭包是X,又或者A的补集的内部是空集。.
空间 (数学)
数学上,空间是指一种具有特殊性质及一些额外结构的集合,但不存在單稱為「空間」的數學對象。在初等數學或中學數學中,空間通常指三維空間。數學中常见的空间類型:.
新!!: 完备空间和空间 (数学) · 查看更多 »
等价关系
等價關係(equivalence relation)即设R是某個集合A上的一个二元关系。若R满足以下條件:.
等价类
在数学中,假設在一个集合X上定義一个等价关系(用 \sim來表示),则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以(实际上非常不正式的)被认为是输入集合除以等价关系的活动,所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是,如果X是有限的并且等价类都是等势的,则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系,都有从X到X/ \sim的一个规范投影映射\pi,给出为\pi(x).
等距同构
在数学中,「等距同构」或稱「保距映射」(isometry),是指在度量空间之中保持距离不变的同构关系。几何学中的对应概念是全等变换。 等距同构经常用于将一个空间嵌入到另一空间的构造中。例如,测度空间M的完备化即涉及从M到M' 的等距同构,这里M' 是M上柯西序列所构成的空间关于“距离为零”的等价关系的商集。这样,原空间M就等距同构到完备的度量空间的一个稠密子空间并且通常用这一空间来指代原空间M。 其它的嵌入构造表明每一度量空间都等距同构到某一賦範向量空間的一个闭子集以及每一完备度量空间都等距同构到某一巴拿赫空间的一个闭子集。 一个希尔伯特空间上的等距、满射的线性算子被称为酉算子。.
紧空间
在数学中,如果欧几里得空间Rn的子集是闭合的并且是有界的,那么称它是--的。例如,在R中,闭合单位区间是紧致的,但整数集合Z不是(它不是有界的),半开区间.
賦範向量空間
在数学中,赋范向量空间是具有“长度”概念的向量空间。是通常的欧几里得空间 Rn 的推广。Rn中的长度被更抽象的范数替代。“长度”概念的特征是:.
新!!: 完备空间和賦範向量空間 · 查看更多 »
贝尔纲定理
贝尔纲定理是点集拓扑学和泛函分析中的一个重要的工具。这个定理有两种形式,每一个都给出了拓扑空间是贝尔空间的充分条件。 该定理由勒内-路易·贝尔在他1899年的博士论文中证明。.
新!!: 完备空间和贝尔纲定理 · 查看更多 »
距离
距離是對兩個物體或位置間相距多遠的數值描述,是個不具方向性的純量,且不為負值。 在物理或日常使用中,距離可以是個物理長度,或某個估算值,指人、動物、交通工具或光線之類的媒介由起點至終點所經過的路徑長。 在數學裡,距離是個稱之為度量的函數,為物理距離這個概念之推廣。度量是個函數,依據一組特定的規則作用,且有具體的方法可用來描述一些空間內的元素互相「接近」或「遠離」。除了歐氏空間內常見的距離定義外,在圖論與統計學等數學領域裡,亦存在其他的「距離」概念。在大多數的情形下,「從 A 至 B 的距離」與「從 B 至 A 的距離」的意義是相同的。.
连续函数
在数学中,连续是函数的一种属性。直观上来说,连续的函数就是当输入值的变化足够小的时候,输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义,则这个函数被称为是不连续的函数(或者说具有不连续性)。 举例来说,考虑描述一棵树的高度随时间而变化的函数h(t),那么这个函数是连续的(除非树被砍断)。又例如,假设T(P)表示地球上某一点P的空气温度,则这个函数也是连续的。事实上,古典物理学中有一句格言:“自然界中,一切都是连续的。”相比之下,如果M(t)表述在时间t的时候银行账户上的钱币金额,则这个函数无论在存钱或者取钱的时候都会有跳跃,因此函数M(t)是不连续的。.
闭集
在拓扑空间中,闭集是指其补集为开集的集合。在一个拓扑空间内,闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中,一个闭集的极限运算是闭合的。.
P進數
进数是数论中的概念,也称作局部数域,是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域\mathbb到实数域\mathbb、复数域\mathbb的数系拓展不同,其具体在于所定义的“距离”概念。进数的距离概念建立在整数的整除性质上。给定素数,若两个数之差被的高次幂整除,那么这两个数距离就“接近”,幂次越高,距离越近。这种定义在数论性质上的“距离”能够反映同余的信息,使进数理论成为了数论研究中的有力工具。例如安德鲁·怀尔斯对费马大定理的证明中就用到了进数理论。 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画,其发展动机主要是试图将幂级数方法引入到数论中,但现今进数的影响已远不止于此。例如可以在进数上建立p进数分析,将数论和分析的工具结合起来。此外进数在量子物理学、认知科学、计算机科学等领域都有应用。.
柯西序列
在数学中,一个柯西列或柯西数列是指这样一个数列,它的元素随着序数的增加而愈发靠近。更确切地说,在去掉有限个元素后,可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。 柯西列的定义依赖于距离的定义,所以只有在度量空间中柯西列才有意义。在更一般的一致空间中,可以定义更为抽象的柯西滤子和柯西网。 一个重要性质是,在完备空间中,所有的柯西数列都有极限且极限在这空间里,这就让人们可以在不求出这个极限(如果存在)的情况下,利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值,如构造实数。.
极限点
在数学中,非正式的说在拓扑空间 X 中的一个集合 S 的极限点(limit point),就是可以被 S 中的点(不包含 x 本身)随意“逼近”的點。这个概念有益的推广了极限的概念,并且是諸如闭集和拓扑闭包等概念的基础。实际上,一个集合是闭合的当且仅当他包含所有它的极限点,而拓扑闭包运算可以被认为是通过增加它的极限点来扩充一个集合。 一个有关的概念是序列的聚集点(cluster point)或会聚点(accumulation point)。.
模
在數學的抽象代數中,環上的模 (module over a ring)的概念是對向量空間概念的推廣,這裡不再要求向量空間裡的純量的代數結構是體(field),進而放寬純量可以是環(ring)。 因此,模同向量空間一樣是加法交换群;在環元素和模元素之間定義了乘積運算,并且環元素和模元素的乘積是符合結合律的(在同環中的乘法一起用的時候)和分配律的。 模非常密切的關聯於群的表示理論。它們還是交換代數和同調代數的中心概念,并廣泛的用于代數幾何和代數拓撲中。.
有理数
数学上,可以表达为两个整数比的数(a/b, b≠0)被定义为有理数,例如3/8,0.75(可被表达为3/4)。整数和分数统称为有理数。与有理数对应的是无理数,如\sqrt无法用整数比表示。 有理数与分數的区别,分數是一种表示比值的记法,如 分數\sqrt/2 是无理数。 所有有理数的集合表示为Q,Q+,或\mathbb。定义如下: 有理数的小数部分有限或为循环。不是有理數的實數遂稱為無理數。.
有界函数
定义在集合X上的函数称为有界的,如果它所有的值所组成的集合是有界的。也就是说,存在一个数M>0,使得对于X中的所有x,都有 有时,如果对于X中的所有x,都有f(x)\le A,则函数称为上有界的,A就是它的上界。另一方面,如果对于X中的所有x,都有f(x)\ge B,则函数称为下有界的,B就是它的下界。 一个特例是有界数列,其中X是所有自然数所组成的集合N。所以,一个数列f.
无处稠密集
没有描述。
新!!: 完备空间和无处稠密集 · 查看更多 »
拓扑空间
拓扑空间是一种数学结构,可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用,是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值,研究拓扑空间的数学分支称为拓扑学。.
重定向到这里:
完备度量,完备度量空间,完备性 (拓扑学),完备的度量空间,完備化,柯西空间。