数学において被覆(ひふく、cover)とは、ある集合がその集合の部分集合で覆われるとき、その部分集合の族のことをいう。

定義編集

集合 S に対し、I を添字集合とする S の部分集合族 {Ui}iI

 

を満たすとき、集合族 {Ui}iI を集合 S被覆と呼ぶ。

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

集合 XX の部分集合 S に対し、

 

を満たす X の部分集合族 {Ui}iIX の部分集合 S の(X における)被覆と呼ぶ。

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

被覆の例編集

以下   は正の整数全体の集合、  は実数全体の集合とする。

 

よって、集合族   は開区間 (0, 1) の被覆である。

 

よって、集合族   は半開区間 [0, 1) の   における被覆である。

被覆に関するいくつかの定義編集

被覆の性質に関する定義編集

集合 S とその被覆 U = {Ui | iI} に対して

  • 添字集合 I有限集合である場合、有限被覆 (finite cover) という。

以下では S位相空間とする。

  • 被覆 {Ui}iI において Ui が全て開集合である場合、その被覆を開被覆 (open cover) という。
  • 任意の xS に対して VUi が空ではないような i が有限個になるような x近傍 V が存在するならば、この被覆は局所有限 (locally finite) であるという。

被覆同士の関係についての定義編集

集合 S と その被覆 U = {Ui | iI} 、被覆 V = {Vj | jJ} があるとする。以下で開被覆を考えているときは、 S は位相空間であるとする。

  • 以下の条件を満たすとき、{Vj | jJ} を {Ui | iI} の部分被覆 (subcover) という。
     
    • 開集合からなる部分被覆を部分開被覆、有限被覆となる部分被覆を有限部分被覆という。同様に開被覆からなる有限部分被覆は有限部分開被覆という。
  • 以下の条件を満たすとき、{Vj | jJ} を {Ui | iI} の細分 (refinement) という。
     
    • 有限被覆となる細分を有限細分という。開被覆の細分を考えるときには暗黙に開集合からなる細分であることを仮定している場合が多い。

関連項目編集

参考文献編集

  • 鈴木 晋一『曲面の線形トポロジー<上>、<下>』槇書店、1986年。ISBN 4837505570