Brouwer fixed-point theorem ブラウワーの不動点定理

Luitzen Egbertus Jan Brouwer（ライツェン・エヒベルトゥス・ヤン・ブラウワー 1881-1966）は、20世紀初頭に活躍したオランダの数学者・哲学者です。

1. トポロジー（位相幾何学）の先駆者

不動点定理を含め、現代のトポロジーの基礎となる重要な定理を数多く証明しました。

次元の不変性: 「3次元の空間を、1次元の線に（1対1かつ連続に）対応させることはできない」という、当たり前に思えて証明が非常に困難だった事実を証明しました。
不動点定理: どんなにかき混ぜても動かない点があることを数学的に示しました。

皮肉なことに、彼は後に自分自身が編み出したこれらの「華々しい証明」の多くを、自らの哲学的な信念に基づいて否定することになります。

ブラウワーは数学界における「直観主義」という派閥の教祖的な存在です。彼は、数学とは「人間の心の中にある構築物」であると考えました。

特に有名なのが、背理法（排中律）への拒絶です。

多くの数学者は「Aではないことが証明できれば、自動的にBである」と考えますが、ブラウワーは「具体的にBを構成（構築）してみせない限り、それは証明とは呼べない」と主張しました。
この過激な思想は、当時の数学界の重鎮ダフィット・ヒルベルトと真っ向から対立し、「数学基礎論論争」という歴史的な大喧嘩に発展しました。
数学界の追放劇: ヒルベルトとの対立があまりに激しくなった結果、権威ある数学雑誌の編集部から追い出されるというスキャンダラスな事件（アンナーレン事件）が起きました。
隠遁生活: 人生の中盤以降、彼は数学界の主流派から距離を置き、自らの哲学を追求する内省的な生活を送るようになりました。

Brouwer fixed-point theorem不動点定理は、トポロジー（位相幾何学）において特定の条件を満たす図形をどれだけかき混ぜたり変形させたりしても、全く動かない点が少なくとも1つは存在するということを数学的に証明したものです。数学的な定義は以下の通りです。

n 次元の単位球（あるいはそれと位相同型な、穴のない凸集合）から自分自身への連続関数 f: D^n → D^n が存在するとき、f(x) = x となるような点 x が少なくとも1つ存在する。

この x のことを不動点（Fixed point）と呼びます。

数式よりも、日常生活に当てはめるとイメージが湧きやすくなります。

コーヒーカップの例　カップの中のコーヒーをスプーンでどれだけかき混ぜても（ただし、コーヒーが飛び散ったり分離したりしない連続的な動きであること）、「かき混ぜる前と全く同じ場所」に戻ってくる液体分子が必ず1つは存在します。
地図の例　ある場所の地面の上に、その場所の地図を広げたとします。このとき、「地図上の点」と「実際の地面の地点」が完全に一致する場所が、地図の中に必ず1箇所だけ存在します。
クシャクシャの紙　平らな紙を一度クシャクシャに丸めて、もとの紙が置いてあった範囲内にポンと置きます。このとき、重なっている上下の位置関係は無視して、真上から見たときに「もともとその場所にあった点」の真上に、再びその点が来ている場所が必ずあります。

この定理が成り立つには、以下の条件が不可欠です。

連続であること： 図形を途中で切ったり、穴を開けたりしてはいけません（ワープは禁止）。
コンパクトかつ凸集合であること： 基本的に「穴が開いていない」ことが重要です。例えば、ドーナツ型（トーラス）の場合、中心を軸に回転させると、どの点も元の位置に戻らない（不動点がない）状況が作れてしまいます。

ブラウワーの不動点定理は、純粋数学だけでなく、経済学の分野でも応用されています。例えば、ノーベル経済学賞を受賞したジョン・ナッシュが提唱した「ナッシュ均衡」（ゲーム理論において、どのプレイヤーも戦略を変えるメリットがない安定した状態）の存在証明にも、この定理の派生形が使われています。

つまり、「複雑に絡み合った社会や経済システムの中でも、必ずどこかに均衡点（不動点）が存在する」ということを保証する理論的支柱になっているのです。