Warning : Undefined variable $type in /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php on line 3
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/includes/json/FormatJson.php on line 297
Warning : Trying to access array offset on value of type bool in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 660
Warning : session_name(): Session name cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/Setup.php on line 834
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 126
Warning : ini_set(): Session ini settings cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 127
Warning : session_cache_limiter(): Session cache limiter cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 133
Warning : session_set_save_handler(): Session save handler cannot be changed after headers have already been sent in /home/users/1/sub.jp-asate/web/wiki/includes/session/PHPSessionHandler.php on line 140
Warning : "continue" targeting switch is equivalent to "break". Did you mean to use "continue 2"? in /home/users/1/sub.jp-asate/web/wiki/languages/LanguageConverter.php on line 773
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 294
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/Feed.php on line 300
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46
https:///mymemo.xyz/wiki/api.php?action=feedcontributions&feedformat=atom&user=220.104.22.83
miniwiki - 利用者の投稿記録 [ja]
2024-06-21T05:35:20Z
利用者の投稿記録
MediaWiki 1.31.0
ベール空間 (集合論)
2013-04-17T07:11:38Z
<p>220.104.22.83: /* 性質 */</p>
<hr />
<div>[[集合論]]における'''ベール空間'''(ベールくうかん、{{lang-en-short|''Baire space''}})は、各項が[[自然数]]に値をとる[[無限列]]すべてからなる集合に適当な[[位相空間|位相]]を入れたものである。この空間は、その元を以て「実数」と称される程、[[記述集合論]]でよく用いられる。ベール空間を表す記号としては '''B''', '''N'''<sup>'''N'''</sup> や <sup>ω</sup>ω がよく用いられる。{{harvtxt|Moschovakis|1980}} は <math>\mathcal{N}</math> と書いている。<br />
<br />
ベール空間は自然数全体の成す集合 &omega; の[[可算無限]]個のコピーの[[直積集合|デカルト積]]に[[積位相]]を入れたもの(ただし &omega; の各コピーには[[離散位相]]が入る)として定義することができる。ベール空間は、自然数からなる全ての有限列の成す[[木 (記述集合論)|木]]として表されることが多い。<br />
<br />
ベール空間は[[カントル空間]](全ての二進無限列からなる集合)と対比される。 <br />
<br />
== 位相と木構造 ==<br />
ベール空間の定義に用いる積位相は、木を用いてより具体的に記述することができる。この積位相の定義を[[開基 (位相空間論)|基本開集合系]]を用いて特徴付けると:<br />
: 自然数に値をとる有限な長さの座標系 {''c''<sub>''i''</sub> : ''i'' < ''n'' } を固定し、各 ''c''<sub>''i''</sub> が特定の自然数値 ''v''<sub>''i''</sub> をとるものとすると、各 ''i'' &lt; ''n'' において ''c''<sub>''i''</sub>-成分の値が ''v''<sub>''i''</sub> であるような無限自然数列全体の成す集合は基本開集合であり、任意の開集合はこのような基本開集合たちの和集合に表される。<br />
<br />
同じ位相を定める別の開基をとることで、開集合のもう一つの特徴付けとして以下が得られる:<br />
: 自然数列 {''w''<sub>''i''</sub> : ''i'' < ''n''} を一つ決めるごとに、各 ''i'' &lt; ''n'' において第 ''i''-項の値が ''w''<sub>''i''</sub> となるような無限列全体の成す集合は基本開集合であり、任意の開集合はこのような基本開集合たちの和に表される。 <br />
<br />
即ち、ベール空間の基本開集合は無限自然数列の有限始片 &tau; から決まり、かつ無限列全体の成す集合は基本開集合を成す &tau; を延長して得られる。これにより、一方が他方の延長になっているという関係で順序づけられた有限自然数列全体の成す木構造 &omega;<sup>&lt;&omega;</sup> を奔る経路 (path) 全体の成す集合としての、ベール空間の[[表現 (数学)|表現]]が得られる。このとき、開集合はこの木構造の(有限個とは限らない)結点 (node) の和から決定される。つまり、ベール空間の点がこの開集合に属するための必要十分条件が、その点を表す経路が与えられた結点のうちの少なくとも一つを通ることと述べられる。 <br />
<br />
この木を奔る経路の集合としてのベール空間の表現からは、閉集合の特徴付けも得られる。ベール空間の任意の閉集合 ''C'' に対して、&omega;<sup>&lt;&omega;</sup> の部分木 ''T'' で勝手な点 ''x'' が ''C'' に属することと、点 ''x'' を表す経路が ''T'' を通ることとが同値になるようなものが存在する。逆に、&omega;<sup>&lt;&omega;</sup> の任意の部分木に対して、それを通る経路全体の成す集合はベール空間の閉集合である。<br />
<br />
== 性質 ==<br />
ベール空間は以下の性質を持つ。<br />
<br />
# ベール空間は[[完全集合|完全]] (perfect) な[[ポーランド空間]](つまり、[[第二可算公理]]を満たす・[[孤立点]]を持たない・[[完備距離化可能空間]])である。このことから、ベール空間は実数直線と同じ[[濃度 (数学)|濃度]]を持ち、位相空間論でいうところの[[ベール空間]]を成す。<br />
# ベール空間は[[0次元]]かつ[[完全不連結]]である。<br />
# ベール空間は[[局所コンパクト]]でない。<br />
# 任意の空でないポーランド空間に対して、その[[全射|上に]][[連続写像|連続的]]に写すことができるという意味で、ベール空間は[[普遍性|普遍的]]なポーランド空間である。<br />
# ベール空間は、自分自身の有限または可算個のコピーの積と[[同相]]である。<br />
<br />
== 実数直線との関係 ==<br />
ベール空間は、[[無理数]]全体の成す集合に実数直線からの[[相対位相]]を入れたものと[[同相]]である。ベール空間と無理数全体との間の同相写像は[[連分数]]を用いて構成できる。 <br />
<br />
[[記述集合論]]の観点からは、実数直線が連結であるという事実は技術的な困難を引き起こす。それが故にベール空間を研究することのほうが普通である。任意のポーランド空間はベール空間の連続像であるから、任意のポーランド空間についての主張を示すのに、その性質がベール空間において成り立ちかつ[[連続写像]]で保たれることを示すという方法をとることも多い。<br />
<br />
またそういった事実とは無関係に、ベール空間 '''B''' を[[一様空間]]と見て、わずかながら[[実解析]]的に意味のある内容が得られる。ベール空間 '''B''' と無理数全体 '''Ir''' の持つ一様構造は、(これらが互いに同相であるにもかかわらず)図らずも一致しない。実際、'''B''' はその自然な距離に関して[[完備空間|完備]]だが、対する '''Ir''' はそうではない。<br />
<br />
== 参考文献 ==<br />
* {{cite book |authorlink=Alexander S. Kechris| author=Kechris, Alexander S. | title=Classical Descriptive Set Theory | publisher=Springer-Verlag | year=1994 | isbn=0-387-94374-9}}<br />
* {{cite book |authorlink=Yiannis N. Moschovakis| author=Moschovakis, Yiannis N. | title=Descriptive Set Theory | publisher=North Holland | year=1980 |isbn=0-444-70199-0}}<br />
<br />
== 外部リンク ==<br />
* {{citation|url=http://math.cs.kitami-it.ac.jp/~fuchino/notes/set-th-of-reals-kiso-no-kiso.pdf|format=PDF|author=渕野昌|title=実数の集合論の基礎の基礎}}<br />
<br />
{{DEFAULTSORT:へえるくうかん}}<br />
[[Category:記述集合論]]<br />
[[Category:数学に関する記事]]</div>
220.104.22.83
カントールの往復論法
2013-04-15T13:03:40Z
<p>220.104.22.83: /* 稠密全順序集合への当て嵌め */ jを最小に選ぶなら往復の必要がなくなる。</p>
<hr />
<div>[[数学基礎論]]、特に[[集合論]]と[[モデル理論]]において、'''カントールの往復論法'''(カントールのおうふくろんぽう、英:Cantor's back-and-forth method)とは、特定の条件を満たす[[可算無限集合|可算無限濃度]]を有する構造の間に同型写像が存在することを示す論法であり、[[ゲオルク・カントール]]から命名された。<br />
特に、以下の証明に使用される。<br />
* カントールは、任意の 2 つの可算無限な稠密[[順序集合|全順序集合]](全順序集合であって、任意の異なる 2 つの元の間に異なる元が存在するもの)に両端が存在しない(最小元・最大元を持たない)場合、両者が順序同型であることを示すために、この論法を用いた。 全順序集合の同型は、[[単調関数|狭義単調増加]]な[[全単射]]である。 従って例えば、[[有理数]]全体の集合と[[実数|実]][[代数的数]]全体の集合の間には、狭義単調増加な全単射が存在する。<br />
* 原子元を有しない可算無限濃度の[[ブール代数]]が互いに同型であることを証明するために、この論法を使用できる。<br />
<br />
== 稠密全順序集合への当て嵌め ==<br />
以下のとおりだとみなす。<br />
* (''A'', ≦<sub>''A''</sub>) と (''B'', ≦<sub>''B''</sub>) は、全順序集合である。<br />
* ''A''、''B'' は、最大元および最小元を有しない。<br />
* ''A''、''B'' は、稠密に順序付けられている、つまり、任意の 2 元の間には他の元が少なくとも 1 つ存在する。<br />
* ''A''、''B'' は、可算無限濃度である。<br />
''A''、''B'' の元を重なりなく以下のとおり列挙し、これを固定する。<br />
:''A'' = {''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>, …}<br />
:''B'' = {''b''<sub>1</sub>, ''b''<sub>2</sub>, ''b''<sub>3</sub>, …}<br />
ここで、''A'' と ''B'' の間に、狭義単調増加な一対一対応を構成しよう。<br />
初期状態では、''A'' のどの要素も ''B'' の元と対応付けられていない。<br />
: '''(1)''' ''i'' を、''B'' の如何なる要素とも対応付けられていない ''a<sub>i</sub>'' のうちの最小の添字とする。 ''j'' を、''A'' の如何なる要素とも対応付けられていない ''b<sub>j</sub>'' であって、'''かつ''' ''a<sub>i</sub>'' が ''b<sub>j</sub>'' と対応付けても、対応付けが狭義単調であるという要件を満たすことができるものとする。 このとき、''a<sub>i</sub>'' と ''b<sub>j</sub>'' を対応付ける。<br />
: '''(2)''' ''j'' を、''A'' の如何なる要素とも対応付けられていない ''b<sub>j</sub>'' のうちの最小の添字とする。 ''i'' を、''B'' の如何なる要素とも対応付けられていない ''a<sub>i</sub>'' であって、'''かつ''' ''b<sub>j</sub>'' が ''a<sub>i</sub>'' と対応付けても、対応付けが狭義単調であるという要件を満たすことができるものとする。 このとき、''b<sub>j</sub>'' と ''a<sub>i</sub>'' を対応付ける。<br />
: '''(3)''' 手続き '''(1)''' に戻る。<br />
手続き '''(1)''' と '''(2)''' で要求される選択を、実際に要件に合致しつつ行うことができるかの検証が、依然として残っている。<br />
手続き '''(1)''' を例に取ると、以下のとおりである。<br />
<br />
既に、''A'' の中の ''a<sub>p</sub>'' と ''a<sub>q</sub>'' および夫々に対応する ''B'' の中の ''b<sub>p</sub>'' と ''b<sub>q</sub>'' が存在し、かつ ''a<sub>p</sub>'' < ''a<sub>i</sub>'' < ''a<sub>q</sub>'' および ''b<sub>p</sub>'' < ''b<sub>q</sub>'' であれば、 ''b<sub>j</sub>'' は、稠密性を使って、 ''b<sub>p</sub>'' と ''b<sub>q</sub>'' の間に選ぶ。<br />
そうでない場合には、''B'' が '''最大元も最小元も有しない'''という性質を使って、適当に大きいまたは小さい ''B'' の要素を選ぶ。<br />
手続き '''(2)''' の選択も、双対的に可能である。<br />
最後に、''A'' と ''B'' は'''可算無限集合'''だから、この構成は、可算無限回の後に終了する。<br />
全ての前提条件を使用しなければならないことに注意されたい。<br />
<br />
往復せずに手続き '''(1)''' を繰り返すだけでは、結果として得られる対応が全単射にならない。<br />
<br />
== 関連項目 ==<br />
*[[数学基礎論]]<br />
<br />
{{DEFAULTSORT:かんとおるのおうふくろんほう}}<br />
[[Category:数学基礎論]]<br />
[[Category:数理論理学]]<br />
[[Category:数学に関する記事]]</div>
220.104.22.83
Warning : Cannot modify header information - headers already sent by (output started at /home/users/1/sub.jp-asate/web/wiki/extensions/HeadScript/HeadScript.php:3) in /home/users/1/sub.jp-asate/web/wiki/includes/WebResponse.php on line 46