[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
323
(2): 132人目の素数さん [sage] 2018/01/09(火) 22:56:54.17 ID:pT3K4EEF(3/3) AAS
>>322
定義しなければいけないのは飽くまでXだよ。
324: 132人目の素数さん [] 2018/01/09(火) 23:03:07.42 ID:2VVPqXn0(8/9) AAS
>>323
いいえ?
340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/10(水) 11:53:03.21 ID:vsfEZQC9(2/17) AAS
>>323
>定義しなければいけないのは飽くまでXだよ。

うーんと、相対位相(下記)みたいな話かな?
https://ja.wikipedia.org/wiki/%E5%A2%83%E7%95%8C_(%E4%BD%8D%E7%9B%B8%E7%A9%BA%E9%96%93%E8%AB%96)
境界 (位相空間論)
(抜粋)

有理数全体の集合に通常の位相(R の部分位相空間としての位相)を考えた位相空間の中では、a が無理数であるときの区間 (−∞, a) の境界は空集合である。

集合の境界というのは位相的な概念であり、集合に入れる位相を変えれば(同じ集合であっても)何が境界であるかが変わってくる。
(引用終わり)

https://ja.wikipedia.org/wiki/%E7%9B%B8%E5%AF%BE%E4%BD%8D%E7%9B%B8
相対位相
(抜粋)
そのような位相は、部分空間位相 (subspace topology), 相対位相 (relative topology) あるいは誘導位相 (induced topology) やトレース位相 (trace topology) などと呼ばれる。

以下、R は実数全体の集合に通常の位相をいれたものとする。

・R の部分空間としての自然数全体の成す集合の位相は離散位相である。
・R の部分空間としての有理数全体の成す集合の位相は離散位相ではない(例えば、点 0 のみから成る部分集合は Q の開集合ではない)。
 a, b が有理数ならば、開区間 (a, b) および閉区間 [a, b] はそれぞれ Q の開および閉集合であるが、a, b がともに無理数のとき、a < x < b を満たす有理数 x の全体の成す部分集合は Q の開かつ閉集合となる。
・R の部分空間としての閉区間 [0, 1] は開かつ閉である(R の部分集合としては閉でしかないが)。
・R の部分空間としての互いに素な区間和 [0, 1] ∪ [2, 3] は二つの互いに素な開集合(もちろん閉集合でもある)の和であり、従ってこれは非連結空間となっている。
・R の部分空間としての S = [0, 1) について、[0, ?) は S の開集合だが R では開でない。同様に [?, 1) は S において閉だが、R の閉集合でない。S は自身の部分集合として開かつ閉だが、R の部分集合としては開でも閉でもない。
(引用終わり)

以上
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s