[過去ログ] 数学の本 第98巻 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
655
(1): 2024/07/17(水)11:16 ID:ZX0pBhN8(1/12) AAS
佐武一郎著『線型代数学』

別証明や別解を書くことがよくあります。
著者の理解の深さが表れていますね。
656
(2): 2024/07/17(水)11:22 ID:ZX0pBhN8(2/12) AAS
齋藤正彦著『線型代数入門』と比較されることがありますが、齋藤さんの本は、よくある普通の本ですよね。
661
(1): 2024/07/17(水)12:39 ID:ZX0pBhN8(3/12) AAS
>>660

例えば、クローシュの代数学教程(1959)に基本変形が書いてあります。
そして、階数の計算に使ったりしています。
664
(1): 2024/07/17(水)12:49 ID:ZX0pBhN8(4/12) AAS
>>662

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

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

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

あとは昔の本の良いところや悪いところはあまりないと思いますが、Sheldon Axler著『Linear Algebra Done Right Fourth Edition』は良い本です。
668
(1): 2024/07/17(水)13:18 ID:ZX0pBhN8(5/12) AAS
>>665

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

行列を基本変形して対角線上に 1 のみが並ぶようにして、その 1 の個数を階数と定義しています。
その後、階数の同値な定義は紹介されますが、最初の定義が最悪です。
これでは階数がなんで重要かが分かりにくいはずです。
670
(1): 2024/07/17(水)13:30 ID:ZX0pBhN8(6/12) AAS
行列の行空間(列空間)の次元というのが一番分かりやすいと思います。
675: 2024/07/17(水)13:43 ID:ZX0pBhN8(7/12) AAS
行ベクトル(列ベクトル)の生成する部分空間の次元のことです。
677
(1): 2024/07/17(水)13:50 ID:ZX0pBhN8(8/12) AAS
>>674

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

数学ではそういうのは重視しないのではないでしょうか?
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 を入れない。
省4
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 は一次独立。
省8
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' が得られる。
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 は一次従属。
省9
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.254s*