- 1 名前：１３２人目の素数さん [2021/11/21(日) 08:00:44.31 ID:4j6fBnFe.net]
- 大学で習う数学に関する質問を扱うスレ
・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
wolframalpha.com
・数式の表記法は
mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー
関連スレ
分からない問題はここに書いてね478
rio2016.5ch.net/test/read.cgi/math/1511604229/
※前スレ
大学学部レベル質問スレ 16単位目
https://rio2016.5ch.net/test/read.cgi/math/1619727449/
- 555 名前：１３２人目の素数さん [2022/03/27(日) 08:32:46.96 ID:0wH8EOV6.net]
- >>537
一般に単射はダメ
>>535もこちらも⊗は⊗_Aね
- 556 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 08:51:41.45 ID:PbpFHhnO.net]
- この場合はええやろ
X⊗BにはB加群構造もそのB構造をA→Bを通して得られるA加群構造も両方入ってる
⊗Bを作用させたから意地でもmodBのobjectとして見なければならないとか言う決まりはない
- 557 名前：１３２人目の素数さん [2022/03/27(日) 08:58:02.49 ID:0wH8EOV6.net]
- >>540
>この場合はええやろ
ええというのは単射のこと？⊗のこと？
- 558 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 09:10:36.00 ID:5Lt49gRN.net]
- >>541
A構造もB構造も両方入ってるという事
- 559 名前：１３２人目の素数さん [2022/03/27(日) 09:38:26.33 ID:0wH8EOV6.net]
- >>542
言いたいのは⊗は⊗_Aではなく
左にA加群構造右にB加群構造が入るということ？
そうではなく⊗は⊗_Aであって
左のA加群構造はA->Bを通じた右のA加群構造と同じということ？
- 560 名前：１３２人目の素数さん [2022/03/27(日) 09:42:49.61 ID:0wH8EOV6.net]
- >X⊗BにはB加群構造もそのB構造をA→Bを通して得られるA加群構造も両方入ってる
と書いているから
>>543
>そうではなく⊗は⊗_Aであって
>左のA加群構造はA->Bを通じた右のA加群構造と同じということ？
これを意図しているような気がするけれど
それなら
>>540
>⊗Bを作用させたから意地でもmodBのobjectとして見なければならないとか言う決まりはない
modBがよく分からんがまずはB加群と見ていてその上でA->Bを通じてA加群と見ているわけね
- 561 名前：１３２人目の素数さん [2022/03/27(日) 09:46:32.13 ID:0wH8EOV6.net]
- なら
>>540のええやろがやっぱりよく分からないなあ
⊗は実は⊗_Aであるなら>>539の後半と同じ主張だし
ということはやはり単射の方を
この場合は単射になるという主張？
- 562 名前：１３２人目の素数さん [2022/03/27(日) 09:47:42.90 ID:0wH8EOV6.net]
- >>544
>modBがよく分からんが
ああこれはB加群の圏のことか
納得
- 563 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:18:36.48 ID:w6WygvYx.net]
- >>545
お前A→Bという環準同型がある時、B右加群の圏ModBがA右加群の圏ModAの部分圏になってる話し頭に入ってないやろ
これこそ別スレで話題になってたmonado(この場合はかつcominado)の例やろ？
お前多分自分の中で“俺様ルール、俺様定義”が吹き荒れててそういう“ナチュラんな感覚”の理解が阻害されてるよ
無駄に厳密すぎる
松坂君2号にならんように気付や
- 564 名前：１３２人目の素数さん [2022/03/27(日) 10:22:23.77 ID:0wH8EOV6.net]
- >>547
>お前A→Bという環準同型がある時、B右加群の圏ModBがA右加群の圏ModAの部分圏になってる話し頭に入ってないやろ
なんで？
>>543
>左のA加群構造はA->Bを通じた右のA加群構造と同じということ？
て書いてるけど？
- 565 名前：１３２人目の素数さん [2022/03/27(日) 10:23:33.94 ID:0wH8EOV6.net]
- >>547
>お前多分自分の中で“俺様ルール、俺様定義”が吹き荒れててそういう“ナチュラんな感覚”の理解が阻害されてるよ
うーん
よく分からないんだけどどこが「俺様」定義か指摘して
- 566 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:26:08.70 ID:w6WygvYx.net]
- >>548
解説はせん
そもそもModBと書いて右B加群の圏だと即わからない程度ではこの板で圏論絡みの話するのは10年早い、こんな記号何百本の論文や教科書で使われてるか数えきれんくらいやろ
まだそういうもんに十分な数当たれてない証拠
- 567 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:27:13.39 ID:w6WygvYx.net]
- 来たよ、自分のカスみたいな能力棚に上げて逆ギレするアホ
時間無駄にした
- 568 名前：１３２人目の素数さん [2022/03/27(日) 10:29:14.20 ID:0wH8EOV6.net]
- >>547
>無駄に厳密すぎる
これは次の
>松坂君
に掛かるの？それとも単独の文で俺のことをそう言っているの？
別に無駄に厳密とは思えないんだけどね
>>540
>この場合はええやろ
のなにが「ええ」なのか
その前の私の書いた内容には2つあるから
「単射がダメ」の方か「⊗は⊗_A」の方か
前者の方を言っているような気がしてきたが
そうですか？
- 569 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:31:41.75 ID:w6WygvYx.net]
- >>552
お前のその上から目線な物言いだよ
ちょっと会話したら自分の能力が相手より遥かに下回ってんのわからんか？
そういうのが実は一番大切なんだよ能無し君
- 570 名前：１３２人目の素数さん [2022/03/27(日) 10:32:02.30 ID:0wH8EOV6.net]
- >>550
うーんじゃあ君が
>>537
>環準同型 A→B 、M,N :A加群とする。
>A加群準同型M→Nが単射ならばM ⊗B→N ⊗BはA加群単射準同型でさらにB加群単射準同型である
>という認識はあってますでしょうか
>538 名前:１３２人目の素数さん 投稿日:2022/03/27(日) 08:29:28.81 ID:PbpFHhnO
>あってる
と言ったのは単にB加群でもあA->Bを通じてA加群でもあると言うところしか見て無くて
「単射」という最も重要なところをスルーしてたってことか
アホかな
- 571 名前：１３２人目の素数さん [2022/03/27(日) 10:33:17.58 ID:0wH8EOV6.net]
- >>553
うーん
単射見落とす奴に言われたくは無いなｗ
- 572 名前：１３２人目の素数さん [2022/03/27(日) 10:39:25.98 ID:/5cshgMa.net]
- >>553
>ちょっと会話したら自分の能力が相手より遥かに下回ってんのわからんか？
(sigh)
- 573 名前：１３２人目の素数さん [2022/03/27(日) 10:40:10.70 ID:/5cshgMa.net]
- あらID変わったか
俺は ID:0wH8EOV6 ね
- 574 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:46:10.99 ID:Wfjsc6Cy.net]
- >>555
何も見落としとらんは能無し
そもそもお前が“なんで”と聞いてきた話なんぞ超基本中の基本で聞く事自体恥ずかしい話
お前そもそも加群の理論も圏の理論も教科書一冊読み終えたか終わってないか、しかもレスの感じからするにそれすらまともにマスターできてないレベルやろ？
よくその程度のカスみたいな力で大口叩けるな？
- 575 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:49:24.83 ID:RE8h4HCp.net]
- 無駄に厳密すぎる、数学分かってない！
って人は、3.12の証明が分からなかったフィールズ賞受賞者が数学分かってないように見えるんだろうか
- 576 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:51:06.57 ID:RE8h4HCp.net]
- >>558
アラン・チューリングは微分の記号の意味が分からなくなって「なんで」とメモを残したが、
君の中ではチューリングは能無しらしいな
- 577 名前：１３２人目の素数さん [2022/03/27(日) 10:56:04.38 ID:/5cshgMa.net]
- >>558
>何も見落としとらんは能無し
じゃあ
>>537
>環準同型 A→B 、M,N :A加群とする。
>A加群準同型M→Nが単射ならばM ⊗B→N ⊗BはA加群単射準同型でさらにB加群単射準同型である
は
>>538
>あってる
のね？
- 578 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:57:56.15 ID:Wfjsc6Cy.net]
- >>560
まだ自分の無能さがわからんから？能無し君？
松坂君と一緒だよ
全然努力に裏打ちされてないカスみたいな数学力
それではるかに上の人間になんとか口げんかだけでも勝ちたいというカスみたいな人間性
悔しかったら口げんかで言い返すのではなく教科書相手の100倍読み込んで見返してやるとか言う気持ちにはお前が達する事はないやろ
そのカスみたいな数学力で松坂君レベルの自分より下見下しとけや能無し
- 579 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:58:37.74 ID:Wfjsc6Cy.net]
- >>561
あっとる言ってるやろ能無し
- 580 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 10:59:40.22 ID:Wfjsc6Cy.net]
- おっと
単射かwww
そこは間違っとるな
よかったな口げんか勝てて
アホ〜wwwww
能無しwwwwww
- 581 名前：１３２人目の素数さん [2022/03/27(日) 11:00:14.14 ID:/5cshgMa.net]
- >>558
>そもそもお前が“なんで”と聞いてきた話なんぞ超基本中の基本で聞く事自体恥ずかしい話
はぁ
「超基本中の基本」はすでに
>>543
>左のA加群構造はA->Bを通じた右のA加群構造と同じということ？
で書いているのだけど
- 582 名前：１３２人目の素数さん [2022/03/27(日) 11:01:30.17 ID:/5cshgMa.net]
- >>564
>単射かwww
>そこは間違っとるな
そこが最も重要で>>537の聞きたかったことだと思うよ
わざわざ「単射」と書いているからね
- 583 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 11:05:36.17 ID:RE8h4HCp.net]
- >>562
彼の一番改善をオススメしたい点は、同じレベルの教科書を読んでずっとマウントを取り、自分が誤ってたとしても反省がない点だよ
そういう意味では、自分は数学をやってるんだとマウントを取り、>>564で自分が誤っててもなお一言二言多い君がアナロジーに見える
- 584 名前：１３２人目の素数さん [2022/03/27(日) 11:06:08.83 ID:/5cshgMa.net]
- >>537
>環準同型 A→B 、M,N :A加群とする。
>A加群準同型M→Nが単射ならばM ⊗B→N ⊗BはA加群単射準同型でさらにB加群単射準同型である
喚く人も単射性は一般に成り立たないことは認識しているらしいし
テンソル積考えるときは注意すべき点
自分もついうっかり誤解することはある
で
ここの⊗は⊗_Aでいいのね？
- 585 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 11:07:50.31 ID:8LebE9yN.net]
- >>565
もうええ加減にしとけつて
お前自分で自分のしてきた勉強量一番わかってるやろ
お前の能力なんかせいぜいまさに教科書一冊やっとこさ読み終えた段階くらいやろ？
それが自分でわかっててなんで無理くりでも口げんかに勝ちたいんや？
口げんか勝てば満足なんか？
お前が今やらなあかん事はそんな事か？
ここで悔しい思いしたんなら誰にも負けんくらいまた教科書、論文に挑もうと、いつか誰からも一目置かれるくらいの話できるようになろうと思うことちゃうんか？
そういう人間的な部分が数学の勉強で1番大切なんがまだわかってないんか？
オレはそういう数学勉強する上で1番大切な“心の置き方”がわかってないやつは全部能無しとみなしてる、実際そういうやつは大した能力ない
- 586 名前：、しかもおそらく五年後み十年後も大したことないカスやろと思ってる
お前が今のままカスで終わるか、カスワールドから脱却できるかのちょうどオンラインくらいやろ
お前の自由や
好きに選べ [] - [ここ壊れてます]
- 587 名前：１３２人目の素数さん [2022/03/27(日) 11:16:42.46 ID:/5cshgMa.net]
- >>569
数学の話してね
- 588 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 11:19:58.58 ID:8LebE9yN.net]
- カスコース選びましたか
- 589 名前：１３２人目の素数さん [2022/03/27(日) 11:31:04.12 ID:/5cshgMa.net]
- >>571
ワタシマケマシタワ
- 590 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 11:46:18.67 ID:zLUsPs1I.net]
- 素直でよろしい
勉強頑張れよ
- 591 名前：１３２人目の素数さん [2022/03/27(日) 12:16:43.84 ID:EzGJ9atj.net]
- ぶっちゃけID:Wfjsc6Cyは松坂くんにも間違ったこと言ってたし数学力はお察しのレベルでしかない
もちろんミスすること自体は誰でもあるし謝って訂正すれば良いだけなんだけど、指摘しても何も反応なく逃げてたからその程度の人間でしかない
>>553
＞>>552
＞お前のその上から目線な物言いだよ
＞ちょっと会話したら自分の能力が相手より遥かに下回ってんのわからんか？
＞そういうのが実は一番大切なんだよ能無し君
これまさにお前のことじゃねえかｗｗｗｗｗｗｗｗｗｗｗｗ
- 592 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 12:19:08.66 ID:jMpjicVj.net]
- なんや、結局こういうオチか
そうやろうとは思ったけどね
さよなら〜
- 593 名前：１３２人目の素数さん [2022/03/27(日) 15:57:42.74 ID:Qhe293sP.net]
- 大学院で代数幾何学の分野で双有理幾何学を研究している研究室ってどの大学にありますか？
- 594 名前：１３２人目の素数さん [2022/03/27(日) 17:04:48.68 ID:kS/Ba3bU.net]
- 自分で調べろよ
- 595 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 17:36:44.81 ID:3Eawv5Rd.net]
- >>576
そういう「無駄話」はアスペの馬鹿質問よりも下らない。最低だよお前は。
- 596 名前：１３２人目の素数さん [2022/03/27(日) 18:44:54.92 ID:/5cshgMa.net]
- >>576
東大京大じゃないかな
- 597 名前：１３２人目の素数さん [2022/03/27(日) 18:45:11.77 ID:Mv9NyK1u.net]
- >>564
恥を知れ愚か者
- 598 名前：１３２人目の素数さん [2022/03/27(日) 18:48:11.81 ID:Mv9NyK1u.net]
- >>576
京都大学 藤野修教授
https://www.math.kyoto-u.ac.jp/ja/people/profile/fujino
- 599 名前：１３２人目の素数さん [2022/03/27(日) 19:20:45.77 ID:EzGJ9atj.net]
- >>575
おう二度と来んなよ
- 600 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 19:41:42.83 ID:ptsTk3i6.net]
- >>582
なんや能無し
能無しワールドの方にしましたか
まぁあと2、3年せいぜいしょうもない話チラチラ勉強したふりだけしとけやカス
就職頑張れよ
- 601 名前：１３２人目の素数さん [2022/03/27(日) 19:53:11.78 ID:pc0w8tcm.net]
- 山崎圭次郎著『環と加群』ってどうですか？
松坂和夫著『代数系入門』ですが、加群のところから説明が粗雑すぎます。
体のところは簡単そうですが、なぜ、加群のところだけあんな説明になるのか不思議です。
- 602 名前：１３２人目の素数さん [2022/03/27(日) 19:55:25.55 ID:EzGJ9atj.net]
- >>583
あ、もう研究の世界に入ってますんでお構いなく
それより>>575でさよならしたんじゃねーのか？もう来なくていいぞ愚か者
- 603 名前：１３２人目の素数さん [2022/03/27(日) 19:55:53.53 ID:pc0w8tcm.net]
- 環って、なんかPIDくらいの制約を課しても、はっきりとは見えてこない感じがしませんか？
- 604 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 19:55:58.35 ID:ptsTk3i6.net]
- 何読んでもおんなじ
そソロの置き方ワーストワンのお前が何読んでも身につく事はないわ
- 605 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 19:56:25.90 ID:ptsTk3i6.net]
- >>585
うそこけーwwwwwww
- 606 名前：１３２人目の素数さん [2022/03/27(日) 20:00:18.12 ID:EzGJ9atj.net]
- >>588
まあ松坂くん2号の愚か者に信じて貰わなくても結構
そこまで高尚な分野でもないしね
で？さよならしたんじゃないの？
さっさと巣に帰れば？？？
- 607 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 20:00:46.98 ID:ptsTk3i6.net]
- >>585
なんや、全然意味わかってなかったんやな
さよならっていうのはお前が自分のクソみたいなプライド守ること優先してコッチの世界に入ってくるのをやめたみたいやからそっちの世界へ旅立っていくアホ〜をお見送りしたんだよ
アホ〜wwwwwwww
さよなら〜wwwwwwwww
- 608 名前：１３２人目の素数さん [2022/03/27(日) 20:01:20.25 ID:pc0w8tcm.net]
- 有限生成のPID上の加群の構造定理って他の代数入門のトピックと比べて難しいように思います。
- 609 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 20:09:46.71 ID:pc0w8tcm.net]
- 佐武一郎著『リー群の話』に「PID上の加群」という章があるんですね。
それを読んでみようと思います。
- 610 名前：１３２人目の素数さん [2022/03/27(日) 21:16:47.31 ID:pc0w8tcm.net]
- 佐武一郎さんはなぜ、基底のことを「底」と言うのでしょうか？
- 611 名前：１３２人目の素数さん [2022/03/27(日) 21:20:00.75 ID:UcyPE5IB.net]
- 尼寺はダサい
- 612 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 21:22:09.46 ID:3Eawv5Rd.net]
- >>593
質問が見つからなくて無理やり質問を作り出す。
- 613 名前：１３２人目の素数さん [2022/03/27(日) 21:23:45.93 ID:fC0VHrfW.net]
- >>586
そりゃ
体よりはね
でも群よりずっと筋が良さげ
- 614 名前：１３２人目の素数さん [2022/03/27(日) 21:24:45.39 ID:fC0VHrfW.net]
- ありゃまたID変わった
俺は ID:/5cshgMa
- 615 名前：１３２人目の素数さん [2022/03/27(日) 22:21:43.80 ID:fC0VHrfW.net]
- というよりか環が一番面白いのではないかな
- 616 名前：１３２人目の素数さん [2022/03/27(日) 23:33:19.97 ID:pc0w8tcm.net]
- 佐武一郎著『リー群の話』
B 「ところで標数2の数学は実際何かの役に立つのですか？面白いだけでただの“遊び”ではないのですか？」
A 「うーむ、その質問には二通りの答がある。もし日常的な意味で役に立つかというのなら、答は多分Noだろう。…」
などと書いています。
符号理論とか応用的な数学を全く知らないんですね。
- 617 名前：１３２人目の素数さん mailto:sage [2022/03/27(日) 23:36:20.33 ID:p6VT+KGK.net]
- 数学のすべての応用先を知ることなんて無理だろ
伊藤清だって確率微分方程式の一番の応用先であるファイナンスなんて全く知らなかったんだから
- 618 名前：１３２人目の素数さん [2022/03/27(日) 23:38:18.87 ID:pc0w8tcm.net]
- その後の会話で、Aは、数学のなかでは標数pが重要ということを言っているので、標数2だけではなく、標数pの数学は日常的な意味では役に立たない
と佐武一郎さんは思っていたということになりますね。
符号理論や暗号理論について全く知らなかったとしたら、興味の対象があまりにも狭いと言わざるを得ないですよね。
- 619 名前：１３２人目の素数さん [2022/03/27(日) 23:46:07.48 ID:FWPitD7Q.net]
- なんかこの松坂くん？って理科大夜間の知り合いに似てるんだよな……
10年くらい前だし今は数学続けてないだろうけど
- 620 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 00:12:38.86 ID:JCSPThxz.net]
- >>601
今日は勉強しなかったのでネタが無いんだね
- 621 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 07:09:06.16 ID:vnuGdzmY.net]
- >>602
いわゆるレスこじきなんじゃないかなぁ
数学の話以外の彼の感想はスルーでいいと思うけどね
- 622 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 11:29:45.96 ID:HBK5fpnq.net]
- >>588
5、60代かな〜
- 623 名前：１３２人目の素数さん [2022/03/28(月) 13:33:25.80 ID:rM1ipctH.net]
- 佐武一郎著『リー群の話』
Hom(V, W^*) と Hom(W×V, K) がカノニカルに同形であるということを説明しています。
佐武さんって、「カノニカルに同形」の話が好きですね。
- 624 名前：１３２人目の素数さん [2022/03/28(月) 13:34:27.98 ID:rM1ipctH.net]
- 要するに基底を使わずに定義された同形写像はカノニカルに同形ということですか？
でも、基底を使って定義された同型写像でもカノニカルに同形になることはあるんですか？
- 625 名前：１３２人目の素数さん [2022/03/28(月) 13:38:28.88 ID:rM1ipctH.net]
- 佐武一郎著『リー群の話』
A 「なるほど、それは少し深刻だな。それじゃまずどんなマトリックスを習ったかいってごらん。」
B 「えーと、対角行列、三角行列、巾零行列、巾等行列。それに対称行列、交代行列、ヘルメット行列、…」
A 「おいおい、物騒なことをいっては困るよ。それはエルミット行列の間違いじゃないのか。」
ヘルメットが物騒というのは、学生運動かなんかを連想させるからですか？
- 626 名前：１３２人目の素数さん [2022/03/28(月) 13:40:11.40 ID:rM1ipctH.net]
- B 「まるで他人事のようですね。一体ヒョウスウ2のタイというのは何ですか？魚の国の選挙でもあったのですか？」
- 627 名前：１３２人目の素数さん [2022/03/28(月) 13:47:11.48 ID:rM1ipctH.net]
- Hom(V, W) の次元を求めるのに、 M_{m, n
- 628 名前：}(K) の次元が m × n だからそれと同形な Hom(V, W) の次元も m × n であると求める人が
いますが、なぜこんなことをするのかが分かりません。
別に、直接 Hom(V, W) の基底を求めて、次元が m × n であると結論すればいいだけの話です。
M_{m, n}(K) の次元が m × n であることの明らかさと Hom(V, W) の次元が m × n であることの明らかさは同じだと思います。 [] - [ここ壊れてます]
- 629 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 13:49:30.61 ID:rM1ipctH.net]
- A と同形な代数系 B で議論したほうが分かりやすいということは本当にあるのでしょうか？同形なのだからわかりやすさは同じはずです。
- 630 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 13:52:28.45 ID:vnuGdzmY.net]
- >>610
分からないんですね
- 631 名前：１３２人目の素数さん [2022/03/28(月) 13:55:53.64 ID:rM1ipctH.net]
- 佐武一郎著『リー群の話』
A 「今に微分幾何や物理をやればいやでもそういう量に沢山お目にかかるようになるよ。それに一般の場合、テンソルが存在することは
数学的にもちゃんと証明されているんだ。」
B 「それでは一体テンソルはどこにあるのですか？」（机の下をのぞきこむ。）
A 「おいおい、犬や猫じゃあるまいし、テンソルはそんな所にかくれていやしないよ。」
- 632 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 13:59:20.05 ID:vnuGdzmY.net]
- >>611
分かりやすい基底を取るのが有効な例は
フィボナッチ数列の漸化式をみたす数列の全体のなす線型空間で一般項を求めるみたいなのとかはどう？
基底をうまく取らないと無理じゃないかしら
- 633 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 14:00:45.64 ID:vnuGdzmY.net]
- >>607
基底で定義した後
普遍的なことを示せることもあるよね
- 634 名前：１３２人目の素数さん [2022/03/28(月) 18:34:25.55 ID:Mt47r6e7.net]
- 数学初学者のものです。
群論の教科書の最初の方に出てくる例題すら難しいのですが、
習いはじめの頃は覚えればいいのでしょうか？
それとも自力で解けなければその教科書はまだ早いということでしょうか？
微積線形あたりは躓かず進められたのですが、代数学に入って戸惑ってます。
- 635 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 18:57:47.30 ID:JCSPThxz.net]
- >>616
教科書は何を使ってんの？
- 636 名前：１３２人目の素数さん [2022/03/28(月) 19:13:39.06 ID:XVIauYBm.net]
- >>616
>群論の教科書の最初の方に出てくる例題
書いて
- 637 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 19:20:09.47 ID:JCSPThxz.net]
- >>616
微積と線型で躓かず、代数に入ってから急に躓くとか嘘だな。
- 638 名前：１３２人目の素数さん [2022/03/28(月) 19:21:40.22 ID:XVIauYBm.net]
- >>619
そっかな
あると思うが
- 639 名前：１３２人目の素数さん [2022/03/28(月) 19:22:38.43 ID:XVIauYBm.net]
- あらまたID変わってた
俺は ID:vnuGdzmY ね
- 640 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 19:22:50.27 ID:JCSPThxz.net]
- >>620
無い。まあ見てろよ。
- 641 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 19:24:40.57 ID:JCSPThxz.net]
- >>616
習いはじめの頃は覚えればいいのでしょうか？それとも自力で解けなければその教科書はまだ早いということでしょうか？
こんな疑問はおかしい。微積線型はどのようにやってきたのか。
- 642 名前：１３２人目の素数さん [2022/03/28(月) 19:37:06.26 ID:GGn1Nobk.net]
- 少なくとも大学学部レベルの質問じゃないよね
- 643 名前：616 mailto:sage [2022/03/28(月) 20:07:11.97 ID:Mt47r6e7.net]
- >>617
代数学１群論入門（雪江明彦）です。
>>618
群Gの部分集合HがGの部分群になるための必要十分条件は,次の３つの条件が満たされることである.
(1) 1_G(下添字)∈H .
(2) x, y ∈ H なら、xy ∈ H.
(3) x ∈ H なら、x^-1 ∈ H.
>>619, >>620
微積と線型は今の所違和感なく覚えられました（今後死ぬかもですが）。
>>624
学部下級ということで許してください（汗）
- 644 名前：616 mailto:sage [2022/03/28(月) 20:18:13.46 ID:Mt47r6e7.net]
- >>623
微積線型は、「説明を見る→問題を解く→できてないところを復習」で勉強したのですが、
代数学は計算問題ではなくて、なかなか抽象的・論理的に証明できずにいます。
- 645 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 20:30:41.95 ID:JCSPThxz.net]
- >>626
代数学は計算問題ではなくて、なかなか抽象的・論理的に証明できずにいます。
来た。微積線型の教科書は何？
証明は完全にとばしたのか。
幼児的なままのいい加減な勉強で終わらせた後に「躓きが無い」と感じられるテキストなんてあるのか。
- 646 名前：１３２人目の素数さん mailto:sage [2022/03/28(月) 20:37:11.87 ID:JCSPThxz.net]
- >>
- 647 名前：625
微積線型の勉強がいい加減でもそのテキスト(雪江)を使って代数の勉強は可能。もちろん人にもよるけど。
証明や例題の解答で省略されている所や分からない所はこのスレとかで質問すれば行ける。底辺大学っぽいけど。 []- [ここ壊れてます]
- 648 名前：１３２人目の素数さん [2022/03/28(月) 21:39:21.91 ID:XVIauYBm.net]
- >>625
>群Gの部分集合HがGの部分群になるための必要十分条件は,次の３つの条件が満たされることである.
その本で部分群であることの定義である条件がいくつか提示されていると思うけど
それも書いて
- 649 名前：616 mailto:sage [2022/03/28(月) 23:44:17.09 ID:Mt47r6e7.net]
- >>627
大学の講義だけで教科書は使ってないです。重積分解くとか逆行列求めるとかその程度です。
聞いてると２年３年で代数学的になりそうですね。
そして数学的な証明をまず勉強する必要がありそうですね。
>>628
大学は宮廷なので底辺なのはどちらかというと私ですね。
>>629
Gを群, H ⊂ Gを部分集合とする. HがGの演算によって群になるとき, HをGの部分群という.
一瞬、定義から組み立てられるのかなとも思ったのですが、即書けるほど甘くないですね。
証明の部分部分は追えるのですが、書けといわれるとどう構築するかが解らないです。
集合と論理あたりを先に勉強したほうが良さそうですね。
- 650 名前：１３２人目の素数さん [2022/03/29(火) 00:49:44.24 ID:1XoDXVdk.net]
- >>630
>Gを群, H ⊂ Gを部分集合とする. HがGの演算によって群になるとき, HをGの部分群という.
なら群であるための定義はどう提示されているの？
- 651 名前：１３２人目の素数さん mailto:sage [2022/03/29(火) 06:50:43.37 ID:385K01/b.net]
- 無駄にスレを消費しないで下さい。
- 652 名前：１３２人目の素数さん [2022/03/29(火) 12:18:33.96 ID:1XoDXVdk.net]
- >>632
じゃ
バッチリ答えてあげなよ
- 653 名前：１３２人目の素数さん [2022/03/29(火) 13:40:16.48 ID:uTNYbRGD.net]
- Michael Atiyah他著『Introduction to Commutative Algebra』を持っているのですが、松坂和夫さんの本を読むより分かりやすいですか？
- 654 名前：１３２人目の素数さん [2022/03/29(火) 13:47:02.96 ID:uTNYbRGD.net]
- なんか代数学への入門書で勉強するより、群論なら群論、環論なら環論の本を読んだほうがいいのではないかと思えてきたのですが。
- 655 名前：１３２人目の素数さん mailto:sage [2022/03/29(火) 13:50:01.98 ID:Ot/p6OTh.net]
- >>634
前者を読め。
お前が読めるとは思えないので途中で挫折したら「問題が解けないし僕には無理でした」とちゃんと報告すること。著者のせいにばかりするのはそろそろやめろ。
|
 |
