この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "空集合" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2016年3月）

空集合（くうしゅうごう、英: empty set）は、要素を一切持たない集合のことである。公理的集合論において、空集合は公理として存在を仮定される場合と、他の公理から存在が導かれる場合がある。
記号

空集合を表す記号として、∅ 、 ∅ {\displaystyle \emptyset } または {} がある。記号 ∅ はノルウェー語などで用いられるアルファベット Ø（スラッシュ付きオー）に由来している。形の似ているギリシャ文字のφ, Φ（ファイ）、キリル文字のФ, ф（エフ）および ?（直径記号、まる）、斜線付きゼロ、その他似た文字とは全く関係がない。
概要

集合とは、素朴には一定の決まりに従っている数学的な対象の集まりのことであるが、集合論の議論をする上で「何も含まない集まり」「何も集めていない集まり」を集合の一つと考えた方が自然である。この何も含まない集合 {} が空集合である。「……の集合」という文章において、「……」を該当するもののない条件（4で割り切れる奇数、10より大きい負の数など）とすれば、この集合は空集合になる。集合を袋にたとえる場合に、空集合は空の袋に相当する。
定義

いかなる元も持たない集合を空集合といい、 ∅ , ∅ , { } {\displaystyle \varnothing ,\;\emptyset ,\;\{\}} などと書く。このうち初めの2つは、ブルバキが数学原論の最初の巻『結果の要約』(fascicule de resultats, 1939年、日本語版：集合論 要約) で Ø を用いたのが始まりである[1]。

アンドレ・ヴェイユはブルバキを引退した後、1991年に出版した『修業時代の思い出』(Souvenirs d'apprentisage) において、ブルバキ内部でノルウェー語を知っていたのは自分だけで、そのアルファベット Ø を空集合の記号として提案したことを回想している[2]。ギリシャ文字の Φ で代用することもあり「ファイ」と読まれることもあるがΦとは無関係である。
性質

全ての集合は空集合を部分集合として含む：任意の集合 A に対し、∅ ⊆ A である。何故なら、任意の集合 A に対し、命題「 ∀ x : x ∈ ∅ ⟹ x ∈ A {\displaystyle \forall x:x\in \varnothing \implies x\in A} 」は常に真だからである（空虚な真参照）。特に A = ∅ {\displaystyle A=\varnothing } とすれば、 ∅ ⊆ ∅ {\displaystyle \varnothing \subseteq \varnothing } が成り立つことも分かる。

どんなものであれ、空集合に元として含まれることはない。
∀ x , x ∉ ∅ . {\displaystyle \forall x,x\notin \varnothing .}

空集合の部分集合は空集合自身のみである。
( ∀ A ) [ A ⊆ ∅ ⟹ A = ∅ ] . {\displaystyle ({\forall }A)[A\subseteq \varnothing \implies A=\varnothing ].}

空集合の元の数は0である。
|∅。= 0.

どんな集合 A についても、A と空集合 ∅ の和集合は A に等しく、A と ∅ の共通部分や直積は ∅ に等しい：
A ∪ ∅ = A, A ∩ ∅ = ∅, A × ∅ = ∅ = ∅ × A.

空集合を定義域とする写像は、終域を定めるごとに唯1つ定まり、且つ単射である。特に、終域も空集合である場合 ∅ → ∅ {\displaystyle \varnothing \to \varnothing } は全単射となる（空写像の項を参照）。

集合族 {Xλ}λ ∈ Λ の添字集合 Λ が空集合 ∅ であるとき和集合は ⋃ λ ∈ Λ X λ = ∅ {\displaystyle \textstyle \bigcup _{\lambda \in \Lambda }X_{\lambda }=\varnothing } である[3]。また集合族 {Xλ}λ ∈ Λ がある集合 E の部分集合からなり、その添字集合 Λ が空集合 ∅ であるとき共通部分は ⋂ λ ∈ Λ X λ = E {\displaystyle \textstyle \bigcap _{\lambda \in \Lambda }X_{\lambda }=E} である[4]。

空集合の文字コード

記号 ? は、UnicodeではU+2205、JIS X 0213では1-2-39のコードが定められていて、ラテン文字の O や直径を表す記号 ? とは区別されている。HTMLにおける実体参照では ∅ と記述する。ASCII や ISO 8859 ではこの記号は定義されていない。

? や ∅ {\displaystyle \emptyset } という文字の活字やフォントが無い場合もあるので、組版の都合上、見た目が似ているギリシャ文字のΦで代用する習慣もある。

記号UnicodeJIS X 0213文字参照名称
∅U+22051-2-39∅
∅
∅空集合

脚注[脚注の使い方]^ ⇒Earliest Uses of Symbols of Set Theory and Logic の2014-02-07版（2015-12-23閲覧）
^ ヴェイユ 2004, 第5章　ストラスブールとブルバキ.
^ Bourbaki 2004, p. 91.
^ Bourbaki 2004, p. 92.

参考文献

ヴェイユ, アンドレ『 ⇒アンドレ・ヴェイユ自伝　ある数学者の修業時代』 下、稲葉延子訳（増補新版）、丸善出版〈シュプリンガー数学クラブ13〉、2004年5月（原著1991年）。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-4-621-06393-4。 ⇒http://pub.maruzen.co.jp/book_magazine/book_data/search/9784621063934.html。 

Bourbaki, N (2004). Theory of Sets. Elements of Mathematics. Springer. ISBN 978-3-540-22525-6. MR2102219. Zbl 1061.03001. https://books.google.co.jp/books?id=7eclBQAAQBAJ 

関連項目

空関数

形而上学的ニヒリズム

単集合

表

話

編

歴
集合論
基本

集合

元

包含関係

内包と外延

クラス

ベン図

演算

和集合

非交和


共通部分

素集合


直積集合

分割

補集合

差集合

対称差

冪集合

ド・モルガンの法則

集合の代数学

関係

性質

反射関係

推移関係

推移閉包


対称関係

非対称関係

反対称関係

完全関係

同値関係

同値類

well-defined


整礎関係

逆関係

関係の合成

写像

定義域

終域

値域

単射

全射

全単射

逆写像

像と逆像

恒等写像

制限

包含写像

合成

射影

商写像

指示関数

配置集合

族

添字集合

順序対

順序組

列

集合族


グラフ

部分写像

対応

順序

前順序

有向


半順序

全順序

整列


稠密

有界

単調写像

順序同型


辞書式順序

順序型

推移的集合

順序数

0

後続

極限

自然数


ハッセ図

超限帰納法

ツォルンの補題

整列可能定理


整礎的集合

フォン・ノイマン宇宙