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

闭包 (数学)

指数 闭包 (数学)

数学中,若对某个集合的成员进行一種运算,生成的仍然是这个集合的成员,则该集合被称为在這个运算下闭合。 例如,实数在减法下闭合,但自然数不行:自然数 3 和 7 的减法 3 − 7 的结果不是自然数。 类似的,一个集合被称为在某些运算的搜集下闭合,如果它在每个运算之下都闭合。 一个集合在某个运算或某些运算的搜集下闭合被称为满足闭包性质。闭包性质经常作为公理,通常叫做闭包公理。现代集合论通常这样定义:运算为在集合间的映射。所以向一个结构增加闭包性質作为公理是多余的,尽管它对于子集是否闭合的问题仍有意义。 当一个集合 S 在某个运算下不闭合的时候,我们通常可以找到包含 S 的最小的闭合集合。这个最小闭合集合被称为 S 的(关于这个运算的)闭包。例如,若把自然数集看作实数集的子集,它在减法下的闭包就是整数集。一个重要的例子是拓扑闭包。闭包的概念推广为伽罗瓦连接,进一步为。 注意集合 S 必须是闭合集合的子集,這樣才能定义闭包算子。在前面的例子中,实数在减法下闭合是重要的,减法不总是在自然数的定义域中有定义的。 闭包这个词的两种用法不应混淆。前者用来提及闭合的性质,而后者提及包含不闭合集合的最小闭合集合。简要的说,一个集合的闭包满足闭包性质。.

21 关系: 區間子群实数上闭集合伽罗瓦连接冪等第一可數空間群的生成集合运算闭包 (拓扑学)闭集自然数集合逆元素极限点減法数学整数拓扑学拓扑空间

區間

在數學上,區間是某個範圍的數的搜集,一般以集合形式表示。.

新!!: 闭包 (数学)和區間 · 查看更多 »

子群

假設(G, *)是一個群,若 H 是 G 的一個非空子集且同時 H 與相同的二元運算 * 亦構成一個群,則 (H, *) 稱為 (G, *) 的一個子群。參閱群論。 更精確地來說,若運算*在H的限制也是個在H上的群運算,则称H為G的子群。 一個群G的純子群是指一個子群H,其為G的純子集(即H ≠ G)。任一個群的當然群為只包含單位元素的子群。若H為G的子群,則G有時會被稱為H的「母群」。 相同的定義可以應用在更廣義的範圍內,當G為一任意的半群,但此一條目中只處理群的子群而已。群G有時會被標記成有序對(G,*),通常用以強調其運算*當G帶有多重的代數或其他結構。 在下面的文章中,會使用省略掉*的常規,並將乘積a*b寫成ab。.

新!!: 闭包 (数学)和子群 · 查看更多 »

实数

实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.

新!!: 闭包 (数学)和实数 · 查看更多 »

上闭集合

在数学中,上部集合(向上闭合集合)是给定偏序集合 (X,≤) 的子集 Y,使得对于所有元素 x 和 y,如果 x 小于等于 y,并且 x 是 Y 的一个元素,则 y 也在 Y 中。更加形式的说 对偶概念是下部集合(向下闭合集合),它是给定偏序集合 (X,≤) 的任何子集 Y,使得对于所有元素 x 和 y,如果 x 小于等于 y,并且 y 是 Y 的一个元素,则 x 也在 Y 中。更加形式的说.

新!!: 闭包 (数学)和上闭集合 · 查看更多 »

伽罗瓦连接

在数学中,特别是在序理论中,伽罗瓦连接是在两个偏序集("poset")之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。 伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构,但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。.

新!!: 闭包 (数学)和伽罗瓦连接 · 查看更多 »

冪等

在數學裡,冪等有兩種主要的定義。.

新!!: 闭包 (数学)和冪等 · 查看更多 »

第一可數空間

在拓撲學上,第一可數空間(First-countable space)是指有可數的邻域基的拓撲空間,即對於x \in X,存在x的開鄰域序列U_1,U_2,U_3,...

新!!: 闭包 (数学)和第一可數空間 · 查看更多 »

在數學中,群是由一個集合以及一個二元運算所組成的,符合下述四个性质(称为“群公理”)的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征:它是保持物體不變的變換的集合。這種對稱群,特別是連續李群,在很多學術學科中扮演重要角色。例如,矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究,由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,它以自己的方式研究群。為了探索群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群、商群和單群。除了它們的抽象性質,群理論家還從理論和計算兩種角度來研究具體表示群的各種方式(群的表示)。對有限群已經發展出了特別豐富的理論,這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。.

新!!: 闭包 (数学)和群 · 查看更多 »

群的生成集合

在抽象代數中,群 G 的生成集合是子集 S 使得所有 G 的所有元素都可以表達為 S 的元素和它們的逆元中的有限多個元素的乘積。 更一般的說,如果 S 是群 G 的子集,則 S 所生成的子群 是包含所有 S 的元素的 G 的最小子群,這意味著它是包含 S 元素的所有子群的交集;等價的說, 是可以用 S 的元素和它們的逆元中的有限多個元素的乘積表達的 G 的所有元素的子群。 如果 G.

新!!: 闭包 (数学)和群的生成集合 · 查看更多 »

运算

数学上,运算(Operation)是一种行为,通过已知量的可能的组合,获得新的量。例如,算术中的加法6+3.

新!!: 闭包 (数学)和运算 · 查看更多 »

闭包 (拓扑学)

数学上,在一個拓撲空間裡,子集S 的闭包是指由S 的所有点及S 的極限點所組成的一個集合;直觀上來說,即為所有「靠近」S 的點所組成的集合。在子集S 的閉包內的點稱為S 的閉包點。闭包的概念在許多方面能與内部的概念相類比。.

新!!: 闭包 (数学)和闭包 (拓扑学) · 查看更多 »

闭集

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

新!!: 闭包 (数学)和闭集 · 查看更多 »

自然数

数学中,自然数指用于计数(如「桌子上有三个苹果」)和定序(如「国内第三大城市」)的数字。用于计数时称之为基数,用于定序时称之为序数。 自然数的定义不一,可以指正整数 (1, 2, 3, 4, \ldots),亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用,后者多在集合论和计算机科学中使用,也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的,無上界的無窮集合。.

新!!: 闭包 (数学)和自然数 · 查看更多 »

集合

集合可以指:.

新!!: 闭包 (数学)和集合 · 查看更多 »

逆元素

數學中,逆元素(Inverse element)推廣了加法中的加法逆元和乘法中的倒數。直觀地說,它是一個可以取消另一給定元素運算的元素。.

新!!: 闭包 (数学)和逆元素 · 查看更多 »

极限点

在数学中,非正式的说在拓扑空间 X 中的一个集合 S 的极限点(limit point),就是可以被 S 中的点(不包含 x 本身)随意“逼近”的點。这个概念有益的推广了极限的概念,并且是諸如闭集和拓扑闭包等概念的基础。实际上,一个集合是闭合的当且仅当他包含所有它的极限点,而拓扑闭包运算可以被认为是通过增加它的极限点来扩充一个集合。 一个有关的概念是序列的聚集点(cluster point)或会聚点(accumulation point)。.

新!!: 闭包 (数学)和极限点 · 查看更多 »

減法

減法是尋找兩個數的差的算术運算,可視為「加法的逆運算」。減法是符號是減號(-)。加、減、乘、除合稱四則運算。 在數式5 - 3.

新!!: 闭包 (数学)和減法 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

新!!: 闭包 (数学)和数学 · 查看更多 »

整数

整数,是序列中所有的数的统称,包括负整数、零(0)与正整数。和自然數一樣,整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb,源于德语单词Zahlen(意为“数”)的首字母。 在代數數論中,這些屬於有理數的一般整數會被稱為有理整數,用以和高斯整數等的概念加以區分。.

新!!: 闭包 (数学)和整数 · 查看更多 »

拓扑学

在數學裡,拓撲學(topology),或意譯為位相幾何學,是一門研究拓撲空間的學科,主要研究空間內,在連續變化(如拉伸或彎曲,但不包括撕開或黏合)下維持不變的性質。在拓撲學裡,重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科,研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲,他在17世紀提出「位置的幾何學」(geometria situs)和「位相分析」(analysis situs)的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出,雖然直到20世紀初,拓撲空間的概念才開始發展起來。到了20世紀中葉,拓撲學已成為數學的一大分支。 拓撲學有許多子領域:.

新!!: 闭包 (数学)和拓扑学 · 查看更多 »

拓扑空间

拓扑空间是一种数学结构,可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用,是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值,研究拓扑空间的数学分支称为拓扑学。.

新!!: 闭包 (数学)和拓扑空间 · 查看更多 »

重定向到这里:

閉包 (數學)

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