一様空間への一般化とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 一様空間への一般化の意味・解説 

一様空間への一般化

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/13 08:36 UTC 版)

コンパクト空間」の記事における「一様空間への一般化」の解説

コンパクト性と「全有界かつ完備」が同値になる事は距離空間よりも一般的な一様空間でも成立する定理 (一様空間におけるコンパクト性特徴づけ) ― X を一様空間とするとき以下の3つ同値である。 X はコンパクトである。 X は全有界かつ完備である。 一様空間の定義当該項目参照されたい。一様空間における全有界性完備性は以下のように定義される: 定義・定理 (一様空間における全有界性) ― ( X , U ) {\displaystyle (X,{\mathcal {U}})} を一様空間とし、DをX上の擬距離集合でDが定め一様構造が U {\displaystyle {\mathcal {U}}} と一致するものとする。 このとき以下の条件全て同値である。これらの条件少なくとも1つ(したがって全て)を満たすとき、 ( X , U ) {\displaystyle (X,{\mathcal {U}})} は全有界(英: totally bounded)もしくはプレコンパクト(英: precompact)であるという。 任意の近縁 U ∈ U {\displaystyle U\in {\mathcal {U}}} に対し、ある有限集合F∈Xが存在し、 ∪ x ∈ F U [ x ] = X {\displaystyle \cup _{x\in F}U[x]=X} である。 任意の擬距離d∈Dと任意の実数ε>0に対し、Xの有限部分集合Fが存在し、 ∪ x ∈ F { y ∣ d ( x , y ) < ε } = X {\displaystyle \cup _{x\in F}\{y\mid d(x,y)<\varepsilon \}=X} が成立する。 X上の任意の有向点族部分有向点族コーシーなものを持つ。 定義 (一様空間完備性) ― 距離空間 X が完備であるとは X 上の任意のコーシー有向点族少なくとも1つ極限を持つ事をいう。 上で少なくとも1つ極限を持つ」という言い方をしているのは、 U {\displaystyle {\mathcal {U}}} が定め位相構造ハウスドルフでない限り有向点族収束の一意性保証されないからである。

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


一様空間への一般化

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/04/26 16:59 UTC 版)

一様コーシー列」の記事における「一様空間への一般化」の解説

ある集合 S から距離空間 U への函数列 { f n } {\displaystyle \{f_{n}\}} が一様コーシーであるとは、次が成り立つことをいう: すべての x ∈ S {\displaystyle x\in S} と任意の近縁 ε {\displaystyle \varepsilon } に対して、ある N > 0 {\displaystyle N>0} が存在し、 m , n > N {\displaystyle m,n>N} であるなら d ( f n ( x ) , f m ( x ) ) < ε {\displaystyle d(f_{n}(x),f_{m}(x))<\varepsilon } が常に成り立つ。

※この「一様空間への一般化」の解説は、「一様コーシー列」の解説の一部です。
「一様空間への一般化」を含む「一様コーシー列」の記事については、「一様コーシー列」の概要を参照ください。

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



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「一様空間への一般化」の関連用語

一様空間への一般化のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



一様空間への一般化のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのコンパクト空間 (改訂履歴)、一様コーシー列 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS