數學上,單元素集合是由唯一一個元素組成的集合。[1]例如,集合 {0} 是個單元素集合。注意,集合諸如 {{1,2,3}} 也是單元素集合,唯一的元素是一個集合(這個集合可能本身不是單元素集合)。
一個集合是單元素集合,當且僅當它的基數為1。在自然數的集合論定義中,數字 1 就是定義為單元素集合 {0}。
在公理集合論中,單元素集合的存在性是空集公理和對集公理的結果:前者產生了空集 {},後者應用於對集 {} 和 {},產生了單元素集合 {{}}。
若 A 是任意集合,S 是單元素集合,則存在唯一一個從 A 到 S的函數,該函數將所有 A 中的元素映射到 S 的單元素。
參見
參考來源
參考資料
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
Remove ads