集合の被覆

被覆の概念

数学の分野において、被覆とは特定の集合がその部分集合の族によって完全に覆われることを意味します。この概念は、集合論や位相空間の研究において基本的な役割を果たしています。以下では、被覆の定義や具体例、さらに関連する性質について詳しく説明します。

被覆の定義

集合 S とその部分集合族 {U_i}（i ∈ I）が与えられたとき、この族が S を覆うとは、次の条件を満たすことを指します：

$$ S = igcup_{i ext{ ∈ } I} U_i $$

このような場合、{U_i} を集合 S の被覆と呼びます。さらに、集合 X が S を含む場合、X 内の部分集合 S に対しても同様の概念を適用し、次の条件を満たす部分集合族を S の（X における）被覆と呼びます：

$$ S ext{ ⊆ } igcup_{i ext{ ∈ } I} U_i $$

ここで、X が S に一致するとき、通常の被覆の定義と同じ意味になります。

被覆の具体例

例えば、正の整数全体の集合を ℕ、実数全体の集合を ℝとすると；

1. 区間 (0, 1) の被覆の一例として、次のような族が挙げられます：
$$ (0, 1) = igcup_{n=3}^{ ext{∞}} igg[rac{1}{n}, 1 - rac{1}{n}igg] $$
つまり、集合族 { [1/n, 1 - 1/n] }（n ∈ ℕ \\ {1, 2}）は開区間 (0, 1) を覆うことができます。

2. また、半開区間 [0, 1) に対しても、次のようにして被覆を考えることができます：
$$ [0, 1) ext{ ⊆ } igcup_{n=1}^{ ext{∞}} igg(-rac{1}{n}, 1 - rac{1}{n}igg) $$
この場合も、集合族 { (-1/n, 1 - 1/n) }（n ∈ ℕ）が [0, 1) の被覆となります。

被覆に関する定義

被覆の性質に関連する定義も多岐にわたります。以下にいくつかの主要な定義を示します：

• - 有限被覆：添字集合 I が有限である場合、これを有限被覆と呼びます。
• - 開被覆：部分集合族 {U_i} のすべてのU_iが開集合であるとき、この被覆を開被覆といいます。
• - 局所有限性：任意の点 x ∈ S に対して、近傍 V が存在して、V と {U_i} の交差が空でない i が有限個存在する場合、この被覆は局所有限です。

被覆同士の関係

また、異なる被覆の関係も重要です。具体的には次のような定義があります：

1. 部分被覆：被覆 U = {U_i | i ∈ I} と被覆 V = {V_j | j ∈ J} において、全ての j ∈ J に対して、ある i ∈ I が存在し、V_j = U_k であるならば、{V_j} は {U_i} の部分被覆と呼ばれます。
2. 細分：{V_j | j ∈ J}が{U_i | i ∈ I}の細分であるとは、全ての j ∈ J に対して、V_j ⊆ U_k となる k が存在する場合を指します。

これらの定義は、被覆の性質をより深く理解するための助けとなります。特に、開集合からなる部分被覆や細分に注目することで、位相空間の研究が進展します。

関連項目

被覆の理解は、位相空間論や数学の他の分野においても必須です。関連するテーマとして、位相空間、コンパクト性、層、アーベル圏などが挙げられます。参考として鈴木晋一著『曲面の線形トポロジー＜上＞、＜下＞』もお勧めします。

もう一度検索