[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む75 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
13(5): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/15(木)23:27 ID:brP98meI(12/17) AAS
スレ74 2chｽﾚ:math
サルが1つ覚えで、
アルキメデス距離のみしか考えていないみたいだったのでｗ
非アルキメデス距離の例を出しましたｗｗ（＾＾；
（ご参考：下記より）
”有理数体 Q の一点コンパクト化（英語版）は (0)、(1) を満たすが (2)、(3) を満たさない”
”ハウスドルフだが局所コンパクトにならない例
・有理数の空間 Q（に R の通常の位相からの相対位相を入れたもの）は、その任意のコンパクト部分集合が内点を持たないから、それをコンパクト近傍として持つ点も存在しない。”
”ハウスドルフでない局所コンパクト空間の例
・有理数の空間 Q の一点コンパクト化（英語版）はコンパクトゆえ、各点が（閉）近傍を持つという意味では局所コンパクトだが、コンパクト近傍からなる近傍基を持つという意味での局所コンパクト性は持たない。”
外部ﾘﾝｸ:ja.wikipedia.org
局所コンパクト空間
(抜粋)
数学において、位相空間 X が局所コンパクト（きょくしょコンパクト、英: locally compact[1]）というのは、雑に言って、X の各点の近傍ではコンパクトであるという性質をもつことである。
位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う重要な位相空間の多くが局所コンパクトである。
特に局所コンパクトなハウスドルフ空間は数学の中で重要な位置を占める。
3 性質
3.1 無限遠点
3.2 局所コンパクト群
定義
位相空間 X が局所コンパクトであるとは、任意の点 x ∈ X に対して、x の近傍 U でコンパクトなものが存在することである。
これと類似した以下の様な定義が採用されることもある。
0. 任意の点 x ∈ X に対して、x の近傍 U でコンパクトなものが存在する。
1. 任意の点 x ∈ X に対して、x の閉近傍 U でコンパクトなものが存在する。
2. 任意の点 x ∈ X に対して、x のコンパクトな近傍が x の近傍基をなす。
3. 任意の点 x ∈ X に対して、x のコンパクトな閉近傍が x の近傍基をなす。
つづく
14(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/15(木)23:28 ID:brP98meI(13/17) AAS
>>13
つづき
ハウスドルフ空間ではこれらは全て同値になる。
(0) はここでの定義であり、この中で一番弱く (1)、(2)、(3) は (0) を含意している。 (3) はこの中で一番強く (0)、(1)、(2) を含意している。
無限集合に補有限位相を入れたものは (0)、(1)、(2) を満たすが (3) を満たさない。
有理数体 Q の一点コンパクト化（英語版）は (0)、(1) を満たすが (2)、(3) を満たさない。
自然数全体 N0 に「開 ⇔ 0を含む又は空」となる位相を入れた空間は (0)、(2) を満たすが (1)、(3) を満たさない。
前述の例の２つ目と３つ目の空間の直和は (0) を満たすが (1)、(2)、(3) を満たさない。
例とそうでない例
コンパクトハウスドルフな例
任意のコンパクトハウスドルフ空間はもちろん局所コンパクトであり、コンパクト空間の例はコンパクト空間の項目へ詳細を譲るがここでは
・単位閉区間 [0,1];
・任意の閉位相多様体;
・カントール集合;
・ヒルベルト立方体
などを挙げておこう。
つづく
16(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/15(木)23:53 ID:brP98meI(15/17) AAS
>>13 追加参考
（参考：完全不連結空間 別の例は p-進数体 Qp で、代数的整数論において重要な役割を果たす ）
外部ﾘﾝｸ:ja.wikipedia.org
完全不連結空間
位相空間論やそれに関わる分野において、完全不連結空間 (totally disconnected space) は非自明な連結部分集合を持たないという意味で最も不連結な位相空間である。
すべての位相空間において空集合と1点集合は連結である。完全不連結空間においてはこれらしか連結部分集合がない。
完全不連結空間の重要な例の1つはカントール集合である。
別の例は p-進数体 Qp で、代数的整数論において重要な役割を果たす。
目次
1 定義
2 例
3 性質
4 不連結空間を構成
5 参考文献
6 関連項目
定義
位相空間 X は、X の連結成分が一点集合であるときに、完全不連結 (totally disconnected) であるという。
つづく
22(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/16(金)07:37 ID:9z79us+y(1/5) AAS
>>13 追加補足
（参考）
外部ﾘﾝｸ[pdf]:www.math.csi.cuny.edu
Homework 2
Topology I, Math 70700, Fall 2015
Instructor: Ilya Kofman
Department of Mathematics
College of Staten Island
City University of New York
(抜粋)
Problems
2. Consider the rationals Q ⊂ R with the usual subspace topology.
(a) Show that Q is not locally compact.
(b) Show that the one-point compactification CQ is not Hausdorff.
外部ﾘﾝｸ:math.stackexchange.com
Show that the one point compactification of Q is not Hausdorff asked Aug 9 '16 at 8:15 Olorin
(抜粋)
外部ﾘﾝｸ:en.wikipedia.org
Definition: one point compactification
Let X be any topological space, and let ∞ be any object which is not already an element of X. Put X*=X∪{∞}, and topologize X* by taking as open sets all the open subsets U of X together with all subsets V which contain ∞ and such that X＼V is closed and compact
Show that the one point compactification of Q which is Q* is Not Hausdorff.
外部ﾘﾝｸ:ja.wikipedia.org
ハウスドルフ空間
(抜粋)
数学におけるハウスドルフ空間（ハウスドルフくうかん、英: Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。
これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。
ハウスドルフ空間においては点列（あるいはより一般に、フィルターやネット）の極限の一意性が成り立つ。
代数学におけるザリスキ位相を考えた代数多様体や、可換環のスペクトルなどの位相空間はしばしばハウスドルフ空間にならない。
58(2): 2019/08/16(金)10:39 ID:pUzim9A1(1/15) AAS
>>32
おサルは、”有理数体 Q の一点コンパクト化（英語版）”を知らなかったとさｗ
お笑い数学科落ちこぼれの巻でしたとさｗ（＾＾；
（>>13&>>22）
”有理数体 Q の一点コンパクト化（英語版）”できますｗ（＾＾；
”ハウスドルフでない局所コンパクト空間の例
・有理数の空間 Q の一点コンパクト化（英語版）はコンパクトゆえ、各点が（閉）近傍を持つという意味では局所コンパクトだが、コンパクト近傍からなる近傍基を持つという意味での局所コンパクト性は持たない。”
”ハウスドルフだが局所コンパクトにならない例
・有理数の空間 Q（に R の通常の位相からの相対位相を入れたもの）は、その任意のコンパクト部分集合が内点を持たないから、それをコンパクト近傍として持つ点も存在しない。”
（>>13より）
外部ﾘﾝｸ:ja.wikipedia.org
局所コンパクト空間
261: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/08/17(土)19:30 ID:sbItYGIt(22/35) AAS
>>251
＞はぁ？ 俺がいつどんな嘘デタラメ垂れ流した？ 具体的に言ってみ？ 言えないなら謝罪しろ
サルは、”有理数体 Q の一点コンパクト化（英語版）”を知らなかったらしい
”p 進数体「Qp は完全不連結局所コンパクトな位相体になる」”
有理数体 Qで
アルキメデス付値と、非アルキメデス付値とがある
アルキメデス付値しか、知らなかったらしいな
確かに、アルキメデス付値＝通常の距離で、有理数体 Qをコンパクト化しようと思えば
まず、完備化して実数体Rにして、それを一点コンパクト化するしかないわな（そこまではサルでも分るさ（＾＾ ）
スレ74 2chｽﾚ:math
914 名前：１３２人目の素数さん[] 投稿日：2019/08/15(木) 14:53:58.23 ID:R2b+aaQz
点列コンパクトの定義さえ理解していれば
「０以上１以下の有理数全体の集合」が
ノンコンパクトであることが脊髄反射で答えられる
ついでにいえば、ここまでヒントやれば
よほどの馬鹿でない限り、
「０以上１以下の有理数全体の集合」に
どれだけ点を追加すればコンパクトになるか
分かる
答えてみ？落ちこぼれのアホスレ主ｗ
あらかじめいっとくけど・・・１点じゃ無理だぞｗ
スレ74 2chｽﾚ:math
935 名前：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
p 進数体「Qp は完全不連結局所コンパクトな位相体になる」（下記）ｗｗ（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
p進数
Qp は完全不連結局所コンパクトな位相体になる
さて（>>13より）
（ご参考：下記より）
”有理数体 Q の一点コンパクト化（英語版）は (0)、(1) を満たすが (2)、(3) を満たさない”
”ハウスドルフでない局所コンパクト空間の例
・有理数の空間 Q の一点コンパクト化（英語版）はコンパクトゆえ、各点が（閉）近傍を持つという意味では局所コンパクトだが、コンパクト近傍からなる近傍基を持つという意味での局所コンパクト性は持たない。”
外部ﾘﾝｸ:ja.wikipedia.org
局所コンパクト空間
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 2.569s*