ヒルベルト多様体のソースを表示

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

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

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

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

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

== 出典 ==
* {{Citation|title=Riemannian Geometry|last=Klingenberg|first=Wilhelm|year=1982|publisher=W. de Gruyter|location=Berlin|isbn=978-3-11-008673-7}}. Contains a general introduction to Hilbert manifolds and many details about the free loop space.
* {{Citation|title=Differential and Riemannian Manifolds|last=Lang|first=Serge|year=1995|publisher=Springer|location=New York|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

== 外部リンク ==
* [http://www.map.mpim-bonn.mpg.de/Hilbert_manifold Hilbert manifold] at the Manifold Atlas
{{Functional Analysis}}
{{DEFAULTSORT:ひるへるとたようたい}}
[[Category:リーマン多様体]]
[[Category:リーマン幾何学]]
[[Category:多様体論]]
[[Category:位相空間論]]
[[Category:微分幾何学]]
[[Category:数学に関する記事]]