集合的後繼(successor of a set)集合的一種一元運算。集A的後繼是集合A=A∪{A},這裡亦稱為後繼運算,或後繼函式.也可用A'來表示A的後繼。
基本介紹
- 中文名:集合後繼
- 外文名:successor of a set
集合的後繼(successor of a set)集合的一種一元運算。集A的後繼是集合A=A∪{A},這裡亦稱為後繼運算,或後繼函式.也可用A'來表示A的後繼。
第四章構造超窮的Z集合 第一節構建完備的基本無窮集合 第二節構建第ℵ2層的超窮Z集合 第三節構建第ℵ3層及任意的ℵn層的超窮Z集合 第五章至多只存在兩個無窮基數,並且其中一個為無窮自然數集合基數 第一節全後繼關係式(...
不可數集的基數統稱為不可數基數。一個無窮集合,如果不與自然數集等勢,它就具有不可數基數。例如實數集R的基數、R的冪集P(R)的基數都是不可數基數.不可數基數有無窮多個等級.因為根據著名的康托爾定理:對任何基數a,a ...
這種集合有時也叫做歸納集合。歸納集合是帶有如下性質的集合X:對於所有x ∈ X,x的後繼x' 也是X的一個元素。解釋 要理解這個公理,首先我們要定義x的後繼為x∪ {x}。注意配對公理允許我們形成單元素集合 {x}。 後繼是用來定義...
按照現代數學的觀點,數學各個分支都可以看作是研究具有某種特定結構的集合。簡介 極限序數(limit ordinal number)是一種序數。若α≠0且α不是後繼序數,則稱α為極限序數。極限序數不直接跟在某個序數之後,因此它有這樣的性質:若β...
樹是典型的非線性結構,它是包括,2個結點的有窮集合K。在樹結構中,有且僅有一個根結點,該結點沒有前驅結點。在樹結構中的其他結點都有且僅有一個前驅結點,而且可以有兩個後繼結點,m≥0。圖(Graph)圖是另一種非線性數據結構...