現代数学の系譜工学物理雑談古典ガロア理論も読む49

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む49 (658ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

340: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/10(水) 11:53:03.21 ID:vsfEZQC9

>>323
>定義しなければいけないのは飽くまでＸだよ。

うーんと、相対位相（下記）みたいな話かな？
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 の部分集合としては開でも閉でもない。
(引用終わり)

以上

http://rio2016.5ch.net/test/read.cgi/math/1514376850/340

353: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/10(水) 13:53:48.62 ID:vsfEZQC9

>>350
＜参考＞
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1462189709
ローマ帝国がキリスト教化しなかったら、人類の科学技術は1000年くらい早く今のレベルに到達していたというのは本当ですか？ rmcgkfさん yahoo 2011/5/13
(抜粋)
ベストアンサーに選ばれた回答 xiaomaoさん 2011/5/14

古代ローマ人の頭が良かったというより、キリスト教が「疑うこと」を悪と見なしたため、古代ローマ時代に獲得した技術が失われ、中世の時代の技術発展が停滞したからです。
例えて言うなら、古代ローマ時代までの人たちが順調に積み重ねていた積み木が崩れて、またゼロからやり直しになったんです。
積み木が崩れることが無く、そのまま順調に積み重ねていたらきっと1000年くらいは早くなっただろう・・・という意味です。

科学技術というのは「あの太陽とはいったい何なのだろう？」と疑うところから出発します。しかし、キリスト教では世界というのは聖書に書いてある通り神が作ったものであり、それを疑い実験しようものなら神を試す行為として糾弾されました。
そのため、技術の発展が止まってしまったんです。

それに加えて、ローマ時代の文献はラテン語で書かれていたのですが、聖職者はラテン語を神学を学ぶ為だけのものとして独占してしまったんです。そのため、古代ローマ人が培った技術を読めるものがいなくなって失われてしまいました。ちなみに、後にそれはおかしいということで、ラテン語で文献を読む人たちが出てきて技術を復興します。それがルネサンスです。

失われてしまった技術の例としては、都市に完備された上下水道網、各都市をつなぐ舗装された幹線道路、
コンスタンティノポリスのような巨大かつ堅固な城壁を築く築城技術、それを破ることが出来るような精度の高い投石器や様々な力学を駆使した攻城兵器、
「アンティキティラ島の機械」を作ることが出来るほどの天文知識と機械技術、現代にも見劣りしない「ミロのヴィーナス」のような美術・・・などなどキリがありません。

なんかこう書くとキリスト教が悪いように見えてしまいますが、この中世の時代を当のキリスト教徒である西洋人たち自身が「暗黒の時代」と呼び、現代では戒めとしています。そういう反省し教訓とする姿勢は見習うべきものであるでしょう。
(引用終わり)

つづく

http://rio2016.5ch.net/test/read.cgi/math/1514376850/353

362: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/10(水) 19:44:36.98 ID:xixJS48Q

>>361 補足
で、私の主張は、下記

（前スレより）
「607 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/27(水) 07:13:19.94 ID:JqNELMW3 [2/8]
>>604
>で？そのあとの最終的な結論は？

単純に場合分けをしただけだよ（>>561を 微修正）
　１）補集合R−Bfが、R中で稠密で無い場合：この場合は、どこかにBfを満たす区間(a, b)が取れる（べき）。そして、条件Bfが成り立つならば、(a, b)で連続である
　２）補集合R−Bfが、R中で稠密である場合：この場合は、どこにもBfを満たす区間(a, b)は、取れない。
それだけ

608 自分返信：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/27(水) 07:20:51.76 ID:JqNELMW3 [3/8]
>>607
（補足）
１）の場合
　lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ が、区間(a, b)で成り立っているとする
　区間(a, b)での、lim sup y→x ｜（f(y) − f(x)）/（y − x）｜の最大値を、Mとする
　lim sup y→x ｜（f(y) − f(x)）/（y − x）｜<= Mと書ける
　区間(a, b)で、リプシッツ連続である

以上

614 返信：１３２人目の素数さん[sage] 投稿日：2017/12/27(水) 20:28:08.95 ID:hLkm2n+q [1/4]
>>607
「場合分けしただけ」というのが最終的な結論なのであれば、

「例の定理(もしくは "弱い定理")は自明な定理であって、証明の必要がない」

という当初の主張は撤回するということだな？
だったらそれでいい。場合分けすること自体には別に間違いもクソもないからな。

621 自分：現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 投稿日：2017/12/27(水) 23:17:07.10 ID:JqNELMW3 [7/8]
>>614
場合分けは、普通は、証明のためだよ

自得するのを、待ったんだが・・（＾＾

貴方の証明を斜め読みしたが、稠密で無い場合、つまり、どこかにBfを満たす区間(a, b)が取れる前提でしか、
証明していないように見えるが、どう？」
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1514376850/362

366: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [sage] 2018/01/10(水) 21:42:07.86 ID:xixJS48Q

>>364 追加

ちょっと思いついたので、悪いが、忘れないうちに下記を書いておく

（>>40より）
http://mathforum.org/kb/message.jspa?messageID=5432910 （>>35より）
Topic: Differentiability of the Ruler Function Dave L. Renfro Posted: Dec 13, 2006 Replies: 3 Last Post: Jan 10, 2007
より
The modefied ruler function f is defined by
f(x) = 0 if x is irrational,
f(0) = 1, and
f(x) = 1/w(q) if x = p/q ∈Q
where p and q are relatively prime integers with q > 0.

ここに
w(q)：an increasing function that eventually majorizes every power function.
（w(q)は、どんなｐの冪より早く増大する関数
　https://kbeanland.files.wordpress.com/2010/01/beanlandrobstevensonmonthly.pdf
　Modifications of Thomae’s function and differentiability, (with James Roberts and Craig Stevenson) Amer. Math. Monthly, 116 (2009), no. 6, 531-535.
　などではP532で、” (e.g., ai = 1/i^(i^i) )”などと記されている。qで書けば、= 1/q^(q^q)だ）

簡単のために、区間[0, 1]を考える。（同じことを、区間[n, n+1] (ｎは整数)で考えれば、実数R全体に展開できる）

このような、場合、上記数学者のRenfroさんや、Robertsさんたちは、”Qで不連続、リュービル数（超越数）で微分不可（リプシッツ連続でもない）だが、それ以外の無理数では、微分可だ”という

つづく

http://rio2016.5ch.net/test/read.cgi/math/1514376850/366

上下前次 1-新書関写板覧索設栞歴

あと 292 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ

ぬこの手ぬこTOP 0.016s