インタラクティブな実解析

トポロジー

5.2。 コンパクト集合と完全集合

実線上のすべての開集合は、互いに素な開区間の可算和集合として書くことができることをすでに見てきました。 ここでは、閉じた集合を詳しく見ていきます。 実数直線の中で最も重要な閉集合の型はコンパクト集合と呼ばれる。:

定義5.2.1: コンパクトセット
実数全体の集合Sがコンパクトであるとは、Sのすべての列が再びSに含まれる元に収束する部分列を持つときである。
例5.2.2:
  • 間隔はコンパクトですか? どのように、とC= { (-1/2, 1/2), (1/3, 2/3), (1/2, 3/2)}. CはSのための開いたカバーであるか。
  • をS=とする。 固定された&gt0に対して={tR:|t-|&ltandS}を定義します。 すべてのコレクションです{ }, S、Sのための開いたカバーか。 Sをカバーするために実際に必要なタイプのセットは何組ですか?
  • S=(0,1)とする。 集合C={(1|j,1),for all j&gt0}を定義する。 CはSのための開いたカバーであるか。 Sをカバーするために実際に必要なコレクションCのセットはいくつありますか?

ここでは、開集合のみに基づくコンパクト集合の特徴付けがあります:

定理5.2.6: ハイネ=ボレルの定理
実数全体の集合Sがコンパクトであるための必要十分条件は、Sのすべての開被覆Cが有限部分被覆に還元できることである。

コンパクト集合は有限集合と多くの性質を共有する。 例えば、AとBがABを持つ2つの空でない集合であれば、AB#0となる。 つまり、実際には、有限個の集合に対しても真であるが、無限に多くの集合に対しては真ではない。

例5.2.7:
  • すべてのj&gt0に対する集合(0,1/j)の集合を考える。 これらのセットのすべての共通部分は何ですか?
  • 交差が空であり、各集合がその前身に含まれるような無限に多くの閉集合を見つけることができますか? つまり、aj+1AjおよびAj=0のようなセットAjを見つけることができますか?

一方、コンパクトセットには、次のniceプロパティがあり、次の章のいくつかで使用されます:

命題5.2.8:ネストされたコンパクト集合の共通部分
{Aj}を各Ajが空でなくコンパクトでAj+1Ajとなるような集合の集合とする。 その場合、A=Ajは空ではありません。

閉じた集合のもう一つの興味深いコレクションは完璧な集合です:

定義5.2.9:完璧なセット
集合Sが完全であるとは、それが閉じていてSのすべての点がsの累積点であることをいう。
例5.2.10:
  • 完璧なセットを見つける。 完璧ではない閉じたセットを見つけます。 完璧ではないコンパクトなセットを見つけます。 完全ではない非有界閉集合を見つけます。 コンパクトでも完全でもない閉じた集合を見つけます。
  • は集合{1,1/2,1/3,…}完璧? どのようにセット{1、1/2、1/3、について。..} {0} ?

上記の結果を応用すると、完全集合は多くの点を含む閉集合であることがわかります:

命題5.2.11:完全集合は無計画である
すべての空でない完全集合は無計画でなければなりません。

これは、区間が無計画であるという事実の迅速ではなく洗練された証明をもたらすことができます。

閉でコンパクトで完全な集合のもう一つの、むしろ特異な例はカントール集合である。

定義5.2.12: カントール中三セット
単位間隔で開始

s0=

その中三分の一を設定し、設定から削除

S1=S0\(1/3,2/3)

その中三分の二を設定し、設定から削除

S2=S1\ { (1/9, 2/9) (7/9, 8/9) }

このようにして、

Sn+1=Sn\{Snの部分区間の中間三分の一}

とすると、カントール集合Cは

C=Snと定義されます

カントール集合は、実数直線における閉集合の複雑な構造の指標を与える。 それは次の特性を持っています:

例5.2.13:Cantorセットのプロパティ
  • カントール集合がコンパクトであることを示す(すなわち、閉じて有界)
  • Cantor集合が完全であることを示します(したがって、数えられない)。)
  • Cantor集合の長さはゼロですが、数え切れないほど多くの点が含まれていることを示します。
  • カントール集合にオープン集合が含まれていないことを示します

このセットについて考えてみてください。

  • 長さゼロのセットは、数え切れないほど多くの点を含むことができることは驚くべきことです。
  • 完全集合は開集合を含む必要はない

したがって、カントール集合は実線の閉部分集合が直感が最初に示唆するよりも複雑になる可能性があることを示している。 実際には、解析において困難で直感に反するオブジェクトを構築するためによく使用されます。

次|前|用語集|地図

コメントを残す

メールアドレスが公開されることはありません。

Previous post GoodTherapy
Next post ケレブ・ドレッセルは、論争の的となっている水着で20秒の障壁を目にする