和田の湖

数学における和田の湖︵わだのみずうみ、英: lakes of Wada︶とは、面上における3つの領域であって、それぞれは連結であり、互いに共通部分を持たず、しかも全く同じ境界を持つものの例である。

概要と歴史[編集]

平面あるいは球面上において、同じ境界を持つ2つの領域を考えることは易しい。例えば、球面を北半球と南半球に分ければ、その2つの領域は赤道を共通の境界に持つ。これに対し、3つ以上の領域が共通の境界を持つことは、直感的にはあり得ないことのように感じられる。しかし、無限に入り組んだ複雑な領域を考えるならば、そのようなことも可能である。数学者の米山国蔵は、1917年にそのような例を発表した。米山によれば、それは彼の師である和田健雄のアイデアだったため、和田の湖と呼ばれるようになった^[1]。また、同じ境界を持つ3つ以上の領域は、和田の性質 (Wada property) を持つ、という言い方をする。和田の湖は、直感に反する病的な例として人工的に構成されたものであるが、後述のように、和田の性質を持つ例が力学系において自然に現れることも、次第に分かってきた。そのようなものは、和田の吸引領域 (Wada basins) と呼ばれる。

和田の湖の構成[編集]

湖を構成する様子︵5日目まで︶

文献によって細部は若干異なるが、アイデアは本質的には同等である。ここでは、右図に基いた記述を行う。また、3つのみならず、3つ以上の任意の個数の領域についても、同様のアイデアで構成できる。単位正方形

U=\{(x,y)\,|\,0<x<1,\,0<y<1\}

U=\{(x,y)\,|\,0<x<1,\,0<y<1\}

から始める。これは﹁島﹂に見立てられる。1日目に

\{(x,y)\,|\,0<x<2/3,\,1/3<y<2/3\}

\{(x,y)\,|\,0<x<2/3,\,1/3<y<2/3\}

の部分を掘って、青い湖とする。2日目には、図のように﹁陸﹂の部分の中央の筋をなぞるようにして、幅 1/9 の赤い湖を掘る。その結果残った陸の部分も幅が 1/9 であり、依然連結していることに注意せよ。なお、湖の縁は湖に含めないものと考える︵すなわち湖は開集合である︶。3日目には、幅 1/27 の緑の湖を掘って、陸の部分の幅も 1/27 となるようにする。4日目には、青い湖の先端から幅 1/81 の﹁運河﹂を掘って、青い湖を拡張する。これまでと同様に、陸の部分の中央をなぞるように掘っていくと、その結果残った陸の部分も幅が 1/81 であり、依然連結している。5日目には、赤い湖の先端から幅 1/243 の運河を掘る。以下同様にして、青、赤、緑の順に、幅が前日の 1/3 になるように運河を掘り続けると、陸の部分はどんどん幅を失っていく。永遠に掘り続けた極限として、島は3色の湖 B, R, Gと陸 Zの非交和として表される‥

U=B\cup R\cup G\cup Z.

U=B\cup R\cup G\cup Z.

このとき、Z は B, R, Gの共通の境界である。全体が単位正方形であることや、1/3, 1/9 といった数値は重要ではない。肝要なのは、新しく掘った湖と残った陸との距離の最大値が、限りなく 0 に近付くように掘り進めることである。

補足[編集]

数学的議論に慣れた者にとっては蛇足であろうことを、2点補足として述べる。まず、慣れていない者にとっては、永遠に運河を掘り続ける、というところが受け入れがたく感じられるかもしれない。しかし、カントール集合やコッホ曲線を構成する際のように、無限個の集合を扱うとか、無限回の操作を行う、などと数学者たちはわりと平気で言う。現実に絵が描けるか、ということもあまり気にはされず、抽象的な概念として把握できれば十分だと考えられている。実際、掘り方に紛れがないようにもう少し丁寧にルールを定めておけば、島の中の1点を選んだときに、その点が︵とんでもなく遠い未来になる可能性もあるが︶いつかは掘られていずれかの湖の一部となるか、掘られた湖の縁となって︵幅のない︶陸として残るか、運命はすでに定まっている。よって、﹁永遠に運河を掘り続ける﹂というのは単なるたとえ話であって、B, R, G, Zは集合としてきちんと把握できる。また、境界とは何を意味するのか、数学的に正確な定義を知っておかねばならない。一般に、︵ユークリッド空間における位相においては︶点Pが領域 Dの境界上の点であるとは、点Pを中心としてどんなに小さな円を書いたとしても、その円の内部に D内の点と D外の点の両方が含まれることを意味する。上記の構成を行うと、Z 上の任意の点を中心とする円は、必ず3つの湖の全てと交わる。これで、Z が3つの湖の共通の境界であることが理解されよう。

和田の吸引領域[編集]

z³ − 1 = 0 の3つの解︵1の立方根︶に対応した3つの領域は、複雑に絡み合って共通の境界を持つ。

和田の性質を持つ自然な例を得るには、例えば三次方程式 z³− 1 = 0 を考えればよい。この方程式は三つの解

z=1,\ {\frac {-1\pm {\sqrt {3}}i}{2}}

z=1,\ {\frac {-1\pm {\sqrt {3}}i}{2}}

を持つ。方程式の解を近似的に求める方法としてニュートン法があるが、三つの解のうちどれが求まるかは、最初にランダムに選んだ複素数に依存する。求まる解によって、複素数平面上の複素数を色分けすると、右の図が得られる。この3つの領域は、和田の性質を持つ。ただし、和田の湖とは異なり、3つの領域はどれも連結ではなく、それどころか無限個の部分に分かれている。この例は、和田の吸引領域と呼ばれるもののうち、最も単純な例である。なお、境界上の点は、ニュートン法では︵ゼロ除算が生じるなどして︶解が求まらない初期値であることを意味する。ほんの少しずらせば解が求まるようになるが、3つの領域が和田の性質を持つということは、ずらし方がほんの少し変わるだけで得られる解が3通りに変わってくることを意味する。これはカオス理論が主に題材とする典型的な現象である。

出典[編集]

^ スチュアート p.195

参考文献[編集]

●KUNIZÔ YONEYAMA (1917). “Theory of Continuous Set of Points (not finished)”. Tohoku Mathematical Journal, First Series 12: 43-158.米山による原著論文。特に pp. 60-62。島や湖の絵もある。 ●イアン・スチュアート著、水谷淳訳﹃数学ミステリーの冒険﹄SBクリエイティブ、2015年 ISBN 978-4797382020 特に pp. 194-197.

外部リンク[編集]

●Weisstein, Eric W. "Wada Basin". mathworld.wolfram.com (英語).

[ian-1] スチュアート p.195

[1]