Locatedness, Convexity, and Integrability in $\mathbb{R}^N$

未知の形の輪郭

あなたは、ある不思議な島の地図を描こうとしている地図製作者だと想像してください。数学の世界において、この島は「集合」と呼ばれる形であり、その周囲に広がる海は、$\mathbb{R}^N$ と呼ばれる数の広大な空間です。時として、これらの形は乱雑で、ギザギザしており、測定したり特定したりすることが不可能な穴が開いていることもあります。しかしまたある時には、それらは滑らかで、固形であり、扱いやすいものです。この論文は、「構成的解析学」と呼ばれる数学の特別な領域に位置しています。これは、数学者が単に「どこかに存在するはずだ」と言う場所ではなく、実際にそのものをステップ・バイ・ステップで構築し、それが実在することを証明しようとする「作業場」だと考えてください。

この作業場における主な道具は、測度（形が持つ「大きさ」や体積を計算する方法、例えばバケツにどれだけの水が入るか）、凸性（形の中の任意の2点を選んだとき、それらを結ぶ直線が完全に形の内側に留まるという性質――例えば、ヒトデのような形ではなく、滑らかな大理石のような状態）、そして局所性（locatedness）（宇宙のあらゆる点から、その形の境界までがどれほど離れているかを正確に言える能力）です。なぜこれが重要なのでしょうか？ なぜなら、構成的な世界においては、形が境界を持っていると勝手に仮定することはできないからです。あなたは、その境界に近づけることを証明しなければなりません。もし形が「局所的（located）」であれば、それは数学的なツールキットにおける信頼できる、利用可能なオブジェクトであることを意味します。もしそうでなければ、それは幽霊のようなものです。そこに存在することは分かっていても、その距離を測ったり触れたりすることができないのです。

論文の発見

このノートにおいて、ダグラス・S・ブリッジスは、$N$ 次元の空間におけるこれらの形に関する特定のパズルに取り組んでいます。彼は、以前のアイデアの修正版を証明しようとしています。もし、ある形 $S$ が「ルベーグ可積分（サイズを計算する際に行き詰まることがないこと）」であり、正のサイズを持ち（空ではない）、かつその核となる部分 $S_1$ が有界（無限に広がっていない）であり、かつ凸（滑らかで固形な塊）であるならば、$S_1$ は単なる漠然とした概念ではなく、**全有界（totally bounded）であり、かつ局所的（located）**である、というものです。平易な言葉で言えば、これは、その形が有限個の小さな点の集まりで覆うことができるほどコンパクトであり、かつ宇宙のあらゆる点からその形までの距離を常に計算できることを意味します。

そこに到達するために、ブリッジスはいくつかの巧妙なトリックを用いて論理的な梯子を組み上げます。まず、彼は、$N$ 次元空間の平坦な断面（例えば、3次元の部屋の中にある紙の一枚）を取ると、その断面はゼロの体積を持つことを示します。これは当たり前のように思えますが、厳格な規則を持つ構成的数学においては、その断面を実際に構築でき、かつそれが「厚み」を持たないことを証明しなければなりません。次に、彼は、正のサイズを持つ形は、空間全体を支えるための十分な「背骨」を含んでいなければならないことを証明します。具体的には、それは $x, y, z$ 軸のような、$N$ 個の独立した方向を含んでいなければなりません。

真の魔法は、彼がこれらの方向を組み合わせるときに起こります。彼は、正のサイズを持つ凸形は、その内部に点が十分に密集しており、小さな球状の点の集まりを見つけることができることを示します。一度この固い核が得られれば、彼は「球（完全な球体）」を用いた幾何学的なトリックを用いて、その形の内部が形全体に対して「一様に稠密」であることを示します。形がスポンジだと想像してください。この補題は、あなたがスポンジのどこを突いたとしても、近くに必ず小さな固体のスポンジの塊が見つかることを証明しています。

最後に、彼はこの稠密性を用いて主要な結果を導き出します。彼は、形があまりにも多くの点の集まりに満ちているため、有限個の点の集まりから「遠すぎる」部分を持つことはできないと論じます。もし、あなたの描いた点の地図から遠い場所にある点を探そうとすれば、数学は矛盾を強制します。すなわち、あなたの点と形の間の「空虚な」空間は、形全体の体積を飲み込んでしまうほど大きくなければなりませんが、それは既に不可能であると分かっていることです。したがって、その形は「全有界（有限個の点で覆うことができる）」であり、「局所的（そこへの距離を常に測ることができる）」なのです。

この論文は、これが真実かもしれないと示唆しているだけではありません。それは、厳密でステップ・バイ・ステップの構成的な証明を提供しています。それは、有界で凸であり、正のサイズを持つ形が、「局所的でない」あるいは近似不可能なものであるという可能性を排除しています。補題の論理に従うことで、結論は揺るぎないものとなります：そのような形は、信頼でき、測定可能であり、私たちの完全な把握の範囲内にあります。