数学の本第79巻

1 名前：１３２人目の素数さん [2018/09/13(木) 16:42:01.63 ID:k418pXfL.net] 数学の専門書についてのスレです なんか知らんけど落ちてたので立てときました。 【過去スレ】 第67巻　https://rio2016.5ch.net/test/read.cgi/math/1454323135/ 第68巻　https://rio2016.5ch.net/test/read.cgi/math/1477731209/ 第69巻　https://rio2016.5ch.net/test/read.cgi/math/1487383364/ 第70巻　https://rio2016.5ch.net/test/read.cgi/math/1492300530/ 第71巻　https://rio2016.5ch.net/test/read.cgi/math/1495881990/ 第72巻　https://rio2016.5ch.net/test/read.cgi/math/1501905603/ 第73巻　https://rio2016.5ch.net/test/read.cgi/math/1508221180/ 第74巻　https://rio2016.5ch.net/test/read.cgi/math/1511085768/ 第75巻　https://rio2016.5ch.net/test/read.cgi/math/1515687474/ 第76巻　https://rio2016.5ch.net/test/read.cgi/math/1522075216/ 第77巻　https://rio2016.5ch.net/test/read.cgi/math/1527903284/ 第78巻　https://rio2016.5ch.net/test/read.cgi/math/1533458753/ 【関連サイト】 数学学習マニュアル　まとめページ www.geocities.co.jp/Technopolis-Mars/7997/ 数学の本　まとめサイト www3.atwiki.jp/math/pages/1.html 【諸注意】 ★線形代数と微積分の本についてはこちらで 【激しく】解析と線型代数の本何がいい？【既出】11 https://rio2016.5ch.net/test/read.cgi/math/1526097568/ ★雑談は雑談スレで ★算数の本も雑談スレで 231 名前：１３２人目の素数さん [2018/09/20(木) 06:34:40.77 ID:4MmxT2WD.net] 数論幾何学と代数幾何学って、どちらの方が難しいの？ 232 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 09:02:21.07 ID:kFpSVHx9.net] チャートは終わったのか？ 233 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 09:40:46.35 ID:vsAA67DN.net] 高度な理論を使って、四色問題を解いてほしい 234 名前：１３２人目の素数さん [2018/09/20(木) 10:01:44.51 ID:G7B3RsJN.net] 三浦敏恒著『線形代数学』を読んでいます。 この本では、代数学の基本定理に全く触れていません。 そして、次の定理が書いてあります： 「n 次の実正方行列 A の固有値が全て実数ならば、 A は直交行列を用いて上三角化できる。」 これはまずいのではないでしょうか？ 「固有多項式が実1次多項式の積に分解されるならば、 A は直交行列を用いて上三角化できる。」 と書かないといけないですよね？ 235 名前：１３２人目の素数さん [2018/09/20(木) 10:02:24.62 ID:G7B3RsJN.net] 訂正します： 三宅敏恒著『線形代数学』を読んでいます。 この本では、代数学の基本定理に全く触れていません。 そして、次の定理が書いてあります： 「n 次の実正方行列 A の固有値が全て実数ならば、 A は直交行列を用いて上三角化できる。」 これはまずいのではないでしょうか？ 「固有多項式が実1次多項式の積に分解されるならば、 A は直交行列を用いて上三角化できる。」 と書かないといけないですよね？ 236 名前：１３２人目の素数さん [2018/09/20(木) 10:05:35.28 ID:G7B3RsJN.net] 固有多項式が x^2 + 1 のような場合にも実数の範囲で上三角化できることになってしまいます。 237 名前：１３２人目の素数さん [2018/09/20(木) 10:06:19.18 ID:G7B3RsJN.net] 訂正します： 固有多項式が (x^2 + 1) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。 238 名前：１３２人目の素数さん [2018/09/20(木) 12:33:34.39 ID:4MmxT2WD.net] 山本KID徳郁って、何で亡くなったの？ 239 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 12:48:25.85 ID:a1/nOQ/g.net] >>227 四色問題の「価値」は、シンプルな問題で昔からよく知られていたが おそらくそうした問題に対して史上初めて計算機を用いて解き切ったこと。 計算機が必要と言うだけなら、複雑な力学の問題など四色以前にたくさんあったが 元の問題が単純で、いかにも正しそう、トーラス（というか種数が1以上）の 場合の方が易しくて10年前に先に解かれていた、という事情もあった。 プログラムの検証に10年くらいかかり、さらにその後も大きく2度ほど単純化されるなど 「計算機を用いて力づくで証明した」場合に、数学界としてどう検証・評価するのか 優れた先例にもなった。また、証明が発表されてから40年、単純化は進んだが いまだに理論的に人間が読める証明はできてない。 それ自体にどれほど意味があるかわからないが、四色問題は数学史上の重要な成果だ。 もちろん、より理論的で簡単な証明が今後できれば、それも価値があると思う。 240 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 13:04:37.45 ID:a1/nOQ/g.net] >>222 現在の大理論を用いたら、ン十年前の素朴な問題が解けました〜 ってことは今後もありうるだろうし、良い研究だと思う。 その大理論が（勉強するのは大変にしろ）既知のものばかりで ン十年前の問題も解決した手法も特に広がりがないなら、高くは評価されないでしょ。 素数の間隙評価した張益唐は、36歳でやっと博士号、そこからサンドウイッチ屋の Subwayとかで働きながら、8年後になんとか講師になり、58歳で大定理を証明して Ann. Math.に論文載せて一気に教授になってCole賞受賞だ。おめーらも頑張れや 241 名前：１３２人目の素数さん [2018/09/20(木) 13:09:32.22 ID:4MmxT2WD.net] 頑張るのやだ！ 適当に生きるわ 242 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 14:06:14.09 ID:+3do99E+.net] >>233 Make 10 パズルだってペントミノだって、 コンピュータ使って総当たりで解くのが けっきょくシンプルだろ。 「組合せの数が多すぎて解けねぇ (T_T)」 （四色問題の場合� 243 名前：ﾍ、実質的に無限）つーのを コンピュータで抑えこんで解決した、っつーのが すごい、って話だと思うが。 「（辺長が自然数の）正方形を、すべて大きさの違う （辺長が自然数である）正方形に分割する（ただし、 辺長が１の場合はトリビアルだから除く）」って 問題もわかりやすいけど、まだ「最小の解」っていうのが 見つかっていない（らしい。現在見つかっている解が 最小であるという証明もされていない）とかいうのも、 方法はともあれ、誰か解いてほしいと思う。 [] [ここ壊れてます] 244 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 14:12:43.27 ID:+3do99E+.net] >>234 > 現在の大理論を用いたら、ン十年前の素朴な問題が解けました〜 > ってことは今後もありうるだろうし、良い研究だと思う。 おれも評価してくんねぇかなぁ …… 行列使って五十年くらい未解決だった問題を、 連分数使って証明して、ついでに図形的に証明したんだが、 誰も評価してくんねぇ。 「Barning = Hall の定理の逆問題」（「原始ピタゴラス数を 生む行列」。「原始ピタゴラス数は三分木をなす」という定理の 逆）っていえば、そこそこ有名なんだけどなぁ。 245 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 14:57:44.79 ID:M6nVhqxS.net] >>237 どんな未解決問題を解いたの？ 246 名前：１３２人目の素数さん [2018/09/20(木) 15:04:46.11 ID:G7B3RsJN.net] >>4 Amazon.com で注文していた本の一部が今日届きました。 8冊注文したうちの以下の4冊が届きました。 https://i.imgur.com/oDKiHvY.jpg 残念ながら、 Linear Algebra Done Right の角が少しへこんでいました。 その他の本も完璧とは言えない状態でした。 247 名前：１３２人目の素数さん [2018/09/20(木) 15:10:25.31 ID:G7B3RsJN.net] >>239 あとで、画像を撮影してアップロードします。 248 名前：１３２人目の素数さん [2018/09/20(木) 15:11:57.74 ID:G7B3RsJN.net] >>234 数学はちゃんと実力主義で評価されるからいいですよね。 249 名前：１３２人目の素数さん [2018/09/20(木) 15:52:15.99 ID:G7B3RsJN.net] ↓今日届いた4冊を撮影しました： https://imgur.com/b9AHqE8.jpg 250 名前：１３２人目の素数さん [2018/09/20(木) 16:01:15.73 ID:G7B3RsJN.net] >>231 訂正します： 固有多項式が (複素数の範囲で零点をもつのか分からない実係数多項式) * (x-1) のような場合にも実数の範囲で上三角化できることになってしまいます。 「複素数の範囲で零点をもつのか分からない実係数多項式」と書いたのは、三宅さんの本では代数学の基本定理が成り立つことを書いていないからです。 仮に何の知識もないとすると複素数の範囲でも零点を持たない実係数多項式があるのではないか？と思ってしまいますよね。 251 名前：１３２人目の素数さん [2018/09/20(木) 16:04:32.17 ID:G7B3RsJN.net] ともかく、固有値について各以上、代数学の基本定理に触れないというのはあり得ないことですよね？ 252 名前：１３２人目の素数さん [2018/09/20(木) 16:04:53.11 ID:G7B3RsJN.net] ともかく、固有値について書く以上、代数学の基本定理に触れないというのはあり得ないことですよね？ 253 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 16:57:43.97 ID:+3do99E+.net] >>238 スレ違いだから、 『ピタゴラス数をなんと　〜荒らされたので立て直しました〜 [無断転載禁止]©2ch.net 』 （ttps://rio2016.5ch.net/test/read.cgi/math/1478040803/） に書いとく。 基本的には、『すべての原始ピタゴラス数は、{3, 4, 5} に U/D/A という 三次の行列を掛けることで、一意に表される』という話で、 小林 吹代『ピタゴラス数を生み出す行列のはなし』（ベレ出版）に 詳しく書いてあるんだが、「任意の原始ピタゴラス数を、e（＝{3, 4, 5}）に 対する U/D/A の積の形で表せるか？」というのが未解決だったんだよ （そのあたりは、細矢治夫先生の『トポロジカル・インデックス』に、 悪戦苦闘っぷりが詳しく述べられている）。 だけど、なんだかんだで図形的に証明（たぶん、ちょっと数学のできる 中学生だったら理解できる程度）できちゃって、「べつに行列とか 使わなくっていいじゃん？」みたいな話になっちゃったんだ。 「高校数学から行列がなくなっちゃう」という話は知ってたけど、 「だったら三角関数の加法定理とか、一次変換使わなくって、 どうやって覚えるの？」っつー思いがあって、「ベクトルを 教えるんだったら、二次・三次までの行列も、いちおう意味が 把握できる程度には、教えといたほうがいいんじゃないの？」と 思う。「線形代数」まで行っちゃうと、連立一次方程式との 関連とかいろいろあるんで、概念的に統合するのが大変だし、 線形計画法みたいな数値計算分野との関連があるんで、先送りに してもいいとは思うんだけど。 254 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 17:29:22.82 ID:M6nVhqxS.net] >>246 どういうこと？ ＞『すべての原始ピタゴラス数は、{3, 4, 5} に U/D/A という ＞三次の行列を掛けることで、一意に表される』 が成り立つなら、 ＞任意の原始ピタゴラス数を、e（＝{3, 4, 5}）に ＞対する U/D/A の積の形で表せるか？ は同じこと言ってるんだから証明するまでもなく正しいと思うんだけど。 255 名前：１３２人目の素数さん [2018/09/20(木) 18:16:48.04 ID:4MmxT2WD.net] あなたが買った4冊の本はすべてダメな本ですよ 256 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 18:18:12.82 ID:+3do99E+.net] >>247 表せるはずなのは解ってるんだけど、 「任意の原始ピタゴラス数から e に辿り着くルート求める 具体的なアルゴリズムを示せ」って言われると、けっこう頭を 抱えちゃうのよ。「そこが、この定理の泣き所だ」って、 細矢先生も『トポロジカル・インデックス』の中で ボヤいていらっしゃった。 で、これを連分数の形で表現してみたら、そのルートが 「いちいち U・D・Aの逆行列を掛けてみなくても、 機械的に求められる」というのに気がついたのよ。 ところが、連分数って、要するにユークリッドの互除法と 同じことを言ってるワケじゃん？（長方形から、正方形を 取り除いてく操作と等価なんだから） 「だったら、図形的に解けるんじゃねぇ？」と思って、 その連分数表示を眺めていたら、「２」が必ず出てくるのよ。 「要するに、長方形から二個の正方形を取り除く操作なんじゃねぇ？」 と思ったら、ホントにそうだった、って話。 で、この発端が、古代バビロニアの数学粘土板、プリンプトン 322 の 解読だったんで、「これは、メソポタミアの書記の神、ナブー様の お導きに違いない」と思っているのだよ。 257 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 18:26:44.39 ID:M6nVhqxS.net] >>249 具体的なルートを求めるアルゴリズムを考案せよ、という話でしたか。 それだったら、幅優先探索でU/D/Aの逆行列を1回ずつ掛け算すれば、 有限時間内にeに辿り着くのだから、eに辿り着いたルートが求めるルートですよね？ このやり方は指数時間かかるから現実的ではないけど、 単にアルゴリズムを考案せよっていう話なら、これで終わっちゃうと思うんだけど。 連分数の形で表現するというのが何を指しているのか分からないけど、 連分数だと効率よくルートが求まるのかな？ 258 名前：１３２人目の素数さん [2018/09/20(木) 18:27:27.15 ID:JiKnlZxT.net] >>249 もうジャーナルには掲載されてるのね？ 259 名前：１３２人目の素数さん [2018/09/20(木) 18:34:14.30 ID:4MmxT2WD.net] おまえらはまだお子ちゃまだな 数学を極めると証明なんかいらないんだよ 260 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 18:53:44.06 ID:+3do99E+.net] >>250 いちおう細矢治夫先生の名誉のために言っとくと、 「その細矢なんちゃらが数学の素人だから知らなかった だけじゃね？」みたいな話ではナイので念のため。 細矢先生は「パズル懇話会」という日本の数理パズルの マニアが集結してるサークルの会長さんで、講談社 ブルーバックスでも『三角形の七不思議 ― 単純だけど、 奥が深い』という本を出していて、一松 信先生にも 相談したらしい（一松先生も、「未解決なのが気ぃ悪い」 みたいなことを、どこかに書いていらっしゃった）ので、 『数学セミナー』の常連みたいな数学者の間でも、 わりあい評判の悪い「未解決問題」だったらしい。 で、この「原始ピタゴラス数が三分木で表せる」という 話は、オランダのバーニングが一九六三に、アメリカのホールが それぞれ独立に発見した（それとは独立に、岐阜東高校の亀井亀久男 先生が発見している）んだが、細矢先生は「バーニングとホールの 素晴らしい理論の大きな泣き所は、任意の二つの既約ピタゴラスの 三角形を選んだときに、その両者を結ぶ U・Ｄ・Ａの組合せが 存在するかの判定、またもし存在するとしてもその組合せを知る 簡単な手だてがないということである。」（『トポロジカル・インデックス』、 p.124）とボヤいていらっしゃる。 261 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 19:04:23.46 ID:+3do99E+.net] >>253 の つづき。 そのころ、おれらは「プリンプトン３２２」の解読に挑戦していたのだが、 パソコンを使って {n^2 - m^2, 2mn, m^2 + n^2} という 結城 浩さんの『数学ガール』に出てくる式（同書では、 「ピタゴラ・ジュースメーカー」という名前で出てくる）を使っても、 なんか知らんがプリンプトン３２２に出てくる 15 個が、ぴったり出て こないのよ。 で、「気ぃ悪いなぁ」と思ってたら、ユークリッドが違う形の 式（{(q^2 - p^2) / 2, pq, (p^2 + q^2) / 2}）という式を 使ってみたら、ばっちり一致しちゃった …… と思ったら、 なんかしら一個多くて 16 個出てきちゃったんよ。 でもって、「これは、上限は √３ じゃなくて φ じゃねぇの？」 と思ったら、「√2 にしろ φ にしろ、連分数で表せば循環する じゃん」ということになり、「じゃあ、バーニングとホールの 定理を、連分数使ったらなんとかなんねぇ？」と思ったわけ。 262 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 19:13:05.66 ID:+3do99E+.net] >>254 連投すまん m(_ _)m そしたら、q / p を連分数で表現したときに、なんかしら パターンがあるんだよね。それで、U・Ａ・Ｄの並びと 比べてみたら、そのパターンと一致するわけ。 で、「連分数と互除法は、要するに同じことを言ってるわけだから」 と思って図形で表してみたら、「互いに素である二つの奇数」を 生成するためには、「互いに素な二つの奇数の一方に、もう一方の 奇数×２を足す（まぁ、もう一つは引き算が出てくるんだけど）と、 結果的に『互いに素な奇数の組』ができる」つーことに気づいて、 「解けちゃった …」つーコトになったわけ。 263 名前：Mr.Moto mailto:nsb14421@nifty.com [2018/09/20(木) 19:22:22.03 ID:+3do99E+.net] >>251 つーか、どこに出せばいいのかわからんのよ (^_^!) 数学関係の学会とかにも属してないし、 バビロニア数学に至っては、「いったいどこに出せばいいんだ！」 みたいな感じなんで。「共立出版とか日本評論社とかに 直訴すりゃいいのか？」くらいしか思いつかん。 「ここなら受け入れてくれるんじゃないか？」的な 心当たりがあったら、上のメアドにメールを貰えると ありがたい。 なお、本職は日本語処理なんで、普段はプログラム技術板の 『自然言語処理スレ』でのたくっている。 264 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 19:25:55.19 ID:M6nVhqxS.net] >>253-255 単にアルゴリズムを求めよ(効率のよさは度外視)という話なら、 >>250で終わってしまう。 なるべく効率の良いアルゴリズムを求めよという話なら、 >>250では効率がよくないので、他の方法がほしい。 あなたは連分数で計算できると言った。 なら、連分数だとどのくらいの計算量で済むのか聞かせてほしい。 265 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 20:05:59.07 ID:02H5ai9E.net] ID:+3do99E+ ID:M6nVhqxS 激しくスレチです。適切なスレに移動してください。 雑談はここにかけ！【54】 https://rio2016.5ch.net/test/read.cgi/math/1531160239 266 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 20:15:17.03 ID:+3do99E+.net] >>257 >>246 に書いたリンク先のスレの、 ＞＞193 を見てくれ。逆行列を三回掛けて、 それで分岐する操作が、一度 {p, q} に落としたら、 引き算二回で絶対値を求める操作に落ちる。 >>258 > 激しくスレチです。適切なスレに移動してください。 だから >>246 で原始ピタゴラス数関係のスレに誘導したじゃん。 267 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 20:17:37.51 ID:M6nVhqxS.net] じゃ、 『ピタゴラス数をなんと　〜荒らされたので立て直しました〜[無断転載禁止]©2ch.net 』 （ttps://rio2016.5ch.net/test/read.cgi/math/1478040803/） こっちに移動します。 268 名前：１３２人目の素数さん mailto:sage [2018/09/20(木) 20:20:53.24 ID:02H5ai9E.net] >>259 ＞だから >>246 で原始ピタゴラス数関係のスレに誘導したじゃん。 あなたが>>249以降でも延々書き続けたから言っているんです。 あなたたは過去にも何度も同様の警告を無視し続けている確信犯です。 可及的速やかに移動してください。他の住人に迷惑です。 269 名前：１３２人目の素数さん [2018/09/21(金) 01:47:26.98 ID:mXTYpn9G.net] マリアヴァン解析の入門的(ごりごりじゃないやつ)な本を教えていただけないでしょうか。 270 名前：１３２人目の素数さん mailto:sage [2018/09/21(金) 02:51:02.06 ID:UQjkJYVq.net] >>262 マリアヴァン解析についての教科書は和書だと２冊しかないよ。 谷口説男著「確率解析」 重川一郎著「確率解析」 洋書なら初心者向けに優しく書かれた本として Øksendal, Bern著「Malliavin Calculus for Lévy Processes with Applications to Finance」 David Nualart著「The Malliavin Calculus and Related Topics」 がある。Øksendalがｵﾇﾇﾒかな。 271 名前：１３２人目の素数さん [2018/09/21(金) 06:19:45.44 ID:l5a+6CjP.net] 代数幾何学の初心者向けの本を教えてください 272 名前：１３２人目の素数さん mailto:sage [2018/09/21(金) 11:21:24.32 ID:52Wcplf2.net] >>264 予備知識によって変わると思いますよ。 273 名前：１３２人目の素数さん mailto:sage [2018/09/21(金) 12:00:59.31 ID:q5nfK591.net] >>261 ＿＿＿＿　 ＼□ □ 　　　　　　　/　/　　 ＿＿＿＿＿ 　　　　　　/　/　　　|＿＿＿＿＿| 　　　　　/　/ 　　　　　￣ 　　　　　, 　 ＿ ﾉ） 　　　　γ∞γ~　 ＼ 　　　　|　 /　从从) ）　　　　　　　　　　　　　　(⌒ ⌒ヽ 　　　　ヽ　| |　l　 l |〃 　　　　　　　　　（´⌒　　⌒　　⌒ヾ 　　　　 ｀从ﾊ~ ーノ）　　　　　　　　（'⌒　;　⌒　　　::⌒　　） 　　　　（￣￣￣￣┴-　　　　　　（´　　　　　）　　　　　:::　） 　　　　 | 　（　　　 *≡≡≡≡≡三（´⌒;:　　　　::⌒`）　:;　　） 　　　　/　 /　　　∧ 　　＼　　　　（⌒::　　　::　　　　　::⌒　） 　　　 /　/　　　/ 　＼　　　＼　　　（　　　　ゝ　　ヾ　丶　　ソ 　　 /　/　（￣）　　|　|＼ 　（￣）　　　ヽ　　ヾ　　ノノ　　ノ 　 /　（　ノ　 （　 　|　| 　＼ ﾉ　（ ⊂- ┘（　　　 ） └--┘ （　 　　） 　　　　 ＵＵＵＵ　　　　　　ＵＵＵＵ 274 名前：１３２人目の素数さん mailto:sage [2018/09/21(金) 12:22:20.15 ID:52Wcplf2.net] 真面目にきいてる人もいるんだからやめてよほんと頼むよ 275 名前：Mr.Moto mailto:sage [2018/09/21(金) 13:26:09.16 ID:wZU0ZxS/.net] >>267 すまん。申し訳ない。 おれも「真面目な質問だろうから真面目に答えただけ」 のつもりなんだが、 （不本意ではあるのだが）結果的に荒らしになって しまったことに関しては謝罪したい。 ゴメンナサイ m(_ _)m 276 名前：１３２人目の素数さん mailto:sage [2018/09/21(金) 18:16:07.09 ID:q5nfK591.net] >>267 おまえもまじめに答えろよ？ 277 名前：１３２人目の素数さん [2018/09/21(金) 18:19:47.92 ID:5EmBUoIr.net] >>263 ありがとうございます。 とりあえずオススメされたやつでいこうと思います。 278 名前：１３２人目の素数さん [2018/09/21(金) 19:22:58.55 ID:52Wcplf2.net] >>264 ・京大の4 回生講究用の文献案内 https://www.math.kyoto-u.ac.jp/~fujino/ag-ref.pdf ・実用家向きの代数幾何学文献案内(定評ある教科書・古典的書籍)，桂利行 https://www.jstage.jst.go.jp/article/bjsiam/14/3/14_KJ00003509979/_article/-char/ja/ 実用家向きって書いてるけど気にしなくていいです、むしろ入門の人に最適 >>268 いえいえ、絵の荒らし宛です >>269 答えました 279 名前：１３２人目の素数さん [2018/09/22(土) 13:17:00.83 ID:JkJqy3uR.net] 三宅敏恒著『線型代数学』を読んでいます。 A を実対称行列とし、 P^T * A * P = D P は直交行列 D は対角行列 とする。 このとき、 D のゼロでない対角成分の個数は、 A の階数に等しいという事実があります。 三宅さんは、 rank(A) = A の列ベクトルの1次独立な最大個数 = A の行ベクトルの1次独立な最大個数 という命題により、 A の階数は 0 でない固有値の個数だから、↑の事実が成り立つとしています。 明らかに説明不足です。 280 名前：１３２人目の素数さん [2018/09/22(土) 13:28:33.49 ID:JkJqy3uR.net] それ以前に演習問題に、 rank(A*B) ≦ rank(A) rank(A*B) ≦ rank(B) を示せという問題があります。 これらを使えば、 rank(D) = rank(P^T * A * P) = rank((P^T * A) * P) ≦ rank(P^T * A) ≦ rank(A) = rank(P * D * P^T) = rank((P * D) * P^T) ≦ rank(P * D) ≦ rank(D) より、 rank(A) = rank(D) が示せます。 rank(D) = D の列ベクトルの1次独立な最大個数 = D の行ベクトルの1次独立な最大個数 なので、明らかに、 rank(D) = D のゼロでない対角成分の個数 です。 よって、 rank(A) = rank(D) = D のゼロでない対角成分の個数 です。 281 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 13:29:01.29 ID:1cdyvjvW.net] >>264 普通の解析幾何学の本でいいんじゃね。 282 名前：１３２人目の素数さん [2018/09/22(土) 13:29:28.84 ID:JkJqy3uR.net] これが三宅さんの本で説明されていることのみを使った標準的な証明だと思います。 説明不足ですよね。 283 名前：１３２人目の素数さん [2018/09/22(土) 13:36:38.76 ID:JkJqy3uR.net] >>271 代数の本は、桂利行さんにではなく、斎藤毅さんに代数の本を書いてほしかったです。 284 名前：１３２人目の素数さん [2018/09/22(土) 13:43:18.78 ID:JkJqy3uR.net] 斎藤毅さんってちょっとおしゃれな証明が好きですよね。 本質的に他の本と異なる証明ではないことが多いですが。 285 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 14:47:44.32 ID:HnrBqlD1.net] >>277 「ちょっとおしゃれな証明」 「本質的に他の本と異なる証明ではない」 つーのは気持ちとしては理解できるが、 せめて「証明の切り口が斬新だ」くらいの物言いを してあげてくれないか。 「証明なんて、正しけりゃいいんだ」と言われれば、 「仰る通りです m(_ _)m」と頭を下げるしかないんだが。 286 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 16:31:19.74 ID:LB2C8ejJ.net] >>264 ＞代数幾何学の初心者向けの本 秋月康夫「輓近代数学の展望」ちくま学芸文庫 これの後半（輓近代数学の展望(続)）の最後の章が代数幾何学の入門。幾何の素養が全くないレベルなら H.S.M. コクセター 「幾何学入門」ちくま学芸文庫 小松醇郎「いろいろな幾何学」岩波新書 この辺から多様体の勉強に入れば良い。秋月ぐらいの知識を仕入れないと >>271 のリンク先の教科書（マンドード、ハーツホーン等）からは概要すら読みとれない。 287 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 16:41:08.32 ID:LB2C8ejJ.net] >>279 正誤 X：マンドード ◯：マンフォード 288 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 16:41:47.70 ID:HnrBqlD1.net] >>279 ちくま は いい本を出して いるので、オンライン書籍の契約は したいと思うし、オンデマンドで講読もしたいと思ってるんだけど、 読む側のフォーマットが安定していない（物理的には iPad Pro とか、 そのレベルなら悪くないと思うんだが、書式としては何がスタンダード なんだろうと思う）ので、「こうしたらいいんジャマイカ？」 「おれは こうやってる」というのは提案してくれると ありがたい。 289 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 18:16:43.20 ID:uIPh ] [ここ壊れてます] 290 名前：451Z.net mailto: キミのおマンフォードをクンマーしたい [] [ここ壊れてます] 291 名前：１３２人目の素数さん [2018/09/22(土) 18:37:36.89 ID:JkJqy3uR.net] >>279 輓近代数学の展望 って難しいですか？ 292 名前：１３２人目の素数さん [2018/09/22(土) 18:44:40.31 ID:JkJqy3uR.net] >>278 斎藤毅さんの本には、小綺麗な証明が載っていて好きなんですが、それが逆に小物感を出してしまっているようにも思います。 293 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 18:56:32.37 ID:FdZGplqf.net] >>283 >>284 輓近代数学の展望はタイトルの「輓近」の読み方が難しい、中身は結構面白い 斎藤毅さんは加藤門下の屈指の秀才を張っているので、そうなる。 いずれ代数の本も出ると思うが、また同じ感想を言うか 嵐に反応して申し訳ない 294 名前：学術 [2018/09/22(土) 19:18:07.11 ID:O8zrOAbJ.net] 数字新聞発行しようぜ。 295 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 19:20:22.28 ID:HnrBqlD1.net] >>284 うん。多少、「上から目線」感が癪に障るが、 「５ちゃんねる」的には許されると思う。 ご協力ありがとう。 296 名前：１３２人目の素数さん [2018/09/22(土) 20:02:16.43 ID:ztZsZpyH.net] おまえら、シンプレクティック幾何学を分かる奴いるか？ 297 名前：学術 [2018/09/22(土) 20:07:24.23 ID:O8zrOAbJ.net] まず誰も知らないだろう。ラグランジュとかなら有名だよなあ。 298 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 20:25:00.07 ID:sWU+acbG.net] 今日のまとめ 281 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 282 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 283 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 284 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 285 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 286 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 287 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 288 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 289 名前：あぼ〜ん[NG] 投稿日：あぼ〜ん 299 名前：１３２人目の素数さん [2018/09/22(土) 20:44:45.64 ID:ztZsZpyH.net] グロモフって、天才なんか？ 300 名前：１３２人目の素数さん mailto:sage [2018/09/22(土) 21:15:25.68 ID:1cdyvjvW.net] >>288 フォメンコ「微分幾何学とトポロジー」 これにシンプレクティック幾何の章がある。 >>264 フックス、タバチニコフの本格数学練習帳シリーズ 301 名前：１３２人目の素数さん [2018/09/23(日) 20:05:54.68 ID:tO6QhCMt.net] シンプレクティック幾何学って、難しいの？ 302 名前：１３２人目の素数さん [2018/09/23(日) 21:10:42.01 ID:cbvlWxTb.net] >>292 ふぉめんこって良書なの？ 読んだんなら簡単に感想聞かせてちょ 303 名前：１３２人目の素数さん [2018/09/23(日) 21:45:31.45 ID:xBCN748C.net] https://page.auctions.yahoo.co.jp/jp/auction/w259848205 ↑超準解析って何ですか？ 304 名前：１３２人目の素数さん mailto:sage [2018/09/23(日) 21:48:29.65 ID:uN5miIY2.net] >>264 >>279 ＞秋月康夫「輓近代数学の展望」ちくま学芸文庫 ＞H.S.M. コクセター 「幾何学入門」ちくま学芸文庫 ＞小松醇郎「いろいろな幾何学」岩波新書 Emil Artin "Geometric Algebra" (Dover Books on Mathematics) アルティンは小松の前半部（射影幾何学など）に加えてシンプレクティック幾何学を線形代数で説明している。 305 名前：１３２人目の素数さん mailto:sage [2018/09/23(日) 23:35:40.10 ID:wcIwLya6.net] >>294 わからん。 306 名前：１３２人目の素数さん [2018/09/23(日) 23:44:26.65 ID:xBCN748C.net] 竹山美宏著『線形代数』を読んでいます。 「 「重複度」は「ちょうふくど」と読む。 」 などと書かれています。読者を完全に馬鹿にしていますね。 307 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 00:55:28.87 ID:diMKTi1I.net] 少なくとも約一名読者に馬鹿が居ることが証明されたQED。 308 名前：１３２人目の素数さん [2018/09/24(月) 08:43:06.33 ID:zLBJ65xH.net] ソボレフ空間って、難しいの？ 309 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 09:46:59.75 ID:oaaydpo6.net] 少なくとも約一名このスレに馬鹿アスペの荒らしを知らない奴がいることが示された■ 310 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 10:17:19.40 ID:uSaLFfF9.net] >>298 いや、むしろ親切というものだろう。 ゲーム理論の大家で、「選択肢」より「選択枝」という 表記のほうが好きだから、こっちを使う、と宣言して それで通してる先生がいらっしゃった。 311 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 11:27:02.57 ID:tu7/AfLu.net] >>302 それと� 312 名前：ｱれは全然違う話だろ…… [] [ここ壊れてます] 313 名前：Mr.Moto mailto:sage [2018/09/24(月) 12:21:26.74 ID:uSaLFfF9.net] >>303 学生が、どの程度 馬鹿かという程度の差だろ。 「重複度」を「じゅうふくど」と読む馬鹿も いるわけだし、下手すると大学生でも 「正方形は長方形ではない」とか思っている奴も いるだろう。 　「正方形は平方四辺形である」 「正方形は台形である」「平方四辺形は台形である」 「菱形は台形である」「正方形は台形である」くらいは、 自然言語処理システムを実装したときに、できてくんないと 困るんだが。 なお、「行燈」は「あんどん」、「行宮」は「あんぐう」、 「行脚」は「あんぎゃ」等々は、自然言語処理だったら「常識」 （＝サポートしてなきゃ馬鹿にされる）なんだが、そのあたりを 自前でサポートしてる形態素解析屋が少ないっちゅーのが 腹立たしい。 314 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 12:33:06.41 ID:3euUfLPI.net] 昔にくらべて酷くレベル落ちたねここ 315 名前：Mb mailto:sage [2018/09/24(月) 12:34:00.50 ID:uSaLFfF9.net] >>303 あんた、企業勤めが身についてねぇな（笑） おれは信頼性関係の仕事をしていたんだが、 「冪乗」の「冪」が常用漢字に入ってなかったんで、 「べき乗」とか「巾乗」とか書いてあったんだが、 上司が「何を言ってんのかわからん」というので 「じゃあ、『力乗（りきじょう）』に統一しましょう」 と主張して、むりやり通した。取引先の米軍関係者と 通訳さんには、「パワーだよ！　パワーだ！」で通したら、 “I got it !” と、真顔で頷かれた。　 316 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 12:36:20.60 ID:uSaLFfF9.net] >>305 荒らしが増えて雰囲気が荒んでるだけだろ。 真面目にカキコしている人は、たまにいるぞ。 317 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 14:12:14.24 ID:dNvxq8gN.net] >>305 お前の書き込みはよくある爺のぼやきレベル 318 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 15:54:35.27 ID:uSaLFfF9.net] >>308 若くて勢いのある奴の著作が、もう出そろっているので、 基礎的な文献は、あんまりトンガってないのはしかたがないと 思う。優等生っぽいのと、落ちこぼさないような配慮に 分離しちゃうと思うのは理解できる。 だから別スレに移動したんだけどなぁ。 319 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 16:41:10.77 ID:3euUfLPI.net] >>307 たまにはいるがわけの分からん素人にわかが増えすぎた 院生はほとんどいないよな、昔と全然違うよ話にならん 320 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 17:30:21.62 ID:uSaLFfF9.net] そのあたりは、魅力に欠けているという部分が あると思う。 正直なところ、「このあたりは紹介しときたいぞ？」という 書籍はあるのだが、「前提として、このあたりは読んでおいて ほしい」みたいな話もあるので、「数学書の全体的な俯瞰図」 というものは示していただきたい。 このスレだって、79 まで来たんだから、それなりの責任というものが あってしかるべきだと思う。 321 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 17:54:00.59 ID:SHM7JnQY.net] ID:uSaLFfF9 何回連投してんだ。お前の罪の数を数えろ！ 322 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 18:14:25.73 ID:C448keyt.net] もう数学なんかやってもなんの意味もないってことが わかってしまったからね まともな人は誰も数学をやってないでしょう 323 名前：１３２人目の素数さん [2018/09/24(月) 18:19:19.42 ID:zLBJ65xH.net] ソボレフ空間、分かる人いるか？ 324 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 19:30:31.04 ID:uSaLFfF9.net] >>312 > 何回連投してんだ。お前の罪の数を数えろ！ たかだか有限個 325 名前：１３２人目の素数さん [2018/09/24(月) 19:35:15.29 ID:zLBJ65xH.net] アティアがリーマン予想を証明したらしいぞ 326 名前：１３２人目の素数さん mailto:sage [2018/09/24(月) 19:49:03.09 ID:uSaLFfF9.net] >>316 まじか。どこに出てる？ 激しく要出典キボンヌ 327 名前：１３２人目の素数さん [2018/09/24(月) 19:50:01.46 ID:f6jL7/gF.net] すうじあむ 328 名前：１３２人目の素数さん [2018/09/24(月) 19:52:05.17 ID:dXVz4E/ ] [ここ壊れてます] 329 名前：6.net mailto: A の固有値 α の重複度を m とする。 固有空間 W(α) の次元は m を超えない。 ↑この命題が三浦敏恒さんの本や伊吹山知義さんの本や竹山美宏さんの本に書いてないのですが、 なぜでしょうか？ [] [ここ壊れてます] 330 名前：１３２人目の素数さん [2018/09/24(月) 19:52:06.07 ID:zLBJ65xH.net] アティアは数オリは解けないらしいぞ 331 名前：１３２人目の素数さん [2018/09/24(月) 19:53:00.35 ID:dXVz4E/6.net] 訂正します： A の固有値 α の重複度を m とする。 固有空間 W(α) の次元は m を超えない。 ↑この命題が三宅敏恒さんの本や伊吹山知義さんの本や竹山美宏さんの本に書いてないのですが、 なぜでしょうか？

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef