上線付き空集合

空集合の補集合を表すことがあります。 補集合は、選んだ全体の中である集合に含まれない要素を集めたものです。空集合には要素がないので、その補集合は問題で定めた全体の集合になります。

空集合の記号∅は、数学者の集団が共有名として使ったブルバキの1939年の著作に登場します。アンドレ・ヴェイユは、この記号の採用に自分が関わり、形はØから取ったと述べています。Øはデンマーク語とノルウェー語で使われる文字です。⦱はその基本形に上線を加えたものです。

フォントで⦱の見た目は変わる？

はい。形はフォントによって異なります。 フォントごとに、上線の高さや間隔、文字が表示できるかどうかが変わることがあります。見慣れない形なら、式の記法に沿って読み取ってください。