ヒルベルト多様体

数学において、ヒルベルト多様体（ヒルベルトたようたい、Hilbert manifold）とは、ヒルベルト空間をモデルとした多様体である。したがって、それは可分ハウスドルフ空間であり、各点が無限次元ヒルベルト空間に同相な近傍を持つ。ヒルベルト多様体の概念は、多様体の理論を無限次元の設定に拡張する可能性を提供する。有限次元の場合と同様に、遷移写像が微分可能である最大アトラスを考慮することで、微分可能なヒルベルト多様体を定義することができる。

多様体理論の基本的な構成の多く、例えば多様体の接空間や部分多様体（有限余次元）の管状近傍などは、有限次元の場合からヒルベルト設定にほとんど変更なく引き継がれる。しかし、多様体間の写像を含む命題では、しばしばフレドホルム写像、すなわち各点での微分がフレドホルムである写像に考慮を制限しなければならない。この理由は、サードの補題がフレドホルム写像に対して成り立つが、一般には成り立たないためである。この違いにもかかわらず、ヒルベルト多様体は非常に良い性質をいくつか持っている。

• カイパーの定理: もし${\displaystyle X}$ がコンパクト位相空間 または ホモトピータイプ(CW複体) なら、すべての${\displaystyle X}$上の(実・虚)ヒルベルト空間束 はトリビアルである。 特に、すべてのヒルベルト多様体は並列化可能である。.
• すべての滑らかなヒルベルト多様体は、モデルヒルベルト空間の開部分集合に滑らかに埋め込むことができる。
• すべてのヒルベルト多様体間のホモトピー同値は微分同相写像にホモトピックである。特に、ホモトピー同値なヒルベルト多様体はすでに微分同相である。これは、レンズ空間やエキゾチック球面が示すように、有限次元の場合では、多様体のホモトピー同値、同相、微分同相が異なる性質であることとは対照的である。
• サードの定理は一般には成り立たないが、ヒルベルト多様体から任意の連続写像 ${\displaystyle f:X\to \mathbb {R} ^{n}}$ は、臨界点をもたないなめらかな写像 ${\displaystyle g:X\to \mathbb {R} ^{n}}$ に任意に近く近似することができる。.

• 任意のヒルベルト空間 ${\displaystyle H}$は、${\displaystyle H}$上の恒等関数によって与えられる単一のグローバルチャートを持つヒルベルト多様体である。さらに、${\displaystyle H}$はベクトル空間であるため、任意の点 ${\displaystyle p\in H}$ における接空間 ${\displaystyle \operatorname {T} _{p}H}$ は ${\displaystyle H}$自身と標準的に同型であり、${\displaystyle H}$上のものと同じ自然な内積を持つ。したがって、${\displaystyle H}$ は計量 $${\displaystyle g(v,w)(p):=\langle v,w\rangle _{H}{\text{ for }}v,w\in \mathrm {T} _{p}H,}$$によってリーマン多様体の構造を持つことができる。ここで ${\displaystyle \langle \,\cdot ,\cdot \,\rangle _{H}}$は ${\displaystyle H}$ の内積を表す。
• 同様に、ヒルベルト空間の任意の開部分集合も、全体空間と同じ構成の下でヒルベルト多様体およびリーマン多様体である。
• 多様体間のいくつかの写像空間は、適切なソボレフクラスの写像のみを考慮することで、ヒルベルト空間として見ることができる。例えば、単位円 ${\displaystyle \mathbf {S} ^{1}}$ から多様体 ${\displaystyle M}$へのすべての ${\displaystyle H^{1}}$ 写像の空間 ${\displaystyle \operatorname {L} M}$ を考えることができる。これは、円から ${\displaystyle M,}$ へのすべての連続写像の空間、すなわち ${\displaystyle M,}$の自由ループ空間の部分空間として、コンパクト開位相を通じて位相化される。上記のソボレフ型写像空間 ${\displaystyle \operatorname {L} M}$は自由ループ空間とホモトピー同値であり、特にストリングトポロジーの分野において、自由ループ空間の代数トポロジーの研究に適している。ループ空間に対しても類似のソボレフ構成を行うことができ、これにより ${\displaystyle \operatorname {L} M}$の余次元 ${\displaystyle d}$ のヒルベルト部分多様体となる。ここで、${\displaystyle d}$ は ${\displaystyle M,}$ の次元である。

• バナッハ多様体は、バナッハ空間をモデルにした多様体である。これは、各点がバナッハ空間の開集合に同相の近傍を持つ位相空間である。バナッハ多様体は、無限次元に多様体を拡張する可能性の一つである。
• フレシェ多様体は、バナッハ空間をフレシェ空間に置き換えて得られる一般化である。フレシェ多様体は、ユークリッド空間をモデルにした多様体と同様に、フレシェ空間をモデルにした位相空間である。
• フィンスラー多様体は、リーマン多様体の一般化である。
• グローバル解析は、ヒルベルト多様体や他の種類の無限次元多様体を利用する分野である。

• Klingenberg, Wilhelm (1982), Riemannian Geometry, Berlin: W. de Gruyter, ISBN 978-3-11-008673-7 . Contains a general introduction to Hilbert manifolds and many details about the free loop space.
• Lang, Serge (1995), Differential and Riemannian Manifolds, New York: Springer, ISBN 978-0387943381 . Another introduction with more differential topology.
• N. Kuiper, The homotopy type of the unitary group of Hilbert spaces", Topology 3, 19-30
• J. Eells, K. D. Elworthy, "On the differential topology of Hilbert manifolds", Global analysis. Proceedings of Symposia in Pure Mathematics, Volume XV 1970, 41-44.
• J. Eells, K. D. Elworthy, "Open embeddings of certain Banach manifolds", Annals of Mathematics 91 (1970), 465-485
• D. Chataur, "A Bordism Approach to String Topology", preprint https://arxiv.org/abs/math.at/0306080

• Hilbert manifold at the Manifold Atlas

Template:ManifoldsTemplate:Riemannian geometryTemplate:Analysis in topological vector spaces

表 話 編 歴 関数解析学
集合 / 部分集合のタイプ	均衡 星状 絶対凸 凸 併呑 有界（英語版） 放射状（英語版） 対称（英語版） 線型錐（部分集合） 凸錐（部分集合）
線型位相空間のタイプ	バナッハ 樽型 界相 Brauner（英語版） F-空間 有限次元 フレシェ (tame) ヒルベルト LF空間 局所凸 マッキー（英語版） モンテル 核型 ノルム付き（ノルム） 準ノルム付き 回帰的 リース スミス（英語版） Stereotype（英語版） ウェブ付き 位相テンソル積（英語版）（ヒルベルト空間の（英語版））
位相	双対 双対空間 作用素 強（極 作用素） Ultrastrong（英語版） 弱（作用素） Ultraweak（英語版） 一様収束（英語版）
線型作用素	随伴 双線型（形式） 有界 / 非有界 閉（英語版） 連続 / 不連続 コンパクト フレドホルム ヒルベルト＝シュミット 汎関数（正（英語版）） 正規 核 自己共役 Strictly singular（英語版） トレースクラス 転置 ユニタリ
集合の操作	代数的内部（核） 内部 ミンコフスキー和（英語版） 極
バナッハ環	C*-環 スペクトル（C*-環（英語版） 半径) スペクトル理論
定理	Eberlein–Šmulian（英語版） 開写像 角谷の不動点 ゲルファント＝マズール コーシー＝シュワルツの不等式 Goldstine（英語版） シャウダーの不動点 パーセヴァルの等式 ハーン–バナッハ（分離超平面） バナッハ＝アラオグル Banach–Saks（英語版） Banach–Mazur（英語版） フロイデンタールのスペクトル 閉値域 閉グラフ ベッセルの不等式 マッキー＝アレンス マズールの補題 リースの拡張 Lomonosov's invariant subspace（英語版） ニュートン＝カントロビッチ
解析	ボホナー空間 フレシェ空間における微分（英語版） 微分（フレシェ ガトー 汎函数 holomorphic（英語版）） 積分（ボホナー Dunford ゲルファント＝ペティス 方正 弱) 汎函数計算（Borel（英語版） continuous（英語版） holomorphic（英語版）） 逆函数定理（Nash–Moser theorem（英語版）） ベクトル測度
応用	量子力学の数学的定式化 有限要素法 偏微分方程式の解に対する精度保証付き数値計算
日本人研究者	加藤敏夫 吉田耕作 藤田宏 増田久弥
海外の研究者	リース・フリジェシュ ステファン・バナフ ダフィット・ヒルベルト イズライル・ゲルファント ピーター・ラックス
カテゴリ

Template:Hilbert space