集合の被覆のソースを表示

{{for|他の被覆|被覆}}
[[数学]]において'''被覆'''（ひふく、cover）とは、ある[[集合]]がその集合の[[部分集合]]の[[族 (数学)|族]]で覆われるとき、その部分集合の族のことをいう。

== 定義 ==
集合 ''S'' に対し、''I'' を添字集合とする ''S'' の部分集合族 {''U''<sub>''i''</sub>}<sub>''i''&isin;''I''</sub> が
:<math>S = \bigcup_{i \in I} U_i</math>
を満たすとき、集合族 {''U''<sub>''i''</sub>}<sub>''i''&isin;''I''</sub> を集合 ''S'' の'''被覆'''と呼ぶ。

''S'' を部分集合にもつ集合 ''X'' が与えられているとき、被覆の概念を次のように少し拡張したものもよく用いられる。

集合 ''X'' と ''X'' の部分集合 ''S'' に対し、
:<math>S \subseteq \bigcup_{i\in I}U_i</math>
を満たす ''X'' の部分集合族 {''U''<sub>''i''</sub>}<sub>''i''&isin;''I''</sub> を ''X'' の部分集合 ''S'' の（''X'' における）'''被覆'''と呼ぶ。

もし ''X'' が ''S'' に一致すれば、これは最初の意味での被覆である。

== 被覆の例 ==
以下 <math>\mathbb{N}</math> は正の整数全体の集合、<math>\mathbb{R}</math> は実数全体の集合とする。
:<math>(0,1) = \bigcup_{n=3}^{\infty} \left[{1\over n}, 1 - {1 \over n}\right].</math>
よって、集合族 <math>\{[1/n, 1-1/n]\}_{n\in\N\setminus\{1,2\}}</math> は開区間 (0, 1) の被覆である。
:<math>[0,1) \subset \bigcup_{n=1}^\infty \left(-{1\over n}, 1-{1 \over n}\right).</math>
よって、集合族 <math>\{(-1/n, 1-1/n)\}_{n\in\mathbb{N}}</math> は半開区間 [0, 1) の <math>\mathbb{R}</math> における被覆である。

== 被覆に関するいくつかの定義 ==
=== 被覆の性質に関する定義 ===
集合 ''S'' とその被覆 ''U'' = {''U''<sub>''i''</sub> | ''i'' &isin; ''I''} に対して
* 添字集合 ''I'' が[[有限集合]]である場合、'''有限被覆''' (finite cover) という。
以下では ''S'' を[[位相空間]]とする。
* 被覆 {''U''<sub>''i''</sub>}<sub>''i'' &isin; ''I'' </sub> において ''U''<sub>''i''</sub> が全て[[開集合]]である場合、その被覆を'''開被覆''' (open cover) という。
*任意の ''x'' &isin; ''S'' に対して ''V'' &cap; ''U''<sub>''i''</sub> が空ではないような ''i'' が有限個になるような ''x'' の[[位相空間#閉集合を使った特徴づけ|近傍]] ''V'' が存在するならば、この被覆は'''[[局所有限]]''' (locally finite) であるという。

=== 被覆同士の関係についての定義 ===
集合 ''S'' と その被覆 ''U'' = {''U''<sub>''i''</sub> | ''i'' &isin; ''I''} 、被覆 ''V'' =  {''V''<sub>''j''</sub> | ''j'' &isin; ''J''} があるとする。以下で開被覆を考えているときは、 ''S'' は位相空間であるとする。
* 以下の条件を満たすとき、{''V''<sub>''j''</sub> | ''j'' &isin; ''J''} を {''U''<sub>''i''</sub> | ''i'' &isin; ''I''} の'''部分被覆''' (subcover) という。
*:<math>\forall j\in J, \exist k\in I \quad \text{s.t.} \; V_j = U_k</math>
** 開集合からなる部分被覆を'''部分開被覆'''、有限被覆となる部分被覆を'''有限部分被覆'''という。同様に開被覆からなる有限部分被覆は'''有限部分開被覆'''という。
* 以下の条件を満たすとき、{''V''<sub>''j''</sub> | ''j'' &isin; ''J''} を {''U''<sub>''i''</sub> | ''i'' &isin; ''I''} の'''細分''' (refinement) という。
*:<math>\forall j\in J, \exist k\in I \quad \text{s.t.} \; V_j \subseteq U_k</math>
** 有限被覆となる細分を'''有限細分'''という。開被覆の細分を考えるときには暗黙に開集合からなる細分であることを仮定している場合が多い。

== 関連項目 ==
* [[位相空間]]
* [[コンパクト (数学)|コンパクト]]
* [[層 (数学)]]
* [[アーベル圏]]

== 参考文献 ==
* {{Cite book | 和書 | author=鈴木 晋一 | title=曲面の線形トポロジー＜上＞、＜下＞ | year=1986 | publisher=槇書店 | isbn=4837505570 }} 

{{DEFAULTSORT:ひふく}}
[[Category:位相幾何学]]
[[Category:数学に関する記事]]