|
|
| 1行目: |
1行目: |
| − | [[数学]]における'''リンデレフ空間'''（リンデレフくうかん、{{lang-en-short|''Lindelöf space''}}; リンデレーフ空間）は、任意の[[開被覆]]が[[可算集合|可算]][[部分被覆]]を持つような[[位相空間]]である。リンデレフ性は、'''有限'''部分被覆の存在を要求する[[コンパクト空間|コンパクト性]]の概念を弱めたものである。
| + | {{テンプレート:20180815sk}} |
| − | | |
| − | '''強リンデレフ空間''' {{lang|en|(''strongly Lindelöf'')}} あるいは'''遺伝的リンデレフ空間''' {{lang|en|(''hereditarily Lindelöf'')}} は任意の開集合がリンデレフ、すなわち任意の[[部分位相空間|部分空間]]にリンデレフ性が遺伝するような位相空間である。
| |
| − | | |
| − | リンデレフ空間の名称は[[フィンランド]]の[[数学者]][[エルンスト・レオナルド・リンデレーフ]]に因んで名づけられた。
| |
| − | | |
| − | == リンデレフ空間の性質 ==
| |
| − | 一般には、リンデレフ性と（[[パラコンパクト空間|パラコンパクト性]]などの）他のコンパクト性条件との間には（どちら向きにも）包含関係は成立しないが、森田の定理により任意の[[正則空間|正則]]リンデレフ空間はパラコンパクトである。また任意の[[第二可算空間]]はリンデレフだが、逆は成り立たない。
| |
| − | | |
| − | ただし、[[距離空間]]に話を限れば状況は単純であり、距離空間がリンデレフであるための必要十分条件は、それが[[可分空間|可分]]であることであり、また[[第二可算空間|第二可算]]であることである。
| |
| − | | |
| − | リンデレフ空間の[[開部分空間]]は必ずしもリンデレフでないが、閉部分空間は必ずリンデレフになる。
| |
| − | | |
| − | リンデレフであることは[[連続写像]]によって保たれるが、直積を取る操作については（有限積に限っても）閉じていない。
| |
| − | | |
| − | リンデレフ空間がコンパクトであることと、それが[[可算コンパクト]]であることとは同値である。
| |
| − | | |
| − | 任意の[[σコンパクト空間]]はリンデレフである。
| |
| − | | |
| − | == 強リンデレフ空間の性質 ==
| |
| − | * 任意の[[第二可算空間]]は強リンデレフである。
| |
| − | * 任意の[[ススリン空間]]は強リンデレフである。
| |
| − | * 強リンデレフ空間は可算和を取る操作、部分空間を取る操作、連続像を取る操作で閉じている。
| |
| − | * 強リンデレフ空間上の任意の[[ラドン測度]]は緩増加 (moderated) である。
| |
| − | | |
| − | == リンデレフ空間の積空間 ==
| |
| − | リンデレフ空間の[[直積空間]]は必ずしもリンデレフでない。そのことを示すのによく用いられる例として、[[実数]]全体の成す集合 '''R''' に[[半開区間位相]]を入れたもの（[[ゾルゲンフライ直線]]）二つの直積として得られる[[ゾルゲンフライ平面]] '''S''' がある。ゾルゲンフライ平面の[[開集合]]は、左側と下側の辺を含み上側と右側の辺を含まない半開矩形（頂点は左下のみ含む）の有限和で与えられる。
| |
| − | | |
| − | '''S''' の開被覆として、
| |
| − | # ''x'' < ''y'' なる点 (''x'', ''y'') 全体の成す集合、
| |
| − | # ''x'' + 1 > ''y'' なる点 (''x'', ''y'') 全体の成す集合、
| |
| − | # 各実数 ''x'' に対する、半開矩形 [''x'', ''x'' + 2)×[−''x'',  −''x'' + 2)
| |
| − | からなるものを考える。ここで注意すべきは、各矩形 [''x'', ''x'' + 2)×[−''x'',  −''x'' + 2) が直線 ''x'' = − ''y'' 上の点をただ一つだけ覆うことである。この直線上の点は、この被覆のほかのどの集合にも含まれないから、この被覆の真の部分被覆は存在せず、それはつまりこの被覆は可算部分被覆を持たないことを意味する。
| |
| − | | |
| − | ゾルゲンフライ平面 '''S''' がリンデレフでないことは、直線 ''x'' = −''y'' が '''S''' の閉かつ[[非可算]][[離散空間|離散部分空間]]を定めることからも分かる。この部分空間はリンデレフではないから、全体空間もリンデレフではない（リンデレフ空間の閉部分空間はリンデレフでなければならない）。
| |
| − | | |
| − | リンデレフ空間とコンパクト空間との直積はリンデレフである。
| |
| − | | |
| − | == 一般化 ==
| |
| − | コンパクト空間とリンデレフ空間をともに一般化するものとして、（任意の[[濃度 (数学)|基数]] κ に対して）位相空間が κ-コンパクトあるいは κ-リンデレフであるとは、任意の開被覆が濃度が κ '''よりも'''小さい部分被覆をもつときにいう。これによれば、コンパクト空間は ℵ<sub>0</sub>-コンパクトであり、リンデレフ空間は ℵ<sub>1</sub>-コンパクトである。
| |
| − | | |
| − | '''リンデレフ度''' {{lang|en|(''Lindelöf degree'')}} 若しくは'''リンデレフ数''' {{lang|en|(''Lindelöf number'')}} ''l''(''X'') は、空間 ''X'' の任意の開被覆が高々 κ であるような部分被覆をもつような基数 κ の最小値として定義される。これを用いると、''X'' がリンデレフであることは、''l''(''X'') = ℵ<sub>0</sub> が成り立つことに他ならない。このように定義されたリンデレフ数は、コンパクト空間とコンパクトでないリンデレフ空間とを区別することができないので、文献によってはリンデレフ数を「空間 ''X'' の任意の開被覆が必ず κ よりも小さい基数の部分被覆をもつような基数 κ の最小値」と定義するものもある<ref>Mary Ellen Rudin, Lectures on set theoretic topology, Conference Board of the Mathematical Sciences, American Mathematical Society, 1975, p. 4, retrievable on Google Books [http://books.google.it/books?id=_LiqC3Y3kmsC&pg=PA4&dq=%22between+compact+and+lindel%C3%B6f%22&hl=it&ei=3SZtTdTGCYu28QP68aGYBQ&sa=X&oi=book_result&ct=book-thumbnail&resnum=1&ved=0CCwQ6wEwAA#v=onepage&q&f=false]</ref>。後者の意味でのリンデレフ数は、''X'' が κ-コンパクトとなるような最小の基数 κ に他ならず、これを空間 ''X'' の'''コンパクト度'''と呼ぶ{{Citation needed|date=February 2011}}こともある。
| |
| − | | |
| − | == 関連項目 ==
| |
| − | * [[可算公理]]
| |
| − | * [[リンデレフの補題]]
| |
| − | | |
| − | == 注釈 ==
| |
| − | {{reflist}}
| |
| − | | |
| − | == 参考文献 ==
| |
| − | {{refbegin}}
| |
| − | * Michael Gemignani, ''Elementary Topology'' (ISBN 0-486-66522-4) (see especially section 7.2)
| |
| − | * {{Cite book | last1=Steen | first1=Lynn Arthur | author1-link=リイン・アーサー・スティーン | last2=Seebach | first2=J. Arthur Jr. | author2-link=J.アーサー・シーバック・ジュニア | title=[[Counterexamples in Topology]] | origyear=1978 | publisher=[[シュプリンガー・フェアラーク|Springer-Verlag]] | location=Berlin, New York | edition=[[ドーバー出版|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | mr=507446 | year=1995}}
| |
| − | * {{cite book | author=I. Juhász | title=Cardinal functions in topology - ten years later | publisher=Math. Centre Tracts, Amsterdam | year=1980 | isbn=90-6196-196-3}}
| |
| − | {{refend}}
| |
| − | | |
| − | == 外部リンク ==
| |
| − | * {{PlanetMath|urlname=Lindelof|title=Lindelöf space}}
| |
| − | | |
| − | {{DEFAULTSORT:りんてれふくうかん}}
| |
| − | [[Category:コンパクト性条件]]
| |
| − | [[Category:位相空間論]]
| |
| − | [[Category:位相的構造]]
| |
| − | [[Category:数学に関する記事]]
| |