17/05/29 18:08:58.05 IKiw8fcW.net
へー
>>120 ID:PqWMwFYKさん 09:32 から >>223 High level people ID:q2oArHoC さん 19:00 まで
昨日は面白い議論が進んだんですね・・（＾＾
その場に居なくて失礼しました
315:面白いですね。その場に居たら、もっと面白かったろうに（＾＾ まあ、居なくて良かったでしょう 私が、中途半端に口出ししなくってね みんな、１３２人目の素数さんで、ＩＤで区別ができるとはいうものの、混乱してしまいますしね（＾＾
316:１３２人目の素数さん
17/05/29 18:11:30.49 lK+BAHfy.net
>>287
＞集合R^N （Rは実数全体、Nは自然数全体）の中からある元を選ぶというのだが
＞選んだ元はどのように記述されるのか？
そのままでしょう そうでなければランダムに選んだことになりませんから
そんなの人間技では扱えないというなら、そもそも問題自体が「絵に描いた餅」だな
317:１３２人目の素数さん
17/05/29 18:14:59.12 7MNqmbux.net
>>287
{a_n}∈R^N
∀n∈N に対し a_n=a∈R
という有限の記述によって、非可算個の元 {a_n}∈R^N を記述できる。
318:現代数学の系譜11 ガロア理論を読む
17/05/29 18:15:15.32 IKiw8fcW.net
>>281
哀れな素人さん、どうも。スレ主です。
>このID:sRGKIevlはOneStoneか？
なるほど。そういうところの嗅覚は、なかなか鋭いですね～（＾＾
319:現代数学の系譜11 ガロア理論を読む
17/05/29 18:26:32.25 IKiw8fcW.net
>>286
ID:lK+BAHfyさん、どうも。スレ主です。
宝塚北高校出身の方ですね（＾＾
>では、「箱入り無数目」論争にも参加しないほうがいいですよ
>数学科以外のその他一般人には「無益な神学論争」ですから
いやいや、これは、>>77（日本人の3割しか知らないこと くりぃむしちゅーのハナタカ!優越館）なんですよ（＾＾
日本人→大学数学科の１～２年生 の置換をしてもらえると意味分かるでしょ？（＾＾
（証明は知らなくても、センター試験方式のマルバツ客観テストなら正解できるので、無価値ではないよと。（＾＾）
もちろん、大学数学科の３～４年生になれば、当たり前の常識（＾＾
昨日、ID:PqWMwFYK さんが来て、論じていったことなどがその例
もっとも、あの議論は、私はまだ完全に理解していませんがね（＾＾
320:現代数学の系譜11 ガロア理論を読む
17/05/29 18:45:27.82 IKiw8fcW.net
>>186
ID:wTm+t2cZさん、どうも。スレ主です。
宝塚北高校出身の方ですね（＾＾
>「大学レベルの確率論の最低限の基礎知識」
>があるかどうかテストさせてください
まともな回答面倒なので、それはスルー
まあ、過去スレ20の459以降、何度も確率分布の議論はしているので、そちらをご参照ください
321:現代数学の系譜11 ガロア理論を読む
17/05/29 18:47:58.60 IKiw8fcW.net
>>285 補足
あれ（＾＾
>>120 ID:PqWMwFYKさんとの人違いの流れ弾かな？（＾＾
まあ良いか（＾＾
322:１３２人目の素数さん
17/05/29 18:58:54.23 lK+BAHfy.net
>>294
>宝塚北高校出身の方ですね（＾＾
いいえ、違いますよ
生まれも育ちも東京ですが？
323:現代数学の系譜11 ガロア理論を読む
17/05/29 19:03:17.31 IKiw8fcW.net
>>119
ID:wTm+t2cZさん、どうも。スレ主です。
宝塚北高校出身の方ですね（＾＾
((抜粋))
スレ28の「禁止事項」読ませていただきました
そもそも>>1氏の引用は意図が不明の上そもそも自分の文章と引用を区別する配慮が為されていないので大変読みにくいです
(引用終り)
確認だが、この「>>1氏」はスレ28の>>1氏なんですかね？ それとも私のことですかね？
>その根拠はリンクだけで十分でしょう
その批判が、もし私に対するものならば、私はそうは考えませんので悪しからず（＾＾
リンクだけでは、しばしばリンク切れになり、キーワード不明になって、再検索や、代用サイトの検索も出来なくなりますからね
また、読みにくいと仰るなら、工夫はしますが、そもそも、この２ＣＨでは数学記号や図、２行以上にわたる記法が使えないので、本格的な大学レベルの数学議論は無理があると考えていますよ（＾＾
まあ、それが不満なら、自分でスレ立てを・・（＾＾
324:現代数学の系譜11 ガロア理論を読む
17/05/29 19:04:38.20 IKiw8fcW.net
>>297
どうも。スレ主です。
ID:lK+BAHfyさん、レスありがとう
人違いでしたか。失礼しましたｍ（＿ ＿）ｍ
325:１３２人目の素数さん
17/05/29 19:06:58.49 lK+BAHfy.net
>>294は何をいってるのか全く理解できませんが・・・
昨日の議論なら、結局、選択公理を使って同値類の代表元をとる関数ｆと
元の列と代表元を比較した結果得られる決定番号をつかって構成される
無限列から
326:自然数への関数dが非可測関数だから、99/100という結果を 測度論によって正当化することはできない、ってことですよね で、あなたは「絶対予測できない！」といいはってますが、それでは あいてない1列の決定番号が、他の99列より大きい確率は1だと いうことですか？（別に99列が999列でも9999列でも構わない）
327:１３２人目の素数さん
17/05/29 19:14:54.94 lK+BAHfy.net
>>295
横レスですが
2chは匿名が基本だし、IDは毎日更新されるので
昨日のIDで呼びかけるのは無意味だと思いますよ
＞まともな回答面倒なので
資源工学科なら、測度の定義なんて教わらないでしょうから
「知らない」と答えればよろしいんじゃないでしょうか？
328:１３２人目の素数さん
17/05/29 19:25:38.11 lK+BAHfy.net
>>295
ところで>>186の答えなら、昨日の議論の中に出てきてますよ
お得意のリンクと引用で終わりですね
>>201
「可算無限等確率測度が存在しないことの証明
Nを自然数全体の集合とします。
n∈Nに対してP({n})が一定となるような確率測度Pが存在するとして矛盾を示します
P({n})=pとおきます
p>0のときは測度の可算加法性よりP(N)=∞
p=0のときも測度の可算加法性よりP(N)=0
いずれにしてもP(N)=1を満たさないので矛盾。(終わり)」
329:現代数学の系譜11 ガロア理論を読む
17/05/29 19:26:10.95 IKiw8fcW.net
>>117
ID:wTm+t2cZさん、どうも。スレ主です。
>＞このスレでは、哀れな素人さんとの議論が白熱している
>矛盾が証明できない言い訳のつもりならそんな気遣いは無用ですよ
昨日の議論でお分かりのように、哀れな素人さんとの議論と、時枝記事の議論とが錯綜したでしょ？
そのことですよ！
330:現代数学の系譜11 ガロア理論を読む
17/05/29 19:31:18.30 IKiw8fcW.net
>>116
ID:wTm+t2cZさん、どうも。スレ主です。
>スレ28の>>1は貴方のHNを勝手に使った、ということですか
>しかしそんなの２ｃｈでは日常茶飯時ですよ
確かに、ふざけて他人のHNを勝手に使うことはありますが、まれですよ
そもそも、スレ28の>>1のHN借用はどういう意図なんでしょうね？ その意図を説明できないでしょ？
正常な精神にあらずですね
まあ、当然、その報いは当人に跳ね返ります。人間失格、信用失墜としてね・・>>132（＾＾
331:１３２人目の素数さん
17/05/29 19:32:10.48 lK+BAHfy.net
>>303
＞時枝記事
その名称、正直いって適切でないと思いますよ
だって、著者自身がPeter Winkler氏から聞いたって書いてますから
要するに著者自身のアイデアではないので、著者の名称で呼ぶのは如何なものかと
URLﾘﾝｸ(en.wikipedia.org)
332:１３２人目の素数さん
17/05/29 19:39:55.78 lK+BAHfy.net
>>304
＞確かに、ふざけて他人のHNを勝手に使うことはありますが、まれですよ
宝くじで3億円当てるよりは高確率で見かけますよ
まれというほどではないですね
だいたい正常な精神の持ち主は２ｃｈにこないですよｗ
２ｃｈに来るのは不遇な人ばかりですね
333:１３２人目の素数さん
17/05/29 19:41:24.07 jGnH0Ike.net
素人爺さんは人柱
334:１３２人目の素数さん
17/05/29 19:46:44.65 WfhwXAGF.net
, -─ - ､
, -'´ l､ ｀ ､
／ ﾉ ヽ ヽ
冫 ノ彡,ｨ／ ヽ. l
7 l _,. l! l
ﾚ'､r l＝-､;__,r-＝､_ l,_ ﾉ
ヽlー─'l ー‐' ｀lﾉ /
', ｀ /,ノ
ヽ -─- ﾉi'
lヽ､＿＿ ／ _l､
＿,r 'ﾞ|ﾆ= ､ , 一' ´ ,ﾄ ､ ＿
‐'.´￣／;;;;;;;;|＞／ヽ二二´ﾉ;;;;;;;;;;;;ヽ｀'';;;;
;;;;;;;;;;;;<;;;;;;;;／／l :: ヽ /;;;;;;;;;;;_ - ';;;;;;;;
;;;;;;;;;;／;;;< / / ::. ヾ
335:;;;;;;;;;;;;;ヽ;;;;;;;;;;;;;; テストだよ
336:１３２人目の素数さん
17/05/29 19:50:20.09 lK+BAHfy.net
>>300
＞あいてない1列の決定番号が、他の99列より大きい確率は1だということですか？
に対する「ガロア理論を読む」氏のコメントがききたいものです
337:現代数学の系譜11 ガロア理論を読む
17/05/29 19:51:48.94 IKiw8fcW.net
>>214
ID:wTm+t2cZさん、どうも。スレ主です。
>>>１さん そんな力んで「間違ってる」とかいわなくてもいいですよ
>現実的な問題とは関係しないですから
回答は>>294です（＾＾
338:１３２人目の素数さん
17/05/29 19:53:23.04 lK+BAHfy.net
正直、数学科以外の人がガロア理論を知りたがる動機がよくわからない
ガロア理論は代数方程式を解く理論ではないですよ
339:１３２人目の素数さん
17/05/29 19:58:04.08 lK+BAHfy.net
>>294
数学科の方々に劣等感があるようですね
そしてそれを跳ね返したいようですね
まあ、数学科のほうでは
「資源工学科って何すんだ？鉱山で金でも採掘するのか？」
なんて呑気なこといってたりします 要するにあまり関心がありません
340:現代数学の系譜11 ガロア理論を読む
17/05/29 20:01:24.60 IKiw8fcW.net
>>301
ID:lK+BAHfさん、どうも。スレ主です。
>2chは匿名が基本だし、IDは毎日更新されるので
>昨日のIDで呼びかけるのは無意味だと思いますよ
それは貴方の考えですね
ここは、ハンドルネームを入れない人が多いので、私以外は”１３２人目の素数さん”だ
日常の礼儀として、呼びかけがある。IDで呼びかけるしかないし、まあ、呼びかけがないと、なんとなく気分が出ないね（＾＾
また、”スレ主です”という名乗りも不要だが、会話のリズムと思っていますので悪しからず（＾＾
>資源工学科なら、測度の定義なんて教わらないでしょうから
>「知らない」と答えればよろしいんじゃないでしょうか？
文系ですか？ 理系は、大学の知識だけでは食べていけませんよ～（＾＾
自分で勉強しないやつ、だめですよ～（＾＾
341:現代数学の系譜11 ガロア理論を読む
17/05/29 20:02:43.38 IKiw8fcW.net
>>305
どうぞ、スレ28へ
自分の好きな名称で議論願います
342:１３２人目の素数さん
17/05/29 20:03:03.78 lK+BAHfy.net
工学系の人には、トポロジーとか代数幾何とか集合論とかやってる人は
もう霞を食って生きる仙人に見えるだろうなあ
343:１３２人目の素数さん
17/05/29 20:08:59.88 lK+BAHfy.net
>>313
＞理系は、大学の知識だけでは食べていけませんよ～（＾＾
工学系ならガロア理論より代数方程式の数値解法のほうが遥かに役に立つよ
344:現代数学の系譜11 ガロア理論を読む
17/05/29 20:09:55.58 IKiw8fcW.net
>>312
>数学科の方々に劣等感があるようですね
>そしてそれを跳ね返したいようですね
誤解ですね。劣等感なし。単に面白いと
”跳ね返したい”？ 意味不明ですね。本格的に、数学科で勉強した人は、そして真に実力のある人は、尊敬しますね
>まあ、数学科のほうでは
>「資源工学科って何すんだ？鉱山で金でも採掘するのか？」
>なんて呑気なこといってたりします 要するにあまり関心がありません
私も、数学科より、数学に興味があるのでね
もっとも、現代数学は範囲がひろすぎるので、全体からみれば、自分の興味のある数学はごく狭いものですが（＾＾
まあ、それに、現代数学といってもせいぜい２０世紀ベースですね
345:現代数学の系譜11 ガロア理論を読む
17/05/29 20:12:02.62 IKiw8fcW.net
>>316
どうも。スレ主です。
もちろん、代数方程式の数値解法も勉強しました
もっと言えば、微分方程式や偏微分方程式の数値解法も
346:１３２人目の素数さん
17/05/29 20:14:52.81 lK+BAHfy.net
>>317
＞単に面白いと
何がどう面白いですか？具体的に述べてもらえますか？
資源工学科の人が、数学のどこに興味をもつのか、大変興味があるので
＞現代数学は範囲がひろすぎるので、
ええ、全部を知ってる人なんていないし、全部を知ろうなんて無駄ですよ
＞現代数学といってもせいぜい２０世紀ベースですね
２０世紀の数学なんて大抵の工学系の人には縁がないのでは？
だって工学でコボルディズムとかスキームとかフォーシングとか使いますか？
347:１３２人目の素数さん
17/05/29 20:16:56.24 lK+BAHfy.net
>>318
で、それで十分でしょう？工学的には
他に何が知りたいんですか？
348:現代数学の系譜11 ガロア理論を読む
17/05/29 20:17:17.45 IKiw8fcW.net
>>315
>工学系の人には、トポロジーとか代数幾何とか集合論とかやってる人は
>もう霞を食って生きる仙人に見えるだろうなあ
他人の工学系は知りませんが、私には普通です
只の大学教員サラリーマン
岡潔クラスは別だが（＾＾
いまどき、小数では？
トポロジーとか代数幾何と言っても、21世紀になるとついていけませんがね
20世紀でも、グロタン先生以降のトポロジーとか代数幾何、数学科でもついていける人小数なんじゃないですかね？ もちろん、私もその一人（ついていけない）ですが・・（＾＾
349:１３２人目の素数さん
17/05/29 20:23:58.54 lK+BAHfy.net
>>321
＞岡潔クラスは別だが（＾＾
岡潔が何をしたかご存じですか？
＞20世紀でも、グロタン先生以降のトポロジーとか代数幾何、
＞数学科でもついていける人小数なんじゃないですかね？
グロタンディクはトポロジストじゃないですよ。代数幾何学者
はっきり言って代数幾何といえば、数学科の学生が知ってるのは
グロタンディク以降のスキーム論ですよ
350:現代数学の系譜11 ガロア理論を読む
17/05/29 20:28:29.75 IKiw8fcW.net
>>319
>何がどう面白いですか？具体的に述べてもらえますか？
過去レスにも書いていますが、近現代数学は、応用面広いですよ。勉強して損はないです。分野によりますが
工学でも、偏微分方程式の基本解で、ディラックδを使いますよ、普通にね（＾＾
>２０世紀の数学なんて大抵の工学系の人には縁がないのでは？
いやいや、それは誤解ですね
待ち行列理論など２０世紀数学ですよ
経済学でも、確率微分方程式が普通に使われる時代です（おっちゃんの妹さんが詳しいらしい（＾＾）
>だって工学でコボルディズムとかスキームとかフォーシングとか使いますか？
使いませんね。が、スキームとかフォーシング、面白そうです（＾＾
まあ、貴方の数学のとらえ方狭いです
経済学の確率微分方程式の応用、ノーベル経済学賞で「数学者がそれ（数学理論の適用）をしたわけではない」ということを知るべきです
つまり、数学は、困ったときの道具箱なんですよ
道具箱にどんな道具が入っているか？
それを知っておくことは全く無駄ではなく、いやむしろ有用です
351:現代数学の系譜11 ガロア理論を読む
17/05/29 20:29:41.49 IKiw8fcW.net
>>320
はい>>323をどうぞ
352:１３２人目の素数さん
17/05/29 20:34:54.14 lK+BAHfy.net
>>323
＞工学でも、偏微分方程式の基本解で、ディラックδを使いますよ、普通にね（＾＾
そりゃ使うでしょ そういうのは物理科とか工学系の連中のほうが詳しいよ
＞待ち行列理論など２０世紀数学ですよ
数学科ではORとか習わない これ結構他学科の人は知らないんだな
＞確率微分方程式
そういうのも工学系のほうが詳しかったりするな
353:現代数学の系譜11 ガロア理論を読む
17/05/29 20:36:52.77 IKiw8fcW.net
>>322
>岡潔が何をしたかご存じですか？
もちろん。と言っても、「知る」のレベルが問題でしょうが
過去スレ見て貰えれば分かりますよ（＾＾
>グロタンディクはトポロジストじゃないですよ。代数幾何学者
>はっきり言って代数幾何といえば、数学科の学生が知ってるのは
>グロタンディク以降のスキーム論ですよ
いや、存じ上げますが、問題は「グロタンディク以降のスキーム論にいまの数学科の学部生の何割がついていけているのか？」です。３割ですか？（＾＾
少し質問して良いですかね
私ばかり回答しているのでね（＾＾
１．数学科在学ないし卒業生ですか？ Ｙ、Ｎ
２．なぜ、このスレにいるのですか？ 暇なんですね？ Ｙ、Ｎ
３．このスレに不満があるなら別のところへ行くか、自分でスレ立てしたらどうですか？ Ｙ、Ｎ
354:１３２人目の素数さん
17/05/29 20:39:46.83 lK+BAHfy.net
>>323
＞スキームとかフォーシング、面白そうです（＾＾
どんなもんか知ったら
「こんなペダンティックな屁理屈 無意味だ！」
と激怒すると思うよ
＞貴方の数学のとらえ方狭いです
ええ、数学者は自分の興味のあるところを
深堀りするのが大好きですからね
基本的にヲタクですから
社畜サラリーマンとは違うよｗ
＞ノーベル経済学賞
あー、数学者はフィールズ賞には関心があるけど
そっちには関心ないだろうな
ま、くれるというなら貰うけど、くらいのもんでしょう
355:現代数学の系譜11 ガロア理論を読む
17/05/29 20:43:24.10 IKiw8fcW.net
>>325
ああ、数学科学生さん？
でも、>>317 私は"数学科より、数学に興味があるのでね”
>数学科ではORとか習わない これ結構他学科の人は知らないんだな
まあ、数学科で何を教えているかは、あまり興味がないのでね。学生じゃないんでね（＾＾
>そういうのも工学系のほうが詳しかったりするな
貴方の数学科は、中高数学教師養成所ですか？
中高数学教師養成所にしても、あまり狭く数学を捉えない方が良いと思いますよ
356:１３２人目の素数さん
17/05/29 20:44:34.97 lK+BAHfy.net
>>岡潔が何をしたかご存じですか？
>もちろん。
そこで終わりですか？
普通その後説明するもんですがね
いっときますが数学で何をしたかですよ
随筆で何を書いたかではありません
＞問題は
＞「グロタンディク以降のスキーム論に
＞ いまの数学科の学部生の何割が
＞ ついていけているのか？」です
代数幾何は必修科目ではありませんよ
みんな専攻が違うんですから、
別に微分幾何とか微分方程式とか
やってる人は理解しなくたって死にませんよ
なんか根本的に数学と数学科について誤解してるようですね
数学科では数学の全てを理解することなど求められません
357:１３２人目の素数さん
17/05/29 20:48:33.48 lK+BAHfy.net
>>326
１ Y
２ Y
３ N
このスレッドに不満はありません
あなたが数学の何に興味があるのか知りた�
358:ｩったので まあ、しかし、「困ったときの道具箱」という程度のことなら 数学科で習うようなペダンティックな理論は無駄でしょう
359:１３２人目の素数さん
17/05/29 20:51:51.79 lK+BAHfy.net
>>328
＞貴方の数学科は、中高数学教師養成所ですか？
どこの数学科でも、教員養成課程くらいはあるので
中学高校の数学教師の資格はとれますね
私も持っています 教師だったことはありませんが
＞中高数学教師養成所にしても、
＞あまり狭く数学を捉えない方が良いと思いますよ
あなたのいう「狭い」「広い」の意味が不明です
別にあなたが知らない理論を研究してたとしても
それが「狭い」ということにはなりませんから
360:現代数学の系譜11 ガロア理論を読む
17/05/29 20:52:50.96 IKiw8fcW.net
>>327
>＞スキームとかフォーシング、面白そうです（＾＾
>どんなもんか知ったら
>「こんなペダンティックな屁理屈 無意味だ！」
>と激怒すると思うよ
新しい人ですね
過去スレで普通に話題でましたよ（＾＾
>深堀りするのが大好きですからね
>基本的にヲタクですから
>社畜サラリーマンとは違うよｗ
ああ、そうでしょうね
フォンノイマンなど例外なんでしょうね（＾＾
>＞ノーベル経済学賞
>あー、数学者はフィールズ賞には関心があるけど
>そっちには関心ないだろうな
>ま、くれるというなら貰うけど、くらいのもんでしょう
ノーベル賞のダジャレで、アーベル賞知ってますよね？（＾＾
日本人の受賞者はまだ居ないが、もし受賞者で日本人が出れば、ダジャレの分かる日本人増えるでしょうね
（もっとも、ノルウェー政府は”アーベル賞”というネーミングはまじめに気に入っているんでしょう（＾＾）
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
アーベル賞（アーベルしょう）は、顕著な業績をあげた数学者に対して贈られる賞である。
2001年、ノルウェー政府は同国出身である数学者ニールス・アーベルの生誕200年（2002年）を記念して、アーベルの名を冠した新しい数学の賞を創設することを公表し、そのためにニールス・ヘンリック・アーベル基金を創設した。
賞金額はスウェーデンのノーベル賞に匹敵し、数学の賞としては最高額である。
2003年4月、初めての受賞者が公表され、ジャン＝ピエール・セールに送られることに決まった（賞金は600万ノルウェークローネ[1]、約1億円）。
361:１３２人目の素数さん
17/05/29 20:59:23.01 WfhwXAGF.net
引用バカ
オワコン掲示板
ひょっとこ企業
362:現代数学の系譜11 ガロア理論を読む
17/05/29 21:01:03.34 IKiw8fcW.net
>>329
>そこで終わりですか？
はい、終りです
過去ログにある通りです。いまさら、屋上屋ですから
まあ、書いてあるのは常識的なことだけですけどね（＾＾
>代数幾何は必修科目ではありませんよ
>みんな専攻が違うんですから、
ああ、そうでしょうね
必修科目と選択科目、どの学科でも大学なら同じしょうね（＾＾
でもね、卒業に必要な最小単位しか勉強しない人もいれば
そうでない人もいるでしょ？
で、代数幾何 グロタンディク以降のスキーム論 講義の最初は沢山の学生がいる。その内減りだして、最後に本気で単位を取りに行く人は一握りなんてことないですか（＾＾
>なんか根本的に数学と数学科について誤解してるようですね
>数学科では数学の全てを理解することなど求められません
数学科は誤解していましね
でも、数学については同じです
自分の好きな分野をやれば良いと・・（＾＾
363:１３２人目の素数さん
17/05/29 21:01:16.47 lK+BAHfy.net
>>332
＞過去スレで普通に話題でましたよ（＾＾
ここは数学板ですからね
スキームもフォーシングも聞いたことないなんてモグリでしょう
＞ノーベル賞のダジャレで、アーベル賞知ってますよね？（＾＾
アーベルはノルウェーの数学者で、架空の人物ではありませんが？
＞2003年4月、初めての受賞者が公表され、
＞ジャン＝ピエール・セールに送られることに決まった
セールはフィールズメダリストですよ １９５４年だったかな？
たしか小平邦彦氏もその年に受賞してます
セールが受賞したのはトポロジーの業績でしたが
その後、彼は、代数幾何に転向してそこでも
業績を上げました 知らない人はモグリでしょ
364:現代数学の系譜11 ガロア理論を読む
17/05/29 21:03:05.41 IKiw8fcW.net
>>333
ID:WfhwXAGFさん、どうも。スレ主です。
お褒めを頂き光栄です
私は、どこの馬の骨とも分からない人の言説より、引用を好みますので、悪しからず（＾＾
365:１３２人目の素数さん
17/05/29 21:10:08.52 lK+BAHfy.net
>>334
>>そこで終わりですか？
>はい、終りです
でしょうね いいですよ 知らないなら答えなくて結構です
>卒業に必要な最小単位しか勉強しない人もいれば
>そうでない人もいるでしょ？
時
366:間があるなら自分の興味のある分野に集中しますよ そうしなくては数学の研究者にはなれません 社畜サラリーマンになるなら話は別ですが >代数幾何 グロタンディク以降のスキーム論 講義の最初は沢山の学生がいる。 >その内減りだして、最後に本気で単位を取りに行く人は一握りなんてことないですか（＾＾ ないですね 初めから少ないですよ ミーハーは数学科では生きていけません >自分の好きな分野をやれば良いと・・（＾＾ ええ、あなたは工学屋らしく解析学やってればいいんじゃないですか？
367:１３２人目の素数さん
17/05/29 21:12:06.12 lK+BAHfy.net
>>336
>私は、・・・引用を好みますので、
実は文系でしょ？
アインシュタインの相対性理論の論文には参考文献がなかったらしい
まあ、別になくちゃいけないなんていう決まりはない
368:１３２人目の素数さん
17/05/29 21:20:44.85 lK+BAHfy.net
まあ、いくら資源工学科だといっても12ビットを12進法とかいうのは酷いと思う
12ビットというのは2進法で12ケタの意味
一方12進法は一桁に入る数字が0～9,A,Bの12個
こういう人が岡潔の仕事をどんな風に理解したのか正直恐ろしい・・・
369:現代数学の系譜11 ガロア理論を読む
17/05/29 21:21:18.24 IKiw8fcW.net
>>335
>セールが受賞したのはトポロジーの業績でしたが
>その後、彼は、代数幾何に転向してそこでも
>業績を上げました 知らない人はモグリでしょ
この部分だけ、知りませんでした
なので、モグリで結構です！（＾＾
岡論文をカルタンが手に入れて、カルタンセミナーをやったと書いてありましたね
Fields Medalも、層理論構築に関連していたような・・、下記ですかね？（＾＾
はい、ここは、モグリのスレで結構ですので、お引き取りください
そもそも、正当な数学科の学生は対象外ですよ。>>3-6をどうぞ！（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
ジャン＝ピエール・セール はフランスの数学者。もとブルバキのメンバーの一人。
アンリ・カルタンに学び、はじめは複素解析や代数トポロジーを研究した。28歳の若さでフィールズ賞を受賞。その後代数幾何学に傾倒していき、グロタンディークに多くの示唆を与え、SGA（英語版）4&5で作成された道具がヴェイユ予想に大きく貢献した。
業績として代数トポロジーにおけるスペクトル系列を発展させた（Leray（英語版）?Serreのスペクトル系列）。SerreのC理論による球面のホモトピー群の研究。
GAGA (Geometrie Algebrique et Geometrie Analytique) で代数幾何において複素解析幾何学的手法を導入し、大きな成功を収めた。
FAC (Faisceaux algebriques coherents)を発表し、代数的連接層を構築。層の言葉とホモロジーを用いて代数幾何学、可換環論の書き直し、層係数コホモロジーを構成した。
整数論における l 進表現論において、楕円曲線、L関数、モジュラー形式、アーベル多様体などに応用し多くの成果をあげた。p 進モジュラー形式の理論の構成、類体論への貢献、代数的K-理論への貢献。アーベル多様体にかんする・・
URLﾘﾝｸ(en.wikipedia.org)
Fields Medal
(抜粋)
1954 Jean-Pierre Serre "Achieved major results on the homotopy groups of spheres, especially in his use of the method of spectral sequences. Reformulated and extended some of the main results of complex variable theory in terms of sheaves."
370:１３２人目の素数さん
17/05/29 21:24:05.13 lK+BAHfy.net
>>340
＞岡論文をカルタンが手に入れて、カルタンセミナーをやったと書いてありましたね
アンリ・カルタンね。エリー・カルタンの息子
親子二
371:代で高名な数学者というのは大変珍しい
372:現代数学の系譜11 ガロア理論を読む
17/05/29 21:25:36.71 IKiw8fcW.net
>>338
実は文系ですか？
では、お引き取りを
>アインシュタインの相対性理論の論文には参考文献がなかったらしい
>まあ、別になくちゃいけないなんていう決まりはない
「アインシュタインの相対性理論の論文には参考文献がなかったらしい」って、推定ですか？ （特殊と一般とありますけど、特殊の方？）
それはともかく、アインシュタインの時代と今は違います。同列に論じるなんて狂気でしょう。それとも、「おれは天才だから」ですか？ （＾＾
373:１３２人目の素数さん
17/05/29 21:29:44.68 lK+BAHfy.net
>>342
特殊相対性理論は数学的には別に難しい話ではない
現にローレンツ変換は、ローレンツもポアンカレも見つけていた
光速不変の原理からローレンツ変換を導くのが論文の主旨だから
参考文献がないのは当然だろうな
374:１３２人目の素数さん
17/05/29 21:35:21.55 sRGKIevl.net
スレ主さんは数学知識のコレクターの感じがするんだよね。
でも、岡潔の高弟の西野利雄氏によると
先生はかつて「死蔵されている知識は無い方がよい」と言われたことがあ
る. 役に立たないだけではなく, 邪魔になるというのである. 実際, 知ってい
る言葉に出会うと, それだけで分かったような気になり, その言葉の指し示す
事実の深い認識を妨げる.
とのことである。
375:現代数学の系譜11 ガロア理論を読む
17/05/29 21:36:09.61 IKiw8fcW.net
>>339
>まあ、いくら資源工学科だといっても12ビットを12進法とかいうのは酷いと思う
> 12ビットというのは2進法で12ケタの意味
>一方12進法は一桁に入る数字が0～9,A,Bの12個
ああ、そうですね、ご指摘の通りですね（＾＾
不適切な引用と関連づけでしたね（＾＾
>こういう人が岡潔の仕事をどんな風に理解したのか正直恐ろしい・・・
岡潔の仕事の理解？ いま、おっちゃんに言われた本を読んでます。一松だったかな・・。ムズイですね～（＾＾
で？ 何しにこのスレへ。私スレ主を善導して頂けるとでも？
まあ、時間の無駄。スレの余白は狭いですよ（＾＾
お引き取り頂くのが、あなたのためでもあると・・
勿論、暇つぶしならそれで結構だが、適当に流しながらのお付き合いとさせて頂きますよ～（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
少年老い易く学成り難し（しょうねんおいやすくがくなりがたし）とは、若いうちはまだ先があると思って勉強に必死になれないが、すぐに年月が過ぎて年をとり、何も学べないで終わってしまう、だから若いうちから勉学に励まなければならない、という意味のことわざである。同じ出典による「一寸の光陰軽んずべからず」もことわざとして用いられる。
376:現代数学の系譜11 ガロア理論を読む
17/05/29 21:42:57.93 IKiw8fcW.net
>>344
ID:sRGKIevlさん、どうも。スレ主です。
>先生はかつて「死蔵されている知識は無い方がよい」と言われたことがあ
>る. 役に立たないだけではなく, 邪魔になるというのである. 実際, 知ってい
>る言葉に出会うと, それだけで分かったような気になり, その言葉の指し示す
>事実の深い認識を妨げる.
>とのことである。
時代が違うと思うし、岡潔先生は弟子の養成があまり上手でなかったように書かれていたと思いますので、額面通り受け止めない方がよろしいかと
実際、フィールズ賞を取った人やあるいは、東大京大その他の高名な数学教授は、数学について博識だと思いますよ、私よりずっとずっと。そうそう、高木貞治先生も博識だったらしい（＾＾
377:１３２人目の素数さん
17/05/29 21:47:51.27 7MNqmbux.net
その博識は君の博識とまったくレベルが違うと思うよｗ
378:現代数学の系譜11 ガロア理論を読む
17/05/29 21:51:46.55 IKiw8fcW.net
>>343
>光速不変の原理からローレンツ変換を導くのが論文の主旨だから
>参考文献がないのは当然だろうな
それはどうだろうか？
ローレンツ変換自身は、アインシュタインの前に、ローレンツなどが見つけて発表していたんじゃないかな・・と、下記だな（＾＾
そもそも、先行している文献があれば、それを引用して、その差分が自分のオリジナルな部分でしょ？
全く独立に考えたとしても、先行している文献があれば、現代（21世紀）では、引用しなければマナー違反ですよね（＾＾
URLﾘﾝｸ(ja.wikipedia.org)
379:E3%83%BC%E3%83%AC%E3%83%B3%E3%83%84%E5%A4%89%E6%8F%9B ローレンツ変換 (抜粋) ローレンツ変換（ローレンツへんかん、英: Lorentz transformation）は、2 つの慣性系の間の座標（時間座標と空間座標）を結びつける線形変換で、電磁気学と古典力学間の矛盾を回避するために、アイルランドのジョセフ・ラーモア（1897年）とオランダのヘンドリック・ローレンツ（1899年、1904年）により提案された。 アルベルト・アインシュタインが特殊相対性理論（1905年）を構築したときには、慣性系間に許される変換公式として、理論の基礎を形成した。特殊相対性理論では全ての慣性系は同等なので、物理法則はローレンツ変換に対して不変な形、すなわち同じ変換性をもつ量の間のテンソル方程式として与えられなければならない。 このことをローレンツ不変性(共変性)をもつという。 幾何学的には、ミンコフスキー空間における 2 点間の世界間隔を不変に保つような、原点を中心にした回転変換を表す。
380:現代数学の系譜11 ガロア理論を読む
17/05/29 21:52:35.47 IKiw8fcW.net
>>347
>その博識は君の博識とまったくレベルが違うと思うよｗ
当然ですよ（＾＾
381:１３２人目の素数さん
17/05/29 21:59:04.93 lK+BAHfy.net
>>344
>スレ主さんは数学知識のコレクターの感じがするんだよね。
そういうところが文系だなｗ
>>348
>ローレンツ変換自身は、アインシュタインの前に、
>ローレンツなどが見つけて発表していたんじゃないかな・・
ま、ローレンツは明確な原理は示さなかったからな
アインシュタインは光速不変の原理を立てた そこが重要
>全く独立に考えたとしても、先行している文献があれば、
>現代（21世紀）では、引用しなければマナー違反ですよね（＾＾
1900年代にはインターネットなんかないよｗ
昔はその手の話は沢山あった
双曲幾何のクラインモデルも、実はイタリアの数学者
ベルトラミが先に見つけて論文も出してる
382:１３２人目の素数さん
17/05/29 22:02:21.46 lK+BAHfy.net
＞いま、おっちゃんに言われた本を読んでます。一松だったかな・・。ムズイですね～（＾＾
仕事の役に立たないからやめときな
ガロア理論知っても代数方程式は解けないし
多変数複素関数論知っても偏微分方程式は解けないから
383:１３２人目の素数さん
17/05/29 22:06:52.02 lK+BAHfy.net
Wikipediaってなんか分かってない感じの人が無理して書いてるっぽい文章多いな
みんななんでリコウぶりたいんだろ？ やっぱ不遇なんだろうな
384:１３２人目の素数さん
17/05/29 22:09:56.14 lK+BAHfy.net
Wikipediaより
「(ローレンツ変換は）幾何学的には、ミンコフスキー空間における
2 点間の世界間隔を不変に保つような、原点を中心にした回転変換を表す。」
確かにローレンツ変換は、ミンコフスキー空間における
2点間のローレンツ計量を不変に保つよ
でもそれを「回転変換」っていうのは嘘だろう
385:現代数学の系譜11 ガロア理論を読む
17/05/29 22:12:13.44 IKiw8fcW.net
>>350
>ま、ローレンツは明確な原理は示さなかったからな
>アインシュタインは光速不変の原理を立てた そこが重要
同意。物理の原理と解釈を明確に示したところが革命的だったと
URLﾘﾝｸ(ja.wikipedia.org)
特殊相対性理論
>1900年代にはインターネットなんかないよｗ
>昔はその手の話は沢山あった
まあ、そうですが、文献の数も少なかったようです
が、いま、自分の頭で何年もいくら時間を掛けて考えても、他者の二番煎じになる可能性が高いでしょうね（＾＾
それは、避けるべき。岡とは時代が違いますよ
>双曲幾何のクラインモデルも、実はイタリアの数学者
>ベルトラミが先に見つけて論文も出してる
ああ、そうなんでしょうね
詳しくは知りませんが
グロタン先生の代数幾何は、イタリア数学者の代数幾何の結果の基礎付けになったそうですね。詳しくは知りませんが
386:１３２人目の素数さん
17/05/29 22:19:59.82 lK+BAHfy.net
＞岡とは時代が違いますよ
岡が天才なのは否定しないが
フランスの数学者が岡のアイデアを盗んだと思ってるのは
日本の狂信的な国粋主義者だけだろう
387:１３２人目の素数さん
17/05/29 22:26:20.35 sRGKIevl.net
フィールズ賞を取るというのは、若い頃にある分野に集中して
しかもたまたま「当たる」という幸運が伴ってだから
博識とはあまり関係がないように思う。
有名大学で凄く博学だけど、自分では大して論文を
書いてない（書けなくなった）先生というのもいる。
大学では、「こんなことも知らないのか」と言われない
ために、体裁としての勉強もある。
勿論、理解を伴っていることは当然だが
388:。 でも、新しいことをやるということとは必ずしも関係ない。 グロタンなんて、どちらかというと既存の知識を 無視して研究するタイプでしょ。 大学の頃、ルベーグ積分に近いことを全く自己流に 考えて、しかし、ルベーグがもうやってるからとか 無駄になるとかは全く思わなかった、自分で やることに意味があったように書いている。
389:１３２人目の素数さん
17/05/29 22:43:44.16 lK+BAHfy.net
>>356
数学者は博学である必要はないね
別に博学であってはいけないとはいわないけど
車輪の再発明みたいなことは研究の現場では間々あるんじゃないかな
やっぱりあるレベルまでいくと同じようなこと思いつくとかあるんじゃないか？
研究は無駄の積み重ねですよ 結果まで一本道なんてことはない
でも論文ではそんなのいちいち書いてたら読みにくいから
さも真っ直ぐ思いついたかのように書く まあ仕方ないね
390:現代数学の系譜11 ガロア理論を読む
17/05/29 23:31:00.12 IKiw8fcW.net
>>351-357
全く時代と自分の置かれた環境を全く無視した議論をしてもね～
ああ、>>330で回答頂いていましたか・・、ふんふん。
>>331
>＞貴方の数学科は、中高数学教師養成所ですか？
>どこの数学科でも、教員養成課程くらいはあるので
いや、上記以外に、大学教員養成所とか、数学研究者養成所、ないし自分の研究室後継者養成とかを、思っていました
>>357の「数学者」の定義が問題ですが、文脈はいわゆる一流数学者かな？ 名前を出せば、日本人数学科のの３割が知っているとか・・（＾＾
でも、それは、「数学者」としてスーパースターでしょ（＾＾
そこで、「数学者」の定義レベルを落として、”どんな仕事でも良いが、数学を表芸として、お金をかせぐ人”＝数学を表芸として職業に生かしている生活している人＝数学でメシを食う人 としましょう
中高数学教師も、一応、数学でメシを食う人に入れましょう（＾＾
勿論、いわゆる「数学研究でメシを食う学者」には当たらないでしょうけどね
「数学研究でメシを食う学者」なんて、数学科卒業生のほんの一握りなんでしょ？
それは、あなた方の方がよくご存知だろう
あなた方の議論は、数学科卒業生のほんの一握りがなる、つまり、あなた方が成れなかった方の「数学研究でメシを食う学者」の議論でしかないように思いますがどうですか？
391:１３２人目の素数さん
17/05/29 23:34:36.91 7MNqmbux.net
自称ディベート嫌いがディベートにのめり込むの図
392:現代数学の系譜11 ガロア理論を読む
17/05/29 23:37:04.06 IKiw8fcW.net
>>355
>フランスの数学者が岡のアイデアを盗んだと思ってるのは
過去スレに書いてある通りです
あなたの知識と同じだと思いますよ
ああ、そうそう、”数学知識のコレクター”的言い方なら、お分かりと思うが、同様に”物理知識のコレクター”かも・・（＾＾
393:現代数学の系譜11 ガロア理論を読む
17/05/29 23:39:57.49 IKiw8fcW.net
>>358
ディベート嫌いは変わりないですよ。特に数学についてはね
いましているのは、どちらかと言えば、雑談ないし、ソクラテスメソッドかな？ 数学以外の部分でのね
394:現代数学の系譜11 ガロア理論を読む
17/05/29 23:41:10.60 IKiw8fcW.net
>>358 訂正
名前を出せば、日本人数学科のの３割が知っているとか・・（＾＾
↓
名前を出せば、日本人数学科の３割が知っているとか・・（＾＾
395:現代数学の系譜11 ガロア理論を読む
17/05/29 23:43:07.88 IKiw8fcW.net
>>358 訂正
（冒頭も、おかしいか）
全く時代と自分の置かれた環境を全く無視した議論をしてもね～
↓
全く時代と自分の置かれた環境を無視した議論をしてもね～
396:現代数学の系譜11 ガロア理論を読む
17/05/29 23:52:17.16 IKiw8fcW.net
>>353
>Wikipediaより
>「(ローレンツ変換は）幾何学的には、ミンコフスキー空間における
> 2 点間の世界間隔を不変に保つような、原点を中心にした回転変換を表す。」
>確かにローレンツ変換は、ミンコフスキー空間における
> 2点間のローレンツ計量を不変に保つよ
>でもそれを「回転変換」っていうのは嘘だろう
そうですね。Wikipediaの記述の意味不明ですね
思うに、記憶では、ローレンツ変換は、座標軸が直交していない（90度でない）記憶がある
斜交軸になるって言いたいんじゃないですかね？（＾＾
まあ、>>6に書いた「じゃ、どうするかと言えば、出典明示とそこらの(抜粋)コピペです
まあ、自分なりに、正しそうと思ったものを、(抜粋)コピペしてます
が、それも基本、信用しないように
数学という学問は特に、自分以外は信用しないというのが基本ですし」
とある通りです。悪しからず（＾＾
397:現代数学の系譜11 ガロア理論を読む
17/05/30 00:02:01.78 fHaelpbN.net
>>352
>Wikipediaってなんか分かってない感じの人が無理して書いてるっぽい文章多いな
>みんななんでリコウぶりたいんだろ？ やっぱ不遇なんだろうな <
398:br> Wikipediaの数学は、英版を見た方がいいですね。勿論、仏語できるならそちらも Wikipediaの左のコラムに、「English」とリンクがあって、そこをクリックすると、同じ項目の英語版です。そちらの方が質は上の場合が多い（＾＾
399:現代数学の系譜11 ガロア理論を読む
17/05/30 00:33:07.23 fHaelpbN.net
>>330
>数学科で習うようなペダンティックな理論は無駄でしょう
>>337
>ええ、あなたは工学屋らしく解析学やってればいいんじゃないですか？
>>351
>仕事の役に立たないからやめときな
>ガロア理論知っても代数方程式は解けないし
>多変数複素関数論知っても偏微分方程式は解けないから
（まとめレス）
１．>>330-331を見ると、あなたは、数学科卒業生で、中学高校の数学教師の資格だが、教師だったことはありませんと
２．で、いま仕事についているのか、はたまた、その仕事では数学が生かせていないのか不明だが、まあ、少なくとも仕事の経験はあるんでしょうね
３．”仕事の経験はある”前提で話をすると、”仕事に役立つ数学”だけを勉強するということは、非常に困難だと分かるでしょ？ 未来予測的中が必要だから・
４．数学など、一つ上のレベルを勉強しておくことが、有利に働く場合は多い。例えば、高校数学で微積をやってもそれだけ使える人は少ない。大学レベルの勉強をすると、高校レベルが易しく見えるだろう
５．また、現実の社会で起きる課題は、試験問題とは違って、問題を数学の俎上に乗せることからやらないと行けない場合が多い
（試験問題みたいに、綺麗な式が与えられていたり分かっている場合はまれ）
６．時代が変われば、要求される数学の質や量が異なる。例えば、エクセルが普及して、高等関数は使い易くなった。が、数学の知識がないと式が組めないだろう
７．さらには手作りの数学が必要になる場合もある。例として、有限要素法だとか。また、大規模マトリックスの効率的計算アルゴリズムの設計とかね
８．企業では、短期間に自分の直面する問題の知識を仕込まないと行けない場合が結構ある（一夜漬けともいう＊））。数学でも同じだ。数学のレベルを高めておくと、「短期間に」という部分が可能になる
＊）試験で言えば、カンニング的な、問題文を読んでから教科書の該当箇所を見て答えを書く。教科書の該当箇所を正確に見つけて、正確に当てはめをする必要があるね
まあ、そうことで、目先の役に立つ勉強も大事だが、理系にとって、数学は上記のように、仕事が密接に数学と関係しているので、数学を勉強しておくメリットはあるんだよね（＾＾
まあ、自分の趣味と実益とを兼ねてね（＾＾
400:現代数学の系譜11 ガロア理論を読む
17/05/30 00:35:55.53 fHaelpbN.net
>>366 補足
>ガロア理論知っても代数方程式は解けないし
ガロア理論は、スレの一桁代で終わっているんだ（＾＾
>多変数複素関数論知っても偏微分方程式は解けないから
多変数複素関数論も、分からんなりに一応読んだのでご心配なく（＾＾
401:１３２人目の素数さん
17/05/30 00:52:30.38 rxAAkVGG.net
＞分からんなりに一応読んだので
こういう勉強の仕方だと、まったくわかってないのにわかった気になる
数学ではそれが一番ダメ
402:１３２人目の素数さん
17/05/30 01:35:57.02 cSb4Zgmw.net
>>289
> 自然数の選び方の確率分布が定められるなら9/10といえるが
> そうでなければ、9/10だとはいえない、というのが今の確率論では
10個の自然数N^10が固定されていれば確率は9/10であり>>284が正しい。
標本空間を直積集合Ω=N^10×K, K={1,2,...,10}に取り、N^10が固定されていなければ貴方の言うとおり。
しかしs＝N^10が固定されているなら考えるべき標本空間はΩ_s＝{s}×Kであり確率は9/10である。
時枝記事では箱にs∈R^Nがしまわれた後にゲームがスタートする。
ここで考えるべき標本空間はΩ_s＝K, K={1,2,...,100}である。確率は99/10
403:0（以上）である。 ここでいう確率とは1つのsが与えられたときにプレイヤーが勝つ確率である。 任意に選ばれたs∈R^Nに対し、「同一のsに対して100回同じ戦略を採れば99回以上勝てる」というのが箱入り無数目。 「同じ戦略を採る」とは各試行で100面サイコロを振って1列を選ぶことを指す。
404:現代数学の系譜11 ガロア理論を読む
17/05/30 05:36:12.77 fHaelpbN.net
>>368
>こういう勉強の仕方だと、まったくわかってないのにわかった気になる
>数学ではそれが一番ダメ
ご高説は結構だが
貴方の一番の専門分野はなんですか？
貴方の勉強法で、数学科での成績はどうですか？ 成果は上がりましたか？
「数学に王道なし」でしたね・・（＾＾
405:現代数学の系譜11 ガロア理論を読む
17/05/30 05:46:27.94 fHaelpbN.net
>>370
いや、そもそも、その「数学に王道なし」で勉強した数学科の数学が、自分の人生でどれだけのものなのですか？
教員の免許はあるが、教師だったことはありませんと>>331
「社畜サラリーマンとは違うよ」と>>327
なぜ、このスレにいるのですか？ 暇なんですね？ Ｙ >>330
よく理解できない
あなたの人生で、自分が勉強した数学科の数学って、どれだけのものなんですかね？
失礼ですが、貴方が一番勉強した数学の専門分野な何ですか？
406:現代数学の系譜11 ガロア理論を読む
17/05/30 06:07:59.51 fHaelpbN.net
>>216
>ID:PqWMwFYKさん 今更ですが
>どうも見当違いなことばかり言って申し訳ない
>やはり記事をコピーして読むべきでした
>でもおかげで「箱入り無数目」のトリックがよく理解できた・・・気がします（笑）
納得したんですかね？ で、結論は下記ですか？
『「矛盾」してるまでの証明は必要ありません
論理の飛躍を指摘すれば十分です
時枝氏の出した確率99/100は大きな論理の飛躍です
なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです』>>120
『非ユークリッド幾何学は実際に構成できたから認められたわけなので
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
「どの列が最大長になるか同確率」
を同時に満たすようなモデルがあってはじめて意味をなすでしょう』>>139
『つまり構成できないんですね。
与太話をどうもありがとうございました
ちなみに
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
であればいくらでも構成できますよ。
どちらが数学的に優れているか明らかですね』>>201
ってことですかね？ ID:PqWMwFYKさんの主張通りだと
407:現代数学の系譜11 ガロア理論を読む
17/05/30 06:09:11.34 fHaelpbN.net
>>371 訂正
貴方が一番勉強した数学の専門分野な何ですか？
↓
貴方が一番勉強した数学の専門分野は何ですか？
408:１３２人目の素数さん
17/05/30 06:14:20.22 vsuKCQ5v.net
>>361
>ソクラテスメソッド
ソクラテスって今思うと
「知らないことを知らないといいたがらず
相手に知らないといわせたがる人格障害者」
だったんだなぁ
409:１３２人目の素数さん
17/05/30 06:20:33.70 vsuKCQ5v.net
>>372
>記憶では、ローレンツ変換は、座標軸が直交していない（90度でない）記憶がある
>斜交軸になるって言いたいんじゃないですかね？（＾＾
それは回転と関係ないな
>数学という学問は、自分以外は信用しないというのが基本ですし
数学に限らず、学問の基本は自分を信用しないことだよ
410:１３２人目の素数さん
17/05/30 06:24:26.10 vsuKCQ5v.net
>>369
＞10個の自然数が固定されているなら
＞考えるべき標本空間はΩ_s＝{s}×Kであり
＞確率は9/10である。
ええ、ごもっともです。
「箱入り無数目」の判断の根拠もそこにあります
一方で、9個の自然数から10個目を予測すると考えるなら
異なる結果になる可能性もあります
411:１３２人目の素数さん
17/05/30 06:29:58.81 vsuKCQ5v.net
>>372
>納得したんですかね？ で、結論は下記ですか？
とありますが、99/100でなく0だというのであれば
>>300の方が述べられてように
「あいてない1列の決定番号が、他の99列より大きい確率は1だ」
と いうことですか？上記の結論が
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
から導けるんですか？
ああ、ソクラテスの韜晦術はもう結構ですよ
ここは文系の”哲学板”ではないですから
412:現代数学の系譜11 ガロア理論を読む
17/05/30 07:02:50.90 fHaelpbN.net
>>374-377
One Stone 様 （現 Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets）ですかね？
朝早く、規則正しい生活、ご苦労さまです（＾＾
まだ、お仕事ないんですか？
早く決まるといいですね（＾＾
413:現代数学の系譜11 ガロア理論を読む
17/05/30 07:10:12.29 fHaelpbN.net
>>378 つづき
URLﾘﾝｸ(textream.yahoo.co.jp)
表示名:Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets Yahoo! JAPAN
投稿コメント一覧 (3205コメント)
(抜粋)
市川秀志 徹底研究
No.56916
2017/05/29 09:42
>>No. 56893
あだっちー氏
＞本当に自分の説を広めたいなら、2chにでも投稿すべきだ。
＞そうすれば、たとえ支持者は出なくても、たくさんの人に読んでもらえるのだ。
＞恐れずに2chにスレを立てて、そこで議論すべきだ。
この件については大賛成ｗ
(引用終り)
アドバイスを受けて移動したのは、貴方でしたか（＾＾
私は、市川秀志氏みたく、サイコパスはまともに相手しませんので、悪しからず（＾＾
414:１３２人目の素数さん
17/05/30 07:11:07.79 vsuKCQ5v.net
>>378
誰ですか？
そういう見当違いの問いを発するんなら
ご自分の出身大学及び卒論（修論・博士論文）のテーマとか
述べていただけますかね そのほうが議論の役に立ちますよ
まああなたはそんな質問には答えられないでしょうから
>>377に答えてください あなたの主張を前提とした結論ですよ
根拠くらい答えられるでしょう？
415:１３２人目の素数さん
17/05/30 07:15:07.04 vsuKCQ5v.net
>>379
妄想は無視します
「箱入り無数目」に関する、あなたの主張は>>300の通り
「あいてない1列の決定番号が、他の99列より大きい確率は1だ」
と いうことですか？上記の結論が
「箱に入れる確率変数列X_1,X_2,...,は独立同分布である」
から導けるんですか？
416:現代数学の系譜11 ガロア理論を読む
17/05/30 07:21:48.08 fHaelpbN.net
>>379 つづき
過去スレより
ｽﾚﾘﾝｸ(math板:443番)
443 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2017/05/25(木) 07:19:19.14 ID:/bwT01kG
ID:1maZ/hoI、表示名:One Stone Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets には
サイコパス対策
・サイコパスの存在を忘れない
・相手の肩書きに惑わされない
・不要な競争心・正義感を持たない
が効きそうだな
サイコパスは、適当に流す（スルー）か・・
417:現代数学の系譜11 ガロア理論を読む
17/05/30 07:27:47.86 fHaelpbN.net
>>380-381
どうも。スレ主です。
One Stone 様 （現 Une Pierre Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets）ではないと？ それは失礼しましたｍ（＿ ＿）ｍ
サイコ的攻撃性が全開だったのでつい・・
418:１３２人目の素数さん
17/05/30 07:32:00.88 cSb4Zgmw.net
>>376
> 一方で、9個の自然数から10個目を予測すると考えるなら
> 異なる結果になる可能性もあります
はい。
しかし再度強調しますが10個の自然数は最初に決まっているのです。
後から入れるのではありません。
１．プレイヤー2が9列のR^Nの箱を開け中身を見た後に、
２．プレイヤー1が10列目の箱にR^Nを入れ、
３．プレイヤー2が10列目の箱の中身を当てる
というゲームではない、ということです。
それは積分順序を勝手に入れ替えることに相当する、ということです。
（急に無数目の例になってしまいましたが）
419:現代数学の系譜11 ガロア理論を読む
17/05/30 07:
420:36:11.07 ID:fHaelpbN.net
421:現代数学の系譜11 ガロア理論を読む
17/05/30 08:11:12.74 fHaelpbN.net
>>375
まず、リンクが違うね 372 →364
で、本題
>>記憶では、ローレンツ変換は、座標軸が直交していない（90度でない）記憶がある
>>斜交軸になるって言いたいんじゃないですかね？（＾＾
>それは回転と関係ないな
えーと、下記ですね。行列はこのスレでは書けないので、下記リンクご参照（＾＾
まあ、分かり難い記述ではありますね
URLﾘﾝｸ(ja.wikipedia.org)
ローレンツ変換
(抜粋)
幾何学的には、ミンコフスキー空間における 2 点間の世界間隔を不変に保つような、原点を中心にした回転変換を表す。
2.2 ミンコフスキー空間でみたローレンツ変換
また、パラメータ θ を用いて、虚時間 w = i ct を用いれば、行列を用いれば、それぞれ と表すことができる。
この表現を用いると、ローレンツ変換がミンコフスキー空間上での虚数角 iθ の回転に相当することが容易に理解できる。
(引用終り)
422:現代数学の系譜11 ガロア理論を読む
17/05/30 08:24:31.80 fHaelpbN.net
>>375
>>数学という学問は、自分以外は信用しないというのが基本ですし
>数学に限らず、学問の基本は自分を信用しないことだよ
人生では、大事なことは、まず自分を信じること
信じることのできる自分を、教育し育て作ること
振り込め詐欺対策としては、他人の言説を疑いを持って聞くこと
「数学に限らず、学問の基本は自分を信用しないこと」で勉強して来た人は、不幸だね（＾＾
まず、いろいろ人にも聞いて、信じられる人とテキストを見つけることが、大事じゃないかな？（＾＾
423:現代数学の系譜11 ガロア理論を読む
17/05/30 09:03:29.38 fHaelpbN.net
>>372
独り言だが
・問題提起は、>>120”時枝氏の出した確率99/100は大きな論理の飛躍です なぜなら可測関数に対してのみ主張できる結果を、証明なしに非可測関数に適用しているからです”と
・この問題意識は、時枝氏も持っていて、>>103から下記引用542ご参照
”542 名前：１３２人目の素数さん[] 投稿日：2016/07/04(月) 00:06:31.30 ID:1JE/S25W
時枝氏の主な主張は次の２つだろうだろう
1. 確率論を測度論をベースに展開する必要が無い
2. 無限族の独立性の定義は微妙
しかし1に関していうと時枝氏の解法は，現在の測度論から導かれる解釈のほうが自然．
（当てられっこないという直感どおり，実際当てられないという結論が導かれる）
2に関して言うとそもそも時枝氏の勘違い．
時枝氏の考える独立の定義と，現代の確率論の定義は可算族に対しては同値である”
(引用終り)
・そして、時枝氏自身は、記事の中では、上記１と２の証明は与えていない
・だから、非可測集合を用いても良いということが、明確になるような議論がありがたいね。「ｘｘだから、非可測集合を用いても良い！」という明言がないのさびしいね（＾＾
（Ｑ「なんで、現代確率論は、主に可測集合限定なんですかね？」 Ａ「可測集合限定でないと、どこかに矛盾が生じる可能性大だから・・」ということじゃないかね）
あっ、単なる独り言です。気になさらないで下さい（＾＾
424:１３２人目の素数さん
17/05/30 16:03:07.12 Rh34EVgW.net
>>346
おっちゃんです。
>岡潔先生は弟子の養成があまり上手でなかった
西野利雄、藤田収、武内章などだけでなく、確か藤田玲子とか女性の弟子も何人かいる筈。
425:１３２人目の素数さん
17/05/30 16:09:01.42 Rh34EVgW.net
>>367
一松本は、岩波数学辞典増訂版が刊行
426:された1960年と同じ年に刊行された。 知る限りでは、一松本が発行された60年当時の多様体の和書は、 少なくて、他にポントリャーギンの連続群論位しかない。 様々な分野のマトモな本は殆どなかったときで、複素(解析)多様体の概念が書かれている。 マトモな多様体の和書が出たのは、殆ど一松本より後になる。他の色々な分野もそう。 書かれた当時は、グロタンディークの業績と被るかどうかの微妙な年代になる。 今から見たら、代数幾何も当時はスキームのないような古いやり方になっているといっていい。 一松本は、自分なりの厳密性の論理に合わせて感覚的に読む本。 一松本の巻末に挙げられている和書は殆どない。 参考になるには、基本的には、せいぜい岩波数学辞典の増訂版か第2版位。 それでも、著者が著者だけに、野口本よりは読み易く書かれていると思う。 野口本は、ベルグマン核が載っていないし、今のスキームを用いた代数幾何をする人向けだろう。 西野本と比較したら、名称が異なる概念も多く、理解することが 単に論理や言葉で理解することではないことが分かる。 岡自身の直観や閃きを理解することになる。 偏微分方程式でやりたかったら、ヘルマンダー読めばいい。 この本は、ヘルマンダーがはじめて連立線形偏微分方程式系を考えるに至ったような 或る意味で記念すべき本である。 原理的には、解析概論、溝畑本やシュワルツの超函数の理論と、岩波数学辞典第2版があれば読める。 今だと、解析概論は、杉浦解析入門と現代数学概説Ⅱ(ルベーグ積分)か何かに分かれる。 細かいことについては、確か岩波数学辞典第2版が教科書になる。
427:１３２人目の素数さん
17/05/30 16:37:56.32 Rh34EVgW.net
>>367
＞>多変数複素関数論知っても偏微分方程式は解けないから
複素変数zは z＝x＋yi x,y は実変数 と表わされて、
C^n と R^{2n} nは正整数 とは加法について同型だから、何か適切なことをすれば、
4次元空間の物理で役立ちそうな気はするが。
428:現代数学の系譜11 ガロア理論を読む
17/05/30 17:27:57.37 fHaelpbN.net
>>389
おっちゃん、どうも、スレ主です。
岡潔ね、もともと変人だった上に、晩年みなからヨイショされて、カルトっぽくなった（下記など）
あれじゃ、数学の弟子は育たない。宗教なら可だろうがね（＾＾
実際彼の弟子からは、彼の数学を超えるて行った（岡理論をさらに先に進める）弟子は出ていないんじゃないかね？（＾＾
URLﾘﾝｸ(www.okakiyoshi-ken.jp)
数学者岡潔思想研究会のサイト
岡潔講演録（１８）：【２７】 西洋人の創造 2016.5.29up
(抜粋)
創造は無心になってやるんですね。無心になってやれば、童心の季節に返って自我というものはない。童心の季節においてやるものです。ところが西洋人は時間空間というものの枠がどうも離れられないらしい。
429:現代数学の系譜11 ガロア理論を読む
17/05/30 17:46:37.98 fHaelpbN.net
>>390
おっちゃん、どうも、スレ主です。
>一松本は、岩波数学辞典増訂版が刊行された1960年と同じ年に刊行された。
>知る限りでは、一松本が発行された60年当時の多様体の和書は、
>少なくて、他にポントリャーギンの連続群論位しかない。
おっちゃん、年いくつやねん（＾＾
古い話、詳しいね
ここら（和書の古本について）、おっちゃんより詳しい人は少ないやろね（＾＾
430:１３２人目の素数さん
17/05/30 17:47:25.02 Rh34EVgW.net
>>392
いや、少なくとも、西野利雄、藤田収、武内章、藤田玲子は弟子。
藤田玲子についてはあやふやだが、奈良女子大で岡と何らかの縁があったと思う。
>彼の数学を超えるて行った（岡理論をさらに先に進める）
理論を先に進めるだけが判断基準ではなく、
ハルトーグスの逆問題という正則性について岡潔が残した宿題がある。
これは、領域が擬凸ということだけでは、条件が強すぎて完全に肯定的には
431:解けない。
432:哀れな素人
17/05/30 17:47:29.11 bVAlVPbi.net
パソコンの空き容量が減って、昨日の午後から、
その対策に追われていた。
おかげで、このスレを見ることもなく、
従ってストレスを感じることもなく、気が清々していた（笑
しかしペンタコ男と定義少年はまだ分っていないらしい（笑
お前らが何を言おうと、無限級数の和とは極限値であって、
1/2＋1/4＋1/8＋……＝１と書いてあっても
1/2＋1/4＋1/8＋……→１の意味である（笑
こんなことは常識だ（笑
それから実無限なんてものは存在しないのだから、
そんなものを認めて体系を立てても意味がない（笑
１＋１＝３という公理を立てて体系を立てても
何の意味もないのと同じことだ（笑
そういうことが分っているのか？（笑
数学知識を誇っても何の意味もないぞ（笑
433:現代数学の系譜11 ガロア理論を読む
17/05/30 17:48:14.03 fHaelpbN.net
>>390
おっちゃん、どうも、スレ主です。
>偏微分方程式でやりたかったら、ヘルマンダー読めばいい。
>この本は、ヘルマンダーがはじめて連立線形偏微分方程式系を考えるに至ったような
私には、そこまでは、不要だな（＾＾
おっちゃん、>>366に書いたが、「６．時代が変われば、要求される数学の質や量が異なる。例えば、エクセルが普及して、高等関数は使い易くなった。が、数学の知識がないと式が組めないだろう」と
要するに、数値解法が発達して、時代はＣＡＤ／ＣＡＭ／ＣＡＥなんよ（下記）
「計算力学技術者（CAE技術者）の資格を取得すると良いでしょう。固体力学や熱流体力学など、すぐに使える知識が勉強できます。単にソフトウェアのオペレーションができるというだけでは解析結果が正しいのかさえわかりませんので、CAE技術者とは言えないのです。」ってあるやろ？
いまどき、ＣＡＥの計算力学に使われている偏微分方程式が、「おお、こんな程度か！ 簡単なものだね～（＾＾」と言える程度に勉強しておけば良いねと（＾＾
まあ、昔読み書きソロバンと言った。その後電卓。その後エクセル。いまCAEだ（＾＾
URLﾘﾝｸ(persol-tech-s.co.jp)
いまさら聞けない、CADとCAMとCAEの違いとは ｜IT・Web・機電の派遣求人ならパーソルテクノロジースタッフ 2017
(抜粋)
CADは設計、CAMは製造、CAEは技術
もう一つ押さえておくべきCAT
CAEは多角的なシミュレーションをすることから複合的な知識が必要とされ、コンピューター以外にも工学全般、数値解析の知識も必要となります。そのために計算力学技術者（CAE技術者）の資格を取得すると良いでしょう。
固体力学や熱流体力学など、すぐに使える知識が勉強できます。単にソフトウェアのオペレーションができるというだけでは解析結果が正しいのかさえわかりませんので、CAE技術者とは言えないのです。
これからのエンジニアには不可欠
434:現代数学の系譜11 ガロア理論を読む
17/05/30 17:49:41.10 fHaelpbN.net
>>392 訂正
実際彼の弟子からは、彼の数学を超えるて行った（岡理論をさらに先に進める）弟子は出ていないんじゃないかね？（＾＾
↓
実際彼の弟子からは、彼の数学を超えて行った（岡理論をさらに先に進めた）弟子は出ていないんじゃないかね？（＾＾
435:１３２人目の素数さん
17/05/30 18:12:15.40 Rh34EVgW.net
>>393
年は取っていないが、年齢は不詳ということで。
ポントリャーギンの連続群論と Chevalley の Theory of Lie groups Ⅰ (和訳あり) は手元にある。
どっちも松島多様体入門にリー群の参考文献として挙げられている。
他には、複素多様体の参考文献にヴェイユのケーラー多様体入門が挙げられていたりする。
これは、今でこそ和訳があるが、多様体入門が発行された当時は、仏語でしか読めなかった。
この後半を読むと分かるが、昔は代数幾何でスキームは使っていない。
一松本より前に刊行された和書の多様体の本って他に何があるんだろうね。
思い付くのは、現代数学演習叢書の位相幾何学か。
436:現代数学の系譜11 ガロア理論を読む
17/05/30 18:13:00.77 fHaelpbN.net
>>396 補足
”固体力学”について、主に弾性力学の問題になるが、材料の亀裂を考えた場合
亀裂先端は無限小（つまり亀裂先端の曲率半径Ｒ＝０）と考えて、応力集中は無限大になる特異点を含む解析になる
そういう
437:場合にどう数理的にどう扱うかは、昔からいろいろ考えられている。例えば下記など 下記なども、最後は有限要素法などの数値解析に乗せるのだが、乗せる前に無次元化をしておくと、見通しがよくなるって話 理系なら、ここらがすらすら読める程度の数学力は欲しいねと（＾＾ http://catalog.lib.kyushu-u.ac.jp/ja/recordID/1500725?hit=1&caller=xc-search http://catalog.lib.kyushu-u.ac.jp/handle/2324/1500725/eng2460.pdf 無次元数の導入による線形破壊力学の適用範囲の拡張 石名 敏之 博士論文 2014 九州大学
438:現代数学の系譜11 ガロア理論を読む
17/05/30 18:19:46.44 fHaelpbN.net
>>398
>年は取っていないが、年齢は不詳ということで。
>ポントリャーギンの連続群論と Chevalley の Theory of Lie groups Ⅰ (和訳あり) は手元にある。
>どっちも松島多様体入門にリー群の参考文献として挙げられている。
ああ、おっちゃんもマニアックやね～（＾＾
>この後半を読むと分かるが、昔は代数幾何でスキームは使っていない。
>一松本より前に刊行された和書の多様体の本って他に何があるんだろうね。
一松本より前か・・、しらんな～
けど、いわゆる戦後というやつで、敗戦が1945年やからね・・、当時大変やったみたやね
だから、少ないだろうね（＾＾
439:１３２人目の素数さん
17/05/30 18:20:53.56 Rh34EVgW.net
>>393
ちなみに、ポントリャーギンの連続群論と Chevalley の Theory of Lie groups Ⅰ (和訳あり) は、ワイルの古典群に行き着く。
440:現代数学の系譜11 ガロア理論を読む
17/05/30 18:21:29.70 fHaelpbN.net
>>399 訂正
そういう場合にどう数理的にどう扱うかは、昔からいろいろ考えられている。例えば下記など
↓
そういう場合に数理的にどう扱うかは、昔からいろいろ考えられている。例えば下記など
441:１３２人目の素数さん
17/05/30 18:24:19.70 Rh34EVgW.net
>>400
リー群とか表現論は広過ぎて、或る特定の分野に分類することはほぼ不可能になる。
442:現代数学の系譜11 ガロア理論を読む
17/05/30 18:27:13.90 fHaelpbN.net
>>391
おっちゃん、どうも、スレ主です。
>C^n と R^{2n} nは正整数 とは加法について同型だから、何か適切なことをすれば、
>4次元空間の物理で役立ちそうな気はするが。
ああ、そうやね
それに、４元数とか８元数の物理なんて話もある。過去スレで紹介してあるけどね（＾＾
443:１３２人目の素数さん
17/05/30 18:31:24.58 Rh34EVgW.net
もう、おっちゃん寝る。
444:１３２人目の素数さん
17/05/30 18:35:32.21 Rh34EVgW.net
>>393
>>398の訂正：
ヴェイユのケーラー多様体入門 → ヴェイユのケーラー多様体「論」入門
じゃ、寝る。
445:現代数学の系譜11 ガロア理論を読む
17/05/30 18:46:32.33 fHaelpbN.net
>>394
おっちゃん、どうも、スレ主です。
”ハルトーグスの逆問題”か・・、下記検索ヒットやね
「「層」が何がなんだかよく理解できなかった」と書いてあるね～（＾＾
確かに、私もいまだに理解したとは言えない・・
あれ、茎と芽（群や環）とコホモロジーとその他いろいろセットものやね～（＾＾
ああいう抽象的なセットもの概念は、”部分が分からんと全体が分からん”。けど、”全体が分からんと部分がどうなっているか分からん”と。だから結局分からんのだと・・（＾＾
ようやく、ここまで分かった・・（＾＾
まあ、凡人は（最初から順に読む方式で）一回読んで分かろうとするのが無理だと思うよ・・（＾＾
繰り返しだな・・
URLﾘﾝｸ(d.hatena.ne.jp)
多変数函数論最高の名著の復刊 pseudomathematician 生命の燃焼 2016-05-23
(抜粋)
遂に一松信先生の超名著「多変数解析函数論」が復刊します。
古典的な多変数函数論を初歩からしっかりと学べるのはこの本ぐらいでしょうし、内容も教育的に配慮が行き届いた構成になっています。
古書店ではかなりの高額で取引されているし、入荷されたらすぐ売り切れるという状態なのでこの復刊は学生にとってはかなり有意義なものとなるでしょう。
振り返ってみると、私の大学の卒業論文は「クザンの問題」「近似の問題」「ハルトーグスの逆問題（レヴィの問題）」の学習レポートとするべく、本書を読み始めましたが、第8章ぐらいまでしか読めていません。
それは、「層」が何がなんだかよく理解できなかったため、「層」を使わない西野利雄先生の本を代用したからです。私の「層」に対する理解は今も何も変わっていません。なので、書評はできません。是非、本書を手にとって
446:直接読んでいただければと思います。私もこれを契機にもう一度チャレンジしてみたいと考えています。
447:現代数学の系譜11 ガロア理論を読む
17/05/30 18:57:45.82 fHaelpbN.net
>>407 補足
pseudomathematician 生命の燃焼さんのガロワ理論入門がある
スレタイの手前貼っておくね～（＾＾
URLﾘﾝｸ(d.hatena.ne.jp)
ガロワ理論入門10 2017-04-30 pseudomathematician 生命の燃焼
ガロワ理論で1冊以下を参考にします。
ガロワと方程式 (すうがくぶっくす)
作者: 草場公邦
出版社/メーカー: 朝倉書店
発売日: 1989/07
これは大学2年生のときに購入して途中まで読んでいたものです。かなり初等的なところからレベルを上げすぎないように懇切丁寧に書かれていて、ガロワ理論入門書では真っ先にお勧めできる本です。最近、寝床で30分ほど読んでいました。これを参考にしていきたいと思います。
448:現代数学の系譜11 ガロア理論を読む
17/05/30 18:58:51.92 fHaelpbN.net
>>405-406
おっちゃん、どうも、スレ主です。
お休みなさい（＾＾
449:現代数学の系譜11 ガロア理論を読む
17/05/30 19:00:19.36 fHaelpbN.net
>>401 >>403
おっちゃん、どうも、スレ主です。
情報ありがとう（＾＾
450:現代数学の系譜11 ガロア理論を読む
17/05/30 19:09:42.95 fHaelpbN.net
>>407 つづき
”ハルトーグスの逆問題”下記か・・（＾＾
URLﾘﾝｸ(reuler.blog108.fc2.com)
倉田先生の「多変数関数論を学ぶ」を読む 13 レヴィの問題とハルトークスの逆問題 日々のつれづれ 2012-03-20
(抜粋)
多変数関数論の形成史を回想した倉田先生は、第４回の終りがけで「K.Okaの登場」という一節を設け、いよいよ岡先生を語り始めました。ベーンケとツレンの著作が刊行されたのが1934年ですが、この書物はこの時期までの研究状況を網羅して、未解決の諸問題を提起するところにねらいがありました。
岡先生がハルトークスの意味において擬凸状と呼んだ領域はどのような領域なのかというと、岡先生の第４番目の論文に定義が記されていて、倉田先生はそれを紹介しています。
それを再現すると、複素数の空間C^n内の領域Dの各々の境界点Pの近傍においてDの補集合Eがハルトークスの連続性定理をみたし、しかもその性質はPの近傍における解析的変換に対して不変であるとき、領域Dのことをハルトークスの意味で擬凸状であるというのです。
ハルトークスが示した通り、正則領域ではハルトークスの連続性定理が成立するのですから、正則領域がハルトークスの意味で擬凸状であるのは明らかなのですが、その逆を問うたところに岡先生の創意があります。
ハルトークスの連続性定理そのものは解析関数の特異点が孤立しないことを示しているだけのことにすぎないのですが、その表現様式に著しい特徴があり、正則領域のある種の凸性が示唆されています。それを見抜いたのはレヴィで、その洞察の中からレヴィの問題が生まれました。
ところが岡先生はレヴィの問題そのものから出発したのではなく、レヴィの洞察に示唆されて、ハルトークスの連続性定理の表現様式には何かしら正則領域の凸性がひそんでいることを感知したのではないかと思います。
それでその凸性を抽出して、そのうえでレヴィの問題のように逆問題を考えようとしたのであろうと思われますが、凸性の概念規定としてハルトークスの連続性定理そのものを採るというのはあまりにも完璧な、途方もない一般化というほかはなく、連続性定理の本性をよほど深く見通していなければできない芸当です。
451:１３２人目の素数さん
17/05/30 19:15:51.12 8LnxeKgu.net
>>395
＞1/2＋1/4＋1/8＋……＝１と書かれていても、
＞1/2＋1/4＋1/8＋……→１という意味なのである（笑
その論法は>>252で既に論破しているので通用しない。
そして、これ以上は もは
452:や同じことの繰り返しである。 お前が主張する内容は >>250, >>252, >>265 あたりのレスで 完全に論破されている。お前はこれらのレスに対して反論の術を持たず、 >>250のA君と全く同じバカげた行為を繰り返すのみである。 いい加減に底が知れて相手するのも つまらない。 既存の定義を勝手に書き換えて捏造してしまう お前のような くだらない人間には、もう何も話すことはない。 そのような態度では会話が成立しないからな。 これ以降、お前のレスは完全に無視する。このレスにも返答は不要である。 あとは勝手に自己流の捏造定義でも垂れ流していればよい。 最後に１つだけ言っておこう。 今や 2ch は廃墟同然なので、こんなところにいくら書き込んでも本の宣伝にはならないぞ。 まあどこで宣伝しても誰も買わないだろうけどなｗ
453:１３２人目の素数さん
17/05/30 19:17:05.55 vsuKCQ5v.net
>>385
>>300の質問「あいてない1列の決定番号が、他の99列より大きい確率は
（いかなる根拠で）1だと認めるんですか？」はまさに「箱入り無数目」の
記事が成り立たない！」という前提の上で成り立たざるを得ない結論の、
数学的根拠を問うています。
（但し「記事が成り立たない」自体を論拠に使うのは論点先取）
「ガロ」氏は議論に参加する必要がありますね
>>300は「「箱入り無数目」記事が成り立たない」
と前提してますから共有できてます
「ガロ」氏はこの問いを避ける理由がありません
具体的にはこのスレで答える必要があります
残念ですが、逃亡は無理ですよ
454:１３２人目の素数さん
17/05/30 19:19:45.02 vsuKCQ5v.net
>>388
＞1．確率論を測度論をベースに展開する必要が無い
＞1に関していうと「箱入り無数目」の解法は，
＞現在の測度論から導かれる解釈のほうが自然．
「あいてない1列の決定番号が、他の99列より大きい確率は1」
という結論が、現在の測度論から証明できるんですか？
無限列から決定番号への関数が非可測であるにもかかわらず
「あいてない1列の決定番号が、他の99列より大きい確率は1」
という結論が測度論から得られる、というのは驚異です
455:１３２人目の素数さん
17/05/30 19:24:10.53 KiknoR5a.net
素人爺さんウイルス感染したんか
456:１３２人目の素数さん
17/05/30 19:24:58.05 vsuKCQ5v.net
>>391
＞複素変数zは z＝x＋yi （x,y は実変数） と表わされて
高校で習いますね
＞C^n と R^{2n} （nは正整数） とは加法について同型だから
加法だけね
＞何か適切なことをすれば、 4次元空間の物理で役立ちそうな気はするが。
複素微分可能と実微分可能の違いは御存じですか？
一変数複素関数論で真っ先に習うことですが
457:
17/05/30 19:30:22.58 5Lzj2YmZ.net
>>408
おお，これは石井本の次に読む本だ！
458:１３２人目の素数さん
17/05/30 19:47:23.22 vsuKCQ5v.net
>>396
＞一松本より前に刊行された和書の多様体の本
一松の本って多様体じゃなくて「多変数解析函数論」でしょ
個人的には田村一郎の「微分位相幾何学」（岩波講座 基礎数学）だな
だいぶ新しいけど（といっても１９７７年）
Iは古典的な埋め込み定理
IIはWhitneyのトリックを使ったｈコボルダント定理
IIIは特性類とコボルディズム理論、異種球面のさわり
今は完全に古書だな
459:１３２人目の素数さん
17/05/30 20:00:35.35 vsuKCQ5v.net
>>404
＞４元数とか８元数の物理なんて話もある。
R、C、H・・・クリフォード代数か？
そういうのを見ると、ついついボット（Bott)の周期性定理なんて思い出す
このあたりのことは佐久間一浩氏の「数”８”の神秘」を読んでください
460:１３２人目の素数さん
17/05/30 20:15:11.11 vsuKCQ5v.net
ところで、微分方程式への応用考えるんなら
柏原正樹の代数解析の本とか
読んだほうがいいんじゃない
あれも層とか出てくるけど
461:１３２人目の素数さん
17/05/30 20:25:55.41 B7sfy61+.net
>>388
> 非可測集合を用いても良いということが、明確になるような議論がありがたいね。
> 「ｘｘだから、非可測集合を用いても良い！」という明言がないのさびしいね
出題者が任意の無限数列を出題
462:することが可能という仮定に含まれる 出題者は非可測集合を用いないと無限数列を一つ指定できない (数列のシッポの情報がなければ2つの無限数列を区別できない) サイコロの場合は{1, 2, 3, 4, 5, 6}^N/～の代表元を用いないと無限数列を一つ指定できない 有理数バージョンの場合は既約分数(互いに素な自然数2つ)を指定すれば良い
463:１３２人目の素数さん
17/05/30 20:40:43.99 vsuKCQ5v.net
>>421
＞出題者は非可測集合を用いないと無限数列を一つ指定できない
意味不明
無限数列を「しっぽが同じなら同値」という関係で割って
代表元の数列を決めると、代表元の全体は非可測集合になる
ってことでしょ
＞サイコロの場合は{1, 2, 3, 4, 5, 6}^N/～の代表元を用いないと無限数列を一つ指定できない
これまた意味不明
無限数列の同値類に対してその要素（無限数列）の一つを指定したものが
同値類の代表元だよ
464:現代数学の系譜11 ガロア理論を読む
17/05/30 21:18:33.25 fHaelpbN.net
>>338 関連
>アインシュタインの相対性理論の論文には参考文献がなかったらしい
情報ありがとう
ここ、調べてみました
下記に原論文がありますね（思った通り（＾＾）
1905年（奇跡の年）の特殊相対性理論の論文２編。最初のは参考文献なし。後のは、最初の自分の論文を引用していたね（＾＾
1905年（奇跡の年）の他の論文もダウンロードして見たが、引用文献すくないね。多くてせいぜい５つくらいか（＾＾
が、これは当時の標準であって、21世紀の現在まねすべきではないだろう（＾＾
また、この時代は、引用文献のスタイルが古く、引用箇所のページの下に脚注として入れるスタイルになっているね（現在は論文の最後に纏めるスタイルだが）
なお、下の1915年 論文『水星の近日点の移動に対する一般相対性理論による説明[注 4]』が、その上のアインシュタインの原論文リストに含まれていないのが不思議だね
URLﾘﾝｸ(ja.wikipedia.org)
アインシュタインの原論文
(抜粋)
1905年（奇跡の年）
URLﾘﾝｸ(ja.wikipedia.org)
一般相対性理論
(抜粋)
1915年 論文『水星の近日点の移動に対する一般相対性理論による説明[注 4]』(S.B. Preuss. Akad. Wiss., 831-839)
465:１３２人目の素数さん
17/05/30 21:27:33.58 vsuKCQ5v.net
引用で正当化するとか文系の考え方だよ
466:１３２人目の素数さん
17/05/30 21:40:48.28 B7sfy61+.net
>>422
「無限数列を一つ指定」 = 箱の中の数字を全て決定(確定)する という意味で書いています
解答者は箱に入った数字を見て完全代表系が入った袋から代表元を一つ取り出して決定番号を求めるが
出題者は(解答作業とは逆に)完全代表系が入った袋から代表元を一つ取り出すことで(シッポが同じということで)
数列のシッポの部分の数字を全て決定(確定)したとみなす
467:現代数学の系譜11 ガロア理論を読む
17/05/30 21:54:47.29 fHaelpbN.net
>>340 もどる
>>セールが受賞したのはトポロジーの業績でしたが
>>その後、彼は、代数幾何に転向してそこでも
ジャン＝ピエール・セール：
はじめは複素解析や代数トポロジーを研究した。28歳の若さでフィールズ賞を受賞。その後代数幾何学に傾倒していき、グロタンディークに多くの示唆を与え、SGA（英語版）4&5で作成された道具がヴェイユ予想に大きく貢献した。
Fields Medal：1954 Jean-Pierre Serre "Achieved major results on the homotopy groups of spheres, especially in his use of the method of spectral sequences. Reformulated and extended some of the main
468:results of complex variable theory in terms of sheaves." まあ、細かい話ですがね。 上記および下記によれば、セールもヴェイユ予想を解決しようとしていたんだろうと（＾＾ https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E5%B9%BE%E4%BD%95%E5%AD%A6 代数幾何学 https://ja.wikipedia.org/wiki/%E6%A6%82%E5%9E%8B 数学における概型あるいはスキーム (英: scheme) (抜粋) 1950年代に、ジャン＝ピエール・セール (Jean-Pierre Serre)、クロード・シュヴァレー (Claude Chevalley) や永田雅宜は、数論と代数幾何学に関連するヴェイユ予想に大きく動機付けられ、同じように点としての素イデアルというアプローチを追及した。
469:１３２人目の素数さん
17/05/30 21:56:24.35 vsuKCQ5v.net
>>425
＞完全代表系が入った袋から
完全て何？
＞出題者は・・・代表元を一つ取り出すことで
＞数列のシッポの部分の数字を全て決定(確定)したとみなす
どこから先がしっぽですか？
470:１３２人目の素数さん
17/05/30 22:02:17.30 vsuKCQ5v.net
「ガロ」氏に贈る歌
URLﾘﾝｸ(www.youtube.com)
特に意味はない・・・
471:１３２人目の素数さん
17/05/30 22:06:22.85 vsuKCQ5v.net
＞「学問の基本は自分を信用しないこと」で勉強して来た人は、不幸だね（＾＾
学者は大抵不幸だよ 幸せになるために学問する人はいない
学問みたいな難しいことに頭を使わないのが幸せなんだよ
何のとりえもない凡人であることが幸せなんだよ
472:１３２人目の素数さん
17/05/30 22:09:53.43 vsuKCQ5v.net
＞CADは設計、CAMは製造、CAEは技術
CAPというのもある
URLﾘﾝｸ(en.wikipedia.org)
473:現代数学の系譜11 ガロア理論を読む
17/05/30 22:12:56.82 fHaelpbN.net
>>424
ID:vsuKCQ5さん、どうも。スレ主です。
理系は、２CHバカ板の名無しさん相手に、まっとうな数学議論をしようとは思わないですよ～（＾＾
そもそも、数学記号がまともに書けないですよね。可能なのは、せいぜい文系レベルの数学でしょ（＾＾
なので、引用の方が値打ちありと思っています。自分のメモとしてもね（＾＾
474:１３２人目の素数さん
17/05/30 22:13:16.27 vsuKCQ5v.net
＞ローレンツ変換がミンコフスキー空間上での虚数角 iθ の回転に相当する
双曲的変換を「虚数角度の回転」って言葉で
回転だと正当化するのは詭弁にあたる
475:現代数学の系譜11 ガロア理論を読む
17/05/30 22:14:42.17 fHaelpbN.net
>>430
ID:vsuKCQ5vさん、どうも。スレ主です。
CAP面白いですね（＾＾
476:１３２人目の素数さん
17/05/30 22:14:54.96 vsuKCQ5v.net
>>431
引用は文系Low Level Personのすることだと思わないか？
ようするに他人の言葉の泥棒だろ？
477:１３２人目の素数さん
17/05/30 22:24:19.71 vsuKCQ5v.net
理系High Level Personは、引用しない
正しさは論理が示してくれる
478:現代数学の系譜11 ガロア理論を読む
17/05/30 22:24:31.12 fHaelpbN.net
>>432
>双曲的変換を「虚数角度の回転」って言葉で
>回転だと正当化するのは詭弁にあたる
どうぞ
そう思うのはご勝手ですが
>>386 で引用した wikipedia ローレンツ変換 の筆者の意図は>>386だと思った次第ですよ
479:１３２人目の素数さん
17/05/30 22:26:34.48 vsuKCQ5v.net
>>436
他人の言葉を鵜呑みにする文系LLPには困ったものだ
480:現代数学の系譜11 ガロア理論を読む
17/05/30 22:28:09.47 fHaelpbN.net
>>434-435
>理系High Level Personは、引用しない
>正しさは論理が示してくれる
私は、理系 Low Level Personですからね
私の考えたことくらい、もっと賢い人が、きっと以前に書いていると・・
で、引用すれば、自分で筆を起こすより楽なんです～（＾＾
481:１３２人目の素数さん
17/05/30 22:33:45.63 vsuKCQ5v.net
>>438
他人の文章を拝借するのは文系LLP
他人の公式を拝借するのは理系LLP
482:１３２人目の素数さん
17/05/30 22:35:08.42 vsuKCQ5v.net
＞引用すれば、自分で筆を起こすより楽
そうやって人はアルツハイマー症になる
483:１３２人目の素数さん
17/05/30 22:39:22.13 vsuKCQ5v.net
楽したがる人は賢くならない
もちろん賢くなくても生きるのには困らない
つまらぬ見栄を張らなくなれば幸せになれる
見栄は人を不幸にする
484:１３２人目の素数さん
17/05/30 22:42:28.41 vsuKCQ5v.net
何もやる気がないのに、自分は優れているといいたがるのは、不幸だ
何もしなくても困らないのなら、優れていると自慢する必要はない
だいたい他人の自慢を聞いて喜ぶ人はいない
しかし自慢する人は他人の自慢には不快になるのに
自分の自慢で相手も同じように思うとは想像できないらしい
485:１３２人目の素数さん
17/05/30 22:45:37.66 vsuKCQ5v.net
「２ｃｈにはバカが多い」といってる人は自分だけは例外だと思ってるらしい
しかし２ｃｈにいるのは実はそんな人ばかりである
自分がバカだと気づけるほどリコウになったら２ｃｈを卒業するものだ
もっとも中にはバカを観察するのが面白いという変態もいるらしいが
486:１３２人目の素数さん
17/05/30 22:51:41.74 vsuKCQ5v.net
２ｃｈで痛々しいほどの自慢をする人を見るとなぜか涙が出てくる
きっと不遇だからだ 幸せな人は自慢しない だいたい２ｃｈには来ない
私が２ｃｈに来るのは自分と同じ不遇な人を見たいからかもしれない
487:現代数学の系譜11 ガロア理論を読む
17/05/30 23:10:35.66 fHaelpbN.net
>>437
どうも。スレ主です。
憲法の保障する表現の自由がありますからね～
「この表現を用いると、ローレンツ変換がミンコフスキー空間上での虚数角 iθ の回転に相当することが容易に理解できる。」（ローレンツ変換） URLﾘﾝｸ(ja.wikipedia.org)
488:現代数学の系譜11 ガロア理論を読む
17/05/30 23:12:06.97 fHaelpbN.net
>>440-444
どうも。スレ主です。
多弁ですね。ご苦労さまです（＾＾
489:１３２人目の素数さん
17/05/30 23:20:22.07 B7sfy61+.net
>>427
> 完全て何？
全部の同値類から一つずつ代表元を取り出したということ
スレ主は極限を用いて
> サイコロを振って、箱に数を入れる
> 数列 X1,X2,・・・Xi,・・・Xn n→∞
としているから任意の無限数列Xnにおいて上の極限が収束するのであればある無限数列rnがあり
ある自然数Dがあってn > Dなる全ての自然数に対して |Xn - rn| = 0 となる
> どこから先がしっぽですか？
n > DとなるXnが数列のシッポでありX(D+1)から先がシッポ
490:現代数学の系譜11 ガロア理論を読む
17/05/30 23:23:43.17 fHaelpbN.net
>>429
どうも。スレ主です。
リベラルアーツ知っていますか？
下記、ギリシャ・ローマ時代”算術・幾何（幾何学、図形の学問）”が入っている
”リベラル・アーツという表現の原義は「人を自由にする学問」”
欧米では、学問は、こういうとらえ方らしいです
URLﾘﾝｸ(ja.wikipedia.org)
リベラル・アーツ
リベラル・アーツ（英: liberal arts）とは、
・ギリシャ・ローマ時代に理念的な源流を持ち、ヨーロッパの大学制度において中世以降、19世紀後半や20世紀まで[注釈 1]、人が持つ必要がある技芸（実践的な知識・学問）の基本と見なされた自由七科のことである。具体的には文法学・修辞学・論理学の3学、および算術・幾何（幾何学、図形の学問）・天文学[注釈 2]・音楽[注釈 3]の4科のこと。
・最近では、そうした伝統的な科目群の位置づけや内容に現代的な学問の成果を加え、やはり大学で誰もが身に付けるべき基礎教養的科目だと見なした一定の科目群に与えられた名称で、より具体的には学士課程における基礎分野 (disciplines) のことを意味する。
この現代的な分類では、人文科学、自然科学、社会科学、及びそれぞれの一部とみなされる内容が包括されることになる。
本項では上の両者について述べる。
概説
リベラル・アーツという表現の原義は「人を自由にする学問」で、それを学ぶことで一般教養が身につくもののことであり、こうした考え方の定義としての起源は古代ギリシアにまでさかのぼる。
欧米、とくにアメリカ合衆国では、おもに専門職大学院に進学するための基礎教育としての性格も帯びているともされている。
なお日本語の「藝術」という言葉はもともと、明治時代に啓蒙家の西周によってリベラル・アートの訳語として�
491:｢語されたものである。
492:現代数学の系譜11 ガロア理論を読む
17/05/30 23:31:02.37 fHaelpbN.net
>>421
>出題者は非可測集合を用いないと無限数列を一つ指定できない
独り言
ロジックが変
493:現代数学の系譜11 ガロア理論を読む
17/05/30 23:32:08.06 fHaelpbN.net
>>420
書店で見たが、柏原正樹の代数解析の本は、難しすぎるし
そもそも、面白そうじゃなかったね（＾＾
494:現代数学の系譜11 ガロア理論を読む
17/05/30 23:36:09.96 fHaelpbN.net
>>419
どうも。スレ主です。
これか・・
URLﾘﾝｸ(www.amazon.co.jp)
数“8"の神秘: 8という数に秘められた不思議な関係 単行本（ソフトカバー） ? 2013/8/9
佐久間一浩 (著)
URLﾘﾝｸ(www.nippyo.co.jp)
内容紹介
‘8’という数を通して見え隠れする興味深い性質を、8つのテーマから探る。幾何学や代数学の意外な繋がりも見えてくる。
目次
第1章 次元に秘められた‘8’の奥義
第2章 球面に秘められた‘8’の奥義
第3章 代数に秘められた‘8’の奥義
第4章 符号数に秘められた‘8’の奥義
第5章 不変量に秘められた‘8’の奥義
第6章 結び目に秘められた‘8’の奥義
第7章 ホモトピー群に秘められた‘8’の奥義
第8章 特異点に秘められた‘8’の奥義
付録A ホップ写像の構成について
495:現代数学の系譜11 ガロア理論を読む
17/05/30 23:41:59.62 fHaelpbN.net
>>419
どうも。スレ主です。
”ボット（Bott)の周期性定理”これか・・
URLﾘﾝｸ(ja.wikipedia.org)
モース理論
(抜粋)
モースの元来の応用は、測地線の理論（経路上のエネルギー汎函数の臨界点への応用であった。これらのテクニックは、ラウル・ボット (Raoul Bott) の周期性定理（英語版）の証明に使われた。
モース理論の複素多様体での類似が、ピカール・レフシェッツ理論である。
URLﾘﾝｸ(www.wikiwand.com)
K理論
(抜粋)
K-理論は、位相空間やスキームに対して環を対応させる K-函手の族を構成する。これらの環は、元の空間やスキームの構造のいくつかの側面を反映している。
代数トポロジーにおいてホモロジーやコホモロジーといった群への函手を考えるのと同様に、元の空間やスキームを直接調べるよりもこのような環の方が容易に種々の性質をしらべることができる。
K-理論のアプローチから得られる結果の例としては、ボットの周期性（英語版）(Bott periodicity)やアティヤ＝シンガーの指数定理やアダムズ作用素（英語版）(Adams operation)がある。
高エネルギー物理学では、K-理論、特にツイストした K-理論（英語版）(twisted K-theory)は、II-型弦理論に現れる。
そこでは、K-理論が、Dブレーンやラモン-ラモン場（英語版）(Ramond?Ramond field)の強さ、一般化された複素多様体上のスピノルを分類すると予想されている。
物性物理学では、K-理論は、トポロジカル絶縁体、超伝導や安定フェルミ面を分類することに使われる。詳細はK-理論 (物理学)（英語版）(K-theory (physics))の項を参照。
496:現代数学の系譜11 ガロア理論を読む
17/05/30 23:48:50.24 fHaelpbN.net
>>417
C++さん、どうも。スレ主です。
勉強すすんでますか？（＾＾
ご存知と思うが、下記
勿論、私の書棚にもありますよ～（＾＾
書棚の肥やしですが（＾＾
URLﾘﾝｸ(d.hatena.ne.jp)
hiroyukikojimaの日記
2008-03-27 ガロアの定理をわかりたいならば
(抜粋)
ガロワと方程式 (すうがくぶっくす)
作者: 草場公邦
出版社/メーカー: 朝倉書店
どれもすばらしいが、とりわけ最初の『ガロワと方程式』はめちゃめちゃいい。ガロア理論とは栄光なき天才たち - hiroyukikojimaの日記で紹介した二十歳で決闘で死んだ薄命の天才ガロアの生み出した理論である。
（ ちなみにフランス語では、ガロワと発音するのが正しいらしく、草場先生はわざとそういう表記を使っているが、日本では一般にガロアが流布している） 。
これは、「5次以上の方程式には解の公式が存在しない」ということを証明するために編み出された理論であり、現代代数の先駆けとなったスゴモノである。(ちなみに誤解を最小限にするために言っておくと、何次方程式でも必ず複素数の解を持っている。
問題は、それをオートマチックに求める公式があるかどうかであり、5次以上にはそういう便利な公式がない、というのがガロアの定理なのである) 。
ぼくは、数学科のときは代数を専攻したので、ガロア理論は必須の道具であり、一生懸命勉強したのだけど、最終的に「身体でわかった！」というところにたどり着くことができなかった。
おおざっぱには捉えることはできたんだけど、機微が掴めておらず、少なくとも「アタリマエ」になるほどには理解していなかったのである。（ そんなだから数学の道に挫折することになったのだけどね)。
ところが、最近になってこの『ガロワと方程式』を読んで、急に視界が開け、「アタリマエ」とまではいわないけど、「よくできた自然な理論だなあ」というところまで理解できるようになってしまったのだ。数学科で勉強していた頃から見れば、もう四半世紀も過ぎて達した境地というのもスゴイやら情けないやらである。
497:１３２人目の素数さん
17/05/31 00:44:40.31 x2dUK0SZ.net
>5次以上にはそういう便利な公式がない、というのがガロアの定理なのである
それはアーベル-ルフィニの定理でしょ。しかも単に根号で解けないという
だけで、「特殊函数」を使えば、オートマチックに解を表示できる公式は
あったはず。でも、そこは大して重要なことじゃない。
重要なのは群の作用を考えたこと。ユークリッド運動群など潜在的には
昔からあったのだが、ガロア理論で群の作用が意識されたことで
より広汎な幾何学的な群作用なども意識されていったという流れは
あると思う。
ガロア理論自体も幾何学的に捉えることができるし。
ガロア自身、リーマン面に近いことを考えていたことは確からしく
幾何学的なイメージを持っていたことは確実だろう。
498:１３２人目の素数さん
17/05/31 01:05:23.17 +j7CN1eR.net
特殊相対性理論は、もともとマックスウェルの方程式が
ローレンツ変換で不変であることが嚆矢になってるんでしょ。
この群作用と対称性の美しさを理解していれば
日常感覚とは異なるなどのつまらない理由で
「相対性理論を否定しよう」などとは思わないのではなかろうか。
499:１３２人目の素数さん
17/05/31 05:14:03.97 CHwSD1ir.net
>>416
おっちゃんです。
>複素微分可能と実微分可能の違いは御存じですか？
>一変数複素関数論で真っ先に習うことですが
数学科卒ではなく、習うかどうかの事情は知らないけど、
違いは、複素平面上において1点に向けて渦状の曲線を描きながら近似する(一変数複素関数の微分)か、
実軸上において1点(実数)に向けて一方向から線形近似(実関数の微分)をするか。
500:１３２人目の素数さん
17/05/31 05:23:13.20 CHwSD1ir.net
>>416
>>456の訂正：
下から2行目：渦状の曲線を描きながら近似する(一変数複素関数の微分)か → 「必ず」渦状の曲線を描きながら近似「出来る」(一変数複素関数の微分)か
下から1行目：一方向から線形近似(実関数の微分)をするか → 一方向から線形近似(実関数の微分)「だけが出来る」か