比浏览器更快的访问！
44 关系: 加法，势，外延公理，始对象和终对象，子集，实直线，安德烈·韦伊，尼古拉·布尔巴基，丹麦语和挪威语字母，希腊字母，并集，乘法，交集，开集，分类公理，Ø，單位元，唯一量化，冪集，内部，函数，公理化集合论，空，空积，空集公理，笛卡儿积，策梅洛-弗兰克尔集合论，紧空间，真值，边界 (拓扑学)，连续函数，范畴论，闭包，闭集，零，集合 (数学)，集合论，TeX，挪威语，有限集合，数学符号表，拓扑空间，0，1。
加法
加法是基本的算术運算。加法即是將二個以上的數，合成一個數，其結果称為和。加法與減、乘、除合稱「四則運算」。 表達加法的符號為加號（+）。進行加法時以加號將各項連接起來。把和放在等號（.
势
勢可以指以下意涵的名詞：.
外延公理
在公理化集合论与使用它的逻辑、数学和计算机科学分支中，外延性公理或外延公理是 Zermelo-Fraenkel 集合论的公理之一。.
始对象和终对象
在数学领域，范畴C的对象I称为始对象（或初始对象），若对任何对象X，从I到X的态射唯一，或者说，C(I,X)为单元素集合。终对象（或终止对象、终结对象）是始对象的对偶概念。范畴C的对象T称为终对象，若对任何对象X，从X到T的态射唯一。若某对象即是始对象又是终对象，则称其为零对象。.
新！!: 空集和始对象和终对象 · 查看更多 »
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
实直线
實直線有如下含義，它們有互相可作補充的部分：.
安德烈·韦伊
安德烈·韦伊（André Weil，），20世紀数学家，布尔巴基小组创办者之一。他是哲学家西蒙娜·韦伊的兄长。.
尼古拉·布尔巴基
尼古拉·布尔巴基（Nicolas Bourbaki，法語發音）是20世纪一群法国数学家的笔名。他們由1935年開始撰寫一系列述說對現代高等數學探研所得的書籍。以把整個數學建基於集合论為目的，在過程中，布尔巴基致力於做到最極端的嚴謹和泛化，建立了些新術語和概念。 布尔巴基是个虚构的人物，布尔巴基团体的正式称呼是“尼古拉·布尔巴基合作者协会”，在巴黎的高等师范学校设有办公室。.
新！!: 空集和尼古拉·布尔巴基 · 查看更多 »
丹麦语和挪威语字母
挪威语字母和丹麥語字母由29个字母组成： 字母“Å”是在1917年引入挪威语，而在1948年也引入了到丹麦语。在这之前，这两种文字使用字母“Aa”。 在电脑系统中，有几套不同的编码：.
新！!: 空集和丹麦语和挪威语字母 · 查看更多 »
希腊字母
希臘字母源自腓尼基字母。腓尼基字母只有辅音，從右向左寫。希臘語的元音发达，希臘人增添了元音字母。因為希臘人的書寫工具是蠟板，有时前一行從右向左寫完後順势就從左向右寫，變成所謂“耕地”式書寫，後來逐漸演變成全部從左向右寫。字母的方向也顛倒了。罗马人引進希臘字母，略微改變變為拉丁字母，在世界廣為流行。希臘字母廣泛應用到學術領域，如數學等。.
并集
在集合论和数学的其他分支中，一组集合的并集（台湾叫做聯--集、港澳叫做--、大陆叫做--）是这些集合的所有元素构成的集合，而不包含其他元素。.
乘法
乘法（Multiplication），加法的連續運算，同一数的若干次连加，其運算結果稱為積（Product）。 因為華人地區有將四則運算的被運算數和運算數統一位置，所以前者是被乘數後者是乘數，使用中文敘述為n個a。.
交集
数学上，两个集合A和B的交集是含有所有既属于A又属于B的元素，而没有其他元素的集合。.
开集
開集是指不包含任何自己邊界點的集合。或者說，開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如，实数线上的由不等式2规定的集合称为开区间，是开集。这时候的边界为实数轴上的点2和5，如由不等式2\leq x \leq 5，或者2规定的区间由于包含其边界，因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的，通常先公理化开集，然后通过其定义边界的概念。（详细请参照拓扑空间）.
分类公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，分类公理模式、或分离公理模式、或受限概括公理模式是 Zermelo-Fraenkel 集合论中的一个公理模式。它也叫做概括公理模式，尽管这个术语也用于下面讨论的无限制概括。 假定 P 是不含符号 B 的一个單变量谓词。在 Zermelo-Fraenkel 公理的形式语言中，这个公理模式读做： 换句话说： 要理解这个公理模式，注意集合 B 必须是 A 的子集。所以，这个公理模式实际上说的是，给定集合 A 和谓词 P，我们可以找到 A 的子集 B，它的成员正是那些满足 P 的 A 的成员。通过外延公理可知这个集合是唯一的。我们通常使用集合建構式符号把它指示为 。所以这个公理的本质是： 分类公理模式是与 ZFC 集合论有关的公理集合論系統的特征，但在根本上不同的可替代的集合论系统中通常不出现。例如，新基礎集合論和正集合论使用对朴素集合论的概括公理的不同的限制。Vopenka 的可替代的集合论有一个特殊要点，它允许集合的真子类的存在，這樣的真類叫做半集合。即使在与 ZFC 有关的系统中，这个公理模式有时也限制于带有的公式，比如在中。.
Ø
（带斜划的o）是一個在丹麥語、挪威語、法羅語中使用的元音字母。 此字母的由來是二合字母"oe"的合字（音類似歪）。但在現代丹麥語、挪威語、法羅語中，此字母表示的是一個獨特的元音（國際音標 ），並不是雙字母、合字或數字0。 此字母相當於土耳其語字母、亞塞拜然語、土庫曼語、韃靼語、芬蘭語、瑞典語、冰島語、德語、愛沙尼亞語、匈牙利語中的「Ö」，也相當於使用西里爾字母的蒙古語、哈薩克語、亞塞拜然語中的「Ө」。 在國際音標中， 音表示半閉前圓唇元音。 在英语语法中，Ø也指零冠词。.
單位元
單位元是集合裏的一種特別的元素，與該集合裏的二元運算有關。當單位元和其他元素結合時，並不會改變那些元素。單位元被使用在群和其他相關概念之中。 設 (S,*)為一帶有一二元運算* 的集合S（稱之為原群），則S內的一元素e被稱為左單位元若對所有在S內的a而言，e * a .
唯一量化
在谓词逻辑和依赖于它的技术领域中，唯一量化或唯一存在量化，尝试形式化对于“精确”的一个事物，或对于精确的特定类型的一个事物为真的某个事物的概念。唯一量化的一般化是。 例如: 符号化写为: 符号 ∃! 叫做“唯一量词”或“唯一存在量词”。它通常读做“有一个且只有一个”，“存在唯一一个” (存在着这个符号的在文法上和如何阅读上的多个变体)。.
冪集
数学上，给定集合S，其幂集\mathcal(S)（或作2^S）是以S的全部子集为元素的集合。以符号表示即为 在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。 \mathcal(S)的任何子集F称为S上的集族.
内部
数学上，特别是在拓扑学中，拓扑空间内点集 S 的内部（interior，又稱開核 open kernel）含有所有直观上“不在 S 的边界上”的 S 的点。S 的内部中的点称为 S 的内点。 等价地，S 的内部是 S 补集的闭包的补集。内部的概念在很多情况下和闭包的概念对偶。 一个集合的外部是它补集的内部，等同于它闭包的补集；它包含既不在集合内，也不在边界上的点。一个子集的内部、边界和外部一同将整个空间分为三块（或者更少，因為這三者有可能是空集）。内部和外部总是开的，而边界总是闭的。没有内部的集合叫做边缘集。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
公理化集合论
在數學中，公理化集合论是集合論透過建立一階邏輯的嚴謹重整，以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
空
可以指：.
空积
在数学领域，空积（empty product）也叫零项积（nullary product），是零个因子相乘的结果。一般假设任何乘法运算中都隐含单位元因子，所以认为空积的值与乘法单位元 1 相等。这和（零个数相加的结果）等于加法单位元 0 是类似的。.
空集公理
在集合论中，空集公理是 Zermelo-Fraenkel 集合论的公理之一。.
笛卡儿积
在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对組成的集合，其中有序對的第一个对象是X的成员，第二个对象是Y的成员。 舉個實例，如果集合X是13个元素的点数集合，而集合Y是4个元素的花色集合，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合。 笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來.
策梅洛-弗兰克尔集合论
梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。.
新！!: 空集和策梅洛-弗兰克尔集合论 · 查看更多 »
紧空间
在数学中，如果欧几里得空间Rn的子集是闭合的并且是有界的，那么称它是--的。例如，在R中，闭合单位区间是紧致的，但整数集合Z不是（它不是有界的），半开区间.
真值
在逻辑中，真值（truth value），又稱逻辑值（logical value），是指示一个陈述在什么程度上是真的。在計算機編程上多稱做布林值、布爾值。 在经典逻辑中，唯一可能的真值是真和假。但在其他逻辑中其他真值也是可能的：模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。 在代数上说，集合形成了简单的布尔代数。可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。 在topos理论中，topos的主客对象分类器接管了真值集合的位置。.
边界 (拓扑学)
在拓扑学中，拓扑空间 X 的子集 S 的边界是从 S 和从 S 的外部都可以接近的点的集合。更形式的说，它是 S 的闭包中的不属于 S 的内部的点的集合。S 的边界的元素叫做 S 的边界点。集合 S 的边界的符号包括 bd(S)、fr(S) 和 ∂S。某些作者（比如 Willard 在 General Topology 中）使用术语“边境”而不用边界来试图避免混淆于代数拓扑学中使用的边界概念。 S 的边界的连通单元叫做 S的边界单元。.
新！!: 空集和边界 (拓扑学) · 查看更多 »
连续函数
在数学中，连续是函数的一种属性。直观上来说，连续的函数就是当输入值的变化足够小的时候，输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义，则这个函数被称为是不连续的函数（或者说具有不连续性）。 举例来说，考虑描述一棵树的高度随时间而变化的函数h(t)，那么这个函数是连续的（除非树被砍断）。又例如，假设T(P)表示地球上某一点P的空气温度，则这个函数也是连续的。事实上，古典物理学中有一句格言：“自然界中，一切都是连续的。”相比之下，如果M(t)表述在时间t的时候银行账户上的钱币金额，则这个函数无论在存钱或者取钱的时候都会有跳跃，因此函数M(t)是不连续的。.
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
闭包
闭包可以指：.
闭集
在拓扑空间中，闭集是指其补集为开集的集合。在一个拓扑空间内，闭集可以定义为一个包含所有其极限点的集合。在完备度量空间中，一个闭集的极限运算是闭合的。.
零
零可以指：.
集合 (数学)
集合（Set，或簡稱集）是基本的数学概念，它是集合论的研究对象，指具有某种特定性质的事物的总体，（在最原始的集合論─樸素集合論─中的定義，集合就是“一堆東西”。）集合裡的事物（“东西”），叫作元素。若然 x 是集合 A 的元素，記作 x ∈ A。 集合是现代数学中一个重要的基本概念，而集合论的基本理论是在十九世纪末被创立的。这里对被数学家们称为“直观的”或“朴素的”集合论进行一个简短而基本的介绍，另外可參见朴素集合论；關於对集合作公理化的理論，可见公理化集合论。.
新！!: 空集和集合 (数学) · 查看更多 »
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
TeX
（/tɛx/，音译“泰赫”，文本模式下写作TeX），是一个由美国计算机教授高德纳（Donald Ervin Knuth）编写的功能强大的排版软件。它在学术界十分流行，特别是数学、物理学和计算机科学界。被普遍认为是一个优秀的排版工具，特别是在处理复杂的数学公式时。利用诸如是LaTeX等终端软件，就能够排版出精美的文本以幫助人們辨認和尋找。 的MIME类型为application/x-tex。是自由软件。.
挪威语
挪威語（norsk）是日耳曼語族的一個分支，普遍通用於挪威，也是挪威的官方語言。挪威語與瑞典語和丹麥語十分相似，操這三種語言的人也可以互相溝通。由於丹麥語從十六世紀至十九世紀期間一直是挪威地區的標準書寫語言，以致近代的挪威語發展一直都受著愛國主義、城鄉隔閡以及挪威文學史的爭議所影響。 根據挪威法律和政府政策，現行的挪威語有兩套書寫形式，分別是“書面挪威語”（巴克摩挪威語，挪威語：bokmål）和“新挪威語”（或稱耐諾斯克挪威語，挪威語：nynorsk）。兩種書寫挪威語的形式分別溫和地代表著保守和激進的書寫表達方式。巴克摩挪威語和耐諾斯克挪威語還有他們非官方的版本，分別稱為riksmål和høgnorsk。.
有限集合
数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
数学符号表
數學中，有一組常在數學表達式中出現的符號。數學工作者一般熟悉這些符號，所以使用時不一定會加以說明。但绝大多数常见的符号都有相应标准或Unicode符号说明等加以规范。下表列出了很多常見的數學符號，並附有名稱、讀法和應用領域。第三欄給出一個非正式的定義，第四欄提供簡單的例子。 注意，有時候不同的數學符號有相同含義，而有些數學符號在不同的語境中會有不同的含義。.
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
0
0（〇／零）是-1与1之间的整数。0既不是正数也不是负数。0是偶数。在数论中，0不属于自然数；在集合论和计算机科学中，0属于自然数。0在整数、实数和其他的代数結構中都有著單位元這個很重要的性質。.
1
1（一／壹）是0与2之间的自然数，是最小的正奇數.
