数学上,集合的冪集(英語:power set),定義為由該集合全部子集为元素構成的集合。给定集合 S {\displaystyle S} ,其幂集 P ( S ) {\displaystyle {\mathcal {P}}(S)} (或作 2 S {\displaystyle 2^{S}} )以符号表示即为...
3 KB (662 words) - 05:41, 21 December 2021
在數學裡,冪等有兩種主要的定義。 在某二元運算下,冪等元素是指被自己重複運算(或對於函數是為複合)的結果等於它自己的元素。例如,乘法下唯一兩個冪等實數為0和1。 某一元運算為冪等的時,其作用在任一元素兩次後會和其作用一次的結果相同。例如,高斯符號便是冪等的。 一元運算的定義是二元運算定義的特例(詳情請見下面)。...
6 KB (933 words) - 00:02, 18 September 2021
\end{Bmatrix}}P(\mathbb {N} )} 雖然在集合中,元素的順序不重要,但我們假設從左到右以由小到大的方式記錄冪集合中的元素,以便討論。 通過這個「對應表」,我們可以構造一個自然數集合 W {\displaystyle W} ,構造方式為: 當左側的自然數「屬於」它對應的冪集合,我們就在 W {\displaystyle...
7 KB (1,234 words) - 20:09, 19 August 2024
{\displaystyle n} 不为正整数时,“乘方”则有了衍伸的定义,即“乘幂”:将某个量或符号提升到任意指定次幂或对它施加一个指定指数的行为或过程。 乘幂(exponentiation)或幂運算,又稱指數運算、取冪,如上述,与乘方一样是數學運算,表達式為 b n {\displaystyle b^{n}} ,讀作「...
26 KB (5,021 words) - 07:18, 18 June 2025
势(英語:Cardinality)在數學裡是指如果存在着从集合A到集合B的双射,那么集合A与集合B等势,记为A~B。一個有限集的元素個數是一個自然數,势標誌着该集合的大小。对于有限集,势为其元素的数量。比較無窮集裡元素的多寡之方法,可在集合論裡用集合的等勢和某集合的勢比另一個集合大這兩個概念來達到目的。 設 A {\displaystyle...
6 KB (1,028 words) - 18:55, 26 June 2024
并集 (category 集合論基本概念)
\vdash A=\bigcup {\mathcal {P}}(A)} 「 A {\displaystyle A} 正好就是其冪集的聯集」,這個定理直觀上可理解成,因為冪集 P ( A ) {\displaystyle {\mathcal {P}}(A)} 是以 A {\displaystyle A}...
29 KB (1,335 words) - 06:04, 13 June 2025
子集(英語:subset)亦稱部分集合,為某集合中部分元素的集合;關係相反時則稱作父集、母集、超集。子集與父集的关系被称为“包含”。 如果集合A的任意一个元素都是集合B的元素(∀a∈A,则a∈B),则集合A称为集合B的子集,记为 A ⊆ B {\displaystyle A\subseteq B} 或...
6 KB (957 words) - 08:34, 31 May 2025
由楊冪、鄧倫、魏大勛、黃明昊、謝依霖、張國偉組成「蜜桃(密逃)六子」。當中張國偉於第7期起因訓練而退出節目。而黃明昊则于第一集逃脱成功后引领大家喊出并配合逃脱成功口号——“密室大逃脱,成功!”作出相应的动作,后一直沿用至今。 由楊冪...
64 KB (3,022 words) - 04:38, 30 June 2025
无穷 (category 集合論)
2 ℵ 0 {\displaystyle 2^{\aleph _{0}}} 。 由於一個無窮集合的冪集總是具有比它本身更高的基數,所以通過構造一系列的冪集,可以證明超窮基數的個數是無窮的。然而有趣的是,超窮基數的個數比任何基數都多,從而它是一個比任何無窮大都要大的「無窮大...
16 KB (2,218 words) - 05:25, 17 February 2025
集合代数发展并描述了集合的基本性质和规律,集合论运算,如并集、交集、补集,以及集合的关系,如等于、包含。这门学科系统研究如何来表达和进行上述的运算和关系的操作。 集合代数是研究集合运算和集合关系的基本性质的学科。研究这些性质可以深入探究集合的本质,也有助于实际应用。...
16 KB (3,068 words) - 16:35, 4 May 2025
Σ-代数 (category 集合族)
X} 上最大的σ-代数是 X {\displaystyle X} 的冪集 P ( X ) {\displaystyle {\mathcal {P}}(X)} (也就是所有 X {\displaystyle X} 的子集合所組成的集合) 定理 — 設 F ⊆ P ( X ) {\displaystyle...
8 KB (896 words) - 07:31, 27 April 2024
一些重要的基本集合包括空集(唯一沒有元素的集合),整數集合及實數集合。其他有關初等集合論的基本介紹,請參考集合。 若一個集合的所有元素都是集合,所有元素的元素都是集合……,此集合稱為純集合(英语:pure set),例如只包括空集合的集合是一個非空的純集合。在當代的集合論中,常常嚴格限制只考慮純集合...
22 KB (3,659 words) - 16:39, 5 February 2025
通過使得在這個冪集中每個集合的y坐標成比例於集合的勢,最左圖示展示了這個冪集是等級偏序集。中間圖示有相同的等級結構,但使得某些邊比其他邊長,它把這個冪集的結構強調為兩個三維立方體的聯合:在兩個立方體中下面的那個中的頂點表示不包含S的某個特定元素比如d的集合,而上面立方體的頂點表示包含d的集合。最右圖示展示了這個結構的某種內部對稱性。...
7 KB (835 words) - 14:17, 13 September 2023
,且引入福端伴隨函子定理來證明之。這需要一個適當版本的選擇公理。相似的說法也可應用在上極限函子(其為協變的)之中。 冪集合:冪集合函子P : Set → Set將每個集合映射至其冪集合,且將每個函數 f : X → Y {\displaystyle f:X\to Y} 映射至從 U ⊆ X {\displaystyle...
15 KB (2,921 words) - 06:24, 27 December 2023
在数学中,幂集公理是公理化集合论的Zermelo-Fraenkel公理之一。 在Zermelo-Fraenkel公理的形式语言中,这个公理读做: ∀ A , ∃ P ( A ) , ∀ x : x ∈ P ( A ) ⟺ ( ∀ y : y ∈ x ⟹ y ∈ A ) {\displaystyle \forall...
2 KB (412 words) - 18:26, 19 October 2021
冪集公理:(Axiom of power set)每一個集合有其冪集。即對於任何集合x,存在一個集合y,其元素是x的所有子集。 正規公理:(Axiom of regularity / Axiom of foundation)每一個非空集合x總有一元素y與x不相交。 選擇公理:(Axiom of choice,Zermelo's...
5 KB (690 words) - 09:29, 22 April 2025
在集合论和有关的数学分支中,给定集合S 的子集的类F 叫做S 的子集族(或称S 上的集合族)。更一般的说,任何集合的类都叫做集合族。 幂集P(S )是在S 上的集合族。 n元素集合S 的k 元素子集S (k )形成了集合族。 所有序数的类Ord是“大”集合族;它自身不是集合而是真类。 令S = {a...
2 KB (383 words) - 06:26, 26 January 2025
在範疇論這個數學領域中,集合範疇(標記為 Set)是一個對象為集合的範疇。集合 A 及 B 之間的態射族包含所有從 A 映射至 B 的函數。 集合範疇是許多其他範疇(如其態射為群同態的群範疇)的基礎,這些範疇均是在集合範疇的對象上附加其他結構,並限制其態射為特定函數而成。...
3 KB (393 words) - 06:58, 25 November 2023
公理IV。幂集公理(Axiom der Potenzmenge):“对于所有集合T都对应着一个集合T' ,T的幂集,精确的包含T的所有子集作为元素”。 公理V。并集公理(Axiom der Vereinigung):“对于所有集合T都对应着一个集合∪T,T的并集,精确的包含T的元素们的所有元素作为元素”。...
6 KB (948 words) - 07:25, 21 May 2021
在数学中,继承有限集合被递归的定义为只包含继承有限集合(空集作为基础情况)的有限集合。非形式的说,继承有限集合是其成员也是有限集合,成员的成员也是有限集合以此类推,的有限集合。 它们可以通过如下规则构造: 空集是继承有限集合。 如果 a 1 , … , a k {\displaystyle a_{1}...
2 KB (334 words) - 17:13, 28 October 2021
在數學中,解析函数(英語:Analytic function)是局部上由收斂冪級數給出的函數。解析函數可分成實解析函數與複解析函數,兩者有類似之處,同時也有重要的差異。两种类型的解析函数都是无穷可导的,但复解析函数表现出一些一般实解析函数不成立的性质。此外在超度量域上也可以定義解析函數,這套想法在...
10 KB (1,962 words) - 06:55, 25 November 2023
傳遞集合、即在ZF或ZFC集合论中,一个集合(或类) X {\displaystyle X} 是传递的,如果 ∀ y ∀ z ( y ∈ X ) ∧ ( z ∈ y ) ⇒ ( z ∈ X ) {\displaystyle \forall y\forall z\ (y\in X)\land (z\in...
2 KB (298 words) - 10:27, 1 October 2018
。不包含任何元素的集合称为空集;只包含一个元素的集合称为单元素集合。集合可以包含有限或无限个元素。如果两个集合所包含的元素完全相同,我们称这两个集合相等。 集合在现代数学无处不在,其基本理论是于十九世纪末创立的。自20世纪上半叶以来,集合理论,更确切地说是策梅洛-弗兰克尔集合论,一直是为所有数学分支奠定严格实际基础的标准。...
15 KB (2,573 words) - 11:31, 31 December 2024
{\displaystyle \forall A:A\subseteq \varnothing \Rightarrow A=\varnothing } 空集的冪集是僅包含空集的集合: 2 ∅ = { ∅ } {\displaystyle 2^{\varnothing }=\left\{\varnothing \right\}}...
8 KB (1,190 words) - 16:09, 8 March 2023
質數冪是数学名詞,是指單一素数的乘積組成的自然数。 例如:7 = 71、9 = 32及32 = 25都是質數冪,而6 = 2 × 3、12 = 22 × 3和 36 = 62 = 22 × 32、40 = 23 × 5不是,因為它們有兩個或超過兩個質因數。(數字1一般不算是質數)。 前幾個質數冪如下:...
3 KB (521 words) - 18:34, 13 November 2021
数学中,一个集合被称为有限集合,簡單來說就是元素個數有限,嚴格而言則是指有一个自然数n使该集合与集合 { 1 , 2 , … , n } {\displaystyle \{1,2,\ldots ,n\}} 之间存在双射。例如 -15到3之间的整数组成的集合,这个集合有19个元素,它跟集合 { 1 ,...
1 KB (152 words) - 13:55, 23 July 2020
我需要一个DFA的状态来描述NFA的每个可能格局。但是一般的说,NFA在任何给定点都可以处在它的状态的任何子集中。集合S的子集的集合叫做幂集,并写为P(S),我们定义在DFA中的状态集合是在NFA中状态集合的幂集。这回答了第一个问题。 我们已经提及了如果在NFA中任何并行路径在结束时处在接受状态,则NFA接受输...
9 KB (1,613 words) - 06:14, 19 May 2022
個元素的群,環圖確定了群(在同構的意義下)。 環是給定群元素 a 的冪的集合;這里的 an 是元素 a 的 n 次冪,被定義為 a 乘以自身 n 次的乘積。稱元素 a 生成了這個環。在有限群中,某個 a 的冪必定是單位元 e;最小的這種冪是環的階,即其中的不同元素的數目。在環圖中,環被表示為一系列的多...
8 KB (761 words) - 20:40, 16 January 2022
函数 (category 集合論基本概念)
函数(英語:function)是數學描述對應關係的一種特殊集合;粗略地說,從集合 X {\displaystyle X} 到集合 Y {\displaystyle Y} 的函數將 Y {\displaystyle Y} 的一個元素恰好分配給 X {\displaystyle X} 的每個元素。集合 X {\displaystyle...
36 KB (5,506 words) - 09:44, 8 April 2025
z\Rightarrow q\in x)} 。對任一個集合 x {\displaystyle x} ,皆存在一個集合 y {\displaystyle y} ,為 x {\displaystyle x} 的冪集的父集。 x {\displaystyle x} 的冪集為一個其成員為所有 x {\displaystyle...
22 KB (3,107 words) - 15:20, 14 March 2025
_{n=0}^{\infty }a_{n}x^{n}} 绝对收敛。 按照引理,使得幂级数 ∑ n = 0 ∞ a n x n {\displaystyle \sum _{n=0}^{\infty }a_{n}x^{n}} 收敛的复数的集合总是某个以原点为中心的圆(不包括边界),称为收敛圆盘,其边界称为收敛圆。具体来说,就是:...
15 KB (3,588 words) - 02:37, 23 December 2021