痩集合

数学の位相空間論において、痩集合 または第一類集合  とは位相空間の部分集合であって下記の厳密な意味において小さいまたは無視可能集合なものである。痩集合でない集合は痩せていない  または第二類  であると呼ばれる。

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

1. 定義
-----

全体を通して は位相空間とする。

の部分集合が において痩せている または の痩集合 または において第一類である とは、それが の疎集合の可算和であることであるNarici。" において" という但し書きは、考えている空間が固定されていて文脈から判断できる場合には省略される。

の痩集合でない部分集合は において痩せていないまたは  の非痩集合または において第二類であるというNarici。

位相空間が痩空間であるとは、それが自身の位相において痩せていることを言う。

の部分集合 が において補痩である  または において残留的である  とは、その補集合 が において痩せていることをいう。部分集合が において補痩であるのはそれが の部分集合で内部が稠密なものの可算交叉に等しいとき、かつそのときに限る。

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

用語の補足点として、位相空間 の部分集合 に からの相対位相を考える場合、それが痩空間であるかどうかを考えることができる。つまり、 それ自身が からの相対位相において痩集合になっている場合 は の"痩部分空間"と呼ぶ。重要なことに、これは、全体空間 の位相において痩集合であることと同じではない。同様に、"非痩部分空間"も考えることができて、これも全体空間の中で非痩であることではない。しかしながら、注意すべき点として、位相ベクトル空間の文脈においては、"meagre/nonmeagre subspace" という語が全体空間に対して  meagre/nonmeagre な部分ベクトル空間の意味で用いられる場合がある。

第一類、第二類にあたる語 "first category" と "second category" が最初に用いられたのはルネ＝ルイ・ベールの1899年の論文である。"痩せ" にあたる "meager" の語はブルバキの1948年の著作で導入されているBourbaki。

2. 性質
-----

の全ての疎部分集合は痩せている。よって、内部が空な閉集合も痩せている。すなわち の閉非痩集合は空でない内部をもつ。  痩集合の部分集合は痩集合である;  痩集合の可算和は痩集合である。すなわち、固定された空間における痩集合全体は部分集合全体の中でσ-イデアルをなしていて、ある種の無視可能集合として適切な概念になっている。と同じことであるが、非痩集合の上位集合は非痩集合である。 双対的に、 補痩集合の上位集合は補痩集合である;  補痩集合の可算交叉は補痩集合である。

として、ここで は から誘導される相対位相で考えるものとする。このとき、 は において痩せていて において痩せていないことがありうる。しかしながら次のことは成立する:Bourbaki

が の痩集合であるなら は の痩集合である。
が において開なら、 が において痩せていることは が において痩せていることと同値になる。
が の中で稠密なときも、 が において痩せていることは が において痩せていることと同値になる。同値なことであるが、非痩集合の方で表現すると:

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

位相空間で孤立点を持つものは非痩である。特に、空でない離散空間は非痩である。

位相空間 が非痩であるとき、かつそのときに限り、 の稠密開集合の可算交叉は空にならないWillard。

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

バナッハの範疇定理:Oxtoby いかなる位相空間 においても、開な痩集合の任意個の和は痩集合になる。

2.1. 痩集合とルベーグ測度
---------------

における痩集合はルベーグ測度 0 を持つとは限らない、それどころか全空間と同じ測度を持つことすらある。例えば、区間 においてスミス–ヴォルテラ–カントール集合を考えるとこれは閉疎でありながらいくらでも に近い測度を持つように構成できる。そこでこのような集合を、測度を に近づけるようにして可算個集めて和をとったものは において測度が の痩部分集合となる。

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

の測度 の非痩集合の他の例としては次のものもある:

ここで、 は有理数の全体を番号付けした列である。

2.2. ボレル階層との関係
--------------

疎集合は閉とは限らないが、閉疎集合の部分集合にはなる。痩集合は 集合  そのものであるとは限らないが、痩集合の構成因子の各疎集合の閉包を取ってから和を考えれば、痩せた 集合の部分集合となる。

双対的に、補疎集合は開集合とは限らないが、稠密な開核を持つ。補痩集合は 集合そのものであるとは限らないが、稠密な開核の可算交叉を考えれば、補痩な 集合の上位集合となっていることが分かる。

3. 例
----

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

痩せていない空間 において は痩せているので、 は非痩かつ補痩と言える。

痩せていない空間 において、 は非痩だが補痩ではない。実際、補集合 は痩せていない。

可算なT1 空間で孤立点を持たないものは痩空間である。なので、それを部分空間として包含するいかなる空間においても痩部分集合となる。例えば、 は の痩部分空間であって、 の痩部分集合でもある。

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

集合 は において疎ではないが痩せている。そしてそれ自身の中では痩せていない。

直線 は平面 の中で痩せている。しかし、それ自身の中では痩せていない。

空間  は部分空間として痩せている。その痩部分集合 は前述の例と同様に自身の中では痩せていない。

の部分集合 で、全ての空でない開集合を二つの非痩集合に分割するものが存在する。すなわち、任意の空でない開集合 に対して、 と が共に非痩になる。

空間 を 上の実数値連続関数全体に、一様収束性によって位相を定めたものとする。 を 上の実数値連続関数のうちある点で微分可能なもの全体とすると、これは痩せた集合になるWillard。 が完備距離空間なので、それ自身は非痩集合である。よって、 の補集合、すなわち、 上の実数値連続関数で至る所微分不可能なもの全体の集合は補痩かつ非痩な集合となる。特にこの集合は空でないので、至る所微分不可能な連続関数の具体例を知らずともその存在を証明する方法の一つでもある。

4. バナッハ・マズール・ゲーム
----------------

痩集合を用いることでバナッハ・マズール・ゲームにおける概念の有用な代用的特徴づけが行える。 を位相空間とし、 を の部分集合の族であって、その構成要素はいずれも空でない内部をもち、 のいかなる空でない部分集合も に属するような部分集合を持つものとする。そして は何か の部分集合とする。このとき、バナッハ・マズール・ゲーム を考えることができる。バナッハ・マズール・ゲームにおいては二人のプレイヤー と が交互に の要素を徐々に小さくなるように選び、列 を作る。プレイヤー が勝つのは、この降下列の共通部分が と交わるときであって、そうでないときプレイヤー が勝つ。

5. エルデシュ-シェルピンスキー双対性
--------------------

痩集合に関する多くの議論は零集合すなわち、ルベーグ測度 0 の集合にも適用できる。エルデシュ-シェルピンスキー双対定理は連続体仮説を仮定したときに、実数空間上の対合変換であって、零集合の像が痩集合になり、痩集合の像が零集合になるものが存在することを主張する。実のところ、この写像における像が零集合であることは元の集合が痩集合であることと同値になり、像が痩集合であることは元の集合が零集合であることと同値である。

6. 関連項目
-------

樽型空間
:en:Generic property
ベールの性質

7. 脚注
-----

8. 参考文献
-------

edition=2}}
edition=2}}