[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
840: 02/13(木)11:21 ID:76t1tcUm(2/2) AAS
◆yH25M02vWFhP のいう数学の学習とは
公式を覚えることしかないらしい
このスタンスだとガロア理論は分からんわな
だって公式なんて一つも出てこないもん
線型代数で覚えたのは
・階段行列の作り方
・行列式の計算の仕方
・固有多項式の求め方
ですか
まあ、工学部の学生が線形代数の試験の前にやる一夜漬けの典型ですわな
省2
841(1): 02/13(木)11:55 ID:pKSLn6La(1/5) AAS
>「任意の正方行列に対してその逆行列が存在する」
>という主張に対し、即座に
>これが成り立つか？反例がないか？
>を正しく判断する筈
n次正方行列はn次元線型空間間の線型写像と見做せる。線型写像は線型準同型である。
この基本的なことさえ分かっていれば、正則行列は線型同型と見做せるはずであるから一般には正則でないことが即座に判断できる筈。
そのレベルの輩が
> 大人は、まず その数学の文献が 今読む価値があるかどうか？
>（あるいは今読むべきか。速読か熟読か？）
> その判断が速くできないと行けないよ
省1
842(1): 02/13(木)12:15 ID:pKSLn6La(2/5) AAS
>>816
>・おサル「正則行列を知らない線形代数落ちこぼれ」
> ↓
>・私「零因子行列のことだろ？知っているよ」
Aが零因子⇔A≠0 ∧ ∃B.(B≠0 ∧ AB=0)
Aが正則ならA^(-1)(AB)=(A^(-1)A)B=B、A^(-1)0=0 より B=0 だから矛盾。
よって零因子は非正則。
よって「零因子行列のことだろ？」は大間違い。
843: 02/13(木)12:22 ID:XbfTfQqX(1/4) AAS
>>841
> 一般には正則でない
全く正しい
素人は「一般には」を「だいたいは」（＝ほとんど全ての場合は）と誤解して使う
確かにn^2次元線形空間の中で、行列式が0の空間は次元n^2-1の超曲面だが
そういう場合に「一般には逆行列を持つ」とはいわない
844(1): 02/13(木)12:23 ID:RaWWAier(1/6) AAS
線形代数に一度くらい落ちこぼれても
どうということはなかった
845: 02/13(木)12:25 ID:XbfTfQqX(2/4) AAS
>>842
◆yH25M02vWFhP は日本語が苦手だから正確な言い方ができない
「零因子行列のことだろ？」ではなく
「零因子行列は例外、ってことだろ？」といえば正確
この程度のことすらできない彼は・・・日本人ではなくニホンザル
846: 02/13(木)12:28 ID:XbfTfQqX(3/4) AAS
＞「０以外の体の元は乗法逆元を持たない」のつもりで
「０は乗法逆元を持たない」が正しい
＞「零因子以外の行列は乗法逆元を持たない」と書いて
「零因子以外の行列は乗法逆元を持つ」が正しい
＞ケアレスミスだと言い張りたいんだろうけど
大体ニホンザルは毛が生えまくりだがケアがない
847: 02/13(木)12:30 ID:XbfTfQqX(4/4) AAS
>>844
理解すればOK
◆yH25M02vWFhP は還暦すぎても今だに理解できてない
そのくせ「オレの数学レベルはプロ並み」と自惚れる
プロは大学１年４月レベルの初歩で間違えたりしないよｗ
848: 02/13(木)12:34 ID:pKSLn6La(3/5) AAS
>>833
>ヒルベルトは，リーマンのゼータ関数ζ（ｓ）の零点がランダム・エルミート行列の固有値のように分布していると推測しました．後になって，これと同種の行列はその固有値が核子のエネルギーレベルに対応している原子核物理学の研究によく出てくることがわかりました．
このようなものを持ち出しても無意味。
なぜならリーマン予想の証明にまったく近づけていない現状では、単にランダム性しか共通点が無いというオチかもしれないから。世紀の大発見かのように謡ってるが、ランダム性を持つものなんて世の中に溢れてる。
>視野が狭いな
>行列の固有値の本質が分かってない！
そのような記事に飛びつくミーハーな君がね。
849(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)12:35 ID:mxQOAQvq(5/13) AAS
戻るよ
>>792
>行列式の定義で、多重線形性を使わず、
>置換の符号だけを使ったライブニッツの式
>をいきなり提示するのは、気持ち悪い
>気持ち悪い、というのは
>「こんなものどうやって思いついたか見当もつかん」
>という意味
アホなやつ
線形代数の道具立ての中で、最初に行列式が生まれた
省21
850: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)12:36 ID:mxQOAQvq(6/13) AAS
つづき
ja.wikipedia.org/wiki/%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB%E8%A7%A3%E6%9E%90
ベクトル解析
歴史
現代の学校教育では古典力学の導入からベクトルを用いた物理教育が行われ、数学でも幾何ベクトル・線型代数学・ベクトル解析といったベクトルの概念が普通に教えられている。しかし古典力学の登場と同時にベクトルも誕生したのではなく、物理法則などを表記するために19世紀に生まれ[1]、20世紀になり高次元ベクトル場にまで一般化された。
ベクトルが誕生するまでは直交座標系を用いた解析幾何学やウィリアム・ローワン・ハミルトンが考案した四元数を用いた記法が主流であり、力学・電磁気学の教育・研究でも解析幾何学的な多変数微積分学を用いた力学や四元数表記の電磁気学が普通であった[1]。余談だが、同じようにベクトルを扱う数学理論である線型代数も登場時期はほぼ同じであり、こちらは完成が遅れたため教育に本格的に導入されるのは20世紀後半、数学教育の現代化が言われ出した頃である。20世紀前半は教えられている物理数学が現代とは違っていたのであり、ベクトルは数学ではなく物理学の授業で導入され、行列式が先に教えられていたし[2]、行列を用いて量子力学を定式化したヴェルナー・ハイゼンベルクも線型代数を習っていなかった。日本でも明治初期の物理教育では、四元数に基づく電磁気学が教えられていたことは有名である。
ベクトルを初めて教育に導入したのはウィラード・ギブスとされ、1880年代のイェール大学の講義で記号こそ現代とは違うものの、外積・内積やベクトル解析の概念などが当時使われていたが、イギリスの四元数の著書もある物理学者ピーター・ガスリー・テイトの評判も大変不評であったという[1]。今日用いられている記号や専門用語の大半は1901年に出版されたギブスとエドウィン・ウィルソン（英語版）の共著『ベクトル解析』によって確立された。
しかし、ギブス以降の物理学の教育ではベクトルは四元数を推進していたハミルトンやテイトのいたイギリスにおいて寧ろ盛んに用いられるようになり、物理学における常識的な概念となった[1]。（イギリスのオリヴァー・ヘヴィサイドの存在が影響していると考えられる。）しかしながら20世紀に入ってからはむしろスピン角運動量などの概念も四元数に非常に類似しており、ハミルトンには先見性があったのではないかとされる[1]。
(引用終り)
以上
851: 02/13(木)12:43 ID:lW+a+q/t(1) AAS
>>849
歴史的に前だから易しい、ということにはならない
実にしばしば、基礎が後から分かることがある
実数の定義はその典型
852: 02/13(木)12:47 ID:pKSLn6La(4/5) AAS
>>833
>ヒルベルトは，リーマンのゼータ関数ζ（ｓ）の零点がランダム・エルミート行列の固有値のように分布していると推測しました
その行列を特定できていない現状ではただの推測に過ぎない。
必死に反例探ししても見つかっていないリーマン予想よりずっと眉唾。
853: 02/13(木)12:48 ID:p6ojnvAy(1) AAS
とはいえ、消去法は古代中国でも知られていたがね
九章算術
方程
ガウスの消去法による連立一次方程式の解法、
そのための負の数とその演算規則の導入。
二個ないし三個の未知数の連立方程式を扱う。
854(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)14:23 ID:mxQOAQvq(7/13) AAS
戻るよ
>>817
> 零因子は無駄に話を広げすぎ
> 行列式ですら広げすぎなんだから
話は逆
あなたの視点は、低い・狭いｗ ；ｐ）
いまのカリキュラムの線形代数とは、いろんな分野のエッセンスを抽象化したもので
下記の 謎の数学者 氏のいうように、ある程度で 先に進めて
また 線形代数を学んだ方が良いのです
>>833の固有値の話も 同様です
省37
855: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)14:23 ID:mxQOAQvq(8/13) AAS
つづき
3:45
一文一文をですね完璧に理解して 次に進ん
3:50
でそれを完璧に理解しようとしてさらに次
3:52
に進むみたいなそういう形そういう読み方
3:54
をしているとあの絶対にですね数学書と
3:57
省32
856: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)14:24 ID:mxQOAQvq(9/13) AAS
つづき
9:07
プロポジションですよね命題とかですね
9:09
レンマとかそういうのはですねこの内容を
9:11
理解してとりあえず証明になる部分ははしょる
9:15
多少不明なですね無視して進むとかですね
9:17
省36
857: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)14:24 ID:mxQOAQvq(10/13) AAS
つづき
動画ﾘﾝｸ[YouTube]
数学科あるある。大学院時代に本を大量に買い込む。
謎の数学者
2022/09/21
文字起こし
2:40
数学の本をですねもうただ闇雲にですね
2:43
買い込むという買い揃えるというこういう
省60
858: 02/13(木)14:43 ID:TgFBnIcq(1/3) AAS
>>854
> 戻るよ
どうぞどうぞ
いくらでも後ろに戻ってくださいな
なんなら大学１年の４月まで
> いまのカリキュラムの線形代数とは、
> いろんな分野のエッセンスを抽象化したもので
> また 線形代数を学んだ方が良いのです
Q1.線形代数で学ぶべき肝心なことを最低３つ挙げてくれる？
Q2.そしてそれぞれのエッセンスを語ってくれる？
省27
859: 02/13(木)14:44 ID:RaWWAier(2/6) AAS
読みにくい
860: 02/13(木)14:48 ID:TgFBnIcq(2/3) AAS
>>854
> 固有値が 「求めるのが大変」とか、
> そういうレベルで考えていることが、
> すでに落ちコボレさんでしょ？
数学とは問題の解決方法集であるとしか思ってない
工学部卒の君にわかるような言い方をしてあげただけだよ
> 線形代数が関連する分野を学んで
> また、分からないところが出てくれば
> ちょっと線形代数に後戻りして、また学ぶ
君さ、結局消去法と行列式の定義式と固有方程式の定義式以外、覚えてないだろ
省4
861(1): 02/13(木)14:51 ID:TgFBnIcq(3/3) AAS
数学に限ったことではないけど
本を読んで理解するとは
そこに書いてある内容を
自分でパラフレーズできるようになること
コピペは丸写しだからダメねｗ
862(1): 02/13(木)14:57 ID:GznKcL4Z(2/3) AAS
先日、ブルバキ数学原論の内容紹介したけど
もちろん、１から全部読むなんてしてないよ
目次みて肝心な定理見つけてどういう証明つけてるか見ただけ
そんなペダンティックな訳わかんない証明なんかつけてないよ
むしろ昔の和書に出てる証明よりシンプルじゃないかな
いい復習にはなったよね
はっきりいって君がいう読み方をちゃんと実践してるのは
君より私のほうじゃん こんなこといわずもがなだけどさｗ
863(2): 02/13(木)15:08 ID:RaWWAier(3/6) AAS
>そこに書いてある内容を
>自分でパラフレーズできるようになること
「いろいろ書いてあるが一言でいえばたったこれだけ」
というように
数学を自分の言葉で語れるようになるための
第一歩であるといってもよいかもしれない。
864: 02/13(木)15:11 ID:GznKcL4Z(3/3) AAS
>>863
まあ、そういうことは数学じゃなくても
どの学問でも当たり前の常識だと
おもうんですけどね
●●工学では違うんですかね？
そんなことはないと思うんですがね
（すっげぇイヤミ）
865(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)15:19 ID:mxQOAQvq(11/13) AAS
>>854 補足
>固有値が 「求めるのが大変」とか、そういうレベルで考えていることが、すでに落ちコボレさんでしょ？ ；ｐ）
固有値、固有ベクトル には、重要な役割があります
「求めるのが大変」とか、そういうレベルで考えていることが、すでにヘン ｗ （＾＾
ああ、連立方程式を解くことだけしか
考えてないのかな？
(参考)
外部ﾘﾝｸ:dora.bk.tsukuba.ac.jp
武内修＠筑波大
固有値と固有ベクトル
省25
866: 02/13(木)15:38 ID:MoFfj8+j(1) AAS
>>865
> 固有値、固有ベクトル には、重要な役割があります
大切な役割とか、そういう情緒的な話はしてないけどねｗ
ただ対角化って言ってるけど、正確には「共役変換による」対角化ね
分かってる人は分かってるから省略してもいいけど
君は分かってないから省略しちゃダメねｗ
共役変換は行列環の自己同型ね
なんでだかわかる？ クソ自明なんだけど
君は自明なことすら分かってないから
省1
867(1): 02/13(木)16:13 ID:RaWWAier(4/6) AAS
>大切な役割とか、そういう情緒的な話
こういう癖の強いコメントは
誰から教わった？
868: 02/13(木)16:20 ID:uUYUhYWv(1/3) AAS
>>867
真っ先に◆yH25M02vWFhPにこう尋ねたら
「自分の欠陥に対する指摘に何も考えずに怒り
いちいち反論する幼稚な態度は誰から教わった？」
たかが兵庫県の公立高から阪大ごとき二流大学に入り
しかも工学部なんてクソ学部でただけのありふれた一般人が
「自分は数学の天才の真似ができる」
とか●った妄想すんなって、いってやれ
869: 02/13(木)16:26 ID:uUYUhYWv(2/3) AAS
こっちは御三家でも国立大学付属校でもないただの高校からそこそこの私立大学に入り
しかも一応数学科ではあるがなんかよくわからんまま卒業した只のありふれた一般人だが
それでも、◆yH25M02vWFhPの自意識過剰な検索コピペつきの気持ち悪い書き込みのアラが
見つけられるんだから、そりゃもうなんというかお粗末の極みってもんだろ
おれが◆yH25M02vWFhPだったら、突っ込まれた時点で、その後のHN＆トリップ付きで
書き込みなんて絶対しないし、（参考）とかいう馬鹿ワードの後にリンクと
馬鹿長文コピペを垂れ流すなんて絶対しない
だって「ボクは数学のスの字もわからん大馬鹿ちゃんでぇす！」っていってるも同然だから
いい加減気づけよｗ
870(1): 02/13(木)16:29 ID:uUYUhYWv(3/3) AAS
「正方行列の群」は何度読んでも馬鹿発言だなあとしみじみ思うけど
きっと御三家から東大行ってもそこそこの成績の工学部卒とかは
こんなこと平気で言っちゃって、同じ高校の数学科卒の天才君から
苦笑されちゃうんだろうなあ・・・
871(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)16:44 ID:mxQOAQvq(12/13) AAS
>>861-863
そうそう
１）それで、線形代数に限って話をすると
線形代数が使われる 隣接分野が 沢山あるわけで
その 隣接分野を学ぶと MM（数学成熟度）が上がって、線形代数の見え方が変わる
２）隣接分野を沢山学ぶと、どんどん MM（数学成熟度）が上がって、見え方が変わる
例えば、下記 『線形代数と関数解析学—無限次元の考え方』とか
３）なので、その人それぞれの 見え方 考えでいいと思う
もう一つは、いろんな切り口で考える。関連分野との切り口でね
正方行列だの正則行列だの 重箱の隅みたいなところを、必死に”ツッツク”落ちコボレさん
省16
872(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)16:59 ID:mxQOAQvq(13/13) AAS
>>870
>「正方行列の群」は何度読んでも馬鹿発言だなあとしみじみ思うけど
ふっ まだ言ってら〜 おサルさんｗ >>7-10
正方行列の群
↓
正方行列の（成す）群
とでも補えば
なんということもないｗ
群の定義に当てはめて、自然に逆元の存在と、単位元ｅ が含まれる
いま、簡便に 行列の成分を 実数R or 複素数Cに限る
省5
873: 02/13(木)17:49 ID:RaWWAier(5/6) AAS
>公立高から阪大ごとき二流大学に入り
箱根を越えたことのない人は
今でも多いのかな
874: 02/13(木)18:07 ID:SX0Ci419(12/17) AAS
>>871
> 線形代数が使われる 隣接分野が 沢山あるわけで
> その 隣接分野を学ぶと MM（数学成熟度）が上がって、
> 線形代数の見え方が変わる
> 例えば、『線形代数と関数解析学—無限次元の考え方』とか
すぐ難しげなこといってマウントとろうとするのが
ニホンザル ◆yH25M02vWFhP の悪い癖である
> 正方行列だの正則行列だの
> 重箱の隅みたいなところ
初歩というか基本というかそういう常識を
省22
875: 02/13(木)18:12 ID:SX0Ci419(13/17) AAS
>>872
> 正方行列の（成す）群とでも補えばなんということもない
> 群の定義に当てはめて、自然に逆元の存在と、単位元ｅ が含まれる
いや、含まれないでしょｗ
任意の正方行列に、逆元が存在するわけじゃないんだから 馬鹿なの？
> nxn (nは2以上) の 正方行列全体 は、環Rを成す
> その環Rの中の 乗法の成す部分を群Gとして
R⊋G なら 「正方行列の（成す）群」もアウト
日本語正しく語れないかな ニホンザルは
> R＼G の部分が、零因子行列でしょ？
省2
876: 02/13(木)18:16 ID:SX0Ci419(14/17) AAS
ニホンザル ◆yH25M02vWFhP は言葉遣いが粗雑
任意の正方行列が逆元を有するわけではない
「可逆行列のなす群」といえば全然問題なかった
まあ、正方行列の群と言い切ったときは
「任意の正方行列は逆元を持つ、
余因子行列を行列式で割ればいい」
と心の底から思ってたのがバレバレ
だから公式暗記馬鹿はダメなんだよｗ
877: 02/13(木)18:20 ID:SX0Ci419(15/17) AAS
ニホンザル ◆yH25M02vWFhP の勉強法は
「公式だけつまみ食い」スタイル
理論とか理解する気ゼロ
論理がわかんないから当然だけど
だから「正方行列全体の成す群」とか平気でいっちゃう
いい加減自分が数学の初歩から分からん馬鹿だと悟れ
馬鹿だと悟らない限りこの先いくらでも初歩レベルの間違いを語りまくる
自分は乙より賢いと思ってるみたいだが、乙よりはるかに馬鹿だぞ
878: 02/13(木)18:24 ID:SX0Ci419(16/17) AAS
中学・高校の「算数」は理論なんてろくにないから
公式丸暗記でも入試問題解ければ大学くらい受かる
でもそういう安易な勉強の仕方に慣れ切ってると
大学でおもいっきりドツボにはまる
そういうこざかしい馬鹿を大学でたくさん見てきた
意識改革できないと大学では落ちこぼれる
ニホンザル ◆yH25M02vWFhP も大学で落ちこぼれた口
まあ、ごまかしで単位とってなんとか卒業したんだろうが
けっきょく社奴になるしか能がなかった
社奴なんてサルでもつとまる
省2
879: 02/13(木)18:30 ID:SX0Ci419(17/17) AAS
自分がなんもわかってない馬鹿だと自覚することがスタート
この体験がない人はどう頑張っても見当違いの上滑りで失敗する
失敗を失敗と認められない人は絶対に成功しない
880: 02/13(木)18:37 ID:pKSLn6La(5/5) AAS
>>871
> 線形代数が使われる 隣接分野が 沢山あるわけで
君、代数って何だか分かる？
線型代数が数学の多くの分野で使われるのは当然なんだよ、線型空間や線型写像はありふれているんだから
> 正方行列だの正則行列だの
> 重箱の隅みたいなところ
いや、線型同型か否かはまったく重箱の隅ではないんだが
ど素人さんは数学板に書きこまない方が良いのでは？ どうしても書き込みたいならチラシの裏でどうぞ
881(1): 02/13(木)18:48 ID:RaWWAier(6/6) AAS
棋聖戦の4局目はもうすぐ終局
882(1): 02/13(木)20:24 ID:LVsRI63z(4/5) AAS
井山が3勝目
883: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/13(木)21:15 ID:15djKJcM(3/4) AAS
>>871
>特集／“線形代数の力”：その計り知れない威力 数理科学 NO.540,JUNE 2008
昔は、数理科学は熱心に、毎月読んでいたが
この号は、覚えていない。目次は、下記ですね
(参考)
外部ﾘﾝｸ:www.saiensu.co.jp
バックナンバー
数理科学 2008年6月号 Ｎｏ.540
線形代数の力
その歴史から多彩な応用まで
省25
884(1): 02/13(木)21:31 ID:15djKJcM(4/4) AAS
>>881-882
>井山が3勝目
難しい碁ですね
サッパリわかりません ；ｐ）
外部ﾘﾝｸ:www.yomiuri.co.jp
読売
井山王座が「形勢二転三転」の激闘を制し、シリーズ３勝目…一力棋聖「計算ミスあった」
2025/02/13 20:30
終局後、両者が最終的な勝敗の分かれ目として挙げた局面です。
黒２３５（図では２桁に変換）に一力棋聖は白２３６とついだのですが、番号順に井山王座は黒２３９と出て、黒２４１のキリを打ち、白２４２に黒２４３と下がりました。
省5
885(1): 02/13(木)22:01 ID:LVsRI63z(5/5) AAS
2局目がすんだ時点で
中学の同級生と新年会をしたとき
今度は井山が強いという点で
意見の一致を見た
886: 02/14(金)05:16 ID:vHlEN/cV(1/18) AAS
>>884
そうそう
887: 02/14(金)05:17 ID:vHlEN/cV(2/18) AAS
素人は無名で数学と無関係な囲碁将棋の話とかだけ書いてなさい
そうすれば一切恥をかかずに済む 大学出たって工学部卒なんか所詮馬鹿
888: 02/14(金)05:20 ID:vHlEN/cV(3/18) AAS
ああ、馬鹿と罵られたからといって
脊髄反射でわけのわからない言いがかりつけないように
そういうことが恥ずかしいと気づこうな サル！！！
889(1): 02/14(金)05:40 ID:B4eu5nwq(1/3) AAS
>大学出たって工学部卒なんか所詮馬鹿
工学部卒の数論研究者を知っている。
その人に初めて志村理論の存在を教わった。
890: 02/14(金)05:47 ID:vHlEN/cV(4/18) AAS
>>889
もちろん例外はある
数学科卒の馬鹿は沢山いる・・・馬鹿で悪かったな！！！ｗ
891: 02/14(金)05:54 ID:B4eu5nwq(2/3) AAS
>馬鹿で悪かったな！！！ｗ
馬鹿と言われれば脊髄反射でお前の方が馬鹿と
言い返せるが
これにどうやって言い返すかは考慮中
892(1): 02/14(金)07:18 ID:vHlEN/cV(5/18) AAS
爺のひねくれた人格は正直嫌だが
爺が数学で多大な仕事を成したことは否定しようもない
別に無理に言い返さなくていいよ
893: 02/14(金)07:20 ID:vHlEN/cV(6/18) AAS
あいつも正方行列の群ではなく正方行列の環といえばよかったんだけどな
まあ、問題が「群の例を３つ挙げよ」だったからそれは無理か
群の例を聞かれてるのに、環の例を出すのは別の意味で馬鹿
894(1): 02/14(金)07:49 ID:B4eu5nwq(3/3) AAS
>>892
とはいえ、芭蕉の俳句が浮かんだので書いておく
こちらむけ われもさびしき あきのくれ
895: 02/14(金)10:25 ID:PWoDQ15e(1/9) AAS
>>885
>2局目がすんだ時点で
>中学の同級生と新年会をしたとき
>今度は井山が強いという点で
>意見の一致を見た
なるほど
2局目 1月25日（土）1月26日（日）だから
遅い新年会ですね
井山さん先勝 白番
２局目は、一力さん白番で勝ち
省15
896(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)11:08 ID:PWoDQ15e(2/9) AAS
>>894
>とはいえ、芭蕉の俳句が浮かんだので書いておく
なるほど
下記イイタカシゲル(68歳) だと2010年か。(18歳)との対話
”50年前：そういうすごい人の話を聞くと怖くなりますね。自分は数学が好きで、友達に説明するとが「数学がわかった」と言って喜ぶんですよ。中学か高校で数学を教えたらいいなと思っています
今の：その程度の気持ちでいいんだと思うよ。自分は世界の一流の数学者と負けないようになるなんて思っていたら、研究を始める前に疲れてしまうよ。張り詰めていると挫折に弱いね。数学オリンピックで金メダルをとるような人にはすごい人がいるけれど、そういう人が数学の大業績をあげるかと思うとそうでもない。自分の関心にしたがって黙々と数学をやり続けていつのまにか数学の新しい分野を作った人も結構いる。そう人は世界の科学コンテストにでたりしないものだよ。自分を大切に努力して倦(う)まず弛(たゆ)まず続けて欲しい”
至言ですね
似た人がいます。せっかく東大に入ったのに、京大数学科へワープした人
当時は、ハタチ(二十歳)ですか？
(参考)
省15
897: 02/14(金)11:28 ID:bRJI0yAv(1/2) AAS
>>896
「ボクちゃん、プロの真似ができるんだ！」
とかいって自惚れウソ読みするのはやめような
還暦すぎのクソ爺
898: 02/14(金)11:30 ID:bRJI0yAv(2/2) AAS
馬鹿HN＆トリップはやめような
（参考）＆リンク＆馬鹿コピペもやめような
馬鹿行為やめような ニホンザル
899(1): 02/14(金)11:31 ID:bSp4CNh/(1/3) AAS
定年退職してから
たまたまある会合で
飯高先生と同席させてもらった。
そのとき「元気だね」と言って
ポンと肩をたたいてくれたのが
うれしかった。
900: 02/14(金)11:38 ID:bd1bkzdB(1/4) AAS
とある同級生は附属高出身で無試験で入ってきた
大学に入るまで大学の数学がどんなもんか知らなかったそうな
行列AとBの積で、なんでAの行とBの列を掛けるのか分からん、といっていた
そんな奴でも大学卒業できる
901(1): 02/14(金)11:38 ID:PWoDQ15e(3/9) AAS
全くの脱線ですが
下記『元、NHKアナウンサーでバナナマンの日村さんの奥様の神田愛花さんが履歴書に学習院大学理学部数学科飯高茂研究室卒と書くのも飯高先生が御高名だからじゃないですかね。（実際は一般人は知りませんが。）』
が笑えたので、貼っておきます
なお
”小平先生はそれまで日本のお家芸は解析学だったのですが代数学もお家芸にされました。
その代数学のお弟子さんが飯高茂先生という方です。”
は、だいぶ違うと思うのですが、ご愛敬ですね
（日本のお家芸は解析学→高木先生の系譜で 代数的数論
代数学もお家芸に→幾何学（代数幾何）もお家芸に でしょうね、森先生とか
おっと、岡先生を入れると、多変数関数論がありますね）
省29
902: 02/14(金)11:41 ID:bd1bkzdB(2/4) AAS
>>901
無名結構
ついでに（参考）＆リンク＆馬鹿コピペもやめような
903: 02/14(金)11:43 ID:bd1bkzdB(3/4) AAS
とある同級生は附属高出身で無試験で入ってきた
大学に入るまで大学の数学がどんなもんか知らなかったそうな
外積で、なんで順序を交換すると符号が逆転するのかわからん、といっていた
そんな奴でも大学卒業できる
904: 02/14(金)11:53 ID:8Qi2EDtq(1) AAS
Ｋ教授は講義の途中で中座してタバコを喫いに行くニコ中だったが
その昔あった事件の被害者だとは知らなかった
外部ﾘﾝｸ:ja.wikipedia.org
Ｓ教授は上記の事件があった大学の出身と聞いている
905: 02/14(金)12:02 ID:bSp4CNh/(2/3) AAS
黄金の６０年代
906: 02/14(金)13:39 ID:bSp4CNh/(3/3) AAS
碁会所にはいつもタバコの煙が
立ち込めていた
907(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)13:56 ID:PWoDQ15e(4/9) AAS
>>899
>飯高先生と同席させてもらった。
>そのとき「元気だね」と言って
>ポンと肩をたたいてくれたのが
>うれしかった
なるほど 飯高先生『吉田健介さんの思いで』を、貼っておきますね
新谷卓郎先生か。久しぶりにお名前を見ました
＜Ｓ君の日記から・・＞
”固有値を０、ｈｐ，−ｈｐと誤置し、固有ベクトルの計算に不可解な矛盾を生じたり”か
『固有値を０』が なんかヘンですね。固有値０ね・・。行列だと、退化しているのかな？ｗ ；ｐ）
省19
908(1): 02/14(金)13:58 ID:PWoDQ15e(5/9) AAS
つづき
彼こそ後に数学の天才として世界の数論の世界に革新をもたらした新谷卓郎君である。そして、吉田君と新谷君（吉村太彦君も後に加わったが）と３人で神田の神保町の古書店に行き、四方堂、明倫館などで数学や物理の洋書、とくに黄表紙と呼ばれたシュプリンガー社の本、場合によっては上海版と言われた洋書のコピー本を買い求めた
吉田君の思いで ２
私は、千葉市内の公立中学である緑中に通っていた。そこで、Ｎさんという大変活発な女子学生がいた。マドンナというより、ガラッパチであったが成績はよく、３年の終わり頃になると、越境して東京の入学試験を受け、都立日比谷高校に受かったそうだ。昔の日比谷高校は半分近くが東大に入るという空前絶後の進学校であった。私は大学の１年生になってから真面目に１限から出るべく早起きして、７時前には西千葉駅についた。そして国電に乗って秋葉原、渋谷を経由して東大教養学部前駅まで１時間40 分かけて通っていた。ある朝、プラットホームで電車を待っていると「イイちゃんじゃない」と言って、中学生の頃ガラッパチの女子学生だったＮさんが声をかけてくれた。日比谷でもまれたせいであろう、すっかり垢抜けしていて、私は田舎の高校を出た大学生にすぎないことを自覚させられた。彼女は東大の理科２類に入っていたのだ。これにはびっくりした。昔の知り合いなので、彼女は饒舌に語りかけてきた。「理１の○○君は、どこどこ教授のおぼっちゃまなのよ、そう言えば、君のいる理１の組には、吉田茂のお孫さんがいるじゃない」
こうしてごく自然に、吉田健介君が吉田茂のお孫さんということが分かった。これにはびっくりしたが、なるほどそうだろう、と納得させらることも多かった。大学生になっている私たちにとって、親がどうの、祖父がどうの、など関係のないことではあったが、新谷君があるとき、「そういえば、吉田君の計算用紙は原稿用紙の裏紙を使っていますよ」と言ったことがあり、状況証拠があがったのだ。新谷君の父上も東大の工学部卒の技術者で、たしか四日市の工場長を務めていたと思う。あるとき、新谷君は父の書棚に『解析概論』があった、と言って古い『解析概論』をもって来た。そのときは、少しうらやましかった。当時は、吉田茂は超有名人で、吉田健一も有名な存在だった。健介さんはそれが重荷に思ったこともあったのだろうと思う。しかし、私たちの間で話題になったのは、原稿用紙の裏紙の件だけだった。
吉田君の思いで3
私は２００６年12月に「いいたかないけど数学者なのだ」という本をＮＨＫから出した。
その目的は、夭折の天才：新谷卓郎君を世に紹介することだった。
本では、Ｓ君という名前で新谷卓郎君を出し、Ｙ君という名で吉田健介さんを紹介している。
その当時の交流の様子が出ているので一部抜粋する。
省3
909(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)13:58 ID:PWoDQ15e(6/9) AAS
つづき
御母堂によると中学生くらいまでは目立たない子で、どうかと思っていたら、高校生の頃から急に成績がよくなって驚いたそうである．高校３年生で、英文の本を読んで感想を書いているのだからそれだけでもまねができない．数学の学習でも、彼は分かるまで徹底的に考えるから、他の人を怖じ気づかせるようなところがあった．
友人Ｙ君はあるとき「Ｓ君がいるのでは、自分が数学をやるわけにはいかない」と言った．
これをきいて、私はＳ君の偉大な数学の才能をあらためて認識した．
Ｓ君にある才能の輝きはすぐにはわからないものだ．
永くつきあっているうちに彼のもつすごい力がだんだん分かってくる．
感受性の鋭いＹ君は繊細な神経の持ち主にであるため、耐えられなかったのであろう．
私はＳ君とＹ君をともに良く知っているだけとても悲しいことに感じた．
私はもちろんのこと、だれもがＳ君は数学科に進学すると思っていたが、彼は「物理科に行きたい」と言うのである．
私は彼をひたすら説得することに努めた
省25
910: 02/14(金)14:18 ID:05nZnIh7(1) AAS
>>907-909
🐎🦌HN＆トリップ
（参考）＆リンク＆🐎🦌コピペ
は、やめような
911(1): 02/14(金)14:26 ID:bd1bkzdB(4/4) AAS
ケイリー・ハミルトンの定理によれば
正方行列Aの行列式が
Aとその累乗のトレース（対角成分の和）
及びそのべきから計算できる
912: 02/14(金)14:44 ID:mtVXUXZ1(1) AAS
>>911
このことは基本対称式がニュートン多項式で表せることに対応する
913: 02/14(金)16:43 ID:8Gfu2d/i(1) AAS
ケイリー・ハミルトンの定理によれば
正方行列Aの余因子行列も行列式同様
Aとその累乗、そしてそれらのトレース
及びそのべきから計算でき
行列式が０でなければ、
余因子行列を行列式で割ることにより
逆行列を求めることができる
914: 02/14(金)16:56 ID:DPEQjGUr(1) AAS
ところで、ケイリー・ハミルトンの定理という名前にもかかわらず
ハミルトンもケイリーも特殊な場合しか証明しておらず
一般の正方行列に対してこれが成立することを証明したのは
フロベニウスである
915: 02/14(金)17:23 ID:PWoDQ15e(7/9) AAS
次スレ立てた。ここを使い切ったら、次スレへ
2chｽﾚ:math
ガロア第一論文と乗数イデアル他関連資料スレ14
916: 02/14(金)18:08 ID:vHlEN/cV(7/18) AAS
2chｽﾚ:math
> おサル＝サイコパスのピエロ
> おサルさんの正体判明！
> 昭和の末期に、どこかの大学の数学科
> 多分、代数学の講義もあったんだ
> でも、さっぱりで、落ちこぼれ卒業して
> 平成の間だけでも30年、前後を加えて35年か
> 可哀想に、数学科のオチコボレで、
> 鳥無き里のコウモリそのもので、
> 威張り散らし、誰彼無く噛みつくアホ
省8
917(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)18:16 ID:PWoDQ15e(8/9) AAS
>>907
飯高 茂『数学の天才は養成できるか』追加
外部ﾘﾝｸ:www.jstage.jst.go.jp
科学教育研究/30巻 (2006)
数学の天才は養成できるか 飯高 茂
楽天の野村監督によると「野球の4 番とエースだけは養成できない．見つけてつれてくるしかない」．
野球ですらそうなのだから，まして数学においておや．
数学の天才の養成はとうていできないのである．私見
によれば20世紀最高の数学者はグロタンディク
（Alexander Grothedieck 1928−）と佐藤幹夫（1928−）である．二人は同年の生まれであり，戦争の影響
省38
918(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)18:17 ID:PWoDQ15e(9/9) AAS
つづき
佐藤幹夫は17歳の時終戦を迎えた．戦中，戦後は物
資不足でインクを薄めて使い，紙を節約するため，字
もなるべく小さく書いていた．旧制高校から東大の数
学科に学ぶが大学院生の時は定時制高校の非常勤講師
をしていてきわめて多忙であった．生徒のために職場
に行ってかけあうこともしたそうである．既成の数学
の本をきちんと読むことは苦手だったようで，定評の
あった吉田耕作「位相解析』も全部は読まず，付録に
載せられていたシュワルツの超関数（distribution ）
省39
919: 02/14(金)18:22 ID:vHlEN/cV(8/18) AAS
2chｽﾚ:math
> おサルの傷口に塩
自分の傷口に塩塗るマゾ
> ヒト「正則行列を知らない線形代数落ちこぼれ」
> サル「零因子行列のことだろ？知っているよ」
誤 零因子行列
正 零因子でない行列
日本語も正しく書けない池沼
省14
920: 02/14(金)18:25 ID:vHlEN/cV(9/18) AAS
>>917-918
どういうつもりか知らんが
正則行列の条件もわからんサルが
数学の天才になりようがないことは明らかなので
あきらめて囲碁将棋でもやってなさい
921(1): 02/14(金)18:29 ID:i5BpbTnB(1) AAS
>>917-918
コピペしても誰も頭良いとか数学分かってるとか思わないからもうやめなさい
922: 02/14(金)18:29 ID:vHlEN/cV(10/18) AAS
2chｽﾚ:math
> 列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・を、順序関係＜に置き換えて
> {}＜{{}}＜{{{}}}＜{{{{}}}}＜・・・ として、整列集合と考えることができる
できない
{}∈{{}}∈{{{}}} だが
{}∈{{{}}} でない
集合の∈もわからんサルは
数学の天才になりようがないことは明らかなので
あきらめて囲碁将棋でもやってなさい
923: 02/14(金)18:32 ID:vHlEN/cV(11/18) AAS
>>921
> コピペしても誰も頭良いとか数学分かってるとか思わないからもうやめなさい
そもそも他人の文章を剽窃して利口ぶる根性がみっともない
こういう奴が会社で不正とかしまくるんだろうな
盗人猛々しいとはよくいったものである
関西にはこんな奴しかいないのか
関ケ原から西には行きたくないもんだ
924(1): 02/14(金)18:42 ID:vHlEN/cV(12/18) AAS
そもそも現代数学の系譜 雑談 ◆yH25M02vWFhP は何がしたいんだ
数学がわかりたいんなら、地道に論理を理解する以外なかろう
いくら言い訳しても仕方ないだろ
わかりもせんのにわかったと嘘つきたい？
そんなの不快なだけだからここですんなよバカ
925: 02/14(金)18:59 ID:vHlEN/cV(13/18) AAS
（参考）
【自己愛性パーソナリティ障害】職場に自己愛性パーソナリティ障害の人がいたら？【精神科医が6.5分で説明】パーソナリティ障害
動画ﾘﾝｸ[YouTube]
926(1): 02/14(金)21:35 ID:vHlEN/cV(14/18) AAS
【参考】
自己愛性パーソナリティ障害の有名人
外部ﾘﾝｸ:ja.wikipedia.org
自己愛性パーソナリティ（障害）を有していたとされる有名人には、
三島由紀夫、サルバドール・ダリ、ヘルベルト・フォン・カラヤンがいる。
927(1): 02/14(金)21:37 ID:vHlEN/cV(15/18) AAS
>>926の続き
三島由紀夫は対人関係に過敏で、貴族的な選民意識を持ち、妥協を許さぬ完璧主義者であった。
祖母に溺愛され、母との情緒的な繋がりを持ちにくかった三島は、
幼い頃にはケガをすると危ないという理由で
女の子だけを遊び相手に選ばれている。
文壇デビュー当時の思うように売れない時期から、
基底にある自己不確実感を覆い隠すように
ボクシングやウェイトリフティングという肉体鍛錬に没頭した。
またそのうるわしい肉体とは対照的に、
取り巻きなしでは飲食店に入ることすらできない
省6
928(1): 02/14(金)21:38 ID:vHlEN/cV(16/18) AAS
>>927の続き
サルバドール・ダリは様々な精神障害の特徴を示しているが、
その中核にあるのは歪なナルシシズムである。
自らを天才と言って憚らない自己顕示性と、奇矯な振る舞いの背後には、
ありのままの自分を認められずに過ごした生い立ちが関係している。
ダリには同じ名前の兄がいたが、2歳でその人生を閉じており、
ダリはその兄の写真を見る事を極度に恐れた。
両親の目の奥に、自分ではなく、死んだ息子への不毛な愛情を感じていたからである。
生涯にわたって自己喧伝の衝動に囚われ続けたダリは、
『私は自分自身に証明したいのだ。私は死んだ兄ではない、生きているのは私だ、と』
省2
929: 02/14(金)21:40 ID:vHlEN/cV(17/18) AAS
>>928の続き
ヘルベルト・フォン・カラヤンは世界最高の指揮者として「帝王」の名をほしいままにしたが、
その気性から数多くの問題を引き起こした。
カラヤンはメディアに掲載される自らの写真を全てチェックし、認めたもののみ公表を許すなど、
自分が最も理想的な姿で映し出されることを求めた。
1975年に不意打ちで写真を撮られた際にはカメラマンを殴りつけるという事件を起こしている。
またカラヤンは自らが貴族階級出身であることをあらわす「フォン」をつけて名乗ったが、
パスポートには「ヘルベルト・カラヤン」とだけ記されていたという。
幾度にも渡るベルリン・フィルハーモニーとの対立に示されるように、
カラヤンは少しでも意見を言う者や、従わないものには怒り狂い、徹底的に攻撃した。
省2
930: 02/14(金)21:54 ID:vHlEN/cV(18/18) AAS
今日はここまで
931: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/14(金)23:38 ID:A0w3ECia(1) AAS
はい、あなた、鏡がここにありますｗ
はい、あなた、自分の姿が写っていますよ！ｗｗｗ ；ｐ）
932(2): 02/15(土)01:04 ID:tNB6oeTf(1/13) AAS
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
（引用終了）
選択関数はAの元なんだから、Aがwell-definedなら選択関数の存在は自明だけどその証明が無いのでは？
933: 02/15(土)02:41 ID:hZwof9V4(1) AAS
>>924
わかりたい！
って意欲全然感じないよね
934(1): 02/15(土)03:03 ID:tNB6oeTf(2/13) AAS
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
（引用終了）
この証明がまかり通るなら、
省4
935: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:39 ID:36YscTpw(1/27) AAS
というHNで書くことにした（笑）
> はい、あなた、鏡がここにありますｗ
> はい、あなた、自分の姿が写っていますよ！
それ、おめぇ
936(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:43 ID:36YscTpw(2/27) AAS
【参考】
自己愛性パーソナリティ障害の治療
外部ﾘﾝｸ:tokyo-brain.clinic
自己愛性パーソナリティ障害の治療は難しいとされていますが、一定の効果があるとされる治療法がいくつかあります。
その人の気質や家族環境によっても症状が異なるため、以下のような方法を組み合わせて治療が行われます。
基本的にはどの方法も効果が表れるまで時間がかかります。
一般的には数年は必要とされています。
また、患者と治療者の間に信頼関係がなければ効果は得られないともされており、患者に相性のいい治療者を探すことも重要です。
937(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:45 ID:36YscTpw(3/27) AAS
>>936のつづき
精神療法
カウンセリング療法
カウンセラーが患者さんの心理面に働きかけ、
患者さんの認知、思考、行動パターンなどの偏りを改善し、
少しずつ社会に適応できるようにしていく治療法です。
集団精神療法
集団精神療法は、同じ障害を持つ人が複数人集まり、
グループで話をしたり共同作業を行うことで
社会に適応できない原因を見つけて解決する方法です。
省15
938(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:46 ID:36YscTpw(4/27) AAS
>>937のつづき
薬物療法
自己愛性パーソナリティ障害の患者は
他者からの指摘やマイナスの評価に耐えきれずに
抑うつ状態になりやすい傾向にあります。
そのため、抗うつ薬を使用して症状を緩和しつつ、
カウンセリングなどの治療を行うサポートをすることがあります。
その他、気分変動が大きい患者には
気分安定薬のリチウムやカルバムアゼピン、
バルプロ酸を使用することがあります。
939: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:48 ID:36YscTpw(5/27) AAS
>>938のつづき
TMS治療
アメリカでアメリカ食品医薬品局（FDA）の認可を受けている最新の治療法である
TMS治療（磁気刺激治療）も、パーソナリティ障害に有効だとされています。
パーソナリティ障害自体にTMS治療（磁気刺激治療）が有効であった
という論文が2019年に発表されています。
また、2016年にもTMS治療（磁気刺激治療）が
感情や衝動性のコントロールに有効であった
という報告があります。
省4
940: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)06:49 ID:36YscTpw(6/27) AAS
とりあえず ここまで
頑張って治療しようね セタ君
941(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)08:58 ID:XknlDm4+(1/10) AAS
>>934
>A' := { g:Λ→∪_{λ∈Λ} X_λ | 任意のλ∈Λに対してg(λ)∈Xλ }
>とする。存在例化により選択関数f∈A'が存在する。
1）存在例化は、下記 ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいかな？
もしそうならば、存在例化とは 新しい定数記号cを導入できること
”must be a new term”であること
「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
ってこと
2）ということは、存在例化で 記号cを導入することは、なんら新しいことを導入したのではなく
単に、証明を読みやすく 簡明にするために 「存在記号 ∃ を消す」 が、しかし 結論には影響しない！
省22
942: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:16 ID:36YscTpw(7/27) AAS
>>941
まず番号やめよっか 🏇🦌っぽいから
ヴィトゲンシュタインの論理哲学論考の真似？
🤢キモチワルイぞ
943: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:24 ID:36YscTpw(8/27) AAS
> 存在例化は、ja.wikipedia.org ＆ en.wikipedia.orgの意味と解していいなら
> 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」
> ”it also must not occur in the conclusion of the proof”
> ってこと
> 存在例化で 記号cを導入することは、
> なんら新しいことを導入したのではなく
> 単に、証明を読みやすく 簡明にするために
> 「存在記号 ∃ を消す」 が、しかし 結論には影響しない！
省9
944: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:33 ID:36YscTpw(9/27) AAS
> 実際、解析概論でも、多変数関数論のテキストで良いが
> 「これが、存在例化でございます！」
> って、存在例化が威張っている証明ってあるかな？
集合論のテキストでいいなら
「実数全体は整列可能である」
という主張の証明で、選択関数の例化を堂々と使っている
神戸のセタ君、前に尋ねたよな？
「どうやって具体的に実数を整列させるか、その方法を示せ」って
それは、つまるところP(R)-{{}}からどうやって元を選択するか示すことにつながるが
そこはまさに選択公理の関数fにかかる束縛∃から、存在例化によって
省14
945(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)09:35 ID:XknlDm4+(2/10) AAS
>>932
(引用開始)
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
省39
946: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:43 ID:36YscTpw(10/27) AAS
ツェルメロによる選択公理は例えば集合論における濃度の比較可能性を保証する
しかし、そうしたところでカントルが提起し連続体の濃度の決定問題が
解決できるかといえばできない
コーエンはこのことを強制法で示した
集合論が壮大なマッチポンプだったのではないか？
という疑問に関しては正面から否定できないかもしれないが
少なくとも意図的なものではないし、結果論として
そういうことはしばしば起きるのだから
あとからイチャモンつけるのは🏇🦌ってもんだ
947: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:48 ID:36YscTpw(11/27) AAS
>>945
選択公理と整列定理の関係についていえば、Zornの補題を介さないほうが判りやすい
整列定理から選択公理を導くのは簡単である、整列順序における最小元をとればいいだけだから
選択公理から整列定理を導くのも、空でない部分集合の全体から要素を取り出す選択関数を使えばいいので簡単
両者とツォルンの補題の関係はもうちょっと面倒くさい
そもそも神戸のセタ君は、ツォルンの補題が何言ってるのか分かってないだろ？
948: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:50 ID:36YscTpw(12/27) AAS
> 他の証明と照らし合わせるのが良い、というか 常用のスジだ
でもどの証明も何言ってるのかわからんので、結局何一つわからん
というのが神戸のセタ君のお定まりのスジ
違うかい？ 図星だろ？
949: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)09:55 ID:36YscTpw(13/27) AAS
神戸のセタ君は、高校までは、数学はよくできたみたいだが
それは、高校までの数学はろくに理屈もなくて
とにかく、計算方法だけ丸暗記すれば試験問題が解けるからである
どうだ？ 図星だろ？
しかし、大学に入って、数学の講義を受けたらチンプンカンプンだった
それは、大学の数学が理屈ばかりで、方法とか直接示すことはしないから
どうだ？ 図星だろ？
日本語を雑に使っていて正確な文章が書けず読めず
大体こんなもんという感じで主張し、例外の存在は気にしない
省3
950: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)09:56 ID:XknlDm4+(3/10) AAS
>>945 補足
>A proof that Zorn's lemma implies the axiom of choice illustrates a typical application of Zorn's lemma.[17]
えーと、最後の [17]を見ると下記だ
Notes
17 Halmos 1960, § 16. Exercise.
References
Halmos, Paul (1960). Naive Set Theory. Princeton, New Jersey: D. Van Nostrand Company.
外部ﾘﾝｸ:en.wikipedia.org
Naive Set Theory (book)
うーんと、海賊版を探すと
省36
951: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:03 ID:36YscTpw(14/27) AAS
工学屋は代数方程式の解の数値が欲しいだけだから
ガロア理論なんて興味もつだけ無駄である
代数方程式がべき根だけで解けるかどうか判別する必要なんてない
べき根で解けようが解けまいが複素数解は存在するのだから
解析的方法でゴリゴリ解いたほうが早いし実際そうしている
ガウスは円分方程式のベキ根解を求めるためにラグランジュの分解式を使った
これ自体は理屈が判らん🏇🦌でも実際に実行可能であるし、
工学的実用性は皆無だが数学的な美しさはMAX
実際に計算してみると「巡回拡大バンザーイ」といいたくなる
ヴィトゲンシュタインはこんなのは学童の喜びだと馬鹿にするだろうが
省3
952(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:07 ID:36YscTpw(15/27) AAS
神戸のセタ君は
とにかく検索し
とにかくコピペすることで
「おれはわかってる！わかってる！！わかってる！！！」
と絶叫したいようだが、全然わかってないことは
他の人にバレバレである
自分の言葉で言い換えられない時点で明らかである
セタ君はとにかく日本語が不自由だから
自分の言葉で語るととたんに粗雑化してしまう
しかし、だからといって、それをやめてしまったら
省9
953: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:08 ID:36YscTpw(16/27) AAS
神戸のセタ君はとにかくコピペを止めて
全部自分の言葉で語ることを実践していただきたい
954: 02/15(土)10:15 ID:36YscTpw(17/27) AAS
ところで
「集合論で決定不能な問題を、圏論で決定できるかもしれない」
とかいう動機で圏論に興味持つのは・・・
💩
955: 02/15(土)10:18 ID:tNB6oeTf(3/13) AAS
>>945
>見比べてみな
君は見比べもせず何も疑問に思わず>>26でコピペしたと？ 何のために？ 自分が何も考えられない馬鹿であることを全世界に示すためかい？
956: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:21 ID:36YscTpw(18/27) AAS
神戸のセタ君は、何かというと
「社会人はカンニングＯＫ！」
とわめく癖があるが、
彼の勤めてる会社のコンプライアンスはどうなってるんだろうか
実に不安であるｗ
957: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:24 ID:36YscTpw(19/27) AAS
神戸のセタ君は、何かというと
小難し気な定理を持ち出したがるが
なぜその定理が成立するかは
全く興味がないらしい
（例：ケイリー・ハミルトンの定理）
その昔、TVで放送してた「伊東家の食卓」の精神なんだろう
「なるものはなる！」
数学科でこれいうと確実に落第するけど
958: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)10:31 ID:36YscTpw(20/27) AAS
行列の正則性とかランクとかを
行列環とか固有多項式とかで説明するのは
やりすぎというか循環論法になりかねない
こういうことを全く気にしないのは
論理のわからぬ素人
959(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)10:58 ID:XknlDm4+(4/10) AAS
>>945 補足
あのさ >>932 って おサルの言っていること、ショボクね？
弥勒菩薩氏から、おっさん基礎論自慢するから ”基礎論婆”とか呼ばれて
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このサマか
笑えるます ｗｗｗ ；ｐ）
960: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/15(土)10:59 ID:XknlDm4+(5/10) AAS
>>959 タイポ訂正
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このサマか
笑えるます ｗｗｗ ；ｐ）
↓
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このザマか
笑えます ｗｗｗ ；ｐ）
961: 02/15(土)11:29 ID:tNB6oeTf(4/13) AAS
>>959
Aがwell-definedであることを証明してごらん。できるなら。
ここは数学板なので数学的根拠の無い感想文は無意味。君は園児かい？
962: 02/15(土)11:32 ID:tNB6oeTf(5/13) AAS
>>959
>ショボクね？
存在例化すら理解できない君がなぜしょぼいと判断できるの？
963: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ 02/15(土)11:48 ID:36YscTpw(21/27) AAS
神戸のセタは、数学板で一番ショボいのは
万年高卒レベルの自分ってことが判らない
乙とか高木某より賢いと思ってるのを見ると、ああ、おかしい
全然変わらないどころかむしろ彼らより全然馬鹿だろｗ
964: 02/15(土)11:52 ID:tNB6oeTf(6/13) AAS
>>941
> もしそうならば、存在例化とは 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
> ってこと
>3）ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が
> ナンセンスだと思うぜ
それがナンセンス。
fという名前を使わずに「選択公理は真」と結論すればよいだけだから。
965(3): 02/15(土)12:09 ID:tNB6oeTf(7/13) AAS
>>26の証明って、極大元が存在してそれは選択関数って言ってるんだけど、それは選択関数が極大元となるようにAを定義したからそうなのであって、そこに必然性は何もない。
極大元であろうがなかろうが、選択関数を元として持つ集合を持ち出した時点で証明したい選択関数の存在を前提としてしまっている。これでは証明になっていない。
しょぼいとか言いがかり付けてるどこぞの輩はそんなことも分からないのだろうね。
966(1): 02/15(土)12:19 ID:tNB6oeTf(8/13) AAS
>>965を一言で言えば
「Aがwell-definedである証明が無い」
になるんだけど、おサルさんには難しかったね。
ごめんね、おサルさんでも分かるように易しく言えなくて。
上下前次1-新書関写板覧索設栞歴
あと 36 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.052s