【TeX】空集合を表す記号

空集合を表す記号のTeXコマンドに関する備忘録です。

 

---

$TEX$で空集合を表すコマンドには、

$\mathrm{\varnothing }$　\emptyset
$\varnothing$　\varnothing
$\varphi$　\phi

などがあります。伝統的には \emptyset コマンドを使うべきとされていますが、個人的には\varnothingコマンドの方が好きですね･･･。

空集合は例えば$$\mathrm{\forall }A:A\cup \varnothing =A$$のように使います。英語圏では「Null sign」と呼ばれており、Unicodeの ∅ （EMPTY SET, U+2205）がそれに該当します。

そもそも空集合の記号「∅」は、ブルバキの数学原論（Éléments de mathématique；1939年）で初めて用いられた記号です。20世紀を代表するフランスの数学者、アンドレ・ヴェイユは自伝の中で、この記号を担当したのは自分だと述べており、ノルウェー語のアルファベット「Ø」が起源（便宜上使われることの多いギリシャ語のファイ$\varphi$とは一切関係が無い）と記されています。この文字はノルウェー語、デンマーク語、フェロー語のアルファベットで使われるようです。

---