痩集合のソースを表示

[[数学]]の[[位相空間論]]において、'''痩集合''' (やせしゅうごう、そうしゅうごう、{{Lang-en|meager set}})または'''第一類集合''' ({{Lang-en|set of the first category}}) とは[[位相空間]]の[[部分集合]]であって下記の厳密な意味において小さいまたは{{仮リンク|無視可能集合|en|Negligible set|label=無視可能}}なものである。痩集合でない集合は'''痩せていない''' ({{Lang-en|nonmeager}}) または'''第二類''' ({{Lang-en|of the second category}}) であると呼ばれる。

固定した空間の痩集合全体はその空間の部分集合全体の中で{{仮リンク|σ-イデアル|en|Sigma-ideal}}をなす; すなわち、痩集合の部分集合は痩集合であり、痩集合の可算和も痩集合である。痩集合は[[ベール空間]]の概念や[[ベールのカテゴリー定理]]の形式化において重要な役割をもつ。[[ベールのカテゴリー定理]]は[[関数解析]]のいくつかの基本的な結果の証明に用いられる。

== 定義 ==

全体を通して <math>X</math> は[[位相空間]]とする。

<math>X</math> の部分集合が <math>X</math> '''において痩せている''' または <math>X</math> '''の痩集合''' または <math>X</math> '''において第一類である''' とは、それが <math> X</math> の[[疎集合]]の可算和であることである（ここで、疎集合とはその閉包の内部が空である集合を指す）{{sfn|Narici|Beckenstein|2011|p=389}}。"<math>X</math> において" という但し書きは、考えている空間が固定されていて文脈から判断できる場合には省略される。

<math>X</math> の痩集合でない部分集合は <math>X</math> '''において痩せていない'''または  <math>X</math>''' の非痩集合'''または <math>X</math> '''において第二類である'''という{{sfn|Narici|Beckenstein|2011|p=389}}。

位相空間が'''痩空間'''（同様に、'''非痩空間'''）であるとは、それが自身の位相において痩せている（同様に、痩せていない）ことを言う。

<math>X</math> の部分集合 <math>A</math> が <math>X</math> '''において補痩である''' ({{Lang-en|comeager}}) または <math>X</math> '''において残留的である''' ({{Lang-en|residual}}) とは、その[[補集合]] <math>X \setminus A</math> が <math>X</math> において痩せていることをいう（ここでの接頭辞の "co" や "補" は "[[補有限]]" のような語における使われ方と同様である）。部分集合が<math>X</math> において補痩であるのはそれが <math>X</math> の部分集合で内部が稠密なものの可算交叉に等しいとき、かつそのときに限る。

非痩と補痩は全く異なる概念である。<math>X</math> 自身が痩せている場合、全ての部分集合は痩かつ補痩な集合だが、非痩ではない。<math>X</math> 自身が痩せていない場合、部分集合が痩かつ補痩となることはなく、補痩集合は全て非痩である。また、それ自身とその補集合が共に補痩でなく非痩である集合も存在しうる。

用語の補足点として、位相空間 <math>X</math> の部分集合 <math>A</math> に <math>X</math> からの[[相対位相]]を考える場合、それが痩空間であるかどうかを考えることができる。つまり、<math>A</math> それ自身が <math>X</math> からの相対位相において痩集合になっている場合 <math>A</math> は <math>X</math> の"痩部分空間"と呼ぶ。重要なことに、これは、全体空間 <math>X</math> の位相において痩集合であることと同じではない（この件については後述の性質と例の節を参照）。同様に、"非痩部分空間"も考えることができて、これも全体空間の中で非痩であることではない。しかしながら、注意すべき点として、[[位相ベクトル空間]]の文脈においては、"meagre/nonmeagre subspace" という語が全体空間に対して  meagre/nonmeagre な部分ベクトル空間の意味で用いられる場合がある<ref>{{cite web |last1=Schaefer |first1=Helmut H. |title=Topological Vector Spaces |url=https://books.google.com/books?id=5_1QAAAAMAAJ&q=%22meager+subspace%22&dq=%22meager+subspace%22 |publisher=Macmillan |date=1966|accessdate=2023-02-15}}</ref>。

第一類、第二類にあたる語 "first category" と "second category" が最初に用いられたのは[[ルネ＝ルイ・ベール]]の1899年の論文である<ref>{{cite journal |last1=Baire |first1=René |title=Sur les fonctions de variables réelles |journal=Annali di Mat. Pura ed Appl. |date=1899 |pages=1-123 |url=https://archive.org/details/surlesfonctions00bairgoog/page/n12/mode/2up |series=3}}, page 65</ref>。"痩せ" にあたる "meager" の語は[[ニコラ・ブルバキ|ブルバキ]]の1948年の著作で導入されている<ref>{{cite journal |last1=Oxtoby |first1=J. |title=Cartesian products of Baire spaces |journal=Fundamenta Mathematicae |date=1961 |volume=49 |issue=2 |pages=157–166 |doi=10.4064/fm-49-2-157-166 |url=http://matwbn.icm.edu.pl/ksiazki/fm/fm49/fm49113.pdf}}"Following Bourbaki [...], a topological space is called a Baire space if ..."</ref>{{sfn|Bourbaki|1989|p=192}}。

== 性質 ==

<math>X</math> の全ての疎部分集合は痩せている。よって、内部が空な閉集合も痩せている。すなわち <math>X</math> の閉非痩集合は空でない内部をもつ。
(1) 痩集合の部分集合は痩集合である; (2) 痩集合の可算和は痩集合である。すなわち、固定された空間における痩集合全体は部分集合全体の中で{{仮リンク|σ-イデアル|en|Sigma-ideal}}をなしていて、ある種の{{仮リンク|無視可能集合|en|Negligible set}}として適切な概念になっている。(1)と同じことであるが、非痩集合の上位集合は非痩集合である。
双対的に、(1) 補痩集合の上位集合は補痩集合である; (2) 補痩集合の可算交叉は補痩集合である。

<math>A\subseteq Y\subseteq X,</math> として、ここで <math>Y</math> は <math>X</math> から誘導される[[相対位相]]で考えるものとする。このとき、<math>A</math> は <math>X</math> において痩せていて <math>Y</math> において痩せていないことがありうる。しかしながら次のことは成立する:{{sfn|Bourbaki|1989|p=192}} 
* <math>A</math> が <math>Y</math> の痩集合であるなら <math>A</math> は <math>X</math> の痩集合である。
* <math>Y</math> が <math>X</math> において開なら、<math>A</math> が <math>Y</math> において痩せていることは <math>A</math> が <math>X</math> において痩せていることと同値になる。
* <math>Y</math> が <math>X</math>の中で稠密なときも、<math>A</math> が <math>Y</math> において痩せていることは <math>A</math> が <math>X</math> において痩せていることと同値になる。
同値なことであるが、非痩集合の方で表現すると:
* <math>A</math> が <math>X</math> の非痩集合であるなら <math>A</math> は <math>Y</math> の非痩集合である。
* <math>Y</math> が <math>X</math> において開なら、<math>A</math> が <math>Y</math> において痩せていないことは <math>A</math> が <math>X</math> において痩せていないことと同値になる。
* <math>Y</math> が <math>X</math>の中で稠密なときも、<math>A</math> が <math>Y</math> において痩せていないことは <math>A</math> が <math>X</math> において痩せていないことと同値になる。

特に、上記のリストにおいて <math>A=Y</math> の場合を考えると、<math>X</math> の部分集合であって、それ自身への相対位相の中で痩せているものは、全体空間 <math>X</math> の中でも痩せているし、<math>X</math> の非痩部分集合はそれ自身の相対位相で非痩である。そして、<math>X</math> の部分集合で開や稠密なものは、それが痩せているかどうかはそれ自身への相対位相において痩せているかどうかと一致する。

位相空間で[[孤立点]]を持つものは非痩である（孤立点を要素に持つ部分集合を考えると、孤立点はその集合にとって内点であり、その集合が疎集合になることはできない）。特に、空でない[[離散空間]]は非痩である。

位相空間 <math>X</math> が非痩であるとき、かつそのときに限り、<math>X</math> の稠密開集合の可算交叉は空にならない{{sfn|Willard|2004|loc=Theorem 25.2}}。

空でない[[ベール空間]]は非痩である。特に、[[ベールの範疇定理]]によって、空でない[[完備距離空間]]や空でない[[局所コンパクト空間|局所コンパクトハウスドルフ空間]]は非痩である。

'''バナッハの範疇定理:'''{{sfn|Oxtoby|1980|p=62}} いかなる位相空間 <math>X</math> においても、開な痩集合の任意個の和は痩集合になる。

=== 痩集合とルベーグ測度 ===

<math>\R</math> における痩集合は[[ルベーグ測度]] 0 を持つとは限らない、それどころか全空間と同じ測度を持つことすらある。例えば、区間 <math>[0,1]</math> において[[スミス–ヴォルテラ–カントール集合]]を考えるとこれは閉疎でありながらいくらでも <math>1</math> に近い測度を持つように構成できる。そこでこのような集合を、測度を <math>1</math> に近づけるようにして可算個集めて和をとったものは <math>[0,1]</math> において測度が <math>1</math> の痩部分集合となる<ref>{{cite web |title=Is there a measure zero set which isn't meagre? |url=https://mathoverflow.net/questions/43478 |website=MathOverflow|accessdate=2023-02-15}}</ref>。

双対的に、測度 0 の非痩集合もありうる。前段で作った測度 <math>1</math> の痩集合の補集合は測度 <math>0</math> で <math>[0,1]</math> の中で補痩である。<math>[0,1]</math> がベール空間なので、補痩集合は非痩でもあることが分かる。

<math>\R</math> の測度 <math>0</math> の非痩集合の他の例としては次のものもある:
:<math>\bigcap_{m=1}^{\infty}\bigcup_{n=1}^{\infty} \left(r_{n}-\left(\tfrac{1}{2}\right)^{n+m}, r_{n}+\left(\tfrac{1}{2}\right)^{n+m}\right)</math>
ここで、<math>\left(r_n\right)_{n=1}^{\infty}</math> は有理数の全体を番号付けした列である。

=== ボレル階層との関係 ===

疎集合は閉とは限らないが、閉疎集合の部分集合にはなる（特に、疎集合の閉包は閉疎集合である）。痩集合は[[Fσ集合| <math>F_{\sigma}</math> 集合]] (閉集合の可算和) そのものであるとは限らないが、痩集合の構成因子の各疎集合の閉包を取ってから和を考えれば、痩せた <math>F_{\sigma}</math> 集合の部分集合となる。

双対的に、補疎集合は開集合とは限らないが、稠密な[[開核]]を持つ。補痩集合は[[Gδ集合| <math>G_{\delta}</math> 集合]]（開集合の可算交叉）そのものであるとは限らないが、稠密な開核の可算交叉を考えれば、補痩な <math>G_{\delta}</math> 集合の上位集合となっていることが分かる。

== 例 ==

空集合はいかなる位相空間においても痩集合である。

痩せていない空間 <math>X=[0,1]\cup([2,3]\cap\Q)</math> において <math>[2,3]\cap\Q</math> は痩せているので、<math>[0,1]</math> は非痩かつ補痩と言える。

痩せていない空間 <math>X=[0,2]</math> において、<math>[0,1]</math> は非痩だが補痩ではない。実際、補集合 <math>[1,2]</math> は痩せていない。

可算な[[T1空間|T<sub>1</sub> 空間]]で[[孤立点]]を持たないものは痩空間である。なので、それを部分空間として包含するいかなる空間においても痩部分集合となる。例えば、<math>\Q</math> は <math>\R</math> の痩部分空間（すなわち、<math>\R</math> からの相対位相で考えたそれ自身が、自身の痩部分集合）であって、<math>\R</math> の痩部分集合でもある。

[[カントール集合]]は <math>\R</math> の中で疎集合であり、よって痩集合でもある。しかし、それ自身の中では痩せていない。というのも、完備距離空間になっているからである。

集合 <math>([0,1]\cap\Q)\cup\{2\}</math> は <math>\R</math> において疎ではないが痩せている。そしてそれ自身の中では痩せていない（というのも、<math>2</math> が孤立点であり、相対位相における内点であるから）。

直線 <math>\R\times\{0\}</math> は平面 <math>\R^2</math> の中で痩せている。しかし、それ自身の中では痩せていない。

空間 <math>(\Q \times \Q) \cup (\R\times\{0\})</math> (<math>\R^2</math>からの相対位相で考える) は部分空間として痩せている（前述の例と異なり、<math>\R\times\{0\}</math> の周りに有理点があることが影響している）。その痩部分集合 <math>\R\times\{0\}</math> は前述の例と同様に自身の中では痩せていない。

<math>\R</math> の部分集合 <math>H</math> で、全ての空でない開集合を二つの非痩集合に分割するものが存在する。すなわち、任意の空でない開集合 <math>U\subseteq \mathbb{R}</math> に対して、<math>U\cap H</math> と <math>U \setminus H</math> が共に非痩になる。

空間 <math>C([0,1])</math> を <math>[0,1]</math> 上の実数値連続関数全体に、[[一様収束]]性によって位相を定めたものとする。 <math>A</math> を <math>[0,1]</math> 上の実数値連続関数のうちある点で微分可能なもの全体とすると、これは痩せた集合になる<ref>{{cite journal|author=Banach, S.|title=Über die Baire'sche Kategorie gewisser Funktionenmengen|journal=Studia Math.|volume=3|issue=1|year=1931|pages=174–179|doi=10.4064/sm-3-1-174-179|url=https://eudml.org/doc/217560|doi-access=free}}</ref>{{sfn|Willard|2004|loc=Theorem 25.5}}。 <math>C([0,1])</math> が完備距離空間なので、それ自身は非痩集合である。よって、<math>A</math> の補集合、すなわち、<math>[0,1]</math> 上の実数値連続関数で至る所微分不可能なもの（例えば[[ワイエルシュトラス関数]]など）全体の集合は補痩かつ非痩な集合となる。特にこの集合は空でないので、至る所微分不可能な連続関数の具体例を知らずともその存在を証明する方法の一つでもある。

== バナッハ・マズール・ゲーム ==

痩集合を用いることで[[バナッハ・マズール・ゲーム]]における概念の有用な代用的特徴づけが行える。<math>Y</math> を位相空間とし、<math>\mathcal{W}</math> を <math>Y</math> の部分集合の族であって、その構成要素はいずれも空でない内部をもち、<math>Y</math> のいかなる空でない部分集合も <math>\mathcal{W}</math> に属するような部分集合を持つものとする。そして <math>X</math> は何か <math>Y</math> の部分集合とする。このとき、バナッハ・マズール・ゲーム <math>MZ(X, Y, \mathcal{W})</math> を考えることができる。バナッハ・マズール・ゲームにおいては二人のプレイヤー <math>P</math> と <math>Q</math> が交互に <math>\mathcal{W}</math> の要素を徐々に小さくなるように選び、列 <math>W_1 \supseteq W_2 \supseteq W_3 \supseteq \cdots</math> を作る。プレイヤー <math>P</math> が勝つのは、この降下列の共通部分が <math>X</math> と交わるときであって、そうでないときプレイヤー <math>Q</math> が勝つ。

{{math theorem|name=定理|note=|style=|math_statement=
<math>\mathcal{W}</math> をどのようにとっても <math>Q</math> が勝てる{{仮リンク|決定性|en|Determinacy|label=必勝戦略}}があるとき、またそのときに限り <math>X</math> は痩集合である。}}

== エルデシュ-シェルピンスキー双対性 ==
痩集合に関する多くの議論は零集合すなわち、ルベーグ測度 0 の集合にも適用できる。エルデシュ-シェルピンスキー双対定理は[[連続体仮説]]を仮定したときに、実数空間上の[[対合]]変換であって、零集合の像が痩集合になり、痩集合の像が零集合になるものが存在することを主張する<ref>M. Quintanilla [https://arxiv.org/abs/2206.10754 The real numbers in inner models of set theory] (2022, p.25). Accessed 18 January 2023.</ref>。実のところ、この写像における像が零集合であることは元の集合が痩集合であることと同値になり、像が痩集合であることは元の集合が零集合であることと同値である<ref>S. Saito, [https://www.artsci.kyushu-u.ac.jp/~ssaito/eng/maths/duality.pdf The Erdos-Sierpinski Duality Theorem], notes . Accessed 18 January 2023.</ref>。

== 関連項目 ==
* [[樽型空間]]
* [[:en:Generic property]]
* {{仮リンク|無視可能集合|en|Negligible set}}
* [[ベールの性質]]

== 脚注 ==
{{reflist|group=note}}
{{reflist}}

== 参考文献 ==
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Narici|Beckenstein|2011|p=}} -->
* {{Bourbaki General Topology Part II Chapters 5-10}} <!--{{sfn|Bourbaki|1989|p=}}-->
* {{cite book| last = Oxtoby| first = John C.| title = Measure and Category| publisher = Springer Verlag| year = 1980}}
* {{Rudin Walter Functional Analysis|edition=2}} <!-- {{sfn|Rudin|1991|p=}} -->
* {{Willard General Topology}} <!--{{sfn|Willard|2004|p=}}-->

{{デフォルトソート:そうしゆうこう}}
[[Category:位相空間論]]
[[Category:記述集合論]]
[[Category:数学に関する記事]]