シェルピンスキーのギャスケットとは？作り方・面積ゼロの謎と次元の意味を徹底解説

シェルピンスキーのギャスケットは、正三角形を繰り返し分割し、中央部分を取り除くことで生まれる美しいフラクタル図形です。シェルピンスキーの三角形とも呼ばれ、どれほど拡大しても同じような三角形の構造が現れる「自己相似性」を持っています。

この図形の最大の不思議は、無限に細かな三角形が残り続けるにもかかわらず、全体の面積が極限でゼロになることです。加えて、周長は際限なく増大し、ハウスドルフ次元は約1.585という整数ではない値になります。2026年現在も、幾何学やフラクタル理論を理解するための代表的な数学モデルとして知られています。

【基本を解説】シェルピンスキーのギャスケットとは？誕生の背景と名前の由来

シェルピンスキーのギャスケット（Sierpiński Gasket）は、平面上に構成される代表的な自己相似フラクタルです。英語ではSierpiński Triangleとも呼ばれ、日本語では「シェルピンスキーの三角形」という名称も広く使われています。

数学者ワツワフ・シェルピンスキーが残した数学的遺産

この図形の名前は、ポーランドの数学者ワツワフ・シェルピンスキー（Wacław Sierpiński、1882～1969年）に由来します。

シェルピンスキーは集合論、点集合位相、整数論などの分野で重要な業績を残した数学者です。セント・アンドルーズ大学の数学史資料MacTutorによると、彼は集合論に深く関心を持ち、1909年には集合論だけを扱う講義を開いています。

現在知られているシェルピンスキーの三角形は、1915年に発表された数学的研究と結び付けられています。Wolfram MathWorldも1915年をその記述の年として紹介しています。

興味深いのは、この図形が単なる幾何学上の模様ではないことです。無限に続く構造、集合の性質、次元の概念など、数学の根本的な問題を視覚的に表現できる対象でもあります。

なぜ「ギャスケット」と呼ばれるのか

Gasketは英語でパッキンや隙間を埋める部材などを意味する言葉です。シェルピンスキーのギャスケットでは、三角形の内部に次々と空洞が生まれ、網目状の構造が形成されます。

この穴のある独特な形状が名称のイメージにつながっています。なお、シェルピンスキーのギャスケットとシェルピンスキーの三角形は、基本的に同じフラクタル図形を指す名称です。

フラクタル図形としての特徴

フラクタルとは、全体とその一部分の間に、拡大・縮小による類似した構造が見られる図形や集合を指します。

シェルピンスキーのギャスケットでは、完成形を構成する3つの小さな三角形が、それぞれ全体と同じ形をしています。しかも、その小さな三角形の内部にも同じ構造が無限に続きます。

この性質が自己相似性です。単純な三角形の分割という操作から、無限に複雑な幾何学的構造が生まれる点に、この図形の面白さがあります。

【初心者向け】シェルピンスキーのギャスケットの作り方！4つの手順で解説

シェルピンスキーのギャスケットは、紙と鉛筆、定規があれば手作業でも作れます。基本となるのは、正三角形の各辺の中点を結び、中央の三角形を取り除く操作です。

手順1：大きな正三角形を描く

最初に、紙の中央に大きな正三角形を1つ描きます。最初の三角形の一辺の長さをLとすると、その面積は次の式で求められます。

A₀＝√3/4 × L²

この段階では、まだ穴のない普通の正三角形です。これを初期図形とします。

手順2：3辺の中点を結んで4分割する

続いて、正三角形の3辺それぞれの中点を求めます。その3点を直線で結ぶと、元の三角形は4つの小さな正三角形に分割されます。

それぞれの小さな三角形の一辺は、元の三角形の半分です。4つの三角形は合同であり、面積もすべて等しくなります。

手順3：中央の逆三角形を取り除く

4つに分割された三角形のうち、中央に位置する逆向きの三角形を取り除きます。

すると、元の三角形の3つの頂点に対応する小さな三角形だけが残ります。これが最初のシェルピンスキーのギャスケットの近似形です。

この操作で残る面積は、分割前の面積の4分の3になります。

手順4：残った3つの三角形にも同じ操作を繰り返す

最後に、残った3つの小さな三角形それぞれについて、同じように中点を結び、中央部分を取り除きます。

この操作を何度も繰り返すと、穴の中にさらに小さな穴が生まれ、三角形の内部に複雑な模様が形成されます。

これが再帰的構成と反復操作によるフラクタルの生成です。数学的には、この工程を無限回繰り返した極限として、シェルピンスキーのギャスケットを定義します。

反復回数による変化

操作を繰り返すたびに、残る三角形の数は3倍になり、一つひとつの辺の長さは半分になります。

• 0回目：三角形1個
• 1回目：三角形3個
• 2回目：三角形9個
• 3回目：三角形27個
• 4回目：三角形81個
• 5回目：三角形243個

一般に、n回目の操作後に残る三角形の数は3ⁿ個です。一方、それぞれの辺の長さはL/2ⁿとなります。

重要なのは、操作の回数が増えても、毎回まったく同じ規則を適用していることです。複雑な模様が偶然生まれるのではなく、単純な規則を繰り返すことで必然的に形成されます。

【数学的な謎】なぜ面積はゼロになる？周長が無限大になる理由も検証

シェルピンスキーのギャスケットを数学的に理解するうえで、特に興味深いのが面積と周長の関係です。直感的には、三角形が大量に残っているため、面積も一定以上あるように感じられます。

しかし、極限を考えると結果は異なります。面積はゼロに収束する一方、周長の総延長は無限大に発散します。

フラクタルの面積はなぜゼロになるのか

最初の正三角形の面積をA₀とします。

1回目の操作では、4つに分割された三角形のうち1つを取り除くため、面積は元の4分の3になります。

2回目も、残った図形それぞれについて4分の3の面積を残すため、全体の面積はさらに4分の3倍されます。

したがって、n回目の操作後の面積Aₙは次の式で表せます。

Aₙ＝A₀ × (3/4)ⁿ

ここで、3/4は1より小さい数です。これを何度も掛け続けると、値は限りなく小さくなります。

数学的には、次の極限が成立します。

lim（n→∞）A₀ × (3/4)ⁿ＝0

つまり、シェルピンスキーのギャスケットの2次元的な面積は極限でゼロになります。

ここで注意したいのは、面積がゼロになることと、図形そのものが消滅することは同じではないという点です。無限回の操作を経ても、頂点や無数の点から構成されるフラクタル集合は残っています。

周長はなぜ無限大に増えるのか

面積とは対照的に、周長の総延長は操作を繰り返すほど大きくなります。

1回目の操作では、残った三角形は3個です。それぞれの辺の長さは元の半分なので、3つの三角形の周長を合計すると、最初の周長の1.5倍になります。

2回目では、三角形が9個に増え、それぞれの辺は元の4分の1になります。合計周長はさらに1.5倍です。

初期の周長をP₀とすると、n回目の総周長は次の式になります。

Pₙ＝P₀ × (3/2)ⁿ

3/2は1より大きいため、反復を続けるほど総周長は増加し、極限では無限大に発散します。

この計算は、米カリフォルニア大学アーバイン校の数学教材でも扱われている性質です。

面積と周長の変化を比較

2つの数値の変化を整理すると、シェルピンスキーのギャスケットの特徴がよく分かります。

• 面積：毎回3/4倍になり、ゼロに近づく。
• 周長：毎回3/2倍になり、無限大に近づく。
• 三角形の数：毎回3倍になり、無限に増える。
• 個々の辺の長さ：毎回1/2になり、ゼロに近づく。

なお、ここでいう周長は、残されたすべての三角形の境界を合計した総延長です。最初の大きな三角形を囲む外側の3辺だけを測れば、その長さは変わりません。穴の内部に新たに生まれる境界まで含めることが、無限大になる理由です。

面積と周長が正反対の振る舞いを示すことは、フラクタル図形が通常の平面図形とは異なる性質を持つことを示しています。

【自己相似性の核心】ハウスドルフ次元とlog3/log2の意味を解説

シェルピンスキーのギャスケットを理解するうえで欠かせない概念が、ハウスドルフ次元です。

通常の図形では、点は0次元、直線は1次元、平面は2次元、立体は3次元として分類されます。しかし、フラクタルでは整数以外の次元を持つ図形も存在します。

ハウスドルフ次元とは何か

ハウスドルフ次元は、図形や集合がどの程度複雑に空間を占めているかを測るための数学的な尺度です。

一般的な図形の次元とは異なり、小さな部分に分割したときの大きさと、その部分の数の関係から次元を捉えます。

シェルピンスキーのギャスケットでは、全体と同じ形の図形が3個あり、それぞれの大きさは元の2分の1です。

この自己相似性から、次元を求める方程式を作れます。

3 × (1/2)ᵈ＝1

この式を整理すると、次の関係が得られます。

d＝log3/log2

計算結果は次のとおりです。

d≒1.5849625

なぜ1.585次元という中途半端な値になるのか

この値は、シェルピンスキーのギャスケットが1次元の線より複雑でありながら、2次元の平面を完全には埋め尽くさないことを表しています。

実際、この図形には無数の三角形の辺や分岐が残っています。しかし、その内部には無限に多くの空洞があり、平面としての面積はゼロになります。

ここで重要なのは、1.585という数値が物理的に1.585本の座標軸を持つという意味ではないことです。あくまで、図形の自己相似性と縮小率から定まる数学的な次元です。

相似次元とハウスドルフ次元の関係

相似次元は、図形が何個の縮小コピーから構成され、それぞれがどの程度縮小されているかを基に計算します。

一般に、同じ比率で縮小された自己相似図形がN個あり、縮小率がrの場合、相似次元dは次の関係を満たします。

N × rᵈ＝1

シェルピンスキーのギャスケットでは、N＝3、r＝1/2です。

この図形では、縮小された3つの部分が適切に分離される自己相似構造を持つため、相似次元とハウスドルフ次元が一致します。

Wolfram MathWorldおよびEncyclopedia of Mathematicsも、この図形のハウスドルフ次元をlog3/log2と示しています。

面積がゼロであることと、フラクタル次元が1.585であることは矛盾しません。面積という2次元的な測度と、ハウスドルフ次元という尺度は、異なる性質を測っているからです。

【関連する数学の世界】カントール集合・パスカルの三角形との関係を比較

シェルピンスキーのギャスケットは、単独で存在する特殊な図形ではありません。数学には、同じように単純な規則を繰り返すことで複雑な集合を生み出す構造がいくつも存在します。

特に関連性が深いのが、カントール集合とパスカルの三角形です。それぞれの関係を理解すると、フラクタルが幾何学だけでなく、集合論や整数論ともつながっていることが分かります。

主要な数学的概念と関係性の比較表 カントール集合との共通点は再帰的な除去

カントール集合は、1本の線分を3等分し、中央の区間を取り除く操作を繰り返して作る集合です。

最初は1本の線分ですが、中央部分を取り除くことで2つの線分が残ります。その後も同じ操作を続けることで、無限に細かな構造が形成されます。

シェルピンスキーのギャスケットも、中央部分を取り除いて複数の縮小された図形を残すという点で共通しています。

ただし、両者の構造は同一ではありません。カントール集合は1次元の線分を基本とし、シェルピンスキーのギャスケットは2次元平面上の三角形を基本とします。

カントール集合のハウスドルフ次元はlog2/log3≒0.631です。一方、シェルピンスキーのギャスケットはlog3/log2≒1.585となります。

この違いは、残される図形の数と縮小率の違いから生まれます。MacTutorの数学史資料も、シェルピンスキーの三角形をカントール集合の2次元的な類似物として紹介しています。

パスカルの三角形を使ってギャスケットを作れる

もう一つ興味深いのが、パスカルの三角形との関係です。

パスカルの三角形は、各段の両端に1を置き、その間の数を上段の隣り合う2つの数の和として求める数表です。

例えば、最初の数段は次のようになります。

• 1
• 1、1
• 1、2、1
• 1、3、3、1
• 1、4、6、4、1
• 1、5、10、10、5、1

この数表の奇数を黒、偶数を白として色分けしていくと、シェルピンスキーのギャスケットに似た三角形状のフラクタル模様が現れます。

これは単なる見た目の偶然ではありません。パスカルの三角形に並ぶ数は二項係数であり、それらを2で割った余り、つまり2を法とする演算で分類すると、フラクタルの規則性が現れるためです。

Wolfram MathWorldは、この関係をシェルピンスキー・シーブ（Sierpiński Sieve）として説明しています。また、オンライン整数列大辞典OEISにも、パスカルの三角形を2で割った余りとシェルピンスキーの三角形の対応が登録されています。

つまり、幾何学的な図形を描かなくても、整数の計算だけで同じフラクタル構造を表現できるのです。

【プロの結論】シェルピンスキーのギャスケットから学ぶべき3つの数学的ポイント

シェルピンスキーのギャスケットを単なる美しい模様として眺めるだけでは、その数学的な価値を十分に理解できません。重要なのは、単純な規則から複雑な構造が生まれる仕組みと、無限を扱う数学的な考え方です。

ポイント1：単純な規則が無限の複雑さを生む

この図形を作るために必要な規則は、正三角形を4分割して中央を取り除くという非常に単純なものです。

しかし、その操作を何度も繰り返すことで、無限に細かな穴と三角形が形成されます。

この性質は、再帰的構成や反復操作の威力を理解するための優れた例です。プログラミングにおける再帰関数や、コンピューターグラフィックスによるフラクタル描画を学ぶ際にも役立ちます。

ポイント2：面積と次元は同じ意味ではない

面積がゼロであるにもかかわらず、ハウスドルフ次元が約1.585になることは、一見すると矛盾しているように感じられます。

しかし、面積は図形が平面をどれだけ占めているかを示す量であり、ハウスドルフ次元は集合の複雑さや縮小構造を評価する概念です。

異なる数学的な尺度を混同しないことが、フラクタルを正しく理解するための第一歩です。

ポイント3：極限では有限回の図形と異なる性質が現れる

有限回の操作では、残る面積は必ず正の値です。しかし、無限回の操作を考えると、その面積はゼロに収束します。

同様に、有限回では総周長も有限ですが、操作回数を無限に増やすと無限大に発散します。

ここには、極限という数学の考え方が明確に表れています。有限回の計算結果をそのまま無限回の結果と考えてはいけません。

どんな人におすすめの数学モデルなのか

シェルピンスキーのギャスケットは、次のような目的で学ぶ人に特に適しています。

• 中学校・高校の数学で図形や数列、極限の考え方を学びたい人。
• 大学数学で集合論、フラクタル幾何学、ハウスドルフ次元を理解したい人。
• プログラミングで再帰処理や図形生成アルゴリズムを学びたい人。
• 数学とコンピューターグラフィックスの関係に興味がある人。
• パスカルの三角形やカントール集合など、異なる数学分野の共通構造を理解したい人。

一方、単純な面積や周長の計算だけを求めている場合は、無限回の反復やハウスドルフ次元まで学ぶ必要はありません。目的に合わせて、作図、数列、極限、次元の順に理解を深めると効率的です。

【よくある質問】シェルピンスキーのギャスケットに関するFAQ

Q1：シェルピンスキーのギャスケットとシェルピンスキーの三角形は違う図形ですか？

A1：基本的には同じ図形です。どちらも正三角形の中央部分を取り除く操作を繰り返して作られるフラクタルです。英語ではSierpiński GasketとSierpiński Triangleという名称が使われます。

Q2：シェルピンスキーのギャスケットの面積は本当にゼロですか？

A2：はい。n回目の操作後の面積はA₀×(3/4)ⁿで表されます。nを無限大に近づけると、この値はゼロに収束します。ただし、図形を構成する点がなくなるわけではありません。

Q3：ハウスドルフ次元のlog3/log2は何を意味しますか？

A3：全体と相似な図形が3個あり、それぞれが元の2分の1の大きさであることから導かれる次元です。計算結果は約1.5849625で、通常の1次元と2次元の間に位置します。

Q4：シェルピンスキーのギャスケットは手書きでも作れますか？

A4：作れます。正三角形を描き、各辺の中点を結び、中央の三角形を取り除く操作を繰り返すだけです。定規と鉛筆があれば、基本的な形を再現できます。

Q5：カントール集合との違いは何ですか？

A5：カントール集合は線分を3等分して中央部分を取り除く1次元的な構造です。一方、シェルピンスキーのギャスケットは正三角形を使う2次元平面上の構造です。どちらも反復操作と自己相似性を持つフラクタルです。

Q6：パスカルの三角形からなぜ同じ模様ができるのですか？

A6：パスカルの三角形に含まれる二項係数を2で割った余りで分類し、奇数と偶数を異なる色で表現すると、シェルピンスキーの三角形と同じ自己相似パターンが現れるためです。

シェルピンスキーのギャスケットは、正三角形を4分割し、中央の三角形を取り除く操作を繰り返すことで生まれる代表的なフラクタル図形です。

その特徴は、自己相似性、再帰的構成、面積のゼロへの収束、周長の無限大への発散、そして約1.585というハウスドルフ次元にあります。

特に覚えておきたい数式は次の3つです。

• 残る三角形の数：Nₙ＝3ⁿ
• 面積：Aₙ＝A₀×(3/4)ⁿ
• ハウスドルフ次元：d＝log3/log2≒1.585

また、カントール集合との共通点や、パスカルの三角形を2で割った余りから同じ模様が現れる関係は、フラクタルが幾何学だけでなく、集合論や整数論とも深く結び付いていることを示しています。

【プロの結論】 シェルピンスキーのギャスケットの本質は、単純な反復規則が無限の複雑さを生み出すことにあります。面積がゼロでも図形は残り、周長が無限大でも全体は有限の領域に収まります。この一見矛盾する性質を理解することが、フラクタル幾何学や極限、非整数次元という数学の世界への入り口になります。

作図から始めて、面積の数列、周長の増大、ハウスドルフ次元へと順番に学ぶことで、シェルピンスキーのギャスケットが持つ数学的な美しさをより深く理解できます。

主な学術的参照資料

- MacTutor History of Mathematics（セント・アンドルーズ大学）：シェルピンスキーの生涯と数学史。
- Wolfram MathWorld：図形の構成、面積、相似次元、パスカルの三角形との関係。
- カリフォルニア大学アーバイン校：反復操作、面積・周長の教材。
- OEIS（オンライン整数列大辞典）：パスカルの三角形を2で割った余りとの対応。

関連：ミルキーラテ｜レイチェルクー｜白石美帆インスタ