スミス–ヴォルテラ–カントール集合
From Wikipedia, the free encyclopedia

数学において、スミス–ヴォルテラ–カントール集合 (SVC)、太ったカントール集合、ε-カントール集合[1]は、実数直線の部分集合であって、疎集合(特に、区間を含まない)でありながら正の測度を持つものの一例である。スミス–ヴォルテラ–カントール集合の名はヘンリー・スミス、ヴィト・ヴォルテラ、ゲオルク・カントールにちなむ。1875年の論文において、スミスは実数直線上の正測度を持つ疎集合について議論している[2]、そしてヴォルテラは1881年に似た例を紹介している。[3] 続いて、1883年に今日知られているカントール集合が紹介されている。スミス–ヴォルテラ–カントール集合は middle-thirds Cantor set と呼ばれる"真ん中を1/3ずつ取り除いて構成する"通常のカントール集合と同相である。
通常のカントール集合とよく似た構成であり、スミス–ヴォルテラ–カントール集合も単位区間 からある区間を順次取り除いて構成する。
まず最初に から真ん中 1/4 を取り除く(つまり、1/2 の地点から両側にそれぞれ 1/8 を取り除く)。よってこの時点で残った集合は である。
続くステップでは残っている 個の区間それぞれの中心 の区間を除去していく。そこで、二番目のステップで除去されるのは と で、残るのは である。
この除去の作業を無限に繰り返して、取り除かれなかった点の集合がスミス–ヴォルテラ–カントール集合である。以下の図は最初のステップを5回繰り返した状況を表している。

スミス–ヴォルテラ–カントール集合の構成の各ステップでは残りの区間に比例して除去される部分の割合も小さくなっている。このことはカントール集合の構成と対照的であり、カントール集合では除去される部分の割合は不変である。このことにより、前者は正の測度をもち、後者は測度 0 をもつ。