[過去ログ] 数学の本 第98巻 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
640: 2024/07/15(月)18:56 ID:HgrqRhYc(1) AAS
>>635
おまえが終結しろ
ばか
641: 2024/07/15(月)21:59 ID:zN9wWotk(1) AAS
ギヤアアアアアアア!!!
ザ・プロファイラー(再)
連投戻ってくんのはえーよ
10月には必要ないじゃん
642: 2024/07/15(月)22:06 ID:U+33sRgf(1) AAS
行って藍上の膨大な過去のYouTubeまだかな
信者は全員いたよ
鍵叩きババアは人間のやることが多く、年齢変わらないなんてねえわ
643: 2024/07/16(火)10:59 ID:LrAxffkD(1/2) AAS
田中一之・鈴木登志雄著『数学のロジックと集合論』

やっと実数の定義まで進みました。
644: 2024/07/16(火)11:00 ID:WVCFRWFP(1/6) AAS
「アスペ」の書き込みは癖が強く、気持ち悪い
645: 2024/07/16(火)11:14 ID:WVCFRWFP(2/6) AAS
「アスペ」は仕事もせずに、唯一できる数学の本を読んで誤植を探す
646: 2024/07/16(火)11:28 ID:WVCFRWFP(3/6) AAS
誤植は必ずあるものと覚悟しなければならない.専門的な本は読者が少ないので,誤植が発見される確率が小さい.滅多に増刷されないから,訂正の機会が少ない.また,誤植を発見した人が版元に知らせるとは限らない.
数学の本なら,少々の誤植は読者自身で (他の本を見なくても) 直せる.「ここにマイナスがないと計算が合わないから誤植に違いない」などと考えればよい. 例えば歴史の本で人名に誤植があったら,読者の知恵だけでは直すことはできないし,信じがたい記述があっても真偽を確かめようがない. 数学の学生は歴史の学生に比べて楽なのである。
山根
647: 2024/07/16(火)13:39 ID:WVCFRWFP(4/6) AAS
「間違いだらけで恐ろしく有益な本もあれば、どこも間違いがなくてそうしてただ間違っていないというだけの事以外に何の取柄もないと思われる本もある。」
寺田
648
(1): 2024/07/16(火)15:31 ID:t+Dosf9+(1) AAS
山根、寺田って誰?
寺田は寺田文行先生?
受験のときに鉄則でお世話になった。
649: 2024/07/16(火)16:43 ID:LrAxffkD(2/2) AAS
>>648

寺田寅彦ではないでしょうか?
数学が苦手だったそうですね。
650: 2024/07/16(火)17:42 ID:WVCFRWFP(5/6) AAS
誤植を見つけるしか能がない「アスペ」
651: 2024/07/16(火)17:58 ID:WVCFRWFP(6/6) AAS
「アスペ」は日本語勉強しことがないのか
652: 2024/07/17(水)00:17 ID:0Dui9FKY(1) AAS
deeplだと
簡単のため
って訳されるね
653: 2024/07/17(水)06:01 ID:GT5r4mTK(1/3) AAS
簡単のための英語

英訳・英語
in short;to simplify this
654: 2024/07/17(水)09:53 ID:GT5r4mTK(2/3) AAS
校閲の出来不出来が売り上げに直結するのが定期刊行誌
655
(1): 2024/07/17(水)11:16 ID:ZX0pBhN8(1/12) AAS
佐武一郎著『線型代数学』

別証明や別解を書くことがよくあります。
著者の理解の深さが表れていますね。
656
(2): 2024/07/17(水)11:22 ID:ZX0pBhN8(2/12) AAS
齋藤正彦著『線型代数入門』と比較されることがありますが、齋藤さんの本は、よくある普通の本ですよね。
657: 2024/07/17(水)11:50 ID:XCjEJv6c(1/2) AAS
斎藤本ができた頃にあった「よくある普通の本」は例えば何?
658: 2024/07/17(水)11:56 ID:DSeiGU9R(1) AAS
なんの能もない「アスペ」が斎藤先生の本を貶して喜ぶw
659
(1): 2024/07/17(水)12:04 ID:DIwyhRTF(1/4) AAS
>>656
第5章§6の回転行列A(6)の不変ベクトルf(7)(p.168)の導出が分からんので教えてくれ
660
(1): 2024/07/17(水)12:23 ID:471szXlT(1) AAS
>>655-656
佐武の本は、行列式が前に出てくる点で昔のスタイルの本
齋藤正彦の本は、基本操作による消去法が前に出てくる点で(当時は)新しかった
そのスタイルの端緒はブルバキの数学原論じゃないかと思ってるけど
661
(1): 2024/07/17(水)12:39 ID:ZX0pBhN8(3/12) AAS
>>660

例えば、クローシュの代数学教程(1959)に基本変形が書いてあります。
そして、階数の計算に使ったりしています。
662
(1): 2024/07/17(水)12:39 ID:WoZfxOp1(1) AAS
昔の本の良いところだけを残してアップデートした 現時点でこれが最良と言える本はない?
663: 2024/07/17(水)12:47 ID:keCrpLHM(1) AAS
>>661
基本変形行列の初出が誰のどの本なのかは興味がある
664
(1): 2024/07/17(水)12:49 ID:ZX0pBhN8(4/12) AAS
>>662

佐武一郎著『線型代数学』には基本変形は書いてありませんが、昔の本の良いところは残されているでしょうし、何よりテンソル代数まで書いてあります。

そして、別証や別解が書いてあったり、内容が豊富で説明が分かりやすいにもかかわらず、ページ数が少ないです。

これが最良ではないでしょうか?

あとは昔の本の良いところや悪いところはあまりないと思いますが、Sheldon Axler著『Linear Algebra Done Right Fourth Edition』は良い本です。
665
(2): 2024/07/17(水)12:55 ID:XCjEJv6c(2/2) AAS
行列のランクが頭に入りにくかった理由が
思い出せない
666
(1): 2024/07/17(水)13:01 ID:SACNuyQQ(1/2) AAS
>>664
基本変形が書いてないからダメ、というつもりはない
ちなみにブルバキ数学原論では行列式はテンソル代数,外積代数,対称代数のところでやっと出てくる
667: 2024/07/17(水)13:02 ID:SACNuyQQ(2/2) AAS
>>665
ランクの定義は?
668
(1): 2024/07/17(水)13:18 ID:ZX0pBhN8(5/12) AAS
>>665

齋藤さんの本での行列のランクの定義のことでしたら、あれは最悪の定義ですので、分かりにくいはずです。

行列を基本変形して対角線上に 1 のみが並ぶようにして、その 1 の個数を階数と定義しています。
その後、階数の同値な定義は紹介されますが、最初の定義が最悪です。
これでは階数がなんで重要かが分かりにくいはずです。
669: 2024/07/17(水)13:25 ID:WxGB5Htb(1) AAS
行列を線形写像と思った時の像の次元がそうだと気付いた時に
やっとランクが頭に収まった
670
(1): 2024/07/17(水)13:30 ID:ZX0pBhN8(6/12) AAS
行列の行空間(列空間)の次元というのが一番分かりやすいと思います。
671
(1): 2024/07/17(水)13:35 ID:DIwyhRTF(2/4) AAS
線形代数入門は連続群論入門の為に書いた
672: 2024/07/17(水)13:37 ID:9JTXPK6/(1/9) AAS
>>668
>行列を基本変形して対角線上に 1 のみが並ぶようにして、その 1 の個数を階数と定義しています。
それ、ブルバキ数学原論で、X’=PXQ(P,Qは可逆行列)のとき、XとX’は同値、という定義の後に
体上の有限次元線形空間の間の階数rの線形写像で、それぞれ適当な基底をとると
1がr個だけ対角に並んだ行列と同値になるとかいう定理が出てくるんで
それを逆手にとって、階数の定義にしたと思われる

ちなみにブルバキ数学原論では行列の列ベクトルが張る線形空間の次元を階数と定義している
673: 2024/07/17(水)13:39 ID:9JTXPK6/(2/9) AAS
>>671
>行列の行空間(列空間)の次元
それ、どういう定義?
674
(1): 2024/07/17(水)13:42 ID:9JTXPK6/(3/9) AAS
>>670
ああ、行ベクトル(列ベクトル)が張る空間の次元ってことね
でもどうやってそれを求めるかといえば、結局階段化するんで
そう考えると齋藤の本の定義が最悪どころか最良じゃん、という人もいそうだな
675: 2024/07/17(水)13:43 ID:ZX0pBhN8(7/12) AAS
行ベクトル(列ベクトル)の生成する部分空間の次元のことです。
676: 2024/07/17(水)13:48 ID:9JTXPK6/(4/9) AAS
誰だか忘れたけど、数学者の分類で目型と手型があるっていうのがあって
目型の人は「行ベクトル(列ベクトル)が張る空間の次元」とかいう幾何的な定義を好むと思うけど
手型の人は「基本変形して対角線上に 1 のみが並ぶ形にしたときの 1 の個数」とかいう標準形への変換結果みたいた定義を好みそう

でも線形代数に慣れまくると
「そんなん最初はどっちが分かりやすいとかあるかもしれんけど
 わかってしまえば物事に対する言い表し方の違いなんだからどうでもええやん」
と思ってしまう
677
(1): 2024/07/17(水)13:50 ID:ZX0pBhN8(8/12) AAS
>>674

手計算で階数を計算するとすると基本変形で求める人が多いと思いますが、効率的に計算できることって重要ですか?

数学ではそういうのは重視しないのではないでしょうか?
678: 2024/07/17(水)13:50 ID:9JTXPK6/(5/9) AAS
ただ、行列式を使ったランクの定義もあって、それは確かにそうなんだけど
なんかそこまでやるんなら、階段化使ったほうがええやん、というのはある
別に行列式が嫌いなわけではないが、最初から行列式振り回されたら
なんか分からんと思う
679: 2024/07/17(水)13:54 ID:9JTXPK6/(6/9) AAS
>>677
>効率的に計算できることって重要ですか?
>数学ではそういうのは重視しないのではないでしょうか?
 切り捨てたものの中に、”金”が入ってることってよくあるよね

 まあ、個人的には計算好きだし、うまく整理できると見通しがいいこともあるので
 それはそれでありじゃね?と思ったりする
680: 2024/07/17(水)13:58 ID:9JTXPK6/(7/9) AAS
数学でも他のことでもそうだけど
ゴミだと思ってたものの中にお宝があったりする
681
(1): 2024/07/17(水)13:59 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 ID:9JTXPK6/(8/9) AAS
>>681 その場合、一次独立かどうか、どうやって判定する?
基本的な質問で恐縮だけど、一応
683: 2024/07/17(水)14:08 ID:9JTXPK6/(9/9) AAS
ベクトルを空間の中の矢印として「見る」のか、数の並びとして「扱う」のかで発想が異なる
「見る」人は一時独立なんて見ればわかるやん、で終わっちゃう
「扱う」人はどういう手続きで判定するのかが大事やん、と言い出す
684: 2024/07/17(水)14:47 ID:DIwyhRTF(3/4) AAS
線形代数で盛り上がる
685
(1): 2024/07/17(水)14:52 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 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: 2024/07/17(水)14:59 ID:2myTo7gm(1) AAS
キチガイの日記
いらね
688: 2024/07/17(水)14:59 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 ID:sdHEwUp2(1) AAS
こういうやり方もできる
1.第一成分が0でないベクトルを1つ選ぶ
  (どれも0だったら、第二成分でやる
   少なくとも0でないものがある成分までこれをやる)
2.選んだベクトルの定数倍を足すことで他のベクトルの第一成分を0にする
3.選ばれたベクトル以外のベクトルに対して第二成分で1.と2.を繰り返し、ベクトルがなくなったら終わり

これで0でないベクトルの個数を数えればいい
っていうか、それ消去法じゃんって、そうですけど何か?
690: 2024/07/17(水)16:49 ID:DIwyhRTF(4/4) AAS
>>659
この計算を書いて先生に送ったらおしいと言われた。連続群論入門を元に書いたので読みなさいと言われた。
691
(1): 2024/07/17(水)21:57 ID:R4pJm6gD(1) AAS
>>666
複式簿記をブルバキ流に再定義したい。
692: 2024/07/17(水)22:37 ID:GT5r4mTK(3/3) AAS
ブルバキを一旦忘れてユークリッドから出直した方が良いのではなかろうか
693: 2024/07/18(木)03:52 ID:Vfq9OPu9(1) AAS
せめてガウスあたりから
694: 2024/07/18(木)11:17 ID:sfEUFWyP(1/2) AAS
田中一之・鈴木登志雄著『数学のロジックと集合論』

実数の性質について書いてあります。
カントールの方法に似ているやり方で実数を定義していますが、例えば、2つの実数の加法の定義で、代表元の取り方に依存しないことを証明しなければなりませんが、このことについて完全に無視しています。

初学者は問題に気づかぬまま読み進んでしまうと思います。
695: 2024/07/18(木)11:25 ID:9ofAuUYL(1/2) AAS
[アスペ]の唯一できることは本の荒探し報告
696: 2024/07/18(木)11:57 ID:z77r8ipC(1) AAS
なんでさっさと論文を読まないんだろ?
幾つか論文を読んで気になる点があるなら、そこを深掘りすれば新しい論文を書けるかもしれんのに。
697
(1): 2024/07/18(木)11:59 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: 2024/07/18(木)13:25 ID:5xzSJK9u(1) AAS
>>697
キチガイ
699: 2024/07/18(木)14:29 ID:9ofAuUYL(2/2) AAS
「アスペ」仕事もせずに本の荒探し
700: 2024/07/19(金)08:21 ID:E3FlZDHv(1) AAS
昨日届いた新刊書
Complex Analytic Geometry (From the Localization Viewpoint)
by Tatsuo Suwa
World Scientific
701: 2024/07/19(金)10:18 ID:rTSc3Ba6(1/2) AAS
最終章はGrothendieck-Riemann-Roch
702: 2024/07/19(金)12:39 ID:rTSc3Ba6(2/2) AAS
メールボックスに入っていた新着図書
超楕円関数への招待
楕円関数の一般化とその応用
松谷茂樹著 近代科学社
703
(2): 2024/07/19(金)13:24 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: 2024/07/19(金)13:25 ID:NSX8nDbg(1/4) AAS
仕事しろよ
705
(2): 2024/07/19(金)13:35 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: 2024/07/19(金)14:48 ID:b8VNMbSi(1) AAS
バカを相手にするとバカが伝染る
707: 2024/07/19(金)14:53 ID:NSX8nDbg(2/4) AAS
ほっておいても調子づく
708
(1): 2024/07/19(金)16:09 ID:tAG4a4Oy(1/2) AAS
>>705
メチャクチャ
まだこのレベルの証明が自分でできないならもうやめる決断するべき
709: 2024/07/19(金)16:35 ID:j90Px0SJ(3/8) AAS
>>708

どこが間違っているのでしょうか?
間違っていないと思います。
710
(1): 2024/07/19(金)16:38 ID:j90Px0SJ(4/8) AAS
佐武一郎著『線型代数学新装版』

p.98 定理2の別証中で、(I), (II)を証明しています。
ですが、必要なのは(II)だけではないでしょうか?
なぜ、(I)が必要だと佐武一郎さんは書いているのですか?
711: 2024/07/19(金)16:41 ID:MEMVvuQq(1) AAS
>>710
具体的にその証明を個々に書いてみ
712
(3): 2024/07/19(金)17:02 ID:j90Px0SJ(5/8) AAS
定理2は以下です:

m 個の n 次元ベクトル a_j = (a_{ij}) (1 ≦ j ≦ m) が一次独立であるための必要十分な条件は、 m ≦ n かつ (n, m) 行列 A = (a_{ij}) の n 個の行から m 個の行をえらびだして作った m 次の行列式の中に ≠ 0 なるものが存在することである。

定理2の別証ですが、まず「強い意味で一次独立である」という用語を定義しています。

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 ID:j90Px0SJ(6/8) AAS
定理2を証明するのに、(I)は使っていないように見えます。
714: 2024/07/19(金)17:10 ID:j90Px0SJ(7/8) AAS
>>703
は定理2の別証の(I)です。

(I)の証明が

>>705

です。
715: 2024/07/19(金)17:58 ID:tAG4a4Oy(2/2) AAS
ー何言ってるか全くわからんわ
お前に数学は無理
716: 2024/07/19(金)18:02 ID:NSX8nDbg(3/4) AAS
こき下ろされても懲りないアスペのおっさん
717: 2024/07/19(金)20:49 ID:j90Px0SJ(8/8) AAS
やはり、(I)は使っていませんよね。
718: 2024/07/19(金)20:51 ID:NSX8nDbg(4/4) AAS
自分の日記帳に書けよ
719: 2024/07/20(土)06:29 ID:7vs1nKh1(1/2) AAS
佐武先生の学会講演を拝聴したことがある
720: 2024/07/20(土)07:41 ID:Zapt6xzy(1/2) AAS
佐武先生から「教授」が連想した
721: 2024/07/20(土)11:28 ID:36r8Qajr(1) AAS
回想がより適切
722: 2024/07/20(土)11:32 ID:Zapt6xzy(2/2) AAS
君の言いたいことは分かった
723: 2024/07/20(土)19:45 ID:FEEVqSiq(1/2) AAS
佐武先生にそういわれたことはなかった
724: 2024/07/20(土)19:45 ID:FEEVqSiq(2/2) AAS
佐武先生にそういわれたことはなかった
725: 2024/07/20(土)23:45 ID:7vs1nKh1(2/2) AAS
ICMの時にお会いした
726: 2024/07/23(火)10:30 ID:ba15aKEd(1) AAS
ベルン大でのサテライトでは
倉西先生の講演もあった。
ベルグマン核のブレイクスルーの
18年前のこと
727: 2024/07/24(水)01:24 ID:FvD9oebX(1/2) AAS
ジェイクと竹下が準決勝まで進出して、社長から「二人の決勝進出を阻止せよ」と命令が下る展開頼む
阻止を命じられた二人とは・・・
728: 2024/07/24(水)01:24 ID:FvD9oebX(2/2) AAS
誤爆すみません
729: 2024/07/24(水)08:43 ID:5yqJtuLU(1/11) AAS
佐武一郎著『線型代数学』

別証を書いてある場合が多くて、それがこの本のいいところだと思います。
いろいろな証明をよく思いつくものですね。
730: 2024/07/24(水)09:11 ID:5yqJtuLU(2/11) AAS
>>712

「強い意味で一次独立なベクトルの極大集合 {a_{i_1}, …, a_{i_r}} をえらびだせば」と書いていますが、別に極大集合である必要はありません。極大集合と書いたがために(I)が必要になっています。
731
(2): 2024/07/24(水)09:15 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 ID:5yqJtuLU(4/11) AAS
>>731

こう書けば、(I)は不要です。
733: 2024/07/24(水)09:16 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: 2024/07/24(水)09:18 ID:+yf5cReE(1) AAS
>>732
ば〜か
735: 2024/07/24(水)14:26 ID:yQDpMdx6(1) AAS
自分がバカだとわかってるバカはまだ可能性はある
736: 2024/07/24(水)15:33 ID:nppkZsOM(1) AAS
>>691
>複式簿記をブルバキ流に再定義したい。
 簡単じゃね?今ここでやったら?
737
(1): 2024/07/24(水)15:59 ID:5yqJtuLU(6/11) AAS
佐武一郎著『線型代数学』

この本には基本変形について全く書いていないと思っている人がいるかもしれませんが、それは違います。

基本変形で階数が不変であることの証明が書いてあります。
ただシステマティックなガウスの消去法について書いていないだけです。
基本変形で階数が不変であるさえ知っていたら、階数を計算するのに、誰でもガウスの消去法を発見して自ら使うと思います。
その程度の話です。
738: 2024/07/24(水)16:00 ID:5yqJtuLU(7/11) AAS
>>737

訂正します:

佐武一郎著『線型代数学』

この本には基本変形について全く書いていないと思っている人がいるかもしれませんが、それは違います。

基本変形で階数が不変であることの証明が書いてあります。
ただシステマティックなガウスの消去法について書いていないだけです。
基本変形で階数が不変であることさえ知っていたら、階数を計算するのに、誰でもガウスの消去法を発見して自ら使うと思います。
その程度の話です。
739: 2024/07/24(水)21:04 ID:5yqJtuLU(8/11) AAS
齋藤正彦さんの『線型代数入門』の良さって何ですか?
この本が売れている理由は安いこと以外に何が考えられますか?
740: 2024/07/24(水)21:09 ID:5yqJtuLU(9/11) AAS
特色ある線形代数の本というと佐武一郎さんの本や伊理正夫さんの『線形代数汎論』、伊理正夫さんと韓太舜さんの『線形代数』、斎藤毅さんの本などが思い浮かびます。

他に特色のある日本語で書かれた線形代数の本ってありますか?
741: 2024/07/24(水)21:12 ID:5yqJtuLU(10/11) AAS
正統派の線形代数の本は佐武一郎さんと斎藤毅さんの本だけ持っていればいいような気がしてきました。
沢山線形代数の本を買いましたが、処分していこうと思います。
742: 2024/07/24(水)21:13 ID:5yqJtuLU(11/11) AAS
松坂和夫さんの本は独特のくどい丁寧さがあるので残しておこうと思います。
永田さんの本も多項式のところが読みたいので残しておこうと思います。
あとはメルカリやヤフーオークションで処分しようと思います。
743: 2024/07/24(水)22:25 ID:hHSJsKbH(1) AAS
良スレ
744: 2024/07/26(金)09:56 ID:eG++prlo(1) AAS
斎藤毅乙
745: 2024/07/26(金)21:01 ID:VcFgilGD(1) AAS
今現在、日本は帰化朝鮮人によって大韓民国と北朝鮮に侵略行為を受けている
彼らがやっていることは差別を盾にした隣国侵略行為である
『差別と言われたら隣国侵略』だと言い返そう
新聞、出版社、テレビ局、会社の起業家、大学教授は帰化系の人間ばかりでもはや合法的な侵略である
こういう組織やあらゆる会社で差別され排除されているのは日本人の方である
帰化人たちで徒党を組み、芸能界、スポーツ界、歌謡界、声優界を独占し日本人を排除し、
会社組織ではトップに居座らせたら日本人は閑職に追いやられ、
パワハラで辞職に追い込まれ、その会社の技術を半島に流出させられ、日本企業が競争力を失っていく
奴らがやっているのは差別を盾にした緩い民族虐殺、
帰化朝鮮人たちに日本人のふりをされてこのまま緩やかなホロコーストに向かうなら、戦った方がまし

「政治家に立候補する時、帰化朝鮮人の家系の人間か否かを公表する」を提出して過半の賛成を取って立法化しよう

そうなると帰化人に支配されたメディアによって差別だと糾弾し始め帰化人たちが暴動やら起こすだろう、
日本は荒廃の一途を辿る、内戦状態に近いものになる
だがそれは当然のこと、国内で隣国の人間に侵略行為を受けているのだから
時間はあまりない、やつらが過半数を確保してからでは遅い
法律を変え日本人を差別、虐待し、
日本人の人口を減らし、移民を受け入れさせることで過半数を超えたら侵略行為が完了してしまう
こちらは隣国侵略だと堂々と主張して戦おう

拡散希望
746: 2024/07/27(土)10:32 ID:3pG0maj5(1) AAS
うん!
747: 2024/07/27(土)17:34 ID:/KnThOAm(1) AAS
ヘイトスピーチの拡散は難しいのでは?
748: 2024/07/27(土)19:51 ID:3Sjj1Rui(1/3) AAS
ヤマト民族が日本列島に移住してきたときは先住民に対して侵略行為を働かなかったのかね
749: 2024/07/27(土)20:19 ID:WhltTp7Y(1/15) AAS
手を動かしてまなぶシリーズ好評ではないか
写経するだけでも見るだけよりは記憶に定着しやすいのでは?
750: 2024/07/27(土)20:25 ID:WhltTp7Y(2/15) AAS
747は745のヘイトスピーチ拡散は難しいだろといってるのに、ヤマト民族は先住民に対しての行為を問うていて論点がズレている。
東大当局がアドミッションポリシーで受験生に求めている表現力や総合力が水準に達しておらず、748は東大受験に向いていない可能性がある。
751: 2024/07/27(土)20:54 ID:0NY5g84g(1/7) AAS
ID:WhltTp7Yさんは大丈夫な人なのでしょうか?
ID検索すると面白いですね
752: 2024/07/27(土)21:03 ID:WhltTp7Y(3/15) AAS
747は京大卒の左翼「教授」で尊敬する人物が福島瑞穂
753
(1): 2024/07/27(土)21:04 ID:WhltTp7Y(4/15) AAS
「何が何でも(東大以外の)なんとか大に行きたい!」
じゃないなら、普通に東大にしておけばいいんじゃないの
754: 2024/07/27(土)21:07 ID:WhltTp7Y(5/15) AAS
東大VS京大 カーン
755: 2024/07/27(土)21:14 ID:0NY5g84g(2/7) AAS
さすが大丈夫な人
東大vs京大とか、なぜか意味不明にみずほでウヨウヨサヨサヨ
朝鮮ちんこまんこ教がアレでイライラ火病ぶっこきまくりっすかwwwww
756: 2024/07/27(土)21:17 ID:WhltTp7Y(6/15) AAS
最底辺大で天上天下唯我独尊俺様最強無双するのが良いと思います
757: 2024/07/27(土)21:19 ID:0NY5g84g(3/7) AAS
ネチネチ朝鮮小出しにしないで、日本男児らしく一発で出そうよ
758: 2024/07/27(土)21:22 ID:WhltTp7Y(7/15) AAS
因縁付けられたから返してるだけだが
759: 2024/07/27(土)21:24 ID:0NY5g84g(4/7) AAS
様式美の勝利宣言はまだですか?
760: 2024/07/27(土)21:27 ID:WhltTp7Y(8/15) AAS
ハイ論破
761: 2024/07/27(土)21:28 ID:0NY5g84g(5/7) AAS
もっとエラ張ったのを期待してたのにショボい…
762: 2024/07/27(土)21:31 ID:WhltTp7Y(9/15) AAS
ジャップ
763: 2024/07/27(土)21:31 ID:WhltTp7Y(10/15) AAS
餓鬼に勝ったニダー
764: 2024/07/27(土)21:33 ID:0NY5g84g(6/7) AAS
悪くないけど、もうちょっと頑張ろうよ
765: 2024/07/27(土)21:35 ID:WhltTp7Y(11/15) AAS
煽りかた勉強したら
766: 2024/07/27(土)21:41 ID:0NY5g84g(7/7) AAS
もっとカッコいい英雄的民族圧倒的勝利宣言ができたのに(でもできない)
仮定法過去ってやつですね
1-
あと 236 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.049s