コンパクト空間とは何？わかりやすく解説 Weblio辞書

ウィキペディア

索引トップ用語の索引ランキングカテゴリー

コンパクト空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/10 03:23 UTC 版)

位相空間がコンパクト（英: compact, /kəmˈpækt/^[1]）であるとは、後述する所定の性質を満たす「性質の良い」空間であり、 $\mathbb {R} ^{n}$ 上の有界閉集合の性質を抽象化したもの。

脚注

注釈

^ この部分の議論はコンパクト化の概念を定義する事により、厳密化する事ができる
^ なお、閉多様体という言葉は書籍により意味の違いがあり、コンパクトな多様体を閉多様体と呼ぶものと、コンパクトで縁のない多様体を閉多様体と呼ぶものが有る
^ より厳密に言うと、有向集合 $(Λ,\leq)$ と、 $Λ$ から $X$ への写像 $x : Λ \to X$ の組の事を $Λ$ を添字集合とする有向点族と呼ぶ
^ 単に「ボルツァーノ・ワイエルシュトラス性」といったとき有向点族に対するものを指すのか点列に対するものを指すのかは書籍により異なるので注意が必要である。
^ なお、任意の点列が収束部分列を持つこと（すなわち点列コンパクトである事）と集積点を持つ事とは一見同値にみえるが、 $X$ が第一可算公理を満たさない場合は前者のほうが後者よりも一般には強い条件である。 $X$ が第一可算公理を満たしさえすれば、点列 $(x_{n})_{n\in \mathbb {N} }$ の集積点 $x \in X$ の加算近傍系 ${\mathcal {B}}$ に属する各近傍から $(x_{n})_{n\in \mathbb {N} }$ の元を一つずつ選ぶことで $x$ に収束する部分列を取れるが（具体的には ${\mathcal {B}}=(B_{m})_{m\in \mathbb {N} }$ とするとき、 $n_{m}:=\min\{n\in \mathbb {N} \mid x_{n}\in \cap _{k\leq m}B_{m}\}$ とすれば、部分列 $(x_{n_{m}})_{m\in \mathbb {N} }$ は $x$ に収束する）、 $X$ が第一可算公理を満たさない場合はこのような手法で $x$ に収束する部分列を作る事ができないからである。
^ #Schechter p.449ではパラコンパクト性質の条件としてハウスドルフではなくそれより弱い「preregular」を課しているが、この意味でのパラコンパクト性を満たせばハウスドルフになる事が示されているので定義は同値である
^ なお#Schechter p.449.ではハウスドルフではなくそれより弱い「preregular」(同文献p.439-440参照)をこの定理に課しているが別の注釈ですでに述べたようにパラコンパクトな空間ではpreregularならハウスドルフである

出典

^ “Cambridge English Dictionary”. 2021年1月19日閲覧。
^ ^a ^b #Kelly pp.65-66.
^ ^a ^b #Schechter 7.6
^ ^a ^b ^c ^d ^e #Kelly pp.135-136.
^ #Schechter p.461.
^ #Kelly p.141.
^ #内田 p.146
^ #内田 pp.145-146.なお、この文献では必要性しか示されていないが、十分性に関しても以下のアイデアで示せる： ${\bar {X}}$ を $X$ の完備化とすると、仮定より ${\bar {X}}$ 上の点列はコーシー列を部分列に持ち、 ${\bar {X}}$ は完備なのでこのコーシー列は収束する。すなわち ${\bar {X}}$ は点列コンパクトである。点列コンパクトは全有界かつ完備である事と同値なので、 ${\bar {X}}$ は全有界であり、したがって $X$ も全有界である。
^ #Kelly p.198.
^ #Schechter pp.505-506.
^ #Schechter p.507
^ #Heil p.3.
^ #内田 p.95
^ #内田 p.118.
^ 「コンパクト⇒点列コンパクト」は定義より明らか。「可算コンパクト⇒擬コンパクト」は#Schechter p.468より。「点列コンパクト⇒可算コンパクト」は#Kelly p.162より可算コンパクト性は任意の点列が集積点を持つ事と同値なので。ここで点 $x \in X$ が点列 $(x_{n})_{n\in \mathbb {N} }$ の集積点であるとは、 $x$ の任意の近傍 $N$ に対し、 $x_{n}\in N$ となる $n$ が無限個ある事をいう（#Kelly p.71）^{[注 5]}。
^ #Schechter p.470
^ #Kelly p.162.
^ #Schechter p.468
^ ^a ^b ^c ^d #Kelly pp.156-161.
^ ^a ^b #Kelly pp.126,128.
^ #Kelly p.171.
^ #Willard、Theorem 16.9, p. 111
^ #Willard、Theorem 16.11, p. 112
^ #松島，p. 86.
^ ^a ^b #Kelly p.172.
^ Kelly p.171.
^ ^a ^b ^c #Schechter p.445.
^ #Schechter p.449.

[続きの解説]

「コンパクト空間」の続きの解説一覧

ウィキペディア小見出し辞書

索引トップランキング

コンパクト空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/03/02 04:27 UTC 版)

「測度の緊密性」の記事における「コンパクト空間」の解説

X が距離化可能なコンパクト空間であるなら、X 上のすべての（複素測度でもあり得る）測度の全体は緊密である。距離化不可能なコンパクト空間に対しては、この限りではない。区間 [ 0 , ω 1 ] {\displaystyle [0,\omega _{1}]} を順序位相（英語版）を備えるものとすると、その上にはある内部正則ではない測度 μ {\displaystyle \mu } が存在する。したがって単元集合 { μ } {\displaystyle \{\mu \}} は緊密ではない。

※この「コンパクト空間」の解説は、「測度の緊密性」の解説の一部です。
「コンパクト空間」を含む「測度の緊密性」の記事については、「測度の緊密性」の概要を参照ください。

ウィキペディア小見出し辞書の「コンパクト空間」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。

>> 「コンパクト空間」を含む用語の索引
コンパクト空間のページへのリンク

コンパクト空間とは？わかりやすく解説

コンパクト空間

注釈

出典

コンパクト空間

「コンパクト空間」の関連用語


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのコンパクト空間 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
	Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの測度の緊密性 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

コンパクト空間とは？ わかりやすく解説

コンパクト空間

注釈

出典

コンパクト空間

「コンパクト空間」の関連用語

コンパクト空間とは？わかりやすく解説