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

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

299: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/08(木) 13:38:58.09 ID:tviuvo/l

哀れな素人さん、どうもスレ主です。

>>298
>参加者の多くがこのスレを去ったのは、スレ主のアホさと、
>コピペを貼りまくるスレ主に嫌気がさしたからだ。

それでよろしいんじゃないですか
私もいま定期巡回しているのは、IUTスレのみです
他は、わけのわからない「名無し」さんどうしの議論

昔何かに書かれていたが、2chの名無しさん、大人と思っていたら小学生だったこともあったという
まさにまさにですよーｗ（＾＾；
わけわからん「名無し」さんどうしの議論など、時間と余白の無駄

>サル石だけは、何とかスレ主に自分のアホさを知らしめてやろうと
>このスレに滞在しているが、どんなにがんばっても無理だ(笑

ええ、あいつ（サル石）は、このスレに止めて、他のスレを徘徊しないようにすること
それも、このスレの役目でしょうｗ（＾＾

>>297
> 2chはコピペを貼る場所ではないのである。

なにを仰るウサギさん（＾＾
2chは、天下の落書き帳ですよ
（参考）
https://ja.wikipedia.org/wiki/2%E3%81%A1%E3%82%83%E3%82%93%E3%81%AD%E3%82%8B
2ちゃんねる
(抜粋)
否定的・批判的評価
5ちゃんねるは「便所の落書き」と言われることが多々ある[56]。
たとえば、2001年8月12日に東京・渋谷の株式会社アスキー本社で開催された「アスキーの西氏が取締役を退任」スレッドのオフ会で、
西和彦は「2ちゃんねるは便所の落書きみたいなものだ」[67]と、オフ会に参加していた管理人（当時）であったひろゆきの前で語っている。
この呼び名は2ちゃんねる内でも利用されることがある。

注釈
1^ 当初、掲示板はクサチュー語変換や、落書き帳など、ひろゆきが面白いと思うものを集めたウェブサイト内の一要素という位置づけで[8]、
その掲示板も、あめぞうのスクリプトを流用したものではなく、最初はクサチュー語変換スクリプトを用いたクサチュー語掲示板であった[9]。

>本やネットで得た情報をもとに、みんなで語り議論する場だ。

どうぞ、下記で、”本やネットで得た情報をもとに、みんなで語り議論する場”を実践ください（＾＾
https://rio2016.5ch.net/test/read.cgi/math/1553954860/
ガロア第一論文について語るスレ

http://rio2016.5ch.net/test/read.cgi/math/1564659345/299

350: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/10(土) 07:57:56.09 ID:AHc3nl9z

>>336 補足

現代数学では、無限を扱う手段を幾つも持っています
可能無限を、数列 (an)n∈Nで、nをどんどん大きくしていったときの数列 (an)の挙動とします
ある値aに収束する（ある定数rが存在して、r ＜ n の場合に、 (an)＝aが実現できている場合を含む）
又は
収束しないで、振動する場合、例えば三角関数で数列 (sin(n))n∈N とか、上極限と下極限(下記)で扱うこともできる

強いて言えば、「ある定数rが存在して、r ＜ n の場合に、 (an)＝aが実現できている」が”実無限”（ (an)＝aが実現できている）
これ以外が、”可能無限”でしょうかね（＾＾
繰返しますが、”実無限”は、現代数学の用語ではありません！

https://ja.wikipedia.org/wiki/%E4%B8%8A%E6%A5%B5%E9%99%90%E3%81%A8%E4%B8%8B%E6%A5%B5%E9%99%90
上極限と下極限
(抜粋)
数学において、数列 (an)n∈N の上極限（じょうきょくげん、英語: limit superior）および下極限（かきょくげん、英語: limit inferior）とは、nを無限に大きくしていったときの数列の挙動から決まる実数であり、この数列の極限に（ある意味で）なりうる値を上と下からおさえるために使われる。

性質
数列 (an) の上極限と下極限は（無限大をとることを許せば）必ず存在する。これは極限値が存在するかどうか分からないのと対照的である。

次の性質がもっとも重要である。
「(an) が収束すること」と「上極限と下極限が一致すること」は同値である。
(引用終り)

https://mathtrain.jp/supmax
高校数学の美しい物語
sup（上限）とinfの意味，maxとの違い 2016/05/18
(抜粋)
min  は max の反対側，inf は sup の反対側なので，ここでは max,sup についてのみ解説します。
maxとsupの定義
略

supはmaxの一般化
ここからは sup の有用性をなんとなく実感してもらうために，sup の性質を2つ解説します。

sup  の嬉しさ1：maxA が存在するなら supA=maxA
supは常に存在する
sup の嬉しさ2：A が上に有界なら supA は常に存在する。

max  は存在するとは限りませんが，sup は常に存在するので，統一的に議論することができます。 sup の存在証明は解析学の教科書を参照して下さい（例えば高木貞治の解析概論）。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1564659345/350

415: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/10(土) 20:30:35.09 ID:AHc3nl9z

>>329 補足
>＞選択公理を仮定しなければ、非可測集合は存在しないことを示した
>スレ主は全然分かってませんね
>（ルベーグ）可測集合だけの集合論が成立することを示したのであって
>そのような集合論では、必然的に選択公理は成立しません

補足
（なお、下記渕野昌先生のこのPDFは、過去複数回取り上げている。文字化けは原文ご参照）
http://fuchino.ddo.jp/papers/tohoku-ws06-talk.pdf
集合論から見た非可測集合
渕野 昌（中部大学，fuchino@isc.chubu.ac.jp）
2006 年 11 月 13 日
東北大学大学院理学研究科 数学専攻 談話会での講演
(抜粋)
(A) 選択公理が悪い．選択公理がなければこんなことは起こらないのではない
か ？
定理 2 (Robert Solovay, 1970）
ZFC + “ 到達不可能基数が存在する” が無矛盾なら，ZF + DC + “ すべての実数
の集合はルベーク可測” も無矛盾である．
ZFC : Zermelo-Frenkel axiom system of set theory with Axiom of Choice
選択公理を含む集合論の公理系
ZF : 集合論の公理系から選択公理を除いたもの
DC : Depenent Choice （従属選択公理）“maximal な有限枝を持たない木は無限
の枝を持つ” を主張する選択公理の弱いヴァージョン
到達不可能基数 : 極限基数で正則なもの．到達不可能基数の存在を仮定すると
“ZFC は 無 矛 盾 で あ る” が 証 明 で き る ．し た がって 不 完 全 性 定 理 に よ り，
ZFC に到達不可能基数を加えた体系は ZFC より真に強い体系である．

(A) 選択公理が悪い．選択公理がなければこんなことは起こらないのではない
か ？
定理 2 (Robert Solovay, 1970）
ZFC + “ 到達不可能基数が存在する” が無矛盾なら，ZF + DC + “ すべての実数
の集合はルベーク可測” も無矛盾である．

つづく

http://rio2016.5ch.net/test/read.cgi/math/1564659345/415

741: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/14(水) 10:08:15.09 ID:Qpe2jc/f

つづき

U を OpenX の対象とし，(Ui ?→ U)i∈I を OpenX における射の族
（つまり Ui はU に含まれる開集合）で (Ui)i∈I が U の開被覆になっているものとする．
このとき，
この開被覆に関する層の条件は次の完全系列で表すことができる：
0 ?→ F(U) ?→ ?i∈IF(Ui)(?)??→ ?i,j∈IF(Ui ∩ Uj )．
ここで (?) は (xi)i∈I 7?→ (xi|Ui∩Uj ? xj |Ui∩Uj)i,j∈I で与えられる準同型である．
Ui ∩ Uj は圏 OpenX 内でのファイバー積 Ui ×U Uj と解釈できることに注意する
と，「(Ui)i∈I が U の被覆になっている」という一点を除けば，層の条件は純粋に圏
論的な言葉で書くことができることが分かる．したがって，圏 OpenX 以外にも，
「射の族 (Ui ?→ U)i∈I が被覆である」という条件が与えられているような圏に対し
てはその上の層という概念が定義できることになる．
例えば，次のような圏 LIsomX を考えよう．

定義 1.6
連続写像 f : Y ?→ X が局所同相であるとは，任意の y ∈ Y に対し y の開近傍
V , f(y) ∈ X の開近傍 U が存在して，f が V から U への同相写像を誘導すること
をいう．
圏 LIsomX を次のように定める：
・ 対象は局所同相な連続写像 f : Y ?→ X（誤解のないときには単に Y とも表す）．
・ f : Y ?→ X から f′: Y′ ?→ X への射は，連続写像 g : Y ?→ Y′ で f′?g = f
を満たすもの．
LIsomX における射の族 (gi: Yi ?→ Y )i∈I（Y , Yi は LIsomX の対象）が被覆で
あるとは，Y =∪i∈Ig(Yi) となることをいう．

このように，圏に被覆の概念を定めたものをサイト (site) と呼ぶ注 4．サイト
LIsomX に対して，その上の層の概念を定義することができる：

注 4正確には，これは圏に対する前位相 (pretopology) と呼ばれる概念であり，サイトの定義とは少
し異なる．圏に前位相を定めることはちょうど位相空間の開基を定めることにあたる．異なる開基が
同じ位相を定めることがあるように，異なる前位相が同じサイトを生むこともある．詳細は [SGA4]
を参照していただきたい．

つづく

http://rio2016.5ch.net/test/read.cgi/math/1564659345/741

984: １３２人目の素数さん [] 2019/08/15(木) 20:54:22.09 ID:R2b+aaQz

＿＿
　　　　　　　　　　　　　　　　|＿＿|'' - ._
　　　　　　　　　　 　 　 　 　 |　　| l' - ._|
　　　　　　　　　　 　 　 　 　 |　　| |｀:| |′
　　　　　　　　　 　 　 　 　 ,=|　　| |　| |
　　　　　　　　 　 　 　 　 /　:|_,,　| |　| |
　　　　　　　　　　　　 　 l　　|　|. | |　| |
　　　　　　　　　 　 　 　 | 　 |　|:::| |　| l|.　／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　　　　　　　　　 　 　 / 　 |　l　| |　| ||　| 見ろ！これが数学の敵、スレ主の首だ！！！
　　　　　 　 　 　 　 　 /　　 |　|　| |　| |:!　＼＿　 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　　　　∧＿∧　　 /　　　.l　l.　| |‐'| |:|　　 　 ∨
　　　　 （　´∀｀） ／　　 　 |　|.　| |　| ll:|　　　∧＿∧
　　　　 （　　 　 つ　　　　　|　|　 | |　| ||:|　　（　・∀・）　∧＿∧
　　　　　|　 | 　|　　　 ⊂⌒|　l: 　| |‐'| l:|:|　⊂　　　　つ（　ﾞ∀｡ ）←スレ主
― ∧∧ ____,）__）ｰl二二二l_,.. ┐| |'二二⊃ /　/〉　〉―；;~∴ー――
　 (　　,,ﾟ)　厂⌒厂⌒厂⌒i´__,,. |..| |〉　 　 〈(＿) (＿_)　　 ；'　_,.. - ''"!∧ ∧＿∧
　 / 　 つノﾉ　 ﾉ　　/ 　 ,ﾉ| 　 　|,,|..!､＿___,ﾉ　　　　　_,.. - ''"　　 _,.. ┘∧ ∧＿∧
　(,,　　))'〜ー〜ー〜一'"┴'''"　　　　　　　　_,.. - ''"　　 _,.. - ''"l:| ∧＿∧　∧＿∧
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣!　　_,.. - ''" ＼;|　　|:!（・∀・　）（・∀・　）
―┬―┬―──――――――‐┬―┬┬┴''"／　　　　　:|∧＿∧　∧＿∧　.∧＿∧
　 │　 │　　　　　　　　 　　 　 　 ｜　 ｜｜　／　　　　　　 .（∀・ 　 ）（∀・ 　 ）（∀・ 　 ）
. ∧＿∧　∧＿∧　∧＿∧　∧＿∧.　∧＿∧　∧＿∧.　∧＿∧　∧＿∧　∧＿∧
（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）

http://rio2016.5ch.net/test/read.cgi/math/1564659345/984

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.064s