[論文レビュー] Douady's conjecture on Banach analytic spaces

Vladimir Pestov|ArXiv.org|Jun 20, 1994

Advanced Banach Space Theory参考文献 8被引用数 4

ひとこと要約

この論文は、1972年にダウディが提起した予想（Douady's conjecture）を証明している。すなわち、任意の完備距離空間は、二つのバナッハ空間間の解析的写像の零点集合と同相であり、実際には等長である。主な貢献は、任意の完備距離空間をバナッハ空間へ等長埋め込みする構成的技法であり、その埋め込み先が実解析的写像の零点集合として得られることを示している。これにより、距離位相と無限次元解析の間に深い関係が確立される。

ABSTRACT

We show that, as conjectured by Adrien Douady back in 1972, every complete metric space is homeomorphic (moreover, isometric) to the locus of zeros of an analytic map between two Banach spaces. As a corollary, a paracompact topological space admits the structure of a Banach analytic space if and only if it is metrizable with a complete metric.

研究の動機と目的

• 1972年にアドリアン・ダウディが提起した、完備距離空間が解析的写像の零点集合として表現可能であるという長年の予想を解決すること。
• 任意の完備距離空間を解析的写像を用いてバナッハ空間へ等長埋め込みすることを確立すること。
• パラコンパクトな位相空間のうち、どの空間がバナッハ解析的空間構造をもつことができるかを同定すること。
• 完備距離による距離化可能性とバナッハ解析的構造の存在との関係を明確にすること。
• 完備距離空間をバナッハ空間内の解析的多様体として実現するという、無限次元複素幾何学と関数解析学の基礎的結果を提供すること。

提案手法

• 適切なリプシッツ関数の列を用いて、完備距離空間をバナッハ空間へ等長埋め込む。
• その埋め込み像を正確に再現する二つのバナッハ空間間の実解析的写像の零点集合を定義する。
• 一様ノルムを備えた有界連続関数のバナッハ空間の構造を活用し、解析的写像の終域を定義する。
• 滑らかさと近似技術を適用することで、写像の解析性を保ちつつ等長性を維持する。
• 距離空間の完備性を用いて、写像を定義する無限級数の収束性と定義の明確さを保証する。
• 二つのバナッハ空間間の実解析的写像の零点集合が、バナッハ解析的空間構造をもつことができるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 任意の完備距離空間は、二つのバナッハ空間間の解析的写像の零点集合として実現可能か？
• RQ2 そのような実現を、距離構造を等長的に保つ形で構成可能か？
• RQ3 パラコンパクト空間がバナッハ解析的空間構造をもつために必要な十分な位相的条件は何か？
• RQ4 完備距離による距離化可能性は、バナッハ解析的構造の存在を意味するか？
• RQ5 二つのバナッハ空間間の実解析的写像の零点集合は、任意の完備距離空間を等長同型で表現可能か？

主な発見

• 任意の完備距離空間は、二つのバナッハ空間間の実解析的写像の零点集合として、等長的に埋め込まれる。
• 構成された解析的写像の零点集合は、元の完備距離空間と同相（かつ等長）である。
• パラコンパクトな位相空間がバナッハ解析的空間構造をもつための必要十分条件は、完備距離による距離化可能性である。
• 証明は、リプシッツ関数の列と実解析的摂動を用いた明示的な等長埋め込みを構成する。
• この結果により、ダウディの予想が完全に確認され、複素幾何学と関数解析学における22年間の未解決問題が解決された。
• この構成により、バナッハ解析的空間のクラスがすべての完備距離空間を含むことが示され、その表現力の広範さが明らかになった。