[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 801- 901- 2chのread.cgiへ]
Update time : 05/17 15:16 / Filesize : 216 KB / Number-of Response : 962
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

線形代数/線型代数 3



1 名前:132人目の素数さん [2005/12/15(木) 18:47:47 ]
線形代数に関する話題全般のスレッドです。

宿題の丸投げは止めましょう。

関連スレッド
前々スレ
 science3.2ch.net/test/read.cgi/math/1056170095/
前スレ
science3.2ch.net/test/read.cgi/math/1090754133/

2 名前:132人目の素数さん mailto:sage [2005/12/15(木) 18:55:08 ]
「#C が無限のとき #C × アレフゼロ = #C」がわからなかった前スレのおもしろい子、どうしてる?

3 名前:名無しさん@5周年 [2005/12/25(日) 20:09:22 ]
「理系のための線形代数の基礎」
29ページ
「U,Vがそれぞれn次元,m次元の数ベクトル空間であるとき、Vの数ベクトルn個
をとる:b1,b2,..,bn これらを、その順に並べれば、(m,n)行列
B = [[b11,b12,..,b1m],[b21,b22,..,b2m],..,[bn1,bn2,..,bnm]]
ただし、bi=[bi1,bi2,..,bim]
が得られる。この行列に対応する一次写像は、Uの基本ベクトルe1,e2,..,enを、
それぞれb1,b2,.,bnに写す一次写像である。」

この部分の意味が良くわかりません。具体的に式で表現すればどのようなこと
ですか?
行列表示と行列による一次写像が混乱してしまいます。



4 名前:132人目の素数さん [2005/12/25(日) 20:20:37 ]
定義嫁

5 名前:132人目の素数さん mailto:sage [2005/12/25(日) 20:40:14 ]
つ線型代数30講

掲示板上で説明するのマンドクセ

6 名前:3 [2005/12/25(日) 23:03:50 ]
行列表示を考えるときは最初に基底を決めておくはずだけど、この場合は明示
されていない。Uの基本ベクトルe1,e2,..,enとVの基本ベクトルe1~,e2~,..,em~
を基底と考えているとすれば、行列表示の定義により
f(e1,e2,..,en) = (e1~,e2~,..,em~)B
となり、f(ei)=bi (i=1,2,..,n)が成立するのは当たり前だと思えます。
なぜこんな事実をあえて記述しているのかが疑問。

更に
38ページ
「体Kが成分の(m,n)行列A = (a[i,j])に対し
f_A(x) = Ax (x∈K^n)
とおくと、一次写像f_A:K^m→K^nが決まる。行列Aの第j列をaj(j=1,2,..,n)
とすると、29ページでみたように、Imf_A = <a1,a2,..,an>であるから
…以下略」
とあるが、なぜ、29ページからImf_A = <a1,a2,..,an>となるのかが疑問。
行列表示と行列による一次写像は別では?
わざわざ行列表示を経由しなくてもImf_A = <a1,a2,..,an>となることは
容易にわかるのに、と思ってしまいます。

7 名前:132人目の素数さん mailto:sage [2005/12/25(日) 23:07:08 ]
それ言っちゃえば実数上の有限次元線形空間なんて
全て自明だから何も書かなくていいんだよ

8 名前:132人目の素数さん [2005/12/26(月) 14:55:54 ]
線形結合と1次結合って同じ意味なんでしょうか?

9 名前:132人目の素数さん mailto:sage [2005/12/26(月) 15:27:37 ]
そうです。
ちなみに、線形独立と一次独立も同じ意味です。

10 名前:132人目の素数さん mailto:sage [2005/12/26(月) 18:04:13 ]
線形動物と一次動物も同じですか?



11 名前:132人目の素数さん [2005/12/27(火) 18:33:10 ]
環形動物は二次動物?

12 名前:132人目の素数さん [2005/12/27(火) 18:45:32 ]
線形包茎と一次包茎は同じですか?

13 名前:132人目の素数さん [2005/12/29(木) 01:51:54 ]
学校の期末試験の過去問なんですが、教えてください。

_       _
| 1 2 3 4 |
|        |
| 4 1 2 3 |
|        |
| 3 4 1 2 |
|        |
| 2 3 4 1 |
 ̄  ̄
の固有値を全て求めよ。


余因子展開使っても行列の基本変形使っても
計算がものすごいことになってしまいます。
何か簡単な解法があるのでしょうか?

14 名前:132人目の素数さん mailto:sage [2005/12/29(木) 02:05:30 ]
>>13
> 何か簡単な解法があるのでしょうか?
ナナメのラインを良く見ろ。

15 名前:13 [2005/12/29(木) 02:17:48 ]
>>14
うーん、規則性があるのはわかるんですけど
そこから先がわかんないです…。

もうちょっとヒントもらえませんか?

16 名前:132人目の素数さん mailto:sage [2005/12/29(木) 07:59:16 ]
-2,10,-2±2i

17 名前:132人目の素数さん [2005/12/29(木) 12:32:05 ]
>>15
巡回行列式
ζを1の原始n乗根(すなわちn乗してはじめて1になる複素数)とすると
|x0 x1・・・・xn-1|
|xn-1 x0・・・xn-2|=Π(x0+ζ^ix1+・・・+ζ^(n-1)ixn-1)
|・・・・・・・・・・|  (i=0~n-1)
|x1 x2・・・・ x0 |
右辺はn個の整式の積となります。

教えたついでに、上の3と6番の書き込みについてわかる事があれば教えてください。




18 名前:132人目の素数さん [2005/12/29(木) 21:48:32 ]
代数が苦手なので教えてください。
トレースが0の行列について何か特徴とかあるでしょうか?

19 名前:132人目の素数さん [2005/12/30(金) 13:18:26 ]
age

20 名前:132人目の素数さん mailto:sage [2006/01/02(月) 04:58:37 ]
327



21 名前:132人目の素数さん [2006/01/20(金) 23:00:57 ]
>>18
複素数体の場合、交換子 AB - BA の形になる事が一つの特徴付けです。
(必要十分の意味)

22 名前:132人目の素数さん [2006/01/20(金) 23:27:30 ]
線形代数の
イイ!問題集ないですか?
大学でベクトル空間の講義が始まってからさっぱりわからなくなったorz

23 名前:132人目の素数さん mailto:sage [2006/01/21(土) 00:50:38 ]
跡って可換だから便利ですね。最近やっとそのことに気付きました。

24 名前:age [2006/01/22(日) 19:12:23 ]
>>22
大学のレベルによる。
東大・京大?
Fランク?・Gランク?

25 名前:132人目の素数さん mailto:sage [2006/01/23(月) 17:32:02 ]
>>21
どうもありがとうございました。

26 名前:132人目の素数さん mailto:sage [2006/01/24(火) 18:10:55 ]
東大・京大⇒線型代数入門・線型代数演習(斎藤 東大出版)
旧帝、地方国立⇒詳解線形代数演習(共立出版)
Fランク⇒よくわかる線形代数(石村園子)納得するシリーズ(講談社)
Gランク⇒青チャートでもやってろ
レベルで分けるとこんなもんか

27 名前:132人目の素数さん mailto:sage [2006/01/25(水) 12:03:31 ]
線形空間がいまいちイメージできないのですが
何かお勧めの本やウェブサイトありませんか?

28 名前:132人目の素数さん mailto:sage [2006/01/25(水) 16:01:59 ]
next1.cc.it-hiroshima.ac.jp/MULTIMEDIA/sendaipub/img1181.gif
↑固有値を求める時の始めの計算式ですが、
t^2-4t+4へどうやって持っていくのかご教示下さい。

29 名前:132人目の素数さん [2006/01/25(水) 16:12:10 ]
>>28
知恵遅れ?

30 名前:132人目の素数さん mailto:sage [2006/01/25(水) 16:24:17 ]
>>29
退職を機に始めてみました



31 名前:132人目の素数さん [2006/01/25(水) 16:40:56 ]

小泉は、やることなすこと米国ユダヤ様のご命令通り。犬二匹目
news18.2ch.net/test/read.cgi/news2/1136897287/

32 名前:132人目の素数さん mailto:sage [2006/01/25(水) 17:12:16 ]
28
自己解決しました。
>>29本当に有難うございました。

33 名前:132人目の素数さん mailto:sage [2006/01/25(水) 18:03:47 ]
>>29
さすがに酷いんじゃないか。

34 名前:132人目の素数さん mailto:sage [2006/01/25(水) 23:29:57 ]
>>26
ちゃんと見てないが、石村本はどれも確かに酷いが「納得する」は
ものによってはまだまともだったような希ガス。線型どうだったか・・・

>>27
何を読んでもたいして変わらん。
しばらくわからんのを我慢して、慣れる・悟るしかない。
わかってしまえば、なぜわからないのかがわからなくなる。

35 名前:132人目の素数さん [2006/01/27(金) 21:21:44 ]
線形代数って、実社会ではどんな場面で使われてるんですか?

36 名前:132人目の素数さん [2006/01/27(金) 21:40:52 ]
学生群を分類するため

37 名前:132人目の素数さん mailto:sage [2006/01/27(金) 21:43:59 ]
>>35
大学1年のうちに、数学科崩れ予備軍の大半をさっさと潰して
早急な社会復帰をうながす場面で

38 名前:132人目の素数さん mailto:sage [2006/01/27(金) 21:46:53 ]
線型代数ぐらいだとかえって崩れへの突進を強固にしてしまう可能性が・・・

39 名前:132人目の素数さん mailto:sage [2006/01/27(金) 22:05:25 ]
>>38
そこで、4月の最初に「ベクトル空間とは R-module」ですよ。

40 名前:132人目の素数さん [2006/01/27(金) 22:13:50 ]
>>33
極めて親切なヒントだと思うが。



41 名前:132人目の素数さん [2006/01/29(日) 11:13:55 ]
>>40
ま、知恵遅れの28さんは、数学だけデキて他の事は何一つできない
社会不適合でブサイクキモヲタのお前や>>29のような奴よりゃマシだけどな。

さっさと死ねば?
何か社会の役に立つ事してる?w
してないよね、数学でオナニーばっかしてる童貞クンw


42 名前:132人目の素数さん mailto:sage [2006/01/29(日) 11:52:53 ]
あれは誰が見ても自己解決できるだろ。
言い方はひどいが、あの程度を自分で調べれないなら数学辞めた方がいい。

43 名前:132人目の素数さん mailto:sage [2006/01/29(日) 12:13:13 ]
調べられないから数学やめろってのは飛躍しすぎだな。

44 名前:132人目の素数さん mailto:sage [2006/01/29(日) 16:45:31 ]
そうかねー
ちゃんと教科書読めば高校生でも理解できるレベルだろ?
意欲があるのは素晴らしいことだが、頭が追いついてない。
数学やめた方が良い、というのはまともなレスだと思うがね

45 名前:132人目の素数さん mailto:sage [2006/01/29(日) 16:47:34 ]
あ、消しちゃった

4行目の頭に
「自分で調べたりする気力も無いなら」を追加

46 名前:132人目の素数さん mailto:sage [2006/01/29(日) 18:50:43 ]
たぶん世の中やりたくて数学やってる奴ばかりじゃないと思うんだが

47 名前:132人目の素数さん mailto:sage [2006/01/29(日) 23:26:23 ]
数学者になるの辞めろってのは正しいけど
あれが解けないなら教養の単位落として大学辞めろってのはいかがなものか

まあ線型代数の教科書とノート最初から勉強し直すってのが
一番効率的で最速の方法だとは思うけどねw

48 名前:132人目の素数さん [2006/01/30(月) 00:23:47 ]
>>47
>>28 が解けなければ、大学1年の線型代数の単位は落として
もう1年やることにはなるだろうね。大学やめろとは言わないけど。

理系だったら、佐武とかでなくていいから、石村本よりまともな教科書を
1冊真面目に読んで演習問題を自分の力で解くこと。それすらできない
アホが、楽な道があると勘違いして2ちゃんにくるから叩かれるわけさ。

49 名前:132人目の素数さん mailto:sage [2006/01/30(月) 03:27:37 ]
「叩かれるわけさ(俺に)。」

50 名前:132人目の素数さん mailto:sage [2006/01/30(月) 08:14:59 ]
エルゴステロールはビタミンDの前駆体であり、λ_max=282nm
にモル吸収係数 ε=11,900 の吸収を持つ。光路長 l=1.00 で
吸光度 A=0.065 を示した場合、エルゴステロールの溶液の濃度はいくらか。

わかりません。お願いします。



51 名前:小牧愛佳 ◆u/3FmANAKA mailto:sage [2006/01/30(月) 22:29:19 ]
5.46μM

52 名前:50 mailto:sage [2006/01/31(火) 01:23:15 ]
>>51
ありがとうございました。助かりました。

53 名前:132人目の素数さん [2006/01/31(火) 02:55:14 ]
>>50ってなに?

54 名前:132人目の素数さん [2006/01/31(火) 03:00:08 ]
大いなる謎だ!


55 名前:132人目の素数さん mailto:sage [2006/02/05(日) 08:07:47 ]
335

56 名前:132人目の素数さん mailto:sage [2006/02/05(日) 19:30:44 ]
4次の行列式の各項を省略せずに書いたものってどこかで見られますか?

57 名前:132人目の素数さん mailto:sage [2006/02/05(日) 21:27:16 ]
>>56

三次の行列式は出来るなら、君のノートに書いて見られる。

第一行目の各項について、その余行列式との積の和が答えになる。

58 名前:132人目の素数さん mailto:sage [2006/02/05(日) 22:04:32 ]
>>57
その言い方でまちがってはいないけれども、おそらく、>>56 は高校生なのじゃないかな。


59 名前:132人目の素数さん mailto:sage [2006/02/05(日) 22:22:14 ]
自分の計算が合ってるかどうか確認したいんです

60 名前:132人目の素数さん mailto:sage [2006/02/05(日) 22:33:10 ]
>>59

別の解法を調べ理解したら、それでもやって見る。
三次の場合を同じ手法でやって、規則性を比べる。

行列式の一般的定義式でまともにやって見る。等を全部やれば理解が進む。



61 名前:132人目の素数さん [2006/02/06(月) 06:20:49 ]
age

62 名前:132人目の素数さん mailto:sage [2006/02/06(月) 12:37:29 ]
体K上の有限次元ベクトル空間Vとその双対空間V*があって
双対の双対V**がまたVに戻ってくる(同型)という感覚が
いまいち掴めなくて戸惑ってます。

x∈V, f∈V*, x**∈V**があったとして
V→Kの演算をf(x)、V*→Kの演算をx**(f)とする。

ここからx**とxとの関係をどのように見ていけば
同型であるという結論に辿り着くでしょうか?

基底をとって行列表現で考えてみたりもしたのですが
まだ少々混乱気味です。おそらくV上の一次形式からKへの
写像をとることの意味が理解できていないのだと思いますが。

63 名前:132人目の素数さん [2006/02/07(火) 02:24:28 ]
基底と次元の求め方がさっぱりわかりません。
rankを調べようがない場合、(R^4でx+y+z+w=0という表記しかない)どうやって求めればよいのでしょうか?

64 名前:132人目の素数さん [2006/02/07(火) 03:15:25 ]
>>62-63
基本的な理解に問題があるようなので、2ちゃんで聞くよりは
大学の先生に聞いたほうがよいです。

まあ、親切な人が出てくるのかもしれませんが…

65 名前:132人目の素数さん [2006/02/07(火) 05:30:36 ]
>>63
x+y+z+w=0でx,y,z,wのどれも零ベクトルでないなら線形独立だから、
R^4の基底と見ることができる。何を求めたいのかは分からないけども。

66 名前:132人目の素数さん mailto:sage [2006/02/08(水) 21:13:28 ]
もう・・・無理。
x
v={(y):x+y+2z=0}
z
できません助けてください

67 名前:132人目の素数さん mailto:sage [2006/02/08(水) 21:13:58 ]
ミスった
x
y
z
な感じ

68 名前:132人目の素数さん mailto:sage [2006/02/10(金) 08:21:48 ]
ああっ、もうダメッ!
ぁあ…固有値出るっ、固有値出ますうっ!!
たッ、たいかッ、対角化ーーーーーッッッ!!!
いやああああっっっ!!固有ベクトル見ないで、お願いぃぃぃっっっ!!!
ユニタリッ!エルミートーーーーーーッッッ…行列ッ!
正方行列ウウウウウッッッッ!!!!
ユークリッドおおーーーーっっっ!!!ノッ、ノルッ、ノルムゥゥゥッッ!!!
んはああーーーーっっっ!!!じ、じゅッ、じゅうかいぃぃッッ!!!
いやぁぁっ!たッ、対角化できないィィィッッ!!!
n重解ぃぃ!!固有ベクトルはm次元っっっ!!!!
むりぃぃ!!対角化むりぃぃ!!!忍耐イッ!限界ッ!忍耐限界忍耐ィィィィッッッッ!!!!
おおっ!ジョルッ!!ジョルダン標準形ィィィ!!!似てるぅぅ!!
ああっ、もうダメッ!!ジョルダン細胞ーーーーっっっ!!!
いやーーぁぁっ!こんなにいっぱい固有値出してるゥゥッ!
線形ぃぃぃぃぃぃぃっっっっ!!!!独立ぅぅッッ!!!

69 名前:132人目の素数さん mailto:sage [2006/02/11(土) 17:09:38 ]
ワロタ

70 名前:132人目の素数さん [2006/02/11(土) 18:16:33 ]
age



71 名前:誘導 mailto:sage [2006/02/22(水) 22:28:17 ]
science4.2ch.net/test/read.cgi/math/1130859786/
のカキコ

882 名前:132人目の素数さん[] 投稿日:2006/02/22(水) 12:00:39
行列式とは何ぞやと聞かれたらどうする?
どっからあんなものが出てくるの?
そもそもなんで交代的なの?


72 名前:132人目の素数さん [2006/02/23(木) 02:33:28 ]
age

73 名前:132人目の素数さん [2006/03/02(木) 15:33:28 ]
当方、文系なのですが、経済学や統計学で線形代数が支障なく使えるレベルになるには
どのくらいまで詳しく勉強すればよいですか?
どういった定理までとか、教科書や演習書の名前を挙げて教えていただけるとありがたいです。

ちなみに、大学は数学AB12で受験して、3とCはザッと独学したレベルです。

74 名前:132人目の素数さん [2006/03/02(木) 16:09:40 ]
石村おばさんに聞け

75 名前:132人目の素数さん mailto:sage [2006/03/02(木) 16:27:12 ]
自分にとって何が必要なのかをはっきりさせて勉強しないと厳しいぞ。
勉強のための勉強になっちゃうともうエンドレスだ。
別に文系だからとかじゃなくてね。

とりあえずキーワードは「対角化」「固有値」といったとこ。
本は、
おもしろそうな本: プログラミングのための線形代数
ちゃんとしててまろやかな本: 線型代数 (長谷川浩司)


76 名前:73 [2006/03/02(木) 16:49:39 ]
>>74
>>75
ありがとうございます!検討してみます。

77 名前:132人目の素数さん [2006/03/10(金) 13:28:18 ]
川久保勝夫の線形代数学ってわかりやすくていいですね。

78 名前:132人目の素数さん mailto:sage [2006/03/24(金) 19:20:55 ]
演習 線形代数(培風館、村上正康他著)を教科書として使ってるんだけど
これって問題集としてはともかく教科書としては駄書なんだろうか。

79 名前:132人目の素数さん mailto:sage [2006/03/26(日) 15:36:24 ]


80 名前:132人目の素数さん mailto:sage [2006/03/28(火) 13:49:48 ]
最近
新井仁之さんが線形代数学(日本評論社)をだしたね
あれ4000円するから教科書としてはちょっと高いけど、
専門への基礎ということで買ったほうが良いのだろうか?



81 名前:132人目の素数さん [2006/03/28(火) 22:53:07 ]
>>78
多分良くない。
村上正康なんて聞いた事無いから

82 名前:132人目の素数さん mailto:sage [2006/03/28(火) 23:12:05 ]
線型代数の本って腐る程ある割には、
数学科生には結局 佐武か斉藤ばっかり読まれるんだな。

83 名前: [2006/03/29(水) 02:02:23 ]
なんでだろう

84 名前:132人目の素数さん mailto:sage [2006/03/29(水) 03:03:23 ]
>>80
既に1冊でもお気に入りがあるんなら、新しく買うことはない。
…が、気になるね。


85 名前:132人目の素数さん mailto:sage [2006/04/10(月) 00:15:36 ]
〔問題〕 実数A〜Eについて
 A*(B+C+D) + B*(C+D+E) + C*(D+E+A) + D*(E+A+B) + E*(A+B+C) ≦ (3/5)(A+B+C+D+E)^2.
 等号成立は A=B=C=D=E のとき。
を示して下さいです。お願いします。

86 名前:132人目の素数さん mailto:sage [2006/04/10(月) 00:16:50 ]
それ線型代数なの?

87 名前:132人目の素数さん mailto:sage [2006/04/10(月) 00:38:40 ]
>85
 2次形式 (3/5)(A^2+B^2+C^2+D^2+E^2) + (1/5)(AB+BC+CD+DE+EA) - (4/5)(AC+CE+EB+BD+DA)
  = (A,B,C,D,E)F(A,B,C,D,E)~
が半正定値であることを示せばよい。

これに対する行列の固有多項式|F-xI|は

| (3/5)-x, 1/10, -2/5, -2/5, 1/10 |
| 1/10, (3/5)-x, 1/10, -2/5, -2/5 |
| -2/5, 1/10, (3/5)-x, 1/10, -2/5 | = -x{x^2 -(3/2)x +(1/4)}^2 =-x{(x-(3/4))^2 -5/16}^2 =0.
| -2/5, -2/5, 1/10, (3/5)-x, 1/10 |
| 1/10, -2/5, -2/5, 1/10, (3/5)-x |

これを解くと、固有値は λ=(3±√5)/4 >0 (重根), λ=0. よって Fは半正定値。
固有値λ=0 に対する固有ベクトルは (A,B,C,D,E)=(1,1,1,1,1).


88 名前:132人目の素数さん mailto:sage [2006/04/10(月) 01:05:35 ]
>86 たとえば

 佐武一郎: 「行列と行列式」 裳華房 (1958) 定価金三百八十円也
  W §4. 二次形式

89 名前:132人目の素数さん [2006/04/15(土) 00:37:48 ]
age

90 名前:133人目の素数 [2006/04/16(日) 00:54:59 ]
線形代数の本ていっぱい出てるけど、どうして行列が出てくるのか、がどれにも書いてなくて、いきなり演習するのが多いから本を買うのをためらう。まあ、演算→理論というのが日本の教育だ、と言う人もいるけど。



91 名前:132人目の素数さん [2006/04/16(日) 01:19:18 ]
大学一年なんですけど線形代数の良書って何かないですかね?

92 名前:132人目の素数さん mailto:sage [2006/04/16(日) 01:23:59 ]
昔は斉藤か佐竹だったと思う。今は?

93 名前:132人目の素数さん mailto:sage [2006/04/16(日) 01:39:19 ]
新井の赤い奴あったろ
あれとか、長谷川とかで勉強してみたら?

94 名前:133人目の素数 [2006/04/16(日) 12:55:41 ]
良書はその人の専門によるでしょ。計算が第一
という人への本はジョルダンまでいけばいいんじゃん。川久保勝夫の青いやつか、キーポイントってやつは有名。


95 名前:132人目の素数さん [2006/04/16(日) 13:00:01 ]
>>90
「どうして行列が出てくるのか」
どの本にも大抵書いてある。ちゃんと読みなさい。

96 名前:132人目の素数さん [2006/04/16(日) 14:11:02 ]
>>90
>演算→理論というのが日本の教育だ、と言う人もいるけど。

せいぜい高校まではなw



97 名前:132人目の素数さん mailto:sage [2006/04/16(日) 14:42:27 ]
>>90
日本の教科書はいいカッコしいの人間ばっかりが書いてるから、
そういう泥臭いことは書いてない
欧米の教科書嫁

98 名前:132人目の素数さん [2006/04/16(日) 14:48:15 ]
>>97「そういう泥臭いことは書いてない 」
そんなことは全くない。ちゃんと書いてある。

99 名前:132人目の素数さん [2006/04/16(日) 14:49:58 ]
>>98
どうして行列がでてきたの?

100 名前:132人目の素数さん [2006/04/16(日) 14:52:54 ]
線型写像を研究したいからだよ。



101 名前:132人目の素数さん [2006/04/16(日) 14:55:30 ]
そういう抽象的なこと言われても初学者にはピンとこない

102 名前:132人目の素数さん [2006/04/16(日) 15:01:49 ]
>>101
全てにピンとこないと気が済まないのか?

103 名前:132人目の素数さん [2006/04/16(日) 15:04:28 ]
すまないよ

104 名前:132人目の素数さん [2006/04/16(日) 15:14:17 ]
>>103
すまないと思うなら謝れ

105 名前:132人目の素数さん mailto:sage [2006/04/16(日) 16:47:48 ]
砂田利一の「行列と行列式」には
一応どうして行列を考えるのか、の説明がしてあったよ
ブルバキの数学史の線型代数の所(高々数ページくらい)を読むのも為になると思う

ただ線型代数の場合、かなり動機が明らかだから
あまり長々とした説明が必要だと考える著者は多くはないと思う
それに連立方程式の研究をするため、とか言われたところで
俺は連立方程式の研究なんかしたくないんだけど。したい人だけでやってよ
とか言われたらおしまいだしねwww

それに
Aをどうして研究するの?→Bの性質を調べたいから
どうしてBの性質を調べたいの?→Cについて知りたいから
どうしてCの(りゃ
とか遡っていったらいつかは必ず答えに窮することになるんだから
本当はあまりそういう質問はしちゃいけない

106 名前:132人目の素数さん [2006/04/16(日) 17:02:12 ]
>>101「そういう抽象的なこと言われても初学者にはピンとこない 」
わからないんだったら、わかるまでウンウン唸って勉強し続けなきゃ。


107 名前:132人目の素数さん [2006/04/16(日) 17:05:44 ]
行列式の定義の必然性を教えて下さい。
置換とか、訳分からん。

108 名前:132人目の素数さん mailto:sage [2006/04/16(日) 17:08:17 ]
本読め

109 名前:132人目の素数さん mailto:sage [2006/04/16(日) 17:09:39 ]
本は天下り的で分かりません。

110 名前:132人目の素数さん mailto:sage [2006/04/16(日) 17:16:56 ]
定義以外にも行列式の特徴づけとか書いてあるだろうが
天下り的って言ってみたいだけじゃねえのか



111 名前:132人目の素数さん mailto:sage [2006/04/16(日) 17:20:11 ]
勿体君だけですか。

112 名前:132人目の素数さん mailto:sage [2006/04/16(日) 17:22:37 ]
>勿体君


113 名前:132人目の素数さん [2006/04/16(日) 17:25:05 ]
>>109「本は天下り的で分かりません。」
ってそりゃ、本をただ眺めてたってわかるようにはなりませんよ。
ちゃんと読めば書いてある。一冊にこだわる必要もない。
わかるまで手当たり次第読んだり、考えたりしなさい。

114 名前:132人目の素数さん mailto:sage [2006/04/16(日) 17:54:14 ]
一応a_iをn元の縦ベクトルとして
det(a_1,a_2,a_3,.........,a_n)はn次元空間ないでa_iたちが
貼る「図形」の体積だ、と解釈することは出来るね

こういうのなんていうんだっけ?「図形」じゃなくて。。

115 名前:132人目の素数さん [2006/04/19(水) 17:49:48 ]
単体、凸体、多面体、閉包、領域、部分、…

116 名前:132人目の素数さん mailto:sage [2006/04/19(水) 17:50:19 ]
てけとーに思いついたのを列挙

117 名前:132人目の素数さん mailto:sage [2006/04/19(水) 19:59:59 ]
manifold

118 名前:132人目の素数さん [2006/04/21(金) 12:32:17 ]
>>81
いい加減なこというな。
難しくも易しくもない、地味だが癖のない良い演習書。
独学で定理の証明も欲しい人には同著者による教養の線形代数という教科書もある。

それから行列や行列式をなぜ考えるか、とか気になる人は30講でも読めばいいんじゃない?
ただ線形代数は計算に習熟したほうが理論の見通しが良くなるのでまずは手を動かして慣れてしまうのが結局は時間の節約になる。

119 名前:132人目の素数さん mailto:sage [2006/04/22(土) 23:00:54 ]
(問題)
 A,Bはn次の正方行列とする。
 αがABの固有値ならば、αはBAの固有値でもあることを示せ.

という問題なんですが、
Aが正則であればわかるのですが
正則でない場合ではどのように示せばよいのか判りませんでした。
何度もすみません。よろしくお願いします。

分かスレ237
science4.2ch.net/test/read.cgi/math/1144970716/575

120 名前:132人目の素数さん mailto:sage [2006/04/22(土) 23:03:11 ]
>>119
 A,B,E,Xはn次の正方行列とする。
 (n^2+1)変数の多項式 F(λ,X) = |λE-XB| - |λE-BX| を考える。
 Xに正則なるAを代入したときには, F(λ,A)=0. よって
 F(λ,X)・|X| =0. (恒等的に,すなわち,多項式として)
 |X|は多項式として0ではないから、F(λ,X) が多項式として0になる。よって任意のAに対し,
 |λE-AB| = |λE-BA|.

佐武: 「行列と行列式」, 裳華房 p.136, 例2



121 名前:132人目の素数さん [2006/04/22(土) 23:30:50 ]
>>120
F(λ,A)=0. よって
 F(λ,X)・|X| =0. (恒等的に,すなわち,多項式として)
ここがよくわかりません…
なぜですか?

122 名前:132人目の素数さん mailto:sage [2006/04/22(土) 23:33:19 ]
アフォだなぁ・・・

123 名前:132人目の素数さん [2006/04/22(土) 23:34:16 ]
点(x,y)を原点のまわりに反時計回りに90度回転する変換は線形変換であること、さらに、対応する行列を求めよ

124 名前:132人目の素数さん [2006/04/22(土) 23:37:01 ]
(問題)
 A,Bはn次の正方行列とする。
 αがABの固有値ならば、αはBAの固有値でもあることを示せ.

ABU=aU->BA(BU)=aBU->V=BU
BAV=aV


125 名前:132人目の素数さん [2006/04/22(土) 23:38:16 ]
F(λ,A)=0. よって
 F(λ,X)・|X| =0. (恒等的に,すなわち,多項式として)
Aが正則じゃないときはどうして成り立つんですか?
わかりません・・・

126 名前:132人目の素数さん mailto:sage [2006/04/22(土) 23:44:04 ]
アフォだなぁ・・・

127 名前:132人目の素数さん [2006/04/22(土) 23:45:38 ]
えええマジでわかりません・・・・・・・・・・・

128 名前:132人目の素数さん mailto:sage [2006/04/22(土) 23:48:08 ]
アフォだなぁ・・・

129 名前:132人目の素数さん [2006/04/22(土) 23:51:10 ]
教えてほしい。

130 名前:132人目の素数さん [2006/04/22(土) 23:53:57 ]
生息でなくても固有地があることを証明するほうがむずい・・・



131 名前:132人目の素数さん [2006/04/22(土) 23:57:23 ]
点(x,y)を原点のまわりに反時計回りに90度回転する変換は線形変換であること、さらに、対応する行列を求めよ

132 名前:119 [2006/04/23(日) 00:14:47 ]
わかりました。どうもありがとうございました。

133 名前:119 [2006/04/23(日) 00:22:14 ]
(恒等的に,すなわち,多項式として) っていうのはどういう意味ですか?

134 名前:132人目の素数さん mailto:sage [2006/04/23(日) 01:30:15 ]
(問題)
2×2実行列 A=[[a,b],[c,d]] の固有方程式が複素根λ±iμ(λ,μは実数でμ≠0)を持つとき、
2×2実行列Pで
 P^(-1)・A・P=[[λ,μ],[-μ,λ]]
となるものが存在することを示せ。

調べてみたんですが判りませんでした.
どなたか教えてください.

分かスレ237
science4.2ch.net/test/read.cgi/math/1144970716/558


>124
 a≠0 ならば v=Bu≠o が存在...

135 名前:132人目の素数さん mailto:sage [2006/04/23(日) 01:57:26 ]
>134
λ = (a+d)/2.
μ≠0 だから bc<0, μb>0 としてよい.
(例)
 P = k・[[b, 0], [(d-a)/2, μ]], k=1/(√|bμ|).
 P^(-1) = k・[[μ, 0], [(a-d)/2, b]]

136 名前:132人目の素数さん mailto:sage [2006/04/23(日) 02:21:17 ]
>>123,131
 (x,y)を位置ベクトルと見なすとき、ベクトルの和・スカラー倍を保っている。
 [[0,-1],[1,0]]

137 名前:132人目の素数さん mailto:sage [2006/04/23(日) 02:45:46 ]
(類題)
2×2実行列 A=[[a,b],[c,d]] の固有方程式が複素根λ±iμ(λ,μは実数でμ≠0)を持つとき、
2×2行列Vで
 V^(-1)・A・V = [[λ+iμ, 0], [0, λ-iμ]]
となるものが存在するか?

138 名前:132人目の素数さん mailto:sage [2006/04/23(日) 02:55:38 ]
>137
λ=(a+d)/2.
μ≠0 だから bc<0.
(例)
 V = h・[[b,b], [(d-a)/2 +iμ,(d-a)/2 -iμ]], h=1/√{b(b-c)}.
 V' = h'・[[(a-d)/2 +iμ,(a-d)/2 -iμ]], [c,c]], h'=1/√{c(c-b)}.

139 名前:132人目の素数さん [2006/04/23(日) 07:01:20 ]
シルベスター

140 名前:132人目の素数さん [2006/04/23(日) 11:35:45 ]
>>136 よくわからないです(>_<)



141 名前:132人目の素数さん [2006/04/23(日) 11:44:51 ]
(x,y)->(-y,x)
A(x,y)=(-y,x)
A(xe1+ye2)=(-ye1+xe2)
e1->e2
e2->-e1
A=(0,1,-1,0)

142 名前:132人目の素数さん [2006/04/23(日) 17:42:02 ]
点(x,y)を原点のまわりに反時計回りに90度回転する変換は線形変換であること、さらに、対応する行列を求めよ
解き方を教えてください↓

143 名前:132人目の素数さん [2006/04/23(日) 17:48:53 ]
点(x,y)を原点のまわりに反時計回りに90度回転する変換は線形変換であること、さらに、対応する行列を求めよ
解き方を教えてください

144 名前:132人目の素数さん mailto:sage [2006/04/23(日) 17:54:42 ]
A(1,0) = (0,1)
A(0,1) = (-1,0)
から
  ( 1 0) (0 -1)
A ( ) = ( )
( 0 1) (1 0)

145 名前:132人目の素数さん mailto:sage [2006/04/23(日) 18:25:09 ]
点(x,y)を原点のまわりに反時計回りに90度回転する変換は線形変換であること、さらに、対応する行列を求めよ
解き方を教えてください(><)

146 名前:132人目の素数さん mailto:sage [2006/04/23(日) 21:45:52 ]
                          ┌-―ー-';
                          |(´・ω・`)ノ 知らんがな
               ____     上―-―'    ____
              | (´・ω・`) |   /  \       | (´・ω・`) |
               | ̄ ̄ ̄ ̄   ( ̄ ̄ ̄)       | ̄ ̄ ̄ ̄
                 ∧        ([[[[[[|]]]]])     ,∧
            <⌒>        [=|=|=|=|=|=]   <⌒>
           /⌒\       _|iロi|iロiiロi|iロ|_∧ /⌒\_
           ]皿皿[-∧-∧|ll||llll||llll||llll|lll| ̄|]皿皿[_|
           |_/\_|,,|「|,,,|「|ミ^!、|]|[|]|[|][]|_.田 | ∧_  ]
           | . ∩  |'|「|'''|「|||:ll;|||}{|||}{|||}{|||}{|,田田.|__|
           | ̄ ̄ ̄ ̄|「| ̄ ̄||[[|門門門|]]|[_[_[_[_[_[
          /i~~i' l ∩∩l .l ∩ ∩  l  |__| .| .∩| .| l-,
       ,,,,,='~| | |' |,,=i~~i==========|~~|^^|~ ~'i----i==i,, | 'i
         | l ,==,-'''^^  l  |. ∩. ∩. ∩. |  |∩|   |∩∩|  |~~^i~'i、
      ,=i^~~.|  |.∩.∩ |,...,|__|,,|__|,,|__|,,|__|,....,||,,|.|,.....,||,|_|,|.|,....,|   | |~i
     l~| .|  | ,,,---== ヽノ    i    ヽノ~~~ ヽノ   ~ ソ^=-.i,,,,|,,,|
    .|..l i,-=''~~--,,,  \  \  l   /   /    /  __,-=^~
    |,-''~ -,,,_  ~-,,.  \ .\ | ./   /  _,,,-~   /
     ~^''=、_ _ ^'- i=''''''^~~~~~~~~~~~~~~~~~~~~^''''''''=i -'^~
           ~^^''ヽ ヽ  i kingキャッスル /  /  ノ
              ヽ  、 l  |  l  l / ./  /
                 \_ 、i ヽ  i  /   ,,=='
                  ''==,,,,___,,,=='~



147 名前:GiantLeaves ◆6fN.Sojv5w [2006/04/23(日) 22:57:35 ]
talk:>>146 私の城を用意してくれるのか?

148 名前:132人目の素数さん mailto:sage [2006/04/24(月) 00:07:44 ]
ずれまくったね…orz

A=2x2行列, x, y u, v をベクトルとして

Ax = u, Ay = v

としたとき、

A(x y) = (u v)

ってできますよね。これってどう説明したらいいですかね…

149 名前:132人目の素数さん mailto:sage [2006/04/24(月) 00:11:14 ]
Ax=u, Ay=v
[Ax Ay]=[u v]
A[x y] = [u v]

150 名前:132人目の素数さん mailto:sage [2006/04/24(月) 00:15:18 ]
>>149
dd
こんなのもできなくなっちゃった…orz



151 名前:132人目の素数さん mailto:sage [2006/04/24(月) 00:15:59 ]
ブロック行列とか調べたら良いんでないかな

152 名前:132人目の素数さん [2006/04/24(月) 01:29:32 ]
簡単な問題かと思われるんですが、書き込んでもよろしいものですかね?

153 名前:132人目の素数さん mailto:sage [2006/04/24(月) 01:38:17 ]
>>152
書いてみては如何でしょう?

154 名前:132人目の素数さん [2006/04/24(月) 01:41:27 ]
テキストを見ても全然分からないので、書き込ませて頂きます。

問題は逆関数なんですが、y=x+√(2x+2)の逆関数と
その定義域と値域を求めよ。です。

簡単かもしれませんが、よろしければ教えて頂ければありがたいです。

155 名前:132人目の素数さん mailto:sage [2006/04/24(月) 02:07:38 ]
そのどこが線型代数なのかと
線型代数の教科書にあったとかかな

定義域は、定義できる範囲を答えよって意味でいいのかな

156 名前:132人目の素数さん [2006/04/24(月) 02:11:28 ]
そうです。

157 名前:132人目の素数さん [2006/04/24(月) 02:12:23 ]
逆関数が解ければなんとかなりそうです。

158 名前:132人目の素数さん mailto:sage [2006/04/24(月) 03:07:41 ]
>157
x = y+1 - √(2y+3), y≧-1, x≧-1.

159 名前:132人目の素数さん [2006/04/24(月) 22:00:03 ]
線形写像かどうかを調べよって問題が出てるんだけど、どうすればいいのか分からん…

160 名前:132人目の素数さん mailto:sage [2006/04/24(月) 22:19:38 ]
俺はあほだから、昔の高校生の参考書に一次変換(代数幾何って科目)ってのが
あってそれ読んだ。とてもわかりやすかった。



161 名前:132人目の素数さん [2006/04/24(月) 23:02:30 ]
>>159
f(λa+μb)=λf(a)+μf(b)
になるかどうかを調べればよい。

162 名前:159 [2006/04/25(火) 00:24:10 ]
>>161
教科書読んでたら何となく分かってきた。やってみる。

163 名前:132人目の素数さん mailto:sage [2006/05/02(火) 18:04:04 ]
(a, b)と(c, d)の内積ってどうしてac+bdなの?

164 名前:GiantLeaves ◆6fN.Sojv5w [2006/05/02(火) 18:19:41 ]
talk:>>163 内積の線形性、そして(a,b)·(a,b)=a^2+b^2>=0 となって、 (a,b)·(a,b)=0ならば(a,b)=(0,0)となって内積の性質を満たす。

165 名前:132人目の素数さん mailto:sage [2006/05/02(火) 18:21:56 ]
(a, b)と(c, d)の内積ってどうしてac+bdなの?
だれか答えてください。

166 名前:132人目の素数さん mailto:sage [2006/05/02(火) 18:33:26 ]
話が逆。ac+bd が便利なのでそれに内積という名前を付けた。

167 名前:132人目の素数さん mailto:sage [2006/05/02(火) 23:47:03 ]
>>163
二次元ベクトル空間の任意の2つの元u,vは、その基底{e1,e2}と
任意の係数a,b,c,d∈R(一般に体Kでもよい)を使って
u = a*e1 + b*e2
v = c*e1 + d*e2
と表せる.

ベクトルuとvの「積」は、分配法則と記号∧を使って
u∧v = (a*e1 + b*e2)∧(c*e1 + d*e2)
= (ac)e1∧e1 + (ad)e1∧e2 + (bc)e2∧e1+(bd)e2∧e2
と、(とりあえず)書くことにする.

ここで,
ei∧ej = 1 … iとjが等しいとき
ei∧ej = 0 … iとjが異なるとき

というルールを取り入れたとすると

u∧v = ac*1 + ad*0 +bc*0 + bd*1 = ac + bd

このような積を記号<u,v>(またはu・v)で表し
特に「内積」と呼ぶことにする。

つまり同じ基底にかかる係数同士の積を
それぞれとって全部足したもののこと。

ちなみに外積は
ei∧ej = 0 … iとjが等しいとき
ei∧ej = -ej∧ei = e3 … iとjが異なるとき
で、e3はe1とe2の両方に直交する新たな基底としたとき。
u×v = (ad)*e3 + (bc)*(-e3) = (ad-bc)e3

168 名前:163 mailto:sage [2006/05/03(水) 00:14:36 ]
>>167
すげーーーーー
結局は基底の性質とやらに帰着するのか!!!!!
すげーーーーーー
なんか数学ってヤツの真髄の断片に触った気がしてきたぞ!

169 名前:132人目の素数さん mailto:sage [2006/05/03(水) 00:16:48 ]
(○口○*) ポーカン

170 名前:163 mailto:sage [2006/05/03(水) 00:17:20 ]
基底の性質を認めちゃえば、三角不等式が自然に出てくるな・・・。
キレイすぎて気持ち悪い・・・。



171 名前:132人目の素数さん mailto:sage [2006/05/03(水) 00:35:53 ]
>>168
全然触ってないから安心しる。

172 名前:132人目の素数さん mailto:sage [2006/05/03(水) 00:53:04 ]
内積って基底の取り方に依存するの?

173 名前:132人目の素数さん mailto:sage [2006/05/03(水) 01:33:18 ]
するよ

174 名前:132人目の素数さん mailto:sage [2006/05/03(水) 02:15:54 ]
オラ、なんだかワクワクしてきたぞ!

175 名前:132人目の素数さん mailto:sage [2006/05/03(水) 03:36:13 ]
とりあえず>>163が頭悪いということは分かった

176 名前:132人目の素数さん mailto:age [2006/05/03(水) 20:27:42 ]
斉藤正彦著「線型代数入門」の定理[2.10]の証明で躓いてしまった。
途中まではわかったが、
「第i列がΔに入っていて、第j列が入っていない場合は、」以降が
よくわからん。
「Δ1に対応するBの小行列式をΔ1’とすれば、・・・」
とはどういうことなの?

177 名前:132人目の素数さん mailto:sage [2006/05/03(水) 23:24:40 ]
池沼

178 名前:132人目の素数さん mailto:sage [2006/05/03(水) 23:38:00 ]
どういうことなのっていっても
わざわざ本開いて調べないといけないからなあ

179 名前:132人目の素数さん mailto:sage [2006/05/04(木) 00:58:18 ]
>>173
本当?

180 名前:132人目の素数さん mailto:sage [2006/05/05(金) 06:59:53 ]
線形代数では行列式、行列の変形が度々出てくるのですが、
これらは他の分野でも出てくるものなんですか?



181 名前:132人目の素数さん mailto:sage [2006/05/06(土) 21:43:17 ]
有限体上のn次元ベクトル空間GF(p)^nで
直交(内積)とかいう概念って使えるんでしょうか?

たとえばu, v ∈ GF(2)^nがあって
内積<u,v>=0 ⇒ uとvは直交(独立)している
とかいう・・

182 名前:132人目の素数さん [2006/05/07(日) 02:15:20 ]
証明問題の解説が詳しい(わかりやすい)参考書
ってどれですかね?個人的な皆さんの意見をき
かせてください。


183 名前:132人目の素数さん mailto:sage [2006/05/07(日) 02:31:47 ]
5月って感じの流れになりましたな〜

184 名前:132人目の素数さん mailto:sage [2006/05/07(日) 02:35:04 ]
>>182
斉藤正彦の演習で十分。

これが難しい人は「証明問題の解説が詳しい」とか言わずに
サイエンス社あたりの演習書で手を動かして身体で身につける。

これが物足らない人は、佐武の発展課題のところまで読むか・・・
先走って代数の教科書を読むといいんじゃね?

185 名前:132人目の素数さん [2006/05/07(日) 20:02:55 ]
A=EAの証明で型が等しいことを言った後、成分
ってどのようにあらわせばいいんでしょうか?

186 名前:池沼 ◆DQNDQNoRgs [2006/05/07(日) 20:20:29 ]
www.hellplant.org/cgi-bin/xoor/serpent.cgi

187 名前:132人目の素数さん mailto:sage [2006/05/07(日) 20:44:42 ]
↑ブラクラ

188 名前:132人目の素数さん [2006/05/08(月) 20:29:04 ]
>>184
サイエンス社のって【演習と応用 線形代数】ってやつですよね?


189 名前:132人目の素数さん [2006/05/09(火) 08:56:08 ]
余因子行列に関して質問です。

行列 A の余因子行列が欲しい場合、
A が正則なら逆行列と行列式から求まりますよね。
プログラム的にはこれらを同時に求められるアルゴリズムがあるので、
この場合は余因子行列は O(N^3) で簡単に求まります。

問題は A が正則でない場合です。
この場合は上記の作戦が使えません。
「余因子行列を求める」ような状況が少ないのか、
検索してもこのような場合の効率的な余因子行列の求め方が
あるともないとも見つかりませんでした。

1つずつ地道に余因子を求めることもできますが、
行列式の計算を何度もすることになるので
決して効率がいいとは言えません。
何かいい方法はありませんか?

190 名前:132人目の素数さん [2006/05/12(金) 15:24:03 ]
1次の正方行列は括弧を除けてスカラーとみなす、と本にありますが
行列だとしたら積は制約されるのに、スカラー倍なら自由です。
矛盾してないでしょうか?



191 名前:132人目の素数さん mailto:sage [2006/05/12(金) 18:05:50 ]
だから「積」「スカラー倍」と言葉を使い分けるんだよ。

192 名前:132人目の素数さん mailto:sage [2006/05/12(金) 21:30:41 ]
スカラー倍って要するに直積じゃない?

193 名前:132人目の素数さん mailto:sage [2006/05/12(金) 21:52:16 ]
なんで?

194 名前:132人目の素数さん [2006/05/12(金) 22:23:43 ]
ぷ〜

195 名前:132人目の素数さん mailto:sage [2006/05/12(金) 22:44:31 ]
(a) ⊗
(e f)
(g h) =
(ae af)
(ag ah)

196 名前:132人目の素数さん [2006/05/13(土) 00:45:52 ]
大学1〜2年までの線形代数を独学するのに適した参考書を教えてもらえないでしょうか?

197 名前:132人目の素数さん mailto:sage [2006/05/13(土) 00:57:35 ]
専門や目的を具体的に書かないと斉藤か佐竹という答えしかかえって来ないと思う。

198 名前:132人目の素数さん mailto:sage [2006/05/13(土) 00:59:58 ]
>>196
独学するなら笠原かな。

199 名前:132人目の素数さん [2006/05/13(土) 01:08:06 ]
196
すいません。いまほとんど数学をやらない学部にいるのですが、数学科に転部したいと思っておりまして

200 名前:132人目の素数さん mailto:sage [2006/05/13(土) 01:44:05 ]
転部したいなら、数学科の事務でシラバスか何かもらって、
そこの大学で使ってる教科書をまず見てみる。



201 名前:132人目の素数さん mailto:sage [2006/05/13(土) 13:36:09 ]
転部する前に就職先を良く調べておくことも必要

202 名前:132人目の素数さん [2006/05/13(土) 14:29:14 ]
>>201
いや、それは調べてもどうせ無駄だから、やる必要はないw

203 名前:132人目の素数さん mailto:sage [2006/05/15(月) 09:14:55 ]
3次の実対称行列を直行行列によって対角化する。
これ計算するのにどれくらいかかってる?

204 名前:132人目の素数さん mailto:sage [2006/05/15(月) 10:41:24 ]
とりあえず対角化のオーダーは O(N^3) だが、
実際の計算時間は環境次第。

205 名前:132人目の素数さん [2006/05/15(月) 11:16:27 ]
線型代数 著者長谷川
www.amazon.co.jp/gp/aw/d.html/ref=ms_b_a_1_p1/250-3368021-9949833?a=4535783713&tid=1147659328
って本どう?
理科大から、東北大学行きたいの〜
生協に売ってない(´・ω・`)

206 名前:132人目の素数さん [2006/05/15(月) 14:45:38 ]
松坂和夫:線型代数入門
www.amazon.co.jp/exec/obidos/ASIN/4000055569/qid=1147011146/sr=1-1/ref=sr_1_2_1/503-0792667-3256753

これ読んだことある人いる?
アマゾンでは結構人気あるみたいなんだけどさ。
感想とかオススメの可否とか教えてくらさい。

207 名前:132人目の素数さん mailto:sage [2006/05/15(月) 17:07:20 ]
>>206
もう手に入んないよ

208 名前:132人目の素数さん [2006/05/15(月) 18:10:29 ]
や、俺の知りうる範囲では古本屋とかで簡単に手に入るよ。

209 名前:132人目の素数さん mailto:sage [2006/05/15(月) 18:23:14 ]
ソーヤー 線形代数とは何か 岩波書店

って本はわかりやすい。

ちょっとくどいぐらいクドクドと書いてあって分厚いアメリカの教科書の典型だけど、
行間埋めなくて良いから、読み物感覚で読めるよ。

210 名前:208 [2006/05/15(月) 19:34:09 ]
てか今手に入れたw



211 名前:132人目の素数さん [2006/05/19(金) 11:37:23 ]
線形代数の参考書ではなく問題集のようなものでおすすめはありますか?

212 名前:132人目の素数さん mailto:sage [2006/05/19(金) 11:42:24 ]
>>211
貴方のレベルによりけり

213 名前:132人目の素数さん [2006/05/19(金) 11:50:53 ]
>>211
齋藤正彦『線型代数演習』東京大学出版会が標準的な演習書。
教科書の演習問題だけでも十分な気がする。

214 名前:132人目の素数さん [2006/05/19(金) 11:56:52 ]
ありがとうございます。
レベルは大学で習い出した程度の初心者ですが、テストで満点を取りたいので…
教科書の問題でもきちんとやれば大丈夫ですかね

215 名前:132人目の素数さん [2006/05/19(金) 18:16:53 ]
>>190
とてもよい質問です
担当の先生にきいて困らせてあげてください

216 名前:132人目の素数さん [2006/05/20(土) 03:01:19 ]
>>190
行列だとどの様な制約があるの?

217 名前:132人目の素数さん mailto:sage [2006/05/20(土) 03:15:20 ]
行列とスカラーの積が
行列積と同じものだと誰が決めたというのだ。

218 名前:132人目の素数さん mailto:sage [2006/05/20(土) 14:03:29 ]
(問)
空間内に3点A(-2,2,8),B(2,0,1),C(0,4,5)
がある。この3点を通る平面の方程式を求めよ
_____________________

これはどう解くのでしょうか?
公式のa(X-X。)+b(Y-Y。)+c(Z-Z。)=0
に、(X。,Y。,Z。)=(-2,2,8)を代入すると
a(X+2)+b(Y-2)+c(Z-8)=0
とおけ、B点とC点を通るから
(X,Y,Z)= (2,0,1), (0,4,5)
を代入する。

上記を今度はB(2,0,1)を通る平面と考えて、
a(X-2)+bY+c(Z-1)=0
とし、
C点を通るから
(X,Y,Z)= (0,4,5)
を代入する。
こうやってabcの式を3つ作って連立方程式で解く。
だけどこれだと同じ文字を含んだ両辺が左辺=右辺となってしまい、どうしてもabcが求まりません。

どう解けばよいのでしょうか?連立方程式の根本的な考え方が間違っていますか?

219 名前:132人目の素数さん mailto:あげ [2006/05/20(土) 14:04:24 ]
age忘れた。。。

220 名前:132人目の素数さん mailto:sage [2006/05/20(土) 14:08:52 ]
スレ違いでした。
逝ってきまつ



221 名前:132人目の素数さん [2006/05/20(土) 17:19:16 ]
2/2=1

222 名前:132人目の素数さん mailto:sage [2006/05/23(火) 20:06:24 ]
小寺平次の演習書は線形代数も微積も読みやすいんだが問題自体が少々簡単過ぎる

223 名前:132人目の素数さん mailto:sage [2006/05/23(火) 20:26:55 ]
斉藤雅彦のやつにミスがあるそうです。

224 名前:132人目の素数さん mailto:sage [2006/05/23(火) 23:28:43 ]
どこにあるか書かないと、そうですか、で終わってしまうような

225 名前:132人目の素数さん [2006/05/26(金) 22:27:39 ]
>199 俺と一緒だ!!俺も工学部に入ったんだけど、編入で数学科に行きたいと思ってる。
お互いがんばろうな!!

226 名前:132人目の素数さん mailto:sage [2006/05/26(金) 22:42:32 ]
まわりの工学系の連中はただ解き方を知ってるだけです。
なにせやつらは写像も直積も線形性もその言葉すら知らないのですから。
もしぼくが数学科にいってたら代数を専門に勉強したかったとです。

227 名前:132人目の素数さん mailto:sage [2006/05/26(金) 22:55:28 ]
工学系の中にいるからちょっと数学が出来る自分に自信を持てるのであって、
そのまま数学科に来たらきついことになると思うんだが。

228 名前:132人目の素数さん mailto:sage [2006/05/26(金) 22:58:34 ]
別に数学で食ってこうとか血迷わない限りどうってことない

229 名前:132人目の素数さん mailto:sage [2006/05/26(金) 23:38:57 ]
わたしは別に数学ができるとはこれぽちも思ってません。
(下手の横好きみたいな感じです)
ただ、工学部にいると数学のおもしろさ(問題が解けるのが
楽しいとかではなくて)に気づくきっかけになかなか巡り会えない
ことを残念に思ってるんです。
もちろん、工学部でももとから数学が好きな人とか
東大・京大な人たちとかは別だと思いますが。

近頃やっと興味もって勉強始めて愕然としました。
オレら数学の「す」の字もやってなかったんだな…って。

ひとりごとすみません。

230 名前:132人目の素数さん mailto:sage [2006/05/26(金) 23:59:24 ]
学生1年の頃、教養部で微積と線形代数習っていたんだけど、
微積の泥臭さ(?)に比べて、線形代数がえらくすっきりというか、
綺麗すぎるように思えて、変な感じだったな…
何でそんな風に思ったんだろう…



231 名前:132人目の素数さん mailto:sage [2006/05/27(土) 00:06:12 ]
そりゃ、線型ってめちゃくちゃ”良い”性質だもん

232 名前:132人目の素数さん mailto:sage [2006/05/27(土) 00:12:27 ]
加えて、一年でやる解析って実解析だから、
確かに泥臭いやね。

233 名前:132人目の素数さん mailto:sage [2006/05/27(土) 00:17:08 ]
解析好きな人ってブリーフ派なのかな?

234 名前:132人目の素数さん mailto:sage [2006/05/27(土) 09:09:09 ]
数学科に編入はやめとけ。工学のが就職いいんだし。
数学は趣味でやればいいよ。

235 名前:132人目の素数さん [2006/05/27(土) 16:19:24 ]
ほんと数学科ってのはヤバイよな。
数学が得意な秀才ってだけじゃ数学で食っていくのは難しい。
自分の才能ってのは買いかぶりがちだから、自分が普通の奴より数学が
出来るからって数学科に行くのはやめたほうがいい。

俺はガウス級の数学の超天才に違いないと思うくらいで初めて
数学科に入るのを考えていい。
それでも、まったく数学者として成功の保障はないが。

236 名前:132人目の素数さん [2006/05/27(土) 16:21:35 ]
そんな大げさな

237 名前:132人目の素数さん [2006/05/27(土) 17:40:08 ]
大げさかどうか実際に聞いてみろよ。ポスドクとかに。

238 名前:132人目の素数さん mailto:sage [2006/05/27(土) 17:43:59 ]
>235
たしかに、できる奴ほど自分の才能に半信半疑らしい。Riemannなどもそうだったという話を読んだことがある。逆にできない奴ほど才能があると思いがちなのだろう。反省!

239 名前:132人目の素数さん mailto:sage [2006/05/27(土) 17:50:06 ]
>>229は純粋に数学の美しさを見ていることが伝わる。並みの数学科の連中より才能があると思われる。自分の思う道を進めばいいとおもう。

240 名前:132人目の素数さん mailto:sage [2006/05/27(土) 17:53:20 ]
>>192の直積の意味はKroneckerProductのことだろう。だけど直積とは別と考えるべき。なぜならそれだけの意味がないから。



241 名前:234 mailto:sage [2006/05/28(日) 17:55:57 ]
>>235
数学で食ってく気ではなく、
就職が少し悪いの覚悟なら別にいいと思うぞ。
教職取って高校の数学教師とかいうのもあるしな。
ただ工学部から編入するメリットはないよな。
まあ数学を勉強するのが好きって奴なら
単位を取るのが楽というぐらいか。

242 名前:132人目の素数さん mailto:sage [2006/05/29(月) 19:30:56 ]
一ヶ月程度で終わる演習書で良いのない?

黄色本はちょっと量が多い…。

243 名前:132人目の素数さん mailto:sage [2006/05/29(月) 19:36:41 ]
斉藤のだって院試前とかに頑張って一週間で終わらせる人もいるわけで

244 名前:132人目の素数さん mailto:sage [2006/05/29(月) 23:09:29 ]
工学部なので…。と言い訳。

245 名前:132人目の素数さん mailto:sage [2006/05/30(火) 08:56:40 ]
クライツィグ「線形代数とベクトル解析」

246 名前:132人目の素数さん [2006/06/07(水) 20:03:50 ]
ベクトル空間Vの部分空間WとW´について、
W∩W’が部分空間になっているのは何故ですか?

247 名前:132人目の素数さん [2006/06/07(水) 20:06:20 ]
>>246
部分空間になる理由は知らないけど、W∩W’が部分空間になることは簡単に証明される。

248 名前:132人目の素数さん [2006/06/07(水) 20:11:35 ]
その証明はどのようにして行うのですか?

249 名前:132人目の素数さん [2006/06/07(水) 20:12:27 ]
部分空間の定義を満たすことを確認するだけ

250 名前:132人目の素数さん [2006/06/07(水) 20:12:41 ]
質問です。

要素nの行列Aが固有値λ(i) {i=1,2, ,n}を持つ時 
(A v|(i) = λ(i) v|(i) (v|はベクトルです))

Aのべき乗A^nは固有値のべき乗λ(i)^nに等しくなる
(A^nの固有値はλ(i)^n)

もしくは
A^n v|(i) = λ(i)^n v|(i)

となるのでしょうか?もしなるとしたら証明もお願いします



251 名前:132人目の素数さん mailto:sage [2006/06/07(水) 21:30:03 ]
>A^n v|(i) = λ(i)^n v|(i)

証明も何も、Aをかけていくだけ。

252 名前:132人目の素数さん [2006/06/09(金) 00:36:52 ]
有限次元部分空間Wの線形変換が全射のとき、単射になっていることの証明を教えてください。

253 名前:king 氏ね mailto:sage [2006/06/09(金) 03:21:08 ]
f:W→W を線形変換とすると
dim W + dim ker f = dim Im f
全射なら dim W = dim Im f なんで
dim ker f = 0
だから単射

254 名前:132人目の素数さん [2006/06/09(金) 10:08:46 ]
質問

B=CA C正則
C=T1(1m)T2(1m)T3(1m)T4(1m)T5(1m)…Tk(1m)
CA=T1(T2(T3(T4(T5・・・(Tk(A)・・・)

何を証明しているのかわかりません><

255 名前:博士 [2006/06/09(金) 15:04:23 ]
 私は博士だが、今まで数学をやってきて、
数学の才能について何度も深く考えた。
さっき>>235が数学の才能について言っていたが、>>235がいうような数学の才能とは何か?
私が、思う数学の才能とは、どれだけ長い間、夢中になって考えられるかだと思う。
問題が解けるとか解けないとか、理解できるか理解できないかではない。


256 名前:博士 [2006/06/09(金) 15:06:42 ]
本などを読んで数学を勉強してるようじゃ、下の下。
院生ぐらいになれば、もう本はいらない。
本を読んでいれば、独創的な数学は決して生まれない。
 


257 名前:132人目の素数さん [2006/06/09(金) 16:47:02 ]
>本を読んでいれば、独創的な数学は決して生まれない。

独創的な表現過ぎて・・・余り

258 名前:132人目の素数さん [2006/06/09(金) 17:24:12 ]
>>252 名前:132人目の素数さん :2006/06/09(金) 00:36:52
>>有限次元部分空間


どうして部分なんだ?


259 名前:GiantLeaves ◆6fN.Sojv5w [2006/06/09(金) 17:44:42 ]
talk:>>253 そのハンドルネームは何だよ?

260 名前:132人目の素数さん mailto:sage [2006/06/09(金) 18:59:07 ]
>>256
アイデアを嗅ぎ取る為に、本を眺める効用はあると思う。
(本を熟読するのは、修士1年まで)



261 名前:博士 [2006/06/09(金) 20:07:01 ]
>>260まあ、修士1年ぐらいまでならいいだろ。

262 名前:132人目の素数さん mailto:sage [2006/06/09(金) 20:17:03 ]
行列式の計算方法について、四次以上はサラスの方法が使えない理由はなぜですか?
なんで0〜3次まではああいうたすきがけで行列式が求まってしまうのですか?

263 名前:132人目の素数さん mailto:sage [2006/06/09(金) 20:27:31 ]
たまたま

264 名前:264番目 [2006/06/09(金) 20:55:51 ]
>>262さんへ
4次の行列式は24個のたすきがけを覚える気があれば値が求まります。
普通は4個の3次行列式の和に分解してサラスの方法で計算するか、
行列式の基本定理を用いて対角行列の形に変形して値を求めます。

265 名前:132人目の素数さん mailto:sage [2006/06/09(金) 21:03:20 ]
>>264
a_11*a_22*a_34*a_43 みたいな項が出てくるものを
「たすきがけ」とは普通は言わないだろう。

266 名前:king 氏ね mailto:sage [2006/06/09(金) 21:06:51 ]
俺的には3次もたすきがけとは思わない

267 名前:264番目 [2006/06/09(金) 21:11:56 ]
>>264さん
そうですね。適当な言葉を教えてください。

268 名前:GiantLeaves ◆6fN.Sojv5w [2006/06/09(金) 22:25:16 ]
talk:>>266 お前に何が分かるというのか?

269 名前:132人目の素数さん mailto:sage [2006/06/09(金) 22:28:59 ]
俺的には1次もたすきがけとは思わない

270 名前:132人目の素数さん mailto:sage [2006/06/09(金) 22:31:18 ]
>>265
「一般たすきがけ」
「拡張されたたすきがけ」
「高次たすきがけ」
「帰納たすきがけ」
「対称群たすきがけ」



271 名前:132人目の素数さん mailto:sage [2006/06/09(金) 23:41:39 ]
「たすき」と言われて交差して結ぶ様を
思い浮かべられる世代もそろそろ終わりか。

272 名前:132人目の素数さん [2006/06/09(金) 23:46:11 ]
「帯に短し、たすきに長し」

はさみで切って、たすきとして使えばいいんじゃないの?

273 名前:132人目の素数さん mailto:sage [2006/06/10(土) 00:02:55 ]
「たすきがけ」の意図する「たすき」は
選挙とか駅伝のそれとはまた違うしね

274 名前:132人目の素数さん mailto:sage [2006/06/10(土) 00:04:08 ]
対称群って、元々は何を目的に生まれてきたの?

275 名前:132人目の素数さん mailto:sage [2006/06/10(土) 14:30:46 ]
性質を調べやすいからじゃね?理論ってそういうところあるじゃん。

276 名前:132人目の素数さん mailto:sage [2006/06/16(金) 02:09:09 ]
738

277 名前:132人目の素数さん [2006/06/20(火) 20:05:21 ]
すみません。以前>>250を質問したものですが、

>>A^n v|(i) = λ(i)^n v|(i)
>証明も何も、Aをかけていくだけ。

やっぱり分かりません。
両辺にAを掛けていくと、右辺は

A^(n-1)λ(i) v|(i)

となると思うのですが、それがどうしてλ(i)^n v|(i)
となるのでしょうか?

278 名前:132人目の素数さん mailto:sage [2006/06/20(火) 20:07:38 ]
λ(i)はスカラーじゃないのか

279 名前:132人目の素数さん mailto:sage [2006/06/21(水) 14:55:45 ]
木村英紀の線形代数の本の評価はどうなの?
長谷川の本がわかりにくかったからこれ買ってみようと思うんだけど。

280 名前:132人目の素数さん mailto:sage [2006/06/21(水) 23:44:48 ]
線型代数はほぼ書くべき内容にコンセンサスがあるからどれ読んでも本質的な部分は一緒だよ。
あれこれ手を出さずにどれか一冊を一生懸命嫁。



281 名前:132人目の素数さん [2006/06/22(木) 17:58:17 ]
ベキ零行列の固有方程式の解は0しかない
というのは正しいですか?

282 名前:132人目の素数さん [2006/06/22(木) 18:00:23 ]
だよ

283 名前:132人目の素数さん mailto:sage [2006/06/22(木) 19:11:00 ]
長谷川のあれを読んでもわからないのなら何を読んでもムダだろう

284 名前:132人目の素数さん [2006/06/23(金) 16:33:13 ]
>>283
長谷川はこのごろ線型の代表選手になったのか?

285 名前:132人目の素数さん [2006/06/23(金) 16:34:59 ]
そんなことはない

286 名前:132人目の素数さん mailto:sage [2006/06/23(金) 21:56:33 ]
書くべき内容にコンセンサスがあるっつうか
誰かの書いた本を猫も杓子も真似してるだけだと思うけどね

287 名前:132人目の素数さん mailto:sage [2006/06/24(土) 00:20:35 ]
猫も杓子も

雨後の筍

288 名前:頭固い一回生 [2006/06/25(日) 04:56:15 ]
簡約化の計算を早く正確に解くコツを教えて

289 名前:132人目の素数さん mailto:sage [2006/06/30(金) 00:15:56 ]
エルミート行列A_rは r次の三重対角形で 副対角要素は0でないとする。

このとき、A_rの固有値はすべて相異なる、でつか?

290 名前:132人目の素数さん mailto:sage [2006/06/30(金) 01:00:49 ]
>289
 つ [スツルムの分離定理]

 n次行列Xの固有値を λ_1{X} ≧ λ_2{X} ≧ …… ≧ λ_n{X} とおく。

(略証) 次数rについての帰納法による。
r=2 のとき、|A_2 -xI| = {a(1,1)-x}{a(2,2)-x} - a(1,2)a(2,1) = (x - Tr/2)^2 - D.
 λ_1 = (Tr/2) + √D, λ_2 = (Tr/2) -√D.
 ここに Tr = a(1,1) + a(2,2).
 題意より a(1,2) = a(2,1)~ ≠0.
 D = (1/4){a(1,1)-a(2,2)}^2 + |a(1,2)|^2 > 0.
 ∴ λ_1 > (Tr/2) > λ_2.

r>2 のとき
 |A_(r+1) -xI| = |A_r -xI|a(r+1,r+1) - |A_(r-1) -xI|a(r,r+1)a(r+1,r),
 ここに a(r,r+1) = a(r+1,r)~ ≠ 0.
 x=λ_k{A_r} (k=1,2,…,r) とおくと、
 |A_(r+1) -λ_k・I| は |A_(r-1) -λ_k・I| と逆符号だから 交互に 正負正負… となる。
 ∴ λ_(k+1){A_(r+1)} < λ_k{A_r} < λ_k{A_(r+1)}.

mathworld.wolfram.com/SturmianSeparationTheorem.html
スツルムの分離定理



291 名前:132人目の素数さん mailto:sage [2006/06/30(金) 01:10:40 ]
>290
 …で、ポリアセチレンのπ電子準位の縮退も解けますた。。。(ヒュッケルMO法)

292 名前:132人目の素数さん [2006/06/30(金) 18:51:20 ]
次の3行3列対称行列の固有値を求めよ
|きんぐ|
|んしね|
|ぐねね|

293 名前:132人目の素数さん mailto:sage [2006/06/30(金) 20:11:08 ]
λ=き,ん,ぐ

294 名前:132人目の素数さん [2006/06/30(金) 20:43:33 ]
  ∩∩ 俺 ら が 数 学 板 を 面 白 く す る ん だ !V∩
  (7ヌ)                              (/ /
 / /                 ∧_∧            ||
/ /  ∧_∧     ∧_∧  _(´∀` )   ∧_∧   ||∧_∧
\ \( ´∀`)―--( ´∀` ) ̄      ⌒ヽ(´∀` ) // ( ´∀`)∩
  \       /⌒   ⌒ ̄ヽ、ゆんゆん/~⌒    ⌒ /  /    ( )
   | Geek  |ー、キング  / ̄|    //`i      /  / \\∧_ノ
    |     | |     / (ミ   ミ)  | 菅 | /    \\
   |    | |     | /      \ |    |/ king氏ね |(_)
   |    |  )    /   /\   \|       ヽ  /\ \
   /   ノ | /  ヽ ヽ、_/)  (\    ) ゝ  | /   \ |
   |  |  | /   /|   / レ   \`ー ' |  |  / kmath1107

295 名前:132人目の素数さん mailto:sage [2006/06/30(金) 20:52:42 ]
訂正、スマソ

n>2 のとき
 |A_(r+1) -xI| = |A_r -xI|{a(r+1,r+1) -x} - |A_(r-1) -xI|a(r,r+1)a(r+1,r),
 x=λ_k{A_r} (k=1,2,…,r) または x=a(r+1,r+1) とおくと、…


>289
 対角要素がα_i (クーロン積分)
 副対角要素がβ_i (≠0, 交換積分)

296 名前:KingOfUniverse ◆667la1PjK2 [2006/07/02(日) 07:35:31 ]
talk:>>292 何考えてんだよ?
talk:>>294 お前に何が分かるというのか?

297 名前:132人目の素数さん mailto:sage [2006/07/02(日) 16:55:18 ]
>292
 問題の行列をAとおくと、固有多項式は
 |A-xI| = |A| + (ん^2 +ぐ^2 +ね^2 -きし-しね-ねき)x + (き+し+ね)x^2 -x^3.

298 名前:132人目の素数さん mailto:sage [2006/07/02(日) 17:44:07 ]
ワラタ

299 名前:132人目の素数さん mailto:sage [2006/07/04(火) 22:12:32 ]
n が自然数のとき,次式を示してくださいです。。。

|1 2 3.......n |
|2 3 4.......1 |
|3 4 5.......2 | = σ・{n(n+1)/2} n^(n-2)
| .....      |
|n 1 2......n-1|

ここに σ = (-1)^[n/2], [ ] はガウスかっこ。

science4.2ch.net/test/read.cgi/math/1151159011/784-797, 958-959
分かスレ247

300 名前:132人目の素数さん mailto:sage [2006/07/04(火) 22:15:56 ]
そのリンク先酷いな
ほとんど荒らしだ



301 名前:132人目の素数さん mailto:sage [2006/07/04(火) 22:26:54 ]
n が自然数のとき,次式を示してくださいです。。。

 |a1,an,… ,a3,a2|
 |a2,a1,… ,a4,a3|
 |a3,a2,a1,… ,a4| = Π[p=0,n-1] {a1 + a2・ω^p +a3・ω^(2p) + …… + an・ω^((n-1)p) }.
 | … … … … |
 |an,a(n-1),…,a1|

ここに ω =exp{(2π/n)i}, i=√(-1).


[参考書]
 古屋 茂:  「行列と行列式」  (培風館 新数学シリーズ5) 増補版 (1959) p.41-42
 藤原松三郎: 「行列及び行列式」 (岩波全書40) 改訂版 (1961) p.15〜16
 佐武一郎:  「行列と行列式」  (裳華房 数学選書1) (1958〜1963) p.79

science4.2ch.net/test/read.cgi/math/1151159011/959
分かスレ247

302 名前:132人目の素数さん [2006/07/05(水) 02:21:19 ]
頻出問題だね

303 名前:132人目の素数さん mailto:sage [2006/07/14(金) 17:25:01 ]
佐武の4章って初学者で読めないと頭悪い?

304 名前:132人目の素数さん mailto:sage [2006/07/17(月) 16:04:50 ]
少なくともガッツが足りない。

305 名前:132人目の素数さん [2006/07/17(月) 19:12:16 ]
1回生です。

ヤバイ事に逆行列の求め方のコツがいまいちわかりません・・・
(高校範囲じゃなくて行と行を引いて求める方法)

306 名前:132人目の素数さん mailto:sage [2006/07/17(月) 19:14:08 ]





307 名前:132人目の素数さん mailto:sage [2006/07/17(月) 19:22:43 ]
>>304
そうっすか。広い意味の固有空間辺りから難しくなってきたんですが
がんばって読んでみます。ここら辺が一番面白そうなので。

線形代数の延長にある分野ってなんですか? 関数解析とかですかね。

308 名前:132人目の素数さん mailto:sage [2006/07/17(月) 19:29:42 ]
>>305
ひたすら演習問題解いて慣れるのが早い。

小学二年生が、二桁の計算のコツが良くわかんない、とか言ってるのと同じ状況。

309 名前:132人目の素数さん mailto:sage [2006/07/17(月) 19:30:17 ]
二桁の掛け算のつもりだったんだが、まあいいや
わかるよね

310 名前:132人目の素数さん mailto:sage [2006/07/19(水) 17:06:55 ]
bookoffで線形代数の参考書ゲット
専門書だから結構高かったな



311 名前:132人目の素数さん [2006/07/19(水) 18:47:13 ]
固有値問題でお聞きしたいのですが

ある行列Aを対角化する場合(問題に何々行列で対角化しろと書いていない場合)
元の行列Aの形を判断して、正則行列、またはユニタリー行列、その他の
どれで対角化できるか決める必要があるのでしょうか?
それとも解きながら決めるものなのでしょうか?

例えば、正規行列はユニタリー行列で直交化できるとありますが
Pを直交化せずにP^-1AP=にすれば、正則行列で対角化したことになると思うのですが
それではまずいということになりますか?
つまり正規行列はユニタリーでしか直交化できないということになりますか

それから、今まで対角化に用いる行列に関係なく、固有値に重複度があれば、シュミットの直交化を使って
いたのですが、その判断は間違いでしょうか?

教科書読めレベルな質問ですいませんが
読んでもよくわかりませんでした。どうかお願いします

312 名前:132人目の素数さん mailto:sage [2006/07/19(水) 21:05:01 ]
座標変換で長さを保存する必要がなければ、ユニタリでなくてよい。
長さを保存する必要があるかどうかは、行列を見ただけではわからない。

313 名前:311 [2006/07/19(水) 22:13:50 ]
×→正規行列はユニタリー行列で直交化できる
○→正規行列はユニタリー行列で対角化できる

でした。すいません

>>312
回答どうもありがとうございます。
長さを保存する必要がなければ正則行列で対角化でよいということでしょうか?

例えば問題(1)と(2)の比較で
   |1 2 0|    |1 0 1|
(1)|2 2 2| (2)|0 2 0|
   |0 2 3|    |1 0 1|

(1)は固有値がそれぞれ異なり、(2)では重複度が2になりますが
(1)はP^-1APでもT^-1ATでも対角行列になり
(2)は直交化してT^-1ATでなければ対角化できない。
でよいのでしょうか?

長々申し訳ありませんがどうかお願いします。


314 名前:132人目の素数さん mailto:sage [2006/07/20(木) 04:38:16 ]
>>313
俺は脊髄反射的にユニタリ行列、直交行列で対角化することにしてる。
逆行列の計算が簡単だし、検算もしやすい。
(2)の例で固有値1の固有空間に属する固有ベクトルとして t(1,0,-1) が
まず取れて、固有値2の方からは t(1,0,1) ともうひとつは外積を計算した方が速い場合が多い。
固有値2の固有ベクトルを t(1,0,1) , t(1,2,1) とをもし取ればこの2つは直交していないから
普通の対角化になるけど、せっかく実対称行列が与えられて直交行列で対角化できるのだから
t(1,0,1) と t(0,1,0) と取って直交行列で対角化したほうがいいのではと思う。

315 名前:132人目の素数さん [2006/07/22(土) 03:39:03 ]
余因子行列の求め方がよくわかりません><
だれかおしえてくださいおねがいします

316 名前:132人目の素数さん [2006/07/22(土) 20:47:44 ]
標準形を求めて、概形を書けという問題で、標準形までは求めれますが、概形の書き方がよく分かりません。双曲線は書けます。
例えば、放物線X^2-2XY+Y^2-X+2Y-1=0の標準形や存在領域X≦2などは求めれますが、頂点(31/16.19/16)の求め方がわかりません。
時間のあるかた解説よろしくお願いします。

317 名前:132人目の素数さん [2006/07/22(土) 20:57:38 ]
メコスジ/マンスジ 3

318 名前:132人目の素数さん [2006/07/24(月) 18:56:39 ]
列基本変形はなんでも使えるんですか?

319 名前:132人目の素数さん [2006/07/24(月) 22:27:20 ]
Aは直交行列、(x , Ax)が右手系であるときA∈SO(2)を示せ

320 名前:132人目の素数さん [2006/07/25(火) 01:11:17 ]
明日試験だよ。
わかんないよ。
でも頑張る。



321 名前:132人目の素数さん [2006/07/25(火) 01:22:31 ]
>>320
俺もだ……。
未だに掃出方すらできないし

322 名前:132人目の素数さん [2006/07/25(火) 09:12:14 ]
独学で線形代数を学びたいんですけど
何の本が分かりやすいですか?

323 名前:132人目の素数さん mailto:sage [2006/07/25(火) 09:13:19 ]
昔の有馬

324 名前:132人目の素数さん [2006/07/25(火) 16:51:52 ]
昔の有馬はよかった。

有馬哲「線型代数入門」東京図書, 1974.
有馬哲, 浅枝陽「演習詳解線型代数」東京図書, 1976.

まちがって「大学教養」「よくわかる」がタイトルについている
学力低下本を買ってはいけない。

30年前の早稲田だとこれが普通の水準なんだよなあ。序文より
  「読者としては、数学を頻繁に使う理学工学の教養課程の
   ごく普通の学生を念頭に置いた。」

325 名前:132人目の素数さん mailto:sage [2006/07/25(火) 17:04:50 ]
>>324
うん。これをがっちり読んでテンソルなりなんなりに行きたい

326 名前:132人目の素数さん [2006/07/25(火) 20:43:48 ]
商集合の定義をおしえてください。お願いしますm(_ _)mペコリ

327 名前:132人目の素数さん mailto:sage [2006/07/25(火) 21:21:56 ]
教科書夜目

328 名前:fs mailto:f [2006/07/26(水) 22:28:28 ]
fd

329 名前:132人目の素数さん [2006/07/26(水) 23:59:13 ]
次の解空間の基底と次元を求めよ。
2x(1)-x(2)+x(3)-x(4)=0
3x(1)+2x(3)=0
x(1)+x(2)+x(3)+x(4)=0

( )は下付き文字

の解き方がよくわかりません。。。ヒントください



330 名前:132人目の素数さん [2006/07/27(木) 08:46:53 ]
宿題は自分でやれ



331 名前:132人目の素数さん mailto:sage [2006/07/28(金) 18:29:19 ]
172

332 名前:132人目の素数さん [2006/07/29(土) 00:48:04 ]
全然レベルが違う質問で悪いんですが。。
rankを求めたいんですけど。行列式の中にaやbが入っているときはどんな風に場合わけすればいいんですか??
すごいレベル低い質問でごめんなさい(><)

333 名前:132人目の素数さん mailto:sage [2006/07/29(土) 01:45:28 ]
>>322
これが分かりやすい!
www.amazon.co.jp/gp/product/4873612195/249-5730376-9290718?v=glance&n=465392&s=books


334 名前:132人目の素数さん [2006/07/29(土) 01:52:21 ]
オレが使っている教科書にクドクドと書いてあるようなことの質問が多いな
みんなは何を使ってんの?

335 名前:132人目の素数さん mailto:sage [2006/07/29(土) 09:37:49 ]
旧帝・工学部・情報系にぴったりな教科書を教えてください。

336 名前:132人目の素数さん mailto:sage [2006/07/29(土) 16:10:11 ]
ググレカス

337 名前:132人目の素数さん mailto:sage [2006/08/04(金) 22:28:52 ]
線形変換f: V -> Vの広義固有空間の直和がVになるという
証明を多項式の性質やケーリーハミルトンの定理を使わずに
している本ってなにがありますか?
佐武、有馬はダメで、斎藤はよく分かりません。

338 名前:132人目の素数さん mailto:sage [2006/08/06(日) 10:19:49 ]
cc2346d8154a1d56783e898f159ed2c1facfa52

339 名前:132人目の素数さん mailto:sage [2006/08/06(日) 10:20:25 ]
cc2346d8154a1d56783e898f159ed2c1facfa52a

340 名前:132人目の素数さん [2006/08/06(日) 21:26:18 ]
>>337
知っている証明とは別の証明方法を求めているのか、
どの本を読んでも理解できないので理解可能な証明を求めているのか・・・

紹介する本のレベルが天と地ほどに変わってくると思われる



341 名前:132人目の素数さん mailto:sage [2006/08/06(日) 23:34:46 ]
>>340
別の証明方法を求めているのです。
といっても斎藤のはちゃんと理解してないんですが。

佐武はかなり古風だと思うんですよね。
有限次元と無限次元が切り分けられていて、あんまり具体的な議論で
証明をしていないモダンな線形代数の本ってないんですかね。
できれば日本語がいいんですけど。

342 名前:132人目の素数さん [2006/08/07(月) 01:24:59 ]
PID上の加群の構造定理を使う証明なら大抵の代数学の教科書に載っている

343 名前:132人目の素数さん mailto:sage [2006/08/07(月) 03:25:41 ]
読んでないが、赤尾和男「線形代数と群」(共立講座 21世紀の数学)は
ジョルダン標準形から入って、単因子論やり直してる。モダンではないか。

344 名前:132人目の素数さん mailto:sage [2006/08/07(月) 18:29:46 ]
>>342
そうなんですか。全然分かりませんが、抽象的でかっこいい証明っぽいですね。

>>343
ありがとうございます。調べてみます。

Wa(k) = Ker(f - aE)^k とすると
(f - aE)Wa(k+1) が Wa(k) の部分集合になるのは明らかですが
等しくはならないんでしょうか?
等しくなったら綺麗だなあと思うんですが。

345 名前:132人目の素数さん mailto:sage [2006/08/08(火) 00:03:20 ]
>>344
Wa(k) は、k が十分大きいと不変になるので、等しくならないこともある。
 Wa(1)⊂Wa(2)⊂Wa(3)⊂・・・⊂Wa(k)=Wa(k+1)=Wa(k+2)=・・・
等しくならない最大の k に意味があるわけ。

346 名前:結構酔っぱらてるんで滅茶苦茶だったらすいません mailto:sage [2006/08/08(火) 00:38:49 ]
>>345
それは分かるんですが...
最小多項式の重複度より小さければ成りたつんですか?
ってことは(f - aE)のk乗を掛けて初めて0になるベクトルx1,x2...,xnを使って
x1,..,xn,(f-aE)x1,...,(f-aE)xn,...,(f-aE)^(k-1)x1,...(f-aE)^(k-1)xn
が広義固有空間の基底になりますよね。でその基底で考えると f-aEは
[0E000]
[00E00]
[000E0]
[0000E]
[00000]
と相似になりますよね(各小行列はn次正方行列)。
で 固有空間の次数 * 最小多項式の重複度 = 固有値の重複度 になりますよね。
もし >>344が成りたたなければ、右上の小行列は縦長になってEのところを
[0]とか(別になんでもいいですが)にできると思うんですが、
[E]
(f -aE)Wa(k+1) = Wa(k)っていうのはどうやって証明するんでしょうか?

347 名前:347 mailto:sage [2006/08/08(火) 01:54:16 ]
というか等しくならないんですね。佐武に書いてありました。
すいません。上みたくなるのはきっと性質のよい線形変換なのですね。

348 名前:132人目の素数さん [2006/08/08(火) 06:16:36 ]
なんだ、全然理解してないじゃん。
見栄を張らずにもっと易しい本を読め。

349 名前:132人目の素数さん mailto:sage [2006/08/08(火) 11:41:15 ]
>>346
のf-aEが相似っていうのはf-aEのaに属する広義固有空間への制限が相似の間違いです。

>>348
うーんどこか間違ってるんでしょうか?
>>344 は言いかえるとある固有値に属するジョルダン細胞の大きさが全て等しい
特殊なケースだと思いました。

350 名前:132人目の素数さん [2006/08/08(火) 14:44:12 ]
やだな、全然わかっていない。



351 名前:132人目の素数さん mailto:sage [2006/08/10(木) 11:12:50 ]
酔っ払っているとかの問題じゃないな。

352 名前:132人目の素数さん mailto:sage [2006/08/10(木) 12:51:01 ]
どこがおかしいのか教えてくださいYO!

353 名前:132人目の素数さん [2006/08/10(木) 15:41:27 ]
やさしいことを難解に表現する天才を発見した!

354 名前:132人目の素数さん [2006/08/10(木) 17:58:30 ]
Power methodで以下の3X3行列の固有値、固有ベクトルを計算しようとしても
解が一つに収束しません。原因と対策ご教示ください。
1.389070065  -3.476919192 -8.072807794
4.972618041  -2.262158681 2.194765052
5.683005  2.426273   -1.241592

355 名前:132人目の素数さん mailto:sage [2006/08/10(木) 18:24:37 ]
>>354

それらの数字は何処から出した?

356 名前:132人目の素数さん [2006/08/10(木) 18:46:53 ]
データ解析過程で、たまたま遭遇。
宜しく。

357 名前:kingの弟子 ◆/LAmYLH4jg [2006/08/10(木) 18:52:38 ]
俺、線形空間まで完璧。

358 名前:132人目の素数さん mailto:sage [2006/08/10(木) 19:08:06 ]
足し算が完璧と言われてもな。

359 名前:132人目の素数さん mailto:sage [2006/08/10(木) 19:17:25 ]
>>354
固有方程式くらい書いてよ。

360 名前:132人目の素数さん mailto:sage [2006/08/10(木) 19:44:29 ]
>>341
>別の証明方法を求めているのです。
>といっても斎藤のはちゃんと理解してないんですが。
>
>佐武はかなり古風だと思うんですよね。
>有限次元と無限次元が切り分けられていて、あんまり具体的な議論で
>証明をしていないモダンな線形代数の本ってないんですかね。

なんて、わかった風な物言いをしておいて、>>346 >>349 で無知を
さらせば、もう釣れないと思うぞ。わかってないのにわかっている
振りをしたら、セミナーで怒られるもんだが。

古風といわず、佐武をしっかり読め。斎藤の単因子論が理解できないなら
逃げずに勉強しろ。

>>344
>全然分かりませんが、抽象的でかっこいい証明っぽいですね。
わからず気取っているだけなのが、落ちこぼれへの第一歩だ。



361 名前:132人目の素数さん mailto:sage [2006/08/10(木) 19:46:57 ]
いや、弟子への第一歩

362 名前:132人目の素数さん mailto:sage [2006/08/10(木) 20:52:28 ]
>>354
固有方程式の実数解が一つしかない。
-4.182730549

363 名前:132人目の素数さん mailto:sage [2006/08/11(金) 16:45:33 ]
僕はすでに落ちこぼれなわけですが。
わかった風ととられるのはしょうがないですが
広義固有空間あたりの証明で行列式という直感的に
分かりづらいものを使うと、式としては理解できても意味が
よく分からないんですよね。

それでいろいろ検索してたら上智の先生の講義日記がでて
きて面白かったので、こういう本はないなかあと思ったのです
(「Linear Algebra Done Right」という本がそうらしいので
手にいれようと思います)。

まだ>>346 >>349 の何がおかしいのか分からないんですが...

364 名前:132人目の素数さん [2006/08/12(土) 01:19:23 ]
わかってもいないくせに、「わかった」とのたまうのは人間性の問題なんだろう
どの本を読んでも理解できないなら、そう云えばいいだけだろ

340 名前:132人目の素数さん[] 投稿日:2006/08/06(日) 21:26:18
 >>337
 知っている証明とは別の証明方法を求めているのか、
 どの本を読んでも理解できないので理解可能な証明を求めているのか・・・
 
 紹介する本のレベルが天と地ほどに変わってくると思われる
 
341 名前:132人目の素数さん[sage] 投稿日:2006/08/06(日) 23:34:46
 >>340
 別の証明方法を求めているのです。
 といっても斎藤のはちゃんと理解してないんですが。

365 名前:132人目の素数さん mailto:sage [2006/08/12(土) 01:44:42 ]
あーだからVが広義固有空間の直和になるっていう佐武有馬式の証明は
理解してるんですよ。めんどくさいなー。
こんなに文脈読めないと数学の本とか読めないと思うんだけど。
数学板ってこんなところなんですね。もういいので忘れてください。

366 名前:132人目の素数さん [2006/08/12(土) 02:04:23 ]
>>363は行列式がわかりづらいと書いてるから、そこら辺をキチンを勉強すればいいんじゃない?

367 名前:132人目の素数さん [2006/08/12(土) 02:18:50 ]
わかりにくい、って云ってんなら判ってないんだろ。

368 名前:132人目の素数さん mailto:sage [2006/08/12(土) 02:23:38 ]
あはは。院試の口頭試問で撃沈されるタイプだな
口頭試問で突っ込まれても

>こんなに文脈読めないと数学の本とか読めないと思うんだけど。

とか、のたまうのだろうね、このしとw

369 名前:132人目の素数さん mailto:sage [2006/08/12(土) 03:47:02 ]
佐武有馬が本当にわかっていたら、

>まだ>>346 >>349 の何がおかしいのか分からないんですが...

>式としては理解できても意味がよく分からないんですよね。

なんて言うワケないじゃんw

>こんなに文脈読めないと数学の本とか読めないと思うんだけど。
ホントそうだねw

370 名前:132人目の素数さん [2006/08/12(土) 12:19:55 ]
サラス方法の4次の行列版ってなかったっけ?
昔参考書で見た事あるが思い出せない...



371 名前:132人目の素数さん mailto:sage [2006/08/18(金) 21:55:48 ]
>>363
おぉ、その本もってるよ。読んでねえけど


372 名前:132人目の素数さん mailto:sage [2006/08/21(月) 00:14:23 ]
>>371
そうですか。八重洲でも丸善でも紀伊国屋でも売ってませんでした。
Amazonで買うしかないっぽいです。Amazonでの評価はかなり高いですね。

明解線形代数って本もなかなか良さそうでした。

373 名前:132人目の素数さん [2006/08/22(火) 14:56:06 ]
線形代数に関する質問です。

ヤコビアン行列3×3行列で
固有値をもとめて、安定判別する際(固有値が正か負を判定)

a b c
d e f
0 0 i

普通は
(a-λ)(e-λ)(i-λ)-bd(i-λ)=0として固有値λを求めるのですが

行列にゼロがある場合は2×2のsubmatrixを用いて
簡単に判定できるみないな論述がされているのですが、わかりますか?

374 名前:132人目の素数さん [2006/08/22(火) 14:58:35 ]
>>373
チョンは氏ねw
流石クズ!

375 名前:132人目の素数さん mailto:sage [2006/08/22(火) 15:39:08 ]
>>370
ない、と思ったほうがよい。
どうしても公式が欲しければ、4次の行列式なら高々24項だから
一度定義に沿って書き下して覚えやすいように並び替えればそれが公式。

376 名前:132人目の素数さん [2006/08/22(火) 18:58:23 ]
質問です
n < p である(n,p)行列 A と(p,n)行列 B,rank A =rank B =n
に対して行列 (AB) の逆行列を A と B の一般逆行列を用いて表せますか?

377 名前:132人目の素数さん [2006/08/22(火) 19:04:15 ]
> 一般逆行列
何これ?

378 名前:132人目の素数さん [2006/08/22(火) 19:07:19 ]
1/240と1/360の合成確率の計算式を教えてください

379 名前:132人目の素数さん [2006/08/22(火) 19:08:05 ]
>>378=チョン

380 名前:132人目の素数さん [2006/08/24(木) 00:08:33 ]
線型代数入門:松坂和夫
復刊ドットコムにて再登録しました。
www.fukkan.com/vote.php3?no=35144
投票ご協力下さい。
名著ですので是非、復刊させましょう。



381 名前:132人目の素数さん mailto:sage [2006/08/28(月) 00:11:49 ]
【問題】
実数 x,y,z が xy+2yz+3zx=1 を満たすとき, |x+y+z| の最小値を求めよ.

不等式への招待2
science4.2ch.net/test/read.cgi/math/1105911616/819

382 名前:132人目の素数さん mailto:sage [2006/08/28(月) 00:59:24 ]
>381
 F(x,y,z) = (x+y+z)^2 - 2μ(xy+2yz+3zx) が半正値になるようにしたい。
 半正値 ⇔ すべての固有値が非負
 |F| = | [1,1-μ,1-3μ] [1-μ,1,1-2μ] [1-3μ,1-2μ,1] | = 12(2/3 -μ)μ^2.
0が固有値になるのは、μ=0 または μ=2/3 のとき.
μ=2/3 のとき、F(x,y,z) = (2/3)(x+y-z)^2 + (1/3)(x-y-z)^2 ≧0.
∴ |x+y+z| ≧ √{2μ(xy+2yz+3x)} = √(2μ).

383 名前:132人目の素数さん [2006/08/28(月) 09:40:58 ]
佐竹はちょっと。
いきなり行列だもんね。それからすぐに線形空間と線形写像。
それからいきなり置換の符号を使った行列式の定義だもんね。
一番の問題は計算方法を無視してること。Gauss の消去法なんか
理論でも使うだろうに。線形連立方程式をクラーメルの公式で
解くやつなんて佐竹しか読んでないやつくらいだろw


384 名前:132人目の素数さん mailto:sage [2006/08/28(月) 21:23:20 ]
???

385 名前:132人目の素数さん mailto:sage [2006/08/30(水) 17:54:23 ]


386 名前:132人目の素数さん [2006/08/30(水) 18:12:13 ]
age

387 名前:132人目の素数さん mailto:sage [2006/09/05(火) 10:48:39 ]
a↑=(2, 3)とか書くのおかしくないですか?
左辺は座標系に依存しない量なのに右辺は特定の座標系での成分表示になってる。
特定の座標系での成分表示を行う演算子Aを使って
Aa↑=(2, 3)とかなら許せますが。

388 名前:132人目の素数さん mailto:sage [2006/09/06(水) 18:23:03 ]
お互いが、Aが暗黙で分かっているとすれば、おかしくないかな?

389 名前:132人目の素数さん mailto:sage [2006/09/07(木) 05:39:07 ]
(問題)
nが2以上の自然数のとき
 1 + √2 + √3 + … + √n
が無理数であることを示せ

って問題がわかりません. どなたかよろしくお願いします.

さくらスレ200
science4.2ch.net/test/read.cgi/math/1156572000/511

390 名前:132人目の素数さん mailto:sage [2006/09/07(木) 05:58:32 ]
>389

(1)
 { √p | pは素数 or 1 } = { 1, √2, √3, √5, √7, √11, √13,… } はQ上1次独立.
(例証)
 a+b√p+c√q=0 (a,b,cは有理数) とすると, (a^2)-(b^2)p-(c^2)q = 2bc√(pq),
 √(pq) は無理数だから bc=0. p,qは素数だから a=0.

(2)
 { √n | nは平方数で割り切れない自然数 } はQ上1次独立.
(例証)
 a+b√m+c√n=0 (a,b,cは有理数) とすると, (a^2)-(b^2)m-(c^2)n = 2bc√(mn),
 √(mn) は無理数だから bc=0. m,nはが平方因子をもたないから a=0.




391 名前:132人目の素数さん [2006/09/09(土) 17:57:58 ]
>>390
証明になっていない。

392 名前:132人目の素数さん mailto:sage [2006/09/09(土) 18:19:14 ]
>>389
専修大必死だな!

393 名前:132人目の素数さん mailto:sage [2006/09/09(土) 19:09:42 ]
(問題)
 Aは正値対称行列とします。
 Dは要素が正数の対角行列とします。
 この場合、ADの固有値が全て正になることは証明できますか?

science4.2ch.net/test/read.cgi/math/1157015984/677 , 711, 714
分かスレ257

394 名前:132人目の素数さん mailto:sage [2006/09/10(日) 02:16:02 ]
(例証)って珍しいなw
特殊な場合だけ証明するって意味だろうかw

395 名前:132人目の素数さん mailto:sage [2006/09/10(日) 18:02:07 ]
2つの文字の置換(j,k)
 σ(j)=k, σ(k)=j
を互換という。互換に対しては、(j,k)^(-1)=(j,k) が成立する.

〔補題〕
 n個の文字の任意の置換σは、(n-1)個以下の互換の"積"として表わされる.

(略証) nに関する帰納法による.
まづ、n=1,2 のときは明らか. (恒等置換は0個の互換の"積"と考える.)
n-1個以下の文字の置換については成立すると仮定し、n文字の置換についても成立することを証明しよう。
σ(n)=n ならばσは(n-1)文字の置換と考えられるから、帰納法の仮定により(n-2)個以下の互換の"積"として表わされる。
σ(n)≠n のとき τ=(n,σ(n))・σ とおけば τ(n)=n. よってまた帰納法の仮定によりτは(n-2)個以下の互換の"積"として表わされる。
故に σ=(n,σ(n))・τ は(n-1)個以下の互換の"積"で表わされる. (終)

佐武: 「行列と行列式」 裳華房 (1958) p.42-43

396 名前:132人目の素数さん mailto:sage [2006/09/10(日) 18:04:24 ]
k_1,k_2,……,k_(r-1),k_r をr個の文字とするとき、
 σ(k_1)=k_2, σ(k_2)=k_3, ……, σ(k_(r-1))=k_r, σ(k_r)=k_1.
のような置換を巡回置換といい、(k_1,k_2,…,k_r)で表わす.
任意の置換は、いくつかの巡回置換の"積"として表わされる.

問2. 巡回置換について、(k_1,k_2,……,k_(r-1),k_r)^(-1) = (k_r,k_(r-1),……,k_2,k_1)

問4. r文字の巡回置換は、(r-1)個の互換の"積"として表わされる.
 (k_1,k_2,……,k_(r-1),k_r) = (k_1,k_r)(k_1,k_(r-1))…(k_1,k_2).

佐武: 「行列と行列式」 裳華房 (1958) p.42-43

397 名前:132人目の素数さん mailto:sage [2006/10/03(火) 00:54:24 ]
341

398 名前:132人目の素数さん [2006/10/04(水) 00:16:48 ]
「n次元数ベクトル空間」の「数」の部分の読み方は、「かず」、「すう」の
どちらが正しいでしょうか?
気になって眠れません。

399 名前:132人目の素数さん mailto:sage [2006/10/04(水) 00:21:33 ]
「すう」

400 名前:132人目の素数さん mailto:sage [2006/10/04(水) 08:21:51 ]
suck



401 名前:132人目の素数さん mailto:sage [2006/10/04(水) 13:19:35 ]
双対空間って何なんですか?

402 名前:132人目の素数さん mailto:sage [2006/10/04(水) 13:38:01 ]
>>401

ベクトル空間から係数体の上への線形写像の全体。それはベクトル空間となる。

403 名前:中川泰秀 ◆tyvkWCNtzY mailto:E-mail  npka65246@maia.eonet.ne.jp [2006/10/04(水) 17:20:16 ]
>>1
数学の各分野の中では簡単な ほうと思う。

404 名前:132人目の素数さん mailto:sage [2006/10/06(金) 23:44:56 ]
>>393
明らか

405 名前:132人目の素数さん mailto:sage [2006/10/09(月) 01:09:35 ]
3次元ベクトルX=(x,y,z)全体の集合VはR^3の部分ベクトル空間であるかどうかという問題で、例えば
「xy=0」や「x,y,zは有理数」のときにどのような理由でR^3の部分ベクトル空間である、ないを解けばいいのですか?

和の条件と積の条件だけだとあまりに抽象的すぎてまったく分からないし
教科書の例題の解説だとあまりに省略しすぎていて自分が悪いのですが
一般的な解答法を見つけられませんでした。
よろしければ一般的な解答の仕方を教えてください

406 名前:132人目の素数さん mailto:sage [2006/10/09(月) 01:26:36 ]
>>405

x=0 を満たす集合がどういうものかは高校数学でも十分理解できる筈。
その各点について、部分空間に属する条件が当てはまるかどうか確かめてみよ。

ax+by=0 についても、同様にやって見よ。色々繰り返せばよい。


407 名前:132人目の素数さん mailto:sage [2006/10/09(月) 01:33:48 ]
>教科書の例題の解説だとあまりに省略しすぎていて
じゃあもっと詳しく解説してくれてる参考書探せば良いよ。

408 名前:405 mailto:sage [2006/10/09(月) 01:43:46 ]
xy=0はyz平面かつzx平面だから軸上の点(x,0,0)と(0,y,0)は空間内だけど
和の条件である(x,y,0)は空間内に無いからxy=0は空間内に無いという感じですか?

あと似たような問題で
「xy 「1 =「1
zx」 2」   0」
のような行列(汚くて申し訳ないです)はxyzの解を解いて空間内かどうか調べればいいのですか?

409 名前:king様の弟子 ◆/LAmYLH4jg [2006/10/17(火) 00:53:34 ]
hjdes

410 名前:king様の弟子 ◆/LAmYLH4jg [2006/10/17(火) 00:56:57 ]
複素列ベクトルの内積
(x,y)って転地xにyの共役複素数を掛けるのですか?
なんで共役にするのかがわかりません。
こんなのも分からない自分にいらいらする。



411 名前:kingを潰せ mailto:sage [2006/10/17(火) 01:18:31 ]
内積とは何のために存在するかが分かれば自明。

412 名前:KingOfUniverse ◆667la1PjK2 [2006/10/17(火) 05:56:29 ]
talk:>>411 ところで、人の脳を読む能力を悪用する奴を潰すのが先だ。

413 名前:132人目の素数さん [2006/10/17(火) 17:21:59 ]
>なんで共役にするのかがわかりません。

なんでわからないといけないのかわかりません

414 名前:132人目の素数さん [2006/10/17(火) 21:57:57 ]
何か無聊を慰めるため彷徨してここに辿り着いたが(実は現実逃避)、
なんか>>376 の問に>>377みたいな厨レスがついたり、悲しいなあ。
ちゃんと答えるか、「自明」のどちらかが正しい態度でしょうに・・・。
>>410 君は<x,x>が正の実数になって欲しく無い?ちなみに内積の
中には共役を取らない流儀もあって、その場合のベクトル空間は「複素ユークリッド空間」
と言います。私は物理系で(しかも非相対論なので。相対論的量子力学では話が変わってくる)、
エルミート空間以外の空間の必然性を感じませんが、数学においては色々あるようです。
 ちなみにこのレス読んだ人で、シンプレティックはどうなんだ、と突っ込まれても
(ry


415 名前:132人目の素数さん mailto:sage [2006/10/17(火) 23:19:06 ]
質問レスに対して「自明」って正しい態度か?w

416 名前:132人目の素数さん mailto:sage [2006/10/17(火) 23:20:42 ]
>ちなみに内積の中には共役を取らない流儀もあって
どういう本に載ってるの?

417 名前:132人目の素数さん mailto:sage [2006/10/17(火) 23:29:44 ]
共軛とらないなら計量にならんと思うが。
それと、一般化逆行列とか擬逆行列なんかは純粋数学では全然
取り扱わないから、「何者か」と問うのはおかしなことではなかろう。
むしろそこで自明って言う方が厨な態度だと思うんだが。

418 名前:132人目の素数さん [2006/10/17(火) 23:38:45 ]
>>416 俺が読んだのは東京書籍から出ていたマリツェフの「線形代数入門」
他もシンプレティック内積だとか、不定符号の内積とかあったよ。まあ、
必要無さそうなのでいいかげんに読み飛ばしたが。(不定符号内積に関しては
物理でも応用があるが専門外)まあ正確に言うと難しくて読み飛ばした、といのが本音だが。
>>415 だって一般逆行列の定義を四角形で視覚的に表して(長方形を書いて
AとかA^-1とか中に書く)見れば自明としか言い様がないんだもの。やっぱり
手を動かさない人間は理系関係の勉強は無理だと思う。と、いいつつ、数学は
特殊で、本当に数学の才能がたっぷりある人はそういうことしないで済むみたいだが
そうでない人間は手を動かさない限り道は無い。


419 名前:132人目の素数さん mailto:sage [2006/10/18(水) 00:01:03 ]
マリツェフは東京図書ね。
東京書籍は中学高校の教科書の出版社だったような……w

>>415
>一般逆行列の定義を四角形で視覚的に表して(長方形を書いて
>AとかA^-1とか中に書く)見れば自明
いやこう書けばまだ意味が在るレスなんだけどさ。

「自明」のレベルは人によるでしょ。

可換環論の永田先生とか、自分が若い頃に「自明」と本に書いてたところを、
年とってから学生に質問されたら分からなくて、
あれは酷い本だ!とか怒ってたらしいw

420 名前:king様の弟子 ◆/LAmYLH4jg [2006/10/22(日) 00:32:57 ]
>>414 ありがとうございます。



421 名前:132人目の素数さん mailto:sage [2006/10/23(月) 23:58:58 ]
斎藤正彦「線型代数入門」を読んだ人に質問です
P.85の真ん中辺りの
以上を合せて,s(A)≦s(B)を得る
が何故言えるのか教えて下さい

422 名前:132人目の素数さん mailto:sage [2006/10/24(火) 00:01:15 ]
問題も書かずに質問とな?

          l tヽ    ト、;:;:;:丶、:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:_;:;: --―;:''"´;:_」
         l `ヾ、   {::ト、:;:;:;:;:;:` '' ー―――;:;: '' "´;:;:;:;:;:;:;:;:;:;_ ,.ィ彡!
,-‐-<ヽ、  ゙、  `ヽ. l::l 丶、:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:_,. -r==ニ二三三 }
;;;,,';;くヽヾt_,,..,、`ヾ::.  ',.',:i r- 、、` ' ―――― '' "´ ,ィ彡三三三三三/、
ヾ;;;,,ヾヽヽ\jlヽ ヽ  ', || ヾ三)      ,ィ三ミヲ  `丶三三三三三ん',
;;,\;;;;,\`<;;\ヽ  i,__ ゙ilj         ゙' ― '′     ヾ三三三ミ/ )}
ヾ;;;,\;;;;,\ヽ;;;ヽ〉 /== 〉 , --:.:、:..   .:.:.:.:..:.:...      三三三ツ ) /
./ヾ;;;,,\;;;; \vヘ\   /'| fr‐t-、ヽ.  .:.:. '",二ニ、、    三三シ,rく /
′l ,>、;, \;;;;,ヾヽ.ヽ\/ l 丶‐三' ノ   :ヾイ、弋::ノ`:.:.    三シ r'‐' /
_ノノ \;;, \;;;;\ヽ>;;\ ', ゙'ー-‐' イ:   : 丶三-‐'":.:.:..    三! ,'  /
~´_,,ノ \;;;,\;;;;;\ヾ;;;ヽ.',    /.:             ミツ/ー'
      \;;;,,\;;, \>ヘ\   ,ィ/ :   .:'^ヽ、..       jソ,ト、
ー―--,r=t‐ヾ;;;;\  ヾヽヽヾ/:.,{、:   .: ,ノ 丶:::..  -、   ,ハ  l、
     {   》 jト、;;;;\ \\>\:, ヽ、__, イ   _`゙ヾ  ノ   / ,l  l:ヽ
    /`―'^―'' `(ヾ;;\;;;,,ヾ、ヾ;;>、=、ェェェェ=テアヽ }   ,/  l  l:.:(丶
    /  ''""    lト、;\;\;r'"⌒t-:ヾヾェェシ/  ゙'  /   ,' ,':.:.:`ヾヽ
    {        / {\ヽrシ^t-ヘ:;\\:==:'."       /   / /:.:.:.:.:.:.} ト―--
   ハ       / ヽ丶:V^)、;;;;, \::\\\     ,r'"    / /:.:.:.:.:.:.:ノ,ノ |      ``丶、
        /   ,r';;〈、:.\;;;;;,,`ー';;;;;ゝ、ヾ__,. イ     / /:.:..:.:.:.,ィシ′ |
''"´  ~``''r'´    ヾ、::ゝヽ:_:);;;;r'>.,:-‐-:;ゝ;ヽ.へ、___/__,/;: -‐ '"  /

423 名前:132人目の素数さん mailto:sage [2006/10/26(木) 06:42:36 ]
余因子の記号について質問です。
齋藤正彦の「線形代数入門」では、
i行j列を除いた行列の行列式を小行列式Δij
これに(-1)^(i+j)をかけたものを余因子として
aijにチルダをつけて表現しています。
一方wikipediaで行列式の項を調べると、
余因子をΔijで表現しています。
こんな風に記号の意味が違っているのがかなり気持ち悪いのですが、
どう覚えればいいのでしょう?
数学ではこういうことはよくあるんでしょうか?

424 名前:132人目の素数さん [2006/10/26(木) 09:36:32 ]
直交行列の特性方程式の係数が左右対称になる理由を教えてください。
直交行列の、
aijとその余因子の値は一致するという性質を利用して
サクッと説明できるっぽいんですけど、
残念ながらピンとこないのです。

425 名前:132人目の素数さん mailto:sage [2006/10/26(木) 09:55:59 ]
余因子と余因子行列はべつもの

426 名前:132人目の素数さん mailto:sage [2006/10/26(木) 10:24:21 ]
余因子行列の話ではないです。

427 名前:132人目の素数さん mailto:sage [2006/10/26(木) 11:26:25 ]
> こんな風に記号の意味が違っているのがかなり気持ち悪いのですが、
> どう覚えればいいのでしょう?
> 数学ではこういうことはよくあるんでしょうか?
よくあるどころか日常茶飯事。「記号」に天賦の意味などなくて、議論の
中で、ローカルにしか通じない記号法をたくさん使う。ゆえにまともな数学
なら、常に文脈に即して記号の意味を確認しなければならない。記号を
覚えるなどというのは愚の骨頂である。

まともでない異様な数学の例としては、中学・高校数学が挙げられる。
これはきわめて狭い世界しか扱っていないから、暗黙の了解といいつつ
様々な歪められた決まりごとを自在に用いることが出来る所為である。

428 名前:132人目の素数さん [2006/10/26(木) 16:42:01 ]
よほどの理由がない限り、一般に流布している記号と異なる記号を
使われるのは迷惑。
そんなつまらんとこで自己主張するなって。


429 名前:132人目の素数さん mailto:sage [2006/10/26(木) 16:50:36 ]
>>424
左右対称とは限らんのじゃないか?
detP=1のときは左右対称、detP=-1のときは符号も入れ替わる。

P(P^T)=E 
±det(tE-P)=det(tE-P)det(P^T)=det(tP^T-E)=det((tP-E)^T)=det(tP-E)

430 名前:132人目の素数さん mailto:sage [2006/10/26(木) 17:13:21 ]
>>428
議論自体がローカルなんだっての。
一般に流布っていうか、ある程度の慣例はそりゃ踏まえるさ。
それでも唯一絶対な記号法なんてのは無いし、
そんなガチガチに標準規格みたいなものを決めてしまったら
記号を使うその都度いちいち規格を確認せにゃならんので
議論しにくくて仕方ないじゃん。



431 名前:132人目の素数さん mailto:sage [2006/10/26(木) 17:16:09 ]
>>429
すごい、ありがとうございます。
でも私の頭ではパッと見では4次の正方行列までしか、
対称になるのが分かりませんでした。

432 名前:132人目の素数さん mailto:sage [2006/10/26(木) 17:20:45 ]
>>423だって、記号が違ってても内容は理解できているんだし、
数学で重要なことは内容のほうなので、見せ掛けの記号だけを
覚えようとしてるのは何か変だよ。
それに>>423の事例はよくある表記揺れの範疇だろ?

433 名前:132人目の素数さん mailto:sage [2006/10/26(木) 18:50:37 ]
429が不完全だったので、続き:

±det(tE-P)=・・・=det(tP-E)=det(-(E-tP))=(-1)^n・det(E-tP)
但し、Pはn次正方行列

よって、
n=偶数のときは、detP=−1ならば、符号も入れ替わる。
n=奇数のときは、detP=1ならば、符号も入れ替わる。





434 名前:132人目の素数さん [2006/10/26(木) 20:49:03 ]
意見:なぜ、医学部では「線形代数学」を履修しないのでしょうか。(2003.05.06)
(回答) 
 専門基礎科目(数学)についてのご意見ありがとうございます。高等教育
システムセンター共通教育企画部門専門基礎科目担当の可知偉行(理学部)
です。

医学部の数学教育は数学的な考え方、論理的な思考を身につけ、それを
専門に生かすという観点で行われています。
実際に、医学部では数学的考え方を普通に使いますが、数式を用いて
計算することは確率、統計以外は特殊な領域(生理学等)だけのようです。
そのために微分・積分学を履修します。医学の立場からは非線形が実際的かも
しれません。線形代数学は「医学部の数学」として履修する必要はないと
考えていますが、自らの向学心で学ぶことは多いに奨励します。単位に
ならなくても他学部の線形代数学の授業を聞いてみてはいかがでしょうか。

435 名前:132人目の素数さん mailto:sage [2006/10/26(木) 22:02:13 ]
理由らしきものを列挙してはいるが
実のところ聞かれた質問に答えてない


436 名前:132人目の素数さん [2006/10/26(木) 22:17:31 ]
「非線形が実際的だから履修する必要はない」って、
この人ほんとに数学者なんかね。位相幾何学が専門みたいだが。

トポロジーは曲がった図形が対象だから線形代数学を履修する必要はないって
思ってんの? ま、「共通教育企画部門」としてのお題目なんだろーけど、
数学者がこんなこと言ってたら、自分の首を絞めるだけだお

437 名前:132人目の素数さん [2006/10/26(木) 22:20:32 ]
致命的に読解力がないな・・・

医学では線型代数は殆ど使わね〜からさって書いてあるじゃん

438 名前:132人目の素数さん mailto:sage [2006/10/26(木) 22:26:27 ]
A、B が共にn次正方行列のとき、AB=E ならば BA=E を示せ。

という問題が分かりません。

439 名前:132人目の素数さん mailto:sage [2006/10/26(木) 23:46:01 ]
>>438
AB=E⇒ABA=A⇒BA=Eでいい?

440 名前:132人目の素数さん mailto:sage [2006/10/27(金) 00:01:47 ]
有限次元であることを使わない解答はだめ。



441 名前:132人目の素数さん mailto:sage [2006/10/27(金) 00:27:20 ]
AB=E により、f(x)=Ax は全射であり、g(x)=Bx は単射である。
よって、fもgも全単射である。よって、A:正則。
ABA=Aより、BA=E

442 名前:132人目の素数さん [2006/10/27(金) 01:15:33 ]
アホすぎる・・・

443 名前:132人目の素数さん mailto:sage [2006/10/27(金) 01:45:14 ]
>>433
普通に感動しました!

444 名前:132人目の素数さん mailto:sage [2006/10/27(金) 10:04:17 ]
行列式が非零だから、逆行列が存在する。両辺に左からAの逆行列をかける。

445 名前:132人目の素数さん mailto:sage [2006/10/27(金) 10:05:44 ]
無限次元だと反例が存在するの?

446 名前:132人目の素数さん mailto:sage [2006/10/27(金) 10:14:28 ]
N 非負整数の集合

2つのNからN自身への写像
N-.>N (x->x+1)
N->N (x->x-1 if x>0, 0->0)

から誘導されるN上の関数空間上の線形写像たちが
一つの例を与える。



447 名前:132人目の素数さん [2006/10/27(金) 11:59:40 ]
AB=Eより、Aのn個の列ベクトルはK^nの自然基底を生成、
よって、K^nを生成する。K^nはK上n次元だから、Aのn個の列ベクトルは
K上一次独立である。

AB=Eの両辺にAを掛けてABA=A、移項するとA(BA-E)=O。
Aのn個の列ベクトルはK上一次独立だから、BA-Eの各列ベクトルは0、
よってBA-E=O、BA=E。

448 名前:132人目の素数さん mailto:sage [2006/10/27(金) 12:37:01 ]
447は441と同じだろ

449 名前:132人目の素数さん mailto:sage [2006/10/27(金) 12:53:27 ]
>>447は正解
>>441はデタラメ

つ〜か、この問題で「正則」とか「逆行列」とか言ってるようでは馬鹿丸出しだろw



450 名前:132人目の素数さん mailto:sage [2006/10/27(金) 12:59:52 ]
AB=EってことはBはAの逆行列なんだから当然BA=Eだろ。。
お前らこんな問題もわかんねーのm9(^Д^)プギャー!!



451 名前:132人目の素数さん mailto:sage [2006/10/27(金) 13:12:18 ]
>>449の馬鹿には441が分からんかったか

452 名前:132人目の素数さん mailto:sage [2006/10/27(金) 13:15:18 ]
>>450
逆行列の定義もしらないのか プッ

453 名前:132人目の素数さん mailto:sage [2006/10/27(金) 13:17:28 ]
>>450
”正則性”や”逆行列”の定義は
「AB=IならばBA=I」を前提とするから、
きみの論法だと循環論法になるよ

454 名前:132人目の素数さん mailto:sage [2006/10/27(金) 13:40:46 ]
普通に考えると>>441は×

> AB=E により、f(x)=Ax は全射であり、g(x)=Bx は単射である。
ここまではいいが

> よって、fもgも全単射である。
これは×
fが単射でもあることを証明しなくちゃいけないが
その証明は実質的に>>438と同等

>>453の指摘どおりに循環論法

455 名前:454 mailto:sage [2006/10/27(金) 13:43:28 ]
と思ったら、既に>>446>>441の穴を指摘していたのね・・・

456 名前:444 mailto:sage [2006/10/27(金) 14:03:48 ]
det(A)det(B)=det(E)=1 より det(A)は非零。(detの存在は行列のサイズの有限性から)
det(A)の逆数とAの余因子行列の積はAの(両側)逆行列。
AB=Eの両辺に(存在が分かっている)Aの(両側)逆行列を左から掛けると 
BはAの(両側)逆行列に等しいことが分かる。
よって BA=E。

結論。有限サイズの正方行列で左逆行列または右逆行列を持つものは
逆行列を持つ。それは存在を仮定していた片側逆行列と一致する。


457 名前:132人目の素数さん mailto:sage [2006/10/27(金) 14:16:28 ]
BAB=B
Bは単射だから
BAのImg(B)への制限は恒等写像
線型空間Vが有限次元ならBは全射でImg(B)=V

458 名前:454 mailto:sage [2006/10/27(金) 14:33:23 ]
>>456
正解

>>457
> 線型空間Vが有限次元ならBは全射
であることの証明は>>438の証明を含んでいる
よって循環論法

ちなみに3行目と4行目は無関係

459 名前:457 mailto:sage [2006/10/27(金) 14:47:47 ]
>>458
有限次元で単射 <=> 有限次元で Ker(T)=0 <=>
dimV = dim Img(T) + dim Ker(T)より dim V = dim Img(T)
<-> V ⊃ Img(T) より V = Img(T)

有限次元だと dimV = dim Img(T) + dim Ker(T)なのは準同型定理

460 名前:454 mailto:sage [2006/10/27(金) 14:52:08 ]
>>459
> 有限次元だと dimV = dim Img(T) + dim Ker(T)なのは準同型定理

それの証明には>>438が前提になる。



461 名前:453 mailto:sage [2006/10/27(金) 15:02:16 ]
ロルの定理を証明しろ、という問題を
平均値の定理を使って解答するような感じw

462 名前:457 mailto:sage [2006/10/27(金) 15:10:39 ]
Vはn次元線型空間とする
Ker(T)の基底(e_1..e_r)に(e_r+1..e_n)を加えてVの基底とする
任意の元x=c_1e_1 +...+c_ne_n についてT(x)=c_rTe_r+1 +...+c_nTe_n=0
となる。c_r,...,c_nについてT(x)=0が非自明な解を持つとすれば
基底の一次独立性に反する。よってTe_r+1,...,Te_nは一次独立で
Img(T)の基底になる。

ていうか同値同値っていったらなんでも同値じゃねーか。
基底の存在と濃度の一意性から言わないと駄目だぞ。
行列式使うのがなんでいいんだよ。行列式こそ非自明なもんはないだろ。

463 名前:457 mailto:sage [2006/10/27(金) 15:14:41 ]
行列式ほど、ね
3行目の最後の=0はいらない

464 名前:132人目の素数さん mailto:sage [2006/10/27(金) 15:22:01 ]
「Mを有限生成R-加群、TをMの全射R-自己準同形とすれば、TはMのR-自己同形である。」
という定理使えよ。初等線形代数に閉じこもるな。

465 名前:454 mailto:sage [2006/10/27(金) 15:25:01 ]
>>462
そこまで書けば正解
書いていて気づいたと思うが、>>447と同等な議論になっている

> 行列式使うのがなんでいいんだよ。行列式こそ非自明なもんはないだろ。
自明かどうかではなく論理の依存性の問題
行列式論を使えば、一次独立性に触れること無しに、
 「行列式が非零なら(左右)逆行列を持つ」
ことが言える

要するに>>461ということ

461 名前:453[sage] 投稿日:2006/10/27(金) 15:02:16
 ロルの定理を証明しろ、という問題を
 平均値の定理を使って解答するような感じw
 


466 名前:457 mailto:sage [2006/10/27(金) 15:38:30 ]
行列式が積で準同型なことや、|A|=0で正則なことの証明がいるだろ。
有限次元単射が全射ってことなんだから。
お前がいってるのは平均値の定理を証明するのにロルの定理をちゃんと
証明しろってことだろ。

467 名前:454 mailto:sage [2006/10/27(金) 15:53:18 ]
>>466
> 有限次元単射が全射ってことなんだから。
無関係。そんなこと使わずに
 行列AとBに対してdet(AB)=det(A)det(B)
 行列Aの余因子行列をXとするとAX=XA=det(A)E
を証明できる

> お前がいってるのは平均値の定理を証明するのにロルの定理をちゃんと
> 証明しろってことだろ。
逆。ロルの定理に譬えるなら、>>438がロルの定理で

> 有限次元だと dimV = dim Img(T) + dim Ker(T)なのは準同型定理
が平均値の定理

斉藤の線型代数入門でも復習すべき
きみレベルの学生には単位をあげられない

468 名前:132人目の素数さん [2006/10/27(金) 16:08:15 ]
んで聞きたいのですが、>>464 の定理を線形空間にスケールダウン
して使うのって駄目ですか?

469 名前:132人目の素数さん [2006/10/27(金) 16:12:15 ]
>>468


470 名前:132人目の素数さん mailto:sage [2006/10/27(金) 16:17:06 ]
>>468
有限次元線形空間では、線形写像の像と核の次元についての
定理が直接的に証明できるからいらない。全射自己準同形は、
核の次元が0になるから同形。像と核の次元定理に先んじて
>>464を証明して使うというのなら別だが、標準的な理論展開では
ないと思う。



471 名前:132人目の素数さん [2006/10/27(金) 16:21:14 ]
チワ〜、こんなまともなスレもあるんだな。

472 名前:444 mailto:sage [2006/10/27(金) 16:32:20 ]
>>486
>>464はRが非可換非ネター環の時、反例がある。
有限生成加群をネター加群にすれば、すなわち
「MをネターR-加群、TをMの全射R-自己準同形とすれば、TはMのR-自己同形である。」
ならばいつでも成り立つ
なぜなら、全射準同型fが単射でなければ
fのべき乗たちの核が途中で止まらない無限昇鎖列を作るから。Kerf⊂Kerf~2⊂Kerf~3⊂‥

体Kはネター環。よって。有限生成ベクトル空間はネターK加群。
よって、>>464の修正版
「MをネターR-加群、TをMの全射R-自己準同形とすれば、TはMのR-自己同形である。」
を使って>>438が示せます。


473 名前:132人目の素数さん mailto:sage [2006/10/27(金) 16:42:04 ]
正しいんだが、核兵器保有を宣言って気がするべ
(いやみみたいでスマソ)

474 名前:132人目の素数さん mailto:sage [2006/10/27(金) 18:22:22 ]
>dimV = dim Img(T) + dim Ker(T)
これの証明に>>438って必要だったっけ?
要らないような、、

というか、こういう問題って何を既知として使ってよいか分からんな

475 名前:457 mailto:sage [2006/10/27(金) 18:31:02 ]
>> 有限次元単射が全射ってことなんだから。
>無関係。そんなこと使わずに
> 行列AとBに対してdet(AB)=det(A)det(B)
> 行列Aの余因子行列をXとするとAX=XA=det(A)E
>を証明できる
使ってるってことじゃなくて結果的に証明してるってことだよ
「有限次元でABが正則ならAとBは正則」を証明している
それは「有限次元で自己線型写像Aが単射なら全射」と同値

(1) A \in End_K(V)が単射 => Aは全射
(2) 任意のA, B \in End_K(V) AB = E => BA = E
(3) 任意のA, B \in End_K(V) ABが全単射 => A, Bは全単射
(4) Vの基底が有限個

(1),(2),(3),(4)は全部同値だろ。
(4)を仮定して(2)を証明するのに(1)を自明とするのは駄目で
(3)を自明にするのはよいという基準が不明
>>462 みたいな証明を書くことと
行列式を使った逆行列の存在の証明を書くことは同じだろ

476 名前:132人目の素数さん mailto:sage [2006/10/27(金) 18:38:42 ]
行列式を使った証明が複雑で良くないと思っている椰子がいるようだが
そんなことはないぞ。現に可換環においても体と同様の行列式論が使える
ことを利用して中山の補題が証明されている。(皆さんおなじみのハミルトン・
ケイリーの定理のR-加群版をつかうんです)

477 名前:132人目の素数さん [2006/10/27(金) 18:42:35 ]
>>474
判ってない人は判らずに粘着し続けているようですが・・・

この問題で「有限次元線形空間の自己準同形が全射ならば単射」を
証明せずに使ったらさすがに不正解でしょう。次元定理より明らか、
と書いてもアウト。従って正解は>>447>>456です。

何を既知としてよいかを見抜くのも実力のうちですよ。

478 名前:444 mailto:sage [2006/10/27(金) 19:10:32 ]
>>474
dimV = dim Img(T) + dim Ker(T) 
の前提として線型空間の次元のwell-definednessが必要です。
それが示せたら上式は準同型定理の系です。

線型空間の次元のwell-definednessは行列の基本変形の理論からも示せます。




479 名前:132人目の素数さん mailto:sage [2006/10/27(金) 19:13:49 ]
そう。同値かどうかを問題にするなら、行列式を用いた証明は、
可換環に成分を持つ行列でよいので、より elementary である
とも言える。

すべての体で成立するならば、すべての可換環で成立するような命題の
特徴付けとかがあると便利なのだけど、知られているのだろうか。

480 名前:king様の弟子 ◆/LAmYLH4jg [2006/10/27(金) 19:15:21 ]
レベルの低い会話。



481 名前:132人目の素数さん [2006/10/27(金) 19:20:57 ]
>>480
喪前の低レベルは分かっている。失せろ。
(馬鹿ぶりを知りたい人は最近例として位相幾何スレ参照)

482 名前:132人目の素数さん mailto:sage [2006/10/27(金) 19:35:03 ]
>>479
メタ命題と解釈すればモデル理論関連の話題となるから、モデル理論が専門の
基礎論屋さんなら知ってるかも。ただ日本は基礎論弱いからねー。

483 名前:132人目の素数さん mailto:sage [2006/10/27(金) 19:40:42 ]
ホントかよ

484 名前:132人目の素数さん mailto:sage [2006/10/27(金) 20:33:49 ]
>>478
だから>>441で良いって言ってるのは正しいだろ。

485 名前:132人目の素数さん mailto:sage [2006/10/27(金) 20:51:23 ]
(プwww

486 名前:外野 mailto:sage [2006/10/27(金) 21:21:51 ]
>>484
>>441 を見たがもちろん駄目だよ。論証とは認められない。
中間の結論があっていてもその論拠が示されていない。>>477 の言う通りだ。
有限次元線形空間の全射自己準同形が同形であるとの前置きが必要。
その上でAが自己同形と結論してあれば良い。
そんなことは自明だと強弁したいのだろうが、君は多分分かっていなかったと思う。
で、

Aは自己同形だから可逆で逆元Cを持つ。AB=E の両辺にAの逆元Cを左から乗じて、B=Cを得る。
Bは自己同形でAの逆元である。

とやる。

ただ次元定理を論拠に挙げると×というのはおかしいと思うな。それは>>478にある。
いずれにせよ、君は>>441では論拠を示してはいない。言い訳は止めよう。

487 名前:132人目の素数さん mailto:sage [2006/10/27(金) 22:17:12 ]
レベルが低い連中を相手だと、こうなるのか。Galoisの気持ちが少し分かった気がした。それが今日の収穫かな。

488 名前:132人目の素数さん mailto:sage [2006/10/27(金) 22:19:29 ]
お前はGaloisほどの天才でも何でもないけどなw

489 名前:132人目の素数さん mailto:sage [2006/10/27(金) 22:28:10 ]
ただいまGaloisに迫ろうとしてます

490 名前:132人目の素数さん mailto:sage [2006/10/27(金) 22:44:08 ]
>>438の証明ってこんなに難しいんですか?




491 名前:132人目の素数さん mailto:sage [2006/10/27(金) 22:45:05 ]
ワロタ

492 名前:132人目の素数さん mailto:sage [2006/10/27(金) 22:49:06 ]
>>488 Galoisが天才であることも知らんくせに

493 名前:444 mailto:sage [2006/10/27(金) 22:59:48 ]
>>464はRの可換性を暗黙のうちに仮定したのですね。

>>490 行列のサイズが無限なら反例が存在するので(>>446)、
証明のどこかで、必ずサイズの有限性を使う。
斎藤の本(p.48)では基本変形の理論と
行列のサイズに関する帰納法を使って示している。







494 名前:132人目の素数さん mailto:sage [2006/10/27(金) 23:15:22 ]
卑しくも線型代数と題した本であるからには
>>446みたいな反例とかもきちんと載せて欲しいよね。

あと双対空間の双対空間が元の空間と同型にならない例とかさ。

まあ題名にFinite dimentionalとかちゃんと付いてるならまだしも。

495 名前:132人目の素数さん [2006/10/27(金) 23:26:46 ]
数列が作る無限次元線型空間のずらし写像くらいは、大抵の教科書に書いてある。
漸化式を解くのに使うからね。

496 名前:132人目の素数さん [2006/10/27(金) 23:56:41 ]
>>490
左逆元の存在だけから右逆元の存在(あるいはその逆)をいうのは難しい。
線型代数そのものがわかっているかどうかの踏み絵になる。

497 名前:132人目の素数さん mailto:sage [2006/10/28(土) 00:01:23 ]
>>496
踏み絵の使い方を誤解してはいないだろうか?
知ったかぶりが気の聞いた言葉を使うとこうなるよい例だな。

('A` ) プウ
ノヽノ) =3'A`)ノ ヒャー
  くく へヘノ


498 名前:132人目の素数さん mailto:sage [2006/10/28(土) 00:05:03 ]
馬鹿晒して叩かれた、イタイ奴が居座ってるなあ・・・

499 名前:132人目の素数さん mailto:sage [2006/10/28(土) 00:17:27 ]
必死ですね

500 名前:132人目の素数さん mailto:sage [2006/10/28(土) 00:47:14 ]
だれのことだ?
線形代数でなんだかんだ入っててもあほらしいでしょ。
ところでCayley-Hamiltonを行列を三角化しない方法で証明してみな



501 名前:132人目の素数さん mailto:sage [2006/10/28(土) 00:57:58 ]

線形代数でなんだかんだ入ってるあほ

502 名前:132人目の素数さん mailto:sage [2006/10/28(土) 01:22:20 ]
>>500
可換環上の有限生成加群(自由化群とは限らん)の場合のハミルトン・ケイリー
の定理を定式化して証明しなさい。教科書、文献を漁るのは可。

503 名前:132人目の素数さん mailto:sage [2006/10/28(土) 01:29:07 ]
試金石

504 名前:132人目の素数さん [2006/10/28(土) 02:26:41 ]
>>502
CH の弱い形

R:可換環, M:有限生成 R-加群 T: End_R(M) の元
このとき、R[T] は R-加群 として有限生成か?

505 名前:132人目の素数さん [2006/10/28(土) 02:31:25 ]
ガロアくんは「king様の弟子」が匿名で書いてるんだろうね。
工房が大人のふりをしてるんだろうから、みんないじめるのはもう止めよう。

506 名前:132人目の素数さん mailto:sage [2006/10/28(土) 03:36:55 ]
>>500
有限生成加群Mへfreemodule of finite rank Fから全社とって
行列表現して・・・でいいんでないのけ

507 名前:132人目の素数さん [2006/10/28(土) 07:14:05 ]
連続微分行列

508 名前:132人目の素数さん mailto:sage [2006/10/28(土) 07:15:58 ]
このスレや不等式スレはレベルが高いですね。
勿論他にもあると思いますが、こういったスレがあると何故か
数学板もすてたもんじゃないと思います。

509 名前:132人目の素数さん [2006/10/28(土) 07:50:24 ]
テンソルでやれば?

510 名前:132人目の素数さん mailto:sage [2006/10/28(土) 18:18:20 ]
上で>>438の問題を巡ってもめていたようだけど、どのみち行列式を使えば
イチコロなので手法に制限を付けての議論なんてあまり意味がないように思えた。

だがA,B,Eが、成分が体の元の有限サイズ正方行列で無い場合。たとえば、R-加群M
の自己準同形であるような場合の類似問題を考えると、直接には行列式は使えない。
実は有意義であると分かった。>>464>>493の言っていることに本質があると思う。

この問題は一般化しないと>>496が言っているようなことの意義は分からない。
線形空間の場合は退化して、行列式論から自明の命題になってしまう。
(ガロアくんは、もしかすると、この事が言いたかったのかもしれない)



511 名前:132人目の素数さん mailto:sage [2006/10/31(火) 01:38:26 ]
固定点を原点とする2つの右手直交座標系a,bにおける
x,y,z軸方向の単位ベクトルを絶対座標で表したものを
それぞれxa,ya,za,xb,yb,zbとすると、
aをbに1回の回転で移す回転軸は
xa×xb+ya×yb+za×zbで表すことができる。(×は外積)
きれいな性質なのでこれのシンプルな説明は無いでしょうか。

512 名前:132人目の素数さん mailto:sage [2006/10/31(火) 19:51:05 ]
内積

513 名前:132人目の素数さん [2006/10/31(火) 21:53:50 ]
2次曲面の標準形の求め方について質問なんですが、

A[x] := 二次形式 b:=一次の係数のベクトル として
二次曲面を
 A[x] + 2*<b,x> + c = 0
と、与えられているとして、

P:=Aを対角化する直行行列 で
x=Py として Aを対角化して、その後に平行移動することによって
2次の項を消して標準形にするという方法は知っているのですが、

他にスマートなやり方はないもんでしょうか?


#分かりにくい上に長ったらしい質問で失礼

514 名前:513 mailto:sage [2006/10/31(火) 21:55:24 ]
2次の項を消してどうするんだ・・・orz
1次の項を消して、に訂正して読んで下さい

515 名前:132人目の素数さん [2006/10/31(火) 22:01:55 ]
>513
係数が特殊な場合に簡単にできるケースもあると思うけど、
一般論として正直にやるしかない。

516 名前:132人目の素数さん mailto:sage [2006/11/01(水) 00:21:47 ]
>>515
レスありがとうございます

計算がちょっとめんどくさそうだったので、
他にいい方法があるかもと思って聞いてみたのですが、
実際に計算してみたら、別に大した量じゃありませんでした

これくらいの計算だったら確かに、
ガリガリやるくらいが丁度いいですね

517 名前:132人目の素数さん mailto:sage [2006/11/01(水) 02:27:44 ]
>>512
内積?
詳しくよろ。

518 名前:132人目の素数さん [2006/11/01(水) 18:51:31 ]
絶対値が最大の固有値を求める方法としてべき乗法というものがあるらしいのですが、
ttp://www.asahi-net.or.jp/~uc3k-ymd/Lesson/Section03/section03_09.html#PowerMethod
証明は
ttp://www.asahi-net.or.jp/~uc3k-ymd/Lesson/Section03/PowerMethod.html

ttp://aoki2.si.gunma-u.ac.jp/lecture/power-method/power.html
のサイトによると、もとの行列Aを求めた最大固有値λとそれに対応する固有ベクトルxを使って
A(i,j)-λ×x(i)×x(j)^T→A(i,j)
と変換してもう一度べき乗法を行うと第2固有値と固有ベクトルが求められるらしいです。
その証明がわかる方がいましたら教えてください。

519 名前:132人目の素数さん mailto:sage [2006/11/01(水) 22:21:57 ]
>>518
固有値が絶対値の大きさ順に |λ_1|≧|λ_2|≧・・・≧|λ_n| と並んでいたとして
それぞれの単位固有ベクトルを u_1 , u_2 , ・・・ , u_n とすれば
A-λ_1*u_1*(u_1)^T という行列(A'とする)は
A'u_1=0 , A'u_2=λ_2*u_2 , ・・・, A'u_n=λ_n*u_n
を満たすからAの最も絶対値の大きい固有値を0に置き換えたものになる。

520 名前:518 [2006/11/02(木) 14:54:24 ]
>>519
わかりやすい説明ありがとうございます。
ただ、
A'u_2=(A-λ_1*u_1*(u_1)^T)u_2=Au_2-λ_1*u_1=λ_2*u_2-λ_1*u_1
となるところまでは理解できたのですが、これがなぜλ_2*u_2になるかが
わかりませんでした。アホな質問で申し訳ありませんが
もう少し詳しく教えてくださいm(_ _)m



521 名前:518 [2006/11/02(木) 14:58:32 ]
>>520
自己レスです。
第2項は0になるからA'u_2=λ_2*u_2が成立しますね。
アホな質問して申し訳ありませんでした。

>>519さん
ありがとうございました。

522 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/03(金) 00:08:00 ]
>>478 の証明には線形空間の次元の「矛盾なく定義されていること」は関係ないです。
それを使わなくても証明できます。

一般的には次元のwell-defなんて考えません。


523 名前:132人目の素数さん mailto:sage [2006/11/03(金) 00:12:21 ]
どっちもうやむや行間にwell-definedって言ってかっこつけたつもりになってるのが臭すぎる

524 名前:132人目の素数さん mailto:sage [2006/11/03(金) 07:03:45 ]
いや、well-posed じゃないんだよ。

525 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/03(金) 11:50:56 ]
>>523 じゃなんていえばいいんだよw

526 名前:132人目の素数さん mailto:sage [2006/11/03(金) 12:26:09 ]
>>525
馬鹿は自分を賢く見せようとして、必要の無いところで難しい概念用語を持ち出します。
用語は念を入れてわざわざ横文字にすることが多いです。

527 名前:132人目の素数さん [2006/11/03(金) 12:33:43 ]
>>526
禁n句のお弟子さんは、馬鹿の特徴をしっかり押さえてるな(w

528 名前:132人目の素数さん mailto:age [2006/11/03(金) 15:26:55 ]
だれか分かる人、教えるべし。

f:X->S をflat morphism
Y=X×XをXのS上のfiber produt とする。
p_1, p_2をprojectionsとする。
IをX上のinjective O_X module sheafとする。
このとき、Iをp_2でpullbackしたO_Y module sheaf p_2^*(I) は
p_1によるdirectimage p_1_* にたいしacycicか?
すなわち、R^i p_1_*(p_2^* I)=0 (i>0)?

529 名前:132人目の素数さん mailto:age [2006/11/03(金) 20:01:36 ]
条件追加:

EをS上のベクトルバンドルとし、X=P(E)で、f:X->Sをprojectionとして,考えてください。

530 名前:β ◆aelgVCJ1hU [2006/11/03(金) 20:08:58 ]
|x|≦z^2を満たす点全体からなる立体をRとする。点(0,0,1)を通りx軸に平行な直線を中心軸とする半径1の円柱をCとし、RとCの共通部分をTとする。
-1≦h≦1 に対して(0,0,1+h)を通りz軸に垂直な平面によるTの切り口の面積を求めよ。

切り口は)□□なると思うんですがなぜ長方形になるのかわからん教えて。



531 名前:132人目の素数さん mailto:sage [2006/11/03(金) 20:18:29 ]
>>530
マルチ

532 名前:132人目の素数さん mailto:sage [2006/11/03(金) 20:23:17 ]
>>530 受験板で聞け

533 名前:132人目の素数さん mailto:sage [2006/11/03(金) 21:07:09 ]
線形代数の教科書多すぎ

534 名前:132人目の素数さん mailto:sage [2006/11/03(金) 21:12:38 ]
同意

535 名前:132人目の素数さん mailto:age [2006/11/04(土) 00:38:58 ]
条件追加:

injective sheaf I は quasi-coherent

536 名前:132人目の素数さん mailto:age [2006/11/04(土) 01:26:26 ]
自力で何とか証明できたよ:

R^i p_1_*の値は、p_1の値域であるX上localに決定されるから、
U=Spec(C)をXのopen affine subschemeとして、
U×X上で考えればいい。
このとき、R^i p_1_*(p_2^*(I))はquasi-coherent だから、
そのU上のsection の全体Γ(U、R^i p_1_*(p_2^*(I)))によって決定される。
ところが、Γ(U、R^i p_1_*(p_2^*(I)))=H^i(U×X、p_2^*(I))であるから、
X=P(E)のstandard covering {D_+(x_j): j=1,...,r}に関するCech cohomology と一致する。
ところが、そのCeck complex は IのX上のCech Complexを X上 U×X へbase change したものである。
ところが、UはS上flat であるから、U×XもX上flatであり、
よって、p_2^*(I)のU×X上での Cech complex もexactである。
よって、 H^i(U×X、p_2^*(I))=0(i>0)

537 名前:132人目の素数さん mailto:sage [2006/11/13(月) 05:51:52 ]
427

538 名前:ぽわんぽわん [2006/11/13(月) 13:49:19 ]
互換(i,j)(i<j)の転位数はどうして2(j-i)-1になるんでしょうか?
どなたかわかる人、教えてください(ノ。σ、)イ

539 名前:132人目の素数さん [2006/11/13(月) 13:59:43 ]
線形代数のわかりやすい参考書教えて下さい

540 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/13(月) 14:10:34 ]
>>495 数列が作るベクトル空間の次元は無限ではないのでは?



541 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/13(月) 14:11:50 ]
>>539 線形代数のわかりやすい本といったら、
斉藤の線形代数入門だと思うよ。つうか、これそんなに簡単じゃないけど、
かなり実力はつく。
簡単な本読んでも本当の実力はつかないよ。

542 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/13(月) 14:17:45 ]
線形変換T:R^3→R^3 T(x)=(3×3行列)x
3×3行列はA つまりTx=Ax

その両空間の単位ベクトルからな標準基底、すなわちt(100) t(010) t(001)に関するTの行列は
A自身ですよね?
この基底は性器直交基底なので、Tの性器直交基底に
関するTの行列といったときも、それは当然Aですよね?

よってその行列を転地Aとしている本を見つけたのですが
それって間違いですよね

543 名前:132人目の素数さん mailto:sage [2006/11/13(月) 14:49:21 ]
性器直交ってすごそう

544 名前:132人目の素数さん [2006/11/13(月) 21:10:34 ]


545 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/14(火) 16:16:34 ]
線形代数の質問です。
Tがエルミート変換であって、Tの最大の固有値をαとすれば、

α=sup{(Tx,x)||x|=1}が成り立つわけですが、
これって正確にはα=max{(Tx,x)||x|=1}ではないでしょうか?
なぜならαは{(Tx,x)||x|=1}の元ですよね?




546 名前:132人目の素数さん mailto:sage [2006/11/14(火) 16:53:29 ]
>>545
ちょっとだけおもしろいな。

547 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/14(火) 17:34:08 ]
>>546 真面目に教えてください。お願いします
俺が間違ってるのでしょうか>??

548 名前:132人目の素数さん mailto:sage [2006/11/14(火) 17:45:31 ]
>>547
うん。xはどこに入っているかってことだよね。

549 名前:132人目の素数さん mailto:sage [2006/11/14(火) 17:56:46 ]
>>545
おまえなあー。コンパクト性やら写像の連続性やら位相の基本的なことを
勉強したんだろうが。だったら、聞くまでも無い自明な事なはずだ。

ヒント:
有限次元の球や球面はコンパクト。有限次元複素ヒルベルト空間Hの計量
とH上の線形写像は連続。

550 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/14(火) 18:11:30 ]
>>548 xはユニタリ空間Vの元です。

>>549 とてもレベルが高くてついていけないです。
位相のことなどはやりましたが、それと俺の質問がどう関係しているのかわかりません。(><)
もう少し詳しくお願いします。



551 名前:132人目の素数さん mailto:sage [2006/11/14(火) 18:11:50 ]
か ま う な

552 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/14(火) 18:20:12 ]
Tがエルミート変換であって、Tの最大の固有値をαとすれば、
α=sup{(Tx,x)||x|=1}が成り立つ

また、この定理の証明のなんですが、
証明は、任意のy∈{(Tx,x)||x|=1}に対してy<αであることと
αが最小の上界であることを示せばいいんですよね?

斉藤の線形代数の本の証明にもαが集合{(Tx,x)||x|=1}の元に入って
いることが示されています。
だから、supじゃなくてmaxだと思うのですが。。

553 名前:132人目の素数さん mailto:sage [2006/11/14(火) 18:35:17 ]
>>552
f(x)=(Tx,x)で定まる関数は連続関数だ。Tがエルミートであることによりf(x)
の値は常に実数である。単位球面E={x| |x|=1} はコンパクト集合だから当然
その上で連続な実数値関数f(x)は最大値 max f(E) をとりそれはα=sup f(E)
に等しい。重要なのはsup f(E) = max f(E) なんて自明なことではなく、v∈E
がf(x)のEにおける最大値α=f(v)を与えるとき、vがTの固有ベクトルになることだ。
それは、wをvの任意の直交ベクトルとするとき、Tvがwと直交することにより分かる。

554 名前:132人目の素数さん mailto:sage [2006/11/14(火) 18:40:01 ]
LU分解を用いて逆行列を求めるアルゴリズムを考えています。
LU分解まではできたのですが、LU分解からどうやって逆行列を求めるかに
つまづいてしまいました。
あまりにも簡単なのか、調べても、「LU分解をすると、簡単に逆行列を求めることができる」
としか書いていません。
どうぞ愛の手をお願いします。

555 名前:132人目の素数さん mailto:sage [2006/11/14(火) 18:41:57 ]
もしかして、>>552は実数値連続関数f(x)はコンパクト集合Cに対し
 sup {f(x)| x in C} = max {f(x)| x in C}
となることが分からないのでは?

556 名前:132人目の素数さん mailto:sage [2006/11/14(火) 18:50:00 ]
>>554
ttp://ja.wikipedia.org/wiki/LU%E5%88%86%E8%A7%A3

557 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/14(火) 20:40:45 ]
>>553 ありがとうございます。かなり勉強不足でした。
>>555 それもわからなかったです。

本当に勉強不足だ。

558 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/14(火) 22:18:52 ]
Aを正方行列として、
Aが0を固有値として持たない⇒A:正則

この証明がわかりません。いらいらして頭がはげそうです。
お願いします。本当に教えてください泣




559 名前:132人目の素数さん mailto:sage [2006/11/14(火) 22:37:22 ]
>>558
kingにでも聞けば?その程度ならわかるんじゃね?

560 名前:132人目の素数さん mailto:sage [2006/11/15(水) 02:32:12 ]
x       x+3y+11z
y   →    x+4z
z       x−2y−3z


の核と像を求めよ。
ってどうやって求めたらいいのでしょうか? 



561 名前:132人目の素数さん mailto:sage [2006/11/15(水) 02:33:17 ]
上は3行1列です

562 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/15(水) 15:54:40 ]
>>553,>>555
完璧に理解しました。
結局はmaxと書いてもsupと書いても同じことですよね?

俺の質問は自明すぎた。
重要なところから外れてました。

563 名前:132人目の素数さん mailto:sage [2006/11/15(水) 17:32:48 ]
maxが存在する場合はmax=sup。
ただしmaxは存在しないかもしれない。
実数の有界な部分集合に関する限りsupは必ず存在する。
つまりsupはmaxを拡張したようなもの。

nは偶数と書いてある文章に対して、でもnは実際は4で割り切れるから
厳密に言えば4の倍数といったほうが正しいですよね?とかいってるようなものかな。

大学教養の実数論で習うでしょ。

564 名前:KingOfUniverse ◆667la1PjK2 [2006/11/15(水) 17:33:38 ]
talk:>>559 私を呼んでないか?

565 名前:132人目の素数さん mailto:sage [2006/11/15(水) 17:46:59 ]
>>563
最近は実数論はやらない所が多いとか

566 名前:132人目の素数さん mailto:sage [2006/11/15(水) 17:52:27 ]
>>565
大学一年で実数体の構成はやらないだろうが、>>563程度のことはさすがにやるだろ
上限・下限を知らなかったら微積分すら出来やしないw

567 名前:132人目の素数さん mailto:sage [2006/11/15(水) 17:56:33 ]
>>566
現に上限・下限が分からなくて微積の出来ない奴がいっぱいいる。

568 名前:132人目の素数さん mailto:sage [2006/11/15(水) 18:32:19 ]
今東大にいるがコース選択によってやる/やらないが分かれる
俺はよくわからずやらない方に来てしまった

569 名前:132人目の素数さん mailto:sage [2006/11/15(水) 18:33:02 ]
数理科学V履修すればいいじゃん

570 名前:132人目の素数さん mailto:sage [2006/11/15(水) 18:34:26 ]
数学科以外だと、上限・下限を知らないのに
微積できてると思ってる奴はいっぱいいる。



571 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/15(水) 19:30:54 ]
>>563 その部分については1年ぐらい前から理解していましたが、
より厳密性を高めるなら、>>552については最大値が存在するのだから、
maxのほうが正確なのではないかと思いました。

572 名前:132人目の素数さん mailto:sage [2006/11/15(水) 20:48:30 ]
>>571 無限次元の場合、単位球は普通の位相ではコンパクトでは無いから、
sup{(Tx,x)| |x|=1}が存在するからといってそれがmaxとは限らない、という関係で
そのような記述が多いのだと思う。で実際に無限次元の場合は定理は成り立たないし。
と、ここまで書いて、それならやっぱり貴方の言う通りmaxが存在するなら、と言う
書き方の方がいいと思いました。

573 名前:ぴか z (.゚−゚) ◆pikaMw.D1M mailto:sage [2006/11/15(水) 20:53:07 ]
sup,infって1年の微積でやるだろ

574 名前:568 mailto:sage [2006/11/15(水) 22:22:30 ]
>>569
1年生なんだぜ

575 名前:132人目の素数さん mailto:sage [2006/11/15(水) 22:25:12 ]
どうせ暇なんだから自分で勉強しろ

576 名前:132人目の素数さん mailto:sage [2006/11/15(水) 23:07:02 ]
完璧な距離空間X、距離p(x、y)として
F:D⊂X→Xが縮小写像であることの定義
を書けって言われたんだけど良くわかんない
から教えてくださいな・・・orz

577 名前:132人目の素数さん mailto:sage [2006/11/15(水) 23:28:20 ]
(実数値)関数全体のなす線形空間の部分空間として、V=<sinx,cosx>を考える。
{sinx, cosx}はVの基底であることを示せ。

って問題なんですが、これはつまり 

k*sin(x) + l*cos(x) = 0 のとき (k,l) =0 であることを証明すればいいんですか?
だとしても x=π/4 のとき (k,l) =(1,-1) となるのですが、、、

578 名前:132人目の素数さん mailto:sage [2006/11/15(水) 23:32:38 ]
>>577
馬鹿

579 名前:132人目の素数さん mailto:sage [2006/11/16(木) 01:40:01 ]
Vの0は任意のxに対して0(∈R)となる関数。


580 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/16(木) 11:38:32 ]
>>572 そうか。無限次元の場合を考えれば、定理は成り立たないですね。
だからsupの記述なんですね。
そして普通はmaxの記述のほうが正確ですね。



581 名前:132人目の素数さん mailto:sage [2006/11/16(木) 11:54:44 ]
>>580
無限次元は線形代数では普通扱わないだろ。扱うのは関数解析の線形作用素論。

582 名前:132人目の素数さん mailto:sage [2006/11/16(木) 12:06:13 ]
有限次元ノルム空間場合と違って、無限次元のノルム空間では線形作用素で不連続なものがある。

583 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/16(木) 17:20:41 ]
無限次元だといろいろな性質の違いがあるのか。

584 名前:132人目の素数さん mailto:sage [2006/11/16(木) 18:36:03 ]
V:ベクトル空間、f:V→V:線型写像
このとき
Vが有限次元かつfが単射 ⇔ fは全射

これの証明おねがいしまつ。

585 名前:132人目の素数さん mailto:sage [2006/11/16(木) 18:56:22 ]
>>584
その書き方だと全射性から単射性と有限次元性が従うと読めますよ。
正しくは有限次元性を仮定した時、全射性と単射性が同値なことを示すのだと思うよ。
>>438以下を見れば分かると思う。

586 名前:0123210 [2006/11/16(木) 19:02:07 ]
www.geocities.jp/math_0123210/

587 名前:132人目の素数さん mailto:sage [2006/11/16(木) 19:07:00 ]
>>584
Rが可換なとき>>464

588 名前:132人目の素数さん mailto:sage [2006/11/16(木) 19:10:15 ]
>>584
dim V = dim Im f + dim Ker f.

589 名前:132人目の素数さん [2006/11/16(木) 19:17:53 ]
ある行列Aがあって、AをQR分解するとします。
A=QR

ここで、Aの列ベクトルを逆順に並べた行列をA'とするとき、
このA'をQR分解した、A'=Q'R'の式の、
Q'とQ、R'とRには、どのような関係がありますか?

590 名前:132人目の素数さん mailto:sage [2006/11/17(金) 00:12:24 ]
>580
maxはその記号をあらわしたとたん存在するかどうかが問題になる。
supは(∞を含めれば)常に存在する。
少ない仮定で記述するのがスマートであるという価値観に基づけば、有限集合でもない限りmaxよりもsupを使って定義する方が自然だと思う。



591 名前:132人目の素数さん mailto:sage [2006/11/17(金) 00:35:49 ]
かまうな

592 名前:132人目の素数さん mailto:sage [2006/11/17(金) 00:46:40 ]
しまうま

593 名前:132人目の素数さん [2006/11/17(金) 01:02:32 ]
最小二乗推定値を正規方程式ではなくQR分解でとくlattice methodが詳しく説明されている
教科書はないでしょうか。

594 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/18(土) 14:49:11 ]
>>590 了解しました。

595 名前:132人目の素数さん [2006/11/29(水) 15:49:10 ]
線型代数を洋書で勉強したいのですが、入門書で何かありませんか?

596 名前:132人目の素数さん mailto:sage [2006/11/29(水) 17:16:18 ]
線型代数の最初の一冊ならLangのIntroduction to Linear Algebraがいいと思う。

597 名前:132人目の素数さん [2006/11/29(水) 21:29:25 ]
すいません、ちょっと質問です。部分空間の基底を求める問題を今やってます。
そこで、行変形を用いて行列A
|1  3   0  1  3|
|1  2   1  2  0|
|−1 1  −4  3  1|
|−1 −2 −1 −2  0|



|1  3  0  1  3|
|0 −1  1  1 −3|
|0  4 −4  4  4|
|0  1 −1 −1  3|

|1  0  3  4  9|
|0  1 −1 −1  3|
|0  0  0  1 −1|
|0  0  0  0  0|

と変形させようとしたのですが、2回目の変形で何が起きたのか分かりません。
どうか教えてください。
ちなみに”|”は行列の外枠です。


598 名前:132人目の素数さん mailto:sage [2006/11/29(水) 21:42:29 ]
2行目の3倍を1行目に、4倍を3列目に、1倍を4列目に加えた後
2行目を(-1)倍する。

599 名前:132人目の素数さん [2006/11/29(水) 22:42:02 ]
ありがとうございます。おかげで助かりました。
もう一つお願いしたいのですが、核の基底の出し方を教えていただけないでしょうか?
教科書のどこを見てもびしっと書いていないのです。

600 名前:132人目の素数さん mailto:sage [2006/11/29(水) 22:47:27 ]
他の教科書を図書館や本屋で立ち読みしてみよう。



601 名前:132人目の素数さん [2006/11/29(水) 23:07:06 ]
すいません、2行目の3倍を1行目に加えると、右端は−6になるのではないでしょうか?


602 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/29(水) 23:10:40 ]
>>599 お前はバカか?
核の基底の出し方も何も、一次独立なベクトルを次元の数だけ取り出す
だけだろう。
そもそも核は普通に部分空間だ。
もう少し賢くなってから質問しろ。カス。

603 名前:132人目の素数さん [2006/11/29(水) 23:29:48 ]
申し訳ありません。
参考書を見直していたら、乗っていることにいまさらながら気づきました。
ご迷惑をおかけしています。
ですが、601のところだけはどうなっているのか、よく分かっていません
寝ぼけて、頭が回っていないのかもしれませんが……


604 名前:king様の弟子 ◆/LAmYLH4jg [2006/11/29(水) 23:35:09 ]
>>603 (1,1)成分が1だから
(2,1)、(3,1)、(4,1) 成分を0になるように基本変形しただけだろ?

605 名前:132人目の素数さん [2006/11/30(木) 00:03:59 ]
2行目×3足す1行目
=|1 0 3 4 −6|
という結果しか計算できないのです。
答えは右端はー6ではなく9になっているのに

606 名前:132人目の素数さん mailto:sage [2006/11/30(木) 00:55:46 ]
本に>>597が書いてあるの?
だとしたら
単に教科書のミスなんじゃないの?

607 名前:132人目の素数さん mailto:sage [2006/12/01(金) 04:47:54 ]

例2. 任意のn次正方行列A,Bに対し, ABとBAの固有多項式 (従って固有値)
は一致する: φ_AB(x)=φ_BA(x). ここに φ_C(x) はCの固有多項式.

という公式が佐武の線型代数にあったのですが、これってAが冪零でも成立しますか?

佐武一郎: 「行列と行列式」 p.136 例2. (裳華房)
science4.2ch.net/test/read.cgi/math/1164290704/685
分かスレ266

608 名前:132人目の素数さん mailto:sage [2006/12/01(金) 19:13:23 ]
>例2. 任意のn次正方行列A,Bに対し, ABとBAの固有多項式 (従って固有値)
>は一致する: φ_AB(x)=φ_BA(x). ここに φ_C(x) はCの固有多項式.
が正しいんだから当然正しいんだろ

609 名前:132人目の素数さん mailto:sage [2006/12/01(金) 23:34:15 ]
>607

n次正方行列C に対し
 φ_C(x) = |xE-C| = 納k=0,n] (-1)^k・γ_k・x^(n-k).
とおくと γ_0 =1, γ_1 =tr(C), γ_n =|C|. 
簡単のため (i_1,i_2,…,i_k) = {i}_k と略記する。
また、C の {i}_k行, {j}_k列 の要素からなるk次の小行列を C({i}_k; {j}_k) と記す。
 γ_k = 倍i}_k |C({i}_k; {i}_k)|.
右辺の {i}_k は 1≦i_1<i_2<…<i_k≦n を満たすすべての組合せを亘る。

さて、C = AB のときは
 C({i}_k; {i}_k) = A({i}_k; 1,2,…,n) B(1,2,…,n; {i}_k).
Binet-Cauchy の等式より
 |C({i}_k; {i}_k)| = 倍j}_k A({i}_k; {j}_k) B({j}_k; {i}_k)
右辺の {j}_k は 1≦j_1<j_2<…<j_k≦n を満たすすべての組合せを亘る。
∴ AとBとを交換しても γ_k は不変.
∴ φ_AB(x) = φ_BA(x).   (終)

佐武: 「行列と行列式」 p.67 定理9 (裳華房)
mathworld.wolfram.com/Binet-CauchyIdentity.html

つーことは、A,Bがべき零云々は関係ねぇな。p.136の方法は良くないんぢゃ(後ry.

610 名前:132人目の素数さん mailto:sage [2006/12/02(土) 09:55:55 ]
A の成分を全部不定元とし、それらの不定元で定まる有理関数体 F で考えれば、
A は正則なので、F 係数の多項式としての等式 φ_AB(x) = φ_BA(x) が得られる。
あとは不定元に代入、という手もあるかと。



611 名前:132人目の素数さん mailto:sage [2006/12/04(月) 19:08:46 ]
線形変換f:R^4→R^4がR^4の基{u1、u2、u3、u4}に関して、f(u1)=u2+u4、f(u2)=u3-u1、f(u3)=u4+u2、f(u4)=u1-u2 であるとき、R^4の基{2u2、4u4、3u3、u1}に関するf^3の表現行列を求めよ。お願いします。

612 名前:132人目の素数さん [2006/12/09(土) 08:07:54 ]
Vをベクトル空間とする。
Vにはn個の線形独立なベクトルx1,x2,…,xnが存在する。
Vにはn+1個の線形従属なベクトルy1,y2,…,yn,yn+1が存在する。
このときdimV=nであることを証明しなさい。

という問題が解けないのですが、「x1,x2,…,xmが線形従属であるための必要十分条件は、このうちの1つのベクトルが残りのm-1個のベクトルの線形結合で書かれる」ということを使えばよいのでしょうか?

613 名前:132人目の素数さん [2006/12/09(土) 08:32:02 ]
行列式が0と0でないからありえないので

614 名前:132人目の素数さん mailto:sage [2006/12/09(土) 08:34:03 ]
問題間違ってね?

615 名前:132人目の素数さん [2006/12/09(土) 09:06:38 ]
>>612
【反例】
V=R^(n+1)、V の標準基底を e_1,…,e_(n+1) とする。
x_1=e_1,…,x_n=e_n は V の n 個の線形独立なベクトル。
y_1=y_2=…=y_(n+1)=e_1 は n+1 個の線形従属なベクトル。
しかし、dimV=n+1≠n と、題意に反する。

616 名前:612 [2006/12/09(土) 14:37:42 ]
あれ?問題がおかしいですか?
もう一度問題文を確認してみました。

Vをベクトル空間とする。Vは次の2条件を満たしているとする。
1、Vにはn個の線形独立なベクトルx_1,x_2,…,x_nが存在する。
2、Vのn+1個のベクトルy_1,y_2,…,y_n,y_n+1は線形従属である。
このときdimV=nであることを証明せよ。

これが問題文そのままを写したものです。
612に書いたのはちょっと違ってましたが、言ってることは同じですよね。
ということはこの問題は解けなくてもいいってことでしょうか?

617 名前:132人目の素数さん [2006/12/09(土) 14:41:41 ]
>>616
言っている事は違う。

618 名前:132人目の素数さん mailto:sage [2006/12/09(土) 14:46:08 ]
>>616
2はVの任意のn+1個のベクトルy_1,y_2,…,y_n,y_n+1は線形従属である。
って意味

619 名前:132人目の素数さん mailto:sage [2006/12/09(土) 17:46:28 ]
>>616
1の線形独立なn個のベクトルがVを生成することを示せばいい。

620 名前:132人目の素数さん mailto:sage [2006/12/09(土) 17:50:16 ]
その線形独立なn個のベクトルとVの任意のベクトルの組は2より線形従属になることに注目すればいい




621 名前:132人目の素数さん [2006/12/09(土) 19:50:07 ]
↑ 阿呆がいっぱい釣れました

622 名前:612 [2006/12/09(土) 19:59:28 ]
ありがとうございます。
ということは
まず線形独立なn個のベクトルx_1,x_2,…,x_nがVの生成系であることを示して
このn個のベクトルに任意のベクトルx_n+1を加えると線形従属になるということを証明すれば、
dimV=nが求まるということでしょうか。

623 名前:132人目の素数さん mailto:sage [2006/12/09(土) 21:41:27 ]
>>622
いや。
x_1,x_2,…,x_nがVの生成系であることを示すためにベクトルに任意のベクトルx_n+1を加えると線形従属になるということを使う。
するとx_1,x_2,…,x_nが基底であることが証明される。よってdimV=nとなる。

624 名前:132人目の素数さん mailto:sage [2006/12/09(土) 21:42:35 ]
「ベクトルに」ってとこ消去してね。
ペースト失敗した





625 名前:132人目の素数さん mailto:sage [2006/12/09(土) 21:48:07 ]
DQN指数の計算公式を求めよという宿題。だれか答えおすえて。

626 名前:132人目の素数さん mailto:sage [2006/12/09(土) 21:58:17 ]
d(x) をDQN指数とすると

d(x)=1 (x が 625氏のとき)
d(x)=0 (othewise)

627 名前:132人目の素数さん mailto:sage [2006/12/10(日) 02:28:18 ]
∫[1,1000]d(x)(dres)=1
d(x)はδ関数の一種でしょうか

628 名前:132人目の素数さん [2006/12/11(月) 21:52:57 ]
任意の代数的閉体での行列の三角化って書いてある教科書少ないんじゃ
ないか。
複素数体で証明しても、それが任意の代数的閉体で通用すならよしと
しよう。
佐武や斉藤に書いてあったっけ?
ジョルダン標準形を使えばいいけど、それは一寸大げさ。

629 名前:132人目の素数さん mailto:sage [2006/12/11(月) 22:09:24 ]
普通の体の性質しか使わなかったような…
何かノルムとか使ったっけ?

630 名前:132人目の素数さん [2006/12/11(月) 22:11:29 ]
>>629

どこに書いてあった?



631 名前:132人目の素数さん mailto:sage [2006/12/12(火) 14:09:52 ]
>>628
掃き出し法の手順記述では不満なのか?


632 名前:132人目の素数さん [2006/12/12(火) 17:17:38 ]
>>631

行列の三角化、つまり PMP^(-1) の形の三角行列を求めることと、
掃き出し法とは違う。

633 名前:132人目の素数さん [2006/12/12(火) 17:24:39 ]
しかしあれだな 風呂に入ってもマンコが臭い女って
なんなんだあれは。ほんとあきれるな。
今まで90人くらいとsexしたけど20人くらいはいたな。
俺は言うよ 臭い って。指についた匂いも嗅がせる。
俺自身しらけてsex続ける気になんて到底なれないから
大抵空気悪くなって終わり。
中学の保健でしっかりマンコの洗い方教えろっつーんだよ。
でも顔が可愛いとその匂いまで愛おしくなっちゃったりして。

まぁあれだ 優しい人モ無しうpしてください。


634 名前:612 [2006/12/12(火) 17:25:29 ]
すみません、生成系であることをどうやって示せばよいかわかりません。
質問ばかりですが、本を読んでもわからないのでヒントだけでもよいのでお願いします。

635 名前:132人目の素数さん mailto:sage [2006/12/12(火) 17:32:26 ]
問題の条件より、n個の線形独立なベクトルが
【少なくとも一組】存在するので、そのような組{x_1,x_2,.........,x_n}を一つ取る。

今任意のVのベクトルvを取ってくると{x_1,x_2,.........,x_n,v}はn+1個のベクトルの組である。
Vのベクトルの【どんなn+1個の組も】線形従属だから、

特にこれらも線形従属。つまり
c1x1 + c2x2 + ......... + cnxn + cv = 0ならばc1=c2=........=cn=c=0

以下略

636 名前:132人目の素数さん [2006/12/12(火) 19:43:25 ]
>>633

洗えば臭わないと思ってるオメエは無知
女を知らないな

637 名前:132人目の素数さん mailto:sage [2006/12/12(火) 22:12:02 ]
コピペにマジレスが数学板の仕様です。

638 名前:132人目の素数さん mailto:sage [2006/12/12(火) 22:30:51 ]
>>632
>掃き出し法とは違う。

違うと言えば違うが、その中身を理解していれば簡単だ。掃き出し法の手順については既知とする。

例えば下三角行列 P で PM を上三角行列になる様にするのが掃き出し法。この P が既に得られているとする。
掃き出しする事は(横に並べた)基底 Σ= {e_1,***,e_n,} の変換 P を作る事と理解できる。変換後の基底は Σ’=ΣP とおく。

任意のベクトル X について Σ による係数を、縦型の数ベクトル x= {x_1,***,x_n,}^t で表すと、
X は基底の一次型式として行列演算型式 X=Σx で表現できる。一方、このベクトル X について
基底 Σ’=ΣP による係数ベクトルは x’=P^(-1) x である。 P^(-1) は上三角行列。この時もちろん X=Σx=Σ’x’

本題に戻り、行列 M を x’ → Mx’ の様に係数ベクトルの変換で表された線型写像と見なす事ができる。
即ち線型写像 X → Σ’Mx’ を行列 M の基底(横並び) Σ’=ΣP による行列表示と捉えれば、
基底 Σ による行列表示は PMP^(-1) である。

上三角行列 PM に上三角行列 P^(-1) を右から乗じた PMP^(-1) も上三角行列である事はすぐ判る。

慣れてなきゃ難しいかな。


639 名前:132人目の素数さん mailto:sage [2006/12/13(水) 00:45:52 ]
P が下三角で P^(-1) が上三角ですか。変わっていますね。

640 名前:132人目の素数さん mailto:sage [2006/12/13(水) 01:08:33 ]
間違えたね、適当に読み替えてね。




641 名前:132人目の素数さん mailto:sage [2006/12/13(水) 02:43:04 ]
>>635
ご冗談を

642 名前:132人目の素数さん mailto:sage [2006/12/13(水) 02:53:19 ]
なんで?と思ったらホントだw
c1x1 + c2x2 + ......... + cnxn + cv = 0かつc1,c2,.........,cn,cのいずれかは0ではない。

cが0であるかどうかを調べてv=の形に直せることが分かればおしまい。
というか>>623が既に書いてるよね。

643 名前:132人目の素数さん [2006/12/13(水) 12:13:14 ]
>>638

そこのどこで係数体が代数的閉体であることを使ってる?

644 名前:132人目の素数さん [2006/12/13(水) 17:44:35 ]
>>638

そこのどこにも係数体が代数的閉体であることを使ってない。

したがって、おたくの証明によれば、例えば実正方行列が実数の範囲で
三角化出来ることになる。三角行列の固有値は対角線上の成分だから、
任意の実正方行列の固有値が実数であるという、明らかにまちがった
結果になる。

645 名前:132人目の素数さん mailto:sage [2006/12/13(水) 20:59:21 ]
任意の行列が下三角行列と上三角行列の積に書けるとか、
下三角行列の逆行列が上三角とかの無茶苦茶を書いている
のだから、そんなに高級な指摘はもったいない。

646 名前:132人目の素数さん [2006/12/13(水) 22:29:15 ]
>>612 いましがたここ見たのだが、そもそも問題の文章はn次元である事の定義そのもの
では無いのか?君が習ったn次元であることの定義を書いてくれないと、問題の意味が分からんよ。

647 名前:132人目の素数さん mailto:sage [2006/12/14(木) 00:12:27 ]
線形空間の次元の定義ってそんな騒ぐほどに事か?

648 名前:132人目の素数さん mailto:sage [2006/12/14(木) 00:14:07 ]
>>647
「の」が「に」になったが、三国人じゃないぞ

649 名前:132人目の素数さん mailto:sage [2006/12/14(木) 00:50:37 ]
>>648
(=゚ω゚)ノよお、三国人

650 名前:132人目の素数さん [2006/12/14(木) 01:51:36 ]
ちょん、ちゃんころ、ろすけ の総称



651 名前:132人目の素数さん [2006/12/14(木) 21:56:07 ]
正方行列の三角化は、ジョルダン標準形によらずに簡単に
証明される。

しかし、佐武(1957年)にしろ斉藤(1966年)にしろ正方行列の
三角化はジョルダン標準形に関連した形で証明されている。

正確には、佐武はジョルダン標準形に変形するるために
広義の固有空間への直和分解を証明している。
これから正方行列の三角化が出る。

斉藤の本はジョルダン標準形の証明をしているだけ。

線形代数の代表的教科書としては、簡単な別証明が欲しい。

652 名前:132人目の素数さん mailto:sage [2006/12/14(木) 22:03:45 ]
だから松坂も読めw

653 名前:132人目の素数さん [2006/12/15(金) 00:05:04 ]
松坂絶版じゃね?w

654 名前:132人目の素数さん mailto:sage [2006/12/15(金) 00:10:52 ]
>>651
同意。斉藤と佐武はその点に確かに難があると思う。
だけど、確か斉藤の演習本のほうには三角化の簡単な証明が載ってたはず。

655 名前:132人目の素数さん mailto:sage [2006/12/15(金) 00:19:11 ]
>>647
基底を本当に理解しているかどうか、勉強の確認にはなるな。

656 名前:132人目の素数さん mailto:sage [2006/12/15(金) 23:46:35 ]
>>651,652 三角化定理の簡単な証明が別にあるとどういういい事があるのだろう?
>>652の松坂本だって、それを基礎にジョルダン標準形に向かっていってた気がするが。

657 名前:132人目の素数さん [2006/12/16(土) 03:27:21 ]
>>656
>三角化定理の簡単な証明が別にあるとどういういい事があるのだろう?

簡単な証明を知ることにより、三角化定理の理解が深まる。
さらに、実際の三角化の計算にも役立つ。

658 名前:132人目の素数さん [2006/12/16(土) 04:09:34 ]
>>647
>線形空間の次元の定義ってそんな騒ぐほどに事か?

次元が基底の取り方によらないというのはトリビアルじゃない。
線形代数の基礎になる重要な定理。

それを承知で言ってるならいい。

659 名前:132人目の素数さん mailto:sage [2006/12/16(土) 06:26:38 ]
でも講義では次元が有限なのは暗黙の前提になってたりするような。

660 名前:132人目の素数さん [2006/12/16(土) 09:38:29 ]
>>659

その「でも」はどこに掛かってる?



661 名前:132人目の素数さん mailto:sage [2006/12/16(土) 12:10:48 ]
>>658
コロンブスの卵というか、重要なものの証明が必ずしも極端に難しいわけではない。
線形空間の次元の一意性は、有限次元に限っていうなら、非自明ではあるがそんなに難しくもない。

662 名前:132人目の素数さん [2006/12/16(土) 12:38:27 ]
>>661

至極当然でごもっとも、そのとおり。
で何を言いたい?

663 名前:132人目の素数さん mailto:sage [2006/12/16(土) 12:42:07 ]
もうこの話題切ってもいいのではないかと言うことでしょう

664 名前:132人目の素数さん [2006/12/16(土) 13:04:19 ]
>>663

別に切らなくてもいいだろう。三角化の話のように並行出来るんだから。
難しい、難しくないというのは個人差もあることだし。

だいたい学部で習う線形代数の証明なんて難易度は俺に言わせれば
次元の一意性と五十歩百歩。

665 名前:132人目の素数さん [2006/12/16(土) 13:17:07 ]
やり方がまずいと易しいものもムズくなるからなあー

666 名前:612 [2006/12/18(月) 01:32:29 ]
みなさんありがとうございます。
証明はこんなかんじでいいでしょうか。



2の条件から、n個の線形独立なベクトルx1,x2,…,xnに任意のベクトルv∈Vを加えたn+1個のベクトルは線形従属である。
よってc1x1 + c2x2 + … + cnxn + cv = 0 とすると、c1,c2,…,cn,cのいずれかは0ではない。
c1,c2,…,cn,cは任意の数なので、c≠0としてよい。

c1x1 + c2x2 + … + cnxn + cv = 0
cv = - c1x1 - c2x2 - … - cnxn
v = - (c1/c)x1 - (c2/c)x2 - … - (cn/c)xn

vはn個の線形独立なベクトルx1,x2,…,xnによって構成されているのでx1,x2,…,xnはVの生成系である。
よってdimV=n



間違っているところは是非ご指摘ください。

667 名前:132人目の素数さん mailto:sage [2006/12/18(月) 01:34:10 ]
>c1,c2,…,cn,cは任意の数なので、c≠0としてよい。
駄目。任意の数ではc1x1 + c2x2 + … + cnxn + cv = 0 になりません。

668 名前:612 [2006/12/18(月) 02:04:33 ]
ダメでしたか…。
どういう場合にc1x1 + c2x2 + … + cnxn + cv = 0 とすることができるのでしょう?
ギブアップです。
666のどこをどう直せばよいか教えてください。

669 名前:132人目の素数さん mailto:sage [2006/12/19(火) 02:03:47 ]
「c1x1 + c2x2 + … + cnxn + cv = 0となるような」
任意のc1,c2,.........,cn,cに対して、
そのいずれかは0でない、でしょ。
だから0でない数を選べるかどうかはまた別問題。
(まあ結果としては選べるわけだけど)

c = 0で他のciのどれかが0だとするとc1x1 + c2x2 + … + cnxn = 0となって矛盾。

670 名前:612 [2006/12/19(火) 14:28:41 ]
c = 0で他のciのどれかが0だとするとc1x1 + c2x2 + … + cnxn = 0となって矛盾。

…というのがよくわかりません。

どうして矛盾なんでしょう?



671 名前:132人目の素数さん mailto:sage [2006/12/19(火) 16:51:22 ]
>>670
そろそろうざい、模範解答書いてやるから一週間ほど謹慎しとけ。
> 他のciのどれかが0だ
は「他のciのどれかが0でない」の誤植だろう。んで、

1より線形独立なベクトルx1,x2,…,xnがとれる、
線形独立なベクトルx1,x2,…,xnに任意のベクトルv∈Vを加えたn+1個のベクトルは
2より線形従属であるから、少なくとも一つが0でないような数の組c1,c2,…,cn,cが存在して
c1x1 + c2x2 + … + cnxn + cv = 0とできる。
このとき仮にc=0とすると,c1,c2,…,cnのいずれかが0でないことになるが、同時に
c1x1 + c2x2 + … + cnxn + cv = 0は(c=0だから)c1x1 + c2x2 + … + cnxn= 0となる
ことを意味するので、c1,c2,…,cnのいずれかが0でないことはx1,x2,…,xnが線型独立だったことに矛盾する。

672 名前:132人目の素数さん [2006/12/19(火) 23:11:39 ]
固有値ってなんだ〜〜〜〜

673 名前:132人目の素数さん mailto:sage [2006/12/19(火) 23:12:28 ]
愛源バリュー

674 名前:132人目の素数さん mailto:sage [2006/12/20(水) 04:36:28 ]
>>669は間違ってるからわかったらおかしい

675 名前:132人目の素数さん mailto:sage [2006/12/29(金) 17:08:42 ]
A=1 −1 −1
 −1 1  −1
 1  1   3
で固有地1、2なんだけど
AX=Xでこのあとどうすればいいかわからない
なにをなにとおけばいいんですか?
教えてくださ

676 名前:132人目の素数さん mailto:sage [2006/12/29(金) 17:09:49 ]
固有地

677 名前:132人目の素数さん mailto:sage [2006/12/29(金) 17:14:07 ]
いやそれじゃなくてX=Tとするとかそういうの

678 名前:612 [2006/12/29(金) 18:00:38 ]
一週間謹慎していた612です。
今回行き詰った問題はこれです。


Aをn次正方行列とする。
零ベクトルでないn項列ベクトルbによってAb=bが成り立っていれば|A|=0であることを証明せよ。
(Hint:bの成分のどれかは0でない。そこに注目する。)


|A|=0ということを示すには…【2つの行が等しい行列の行列式は0である】ということを使えばよいのでしょうか?


679 名前:132人目の素数さん [2006/12/29(金) 18:07:43 ]
>>678
馬鹿たれ。こんな命題成り立つわけないだろ。Aを単位行列にしてみい。

680 名前:612 [2006/12/29(金) 18:56:51 ]
そうなんです!
Ab=bということなんで、Aが単位行列だと考えたら、|A|=1になったのです。
おかしいですね。
読み間違えかと思ってもう一度問題文を確認してみましたが、やはり問題文は678に書いたとおりです。
この問題を解いて提出しなければならないのですが、『わかりませんでした』と言って白紙で提出するよりは、この命題が成り立たないことの証明を書くべきですか?



681 名前:132人目の素数さん [2006/12/29(金) 21:06:08 ]
教授に諭すつもりで、証明書いておくと
GOOD!

682 名前:132人目の素数さん [2006/12/29(金) 21:07:38 ]
しょーみ、右辺のbが、
ほんとは0なんじゃないのかな?
タイプミスとか。

683 名前:132人目の素数さん mailto:sage [2006/12/29(金) 21:22:22 ]
そうだろうな

684 名前:132人目の素数さん mailto:sage [2006/12/29(金) 21:25:47 ]
>>682
おそらくそういうことだろうな。

685 名前:132人目の素数さん [2006/12/29(金) 23:45:09 ]
R^nの二つの基底
P={p1,p2,・・・pn}、Q={q1,q2,・・・qn}
に対して基底の取替えP→Qの行列はなんでP^(-1)Qなんですか?
あるベクトルvをこれらの基底で表したら
v=Px=Qy

Q^(-1)Px=y
だからQ^(-1)Pの方が基底の取替えP→Qの行列という名前にふさわしいと思うけど。

686 名前:132人目の素数さん mailto:sage [2006/12/30(土) 01:15:21 ]
基底の取替え行列の定義による。
基底の取替え行列を A=(aij) とすれば
qi=Σ[j=1,n]aji*pj
行列で表すと
Q=PA
よって
A=P^(-1)Q

687 名前:612 [2006/12/30(土) 02:48:27 ]
では問題文がAb=0だった場合の証明は以下でよろしいでしょうか?



背理法によって証明する。
もし仮に|A|≠0だとすると、逆行列A^(-1)が存在する。
Ab=0なので、
A^(-1)×Ab = A^(-1)×0
Eb = 0
b = 0
しかし問題文ではbは零ベクトルではないということなのでこの計算結果は矛盾している。
よって|A|=0である。




これでよいでしょうか?

688 名前:132人目の素数さん [2006/12/30(土) 04:15:58 ]
ヒント無視してるけどいいんじゃないかな
ヒントを重視するなら…
b=(b[1],b[2],…,b[n])に対して
b[c[1]],b[c[2]],…b[c[k]](1≦c[1]≦…≦c[k]≦n)を
bの0でない成分の全てとする
A=(a[i][j])とおくと仮定より、各iに対して
納1≦j≦n]b[j]a[i][j]=納1≦m≦k]b[c[m]]a[i][c[m]]=0
ここでAのc[2]〜c[k]列目をそれぞれb[c[2]]〜b[c[k]]倍したものを
c[1]列に加えると
各iに対して(第i行c[1]列成分)=納1≦m≦k]b[c[m]]a[i][c[m]]=0
つまりc[1]列=0となるので|A|=0

689 名前:132人目の素数さん mailto:sage [2006/12/31(日) 22:06:20 ]
線形代数なんて数学版じゃなくてお子ちゃま板でやって

690 名前:132人目の素数さん [2006/12/31(日) 22:33:18 ]
wikipediaを見ていると、
「固有値が全て正の時〜である」と「固有値が全て非負の時〜である」
という文章を見かけたのですが、
「固有値が全て非負でない」、つまり「負の固有値が存在する」のでしょうか?
負の固有値は固有ベクトルに-1をかけることによって正の固有値にできませんか?



691 名前:132人目の素数さん [2006/12/31(日) 22:37:47 ]
> 「固有値が全て非負でない」

曖昧な日本語だな。全否定と部分否定のどっちよ?

692 名前:132人目の素数さん [2006/12/31(日) 22:38:13 ]
固有ベクトルに-1をかけても対応する固有値は変わらないだろ。


693 名前:690 [2006/12/31(日) 23:10:40 ]
>>691さん
そういわれてみればそうですね・・・
ttp://ja.wikipedia.org/wiki/%E5%9B%BA%E6%9C%89%E5%80%A4にあるのですが。
>>692さん
すいません、勘違いしてました。。
固有ベクトルは左辺にもあるから、
正負逆のものが2つ存在するということですね・・;;

694 名前:132人目の素数さん [2006/12/31(日) 23:14:35 ]
>>693
固有ベクトルは2つというわけではなく、0以外のスカラー倍をしても同じ固有値の固有ベクトルだろ。
固有値や固有ベクトルの定義をわかっていますか?


695 名前:690 [2006/12/31(日) 23:16:05 ]
あ、、そうですね・・・。。
他の事で固有値を使うことになって、、
生半可に質問してしまいました。。どうもありがとうございました;;

696 名前:132人目の素数さん mailto:sage [2006/12/31(日) 23:36:59 ]
↓うるせーんだよ
↓このスレを見ている人はこんなスレも見ています。(ver 0.20)


697 名前:132人目の素数さん [2007/01/01(月) 21:52:57 ]
-1 -4 -2 -2
-4 -1 -2 -2
2 2 1 4
2 2 4 1

の固有多項式の出し方を教えて下さい

698 名前:132人目の素数さん [2007/01/01(月) 21:55:27 ]
↑の訂正

-1 -4 -2 -2
-4 -1 -2 -2
2 2 1 4
2 2 4 1


699 名前:132人目の素数さん [2007/01/05(金) 12:34:07 ]
次のK^nの部分集合が部分空間であるかどうか答えよ
R3の部分集合W={(x,y,z)|3x+4y-2z=a}、ただしaはある実定数

解答には、「二つの元u,vをとって、u+v,またはruがWに含まれるか見ればよい」
と書かれてあるんですが、これの具体的計算が知りたいんですが。

いくら考えても中々いい考えが思いつかなくて。

700 名前:132人目の素数さん mailto:sage [2007/01/05(金) 13:40:06 ]
>>699 この手の問題で、解答のやり方をする場合、自分である程度勝手にu,vを取る。
もしうまくいかなかったなら取り直す。で今回ならx=y=1としてzは式から求める。これを
uとしてruが元の式をみたすか考えてご覧。もし満たす為にはどうでなければならない?



701 名前:132人目の素数さん [2007/01/05(金) 15:53:28 ]
ruじゃなくてu+vを考えればいい?

702 名前:132人目の素数さん [2007/01/05(金) 15:54:16 ]
ごめん、満たすためだね。満たさない時のほうを書き込んじゃった。

703 名前:132人目の素数さん [2007/01/05(金) 15:55:47 ]
a=0だ!

704 名前:132人目の素数さん [2007/01/05(金) 15:59:26 ]
僕は、元をu,v、その成分を(x1,y1,z1)(x2,y2,z2)として、
u+vの成分をx,y,zとして代入してみた。すると、
3(x1+x2)+4(y1+y2)-2(z1+z2)=a
となって、u+vがWに含まれるときに部分空間になるから、
a=0の時に部分空間、そうでないときに部分空間でない、
と考えたが。

705 名前:132人目の素数さん mailto:sage [2007/01/05(金) 17:24:47 ]
>>704
普通は,

u+v =3(x1+x2)+4(y1+y2)-2(z1+z2)=(3x1+4y-2z1)+(3x2+4y2-2z2)=2a
だから[i]2a=aのときu+vがWに入って, そうでないとき入らない.
rv=r3x+r4y-r2z=raだから[ii]ra=a(∀r)のときrvがWに入って, そうでないとき入らない.
[i],[ii]が同時に成り立つa=0のときはWは部分空間で, そうでないとき部分空間にならない.

と答えると思う. ただ俺の普通は世間の異常である可能性もある.

706 名前:132人目の素数さん mailto:sage [2007/01/05(金) 19:47:25 ]
697のような馬鹿は相手にしちゃ駄目だよ。

707 名前:132人目の素数さん [2007/01/05(金) 23:25:30 ]
>>705なるほど

708 名前:132人目の素数さん mailto:sage [2007/01/05(金) 23:44:47 ]
>>705,>>707
> u+v =3(x1+x2)+4(y1+y2)-2(z1+z2)
> rv=r3x+r4y-r2z
がダウトだな。考えなければならないことは
u+vがWに入るかどうか。
入るかどうかは3(x1+x2)+4(y1+y2)-2(z1+z2)=aが成立するかどうか。
だから、それを考えることが目的。んで、
成立するかどうかの判定に使える条件は
3x1+4y-2z1=aと3x2+4y2-2z2=aなので
3(x1+x2)+4(y1+y2)-2(z1+z2)=2aってことになって、
肝心の部分が2a=aかどうかという形に整理されたってこと。
後は問題ない。

709 名前:132人目の素数さん mailto:sage [2007/01/05(金) 23:45:43 ]
ああ、もちろん>>708はrvについても同じように修正すればおkという意味だからね。

710 名前:132人目の素数さん [2007/01/06(土) 00:00:14 ]
教科書に「Vがn個の基底から成るベクトル空間ならばVはK^nに同型である」
ってあるんだが、基底が違うだけでV=K^n・・・ではないのか?



711 名前:132人目の素数さん [2007/01/06(土) 00:06:25 ]
同型という概念がわかってないね。

712 名前:710 [2007/01/06(土) 00:11:09 ]
上の条件を満たすVでK^nに等しくならないものってある?

713 名前:132人目の素数さん mailto:sage [2007/01/06(土) 00:12:00 ]
>>710
じゃあ、n次元ベクトル空間 P={f:高々n-1次多項式}はK^nなんですね。

714 名前:132人目の素数さん mailto:sage [2007/01/06(土) 00:12:43 ]
>>712
おまえのK^nの定義がおかしいと見た。

715 名前:132人目の素数さん mailto:sage [2007/01/06(土) 00:17:38 ]
>>710みたいに数ベクトル空間と抽象ベクトル空間の区別が
できないアホって何がしたくて大学初年度教養レベルの数学に
手をつけてるんかネェ。つか、大学で講義受けてる香具師だったら
大学辞めるべきだとアドバイスするよ。

716 名前:710 [2007/01/06(土) 00:17:49 ]
Vの元はn項列ベクトルと勝手に誤解してました。 吊ってきますノシ

717 名前:132人目の素数さん mailto:sage [2007/01/06(土) 00:19:28 ]
Q( √3 , √2 )

718 名前:132人目の素数さん [2007/01/06(土) 15:01:09 ]
706

719 名前:132人目の素数さん [2007/01/13(土) 08:42:19 ]
以下の部分集合が部分空間になることを示し、その基底を一組求めよ。

K^4の部分集合W={(x,y,z,w)|x-3y+5z=0,2x+4y-7w=0}

これの答えが、(21,7,0,10),(-7,1,2,0)とプリントにあるんですが、
これ間違ってません?(-7,1,2,0)が2x+4y-7w=0を満たしてないから。


720 名前:132人目の素数さん [2007/01/13(土) 09:29:23 ]
(-2,1,1,0)になったぞ。(´・ω・`) 



721 名前:132人目の素数さん mailto:sage [2007/01/13(土) 09:31:20 ]
(-7,0,1,2) とかでいんじゃね

722 名前:132人目の素数さん mailto:sage [2007/01/13(土) 10:14:40 ]
(21, 7, 0, 10) と (-35, 0, 7, -10)

723 名前:132人目の素数さん mailto:sage [2007/01/13(土) 10:46:58 ]
(35,0,-7,10) (0,35,21,20)

724 名前:132人目の素数さん mailto:sage [2007/01/13(土) 10:49:48 ]
そんなに列挙しなくてもいいよwww

725 名前:132人目の素数さん mailto:sage [2007/01/14(日) 15:20:53 ]
定番といわれている伊原さんの本って

岩波講座基礎数学 1−1 線型代数
ttp://www.junkudo.co.jp/detail2.jsp?ID=0187150884

これのことですよね?

線型空間・アフィン幾何
ttp://www.junkudo.co.jp/detail2.jsp?ID=0197620090

同じ伊原さんでこれもあるのですがこちらのことではないですよね?

726 名前:132人目の素数さん [2007/01/17(水) 01:04:31 ]
V=P4(K)の部分空間W1={P(x)=∫g(t)|ヨg(t)はP3に含まれる},
W2={P(x)|dP(x)/dx=0}

で、W1とW2は直和になるとプリントにあるんですが、
もひとつよくわからないです。分かる人いますか?

727 名前:132人目の素数さん [2007/01/17(水) 01:13:11 ]
>>726
P4(K)とかP3とかって、何ですか?

728 名前:132人目の素数さん [2007/01/17(水) 01:21:32 ]
ここでいうPn(k)は、n次以下の多項式全体からなるP(K)の部分集合のことです。

あと、インテグラルの積分範囲は、0からxです。

729 名前:132人目の素数さん mailto:sage [2007/01/17(水) 01:34:34 ]
>>728
W1は4次以下の多項式で定数項の無いもの全体、W2は定数全体になるから
当然4次以下の多項式全体のなす線形空間はW1とW2の直和になる。

730 名前:132人目の素数さん [2007/01/17(水) 13:05:04 ]
ある線形代数の参考書に、シュミットの正規直交化法の説明で、
計量線形空間R^nにおける基底{a1,a2,a3,…,an}を、正規直交基底{u1,u2,u3,…,un}
に変換する公式のイメージのつかみ方で、正射影ベクトルを使っていました。
その中で、u3を導く際に、a3とu1,a3とu2それぞれの正射影ベクトルをだして、その2つのベクトルをたしたものが
a3の正射影ベクトルになっているのですが、なぜ2つのベクトルをたすとに正射影ベクトルになるのでしょうか?
平面における正射影ベクトルは理解できるのですが、空間における正射影ベクトルがいまいちよくわかりません。
基本的なことでバカにされるかもしれませんが、独学なもので、どなたか教えていただけませんでしょうか。





731 名前:132人目の素数さん mailto:sage [2007/01/17(水) 14:21:35 ]
平面の場合が分かってるのなら、まずa3からu1への正射影ベクトルを引いてu1に垂直なベクトル(b3とおく)を作り、
そのあとb3からu2への正射影ベクトルを引いてu2にも垂直なベクトルにし、長さを1に正規化してu3が求まる。
正射影ベクトルを一つずつとらずに2つまとめて引いても同じ答えがでるということは計算すれば分かるが、
u1とu2が直交していることがきいている。

732 名前:132人目の素数さん mailto:sage [2007/01/17(水) 14:28:44 ]
ひょっとして正射影の正確な定義を知らないとか。

V を計量ベクトル空間、W をその部分空間とする。
a1∈W が a∈V の W への正射影とは、
任意の w∈W に対し (a-a1,w)=0 を満たすこと。

733 名前:132人目の素数さん mailto:sage [2007/01/17(水) 14:41:40 ]
Vを線形空間、Wをその部分空間、v∈Vとする.SをWの生成系
とするとき、ベクトルvとWが直交するには、vとSの任意の元が直交
することが必要十分だ。グラムシュミットは、このことをSをWの基底系
にとって応用したのに過ぎない。

734 名前:730 [2007/01/17(水) 15:47:37 ]
>>731
大変わかりやすい説明ありがとうございます。
>>732
初めて知りました。(a-a1,w)=0って内積ですよね?ありがとうございます。
>>733
覚えておきます。ありがとうございます。


735 名前:132人目の素数さん [2007/01/17(水) 19:49:09 ]
以下の各写像fは線形写像であるかどうか答えよ。
ただし、Pn=Pn(R)。

f:R3→R3,(x,y,z)→(x+y-2z,x-y-z-1,2y-z+3)

これ、fの表現行列って算出できますかね?
あと、座標は横書きにしていますが、本来は縦書きです。

736 名前:132人目の素数さん mailto:sage [2007/01/17(水) 21:11:23 ]
>>735 そう、表現行列を作る事ができるから、それは線形である、って形で
証明すると良いと思うよ。恐らく出題者の狙いでもあるでしょう。ちゃんと数の
決まった3*3の行列Aに列ベクトル(x,y,z)をかけたら>>735の最右辺のようになるには
Aとしてどんな形をとればよいか?目分量で出来るのでやってみたまい。

737 名前:735 mailto:sage [2007/01/17(水) 21:14:53 ]
連投スマヌ、まさか非道次とは・・・。なんか酔っていてこんなにはっきりしているのに
見誤った、投稿ボタン押したときに気付いた。で、>>375ですがAxで、
x=(x,y,z)の時、Aを形作る行列要素を記号で書いた場合、Axはどんな形になるか、を
考えると良い。

738 名前:132人目の素数さん mailto:sage [2007/01/17(水) 21:18:45 ]
あたま大丈夫?

739 名前:かな [2007/01/17(水) 21:39:45 ]
内積空間Vの部分空間Wに対してW⊥={U∈V|(u,v)=0がすべてのv∈Wに対して成り立つ}
とおくとW⊥はVの部分空間であることを示せ。


この問題できるひといませんか><助けて!!!!!!!

740 名前:132人目の素数さん mailto:sage [2007/01/17(水) 21:54:51 ]
女の子の名前使ったからってスグに助けてくれると思ってんじゃネーよ!!




えっと…,まずは部分空間の定義を確かめてみると良いよ♪うん.
大丈夫だよ!君なら解けるよ!ガンバレ♪



741 名前:KingOfUniverse ◆667la1PjK2 [2007/01/17(水) 23:22:36 ]
人の脳を読む能力を悪用する奴を潰せ。

742 名前:132人目の素数さん mailto:sage [2007/01/17(水) 23:27:50 ]
>>739
ここ掘れワンワンだ!こんなもん証明付けるだけなら猿でも出来る。
こういう命題を探し出すのは難しいだろうが。

743 名前:132人目の素数さん mailto:sage [2007/01/18(木) 00:13:15 ]
最近明らかになったことですが、Jordan標準形等の線形代数の基本定理の多くが
欧米に先んじて朝鮮半島の数学者により発見されていたことが分かりました。
したがいまして、今使われている数学用語の多くは間違っています。アジアの一員として
日本人は、このことを世界に積極的に紹介すべきです。

744 名前:132人目の素数さん mailto:sage [2007/01/18(木) 00:21:33 ]
>>743
嫌韓の基地外は数学板にくんなよ

745 名前:132人目の素数さん mailto:sage [2007/01/18(木) 00:24:17 ]
>>743
またかよ。
チョンは生まれてきたことを反省し謝罪しろ

746 名前:132人目の素数さん mailto:sage [2007/01/18(木) 01:46:40 ]
線形代数と少しずれてるかもなのですが、
二者択一の定理やファルカス(て読むのかわからないです><)の補題などについて、日本語でおすすめのテキストがあったら教えて下さい。

747 名前:132人目の素数さん [2007/01/18(木) 02:47:39 ]
佐藤正次ってどうなんだろ!?

748 名前:132人目の素数さん [2007/01/20(土) 01:38:33 ]
大学で配布された教科書に

固有多項式 ΦA(x)=|xE-A|

固有値 {α1,…,αn} とすると

|A|=((-1)^n)*α1*…*αn

と書いてあるのですが
|A|が|-A|じゃないのは何故ですか?
(Aはn次正方行列です)

749 名前:132人目の素数さん mailto:sage [2007/01/20(土) 01:47:28 ]
>>748
単位行列の行列式は+1なのに、この公式で3×3の単位行列
の行列式を計算すると-1になるよ。だから、この式は間違い。

750 名前:132人目の素数さん mailto:sage [2007/01/20(土) 02:03:14 ]
確かに(奇数)次正方行列だと一致しませんね

では左辺を|-A|にしたら正しいですか
つまり|A|=α1*…*αn
で合ってますか?



751 名前:132人目の素数さん mailto:sage [2007/01/20(土) 03:07:36 ]
det(xE-A)=x^n-(trA)x^(n-1)+・・・+(-1)^n*detA
        =Π[i=1,n](x-α_i)

752 名前:132人目の素数さん mailto:sage [2007/01/20(土) 10:15:06 ]
>>748
テキスト名とページ数を教えてください。

753 名前:132人目の素数さん mailto:sage [2007/01/20(土) 10:41:12 ]
学校の先生が作った物で市販されているものではないのです
だからミスプリがあっても不思議ではないので恐らく先生の間違いかと思います
答えて頂いてどうもありがとうございました

754 名前:132人目の素数さん mailto:sage [2007/01/20(土) 11:03:42 ]
じゃあ、そのDQNの名前を晒せ!

755 名前:132人目の素数さん mailto:sage [2007/01/20(土) 12:55:49 ]
負号が一つ抜けたくらいでDQNかよw

756 名前:518 [2007/01/22(月) 17:38:54 ]
すいません。>>518で書き込んだものですが,べき乗法を用いて行列の固有値と
固有ベクトルを求めることはできたのですが,元の行列が重解を持っていた場合,
固有値は求められてもその固有ベクトルがうまく求められませんでした。
誰かアドバイスをお願いします。

757 名前:NO-NAME [2007/01/22(月) 18:15:36 ]
基礎的な質問で失礼
行列の基本変形の方法は分かったんですが
「階数」が求まるような行列の変形方法で
統一的な方法ってあるのでしょうか


758 名前:NO-NAME [2007/01/22(月) 18:24:31 ]
基礎的な質問で失礼
行列の基本変形の方法は分かったんですが
「階数」が求まるような行列の変形方法で
統一的な方法ってあるんですか

759 名前:132人目の素数さん [2007/01/22(月) 18:24:32 ]
>>757
頼む!
参考書を読んでから質問してくれ!!

760 名前:132人目の素数さん mailto:sage [2007/01/22(月) 18:38:24 ]
何のために基本変形するんだよ。



761 名前:132人目の素数さん mailto:sage [2007/01/22(月) 19:15:34 ]
自分の思うとおりの女にするため。

762 名前:132人目の素数さん [2007/01/22(月) 21:57:58 ]
>>756 the moral of the story。 固有値が縮退する事なんて行列の成す空間では測度0
なんだから無視しろ。実験的に計算機で試してどうやら重根があるみたい、となったら、
その証明に解析的手法を考えるべき。

763 名前:132人目の素数さん mailto:sage [2007/01/22(月) 22:10:09 ]
>固有値が縮退する事なんて行列の成す空間では測度0
>なんだから無視しろ。
こういう場合は確率的には零なので無視すると言う立場もありますが、
数学では或る点を境に状況がガラッと変わる場合というのもあって
そういう場合その点での状況というのが重要となってくるわけです、と
教養のときの線型代数講義してた先生が言っててなるほどなーと思った。

764 名前:132人目の素数さん [2007/01/23(火) 02:10:47 ]
4 0 -1 -1
-1 4 0 -1
0 0 5 0
2 1 1 7
上記の4×4行列についての質問です。

固有値が5(重複度4)となり、ジョルダンブロックの個数が2となるのはわかるのですが
この行列のジョルダン標準形の固有値5に属するブロックのうち、ひとつは3次、ひとつは1次になる理由がわかりません。

よろしくお願いします。

765 名前:132人目の素数さん mailto:sage [2007/01/23(火) 02:19:25 ]
マルチ氏ね。つか最小多項式計算しとけ

766 名前:132人目の素数さん [2007/01/23(火) 02:30:59 ]
>765
すまん


767 名前:132人目の素数さん [2007/01/23(火) 02:47:58 ]
最小多項式は3次か

768 名前:132人目の素数さん [2007/01/23(火) 02:58:18 ]
定理:1次写像fについて、これが単射であるためには、
「f(x)=0ならばx=0」が必要十分である。

これを踏まえたうえで、次の問題。
・次の線形写像は単射であるか?
1.f(1)=-1,f(x)=1+xで定まるf:P1→P1

上の定理は分かるけど、いざ問題をとくとなると
よくわからん。具体的にはどうやって問題を解くのです?


769 名前:132人目の素数さん mailto:sage [2007/01/23(火) 04:08:13 ]
>>768
p=ax+bに対しf(p)≡0なるとき、これはxに依らずf(p)=ax+(a-b)が0なることを意味する。
ゆえにa=0かつa-b=0すなわちp=0。ゆえにfは単射。

770 名前:132人目の素数さん mailto:sage [2007/01/23(火) 04:23:32 ]
>>768
チェックすべき条件「f(x)=0ならばx=0」が分かってるんだから
計算するだけ。具体的に計算するだけ。何も悩むことは無い。



771 名前:132人目の素数さん [2007/01/23(火) 06:21:02 ]
f(1)=-1=f(-2)

772 名前:132人目の素数さん mailto:sage [2007/01/23(火) 16:51:54 ]
GTM
Linear Algebra
は良書だろうか?

773 名前:132人目の素数さん [2007/01/23(火) 21:04:46 ]
>>768 線形写像、といえば普通y=axみたいなのだけだと思うが?アフィン写像のことなのか?
なら定理そのものが誤りだなあ。>>771が具体例出しているし。

774 名前:132人目の素数さん [2007/01/23(火) 21:22:03 ]
>>697=764 のような馬鹿は相手にしちゃ駄目だよ。

775 名前:132人目の素数さん mailto:sage [2007/01/23(火) 21:25:08 ]
>768 が定理と問題の x の意味が異なるのに P1 の定義を書かなかったとはいえ、
そういう感違いをするかなあ。

776 名前:132人目の素数さん mailto:sage [2007/01/23(火) 23:08:40 ]
>>775
>>771>>773はきっと自分では面白いことを言ってるつもりなんだとおもうから
そっとしておいてあげたほうがいいよ。

777 名前:132人目の素数さん [2007/01/24(水) 00:10:54 ]
f(1)=-1,f(1)=1+1=2

778 名前:132人目の素数さん [2007/01/24(水) 00:21:31 ]
f(1)=-1,ff(x)=f1+fx=-1+x+1=x
fx=0=1+x=0,x=-1

779 名前:五目 [2007/01/24(水) 00:37:31 ]
座標空間内の四面体ABCDについて、各面の外向きの法線ベクトルを求めよ。
A(7,2,6) B(5,8,9) C(4,0,5) D(3,7,0)
がわかりません。面ABCについてだけでいいので、どなたか教えてくれませんか?

780 名前:132人目の素数さん mailto:sage [2007/01/24(水) 00:47:02 ]
>>779
一次独立なべ句鳥日本使って平面の方程式出せばいっぱつやん。
わからんかったら次元を一個落としてみろ、めちゃすぐわかるぞ。



781 名前:132人目の素数さん [2007/01/24(水) 01:35:50 ]
線形写像が同型であることを示すには、
単射かつ全射を示せばいいんですよね?

782 名前:132人目の素数さん mailto:sage [2007/01/24(水) 01:42:41 ]
うn

783 名前:132人目の素数さん [2007/01/24(水) 01:47:48 ]
f:R3→R3,f(u)=Au
ただし、 1 2 -1
A= 2 -1 1
-1 3 5
である。
ここでね、単射であることはすぐにわかるけど、全射であることは
具体的にどうやって示せばいいの?

784 名前:132人目の素数さん mailto:sage [2007/01/24(水) 01:58:23 ]
>>783
rank-nullity theorem から自明

785 名前:132人目の素数さん [2007/01/24(水) 02:01:49 ]
なにそれ?日本語で。
工学部1回にわかるようにプリーズ。

786 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:04:17 ]
あー?まんどくせーな

階数と退化次数に関する次元公式から明らか。

787 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:04:37 ]
何か最近にわかに質問が増えてきたなあ、

788 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:10:11 ]
よろしくお願いします。

R=|22|
   |02|
の固有値の出し方を教えてください

789 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:35:04 ]
>>787
やっぱ「ここは質問スレじゃない」と突っぱねていったほうがいいか?

790 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:38:01 ]
>>788
三角行列の固有値は見ただけで判るだろ、出し方とか釣りか?
ま、一度くらいはちゃんと定義どおり計算したほうがいいだろうが。



791 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:47:07 ]
ここ質問すれじゃないの?
じゃぁなんのために有るんですか?

792 名前:132人目の素数さん mailto:sage [2007/01/24(水) 02:52:58 ]
そもそも数学板は試験前にどの教科書にでも載ってるような問題を聞きに来て
親切な人が答えを教えてくれてそれを写して提出する為の板じゃないので。

なんか、質問に答えてくれないの?じゃああなたちは何のために居るんですか?
とか思ってそうな雰囲気だけど。

793 名前:132人目の素数さん mailto:sage [2007/01/24(水) 03:27:02 ]
>>791の中では数学って質問と解答以外に何もないんだな……
可哀想に……

794 名前:132人目の素数さん [2007/01/25(木) 00:32:15 ]
複素数体C上のr次元ベクトル空間は
r-1次元部分空間の有限個の和集合より
真に大きい。
これって、成り立ちますよね?
どうやって証明します?

795 名前:132人目の素数さん mailto:sage [2007/01/25(木) 01:21:40 ]
>>794
超平面の有限集合の換わりにその法ベクトルの有限集合を考え、
それらのいずれとも直交しないベクトル(z1,z2,・・・,zr)の存在を示す。
次元rについての帰納法と定数でない1変数解析関数の零点が
集積しないことを用いれば、(z1,z2,・・・,zr)の存在が言える。

796 名前:132人目の素数さん [2007/01/25(木) 18:29:20 ]
795の人、ありがとう!


797 名前:132人目の素数さん mailto:sage [2007/01/25(木) 23:54:35 ]
>>795
つまり、代数多様体C^rは既約であると。

798 名前:132人目の素数さん [2007/01/28(日) 02:33:25 ]
カーネル、イメージの話ですけど。
線形写像が行列で表される時のカーネルとイメージの基底の出し方を、
以下の行列で教えてください。

1 1 1 1
A=-1 -2 0 1
-2 3 -7 -12

カーネルの基底の出し方は分かるけど、いくつ基底を出せばいいのかが
わからない・・・。

799 名前:132人目の素数さん mailto:sage [2007/01/28(日) 02:39:40 ]
基底の出し方がわかってて一組の基底が定まったんならそれ以上何もすることはないだろう

800 名前:132人目の素数さん [2007/01/28(日) 02:41:31 ]
わからないのは、基底の数です。



801 名前:132人目の素数さん mailto:sage [2007/01/28(日) 04:44:12 ]
>>800
は?

802 名前:132人目の素数さん mailto:sage [2007/01/28(日) 04:45:06 ]
>>800
基底の濃度? それとも {基底} の濃度?

803 名前:132人目の素数さん mailto:sage [2007/01/28(日) 19:28:14 ]
なんだよ{基底}ってw

804 名前:132人目の素数さん mailto:sage [2007/01/28(日) 19:34:39 ]
>>803
ある線形空間の基底すべてのなす集合族だろう

805 名前:132人目の素数さん mailto:sage [2007/01/28(日) 21:05:41 ]
基底に属するベクトルと基底とを呼び分けない変な流儀もあるにはあるな
自然数全体の集合と自然数とを呼び分けなかったりな

806 名前:132人目の素数さん [2007/01/30(火) 01:43:05 ]
Vをベクトル空間とし、[v1,v2…vm]を一組の基底とする。
次の各線形変換f:V→Vと与えられた基底に対し、fの表現行列を求めよ。

V=<v1,v2>,
f(v1)=v1+v2,f(v2)=v2,基底[v1+v2,-v1+2v2]

基底が与えられていない時は表現行列の定義どおりにできるんですけど、
基底が与えられるとわからなくなります。答えを導くまでの過程を
教えてくれませんか?

807 名前:132人目の素数さん mailto:sage [2007/01/30(火) 02:13:36 ]
>>806
表現行列の定義どおり、基底の行き先を基底で表せばいいだけ。
そもそも基底が与えられていないなら表現行列は定義できないから、
>基底が与えられていない時は表現行列の定義どおりにできるんですけど
というのは矛盾している。

808 名前:132人目の素数さん [2007/01/30(火) 02:16:01 ]
ああ、勘違いしてましたわ。
ありがとうございます。

809 名前:132人目の素数さん [2007/01/30(火) 11:06:35 ]
線形代数の期末試験。
どなたかアドバイスをお願いします。
入門レベル〜ジョルダン標準形まで、
どの辺りをよく理解しておけば、全体像が掴みやすいでしょうか?
基底とか対角化とか固有値関連の問題は結構解けるのですが、
他のところも出来ないと気持ちが悪いので、聞いてみました。


810 名前:132人目の素数さん mailto:sage [2007/01/30(火) 11:09:08 ]
全体を理解すれば全体像をつかめる。



811 名前:132人目の素数さん [2007/01/30(火) 11:14:57 ]
>>802
{基底}

{爆笑}

どんなイメージなんだろう…

812 名前:132人目の素数さん [2007/01/30(火) 11:16:20 ]
>>810
ですよね。そうします。

{ }

じゃないだけ自分は幸せです。

813 名前:132人目の素数さん [2007/01/30(火) 22:07:40 ]
直和というのは何のために必要なんですか?

814 名前:132人目の素数さん [2007/01/31(水) 13:33:28 ]
>>813 当方物理専門だが、物理では直和分解の方を重宝します。3次元の問題で
あったはずのものが角運動量保存する事がわかれば、2次元問題に帰着出来る、とか
9次元問題であったはずのものが対称性から1+3+5次元の直和分解になって話が
楽になる、とかそんな感じです。

815 名前:132人目の素数さん mailto:sage [2007/01/31(水) 13:42:31 ]
直和自身は、814 と逆に、シンプルな構造のものを
組み合わせて新しいものを構成する場合に使うことが多い。

816 名前:132人目の素数さん [2007/02/05(月) 04:51:52 ]
だメだ だミだ

今日の線形代数の試験絶対「不可」だ
平常点と合わせてもきつい
再試験なかったらどうしよう…

817 名前:132人目の素数さん [2007/02/17(土) 21:52:50 ]
次の線形写像に対して零空間の基底を求めよ と
次の線形写像に対して核空間の基底を求めよって
同じ問題だと思っていいんですか?

818 名前:132人目の素数さん mailto:sage [2007/02/17(土) 21:56:30 ]
>>817
言葉の定義が同じなら同じ、違うなら違う。それだけ。

819 名前:132人目の素数さん mailto:sage [2007/02/18(日) 01:58:02 ]
このスレの質問者、バカすぎ。基底が与えられたときの表現行列がわからないとか、単に本きちんと読んでないだけじゃない?

820 名前:king様の弟子 ◆/LAmYLH4jg mailto:sage [2007/02/18(日) 01:58:49 ]
あら>>819は俺です、コテが入ってませんでした。



821 名前:132人目の素数さん mailto:sage [2007/02/18(日) 02:24:24 ]
チョンとに馬鹿なんだな

822 名前:132人目の素数さん mailto:sage [2007/02/18(日) 22:23:42 ]
線型代数と微積の質問は試験前の時期になると急増するのでw

823 名前:132人目の素数さん mailto:sage [2007/03/07(水) 19:44:28 ]
一次従属の一次結合は、何故0なんでしょうか?


824 名前:132人目の素数さん mailto:sage [2007/03/07(水) 19:49:15 ]
>>823
日本語でおk

825 名前:132人目の素数さん mailto:sage [2007/03/07(水) 23:07:41 ]
有理数の無理数が1なのと同じ理由だよ。

826 名前:132人目の素数さん mailto:sage [2007/03/07(水) 23:41:37 ]
>>823
一次従属も一次結合も分かっていない小学生現る!

827 名前:132人目の素数さん [2007/03/11(日) 18:11:40 ]
age

828 名前:132人目の素数さん mailto:age [2007/03/12(月) 01:09:14 ]
4月から大学に通うのですが、一学期の必修に線形代数が含まれるようなので予習をしようと思っています
それにはどんな本がよいでしょうか
おすすめを教えて下さい

829 名前:132人目の素数さん [2007/03/12(月) 01:32:29 ]
そんなことより政治を学べ
いかにして自民党を潰すかが先だ

830 名前:132人目の素数さん [2007/03/12(月) 08:57:25 ]
>>828
線型代数入門/斎藤正彦/東京大学出版会



831 名前:132人目の素数さん mailto:sage [2007/03/12(月) 09:34:02 ]
>>828
明解演習線形代数/小寺平治

832 名前:132人目の素数さん [2007/03/13(火) 08:21:40 ]
>>828
文系か理系かも、学部も書いていないから一概には言えないが、
理系なら線型代数入門/斎藤正彦/東京大学出版会

文系で数学未受験なら、背伸びせずに高校の教科書からやり直せ。

833 名前:132人目の素数さん mailto:sage [2007/03/13(火) 09:37:41 ]
まあ線型代数なんて何で勉強したって大した違い無いけどな

834 名前:132人目の素数さん [2007/03/13(火) 10:11:19 ]
おい!岩波、早く松坂の線型代数復刊させろよっ!

835 名前:犬笠銀次郎 [2007/03/13(火) 11:01:36 ]
線形代数の教科書は星の数程出ているが、自分に相性の合う本を探すのが良い。大学初年級なら、

キーポイント 線形代数(岩波書店)
基礎講義 線形代数学(二木昭人、培風館)
21 世紀の数学 線形代数(佐武一郎、共立出版)
線形代数入門(斎藤正彦、東大出版会)

だろうか、やや難しめの本で、

現代数学ゼミナール 線形代数学(伊吹山知義、近代科学社)
線形代数学(佐武一郎、裳華房)

線形代数学は微分積分学に比べ、やや議論が抽象的になりがちだ。なるべく演習問題(特に計算問題)に多くあたり、よく具体的な問題意識を掴むことを勧める。

ginjiro.blogspot.com

836 名前:132人目の素数さん [2007/03/14(水) 02:32:56 ]
>>830-835
>>828です
遅くなりましたがありがとうございます!
東京大学の理科T類なのですが、紹介してくださった何冊かを見比べて早速勉強しようと思います
本当にありがとうございました!!

837 名前:132人目の素数さん mailto:sage [2007/03/21(水) 18:52:58 ]
どうせなら岩波の数学辞典でも買っとけよ
その他に教科書3種類くらいあればモーマンタイ

辞典類欲しいけど高い('A`)

838 名前:132人目の素数さん [2007/03/24(土) 17:36:56 ]
大学院入試の問題で分からなかったので教えてください
(北大の問題)。
↓の問題の2ページの(2)なんですが・・・。
ttp://www.ees.hokudai.ac.jp/Div/nyushi/kigaku/H19/tougou_2006Aug.pdf
一応(a)は考えてみたんですが、固有値λ=1として
行列式│A-λE│=0となるようなNを求めればいいのかな?


839 名前:132人目の素数さん [2007/03/24(土) 18:55:07 ]
いやだ

840 名前:132人目の素数さん [2007/03/24(土) 22:28:51 ]
>>837
高価な洋書でもすぐ買うクセに



841 名前:132人目の素数さん [2007/03/25(日) 12:05:55 ]
>>838 いいでないかい?

842 名前:132人目の素数さん [2007/03/25(日) 18:30:30 ]
このスレも前スレ、前々スレに比ぶれば質が落ちたな

843 名前:132人目の素数さん [2007/03/25(日) 19:33:33 ]
どこが?
(`・ω・`)

844 名前:132人目の素数さん [2007/03/25(日) 19:40:48 ]
お前を含めて

845 名前:132人目の素数さん [2007/03/25(日) 19:55:36 ]
>>844
おまえがな

846 名前:132人目の素数さん [2007/03/27(火) 00:59:49 ]
おまえもな

847 名前:132人目の素数さん mailto:sage [2007/03/27(火) 02:51:46 ]
山本もな

848 名前:132人目の素数さん [2007/04/05(木) 22:45:19 ]
伊奈川愛菓

849 名前:132人目の素数さん [2007/04/10(火) 18:34:11 ]
流れ破壊して質問
線形代数を学ぶのに良いテキストって
ありますか?

850 名前:せい [2007/04/10(火) 18:45:47 ]
ゼミがいいですね
予習復習短時間でできるし
応用力もつきます
特に線形代数のとこやばいほどきちんとおしえてくれます。



851 名前:132人目の素数さん mailto:sage [2007/04/10(火) 20:04:45 ]
線形性ってあまりにも人工的で初歩的過ぎる

852 名前:132人目の素数さん mailto:sage [2007/04/10(火) 20:16:46 ]
非線型やればいいじゃん

853 名前:132人目の素数さん mailto:sage [2007/04/10(火) 20:19:07 ]
でも非線形って結局博物学に堕してる状態なので線形ほど豊かな理論体系がないんだよ・・・

854 名前:king様の弟子 ◆/LAmYLH4jg mailto:sage [2007/04/10(火) 20:55:41 ]
>>851 こいつ絶対バカ。

855 名前:132人目の素数さん mailto:sage [2007/04/10(火) 21:25:31 ]
>>854
まあ、お前もよく似たようなもんだがな。

856 名前:king様の弟子 ◆/LAmYLH4jg [2007/04/10(火) 22:43:07 ]
>>855 いや俺の線形の実力は飛ぶ鳥を落とすいきおいで伸びています。

857 名前:132人目の素数さん mailto:sage [2007/04/10(火) 23:40:41 ]
>>856
おまえの延びはS字カーブで近似できるので、じきに頭打ちになるだろう。

858 名前:132人目の素数さん mailto:sage [2007/04/11(水) 09:19:43 ]
>>849
数学の本のスレで聞け

859 名前:132人目の素数さん [2007/04/11(水) 12:39:07 ]
すこし、専門書を読んでからこちらのスレへ来ます。

860 名前:132人目の素数さん [2007/04/11(水) 17:44:05 ]
Jordan 標準形の変換行列(P^-1 A P の P)って、どうやって求めてますか?
(せいぜい 5 次行列くらいで固有方程式が普通に解ける場合)
僕は斉藤にのってる方法(単因子論を使う方法)しか知らないんですが、
もっと効率のいい方法があるんでしょうか?



861 名前:king様の弟子 ◆/LAmYLH4jg [2007/04/12(木) 14:47:11 ]
>>860 お前本当に斉藤の本きちんと読んだか?
そのPを求める方法で単因子以外の求め方もきちんと斉藤に乗ってるよ!

p191の下のほうからp194ぐらいまでは、単因子を使わない変換行列の求め方が書いてあるじゃん!

862 名前:king様の弟子 ◆/LAmYLH4jg [2007/04/12(木) 14:50:32 ]
>>860 単因子を使ってジョルダン標準形を求める方法は一般的だけど、
単因子を使ってジョルダン標準形だけを求めるとしても変換行列Pをともに求めるとしても、

常に単因子を使う方法が最良の方法とは限らない。

p192 の定理[2,4 ]にはジョルダン細胞による線形変換を考える方法によって単因子を使わない方法が書いてある。


863 名前:132人目の素数さん mailto:平和憲法にYES!戦争憲法にNO! [2007/04/12(木) 14:50:48 ]
9条は改憲してはならない。日本の為にならない。
日本人ではない朝鮮総連や民団でさえ、日本を心配して改憲への反対運動を行ってくれている。
私は日本人だが、「改憲すべき」などという者は、日本人として彼らに恥ずかしいと思います。

Q.中国から身を守る為、戦争に対する抑止力が必要では?
A.前提から間違っています。そもそも、中国は日本に派兵しようと思えばいつでもできました。
  なぜなら、日本は9条があるため、空母や長距離ミサイル等「他国を攻撃する手段」がない。
  つまり、日本に戦争を仕掛けても、命令をだした幹部の命や本国の資産は絶対に安全なのです。
  にも関わらず、中国は、今まで攻めずにいてくれたのです。

Q.日米安保も絶対ではないのでは?
A.いえ、絶対です。
  知り合いの韓国人の評論家もそう言っていますし、私も同じ考えです。
  そして日米安保が絶対なら、日本を攻める国はなく、改憲の必要はありません。
  米国と戦争をしたい国はないからです。

Q.9条が本当に平和憲法なら、世界中で(日本以外に)1国も持とうとしないのはなぜか
A.誤解を恐れずに言うなら、日本以外のすべての国が誤っているとも言えます。
  「敵国に反撃できる手段を持つ国は攻められづらい」というのは、誤った負の考え方です。
  (もっとも韓国や中国の軍に関しては、日本の右傾化阻止の為でもあるので例外ですが)
  さらに日本の場合、隣国が韓国・中国・ロシアと、GDP上位の安定した国ばかりです。

【改憲】ゼンガクレン老闘士、国民投票法案廃案訴え 国会前集結 「ゲバ棒が杖になっても」
ttp://news21.2ch.net/test/read.cgi/dqnplus/1174412397/l50
【広島】憲法9条遵守を訴え 武器を持たない妖怪「ねずみ男」に扮した男が全国行脚
ttp://news22.2ch.net/test/read.cgi/newsplus/1175835543/l50

864 名前:132人目の素数さん mailto:sage [2007/04/12(木) 21:02:43 ]
Googleがking仕様になったぞ
早く見てみろ

865 名前:132人目の素数さん mailto:sage [2007/04/12(木) 22:17:20 ]
あれ、単因子使わないのは演習のほうにしか載ってないんじゃなかったっけ?
演習の前書きにはそういう風な書き方がしてあったような。

866 名前:king様の弟子 ◆/LAmYLH4jg [2007/04/13(金) 02:24:17 ]
>>865 いや、普通に単因子論をもちいないやつがさっき言ったページにあるよ。

867 名前:132人目の素数さん [2007/04/17(火) 20:39:51 ]
だめだ 俺のばかばか
線型落としそう

868 名前:132人目の素数さん [2007/04/17(火) 20:50:00 ]
氏ね教授氏ね
お前の質問の仕方が悪いんだよかすかす
教科書の問題は解けるのに糞おおおおおおおおおおおおおおおおお

869 名前:132人目の素数さん mailto:sage [2007/04/18(水) 09:03:30 ]
たしかに。
今の学生は教科書の問題しか解けないということを大学教員はもっと知るべきだな。

870 名前:132人目の素数さん [2007/04/18(水) 15:04:11 ]
まて宿題とかで教科書以外の問題を出すのはかまわんが
テストで出すのは汚いだろ
何のために教科書買ったのか



871 名前:132人目の素数さん mailto:sage [2007/04/18(水) 15:08:52 ]
>>870
つまり、こういうことですね?
 「教科書に書いてあることを暗記したら単位が取れるような試験であるべきだ」

なるほど、なるほど。
君の言うことは、よ〜く分か・・・るわけねーぞ、このマヌケが!
暗記してパスしたいなら、法学部でも行けよ!
算数に触れていたいなら、円周率でも暗記して悦に浸ってな!

(゚Д゚)≡゚д゚)、カァー ペッ!!   ペッ!! ペッ!! ペッ!!

872 名前:132人目の素数さん mailto:sage [2007/04/18(水) 15:29:14 ]
>Q.中国から身を守る為

やれやれソ連がなくなったと思ったら今度は中国かい。
なんか敵から鞭打たれないと快感感じないマゾが多いな(w

873 名前:132人目の素数さん mailto:sage [2007/04/18(水) 15:33:13 ]
>Q.9条が本当に平和憲法なら、
>世界中で(日本以外に)1国も持とうとしないのはなぜか

他の国は、正義なんてものがあるとは思ってない。
だからといって、悪というわけでもない。

874 名前:132人目の素数さん [2007/04/18(水) 17:54:59 ]
>>871
それは疑問だ
独創的な回答方式が常に頭に浮かぶべき
と求められるほうが数学に対してごうまんな気がするのだが
それに法学部は暗記だけじゃないと思うんだが

875 名前:132人目の素数さん mailto:sage [2007/04/18(水) 21:58:28 ]
この汚らしい阿呆がぁ!

876 名前:132人目の素数さん mailto:sage [2007/04/18(水) 22:09:48 ]
>独創的な回答方式が常に頭に浮かぶべき
>と求められるほうが数学に対してごうまんな気がするのだが
意味が分からん。

法学部は暗記だけじゃないってのは同意。いや良く知らんけどね。

877 名前:132人目の素数さん mailto:sage [2007/04/19(木) 09:39:19 ]
えっ、法学部は暗記だけでしょ?

878 名前:132人目の素数さん mailto:sage [2007/04/20(金) 00:06:15 ]
年数に0.8を掛けたり割ったりできるだけの計算力が必要。

879 名前:KingOfUniverse ◆667la1PjK2 [2007/04/20(金) 10:05:45 ]
法学部では六法を覚えるの?

880 名前:132人目の素数さん mailto:sage [2007/04/20(金) 12:04:00 ]
雑談してんじゃねえよクソコテハン



881 名前:KingOfUniverse ◆667la1PjK2 [2007/04/20(金) 12:12:28 ]
話は変わるのだが、Rが単項イデアル整域のとき、有限生成R加群に対して単因子と不変系があるが、
これは線形代数の分野に入るの?

882 名前:132人目の素数さん [2007/04/20(金) 21:51:29 ]
線形の教授視ね
間違い多すぎだカス
適当につくりやがって
くそおおおおおおおおおおおおおおおおおおおお

883 名前:132人目の素数さん [2007/04/20(金) 21:52:40 ]
どれだけ時間をかけさせる木だよ
くそおおおおおおおおおおおおおおおおおおおお

884 名前:132人目の素数さん mailto:sage [2007/04/20(金) 22:16:48 ]
本の間違いだと思ってたけど
よく理解してから読むと単に自分が間違ってるだけだったり、
そういうことはよくあるよね。

885 名前:132人目の素数さん mailto:sage [2007/04/20(金) 23:57:19 ]
>>884
あるある

886 名前:math太郎 mailto:aaa@bbb.ccc [2007/04/21(土) 01:45:27 ]
>881
 準同型ですから線形写像ですが、
 一般的には、線形代数じゃなくて代数学だと思います。
 それは微分方程式の解がベクトル空間をはるからといって、
 微分方程式は線形代数じゃなくて、解析ですよね?
 そう思いますが・・・。


887 名前:132人目の素数さん [2007/04/23(月) 09:46:52 ]
非線形の箒星のようにとおくはやく〜♪

888 名前:132人目の素数さん [2007/04/25(水) 16:55:08 ]
>>849 川久保 勝夫 先生の 「線形代数学」(版元とか、自分で確認してくる。)

889 名前:132人目の素数さん [2007/04/26(木) 21:12:26 ]
行列の発展の歴史って知っている人はいますか?
あるいは、そういうことを扱っている本はありますか?

890 名前:132人目の素数さん mailto:sage [2007/04/26(木) 21:56:44 ]
奇形代数



891 名前:132人目の素数さん mailto:sage [2007/04/27(金) 01:07:03 ]
>>889
ぐぐってみるとこんなのが出て来るね。
darkwing.uoregon.edu/~vitulli/441.sp04/LinAlgHistory.html
これだけでもけっこう興味深い。

892 名前:132人目の素数さん [2007/04/29(日) 07:57:36 ]
>>891

ありがとうございます。もうちょっと知りたくなりますね。
集合や連続の話はわりと色々読み物的な本があるのですが、線形代数となるとなかなか見つかりません。
線形代数を作った人は本当に天才だと思うので、その経緯を詳しく知りたいです。

893 名前:132人目の素数さん mailto:sage [2007/04/29(日) 09:35:27 ]
この場合、線形代数って何を指してるつもり?

いわゆる線形代数は一人の個人が作った分野でないし >982


894 名前:132人目の素数さん mailto:sage [2007/04/29(日) 13:27:31 ]
>>892
グラスマンやケイリーの伝記でも読んどけ

895 名前:132人目の素数さん mailto:sage [2007/04/29(日) 14:09:29 ]
線型代数って大学で教わる割には
線型代数学史みたいなことは何の教科書にも書いてないよね。
ふしぎふしぎ。

896 名前:132人目の素数さん mailto:sage [2007/04/29(日) 14:17:14 ]
微積ほ本で歴史的アプローチってのは良く見るけど
線型代数だとなんかあまり見ないし

Bourbakiの数学史の上巻に「線型及び複線型代数学」の章があるから
読んでみるといい。Bourbaki自体も、大学の数学教育において線型代数が
中心的な教科となることに一役も二役も買っている。
あと抽象代数の歴史を書いた本なら線型代数も載ってるんじゃないかな。

amazonの斎藤の本のレビューで
>(5) あとがきで、線型代数学に至る歴史がまとめられています。
とか書いてあるけど、俺が持ってる線型代数入門には載ってないような気がするんだが、、
うーん、、

897 名前:132人目の素数さん mailto:sage [2007/04/29(日) 14:17:13 ]
>>895
書いてあっても殆どの学生は読み飛ばすからじゃない?

898 名前:132人目の素数さん mailto:sage [2007/04/29(日) 14:17:24 ]
>>895

線型代数の歴史は難しいからじゃないの?
複雑だし内容も難解なわけ。
不変式論とも関係してるし代数曲線論とも関係している。
ハミルトンの4元数とも関係してる。
グラスマンの理論も難解だし。
射影幾何とも大いに関係してる。

899 名前:132人目の素数さん mailto:sage [2007/04/29(日) 14:20:56 ]
>>898
それはそれで面白そうな本になりそうな気が

900 名前:132人目の素数さん mailto:sage [2007/04/29(日) 14:38:34 ]
テレビの発明者が一人に同定し難いように、線形構造の発見は一人の
人間がすべてやったというようなものではないからなー。

グラスマンの理論の初等的解説はF.Kleinの初等数学にあった様な。
(英訳がDoverにあり。ただし抄訳。)



901 名前:132人目の素数さん [2007/04/30(月) 16:38:03 ]
大勢の人間がからむほど歴史としてはおもしろい。
物理学の「力」概念の成立の経緯について
山本義隆がいろいろ書いているみたいに
線形代数についてもまとまった成書があると嬉しいんだが、
英語でもこれ1冊ってのはなかなかないんだろうなー。

902 名前:132人目の素数さん mailto:sage [2007/04/30(月) 18:42:32 ]
ここは数学史のスレか?

903 名前:132人目の素数さん mailto:sage [2007/05/01(火) 07:56:53 ]
ネタがないんだったら、余計な煽りはしなくてよろしい。

904 名前:132人目の素数さん mailto:sage [2007/05/02(水) 01:12:33 ]
スレ違いではないんじゃない?

905 名前:132人目の素数さん [2007/05/02(水) 18:42:16 ]
ましな(マジな)ネタ書け
初等的な質問は質問スレに

906 名前:132人目の素数さん [2007/05/03(木) 00:22:01 ]
直線l:y=mxがx軸となす角をθとする。lに垂直な単位ベクトルとして、(-sinθ,cosθ )がとれることに注意して、lに関する線対称移動に対応する行列を求めよ、
という問題を教えて下さい。よろしくお願いします。


907 名前:132人目の素数さん mailto:sage [2007/05/03(木) 00:24:38 ]
どこが垂直なんだ

908 名前:132人目の素数さん mailto:sage [2007/05/03(木) 00:25:45 ]
あぁごめん符号見てなかった

909 名前:132人目の素数さん mailto:sage [2007/05/04(金) 02:20:31 ]
>>906
開店>歪軸対象>逆回転

910 名前:132人目の素数さん [2007/05/04(金) 19:05:28 ]
ところで、なんでこのスレで
よくわかる線形代数(石村園子)
叩かれてるの?

今、この本で勉強してるけど、不安になってきた……。
たしかに簡単だとは思うけど……あんまり難しくても理解できないし、問題がないとなぁ……。



911 名前:132人目の素数さん mailto:sage [2007/05/04(金) 19:22:36 ]
>>910
ほかのまともな本を読めるようになったらすぐわかるよ。

912 名前:132人目の素数さん mailto:sage [2007/05/04(金) 19:29:57 ]
東大出版の線型代数演習の問題を解けるようになってればいいのさ。
何を読むかは個人の自由。

913 名前:910 [2007/05/05(土) 00:17:20 ]
すみません。書名間違えました。
やさしく学べる線形代数(石村園子)
でしたorz

>>911
まともとはどういう意味ででしょうか……?
間違いがあったりするのですか?


914 名前:132人目の素数さん mailto:sage [2007/05/05(土) 00:24:40 ]
内容が薄っぺらすぎ

915 名前:132人目の素数さん mailto:sage [2007/05/05(土) 00:27:11 ]
>>913
ふつうのまともな教科書読めば判るよ

916 名前:132人目の素数さん [2007/05/05(土) 03:39:02 ]
すみません。>>441 は正しいと思うんですが、間違っているんでしょうか?
有限次元では f(X)=AX が単射であることと全射であることは同値なので。

917 名前:132人目の素数さん mailto:sage [2007/05/06(日) 05:31:12 ]
>>916 どうして今頃になってのレス?で、見てみたんだがn次元空間からn次元空間への
全射=単射は正しいが、それの証明はどうするの?ってことなんででしょう、他の人々の
反応は。で、どんな写像でもAB=EならAの全射は保証されているから、n次元からn次元への
線形な全射は単射になる、を示そうと努力してはいかが?蛇足かも知れないが、次元の唯一性
がキーだよね。

918 名前:132人目の素数さん [2007/05/06(日) 17:28:52 ]
AB = E なら BA = E
但し行列の話

919 名前:132人目の素数さん mailto:sage [2007/05/06(日) 18:55:23 ]
線形代数くらい中学の夏休みにでもやっとけ。

920 名前:KingOfUniverse ◆667la1PjK2 [2007/05/07(月) 18:25:48 ]
ベクトルから線形空間へ。
ベクトルは、本来は始点があって、方向と向きと大きさを持つもののことだが、
方向と向きと大きさを持つものもベクトルと呼ぶようになった。
その空間の線形空間の性質を抽出して、線形空間の概念が出来たのだろう。



921 名前:132人目の素数さん [2007/05/07(月) 18:53:06 ]
ちがいます

922 名前:KingOfUniverse ◆667la1PjK2 [2007/05/07(月) 18:58:20 ]
線形空間の性質だけでは、線形独立である元を無限に集められる可能性がある。
ベクトルからの進歩のひとつだ。

923 名前:KingOfUniverse ◆667la1PjK2 [2007/05/07(月) 21:23:15 ]
線形代数学の基本事項とは何だろう?
線形空間の定義だけで線形代数学を学んだことにはならない。

924 名前:132人目の素数さん mailto:sage [2007/05/08(火) 20:24:56 ]
>>923
数学よりも、人生とか女性の事を考えてみろ。いつまで中年変質者を
続けるつもりなのか?

925 名前:KingOfUniverse ◆667la1PjK2 [2007/05/08(火) 20:33:27 ]
talk:>>924 女性について何かあるか?

926 名前:132人目の素数さん mailto:sage [2007/05/08(火) 21:07:01 ]
│a│=3
│b│=2
│a-2b│=4とする
(1)
a*bとCosθ(θはaとbのなす角)を求めよ
休んだのでワカラナス

927 名前:132人目の素数さん mailto:sage [2007/05/08(火) 21:52:32 ]
>>926
高校の教科書を読め

928 名前:KingOfUniverse ◆667la1PjK2 [2007/05/08(火) 21:57:22 ]
ユークリッド空間ではノルムと内積と角度との関係が出てくる。

929 名前:KingOfUniverse ◆667la1PjK2 [2007/05/08(火) 22:12:21 ]
基底、内積、線形写像、行列。

930 名前:132人目の素数さん mailto:sage [2007/05/08(火) 23:26:07 ]
俺ここに来たばっかなんだが、何なんだよこのきもいヤツ。



931 名前:132人目の素数さん mailto:sage [2007/05/08(火) 23:33:33 ]
お前も十分気もい。
>俺ここに来たばっかなんだが、
との前置きとか意味不明

932 名前:132人目の素数さん [2007/05/08(火) 23:40:10 ]
A(BC)=(AB)Cがなりたつことを証明せよ を誰かお願いします。

933 名前:132人目の素数さん mailto:sage [2007/05/08(火) 23:41:26 ]
> 俺ここに来たばっかなんだが、

この表現は、煽りッ子ちゃんによく見られるもの。
つまり、釣られた俺たちの負けだ… ('A;;;;::::

934 名前:132人目の素数さん mailto:sage [2007/05/08(火) 23:47:03 ]
>>932

AB の定義を書いてみよ。

935 名前:132人目の素数さん [2007/05/09(水) 00:08:51 ]
A=[A ij]を(n,m)行列 B=[B jt]を(m,k)行列とするです

936 名前:132人目の素数さん mailto:sage [2007/05/09(水) 00:50:40 ]
>>935
>>934がそういう答えを求めていたようには思えないんだが

937 名前:132人目の素数さん mailto:sage [2007/05/09(水) 09:47:51 ]
>>926
a-2bというベクトルを描いてみれ

938 名前:132人目の素数さん [2007/05/11(金) 01:55:34 ]
転置行列ってどういう時に使えばイイんですか???

939 名前:132人目の素数さん mailto:sage [2007/05/11(金) 02:10:31 ]
>>938
dual

940 名前:132人目の素数さん [2007/05/11(金) 02:14:55 ]
dualって???
何もわかってなくてすいませんっっ



941 名前:132人目の素数さん mailto:sage [2007/05/11(金) 15:41:24 ]
>>940
双対空間でググる

942 名前:132人目の素数さん [2007/05/11(金) 22:23:07 ]
やってみます★ミ
(._・)シ

943 名前:132人目の素数さん mailto:sage [2007/05/11(金) 23:05:35 ]
数学内部では単に整合性のある計算規則を提案するだけなのに、
それが物理や諸科学で有用な計算を与えるというのが線型代数の恐ろしい所だ。
まあ、結局は一次近似の有用性ってだけの話だろうけど、次は数学内部で発展させた
非線形の構造を物理や応用科学に提示するべき時期が今だと思う。

944 名前:132人目の素数さん mailto:age [2007/05/12(土) 00:19:48 ]
↑バカ?

945 名前:132人目の素数さん [2007/05/13(日) 21:50:02 ]
べきゼロ行列の固有値がすべて0になることの証明はどうやるんでしょうか?
斉藤「線形代数入門」の章末問題にあるのですが三角行列に変換するという
ヒントがあるのみでわかりません。
教えてエロい人!

946 名前:132人目の素数さん mailto:sage [2007/05/13(日) 22:06:52 ]
>>945
ぐぐれ

947 名前:132人目の素数さん [2007/05/13(日) 22:22:32 ]
>>945
Ax=ax -> (A^n)x=(a^n)x -> 0x =(a^n)x ->
と考えるのはどう?


948 名前:132人目の素数さん [2007/05/30(水) 17:27:27 ]
線形数学の参考書買いたいんですけど…わかりやすぃ参考書って何かありますか?教えて下さい(._.)

949 名前:132人目の素数さん mailto:sage [2007/05/30(水) 17:44:03 ]
佐武「線型代数学」
斉藤「線形代数入門」
なまじっかの本よりかえってわかりやすい

950 名前:132人目の素数さん mailto:sage [2007/06/07(木) 22:00:57 ]
行列について質問です。

行基本変形の手順の中に
「ある行をk倍(k≠0)する」というのが参考書に載ってたんですが、

|-1 -8 -2 -16 |
det| 0 8 -4 -32 |
| 0 12 2 25 |
| 0 -3 -10 16 |

これの行列式の一行目に-1をかけたところ、
行列式の値が変わるので駄目と指摘されました。

どう変わるからだめなのかがわかりません。
教えてもらえませんか?お願いします。



951 名前:132人目の素数さん mailto:sage [2007/06/07(木) 22:20:06 ]
もっと簡単な行列で見ればわかりやすくて、たとえば
|1 0|
|0 1|
の1行目に -1 をかけて
|-1 0|
| 0 1|
にすると det の値は変わる。つまり、
その基本変形をすると、行列式の値は変わる。

952 名前:950 mailto:sage [2007/06/07(木) 22:46:55 ]
>>951
それだと、他の数(例えば、2や3、-2など)もかけたら変わるって事で、
「ある行をk倍(k≠0)する」が成立しなくなりますよね?

駄目だという理由が知りたいです。


953 名前:132人目の素数さん mailto:sage [2007/06/07(木) 22:52:30 ]
>>952
行の基本変形と行列式は別物だよ
何か混ざってないか?

954 名前:132人目の素数さん mailto:sage [2007/06/07(木) 23:26:19 ]
you次数下げちゃいなよ

955 名前:950 mailto:sage [2007/06/08(金) 01:30:41 ]
>>953
行列と行列式は別物ってことが教科書読み返してたらわかりました。
今まで勘違いしてました。

どうもありがとうございました。

956 名前:132人目の素数さん mailto:sage [2007/06/08(金) 07:32:58 ]
丸暗記じゃなくてなんでそうなるのかちゃんと考えればこんな勘違いはしないのに。


957 名前:132人目の素数さん mailto:sage [2007/06/08(金) 07:54:29 ]
行列式って言葉を適当に使う人が多くて困る

「この行列式を解くと・・・」 って何かと思ったら
A x = B を解くという意味だったとかよく聞くよね

958 名前:132人目の素数さん mailto:sage [2007/06/08(金) 07:58:45 ]
聞きません

959 名前:132人目の素数さん mailto:sage [2007/06/08(金) 08:03:47 ]
"行列式を解く" の検索結果 約 2,000 件中 1 - 10 件目 (0.35 秒)

960 名前:132人目の素数さん mailto:sage [2007/06/08(金) 08:44:44 ]
detA=0を解くことを「行列式を解く」って言っちゃってる人は時々見る
まあ文脈で判断できるから流してるけど。




961 名前:132人目の素数さん [2007/06/08(金) 08:55:02 ]
見ません。






[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<216KB

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