全有界空間

全有界空間についての概要

位相幾何学の分野において、全有界空間は特定の条件を満たす空間のことを指します。具体的には、任意の指定された大きさに対して、有限個の部分集合によって完全に覆うことができる空間のことを指します。この「大きさ」という概念は文脈により異なる意味を持ちます。

全有界空間の定義

全[有界]]空間は、任意の正の実数ϵに対して、空間内の半径ϵの開球の有限個の集まりでその空間を覆うことができる場合、全有界であると言います。具体的には、もし距離空間]が全[[有界であるためには、任意のϵ > 0に対し、M内の半径ϵの開球を用いてMを覆えるような選択が可能でなければなりません。これにより、例えばすべての部分集合が全有界であることが保証されますが、空間自体が全有界であるとは限りません。

関連する概念

全有界性に関連して、「全有界集合」という用語も登場します。空間内のある部分集合が全有界であるためには、与えられた大きさに対して部分集合が利用され、それが有限の組に含まれる必要があります。全有界な空間内の任意の部分集合は全有界ですが、すべての空間が同様に全有界というわけではありません。

全有界性は他にも「プレコンパクト」という表現が用いられることがありますが、この語は相対コンパクトを指す場合もあるため混同が生じやすいです。完備距離空間において、プレコンパクト性と全有界性は一致しますが、一般的なケースでは同じものと見なすことはできません。

具体的な条件

距離空間が全有界であるためのもう一つの条件は、全てのϵ > 0に対して、各要素の大きさがせいぜいϵであるような有限の被覆が存在することです。この条件はまた、有限ε-ネットの存在とも同義です。全有界空間の場合、その集合は必然的に有界となりますが、有界であるからといって全有界であるとは限りません。争点として、離散距離を持つ無限集合は明らかに有界ですが全有界ではありません。一方で、ユークリッド空間の特定の条件下においては、有界であることが全有界であるための必要十分条件となります。

他の文脈での定義

一般的に、空間の部分集合が全有界であるためには、与えられた任意の大きさに対して、自然数nとその大きさが指定以下である部分集合の族が存在していなければなりません。これは、全有界性を示すための重要な条件となります。さらに、空間自体が全有界空間であるためには、自己の部分集合と見なした場合に全有界でなければなりません。

コンパクト性との関係

全有界性はコンパクト性とは密接に関連しています。すべてのコンパクト距離空間は全有界でありますが、全有界性はコーシー完備化においてもその空間がコンパクトであることを特定させます。これにより、全有界性とコンパクト性の相互の役割を理解することが可能です。

まとめ

全有界性は位相幾何学の中で非常に重要な概念であり、他の数学の基礎的概念、例えばコンパクト性やプレコンパクト性と密接に関連しています。全有界空間の理解は、数学的な解析や幾何学的な課題において基盤となる部分と言えるでしょう。

これにより、全有界性に関する基本的な知識とそれに関連する概念についての理解を深めることができるでしょう。

もう一度検索