[過去ﾛｸﾞ] 数学の本 第98巻 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
652: １３２人目の素数さん [sage] 2024/07/17(水) 00:17:20.99 ID:0Dui9FKY(1) AAS
deeplだと
簡単のため
って訳されるね
653: １３２人目の素数さん [] 2024/07/17(水) 06:01:40.10 ID:GT5r4mTK(1/3) AAS
簡単のための英語
英訳・英語
in short；to simplify this
654: １３２人目の素数さん [] 2024/07/17(水) 09:53:35.21 ID:GT5r4mTK(2/3) AAS
校閲の出来不出来が売り上げに直結するのが定期刊行誌
655(1): １３２人目の素数さん [] 2024/07/17(水) 11:16:12.64 ID:ZX0pBhN8(1/12) AAS
佐武一郎著『線型代数学』
別証明や別解を書くことがよくあります。
著者の理解の深さが表れていますね。
656(2): １３２人目の素数さん [] 2024/07/17(水) 11:22:57.79 ID:ZX0pBhN8(2/12) AAS
齋藤正彦著『線型代数入門』と比較されることがありますが、齋藤さんの本は、よくある普通の本ですよね。
657: １３２人目の素数さん [] 2024/07/17(水) 11:50:58.48 ID:XCjEJv6c(1/2) AAS
斎藤本ができた頃にあった「よくある普通の本」は例えば何？
658: １３２人目の素数さん [sage] 2024/07/17(水) 11:56:44.30 ID:DSeiGU9R(1) AAS
なんの能もない「アスペ」が斎藤先生の本を貶して喜ぶｗ
659(1): １３２人目の素数さん [sage] 2024/07/17(水) 12:04:53.34 ID:DIwyhRTF(1/4) AAS
>>656
第5章§6の回転行列A(6)の不変ベクトルf(7)(p.168)の導出が分からんので教えてくれ
660(1): １３２人目の素数さん [] 2024/07/17(水) 12:23:12.58 ID:471szXlT(1) AAS
>>655-656
佐武の本は、行列式が前に出てくる点で昔のスタイルの本
齋藤正彦の本は、基本操作による消去法が前に出てくる点で（当時は）新しかった
そのスタイルの端緒はブルバキの数学原論じゃないかと思ってるけど
661(1): １３２人目の素数さん [] 2024/07/17(水) 12:39:28.89 ID:ZX0pBhN8(3/12) AAS
>>660
例えば、クローシュの代数学教程(1959)に基本変形が書いてあります。
そして、階数の計算に使ったりしています。
662(1): １３２人目の素数さん [] 2024/07/17(水) 12:39:40.82 ID:WoZfxOp1(1) AAS
昔の本の良いところだけを残してアップデートした 現時点でこれが最良と言える本はない？
663: １３２人目の素数さん [] 2024/07/17(水) 12:47:11.62 ID:keCrpLHM(1) AAS
>>661
基本変形行列の初出が誰のどの本なのかは興味がある
664(1): １３２人目の素数さん [] 2024/07/17(水) 12:49:09.58 ID:ZX0pBhN8(4/12) AAS
>>662
佐武一郎著『線型代数学』には基本変形は書いてありませんが、昔の本の良いところは残されているでしょうし、何よりテンソル代数まで書いてあります。
そして、別証や別解が書いてあったり、内容が豊富で説明が分かりやすいにもかかわらず、ページ数が少ないです。
これが最良ではないでしょうか？
あとは昔の本の良いところや悪いところはあまりないと思いますが、Sheldon Axler著『Linear Algebra Done Right Fourth Edition』は良い本です。
665(2): １３２人目の素数さん [] 2024/07/17(水) 12:55:03.06 ID:XCjEJv6c(2/2) AAS
行列のランクが頭に入りにくかった理由が
思い出せない
666(1): １３２人目の素数さん [sage] 2024/07/17(水) 13:01:34.97 ID:SACNuyQQ(1/2) AAS
>>664
基本変形が書いてないからダメ、というつもりはない
ちなみにブルバキ数学原論では行列式はテンソル代数，外積代数，対称代数のところでやっと出てくる
667: １３２人目の素数さん [] 2024/07/17(水) 13:02:33.64 ID:SACNuyQQ(2/2) AAS
>>665
ランクの定義は？
668(1): １３２人目の素数さん [] 2024/07/17(水) 13:18:34.39 ID:ZX0pBhN8(5/12) AAS
>>665
齋藤さんの本での行列のランクの定義のことでしたら、あれは最悪の定義ですので、分かりにくいはずです。
行列を基本変形して対角線上に 1 のみが並ぶようにして、その 1 の個数を階数と定義しています。
その後、階数の同値な定義は紹介されますが、最初の定義が最悪です。
これでは階数がなんで重要かが分かりにくいはずです。
669: １３２人目の素数さん [] 2024/07/17(水) 13:25:18.32 ID:WxGB5Htb(1) AAS
行列を線形写像と思った時の像の次元がそうだと気付いた時に
やっとランクが頭に収まった
670(1): １３２人目の素数さん [] 2024/07/17(水) 13:30:54.33 ID:ZX0pBhN8(6/12) AAS
行列の行空間（列空間）の次元というのが一番分かりやすいと思います。
671(1): １３２人目の素数さん [sage] 2024/07/17(水) 13:35:20.52 ID:DIwyhRTF(2/4) AAS
線形代数入門は連続群論入門の為に書いた
672: １３２人目の素数さん [sage] 2024/07/17(水) 13:37:26.14 ID:9JTXPK6/(1/9) AAS
>>668
＞行列を基本変形して対角線上に 1 のみが並ぶようにして、その 1 の個数を階数と定義しています。
それ、ブルバキ数学原論で、X’=PXQ（P,Qは可逆行列）のとき、XとX’は同値、という定義の後に
体上の有限次元線形空間の間の階数ｒの線形写像で、それぞれ適当な基底をとると
１がｒ個だけ対角に並んだ行列と同値になるとかいう定理が出てくるんで
それを逆手にとって、階数の定義にしたと思われる
ちなみにブルバキ数学原論では行列の列ベクトルが張る線形空間の次元を階数と定義している
673: １３２人目の素数さん [sage] 2024/07/17(水) 13:39:21.49 ID:9JTXPK6/(2/9) AAS
>>671
>行列の行空間（列空間）の次元
それ、どういう定義？
674(1): １３２人目の素数さん [] 2024/07/17(水) 13:42:57.95 ID:9JTXPK6/(3/9) AAS
>>670
ああ、行ベクトル（列ベクトル）が張る空間の次元ってことね
でもどうやってそれを求めるかといえば、結局階段化するんで
そう考えると齋藤の本の定義が最悪どころか最良じゃん、という人もいそうだな
675: １３２人目の素数さん [] 2024/07/17(水) 13:43:59.07 ID:ZX0pBhN8(7/12) AAS
行ベクトル（列ベクトル）の生成する部分空間の次元のことです。
676: １３２人目の素数さん [] 2024/07/17(水) 13:48:35.81 ID:9JTXPK6/(4/9) AAS
誰だか忘れたけど、数学者の分類で目型と手型があるっていうのがあって
目型の人は「行ベクトル（列ベクトル）が張る空間の次元」とかいう幾何的な定義を好むと思うけど
手型の人は「基本変形して対角線上に 1 のみが並ぶ形にしたときの 1 の個数」とかいう標準形への変換結果みたいた定義を好みそう
でも線形代数に慣れまくると
「そんなん最初はどっちが分かりやすいとかあるかもしれんけど
わかってしまえば物事に対する言い表し方の違いなんだからどうでもええやん」
と思ってしまう
677(1): １３２人目の素数さん [] 2024/07/17(水) 13:50:52.61 ID:ZX0pBhN8(8/12) AAS
>>674
手計算で階数を計算するとすると基本変形で求める人が多いと思いますが、効率的に計算できることって重要ですか？
数学ではそういうのは重視しないのではないでしょうか？
678: １３２人目の素数さん [sage] 2024/07/17(水) 13:50:57.08 ID:9JTXPK6/(5/9) AAS
ただ、行列式を使ったランクの定義もあって、それは確かにそうなんだけど
なんかそこまでやるんなら、階段化使ったほうがええやん、というのはある
別に行列式が嫌いなわけではないが、最初から行列式振り回されたら
なんか分からんと思う
679: １３２人目の素数さん [] 2024/07/17(水) 13:54:53.18 ID:9JTXPK6/(6/9) AAS
>>677
>効率的に計算できることって重要ですか？
>数学ではそういうのは重視しないのではないでしょうか？
切り捨てたものの中に、”金”が入ってることってよくあるよね
まあ、個人的には計算好きだし、うまく整理できると見通しがいいこともあるので
それはそれでありじゃね？と思ったりする
680: １３２人目の素数さん [] 2024/07/17(水) 13:58:07.98 ID:9JTXPK6/(7/9) AAS
数学でも他のことでもそうだけど
ゴミだと思ってたものの中にお宝があったりする
681(1): １３２人目の素数さん [] 2024/07/17(水) 13:59:03.02 ID:ZX0pBhN8(9/12) AAS
佐武一郎さんの本の線形空間の章の最初の問題が、いくつか与えられた数ベクトルの列から一次独立な極大な部分列を求めよという問題だったと思います。
l = 空列 とする。
a_1 は一次独立か？
一次独立でなければ部分列 l に a_1 を入れない。
一次独立であれば部分列 l の最後尾に a_1 を入れる。
l, a_2 は一次独立か？
一次独立でなければ部分列 l に a_2 を入れない。
一次独立であれば部分列 l の最後尾に a_2 を入れる。
…
みたいな素朴なやり方を想定した問題です。
階数を求めるのもこれで求めようと思えば求められます。
682: １３２人目の素数さん [] 2024/07/17(水) 14:01:52.62 ID:9JTXPK6/(8/9) AAS
>>681 その場合、一次独立かどうか、どうやって判定する？
基本的な質問で恐縮だけど、一応
683: １３２人目の素数さん [] 2024/07/17(水) 14:08:29.15 ID:9JTXPK6/(9/9) AAS
ベクトルを空間の中の矢印として「見る」のか、数の並びとして「扱う」のかで発想が異なる
「見る」人は一時独立なんて見ればわかるやん、で終わっちゃう
「扱う」人はどういう手続きで判定するのかが大事やん、と言い出す
684: １３２人目の素数さん [sage] 2024/07/17(水) 14:47:50.38 ID:DIwyhRTF(3/4) AAS
線形代数で盛り上がる
685(1): １３２人目の素数さん [] 2024/07/17(水) 14:52:33.35 ID:ZX0pBhN8(10/12) AAS
a_1 = 0 ならば a_1 は一次従属。
a_1 ≠ 0 ならば a_1 は一次独立。
a_1 の成分のうちゼロでない成分が存在する。
第 i 成分がゼロでないとする。
a_{i, 1} * x_1 = a_{i, 2} を解く。
a_1 * x_1 = a_2 ならば a_1, a_2 は一次従属。
a_1 * x_1 ≠ a_2 ならば a_1, a_2 は一次独立。
a_{i_1}, …, a_{i_k} が一次独立であるとする。
行列 (a_{i_1}, …, a_{i_k}) の行から k 行選んだ結果できる k 次の部分正方行列 A' は正則行列。
ベクトル a_{i_{k+1}} の行から↑と全く同じように k 行選んだ結果できる k 次元の部分ベクトルを a' とする。
A' * x = a’ を解く。
x = (x_1, …, x_k) とする。
a_{i_1}*x_1 + … + a_{i_k}*x_k = a_{i_{k+1}} ならば、 a_{i_1}, …, a_{i_{k+1}} は一次従属。
a_{i_1}*x_1 + … + a_{i_k}*x_k ≠ a_{i_{k+1}} ならば、 a_{i_1}, …, a_{i_{k+1}} は一次独立。
とやればいいと思います。
686: １３２人目の素数さん [] 2024/07/17(水) 14:55:27.06 ID:ZX0pBhN8(11/12) AAS
>>685
訂正します：
☓
行列 (a_{i_1}, …, a_{i_k}) の行から k 行選んだ結果できる k 次の部分正方行列 A' は正則行列。
◯
行列 (a_{i_1}, …, a_{i_k}) の行から適当に k 行選べばその結果 k 次の部分正方正則行列 A' が得られる。
687: １３２人目の素数さん [sage] 2024/07/17(水) 14:59:29.61 ID:2myTo7gm(1) AAS
キチガイの日記
いらね
688: １３２人目の素数さん [] 2024/07/17(水) 14:59:52.17 ID:ZX0pBhN8(12/12) AAS
訂正します：
a_1 = 0 ならば a_1 は一次従属。
a_1 ≠ 0 ならば a_1 は一次独立。
a_1 の成分のうちゼロでない成分が存在する。
第 i 成分がゼロでないとする。
a_{i, 1} * x_1 = a_{i, 2} を解く。
a_1 * x_1 = a_2 ならば a_1, a_2 は一次従属。
a_1 * x_1 ≠ a_2 ならば a_1, a_2 は一次独立。
a_{i_1}, …, a_{i_k} が一次独立であるとする。
行列 (a_{i_1}, …, a_{i_k}) の行から適当に k 行選べばその結果 k 次の部分正方正則行列 A' が得られる。
ベクトル a_j の行から↑と全く同じように k 行選んだ結果できる k 次元の部分ベクトルを a' とする。
A' * x = a’ を解く。
x = (x_1, …, x_k) とする。
a_{i_1}*x_1 + … + a_{i_k}*x_k = a_j ならば、 a_{i_1}, …, a_{i_k}, a_j は一次従属。
a_{i_1}*x_1 + … + a_{i_k}*x_k ≠ a_j ならば、 a_{i_1}, …, a_{i_k}, a_j は一次独立。
とやればいいと思います。
689(1): １３２人目の素数さん [] 2024/07/17(水) 15:10:05.05 ID:sdHEwUp2(1) AAS
こういうやり方もできる
１．第一成分が０でないベクトルを１つ選ぶ
（どれも０だったら、第二成分でやる
少なくとも０でないものがある成分までこれをやる）
２．選んだベクトルの定数倍を足すことで他のベクトルの第一成分を０にする
３．選ばれたベクトル以外のベクトルに対して第二成分で１．と２．を繰り返し、ベクトルがなくなったら終わり
これで０でないベクトルの個数を数えればいい
っていうか、それ消去法じゃんって、そうですけど何か？
690: １３２人目の素数さん [] 2024/07/17(水) 16:49:53.23 ID:DIwyhRTF(4/4) AAS
>>659
この計算を書いて先生に送ったらおしいと言われた。連続群論入門を元に書いたので読みなさいと言われた。
691(1): １３２人目の素数さん [sage] 2024/07/17(水) 21:57:43.17 ID:R4pJm6gD(1) AAS
>>666
複式簿記をブルバキ流に再定義したい。
692: １３２人目の素数さん [] 2024/07/17(水) 22:37:09.57 ID:GT5r4mTK(3/3) AAS
ブルバキを一旦忘れてユークリッドから出直した方が良いのではなかろうか
693: １３２人目の素数さん [] 2024/07/18(木) 03:52:29.87 ID:Vfq9OPu9(1) AAS
せめてガウスあたりから
694: １３２人目の素数さん [] 2024/07/18(木) 11:17:39.77 ID:sfEUFWyP(1/2) AAS
田中一之・鈴木登志雄著『数学のロジックと集合論』
実数の性質について書いてあります。
カントールの方法に似ているやり方で実数を定義していますが、例えば、2つの実数の加法の定義で、代表元の取り方に依存しないことを証明しなければなりませんが、このことについて完全に無視しています。
初学者は問題に気づかぬまま読み進んでしまうと思います。
695: １３２人目の素数さん [] 2024/07/18(木) 11:25:21.39 ID:9ofAuUYL(1/2) AAS
[アスペ]の唯一できることは本の荒探し報告
696: １３２人目の素数さん [sage] 2024/07/18(木) 11:57:11.92 ID:z77r8ipC(1) AAS
なんでさっさと論文を読まないんだろ？
幾つか論文を読んで気になる点があるなら、そこを深掘りすれば新しい論文を書けるかもしれんのに。
697(1): １３２人目の素数さん [] 2024/07/18(木) 11:59:38.14 ID:sfEUFWyP(2/2) AAS
田中一之・鈴木登志雄著『数学のロジックと集合論』
q_0, q_1, … を有理数列とする。
任意の自然数 n および i に対して |q_n - q_{n+i}| ≦ 1/2^n が成り立つような有理数列全体の集合 S を考える。
S 上に以下の関係 〜 を定義する。
(p_n) 〜 (q_n) ⇔ 任意の自然数 n に対して、 |p_n - q_n| ≦ 2 * (1/2^n) が成り立つ
S/〜 を実数の集合と定義しています。
有理数列を使うところがカントールの定義と似ていますが、変わっていますね。
この田中さんらの定義って有名なんですか？
698: １３２人目の素数さん [sage] 2024/07/18(木) 13:25:17.96 ID:5xzSJK9u(1) AAS
>>697
キチガイ
699: １３２人目の素数さん [sage] 2024/07/18(木) 14:29:49.90 ID:9ofAuUYL(2/2) AAS
「アスペ」仕事もせずに本の荒探し
700: １３２人目の素数さん [] 2024/07/19(金) 08:21:28.13 ID:E3FlZDHv(1) AAS
昨日届いた新刊書
Complex Analytic Geometry (From the Localization Viewpoint)
by Tatsuo Suwa
World Scientific
701: １３２人目の素数さん [] 2024/07/19(金) 10:18:10.39 ID:rTSc3Ba6(1/2) AAS
最終章はGrothendieck-Riemann-Roch
702: １３２人目の素数さん [] 2024/07/19(金) 12:39:03.90 ID:rTSc3Ba6(2/2) AAS
メールボックスに入っていた新着図書
超楕円関数への招待
楕円関数の一般化とその応用
松谷茂樹著 近代科学社
703(2): １３２人目の素数さん [] 2024/07/19(金) 13:24:24.71 ID:j90Px0SJ(1/8) AAS
佐武一郎著『線型代数学』
n 次元ベクトルの列 a_1, …, a_r を考える。
A := (a_1, …, a_r) とする。
A の n 個の行から r 個の行を選び出して作った r 次の行列式の中にゼロでないものが存在するとする。
{i_1, …, i_s} ⊂ {1, …, r} とする。
B := a_{i_1], …, a_{i_s} とする。
このとき、
B の n 個の行から s 個の行を選び出して作った s 次の行列式の中にゼロでないものが存在するとする。
佐武さんはこの事実は容易に導かれると書いて、証明していません。
704: １３２人目の素数さん [sage] 2024/07/19(金) 13:25:18.26 ID:NSX8nDbg(1/4) AAS
仕事しろよ
705(2): １３２人目の素数さん [] 2024/07/19(金) 13:35:23.79 ID:j90Px0SJ(2/8) AAS
>>703
の証明は以下で合っていますか？
{j_1, …, j_t} := {1, …, r} - {i_1, …, i_s} とする。
C := (a_{i_1], …, a_{i_s}, a_{j_1}, …, a_{j_t}} とする。
C の n 個の行から r 個の行を選び出して作った r 次の行列のうちその行列式がゼロでないものを C_1 とする。
0 ≠ det C_1 を第 r 列に関して展開すると r 個出てくる r-1 次の行列式のうち少なくても一つはゼロではない。そのゼロではない行列式の元となった行列を C_2 とする。
0 ≠ det C_2 を第 r-1 列に関して展開すると r-1 個出てくる r-2 次の行列式のうち少なくても一つはゼロではない。そのゼロではない行列式の元となった行列を C_3 とする。
…
と繰り返していくと、
いずれは、 B の n 個の行から s 個の行を選び出して作った s 次の行列式でゼロでないものが得られる。
706: １３２人目の素数さん [sage] 2024/07/19(金) 14:48:13.66 ID:b8VNMbSi(1) AAS
バカを相手にするとバカが伝染る
707: １３２人目の素数さん [sage] 2024/07/19(金) 14:53:44.99 ID:NSX8nDbg(2/4) AAS
ほっておいても調子づく
708(1): １３２人目の素数さん [sage] 2024/07/19(金) 16:09:35.00 ID:tAG4a4Oy(1/2) AAS
>>705
メチャクチャ
まだこのレベルの証明が自分でできないならもうやめる決断するべき
709: １３２人目の素数さん [] 2024/07/19(金) 16:35:32.95 ID:j90Px0SJ(3/8) AAS
>>708
どこが間違っているのでしょうか？
間違っていないと思います。
710(1): １３２人目の素数さん [] 2024/07/19(金) 16:38:16.82 ID:j90Px0SJ(4/8) AAS
佐武一郎著『線型代数学新装版』
p.98 定理２の別証中で、(I), (II)を証明しています。
ですが、必要なのは(II)だけではないでしょうか？
なぜ、(I)が必要だと佐武一郎さんは書いているのですか？
711: １３２人目の素数さん [] 2024/07/19(金) 16:41:58.32 ID:MEMVvuQq(1) AAS
>>710
具体的にその証明を個々に書いてみ
712(3): １３２人目の素数さん [] 2024/07/19(金) 17:02:06.41 ID:j90Px0SJ(5/8) AAS
定理２は以下です：
m 個の n 次元ベクトル a_j = (a_{ij}) (1 ≦ j ≦ m) が一次独立であるための必要十分な条件は、 m ≦ n かつ (n, m) 行列 A = (a_{ij}) の n 個の行から m 個の行をえらびだして作った m 次の行列式の中に ≠ 0 なるものが存在することである。
定理２の別証ですが、まず「強い意味で一次独立である」という用語を定義しています。
m ≦ n かつ (n, m) 行列 A = (a_{ij}) の n 個の行から m 個の行をえらびだして作った m 次の行列式の中に ≠ 0 なるものが存在するとき、 m 個の n 次元ベクトル a_j = (a_{ij}) (1 ≦ j ≦ m) は「強い意味で一次独立である」と定義しています。
a_1, …, a_m が強い意味で一次独立ならばそれらが一次独立であることは簡単に分かります。
佐武一郎さんは、 a_1, …, a_m が一次独立ならばそれらが強い意味で一次独立であることを証明しています。
このことを証明するために、(I), (II)を証明しています。
(I) a_1, …, a_r が強い意味で一次独立ならば、その一部分をとっても強い意味で一次独立である。
(II) a_1, …, a_r が強い意味で一次独立、 a_1, …, a_r, a_{r+1} が強い意味で一次独立ではないとすれば、 a_{r+1} は a_1, …, a_r の一次結合として一意的に表わされる。
そして、最後に、
(I)、(II)により、 {a_1, …, a_m} が任意に与えられた n 次元ベクトルの集合であるとき、その中から強い意味で一次独立なベクトルの極大集合 {a_{i_1}, …, a_{i_r}} をえらびだせば、任意の a_i (1 ≦ i ≦ m) は {a_{i_k}} (1 ≦ k ≦ r) に一次従属になる。よって特に a_1, …, a_m が一次独立であるとすれば、 r = m でなければならい。すなわち a_1, …, a_m は強い意味でも一次独立になる。（証終）
と書いています。
713: １３２人目の素数さん [] 2024/07/19(金) 17:05:18.21 ID:j90Px0SJ(6/8) AAS
定理2を証明するのに、(I)は使っていないように見えます。
714: １３２人目の素数さん [] 2024/07/19(金) 17:10:54.01 ID:j90Px0SJ(7/8) AAS
>>703
は定理2の別証の(I)です。
(I)の証明が
>>705
です。
715: １３２人目の素数さん [sage] 2024/07/19(金) 17:58:19.23 ID:tAG4a4Oy(2/2) AAS
ー何言ってるか全くわからんわ
お前に数学は無理
716: １３２人目の素数さん [sage] 2024/07/19(金) 18:02:21.74 ID:NSX8nDbg(3/4) AAS
こき下ろされても懲りないアスペのおっさん
717: １３２人目の素数さん [] 2024/07/19(金) 20:49:02.49 ID:j90Px0SJ(8/8) AAS
やはり、(I)は使っていませんよね。
718: １３２人目の素数さん [sage] 2024/07/19(金) 20:51:17.99 ID:NSX8nDbg(4/4) AAS
自分の日記帳に書けよ
719: １３２人目の素数さん [] 2024/07/20(土) 06:29:46.94 ID:7vs1nKh1(1/2) AAS
佐武先生の学会講演を拝聴したことがある
720: １３２人目の素数さん [sage] 2024/07/20(土) 07:41:05.51 ID:Zapt6xzy(1/2) AAS
佐武先生から「教授」が連想した
721: １３２人目の素数さん [] 2024/07/20(土) 11:28:43.51 ID:36r8Qajr(1) AAS
回想がより適切
722: １３２人目の素数さん [sage] 2024/07/20(土) 11:32:47.77 ID:Zapt6xzy(2/2) AAS
君の言いたいことは分かった
723: １３２人目の素数さん [] 2024/07/20(土) 19:45:22.64 ID:FEEVqSiq(1/2) AAS
佐武先生にそういわれたことはなかった
724: １３２人目の素数さん [] 2024/07/20(土) 19:45:26.51 ID:FEEVqSiq(2/2) AAS
佐武先生にそういわれたことはなかった
725: １３２人目の素数さん [] 2024/07/20(土) 23:45:12.54 ID:7vs1nKh1(2/2) AAS
ICMの時にお会いした
726: １３２人目の素数さん [] 2024/07/23(火) 10:30:24.42 ID:ba15aKEd(1) AAS
ベルン大でのサテライトでは
倉西先生の講演もあった。
ベルグマン核のブレイクスルーの
18年前のこと
727: １３２人目の素数さん [sage] 2024/07/24(水) 01:24:19.72 ID:FvD9oebX(1/2) AAS
ジェイクと竹下が準決勝まで進出して、社長から「二人の決勝進出を阻止せよ」と命令が下る展開頼む
阻止を命じられた二人とは・・・
728: １３２人目の素数さん [sage] 2024/07/24(水) 01:24:48.29 ID:FvD9oebX(2/2) AAS
誤爆すみません
729: １３２人目の素数さん [] 2024/07/24(水) 08:43:51.82 ID:5yqJtuLU(1/11) AAS
佐武一郎著『線型代数学』
別証を書いてある場合が多くて、それがこの本のいいところだと思います。
いろいろな証明をよく思いつくものですね。
730: １３２人目の素数さん [] 2024/07/24(水) 09:11:35.84 ID:5yqJtuLU(2/11) AAS
>>712
「強い意味で一次独立なベクトルの極大集合 {a_{i_1}, …, a_{i_r}} をえらびだせば」と書いていますが、別に極大集合である必要はありません。極大集合と書いたがために(I)が必要になっています。
731(2): １３２人目の素数さん [] 2024/07/24(水) 09:15:25.73 ID:5yqJtuLU(3/11) AAS
>>712
(I)、(II)により、 {a_1, …, a_m} が任意に与えられた n 次元ベクトルの集合であるとき、その中から {a_{i_1}, …, a_{i_r}} は強い意味で一次独立なベクトルの集合であるが、それに {a_1, …, a_m} から任意のベクトルを付け加えると強い意味で一次独立にはならないような {a_{i_1}, …, a_{i_r}} をえらびだせば、任意の a_i (1 ≦ i ≦ m) は {a_{i_k}} (1 ≦ k ≦ r) に一次従属になる。よって特に a_1, …, a_m が一次独立であるとすれば、 r = m でなければならい。すなわち a_1, …, a_m は強い意味でも一次独立になる。（証終）
732(1): １３２人目の素数さん [] 2024/07/24(水) 09:16:01.89 ID:5yqJtuLU(4/11) AAS
>>731
こう書けば、(I)は不要です。
733: １３２人目の素数さん [] 2024/07/24(水) 09:16:58.62 ID:5yqJtuLU(5/11) AAS
>>731
訂正します：
>>712
(II)により、 {a_1, …, a_m} が任意に与えられた n 次元ベクトルの集合であるとき、その中から {a_{i_1}, …, a_{i_r}} は強い意味で一次独立なベクトルの集合であるが、それに {a_1, …, a_m} から任意のベクトルを付け加えると強い意味で一次独立にはならないような {a_{i_1}, …, a_{i_r}} をえらびだせば、任意の a_i (1 ≦ i ≦ m) は {a_{i_k}} (1 ≦ k ≦ r) に一次従属になる。よって特に a_1, …, a_m が一次独立であるとすれば、 r = m でなければならい。すなわち a_1, …, a_m は強い意味でも一次独立になる。（証終）
734: １３２人目の素数さん [sage] 2024/07/24(水) 09:18:09.90 ID:+yf5cReE(1) AAS
>>732
ば〜か
735: １３２人目の素数さん [sage] 2024/07/24(水) 14:26:11.56 ID:yQDpMdx6(1) AAS
自分がバカだとわかってるバカはまだ可能性はある
736: １３２人目の素数さん [] 2024/07/24(水) 15:33:32.74 ID:nppkZsOM(1) AAS
>>691
>複式簿記をブルバキ流に再定義したい。
簡単じゃね？今ここでやったら？
737(1): １３２人目の素数さん [] 2024/07/24(水) 15:59:28.64 ID:5yqJtuLU(6/11) AAS
佐武一郎著『線型代数学』
この本には基本変形について全く書いていないと思っている人がいるかもしれませんが、それは違います。
基本変形で階数が不変であることの証明が書いてあります。
ただシステマティックなガウスの消去法について書いていないだけです。
基本変形で階数が不変であるさえ知っていたら、階数を計算するのに、誰でもガウスの消去法を発見して自ら使うと思います。
その程度の話です。
738: １３２人目の素数さん [] 2024/07/24(水) 16:00:30.96 ID:5yqJtuLU(7/11) AAS
>>737
訂正します：
佐武一郎著『線型代数学』
この本には基本変形について全く書いていないと思っている人がいるかもしれませんが、それは違います。
基本変形で階数が不変であることの証明が書いてあります。
ただシステマティックなガウスの消去法について書いていないだけです。
基本変形で階数が不変であることさえ知っていたら、階数を計算するのに、誰でもガウスの消去法を発見して自ら使うと思います。
その程度の話です。
739: １３２人目の素数さん [] 2024/07/24(水) 21:04:31.92 ID:5yqJtuLU(8/11) AAS
齋藤正彦さんの『線型代数入門』の良さって何ですか？
この本が売れている理由は安いこと以外に何が考えられますか？
740: １３２人目の素数さん [] 2024/07/24(水) 21:09:26.00 ID:5yqJtuLU(9/11) AAS
特色ある線形代数の本というと佐武一郎さんの本や伊理正夫さんの『線形代数汎論』、伊理正夫さんと韓太舜さんの『線形代数』、斎藤毅さんの本などが思い浮かびます。
他に特色のある日本語で書かれた線形代数の本ってありますか？
741: １３２人目の素数さん [] 2024/07/24(水) 21:12:17.48 ID:5yqJtuLU(10/11) AAS
正統派の線形代数の本は佐武一郎さんと斎藤毅さんの本だけ持っていればいいような気がしてきました。
沢山線形代数の本を買いましたが、処分していこうと思います。
742: １３２人目の素数さん [] 2024/07/24(水) 21:13:51.59 ID:5yqJtuLU(11/11) AAS
松坂和夫さんの本は独特のくどい丁寧さがあるので残しておこうと思います。
永田さんの本も多項式のところが読みたいので残しておこうと思います。
あとはメルカリやヤフーオークションで処分しようと思います。
743: １３２人目の素数さん [sage] 2024/07/24(水) 22:25:54.41 ID:hHSJsKbH(1) AAS
良スレ
744: １３２人目の素数さん [] 2024/07/26(金) 09:56:19.23 ID:eG++prlo(1) AAS
斎藤毅乙
745: １３２人目の素数さん [sage] 2024/07/26(金) 21:01:42.48 ID:VcFgilGD(1) AAS
今現在、日本は帰化朝鮮人によって大韓民国と北朝鮮に侵略行為を受けている
彼らがやっていることは差別を盾にした隣国侵略行為である
『差別と言われたら隣国侵略』だと言い返そう
新聞、出版社、テレビ局、会社の起業家、大学教授は帰化系の人間ばかりでもはや合法的な侵略である
こういう組織やあらゆる会社で差別され排除されているのは日本人の方である
帰化人たちで徒党を組み、芸能界、スポーツ界、歌謡界、声優界を独占し日本人を排除し、
会社組織ではトップに居座らせたら日本人は閑職に追いやられ、
パワハラで辞職に追い込まれ、その会社の技術を半島に流出させられ、日本企業が競争力を失っていく
奴らがやっているのは差別を盾にした緩い民族虐殺、
帰化朝鮮人たちに日本人のふりをされてこのまま緩やかなホロコーストに向かうなら、戦った方がまし
「政治家に立候補する時、帰化朝鮮人の家系の人間か否かを公表する」を提出して過半の賛成を取って立法化しよう
そうなると帰化人に支配されたメディアによって差別だと糾弾し始め帰化人たちが暴動やら起こすだろう、
日本は荒廃の一途を辿る、内戦状態に近いものになる
だがそれは当然のこと、国内で隣国の人間に侵略行為を受けているのだから
時間はあまりない、やつらが過半数を確保してからでは遅い
法律を変え日本人を差別、虐待し、
日本人の人口を減らし、移民を受け入れさせることで過半数を超えたら侵略行為が完了してしまう
こちらは隣国侵略だと堂々と主張して戦おう
拡散希望
746: １３２人目の素数さん [sage] 2024/07/27(土) 10:32:27.78 ID:3pG0maj5(1) AAS
うん！
747: １３２人目の素数さん [] 2024/07/27(土) 17:34:52.20 ID:/KnThOAm(1) AAS
ヘイトスピーチの拡散は難しいのでは？
748: １３２人目の素数さん [] 2024/07/27(土) 19:51:42.97 ID:3Sjj1Rui(1/3) AAS
ヤマト民族が日本列島に移住してきたときは先住民に対して侵略行為を働かなかったのかね
749: １３２人目の素数さん [sage] 2024/07/27(土) 20:19:18.76 ID:WhltTp7Y(1/15) AAS
手を動かしてまなぶシリーズ好評ではないか
写経するだけでも見るだけよりは記憶に定着しやすいのでは？
750: １３２人目の素数さん [sage] 2024/07/27(土) 20:25:09.94 ID:WhltTp7Y(2/15) AAS
747は745のヘイトスピーチ拡散は難しいだろといってるのに、ヤマト民族は先住民に対しての行為を問うていて論点がズレている。
東大当局がアドミッションポリシーで受験生に求めている表現力や総合力が水準に達しておらず、748は東大受験に向いていない可能性がある。
751: １３２人目の素数さん [] 2024/07/27(土) 20:54:53.35 ID:0NY5g84g(1/7) AAS
ID:WhltTp7Yさんは大丈夫な人なのでしょうか？
ID検索すると面白いですね
上下前次1-新書関写板覧索設栞歴
あと 251 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s