[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む48 (625ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
131(2): １３２人目の素数さん [sage] 2017/12/16(土) 16:43:09.16 ID:9/yG/0pd(5/6) AAS
>>130
私が示したのは
>開区間Iを定義域とし、任意のIの有理点で不連続、かつ任意のIの無理点で連続となる実関数 f(x) が存在ならば、
>連結な距離空間 R から誘導される通常の位相について、高々1個の正の実数εに対し、
>高々2個の開区間Iの異なる有理点 a,b に対してそれぞれ定まって得られるような、
>連結距離空間 R 上の閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] を完全集合とする「ことは出来ない」。
の方(の対偶)だよ。トーメ関数及びそれによく似た性質を持つ関数は数学的に存在するから何も問題ないだろ。
132: １３２人目の素数さん [sage] 2017/12/16(土) 16:58:17.31 ID:9/yG/0pd(6/6) AAS
>>130
一応、>>131の
>トーメ関数及びそれによく似た性質を持つ関数は数学的に存在するから何も問題ないだろ。
の部分は
>(任意の)閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] は完全集合だから問題ないだろ。
と書くべきだった。
140(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2017/12/16(土) 21:18:58.84 ID:/2xvBEHK(41/58) AAS
>>131
>>連結距離空間 R 上の閉区間 [a−ε, a＋ε]、[b−ε, b＋ε] を完全集合とする「ことは出来ない」。
"完全集合"? うーん、意味わからん・・（＾＾
https://kotobank.jp/word/%E5%AE%8C%E5%85%A8%E9%9B%86%E5%90%88-49117
完全集合 かんぜんしゅうごうperfect set
ブリタニカ国際大百科事典 小項目事典の解説
(抜粋)
位相空間 S の部分集合 A が完全集合であるとは，A が孤立点をもたない閉集合であることをいう。すなわち，A の集積点の全体 A' が A と一致するときである。
世界大百科事典内の完全集合の言及
【集合】より
… 集合Sに対し，Sの集積点全体のなす集合をSの導集合という。それがSと一致するとき，Sは完全集合であるという。
［カントル集合］
次に示すカントル集合は，(1)完全集合であって，(2)内点をもたず，(3)どんな正数εを与えても，長さの和がε以内であるような線分で覆うことができるということから，長さ0と考えられ，(4)濃度は連続体の濃度であるということで有名である。…
※「完全集合」について言及している用語解説の一部を掲載しています。
(引用終り)
http://pc1.math.gakushuin.ac.jp/~kawasaki/16isoukuukan.pdf
12. '16位相空間 川崎 徹郎 教授 学習院数学科
(抜粋)
定義(X，O) を位相空間とする。その部分集合A X に対して：
(i) A の集積点の全体をAd またはA′ で表して，A の導集合という。（触点の全体は閉包である。）
(ii) A の境界点の全体を∂A で表して，A の境界という。
(iii) A の内点の全体をIntA で表して，A の内部という。
(iv) A = Ad を満たすとき，A を完全集合という。
注意距離空間の場合，導集合Ad は閉集合であるが，一般の位相空間においては，閉集合とは限らない。
(引用終り)
http://pc1.math.gakushuin.ac.jp/~kawasaki/
ようこそ！ 川崎研究室文庫です。
http://www.math.gakushuin.ac.jp/%E3%83%A1%E3%83%B3%E3%83%90%E3%83%BC/%E6%95%99%E6%8E%88/%E5%B7%9D%E5%B4%8E-%E5%BE%B9%E9%83%8E-%E6%95%99%E6%8E%88-2/
川崎 徹郎 教授 学習院数学科 かわさき てつろう KAWASKI, Teturou 専攻分野： 位相幾何学
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s