《存在集》是1998年出版的圖書,作者是李一氓。
基本介紹
- 書名:存在集
- ISBN:9787108011725
- 頁數:419
- 出版時間:1998-8-1
- 裝幀:平裝
- 開本:大32開
《存在集》是1998年出版的圖書,作者是李一氓。
《存在集》是1998年出版的圖書,作者是李一氓。...... 《存在集》是1998年出版的圖書,作者是李一氓。 [1] 書名 存在集 ISBN 9787108011725 頁數 419 出版時間...
D有限集是一種有限集。若不存在集合A到自己的真子集上的雙射,則A稱為D有限集。D有限的概念是戴德金(Dedekind,J. W. R.)首先引入的。...
初等集公理是集合論的一條公理,策梅洛(E.F.F.Zermelo)於1908年提出集合論公理體系時,其中有一公理稱為初等集公理,該公理斷言:存在空集,它不含任何元素;如果a...
幾乎作為佩羅羅奇諾對H-GAME愛好而具現化的存在,集雙性戀、虐待狂、受虐狂、戀屍癖等異常性癖於一身,講話時的語調老成且習慣帶著尾語“ありんす”。[1] PS...
D無限集(D-infinite set)一種無限集.若存在集合A到自己的真子集的雙射,則稱A為D無限集.任何一個集合不是D有限集就是D無限集.例如自然數集是D無限集.}A}...
去心鄰域即在a的鄰域中去掉a的數的集合,套用於高等數學。在拓撲學中,設A是拓撲空間(X,τ)的一個子集,點x∈A。如果存在集合U,滿足 U 是開集,即 U∈τ;...
在承認選擇公理的情況下,可以證明基數的三歧性定理——任何兩個集合的基數都可以比較大小,即不存在集合A和B,使得A不能與B的任何子集對等,B也不能與A的任何子...
可度量化空間(metrizable space)是一類特殊的拓撲空間,設X是拓撲空間,若在集合X上存在一個度量d,使得X上由d誘導的拓撲和X上原來的拓撲一致,則稱X為可度量化...
廣義連續統假設簡稱GCH,連續統假設的推廣,是對一般無窮基數的冪的一種假設。它可以敘述為:對任何無窮集合A,不存在集合的勢大於A的勢而小於冪集P(A)的勢。廣義...
集合的存在性證明空集公理 證明 替換公理模式 分離公理模式是集合論的ZF公理系統中的一個公理模式,但由於可以由替換公理模式和空集公理(注意後者是單獨一條公理,...
在ZF系統中,不可能證明存在ZF系統標準集合模型,但由反射原理,可以證明(在ZF系統...它的非邏輯公理有:外延公理、空集公理、無序對公理、並集公理、冪集公理、替換...
從空集開始,不斷套用並集公理和無序對公理(用來構造{x})可以證明所有自然數的存在,通過無窮公理和分離公理模式可以證明ω的存在,繼續取後繼可以證明ω+i(i∈N)...
準確的定義:“對任意集合x,存在集合y,使w∈y若且唯若存在z使z∈x且w∈z”。(ZF5)冪集公理:也就是說,任意的集合x,P(x)也是一集合。準確的定義:“對...
(5)冪集公理(子集之集公理):對任意集合X,存在集合P(X),它的元素恰好就是X的一切子集。也就是說:存在以已知集合的一切子集為元素的集合。...