315: コンパクトC^\inftyマニフォールド(多様体)に対して、ポイントのシーケンス(列)は、収束するサブシーケンス(部分列)を持つ
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
コンパクトマニフォールド(多様体)に対して、ポイントのシーケンス(列)は、収束するサブシーケンス(部分列)を持つことの記述/証明
話題
About:
マニフォールド(多様体)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、任意のコンパクトマニフォールド(多様体)に対して、任意の、ポイントのシーケンス(列)は、ある収束するサブシーケンス(部分列)を持つという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のコンパクトマニフォールド(多様体)Mに対して、任意の、ポイントのシーケンス(列)は、ある収束するサブシーケンス(部分列)を持つ。
2: 証明
もしも、Sが有限個の要素のみを持っていれば、S自体が収束するサブシーケンス(部分列)であり、最終要素が収束ポイントである。
Sは無限個の要素を持つと仮定する。次を満たすあるポイントがある、つまり、pのあらゆるネイバーフッド(近傍)がSの無限個の要素を持っている、なぜなら、もしもそうでなければ、M上のあらゆるポイントが、Sの有限個の要素のみを含むあるネイバーフッド(近傍)を持つこととなり、そのようなネイバーフッド(近傍)全ての集合はオープンカバー(開被覆)を成すこととなり、それは、ある有限サブカバー(部分カバー)を持つこととなるが、それは不可能である、なぜなら、それでは、Sは有限個の要素のみを持つことになるから。さて、pの周りに任意のチャートを取る、そして、各自然数iに対して、昇順に繰り返して、あるオープンセット(開集合)を、上のの周りのオープンボール(開球)で半径がと、i - 1に対して取った半径の両方より小さいものに対応するように取れる、それが可能なのは、が上でオープン(開)だから。はSの無限個の要素を含んでおり、その内の最初の、まだ取られていない要素を、我々のサブシーケンス(部分列)のi番目要素として取る。こうして、当該サブシーケンス(部分列)のi番目および引き続く要素全てがに含まれる。課題は、pの任意のネイバーフッド(近傍)に対して、あるを選ぶことである。を取る、すると、あるjに対して、オープンボール(開球)がある、そして。こうして、pの任意のネイバーフッド(近傍)に対して、当該サブシーケンス(部分列)のj番目および引き続く要素全てがそのネイバーフッド(近傍)に含まれており、それは、当該サブシーケンス(部分列)はpに収束することを意味している。
3: 注
マニフォールド(多様体)はメトリック(計量)を持つようには求められない、収束性は、メトリック(計量)の概念なしに任意のトポロジカルスペース(空間)に対して定義されているから、しかし、それにもかかわらず、当命題はトポロジカルスペース(空間)がマニフォールド(多様体)であることを要求する、それはチャートを利用するから。
マニフォールド(多様体)の代わりに任意のメトリック(計量)スペース(空間)でもよい、それは、スペース(空間)内に直接にオープンボール(開球)たちを持っているから。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>