スミス–ヴォルテラ–
カントール集合(SVC、または太った
カントール集合)は、
数学における興味深い概念の一つです。この集合は
実数直線における部分集合であり、疎集合の一例でありながら、正の測度を有するという特異な性質を持っています。スミス–ヴォルテラ–
カントール集合の名前は、
数学者のヘンリー・スミス、
ヴィト・ヴォルテラ、
ゲオルク・カントールに由来します。1875年にスミスが正の測度を持つ疎集合に関する議論を発表し、1881年にヴォルテラが類似の例を示しました。そして、1883年には、今日知られている
カントール集合が登場します。このスミス–ヴォルテラ–
カントール集合は、通常の
カントール集合と同じく、特定のルールに従って区間を取り除きながら形成されます。
構成方法
スミス–ヴォルテラ–
カントール集合は、
単位区間 [0, 1] から始まり、特定の手順に従って次第に区間を取り除くことで作られます。最初のステップでは、区間の中央部分、すなわち1/4の長さの区間を取り除きます。これは、[0, 1] の中で1/2の位置から両側に1/8ずつ取り除くことを意味します。この結果、残るのは以下の2つの部分区間です:
次のステップに進むと、残った区間のそれぞれから、中心位置の1/4^nの長さの区間を除去していきます。具体的に言うと、第2ステップで除去されるのは以下の2つの区間です:
- - (5/32, 7/32)
- - (25/32, 27/32)
この作業を繰り返すことで、無限の除去作業を経て、取り除かれなかった点の集合がスミス–ヴォルテラ–
カントール集合となります。各ステップでは、取り除く部分の相対的な長さが減少していくため、この集合は正の測度を有します。
性質
スミス–ヴォルテラ–
カントール集合の重要な点は、どんな区間も含まないため、その内部が空であることです。また、この集合は
閉集合であり、構成過程で除去された区間の長さの合計は1/2に達します。これは、残された集合の測度が1/2であることを示しています。したがって、この集合はその外部と接触しない、すなわち、境界が正の
ルベーグ測度を持つ
閉集合の一例となります。
一般に、スミス–ヴォルテラ–
カントール集合に似た集合を構成する際には、各ステップで異なる長さの間隔を取り除くことができます。例えば、各区間から異なる割合で区間を取り除くと、最終的に得られる集合によっては正の測度を持つものもあれば、測度が0のものもあります。このような構成において重要なのは、取り除かれた区間の測度の合計が元の区間の測度を超えないことであり、それによって集まった集合が正の測度を持つかどうかが決まります。
結論
スミス–ヴォルテラ–
カントール集合は、
数学的構造の中で非常にユニークな存在です。その構成方法と性質は、測度論や位相空間論における重要な概念を理解する手助けとなります。将来的には、この集合を用いてさらに複雑な高次元の集合の研究や、さまざまな
数学的応用が進むことが期待されます。