09/05/23 05:07:11
1 １３２人目の素数さん 2008/11/04(火) 21:00:00
線型代数に関する話題全般のスレッドです。
過去スレ
線型代数に関する話題はこちら
URLﾘﾝｸ(cheese.2ch.net)
線形代数/線型代数 総合スレッド
ｽﾚﾘﾝｸ(math板)
線形代数/線型代数 2
ｽﾚﾘﾝｸ(math板)
線形代数/線型代数 3
ｽﾚﾘﾝｸ(math板)
線形代数/線型代数 4
ｽﾚﾘﾝｸ(math板)
線形代数/線型代数 5
ｽﾚﾘﾝｸ(math板)
記号の書法は>>2-3参照のこと
2:１３２人目の素数さん
09/05/23 05:08:32
●スカラー：a,b,...,z, A,...,Z, α,β,...,ω, Α,Β,...,Ω,...（「ぎりしゃ」「あるふぁ～おめが」で変換）
●ベクトル：V=[v1,v2,...], |V>,V↑,vector(V) （混同しないならスカラーの記号でいい。通常は縦ベクトル）
●テンソル：T^[i,j,k...]_[p,q,r,...], T[i,j,k,...;p,q,r,...] （上下付き１成分表示）
●行列 M[i,j], I[i,j]=δ_[i,j] M=[[M[1,1],M[2,1],...],[M[1,2],M[2,2],...],...], I=[[1,0,0,...],[0,1,0,...],...]
（右は全成分表示。行または列ごとに表示する。例：M=[[1,-1],[3,2]]）
●転置行列・随伴行列：M ',tM, M†（"†"は「きごう」で変換可） ●行列式・トレース：|A|=det(A), tr(A)
●複号：a±b（"±"は「きごう」で変換可）
●内積・外積・３重積：a・b, a×b, a・(b×c)=(a×b)・c=det([a,b,c]), a×(b×c)
●関数・数列：f(x), f[x] a(n), a[n], a_n
●平方根：√(a+b)=(a+b)^(1/2)=sqrt(a+b) （"√"は「るーと」で変換可）
●指数関数・対数関数：exp(x+y)=e^(x+y) ln(x/2)=log[e](x/2)（exp(x)はeのx乗、lnは自然対数）
●三角比：sin(a), cos(x+y), tan(x/2)
●絶対値：|x| ●共役複素数：z~ ●ガウス記号：[x] （関数の変数表示と混同しないよう注意）
●階乗：n!=n*(n-1)*(n-2)*...*2*1, n!!=n*(n-2)*(n-4)*...
●順列・組合せ：P[n,k]=nPk, C[n,k]=nCk, Π[n,k]=nΠk, H[n,k]=nHk （"Π"は「ぱい」で変換可）
3:１３２人目の素数さん
09/05/23 05:10:19
●微分・偏微分：dy/dx=y', ∂y/∂x=y_x （"∂"は「きごう」で変換可）
●ベクトル微分：∇f=grad(f), ∇・A=div(A)，∇ｘA=rot(A), (∇^2)f=Δf
（"∇"は「きごう」，"Δ"は「でるた」で変換可．）
●積分：∫[0,1]f(x)dx=F(x)|_[x=0,1], ∫[y=0,x]f(x,y)dy, ∬[D]f(x,y)dxdy, ∬[C]f(r)dl
（"∫"は「いんてぐらる」，"∬"は「きごう」で変換可）
●数列和・数列積：Σ[k=1,n]a(k), Π[k=1,n]a(k) （"Σ"は「しぐま」，"Π"は「ぱい」で変換可）
●極限：lim[x→∞]f(x) （"∞"は「むげんだい」で変換可）
●図形："△"は「さんかく」 "∠"は「かく」 "⊥"は「すいちょく」 "≡"は「ごうどう」 "∽"は「きごう」
●論理・集合："⇔⇒∀∃∧∨￢∈∋⊆⊇⊂⊃∪∩"は「きごう」で変換
●等号・不等号："≠≒＜＞≦≧≪≫"は「きごう」で変換
4:１３２人目の素数さん
09/05/23 08:22:22
いいと思います！>>1-3ありがとんカツカレー
5:１３２人目の素数さん
09/05/23 08:52:09
過去ログ倉庫
URLﾘﾝｸ(cid-d357afbb34f5b26f.skydrive.live.com)
6:１３２人目の素数さん
09/05/23 13:50:01
R上の関数ｆが次の条件を満たすとする。
ｆ（ｘ＋ｙ）＝ｆ（ｘ）＋ｆ（ｙ）、ｘ、ｙ∈R
このとき、選択公理を仮定しなければ、ｆは線形であるということはできますか？
7:１３２人目の素数さん
09/05/24 09:11:56
a_n = (3/4)a_(n-1) + (1/4)b_(n-1),
b_n = (1/4)a_(n-1) + (1/2)b_(n-1) + (1/4)c_(n-1),
c_n = (1/4)b_(n-1) + (1/2)c_(n-1) + (1/4)d_(n-1),
d_n = (1/4)c_(n-1) + (1/2)d_(n-1),
e_n = (1/4)d_(n-1),
こんな e_n の一般項は求められますか？
ｽﾚﾘﾝｸ(math板:001番) , 021
漸化式の質問です
ｽﾚﾘﾝｸ(math板:747番)
分かスレ３０４
8:１３２人目の素数さん
09/05/24 09:13:34
>>7
遷移行列(?)Tは
T =
[ 3/4, 1/4, 0, 0 ]
[ 1/4, 1/2, 1/4, 0 ]
[ 0, 1/4, 1/2, 1/4 ]
[ 0, 0, 1/4, 1/2 ]
固有多項式は
|T-xI| = {x^3 -x^2 +(3/16)x +(1/64)}(x - 3/4)
= {(x -1/3)^3 -(7/48)(x -1/3) +7/(12^3)}(x - 3/4),
固有値は
λ_1 = 1/3 + ((√7)/6)sin(α -2π/3) = -0.0617449009293667652625024420021･･･
λ_2 = 1/3 + ((√7)/6)sinα = 0.3612604669781572021444512822484･･･
λ_3 = 1/3 + ((√7)/6)sin(α -2π/3) = 0.7004844339512095631180511597537･･･
λ_4 = 3/4,
ここに
α = (1/3)arcsin(1/√28)
= (1/3)arctan(1/√27)
= (1/6)arccos(13/14)
= 0.06337520111548891924700549173166･･･
∴ 一般項は
e_n = (1/4)d_(n-1) = k_1･(λ_1)^n + k_2･(λ_2)^n + k_3･(λ_3)^n + k_4･(λ_4)^n,
k_1 ～ k_4 は初期条件で決まる定数。
9:１３２人目の素数さん
09/05/24 10:42:18 BE:94150229-2BP(20)
エルミート行列Ａが正定値⇔Ａの対角成分は全て正の実数
これって真？ 偽？
10:１３２人目の素数さん
09/05/24 11:25:48
>>9
→ は成り立つ（正定値 iff 全ての主小行列が正）。
← は成り立たない。[1,2; 2,1] くらいで反例。
11:１３２人目の素数さん
09/05/24 11:49:37
>>9 偽
→ は成り立つ。
x = ｅ[i] = (0,･･･,0,1,0,･･･,0) のとき
（第i成分のみ1で、他の成分は0）
0 < (x･Ａ･x†) = Ａ[i,i]
12:8
09/05/24 12:25:23
訂正、ｽﾏｿ
λ_3 = 1/3 + ((√7)/6)sin(α ＋2π/3) =･･･
13:１３２人目の素数さん
09/05/25 17:45:33
L:y=2x+1
(1) この一次変換の表現行列を計算しなさい。
(2)Lが通る点が(1,1)のとき、この一次変換の表現行列を求め、次に平面上の点がどこに移るのが計算しなさい。
意味がよくわかりません。教えていただけるとありがたいです。
14:１３２人目の素数さん
09/05/25 18:50:00
(1)一次変換が存在しない。
(2)通らない。
15:１３２人目の素数さん
09/05/25 19:25:29
ワロタ
16:１３２人目の素数さん
09/05/25 20:20:39
>>8
固有多項式は
|T-xI| = {x^3 -(3/2)x^2 +(9/16)x -(3/64)}(x -3/4)
= {(x - 1/2)^3 -(3/16)(x - 1/2) -1/64}(x - 3/4),
固有値は
λ_1 = (1/2){1 - sin(50ﾟ)} = 0.11697777844051098239880367472229･･･
λ_2 = (1/2){1 - sin(10ﾟ)} = 0.41317591116653482557414168661534･･･
λ_3 = (1/2){1 + sin(30ﾟ)} = 0.75
λ_4 = (1/2){1 + sin(70ﾟ)} = 0.96984631039295419202705463866237･･･
だと思うよ。
17:１３２人目の素数さん
09/05/25 21:48:47
またこのスレか
18:１３２人目の素数さん
09/05/26 15:27:46
>>6
ZFだけでは、R上線型ともR上非線型とも言えない。
19:１３２人目の素数さん
09/05/26 17:19:51
>>18
ありがとう
20:１３２人目の素数さん
09/05/26 19:00:04
折角だからもう一言。
「R上の任意の集合が可測」という仮定はZFに矛盾せず（ZFC+ACとは矛盾）、
これを仮定すると妥当な空間において、線型関数は全て連続となることが示せる。
上の例はQ上の線型関数になることは明らかだから、連続性があればR上でも線型になる。
21:20
09/05/26 19:00:53
ZFC+ACはZF+ACのミス
22:１３２人目の素数さん
09/05/26 19:28:14
>>20-21
参考になります。
詳しくありがとうございます。
23:１３２人目の素数さん
09/05/27 00:27:30
１ ０ １
３ ２ ２
０ X ５
１ １ y
という３本のベクトルの線形部分空間が２だとしたら
１ ３ ０ １
０ ２ x １
１ ２ ５ y
という４本のベクトルの線形部分空間の次元はいくらか。
ってやつ。頼れる所がここしかないの＞＜お願いしますm(__)m
能登サイコー
24: ◆27Tn7FHaVY
09/05/27 00:57:42
マルチする暇で
教科書嫁
25:１３２人目の素数さん
09/05/27 01:04:28
>>24
教科書読みましたよ！
だからわかんないから聞いてるんですよ！
26: ◆27Tn7FHaVY
09/05/27 01:08:45
マルチすっとよ、書くほうもマルチなんじゃよ。しぼれや
27:１３２人目の素数さん
09/05/27 01:17:46
>>26
申し訳なかった。私が大人気なかった。
気分を害したなら誤ります。すいませんでした
28:１３２人目の素数さん
09/05/27 04:09:28
学部生のための数学の質問スレ
ｽﾚﾘﾝｸ(math板:127番)
ｽﾚﾘﾝｸ(math板:131番)
分からない問題はここに書いてね３０８
ｽﾚﾘﾝｸ(math板:955番)
ｽﾚﾘﾝｸ(math板:960番)
か？法線[2,-2,1]より、(1)P=[[5,4,-2],[4,5,2],[-2,2,8]]、(2)2/3
声優はいいけど、しゃべりかたキモイだろJK二度と来るなm(__)m
29:１３２人目の素数さん
09/06/07 20:26:49
〔問題〕
xは実数、Ａ,Ｂは正方行列とし、
Ｓ(x) = exp((x/2)Ａ)･exp(xＢ)･exp((x/2)Ａ),
とおく。このとき
exp(-(x/2)(Ａ+Ｂ))･Ｓ(x)･exp(-(x/2)(Ａ+Ｂ)) = I + (1/24)x^3･[[Ａ,Ｂ],Ａ+2Ｂ] + O(x^5),
を示せ。ここに [Ａ,Ｂ] = ＡＢ - ＢＡ, (Suzuki-Trotter)
全角文字は行列でつ。
よろしくおながいします。
30:１３２人目の素数さん
09/06/07 20:44:00
〔問題〕
x は実数、Ａ,Ｂは正方行列、Ｓ(x)は↑の行列とし、
p = q = 1/{4 - 4^(1/3)}, r = -{(4^(1/3)}/{4 - 4^(1/3)} とする。このとき
exp(-(x/2)(Ａ+Ｂ))Ｓ(px)Ｓ(qx)Ｓ(rx)Ｓ(qx)Ｓ(px)exp(-(x/2)(Ａ+Ｂ)) = Ｉ + Ｏ(x^5),
を示せ。(Suzuki-Trotter)
全角英文字は正方行列でつ。
よろしくおながいします。
31:１３２人目の素数さん
09/06/07 21:55:20
>>29-30
つ [Reference]
1. M. Suzuki, Communications in Mathematical Physics, Vol.１８３, No.2, p.339-363 (1997)
"Quantum analysis---non-commutative differential and integral calculi",
URLﾘﾝｸ(projecteuclid.org) (1553KB)
2. M. Suzuki, Communications in Mathematical Physics, Vol.１６３, No.3, p.491-508 (1994)
"Convergence of general decompositions of exponential operators",
URLﾘﾝｸ(projecteuclid.org) (1519KB)
3. M. Suzuki, Communications in Mathematical Physics, Vol.５７, No.3, p.193-200 (1977)
"On the convergence of exponential operators---the Zassenhaus formula, BCH formula and systematic approximants",
URLﾘﾝｸ(projecteuclid.org) (612KB)
4. M. Suzuki, Communications in Mathematical Physics, Vol.５１, No.2, p.183-190 (1976)
"Generalized Trotter's formula and systematic approximants of exponential operators and inner derivations with applications to many-body problems",
URLﾘﾝｸ(projecteuclid.org) (499KB)
32:１３２人目の素数さん
09/06/08 21:33:54
>>29-30
Ｓ(x)は左右対称だから Ｓ(x)Ｓ(-x) = Ｓ(-x)Ｓ(x) = Ｉ,
また、問題の左辺をＴ(x)とおくと、x^1 の項は exp( ) の中身の和だからＯ,
Ｔ(x)Ｔ(-x) = Ｔ(-x)Ｔ(x) = Ｉ,
にＴ(x) のマクローリン展開
Ｔ(x) = Ｉ + Ｔ_2･x^2 + Ｔ_3･x^3 + Ｔ_4･x^4 + ････
を代入すると、
Ｉ = Ｉ + 2Ｔ_2･x^2 + {(Ｔ_2)^2 + 2Ｔ_4}x^4 + [Ｔ_3,Ｔ_2]x^5 + ････
Ｉ = Ｉ + 2Ｔ_2･x^2 + {(Ｔ_2)^2 + 2Ｔ_4}x^4 + [Ｔ_2,Ｔ_3]x^5 + ････
（Ｔ(x)Ｔ(-x) + Ｔ(-x)Ｔ(x) はxの偶関数なので、x^(偶数)の項のみ.）
∴ Ｔ_2 = Ｏ,
Ｔ_4 = (-1/2)(Ｔ_2)^2 = Ｏ,
∴ Ｔ(x) = Ｉ + Ｔ_3･x^3 + Ｏ(x^5),
あとは頑張って Ｔ_3 を計算するだけ。。。
33:32
09/06/08 22:01:42
>>32 の補足
Ｔ(x)Ｔ(-x) = Ｉ + 2Ｔ_2･x^2 + {(Ｔ_2)^2 + 2Ｔ_4}x^4 + [Ｔ_3,Ｔ_2]x^5 + ････
Ｔ(-x)Ｔ(x) = Ｉ + 2Ｔ_2･x^2 + {(Ｔ_2)^2 + 2Ｔ_4}x^4 + [Ｔ_2,Ｔ_3]x^5 + ････
でつ。
34:１３２人目の素数さん
09/06/09 20:03:55
「2 -1 5|
｜ ｜
| 0 2 2｜
| ｜
｜1 0 3」
を簡約化するという問題だけど答えがでません
35:１３２人目の素数さん
09/06/09 20:09:19
すみません>>34
は却下でおねがいします
36:１３２人目の素数さん
09/06/11 14:41:43
おすすめの問題集ない？
37:１３２人目の素数さん
09/06/11 15:25:58
東大出版の演習本がいい
38:１３２人目の素数さん
09/06/11 15:52:59
線型と微積の本は専用スレなかったっけ？
39:１３２人目の素数さん
09/06/11 16:08:33
斎藤 正彦「線型代数演習」東大出版
定評ある斎藤線型の演習書。理論的な問題が多い演習書は少ないね
塹江 誠夫「詳説演習線形代数学」 培風館
姉妹書「詳説演習微分積分学」に比べればイマイチかな。バランスは良い。
寺田 文行他「演習線形代数」 (サイエンスライブラリ演習数学 2)
寺田 文行他「基本演習 線形代数」 (基本演習ライブラリ) サイエンス社
非数学科ならこの程度で十分。寺田文行先生の演習書、どれも似たり寄ったりでね・・・
横井 英夫他「線形代数演習」 (数学演習ライブラリ) サイエンス社
水田 義弘「詳解演習 線形代数」 (詳解演習ライブラリ) サイエンス社
こっちのほうが少し骨があるみたいだが、しょせんはサイエンス社の演習書です（笑
鈴木 七緒他「詳解 線形代数演習」 (大学課程数学演習シリーズ (8)) 共立
サイエンス社のと並んで古本屋で安く買えるから
内田 伏一他「線形代数演習」裳華房
東北地方の人向き（笑）。
浅野 功義他「線形代数演習」 (理工系の数学入門コース/演習 (2)) 岩波
岩波の理工系の数学入門シリーズも、演習の方は特にどうということない
リプシュッツ「線形代数」〈上〉〈下〉 (マグロウヒル大学演習シリーズ)
非数学科向けマグロ演習は悪くないが品切れ。古本屋で高い値段で買う価値はないよ
矢野 健太郎他「線形代数」 (演習数学選書) 裳華房
昔は定番だったかもしれないね
40:１３２人目の素数さん
09/06/21 20:29:08
初歩的な質問ですが、線形代数って何に使うんですか？
41:１３２人目の素数さん
09/06/21 20:54:05
まあ、まず微積で使うね
その後学校やめるとしても
42:１３２人目の素数さん
09/06/22 19:33:27
〔問題〕
(1)
a_1 = a,
a_n = d + r*a_(n-1), (n>1)
のとき a_n を求めてくださいです。
(2) p≠0 のとき
b_1 = b,
b_n = {d + r*b_(n-1)}/{1 + p*b_(n-1)}, (n>1)
のとき b_n を求めてくださいです。
43:１３２人目の素数さん
09/06/22 19:37:51
>>42 (1)
・r=1 のときは
a_n = a_(n-1) + d = ････ = a + (n-1)d, (等差数列)
・r≠1 のとき
a_n + d/(r-1) = {a_(n-1) +d/(r-1)}*r = ･････ {a+d/(r-1)}r^(n-1), (等比数列)
a_n = {a+d/(r-1)}*r^(n-1) -d/(r-1),
44:１３２人目の素数さん
09/06/22 22:39:37
>>42 (2)
・r=pd のとき b_n = d, (n>1)
・r≠pd のとき（一次分数形） 特性方程式
pt^2 -(r-1)t -d = 0,
の根をα,βとおくと、根と係数の関係から
α+β = (r-1)/p, αβ = -q/p,
・b=α のとき b_n=α, b=β のとき b_n=β,
・b≠α,βとする。
r≠pd より r-pα≠0,
(r-pα)/(b_n -α) = a_n, p=D, (1+pα)/(r-pα) =R とおくと、
a_n = D + R*a_(n-1),
線形漸化式 (>>43) に帰着する。
・(1-r)^2 +4pd =0 のとき
α=β より R=1, 等差数列
a_n = a_(n-1) + D = ････ = a + (n-1)D,
b_n = α + (r-αp)/{p(n-1) + (r-αp)/(b-α)},
・(1-r)^2 +4pd >0 のとき
α≠β より R≠1, 等比数列
(β-b_n)/(b_n-α) = {(β-b_(n-1))/(b_(n-1)-α)}R = ････ = {(β-b)/(b-α)}R^(n-1),
b_n = α + (β-α)(b-α)/{(b-α)+(β-b)R^(n-1)},
・(1-r)^2 +4pd <0 のとき
特性方程式は実根をもたない。
45:１３２人目の素数さん
09/07/02 21:25:53
情報系学科で利用するために基礎からやりたいと思っています。
どのような参考書に手を出すのが良いでしょうか。
46:１３２人目の素数さん
09/07/02 23:31:52
大学の教科書
47:１３２人目の素数さん
09/07/03 02:14:29
次の参考書うちどれがわかりやすい?
･すぐわかる線形代数
･理系なら知っておきたい数学の基本ﾉｰﾄ
･線形代数ｷｬﾝﾊﾟｽ･ｾﾞﾐ
48:１３２人目の素数さん
09/07/03 02:40:32
ちょっと質問。
「F線形空間Vと線形写像f:V→Vに於いて,
fの相異なる固有値の固有ベクトルが互いに直交する⇔fは自己随伴写像」
は真で宜しいですか?
49:１３２人目の素数さん
09/07/03 04:59:30
>>48
f が固有値を持たなかったり、対角化可能でなかったりすると
⇒ が成立しないのは明らか。
50:１３２人目の素数さん
09/07/03 05:09:41
>49
f が固有値を持たなかったり、対角化可能でない
場合は
⇒は自動的に真になるのではないですか。仮定が偽だから。。
51:１３２人目の素数さん
09/07/03 09:48:45
設問が分かりにくいんだけど、
「fの固有ベクトルからなるＦの正規直行基底が取れる⇔fはself adjoint」
なら正しい。
→の証明は、固有ベクトルからなる直行基底でベクトルを表せば明らか。
52:１３２人目の素数さん
09/07/03 11:00:17
>51
どうも参考になりました。
53:１３２人目の素数さん
09/07/04 23:46:44
行列式に関する問題なのですが、
Ａ：正則
Ａ、Ｂ、Ｃ、Ｄ：ｎ次行列
ＡＣ＝ＣＡ
｜Ａ Ｃ｜
｜Ｂ Ｄ｜＝｜ＢＡ－ＤＣ｜ となることを示せ。
がどうしても分かりません。
出題ミスじゃないのかな…と思ってしまうのですが、証明方法あるのでしょうか？
54:１３２人目の素数さん
09/07/05 08:02:44
>>53
どう見ても間違ってるよね．A = D = 1, B = C = 0 で反例．
55:１３２人目の素数さん
09/07/05 22:43:59
>>54
ありがとうございます。
反例とともにいろいろ聞いてみようと思います。
56:１３２人目の素数さん
09/07/09 19:37:32
大学の線形代数の講義で挫折したんだが線形性って何?
この前重積分の変数変換のところで出てきたんだけど…
57:１３２人目の素数さん
09/07/09 21:05:37
>>56
f(x+y) = f(x) + f(y), f(ax) = a f(x) が成り立つこと。つまり
入力が足し算になったら出力も足し算になり、
入力が定数倍されたら出力も定数倍されるもの。
58:１３２人目の素数さん
09/07/09 21:12:46
線形性って、あまりにも人間の直観に合致しすぎてるので、一般の数学的構造から見て
その性質がいかに異常であるかがなかなか「自然には」理解できないんだよね
59:１３２人目の素数さん
09/07/09 21:24:30
>>58
あんまり直観に合致してる気はしないんだけど、
何か良い例みたいなのはある？
60:１３２人目の素数さん
09/07/09 21:32:16
>>59
たとえば数の掛け算だと分配法則a(x+y)=ax+ayなんかが成り立って線型性を示す。
これが三角函数を習いたてのやつがsin(x+y)=sin(x)+sin(y)なんて簡単に
間違いをやっちゃうわけだよ、こいつは線型じゃないんだな。
61:１３２人目の素数さん
09/07/09 21:46:11
>>60
それは直観に合致というよりも、
それ以外の演算を知らないってだけじゃないかな
62:１３２人目の素数さん
09/07/09 21:50:47
そうかもね
63:１３２人目の素数さん
09/07/09 21:59:53
普通の物理現象が（なぜかは知らんが）だいたい線形性を持つので、
普通の人間が持つ普通の直観は線形性を前提にしてしまうのだと思う。
数学を勉強するごく一部の奇特な人間だけが、線形性の異常性を認識する。
64:１３２人目の素数さん
09/07/09 22:37:09
> 三角函数を習いたてのやつがsin(x+y)=sin(x)+sin(y)なんて簡単に
するかなあ？
二次関数でもしないだろ
65:１３２人目の素数さん
09/07/10 02:28:08
>>63 数学と物理を同一視してるアホが多いんだよなぁ。
両者が互いに発展の刺激を与えあってるのは事実だが
物理は数学になりえないし数学は物理になりえない。
これを勘違いしてるアホは物理板でも多く見る。
66:１３２人目の素数さん
09/07/10 17:30:29
数学と物理の区別がつかないと、永遠に数学はできないよ。
67:１３２人目の素数さん
09/07/10 17:32:48
>>64
する！
あなたにも採点の経験があればわかる！
68:１３２人目の素数さん
09/07/11 02:20:09
[Q1] Let T∈L(V) (where L(V):={T∈Map(V,V);T is linear}).
Write down matrix representation of [T]_β and [T]_β' given the following basis:
β:=[v_1,v_2,…,v_n], β:=[v'_1,v'_2,…,v'_n].
の問題で質問です。
[T]_βは基底βに於けるTの表現行列という意味です。
[Q1]については
表現行列の定義から,T(v_j)=Σ_{i=1}^n a_ij v_iと書けるので[T]_β=(a_ij)
T(v'_j)=Σ_{i=1}^n a'_ij v'_iと書けるので[T]_β'=(a'_ij)
が答えになろうかと思いますがこれでいいのでしょうか?
69:１３２人目の素数さん
09/07/12 01:15:02
(1 1 1)
(1 2 3)
(1 x x^2)
の階数を求めよ
という問題の解答を教えてくださいm(_ _)m
70:１３２人目の素数さん
09/07/12 02:15:08
行列式が0になるとき、(x-1)^2=0つまりx=1のときに限り階数2、
それ以外のx≠1のときは階数3か。いい問題だな
71:１３２人目の素数さん
09/07/13 05:53:26
test
72:１３２人目の素数さん
09/07/21 02:32:21
a_[i,j]（ｔ）はｔに関して微分可能とし、A(t)=(a_[i,j](t))は任意のｔに対して正則行列であるとする。このとき、derA(t)は微分可能であり、
d/dt(detA(t))=detA(t)tr(A(t)＾(-1)・d/dtA(t))
であることを証明せよ。
という問題で証明法がわかりません。
だれか分かる方は教えてください。
73:１３２人目の素数さん
09/07/21 17:14:12
>>72 detABの微分を考えたあと
1=detA(A^-1)を微分する
74:１３２人目の素数さん
09/07/21 21:59:34
>>72です
d/dt(detAB)=detB×d/dt(detA)+detA×d/dt(detB)
1=detA(A^-1)の両辺をtで微分して
0=det(A^(-1))×d/dt(detA)+detA×d/dt(detA^(-1))
すなわち d/dt(detA)=(d/dt(detA^(-1))×detA)/(detA~(-1))
となりましたが、これからどうやったらトレースが出てくるのかが分かりません・・・
どうすれば良いのでしょうか。ご指南のほど、宜しくお願い申し上げます。
75:１３２人目の素数さん
09/07/21 23:05:07
>>74
その一行目は何の入れ知恵だ？
76:１３２人目の素数さん
09/07/21 23:29:11
hage
77:１３２人目の素数さん
09/07/21 23:40:56
>>75
条件を付け忘れていましたが、AとBはｎ次正方行列です。。。
だからdet(AB)=detA×detBとなるので、あとは合成関数の微分法で一行目の式になりました。
やっぱり違いましたか？
78:１３２人目の素数さん
09/07/21 23:43:24
>>77
> 合成関数の微分法
ネーミングセンスも疑わしいけど、そもそもそれ、成立するの？
79:１３２人目の素数さん
09/07/21 23:54:52
>>78
合成関数では無くて、積の微分公式でした。
detAとdetBはtの関数と見なせるから、
fg=f'g+fg'を用いてそうなりました。
80:１３２人目の素数さん
09/07/21 23:57:59
ddet(A(t))/dtの計算はできるの？
81:１３２人目の素数さん
09/07/22 00:00:03
>>80
死ね
82:１３２人目の素数さん
09/07/22 00:03:00
>>81
できないの？
83:81
09/07/22 00:03:45
>>81は誤爆です。
84:１３２人目の素数さん
09/07/22 00:05:33
なんというタイムリー誤爆
85:１３２人目の素数さん
09/07/22 00:06:53
>>72です
>>81は自分ではありません。。
それぞれの列を微分したものの行列式の和ですよね？
86:１３２人目の素数さん
09/07/22 00:12:06
それはdet(dA/dt)だろ。
87:１３２人目の素数さん
09/07/22 00:16:10
>>73と>>86は学力が怪しい。
88:１３２人目の素数さん
09/07/22 00:18:48
>>85
それを、各項で微分した列に関して余韻視点開したらtrが見えてくる。
89:１３２人目の素数さん
09/07/22 00:35:35
>>88
各項を余因子展開して、余因子行列式が逆数と逆行列の成分の積になっていることを用いて、
よく見たら各項がA^(-1)とd/dtAの積の{i,i}成分になってるということに気づきました。
おかげさまで無事出来ました。
ありがとうございました！
>>73さんも私に指南していただきありがとうございました!
90:１３２人目の素数さん
09/07/22 00:48:08
>>73の模範解答が知りたいな。かなりスマートな証明な気がするが。
91:１３２人目の素数さん
09/07/22 22:50:29
〔問題〕
n次行列Ａを
{A}ij = 1/(i+j-1), (i,j=1,2,････,n)
とおくとき
det(Ａ) = {FF(n-1)}^4 / FF(2n-1),
を示せ。 ここに FF = 1!･2!･････n!
92:neetubot
09/07/23 01:32:03
>>91 n=1のとき、det(A)=1, {FF(n-1)}^4 / FF(2n-1)=1より成り立つ。
nのときdet(Ａ) = {FF(n-1)}^4 / FF(2n-1)が成り立つとして、
(n+1)次行列A'=[[A, a_(n+1)], [a_(n+1)^T, a_{(n+1)(n+1)}]]のとき、
det(A') = det(A) a_{(n+1)(n+1)} + det([[A, a_(n+1)], [a_(n+1)^T, 0]])
= det(A) a_{(n+1)(n+1)} - a_(n+1)^T C[A] a_(n+1) （ただし、C[A]はAの余因子行列）
= det(A) ( a_{(n+1)(n+1)} - a_(n+1)^T A^(-1) a_(n+1) )
となるので、a_{(n+1)(n+1)} - a_(n+1)^T A^(-1) a_(n+1) = (n!)^4 / ( ((2n)!)^2 (2n+1) )
が示せれば、数学的帰納法により det(Ａ) = {FF(n-1)}^4 / FF(2n-1) が成り立つと言える。
しかし、A^(-1)が…
93:１３２人目の素数さん
09/07/23 09:14:35
>>91
一般化して H_{ij} = 1/(x_i - y_j) の行列式を計算する．
det H の極は x_i = y_j だけで，いずれも一位．
また，x_i = x_j と y_i = y_j は det H の零点．したがって
det H は Π[i<j](x_i - x_j)(y_i - y_j)/Π[i,j](x_i - y_j) の多項式倍．
この式は x, y に関する -n 次の斉次式なのでdet H は上式の定数倍．
さらに x_i - y_i = 1 として x_i, y_i → ∞ にすると H → I，
これに注意して比較すれば定数は 1．以上より
det H = Π[i<j](x_i - x_j)(y_i - y_j)/Π[i,j](x_i - y_j)
あとは x_i = i, y_j = 1-j を代入すれば
det = Π[i<j](i - j)^2/Π[i,j](i+j-1)
となり，Πの順番を変えて数えれば主張の式を得る．
94:１３２人目の素数さん
09/07/23 09:28:55
>>72
det と log に関する公式 log det A = tr log A
の両辺を t で微分して (det A)'/(det A) = tr (A' A^{-1})
95:１３２人目の素数さん
09/07/23 12:01:36
線形写像fが固有値を持つ条件を知りたく思っています。
fの表現行列を[f]とすると
[f]v=λvとしてdet([f]-λI)=0ならぱ固有値持つ事は分かりますが
fがどんな写像ならdet([f]-λI)=0が必要十分条件になりますでしょうか?
96:１３２人目の素数さん
09/07/23 12:10:04
日本語でおｋ
97:１３２人目の素数さん
09/07/23 13:57:08
>>95
３行目以降は意味不明。
１行目にだけ答えると、有限次元の線型変換は常に固有値を持つ。
98:１３２人目の素数さん
09/07/23 13:59:49
>>97
スカラーが代数閉体ならば。
99:１３２人目の素数さん
09/07/23 14:01:17
>>98
補足ありがとう
100:１３２人目の素数さん
09/07/23 22:58:52
固有値と特性根はどうちがうのですか
101:１３２人目の素数さん
09/07/23 23:05:14
特性多項式なんて有限次元でしか使えないからな
102:１３２人目の素数さん
09/07/24 06:15:18
>>100
有限次元なら同じ
103:１３２人目の素数さん
09/07/24 07:42:19
>97,98
> ３行目以降は意味不明。
すんません。
> １行目にだけ答えると、有限次元の線型変換は常に固有値を持つ。
> スカラーが代数閉体ならば。
つまり,VをF上線形空間,WをF'上線形空間でf:V→Wが線形写像とする時,
V=WでFが代数的閉体(Fの任意の多項式はF内に必ず解を持つ)
この時,fは必ず固有値を持つのですね。
104:１３２人目の素数さん
09/07/25 06:02:32
〔問題〕
n次行列Ａを
{Ａ}ij = 1/(i+j-1), (i,j=1,2,････,n)
とおくとき、Ａの固有値はすべてπより小さいか？（πＩ－Ａ は正定値か？）
ｽﾚﾘﾝｸ(math板:126番)
不等式スレ４
>>91
FF(n) = 1!･2!････ n!
>>93
㌧ｸｽ
105:１３２人目の素数さん
09/07/25 06:13:24
nが小さいときはそうだが･････
n=1 のとき
|Ａ-xＩ| = 1 - x,
x1 = 1,
n=2 のとき
|Ａ -xＩ| = (1/12) - (1 +1/3)x + x^2,
x1 = (4-√13)/6 = 0.065741454089335117813463122088251
x2 = (4+√13)/6 = 1.267591879243998215519870211245082
n=3 のとき
|Ａ-xＩ| = (1/2160) - (127/720)x + (1 +1/3 +1/5)x^2 -x^3 = 129287/(90^3) + (3/4)･{6559/(90^2)}･y -y^3,
ここに y = x -(23/45),
cos の3倍角公式を使って解くと
θ = (1/3)arccos(4*129287/(6559)^(3/2)) = (1/3)arccos(0.97355031828127･･･) = 0.0768362020856828･･･,
y = {(√6559)/90}cosθ, ･･･
x = {46 + (√6559)cosθ}/90, ･･･
x1 = 0.0026873403557735
x2 = 0.122327065853906
x3 = 1.40831892712365
n=4 のとき
|Ａ-xＩ| = (1/6048000) - (41/23625)x + (23387/88200)x^2 - (1 +1/3 +1/5 +1/7)x^3 + x^4,
x1 = 0.0000967023040225869
x2 = 0.00673827360576075
x3 = 0.169141220221450
x4 = 1.50021428005924
106:１３２人目の素数さん
09/07/25 06:14:35
>>104 (続き)
n=5 のとき
|Ａ-xＩ| = (1/266716800000) - (61501/53343360000)x +(852401/222264000)x^2 -(5150467/14817600)x^3 +(1 +1/3 +1/5 +1/7 +1/9)x^4 - x^5,
x1 = 0.00000328792877217186
x2 = 0.000305898040151192
x3 = 0.0114074971623425
x4 = 0.208534218611013
x5 = 1.56705069109823
107:１３２人目の素数さん
09/07/25 09:33:54
>>104
不等式スレの結果（Hilbert不等式）の等号条件を詰めておけば
任意の a = (a_1, ..., a_N) について πI - A の二次形式を取るだけ．
ただ，普通Hilbert不等式の定数評価をするときには
Hilbert行列の固有値を評価するので，これは循環論法的なんだけどね．
108:１３２人目の素数さん
09/07/26 19:10:35
>>104
URLﾘﾝｸ(mathworld.wolfram.com)
参考書[1] の第9章
109:１３２人目の素数さん
09/07/26 19:13:03
>>108
[1] "Inequalities", ハーディ・リトルウッド・ポリヤ，Springer Verlag (2003)
URLﾘﾝｸ(amazon.co.jp)
110:１３２人目の素数さん
09/08/01 18:48:51
完全な正規直交関数系は線形計量空間を作るそうですが
その正規直交関数系が作れる関数の集合の中ならば、別に任意の関数について
完全性がなくとも線形計量空間が作れると思うのですが…
やはり完全な正規直交関数系でないと計量空間は作れないのでしょうか？
111:１３２人目の素数さん
09/08/03 08:04:36
>>110
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
112:１３２人目の素数さん
09/08/09 22:13:16
あぐぇ
113:１３２人目の素数さん
09/08/12 19:30:00
>>64
分からない問題はここに書いてね３１６
ｽﾚﾘﾝｸ(math板:519番)
519 名前：１３２人目の素数さん[sage] 投稿日：2009/08/09(日) 14:00:15
(x+1)^2-(x+1)-2を因数分解すると(x-オ)(x+カ)になる。（答えはオ：1、カ：2）
という問題の解き方を教えてください。
とりあえず^2してるとこは簡単に計算できそうなので→ x^2+1-(x+1) -2
+1した後に-2してるので足し引き-1→ x^2-(x+1)-1
-(x+1)=-1*(x+1)で計算すると-x-1→ x^2-x-1-1
(x+1)^2-(x+1)-2=x^2-x-2
ここまで考え方は合ってるんでしょうか？
114:１３２人目の素数さん
09/08/14 09:39:55
Vをn次元の線形写像とする。Fを体とすると,Vの双対空間は
D:={f∈Map(V,F);fは線形}と書ける。
「Dの任意の基底{f_1,f_2,…,f_n}は必ずVの双対基底になる」は真ですか?
真ならDの任意の基底{f_1,f_2,…,f_n}に対し,f_i(v_j)=δ_ijなるVの基底
{v_1,v_2,…,v_n}が存在する筈ですよね。
実際はどうなのでしょうか?
偽なら反例をお教え下さい。
115:１３２人目の素数さん
09/08/14 09:47:27
>>114
> 真ならDの任意の基底{f_1,f_2,…,f_n}に対し,f_i(v_j)=δ_ijなるVの基底
> {v_1,v_2,…,v_n}が存在する筈ですよね。
存在する
116:１３２人目の素数さん
09/08/14 09:59:22
ありがとうございます。
>>>114
>> 真ならDの任意の基底{f_1,f_2,…,f_n}に対し,f_i(v_j)=δ_ijなるVの基底
>> {v_1,v_2,…,v_n}が存在する筈ですよね。
> 存在する
逆に
v:={v_1,v_2,…,v_n}がVの基底ならvに関する双対基底も必ず採れるのですね。
117:１３２人目の素数さん
09/08/14 10:02:32
>>116
> v:={v_1,v_2,…,v_n}がVの基底ならvに関する双対基底も必ず採れるのですね。
とれる
118:１３２人目の素数さん
09/08/14 10:17:42
どうもありがとうございます。
119:１３２人目の素数さん
09/08/15 22:08:55
基底の定義についての質問です。
「Vを有限次元線形空間として、その次元をnとする。
Vのn個の元の集合{v_1,...,v_n}がVの基底であるとは、
{v_1,...,v_n}が次の2つの条件を満たすことである。
(1){v_1,...,v_n}は一次独立
(2)Vの任意の元は{v_1,...,v_n}の線形結合で表せる」
って教科書に書いてあるんですが、(1)⇒(2)は明らかなのに
(2)の条件を定義に入れる必要はあるんですか？
120:１３２人目の素数さん
09/08/15 22:10:32
次元の定義による。
121:119
09/08/15 22:21:42
>>119の前に次元が定義されていて、
「Vの元をn個集めた{v_1,...,v_n}が次の条件を満たすとき、nをVの次元という。
(1){v_1,...,v_n}は一次独立
(2)Vの任意の元uに対し、これを付け足した{v_1,...,v_n,u}は一次従属」
です。
122:１３２人目の素数さん
09/08/15 22:33:41
>>119-121
記述の仕方が少し変だが、
Vのm個の元の集合{v_1,...,v_m}がVの基底であるとは
{v_1,...,v_m}が次の2つの条件を満たすことである。
(1){v_1,...,v_m}は一次独立
(2)Vの任意の元は{v_1,...,v_m}の線形結合で表せる
と書くと必然的にm=nになってしまうから、おかしいとも言い切れない気もする。
自然な繋がりにしようと思えば、>>121の次元の定義の直後に
「このときの{v_1,...,v_n}をVの基底という」とでも付け加えておけばよかったのでは。
123:119
09/08/15 23:37:43
>>122
「必然的にm=nになってしまうから、おかしいとも言い切れない」の意味が
よくわかりませんでした…。必然的に「基底の元の個数=次元」になるなら、
>>119の定義文1行目の「nを次元とする」は不必要な仮定ですよね。
>>119-121のようにわざわざ次元と基底を別々に定義しなくても、
・>>121の次元の定義の直後に「このときの{v_1,...,v_n}をVの基底という」と付け加える
・>>122の基底の定義の直後に「このときのmをVの次元という」と付け加える
のどちらかで十分だと思うんですが。
それとも、定義を冗長に記述すること自体は別におかしいことではないんですかね？
124:１３２人目の素数さん
09/08/16 00:01:58
その時点では次元の一次性が示されてないのでは？
後のほうもう少し読んでみなよ。
125:１３２人目の素数さん
09/08/16 00:03:20
>>123
> >>119の定義文1行目の「nを次元とする」は不必要な仮定ですよね。
「有限次元の話だから」不要と言えば不要なんだけど、無限次元だと次元と同じ濃度の
一次独立系をもってきただけでは(2)が言えないので、有限次元であることを
どこかで断らなければならない。
そして有限次元に話を限定するためには次元を定義しておかないといけない。
だから、「述べ方は少し変だがおかしいと言い切れない」という
歯切れの悪い言い方をせざるを得なかったのですよ。
（わたしならVは有限次元とだけ先に断ってmを使って書いておいて、
注として「このときのmは次元nに一致することに注意」とでもしておくでしょう）
> のどちらかで十分だと思うんですが。
その本が後の参照のために分けて定義したのかもしれないし
それだけではなんとも言いがたいのは事実です。
> それとも、定義を冗長に記述すること自体は別におかしいことではないんですかね？
「それとも」で接続される理由がよくわかりませんが、
一般に言って冗長であることは別段おかしいことではありません。
「後にこの仮定は不要であることを示すが、ここでは～」という記述の仕方は
割とありふれていますし、ある定理の改良版として「特定の仮定を落としても
成立する」というタイプの定理が提示されることもよくあることです。
126:１３２人目の素数さん
09/08/16 00:05:48
有限次元ベクトル空間を張る一次独立な集合の数が常に同じかどうかは
自明な問題ではない。
ちゃんとした本なら証明も載ってる。
証明は意外と面倒。
127:119
09/08/16 06:21:49
>>125
なるほど、納得です。ご親切にありがとうございました。
>>124,126
Vの次元、Vを張る一次独立な集合の要素の数が一意に定まるかどうか、
については気づかずに完全にスルーしてました…。工学系＆計算寄りの
テキストみたいで、この辺は証明どころか触れられてもいないです。
128:１３２人目の素数さん
09/08/16 07:47:54
ゆとり向けの低レベル本を書く際に、著者が
うっかりして、力の抜き方を間違えることはよくあるね。
ゆとり本を書くのも案外と難しい。
129:１３２人目の素数さん
09/08/16 08:09:01
工学系のテキストがゆとり向けと思うのはお前の価値観が偏ってるからだろ
しかも連立方程式の解法をやれば次元の一意性など自明なのだから
必ずしも次元を抽象的に扱う必要はない
130:１３２人目の素数さん
09/08/16 13:02:26
＞連立方程式の解法をやれば次元の一意性など自明
アホ 言ってる意味わかってねーだろお前
131:１３２人目の素数さん
09/08/17 22:43:10
夏休み暇だから、予習しようと息巻いてたがベクトル空間とか言うものの概念がまるで分からん。ボスケテ
132:１３２人目の素数さん
09/08/17 22:46:54
一言で言うなら、足したり伸ばしたりできる空間。
133:１３２人目の素数さん
09/08/17 23:08:07
>>131
知らないものを理解できなくてもおかしくないし問題でもない。
134:１３２人目の素数さん
09/08/17 23:35:25
暇なうちに少しでも予習しておけば後々楽になると思ってのことなんだが。
数学超絶に苦手な俺にでも分かるような線形代数、出来ればベクトル空間云々のみの入門書ない？
135:１３２人目の素数さん
09/08/18 00:41:48
手を抜くことを考えても仕方が無いよ。
中学高校で6年も数学やってきたんだからちょっとくらいわかるはずだってのは気のせいだから、
現時点では自分が理解できないものなんだということをまず認めようよ。
今からまったく知らない例えばロシア語を一から習得するんだぐらいの感じでがんばるべきだとおもうよ。
136:１３２人目の素数さん
09/08/18 01:09:48
わからんでもいいから演習をやれ
137:１３２人目の素数さん
09/08/18 06:24:55
>>134
n個の文字あるいは記号 e[1],e[2]...e[n] があるんだよ。
で、それを実数係数をつけて組み合わせるわけ
実数n個の組を a[1],a[2],...,a[n],とすると
a[1]e[1] + a[2]e[2]+ ... + a[n]e[n]
ということね。たんなる形式的な式で、意味はないんだ。
でも、こういう式に「実数をかけたり」「二つの和を作ったり」は自然に考えられるでしょ？
こういう式の全体をベクトル空間というんだよ
以上の説明がおまいの感性にフィットするかどうかは分からんが。。。
138:１３２人目の素数さん
09/08/18 06:55:16
わかったつもりで問題解けませんというのより
納得いかないけど解けるという人の方が生存率高い
139:１３２人目の素数さん
09/09/05 03:10:43
732
140:１３２人目の素数さん
09/09/05 23:13:50
1x1行列は数と見なすと教科書にありますが、
行列の場合積に制限があり、数の場合制限がなく、
すっきりしません。どうなんでしょう？
141:１３２人目の素数さん
09/09/05 23:22:29
>>140
その教科書の中ではそうするということでしょ．
君の言うように，見なせないケースもある．
142:１３２人目の素数さん
09/09/06 05:40:26
>>140
代数学によると
行列の場合、"一般的に"、積などの演算に制限があることが、かえって"普通"であって
その"特殊"な「1x1行列」（＝数）の場合に限ってのみ、演算に（たまたま偶然に）制限がない。
という解釈でどうか？
143:１３２人目の素数さん
09/09/06 06:04:46
僕たち幼児期から小学校以来、慣れ親しんだ、数＝（1x1行列）というのは
広義な一般的な演算を駆使する世界から見ると
むしろ、特殊なんだ
話は少しそれるが、NHKの宇宙の番組で
私たち太陽系は恒星である太陽が、たった一つしかないけど
太陽系外の一般的な、恒星を見てみると、たいていは連星（２つ以上の恒星をもつ）であることが多いらしい
中には、数十個もの太陽（恒星）が群れを成している系もあるそう
そんな中で、地球のような惑星があったら、そこでは私たちのような夜はないと推測される
一つの太陽が沈んでも、まだまだ太陽がそこらへんにポンポンあるため、年がら年中明るいそうだ
こういうふうに考えると、"普通"だと思っていた私たち太陽系は
一般的に見ると、実はかなり特殊な系に入るものだと･･･
144:１３２人目の素数さん
09/09/06 06:13:15
なんかねー
宇宙の神秘やロマンを感じないか？
145:１３２人目の素数さん
09/09/06 06:16:58
そんなことより女体の神秘を知りたいですぅ＞＜
146:１３２人目の素数さん
09/09/06 06:21:09
{ ^ヽ ＿{＿j / 人
／( _＞=＝ ¨´￣￣¨` =＜ /｀ヽ
/ (ヽ〃 ／´ ヾ j{ / / / ・’: : ‥’‥‘：“．
. / ｛ /' ／ :/ │ } ＼ ∨ ) / / / ； ：: ．: : ．: : …>>145
j V! ／ ⌒ヽ/ ／! ∧ヽハ ∨ ・：’: : ‥“: : ．…
/ j| /fｱテ＜/／ / / }_j_ l l│f＾ヽ _ ・’‥．’‥‘：“… ．
. / /∧ |ｌ {::::::::: cﾄ ／ ´ /厶 ）| rく | } ／ ）’‥．・’: : :‥
_／／ 人 ﾍﾚﾊ:::::::::::ﾉ ／::r} 7/l│ ∨ ﾚ′／ ／／／
＜ ∠ ／ ゝ､ `ｰ‐'' {:::::::7 仏l/{_ ） ∠ ..＿ ／／／
￣｀Z∠ ＼ "" /＾＼ ヾシ｛/ｲ｛∧)_ ､__＿ノ
ノ⌒ヽ〔{ ＼.｀Y个 ゝ- ’ 厶斗' ＼)‐v-､ ￣)
ﾌ二`～｀＞＼}l|＼rV＞┬‐‐＜ ｛{_ `ｰ＜)￣
（::::. ￣｀V┬ﾍ｣／><＼_j__／_{{_ ヾ≧r＜´￣！！！！
(＾Y⌒ヽ___ﾉﾆ| t‐＜/ﾑ__〉少''´ ￣￣ │││││ |
{(＼＿__）ィヽ ＼.＼/__,lr＜__ │││││ |
ヽ-イ／ / ＼__＼ ノヘxく / / / / / / /
／ :/ `ｰ＼_／ ＼＼ ／／／／／／
／ / ﾉ ＼＼
＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿∧＿＿＿＿＿＿＿＿＿
＿ __l＿
l | 三}. ‐|ｧ┐ ―- /丁ヽ |王_ |士土! ＿＿＿ 尸
リ '市' くl し ､＿, ∨ ﾉ //ﾊ 〕 ﾉ上 ヒ cﾉ
147:１３２人目の素数さん
09/09/07 15:10:47
a[11] x[1] + a[12] x[2] + a[13] x[3] = c[1]
a[21] x[1] + a[22] x[2] + a[23] x[3] = c[2]
と置いた連立方程式の解が仮に
x[1] = k + α
x[2] = l + α
x[3] = α （α：任意）
だったとすると、解をまとめたx↑は
x↑ = c↑ + αd↑
と書けるじゃないですか。この時、連立方程式の係数行列Aにc↑とd↑をそれぞれかけると
Ac↑ = o , Ad↑ = [ c[1] , c[2] ]
となるのはどうしてなんでしょうか。
148:１３２人目の素数さん
09/09/08 01:24:00
ケーリーハミルトンの定理？
ハミルトンケーリーの定理？
どっちが正しいっすか？
149:１３２人目の素数さん
09/09/08 04:06:02
どっちも正しい。
150:neetubot
09/09/08 09:58:26
>>147
a[11] x[1] + a[12] x[2] + a[13] x[3] = c[1]
a[21] x[1] + a[22] x[2] + a[23] x[3] = c[2]
つまり、A (x↑) = (c↑)の一般解 x↑ について、
A (y↑) = (c↑)となる特殊解(y↑)と、A (z↑) = (0↑)となる特殊解(z↑)を用いれば、
A (x↑) = (c↑) = (c↑) + (0↑) α = A (y↑) + A (z↑) α = A (y↑ + z↑ α) （α：任意）と書けることから、
この一般解が x↑ = y↑ + z↑ α と考えられるという理解でいかがでしょうか？
151:147
09/09/08 13:50:22
なるほど。ありがとうございます。
152:１３２人目の素数さん
09/09/23 23:20:40
ここは問題を解くスレのようですけど…
ベクトル（いわゆる幾何ベクトル）は歴史が浅いそうですが、もともとどの数学者たちの理論が大成したんでしょうか？
幾何ベクトル（２，３元程度と特にベクトル空間の一次独立性）の歴史をあつかったHPはあまりみないのですが、この辺りの事情をご存知の方がいらしたら解説してください。
153:１３２人目の素数さん
09/09/23 23:36:46
手元の線形代数の問題で、
2 3 1 2 1
A=[0 -1 2 ] , B=[1 1] とする。
t(BA)=tAtB が成立する事を確かめなさい
という問題があります。
ここで、tの文字が添字の様に小さくて左上にあります。
このtの意味がまったくわからないので、誰か教えてもらえないでしょうか？
154:１３２人目の素数さん
09/09/23 23:39:49
transepose
155:１３２人目の素数さん
09/09/23 23:46:24
>>152
雑談スレで少し触れましたが、線形代数小史
URLﾘﾝｸ(www.math.hc.keio.ac.jp)
はどのくらい理解できるのか逆に解脱してください。
>>153
Ａの転置行列をtAと書く本がある。
156:１３２人目の素数さん
09/09/23 23:54:59
むしろそっちのほうが主流だろう
157:１３２人目の素数さん
09/09/23 23:56:16
>>155 ありがとうございます！！
158:１３２人目の素数さん
09/09/23 23:59:40
157はどっちなんだろう……
153なら154ですでにtranspositionだという答えを得ているのだから
152の可能性がたかいかな…？
159:１３２人目の素数さん
09/09/23 23:59:43
ﾆﾔﾆﾔ（・∀・）ﾆﾔﾆﾔ
160:153
09/09/24 00:03:53
153、157です。
>>154, 155
ありがとうございます！
>>154
すいません！読み飛ばしてました！！
161:１３２人目の素数さん
09/09/24 00:10:08
ﾆﾔﾆﾔ（・∀・）ﾆﾔﾆﾔ
162:１３２人目の素数さん
09/09/24 00:14:34
>>155
解脱？！
163:155
09/09/24 00:34:33
>>162
よく気付きましたね。152がちゃんと読んでいるなら今頃浮世の苦しみから解放されて…
＝駄レススマソン＝
164:１３２人目の素数さん
09/09/24 01:03:36
んん？
先生か何か、関係者ですか？ｗ
pdfの方も読んでみましたけど、wikiにある行列の一通りの記事と同じでそんなもんでしょうか。
pdfの記事では、URLから察するにたぶん数学関係者なんでしょうけど、行列とベクトル、ベクトル空間の違いとかごっちゃにしてるし、まったく分かってないって感じです。
多分、知識埋め込みがたの教育ばかりで、行列やベクトル（空間）の本質を理解し、これを使いこなすようなことができる人物じゃないんでしょう（そしてそういう論文ばかりなんでしょう）。
なぜなら、お聞きしているのは「幾何ベクトルの歴史」であって数ベクトル（行列）の歴史じゃないですから。
現代的に言うとたぶん（代数）多様体とかでしょうけど、「幾何ベクトルの歴史」という歴史から先人の知恵を学ぶのもいいもなんですけどね…
165:１３２人目の素数さん
09/09/24 01:15:13
またコンピュータ君の釣りだよ
166:１３２人目の素数さん
09/09/24 01:44:38
>>165
んん？
そのコンピュータ君とやらに恨みでもあるのかあ。
おまえは頭弱そうだから、脳みそほじくられたりでもしたんだろ？ｗ
167:１３２人目の素数さん
09/09/24 01:47:08
とうとう自分をコンピュータ君と名乗る
168:１３２人目の素数さん
09/09/24 02:11:26
>>164
情報を小出しにすると、あまりかまってもらえませんよｗ後出しで悦に浸りたいだけなら構いませんがｗｗ
固定ハンドルでもつけない限り、あなたの専門分野やレベルがわかるまで、このように手間がかかるものですから。
雑談スレでも言いましたが、確度の高い情報をお求めならＨＰでなく出版物をあたるべきでは？
>>166
代数幾何学が詳しい方に聞きたいならｽﾚﾘﾝｸ(math板)でどうぞ。
そのときには、あなたの意図する幾何ベクトルというものが具体的にどんなベクトルか詳細を書いたほうがいいかとは思います。
あなた自身が知恵を学ぶことはいいことだと思いますし、何か学習できたら発表でもしてくれやコンピュータ君ｗｗｗ
169:１３２人目の素数さん
09/09/24 03:25:26
知らないなら素直に「知りません」といえないといけませんよね…
170:１３２人目の素数さん
09/09/24 09:29:46
土人に煮られる宣教師の気分ですかな(･∀･)ﾆﾔﾆﾔ
171:１３２人目の素数さん
09/09/25 00:07:52
>>169
幾何ベクトルなんてあえて呼ぶ奴は、個人的に初学者か物理屋という印象があるので、より専門的に、
代数幾何学に使われているベクトルの歴史などが知りたいとかなら、そう書いた方がいいと思っただけですよ。
雑談スレで自演のためにとっさに出した話題かもしれないが、よかったらおちでもつけてしめてくれｗ
172:１３２人目の素数さん
09/09/25 00:16:27
>>171
そんな回りくどい言い方するから変なあてつけをされるんです
貴下ベクトルと代数多様体は殆ど無関係な概念だと素直に教えてあげればいいのに
173:１３２人目の素数さん
09/09/25 00:23:51
>>171-172
昔は矢線ベクトルといえば通じたんですけどね・・・
174:１３２人目の素数さん
09/09/25 00:47:44
>>172
一見無関係だから強引に関連付けたいんですよ。
そもそも多様体（代数・位相など）は抽象的過ぎて数学というより論理学（集合とか基礎論）や哲学の域になってますから。
これを高校ベクトルと同じく、もうちょっと「計量」や「変数xと代入f[x]、そして写像y」など演算できるようにしてやると、
問題を解く作業が機械的となり抽象的なイメージ不要で、「ベクトルの和」のように馴染み深くよりイメージしやすくなると思いますよ。
実際、連立方程式なんかは、交点（intersection)を求めているだけですから…
175:１３２人目の素数さん
09/09/25 01:01:36
歴史といえば、ベクトル解析の歴史がそのままジャンとか言われたら、まあ、そうなのかなって感じですけど。
高校大学の近代的な数学も大事ですけど、産業・工学からの要請で「動き」「変化」（境界とか）に偏ってるんですよね…
もっと「構造」の方をモデル化できる機械的な手法を求めているんですけど、先人はそういうさまざまな手法がなくても基本的に「幾何学」だけで問題を解いていたんですからね…幾何学はいつの時代でも王道ですし別に廃れてるわけじゃありませんよ。
別に専門でもないんで、専門家の間でしか通用しない用語とか高度な抽象化の議論はあまり興味ないです。
個人的には「構造」のモデル化手法に今は興味あるんで、よくあるとこだとガベージコレクトと到達可能性とか、画像解析とかで画像２枚の類似度とか、
数学分野では写像一般なんかよりもグラフ理論とかですか。
ヤフーとかグーグルのラボで次世代画像検索とかあるけど、あの辺りなら高校数学（せいぜい高校ベクトル程度）の応用と同じで、
学んだ知識をすぐに技術に生かせるのが面白いんじゃないですか。
数学科では演習とか実験とかないですし気がつきにくいですけど、自分で実際に取り掛かってみると、
大学専門課程の教科書を読みこなし高度な数学議論を理解しているようで、実は高校ベクトル程度すらまったく理解してなかった（理解が浅はかだった）ていうのが露見しますよ。
176:１３２人目の素数さん
09/09/25 01:40:05
アホの妄想に付き合わされるのは御免だね
177:１３２人目の素数さん
09/09/25 01:58:50
>>174-175
何こいつｗ
長文とかいってもう終わってるって感じだしｗ
178:１３２人目の素数さん
09/09/25 02:03:46
＞一見無関係だから強引に関連付けたいんですよ。
一見じゃなくて、実際に無関係なんだが。
179:１３２人目の素数さん
09/09/25 02:06:53
このスレの人はやさしいなぁーいいおちがついたようだし、
もう一度雑談スレに誘導してしめましょう。スレ汚しスマソ
ｽﾚﾘﾝｸ(math板)
180:１３２人目の素数さん
09/09/25 02:20:58
どうでもいいけど、つまんねー能書き垂れるなら便所でやれよしょんべん
181:１３２人目の素数さん
09/09/25 02:30:09
>>176
ﾆﾔﾆﾔ（・∀・）ﾆﾔﾆﾔ
182:１３２人目の素数さん
09/09/25 10:18:44
ネット数学者頑張れ。リアルで。
183:１３２人目の素数さん
09/09/25 11:27:40
>>179
ﾆﾔﾆﾔ（・∀・）ﾆﾔﾆﾔ
184:１３２人目の素数さん
09/09/25 19:08:12
>>183
ﾆﾔﾆﾔ（・∀・）ﾆﾔﾆﾔ
185:１３２人目の素数さん
09/09/25 19:44:45
ゆとり教育は嘆かわしい。
中学生の息子の机に数学のノートが開いていた。
なんと、数式にビックリマークを付けて遊んでいた。
出てくる数字はほとんどが1桁の整数のかけ算。
しかも答が間違ってる。
小学校の九九の復習にもなってない。
本当に嘆かわしい...。
186:１３２人目の素数さん
09/09/28 13:31:04
>>185
吹いたｗ
187:１３２人目の素数さん
09/10/01 09:11:35
中学校では階乗は習わないと思うが
188:１３２人目の素数さん
09/10/02 19:20:55
同時方程式の解について質問します.
同時方程式の解は自明解(全部0)とそうでない解がありますよね.
それで、自明解以外の解があるかないかを判定するよい方法はないですか？
189:１３２人目の素数さん
09/10/02 19:34:13
斉次方程式の係数行列のdeterminantが0
190:１３２人目の素数さん
09/10/02 19:44:09
すいません情報を小出しにして申し訳ないのですが
変数3つで式4つの同次方程式でお願いします
こういう方程式です
3α-2β+γ＝0
4α +8γ＝0
２α+β+7γ＝0
β+4γ＝0
それで係数行列の行列式を計算できないのです
解答には「自明の解しかない」と書かれているのですが
説明がなくてよくわからないのです.
ちなみに問題は「4次元のベクトルが3つあり1次独立かどうか判定せよ」という問題です
191:１３２人目の素数さん
09/10/02 23:53:53
斉次方程式の係数行列のminarが0
192:１３２人目の素数さん
09/10/03 15:11:13
すいませんminarって何ですか？
ググっても出てこなくて・・・
193:１３２人目の素数さん
09/10/03 15:45:44
[3,4,2,0]、[-2,0,1,1]、[1,8,7,4]を
並べてできる3×4行列式のひとつの列を
削ってできる3×3行列式（小行列式）のうち
ひとつでも0にならなければ
もとの3つのベクトルは1次独立になるということじゃない
194:１３２人目の素数さん
09/10/03 17:50:05
>>193
なるほどありがとうございました
小行列式のことをminarとも言うのですね
195:１３２人目の素数さん
09/10/03 19:06:33
minorだろ？
196:１３２人目の素数さん
09/10/09 22:47:21
質問です。
1) 任意の実数 x,y,z に対してつねに
x^2 + y^2 + z^2 -2pxy -2qyz -2rzx ≧ 0,
となるための、p,q,r についての条件を求める。
2) p,q,r は与えられた正数とする。任意の実数 x,y,z に対してつねに
p√(x^2 + y^2) + q√(y^2 + z^2) + r√(z^2 + x^2) ≦ K√(x^2 + y^2 + z^2),
が成立する定数Kの最小値を求める。(コ－シーの不等式を使わずに)
3) p,q,r は与えられた実数で、pq+qr+rp > 0 かつ (p+q)(q+r)(r+p)≠0 とする。
任意の実数 x,y,z に対してつねに
(px+qy+rz)^2 + K(x^2 + y^2 + z^2 -2xy -2yz -2zx) ≧ 0,
が成立する最大な正数Kを p,q,r で表わす。
お願いします
ｽﾚﾘﾝｸ(math板:511番)
不等式スレ４
197:１３２人目の素数さん
09/10/09 23:37:26
>>196
↓ここら辺に解答
ｽﾚﾘﾝｸ(math板:531番)
ｽﾚﾘﾝｸ(math板:221番)
(中)
a = √(x^2 + y^2), b = √(y^2 + z^2), c = √(z^2 + z^2) とおく。
・(p,q,r) が鋭角△条件を満たすとき、K = √{2(p^2 +q^2 +r^2)},
等号条件は a:b:c = p:q:r (相似)。
・(p,q,r) が鋭角△条件を満たさないとき、p^2 + q^2 < r^2 のとき、K = r + √(p^2 +q^2),
等号成立は a:b:c = p:q:√(p^2 +q^2) (直角⊿)のとき。
(下)
K = pq+qr+rp のとき、固有値は
λ = p^2 + q^2 + r^2 + pq + qr + rp,
λ = 2(pq + qr + rp),
λ = 0, (x,y,z) = k(q+r, r+p, p+q)
198:１３２人目の素数さん
09/10/10 17:42:51
>>196
0 ≦ 1 -p^2 -q^2 -r^2 -2pqr >531
= (1-p^2)(1-q^2) - (pq+r)^2
= (1-q^2)(1-r^2) - (qr+p)^2
= (1-r^2)(1-p^2) - (rp+q)^2,
から
(1-p^2)(1-q^2) ≧ 0,
(1-q^2)(1-r^2) ≧ 0,
(1-r^2)(1-p^2) ≧ 0,
よって 1-p^2, 1-q^2, 1-r^2 は同符号。
したがって
(1-p^2) + (1-q^2) + (1-r^2) ≧ 0, >531
⇔ 1-p^2 ≧ 0, 1-q^2 ≧ 0, 1-r^2 ≧ 0,
⇔ |p|≦1, |q|≦1, |r|≦1,
・大関：「不等式への招待」第1部 例題1., p.3-4 (1987.10)
199:198
09/10/10 17:46:31
198 は >>196 (1) へのレス。
200:１３２人目の素数さん
09/10/11 20:01:14
〔問題891〕
(k-1)x^2 + ky^2 -xy = 0, をみたす実数 (x,y)≠(0,0) が存在するような、実数kの値の範囲を求めよ。
ｽﾚﾘﾝｸ(math板:891番)
東大入試作問者スレ１７
201:学生
09/10/24 22:51:30
大学の課題についてなんですが・・！
正方４次行列の固有値求めてたんですが、、
出た固有値が±√７、±√１５なんです
これで固有ベクトル出そうとしたら
ｘ1＝ｘ2＝ｘ3＝ｘ4＝０になってしまってよくわかりません(+_+)
どうしたらよいものでしょうか？
ちなみに問題は
ａ14＝７、ａ23＝５、ａ32＝３、ａ41＝１でほかの成分が全部０の行列をどうにかして対角化もしくは上半三角化しろという問題です
ほんと困ってます、お願いしますm(__)m
202:１３２人目の素数さん
09/10/25 00:07:37
↑
その4つの固有値はあってて対角化ができると思います。
それぞれの固有ベクトルはゼロベクトルじゃないのがきれいに出ると思うので、もう一度どうぞ（＋_＋）
例えば、固有値√15に対応する固有ベクトルは(0, √5, √3, 0)^Tとかじゃないっすか？
203:１３２人目の素数さん
09/10/25 00:35:03
>>202
返信ありがとうございます
今やってみました！
202さんの通りにありました(;_;)
完全に俺の早とちりでした。。
ホントにどうもです
わからないことだらけでまた聞くかもしれませんが、その時はまたよろしくお願いしますm(__)m
204:１３２人目の素数さん
09/10/26 13:12:33
613 名前： １３２人目の素数さん 投稿日： 2009/10/26(月) 00:37:48
あの…コピペ荒らしがキモクてすぐスレが流れてしまうのでもう一度書きますが、
(1) z^2 = -195/7 + 4i
(2) z^3 = -Sqrt[11] + 58i
を満たすzの解き方をおしえてください。
数学が得意だと自称している数ヲタの話しだと因数定理で解くそうなんですがわかりません。
本来因数定理は根（因数）を求める方法じゃないですよね。
実は(1)は連立方程式にして解けました。
ただの数式操作なので概念とか理論的なところはあまりないし自称数ヲタさんたちなら朝飯前ですよね。
特に(2)の解法をよろしくお願いします。
205:１３２人目の素数さん
09/10/26 23:20:23
>>204
(1) z = ±(1+14i)/√7,
(2) z = (√11 + 2i), (√11 + 2i)ω, (√11 + 2i)ω^2,
但し ω = (-1+√3･i)/2,
206:１３２人目の素数さん
09/10/26 23:25:08
>>205
なるほどカルダノですか。
207:１３２人目の素数さん
09/10/26 23:42:05
>>205
このスレに張ってある以上そもそも行列（線型代数）で解けということだと思うが・・
208:１３２人目の素数さん
09/10/26 23:59:37
非線形を行列つかえって？
アホかよ ｗ
209:１３２人目の素数さん
09/10/27 00:11:13
３次元のケリハリ定理ってさ、普通の学部生は軽くやって通り過ぎちゃうよね。
210:１３２人目の素数さん
09/10/27 01:30:35
>>206
「カルダノですか。」っていっても、その「カルダノですか。」でこれをどうやって解くのか教えてくれるか？
211:１３２人目の素数さん
09/10/27 02:03:17
>>206は、マルチ>>204の発言の元スレ「分からない問題はここに書いてね３２３」
ｽﾚﾘﾝｸ(math板)にあったネタだと思います。
とりあえず、このスレの住人はマジメでとても好きです。っていうか、分かスレ最近荒れすぎっぽ…
212:１３２人目の素数さん
09/10/27 02:14:46
キチガイ数ヲタの隔離スレか
213:１３２人目の素数さん
09/10/27 08:31:06
大学3年の姉なんだが、
飲みサークルOBから『モデルにならないか』って持ちかけられたらしい。
11月にそのための撮影会みたいなのを山奥でやるらしいけど、
これってプロのモデルなら当たり前？
214:１３２人目の素数さん
09/10/27 08:46:24
やられるだけだろ
215:１３２人目の素数さん
09/10/28 00:03:36
斎藤先生の『線形代数の世界』って本当は『線型代数の世界』にしたかったらしいけど、
出版社が「売れるためには線形でお願いします」といったからああなったんだとよ
もったいなやもったいなや
216:１３２人目の素数さん
09/10/28 23:25:52
>>204
>(2) z^3 = -Sqrt[11] + 58i
(z^3*z~^3) = (-Sqrt[11] + 58i)*(-Sqrt[11] - 58i) = 3375 = 15^3
z*z~ = 15 として見当をつける
217:１３２人目の素数さん
09/10/29 00:13:15
>>216
線型代数（行列）っぽく成分で計算すると思ってたんですけどね…
それでどういう見当をつけて計算を続けるんですか？
218:１３２人目の素数さん
09/10/29 00:21:17
>>215
でもいい本だよね
重宝してる
219:１３２人目の素数さん
09/10/29 00:27:27
>>217
当然 z = a*Sqrt[11] + b*i
220:１３２人目の素数さん
09/10/29 00:37:14
>>219
答えに向かってそのまま突き進んでください。
もし線型代数（行列）の計算に手馴れてるなら線型代数（行列）を活用する機会があるかもしれません。
221:１３２人目の素数さん
09/11/18 16:46:16
ベクトルの内積の公理の分配法則の所を中線定理で置き換えれたっけ？
分配法則 → 中線定理 は自明だけど、
逆の証明が思いつかない。
222:１３２人目の素数さん
09/11/18 18:13:09
>>215
「名著はことごとく線型、線形は駄本」って判定条件（たとえば
S武先生の本も、線型は名著、線形は駄本）があるらしいが
あれは数少ない反例だよな。
タケちゃんも、この判定条件は知ってただろうから、出版社の
要望は残念だったろう。
223:あぼーん
あぼーん
あぼーん
224:１３２人目の素数さん
09/11/22 01:48:39
>>221
を誰かﾌﾟﾘー図
225:１３２人目の素数さん
09/11/28 17:06:15
>>221
URLﾘﾝｸ(www.akanekodou.mydns.jp)
12063．内積とノルム
参照
226:１３２人目の素数さん
09/11/30 01:53:30
問：[a1,a2,…,ar]が１次独立の時、[a1+a2,a2+a3,…,ar+a1]は１次独立が１次従属か？
c1(a1+a2)+c2(a2+a3)+…+cr(ar+a1)=0
(c1+cr)a1+(c1+c2)a2+…+(c(r-1)+cr)ar=0
[a1,a2,…,ar]が１次独立より、c1+cr=c1+c2=…=c(r-1)+cr=0
ここで止まりました。
解答を見るとr=偶数or奇数で場合分けするようですが、上手くできませんでした。
どなたかお力を貸して下さい。
227:１３２人目の素数さん
09/11/30 22:33:04
>>226 c1=tとすれば残りのciはすべてその等式から自動的に定まる。
それからt≠0が可能かどうか判断する
228:１３２人目の素数さん
09/12/01 13:10:57
>>227
ありがとうございます！
229:１３２人目の素数さん
09/12/03 18:03:37
>>222
でも毅さん曰く、最初は「線形」に抵抗あったけど、慣れたら楽で味を占めたらしい
そして「準同形」とさえ書くように変貌
なんてこったい
230:１３２人目の素数さん
09/12/03 19:15:26
そういう日和はゆるせないなあ
231:１３２人目の素数さん
09/12/04 03:47:19
線「型」とか同「型」とかのニュアンスって「type」とか「form」の部分なんだから
「shape」という感じになってしまう「形」を用いるのはやはり抵抗を覚える……
232:１３２人目の素数さん
09/12/07 23:57:28
アントンのやさしい線形代数って参考書としての評価は一般的にどうなんですかね？
233:１３２人目の素数さん
09/12/08 10:21:23
ある商品の売上個数を予測するための数学は、何ですか？
線形代数？？
234:１３２人目の素数さん
09/12/08 11:18:46
>>232
大学の先生で生徒に勧める人もそれなりにいるらしいね。多分、線型写像なんかの
イメージがわかないために学習が行き詰ってる生徒なんかに向いてるんじゃないかとか。
自分は読んだ事ないけど
235:１３２人目の素数さん
09/12/10 23:44:52
大学教養レベル線形代数ってどのくらい？
236:１３２人目の素数さん
09/12/10 23:48:41
ジョルダン標準形くらいまでじゃね？
237:１３２人目の素数さん
09/12/12 00:02:10
ジョルダンまでキチンとやってる大学なんて実際には少ないわなｗ
238:１３２人目の素数さん
09/12/12 02:02:23
旧帝数学科だけどジョルダンとか授業では2年後期で初めて出てきたよｗ
239:１３２人目の素数さん
09/12/13 19:08:13
>>238
頭いー
240:１３２人目の素数さん
09/12/13 19:10:35
駅弁だと最後まで出ない
241:１３２人目の素数さん
09/12/13 19:14:53
快便だと最後まで出る
242:猫は珍獣 ◆ghclfYsc82
09/12/13 19:22:33
ワシはしょっちゅう下痢してるがな
猫
243:１３２人目の素数さん
09/12/13 19:34:30
旧帝大でもさらっとやるだけ．．．だけど東大以外の旧帝大はちゃんとやってるの？？
んなわけないか
244:猫は珍獣 ◆ghclfYsc82
09/12/13 19:51:25
線形代数くらいはやなァ、講義とかに頼らへんでやなァ、自分で勉強せえや
そやないと再起不能のアホになるゾ
猫
245:１３２人目の素数さん
09/12/13 20:29:37
でも実際線型でやってジョルダンが使えるのって
線形微分方程式解くくらいじゃないのか？
代数にいくならもっと一般論でやるだろうし。
246:猫は珍獣 ◆ghclfYsc82
09/12/13 20:40:02
まあ色んな議論で花が咲いてるやないけェーーー
ワシは見てるだけやさかいナ。
猫
247:１３２人目の素数さん
09/12/13 20:54:40
>>243
京大だけど今やってる
248:１３２人目の素数さん
09/12/13 20:59:23
一年生？
249:１３２人目の素数さん
09/12/13 21:01:51
はい
250:１３２人目の素数さん
09/12/13 21:13:26
猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
251:猫は珍獣 ◆ghclfYsc82
09/12/13 22:01:46
>>249
あのな、京大生やったらやナ、一年生でもルベーグ積分くらいは勉強せんかい！
ワシは勉強せえへん京大生なんて許さへんさかいナ。
猫
252:１３２人目の素数さん
09/12/13 22:03:55
猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
253:猫は珍獣 ◆ghclfYsc82
09/12/13 22:04:48
>>249
おお、そやそや。先に一変数函数論かて勉強しとけや
アレは大事やさかいナ。
猫
254:１３２人目の素数さん
09/12/13 22:06:23
筑波大卒だとやっぱり一年っぽにも
嫉妬心燃やしちゃうんすか？＾＾
255:猫は珍獣 ◆ghclfYsc82
09/12/13 22:07:58
>>249
ほんでやナ、物理かて数学に役立つさかいやナ、
まあ理論電磁気学とか量子力学程度は三年生になる前
に勉強しといた方がエエよ。
まあ頑張ってナ、応援してるさかい。
猫
256:猫は珍獣 ◆ghclfYsc82
09/12/13 22:09:43
>>249
ソレって誰の話やねん？
猫
257:１３２人目の素数さん
09/12/13 22:12:18
猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
258:猫は珍獣 ◆ghclfYsc82
09/12/13 22:12:49
The message >>256 should be deleted. Instead, the correct message
should be:
>>254
ソレって誰の話をしてんねん！ ちょっと言うてみいや
猫
259:１３２人目の素数さん
09/12/13 22:16:31
猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
260:猫は珍獣 ◆ghclfYsc82
09/12/13 22:39:58
>>259
まあアンタ等がワシを「うざい」と思てんならワシの行為は
ほぼ成功っちゅう事やなァ
ホンマはやね、うざいんじゃなくってやなァ、迷惑千万に
ならへんとアカンのや。そやしワシはもっともっと頑張らな
アカンっちゅう事やナ。千里の道も一歩からやデ。
猫
261:１３２人目の素数さん
09/12/13 22:43:49
猫は珍獣 ◆ghclfYsc82 は境界性人格障害のコテハンです
彼らは「見捨てられる」ことをいちばん恐れます
うざいと思ったらこのコピペを貼り付けて放置してください
262:あぼーん
あぼーん
あぼーん
263:１３２人目の素数さん
09/12/15 03:44:58
ぼちぼちじゃマスターできない。全身全霊を込めて短期間で高校レベルからやり直せ。遅いと曖昧さが増す。
264:１３２人目の素数さん
09/12/15 22:51:07
もし高校の数学Cからやり直してるんだったら、飛ばして大学の教科書
とか線形代数入門みたいな本で始めたほうが良いと思うよ
265:１３２人目の素数さん
09/12/16 01:35:26
>>264
おそらく、一次変換などのイメージが湧かないというレベルの症状なんだと思われ。
266:１３２人目の素数さん
10/01/03 20:42:45
明けましておめでとうございます。今年もよろしくお願いします。さて…
次のベクトルの組は、それぞれR^3の基底になるかどうか判定せよ。
(1)
(0)
(-1)
,
(0)
(1)
(1)
,
(3)
(4)
(5)
,
(0)
(1)
(0)
…という問題ですが、任意のベクトル、例えば
(1)
(2)
(3)
を表したいときは
(1)
(4)
(0)
(-2)
を掛ければ表現できますよね（3行目は常に0ですけど）？でも、なんで答えは「基底ではない」のですか？
（多分、「n+1個のn項数ベクトルは1次従属である」という定理のせいだと思うのですが
その定理もよく理解できていません。）
267:266
10/01/04 15:03:02
自己解決しましたんで忘れてください(^^ゞ
268:１３２人目の素数さん
10/01/10 16:01:22
素人の質問で恐縮ですが、シュール分解と固有値分解は何が違うんですか？シュール分解だと何のメリットがあるのでしょうか。
269:１３２人目の素数さん
10/01/10 18:28:38
>>268
固有値分解は常にできるとは限らないが
シューア分解は常にできる
270:１３２人目の素数さん
10/01/10 19:53:58
固有値分解の場合、A=QλQ^{-1}と分解（λが対角行列）
シューア分解の場合、A=QUQ^{-1}と分解（Uが三角行列）
271:１３２人目の素数さん
10/01/10 22:02:38
凄い基本的なことかと思うのですがお聞きしたい事が有ります
空間の一次変換
x' x 2 -1 -2
( y' )= M( y ) M=( -1 1 -1 )
z' z -4 3 m
により点(x,y,z)が点(x',y',z')に移っているとする。点(1,1,n+1)に
移る点の全体がなす集合をFとする。
もはや数学の未熟さというか日本語が未熟なのかもしれないのですが
このFにあたる図形がなにを指しているのか理解できません。
どうかご教示をお願いします。
272:１３２人目の素数さん
10/01/10 22:40:40
>>271
[1,1,(n+1)]^T = [[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,m]^T] [x,y,z]^T
を満たす点[x,y,z]^Tがn,mの値によってとりうる解全体の空間がF。
273:１３２人目の素数さん
10/01/10 23:05:36
>>272
ありがとうございます
そこは恐らく理解できました
その後に図形Fが一点になるとき、空集合になるとき、直線になるときm,nはそれぞれどうなるか、という問があるのですが集合を図形として考えるというのがいまいちぱっとしなくどう場合分けするべきかわかりません。よろしければ解答をお願いしたいのですが・・・
274:１３２人目の素数さん
10/01/11 00:12:14
日本語がわからないのか？>273
国語勉強して出直せ
275:１３２人目の素数さん
10/01/11 01:19:24
>>274
すいませんわかりません。
図形が空集合、という意味だけでも教えていただけたら幸いです。
すべての成分が0ということなんでしょうか？
276:１３２人目の素数さん
10/01/11 02:05:14
図形だろうがなんだろうが空集合の意味がわかんないのか
馬鹿だなあ
277:１３２人目の素数さん
10/01/11 02:14:04
例えば
xは実数とする。
2x^2-ax+4=0
の解が空集合になるaの範囲を求めよ。
こんな高校レベル問題もわからんの？
278:１３２人目の素数さん
10/01/11 02:20:31
>>273 クラメールの公式から、det[[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,m]^T]]=m+24≠0のとき、
x=det[[1,1,(n+1)]^T,[-1,1,3]^T,[-2,-1,m]^T]/det[[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,m]^T]]
y=det[[2,-1,-4]^T,[1,1,(n+1)]^T,[-2,-1,m]^T]/det[[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,m]^T]]
z=det[[2,-1,-4]^T,[-1,1,3]^T,[1,1,(n+1)]^T]/det[[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,m]^T]]
という1点[x,y,z]のみの集合が図形Fとなる。
また、m=-24の場合で、さらにrank[[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,-24]^T,[1,1,(n+1)]^T]＞rank[[2,-1,-4]^T,[-1,1,3]^T,[-2,-1,-24]^T]
となるn≠16の場合は、与式を満たす[x,y,z]の組は存在しないので図形Fは空集合となる。
最後に、m=-24でn=16の場合は、与式を解けば[x,y,z]=[2,3,0]+[3,4,1]t（tは任意の実数）となるので、
与式を満たす無数の点[x,y,z]の集合である 点[2,3,0]を通り傾き[3,4,1]の直線が図形Fとなる。
279:１３２人目の素数さん
10/01/11 02:21:40
>>276,7
あまり疑問を持たずにやったら解けました。
ありがとうございました
280:１３２人目の素数さん
10/01/11 02:23:08
>>278
詳しい解説ありがとうございました！
281:１３２人目の素数さん
10/01/11 02:54:49
・・・なんなんだこいつは
282:１３２人目の素数さん
10/01/11 20:46:43
>>277
> xは実数とする。
> 2x^2-ax+4=0
> の解が空集合になるaの範囲を求めよ。
これはいただけないというかマズイだろ。
xは実数とする。
2x^2-ax+4=0
の解集合が空集合になるaの範囲を求めよ。
とでも書くべきだろう。あるいは
{x∈R | 2x^2 - ax + 4 = 0} が空集合になるための・・・
とか。
283:１３２人目の素数さん
10/01/12 11:37:39
２次の正方行列 A において，
tr(A)＝tr(A^2)＝0 ⇒ A^2＝0
が成り立つけど，これと同様な性質は次元があがっても成り立ちますか？
例えば，３次だと，
tr(A)＝tr(A^2)＝tr(A^3)＝0 ⇒ A^3＝0
とか．．．
284:１３２人目の素数さん
10/01/16 17:35:19
Ｍをｎ次の正方行列でdetM≠０と仮定します。
このとき、exp(S)＝Ｍとなるｎ次正方行列Ｓは存在しますか？
理由ともに教えてください。
285:１３２人目の素数さん
10/01/17 02:46:51
>>284 スペクトルが高々有限でゼロを含まないのでσ(M)上でexpの
逆関数Logが定義出来る。
Log(f)が求める行列となる。
286:１３２人目の素数さん
10/01/19 19:57:52
次の同次連立１次方程式の解全体がつくる部分空間の基底と次元を求めよ。
2x + y - 3z = 0
x + 2y = 0
y + z = 0
この問題の解き方がわかりません。
よろしくお願いします。
287:１３２人目の素数さん
10/01/19 20:28:59
係数行列を階段行列に変形しろ
288:１３２人目の素数さん
10/01/22 17:50:21
>>283
一般に n 次の行列で成立
>>284
全てを複素行列の範囲で考えるなら成立するが、
全てを実行列の範囲で考えるなら成立しない。
289:１３２人目の素数さん
10/01/23 21:05:28
こんにちは、ベクトル空間についての問題が分からないので質問させて頂きます。
「V×Wが
(v1,w1)+(v2,w2):=(v1+v2,w1+w2)
λ(v,w):=(λv,λw)
で定義された演算でベクトル空間になることを証明せよ。」
この問題なのですが俺の脳ではさっぱり分からなくて・・・。
よろしくお願いします。
290:１３２人目の素数さん
10/01/23 21:30:31
ベクトル空間の公理を満たすかどうか確かめるだけだろ。
定義しらなきゃそりゃ解けないだろうし教えても無駄だな。
291:１３２人目の素数さん
10/01/23 21:32:17
ベクトル空間の定義を満たすことを逐一確認すればいいだけじゃないか。
>さっぱり分からなくて
って、ベクトル空間の定義さえわからないわけじゃないだろ。
それさえ分からないなら教科書でも参考書もまず読め。
292:291
10/01/23 21:33:03
すまんレスが被ったようだ
293:１３２人目の素数さん
10/01/23 22:10:21
>>292 同じことを思っていたが書かなかった人は多いと思うので
２つくらい被っても妥当かと思われ
294:１３２人目の素数さん
10/01/24 11:01:45
URLﾘﾝｸ(www2.ezbbs.net)
295:１３２人目の素数さん
10/01/24 16:59:35
ベクトル空間の定義が覚えられん
296:１３２人目の素数さん
10/01/24 17:04:45
>>295
書き出して机に貼っておけ！
297:１３２人目の素数さん
10/01/25 00:25:44
A(1,0,2), B(0,1,1), C(-1,4,2)の3点がある。
2つのベクトルAB↑とBC↑の両方に垂直な単位ベクトルを求めなさい。
・・・という問題で、答えはe=(±2/√6, ±1/√6, -+1/√6) (複号同順)となってます。
（解き方も載っているんですがここでは省略）
自分の解き方では
{-a+b-c=0
{-a+3+c=0
[-1 1 -1 | 0]
[-1 3 1 | 0]
[1 0 2 | 0]
[0 1 1 | 0]
{a+2c=0
{b+c=0
{a=-2k
{b=-k
{c=k
↓続く
298:１３２人目の素数さん
10/01/25 00:26:57
続き
e=(-2k,-k,k)
|e|=1
√{(-2k)^2+(-k)^2+k^2}=1
√{4k^2+k^2+k^2}=1
√{6k^2}=1
6k^2=1
k^2=1/6
k=±1/√6
このkを上のeの式に代入して
e=(-+2/√6, -+1/√6, ±1/√6) (複号同順)
・・・となりました。答えと符号が逆になってしまいました。
どこで符号が逆になってしまったのか教えてください。
299:297
10/01/25 00:44:07
すみません、>>297の前段階を書くのを忘れてました。
AB↑=(-1,1,-1)
BC↑=(-1,3,1)
で
求めるベクトルをe=(e1,e2,e3)とおく
・・・それ以降に>>297の
{-a+b-c=0
{-a+3b+c=0
が続きます。
では、回答お願いします。
300:１３２人目の素数さん
10/01/25 02:16:58
どちらも同じ
301:297
10/01/25 10:29:21
>>300
私の答えでも正解ということですか？
でも、符号が逆になっていますよね？
302:297
10/01/25 10:55:01
というか、正解かどうかなんて正直どうでもいいです。
質問は「どこで符号が逆になってしまったか」です。
お願いします。
303:１３２人目の素数さん
10/01/25 10:59:56
>>301-302
>>300 が書いているとおり同じにしか見えない
複号同順って２つの解をひとまとめで書く方便
上の符号をとった解と下の符号をとった解を並べるのと同じ
並べる順序が逆でも関係ない状況だと思うが？
304:297
10/01/25 11:04:27
>>303
ああ！そういうことでしたか！
今まで何百回「±」と「複号同順」を使ったか分かりませんが
それには気付きませんでした。言われてみればそうですね。
>>300さんともども、ありがとうございました！
305:１３２人目の素数さん
10/01/25 12:43:48
a[1]=
[1]
[1]
[0]
a[2]=
[0]
[1]
[1]
a[3]=
[1]
[0]
[-1]
とする。R^3においてa[1],a[2],a[3]で生成される部分空間
W={x|x = k[1]a[1] + k[2]a[2] + k[3]a[3], k[1], k[2], k[3]∈R}
の1組の基底とdim Wを求めよ。
解答（本に載っている内容を自分なりに省略してます）:
まず、行列式の結果が0となるので線形従属、
つまり、a[1],a[2],a[3]の中から線形独立なベクトルを選んで基底としなければならない。
線形関係式を得るために
l[1]a[1] + l[2]a[2] + l[3]a[3] = 0
これを解くと
[1 0 1]
[0 1 -1]
[0 0 0]
rank A = rand[A|B] = 2
自由度=3-2=1
↓続く
306:１３２人目の素数さん
10/01/25 12:44:43
続き
変形の最後より
{l[1] + l[3] = 0
{ l[2] - l[3] = 0
l[3]=tとおくと、
l[1]=-t
l[2]=t
t=1として元の線形関係式に代入すると
-a[1] - a[2] + a[3] = 0 ←問題箇所: a[2]の符号が負!?
∴a[3] = a[1] + a[2]
…となっているんですが、上のa[2]の符号は正じゃないですか？？？
それ以降もa[3] = a[1] + a[2]を前提として計算されています。
でも、正しくはa[3] = a[1] - a[2]じゃないですか？
これは石村園子さん著の「やさしく学べる線形代数」という本の112～113ページに載っています。
2000年10月25日初版第1刷発行
2001年3月20日初版第4刷発行
…ですから、誤字の可能性ありますよね？
でも、他人に検算していただかないと自信がないです。
どうかお願いします。
307:１３２人目の素数さん
10/01/25 12:52:52
>>305-306
>>305 冒頭のベクトルたちの定義を見ると
君の言うとおり a[3] = a[1] - a[2] になっている
不安に思うのがふしぎ
著者の計算違い・確認忘れでしょう
２ｃｈ的にはもう少しちゃんとした本を使えば？
と勧めるところだろうが(ry
308:305-306
10/01/25 13:02:10
>>307
>冒頭のベクトル
あっ、よく見ればそうですね！
こんな単純なことも気付きませんでした。
何はともあれ、安心しました。
実は川久保勝夫さん著の線形代数学を先に読んでいたんですが
まだ理解し難いところがあったのでこっちを先に読むことにしました。
これを読み終わったら当然あちらで証明しながら再度勉強することにします。
超素早い回答、ありがとうございました！
309:１３２人目の素数さん
10/01/30 14:57:19
先週、学校でやったテストの中でどうしても解けなかった問題があります。
連立一次方程式の問題なんですが
ｘ-2y+z=5
2x-4y+5z=1
x-2y+3z=-1
という方程式で
1 -2 1 5
2 -4 5 1
1 -2 3 -1
という行列に置いて計算すると③がまるまる消えて②も2行2列目の数字が0になって、単位行列の形が作れなくて困っています。
どなたか教えていただけますか？
310:１３２人目の素数さん
10/01/30 15:16:20
rank2以下なんだから単位行列の形になるわけねーだろ。
何にもわかってないな。
311:１３２人目の素数さん
10/01/30 15:32:29
>>310
すいません。
どういう形になって解けるものなんでしょうか
312:１３２人目の素数さん
10/01/30 15:52:44
教科書みろよ。
何もわかろうとしない癖に人に聞くな屑。
313:１３２人目の素数さん
10/01/30 16:23:28
>>309
変形すると（０行を除いて）
1 -2 0 8
0 0 1 -3
まで変形できることはわかっているとすると x,y,z を再び補うと
x-2y =8
z=-3
よって答は z=-3， x=2y+8， yは任意（自由変数）
314:１３２人目の素数さん
10/01/30 16:30:42
>>313
ありがとうございました。
そこまでは変形できたんですが、どういう風に解答すればいいかわからなかったので助かりました。
315:１３２人目の素数さん
10/02/23 00:32:10
閑散としたスレに救世主が！
ようかんマン参上！！
＼ ＿＿ ／
＿＿ ヽ|・∀・|ノ ＿＿＿
|＿＿|
／ / ヽ ＼
316:１３２人目の素数さん
10/02/24 22:29:13
正方行列Aとベクトルxの積をAで微分したものは何になるんでしょうか？
d(Ax)/dA = ?
317:１３２人目の素数さん
10/02/24 23:54:00
>>316
行列で微分するって定義は何？
318:１３２人目の素数さん
10/02/27 02:11:04
定義っていうとある変数sに対してds/dA=(ds/dA(1,1) ds/dA(1,2) .....)ですよね。
ベクトルによる微分だとd(Ax)/dx=Aってなるじゃないですか
それの行列版があるのかと思ったんですけど
319:１３２人目の素数さん
10/02/27 02:12:05
何にもわかってない馬鹿の言葉遊び。
320:１３２人目の素数さん
10/02/27 06:05:29
>>316
> 定義っていうとある変数sに対してds/dA=(ds/dA(1,1) ds/dA(1,2) .....)ですよね。
ふーんそうなんだ。じゃあその定義にのっとって計算してみたら？
321:１３２人目の素数さん
10/02/27 16:48:47
変数を行列で微分するなら各成分での偏微分ということで理解してます。
ベクトルを行列で微分すると上記の定義には当てはまらないのでどう書き表されるのかわからないんです。
322:１３２人目の素数さん
10/02/27 17:11:46
>>321
どこかの本で出てきたのなら具体的に本の何章とか書いたら
持っていればわかるかもしれないが
>>316,318,321 を見ただけでは今ひとつ何をしたいのかわからない
323:１３２人目の素数さん
10/02/27 18:20:20
行列に関係した微分公式として
d(a'Ab)/dA=ab' とか d(tr(A'A))/dA=2A とかは検索するとすぐでてくるけど、d(Ax)/dAはまったく出てこないので、あるけど載っていないだけなのか、そもそも定義不可能なのかが知りたいのです
324:１３２人目の素数さん
10/02/27 19:38:22
>>323
＞d(a'Ab)/dA=ab' とか d(tr(A'A))/dA=2A
こういうものをイメージしていたのですか
ならばそう質問してくれればわかったのだけど
そう質問できるくらいだったら答もわかるからしかたないか
行列独特の公式と考えるのではなく
たとえば d(a'Ab)/dA=ab' は
a'Ab= Σ_{i,j} a_i A_{ij} b_j という A_{11},...,A_{nn}たちの1次式を
A_{ij} で(偏)微分したと素直に見て
d(a'Ab)/dA_{ij} ＝ a_i b_j
これを ij 成分とする行列表記して d(a'Ab)/dA=ab' と書く人も（応用数学では）いる
ということ
同じように考えると
d((Ax)_k)/dA_{ij}= d (Σ_m A_{km} x_m)/ dA_{ij} = δ_{ki} x_j
だけど足（添え字）が３つなので行列表記はできないのでここで変形が止まる
ということ（だから「スカラー」を行列で微分した「公式」しか見あたらないだけ）
325:１３２人目の素数さん
10/03/15 14:29:09
線形代数の世界っていい本？
326:１３２人目の素数さん
10/03/15 20:38:22
>>325
いい本です。
もっとも目次を見て「いい本」だとわからないと、
読むのはまだ早いかも。
327:１３２人目の素数さん
10/03/15 23:56:49
目次だけでいい本って分かるはずないでしょう。
328:１３２人目の素数さん
10/03/16 10:00:05
>>326
実用的なコメントも所々にあっていい本だと思うが
せっかく最小多項式を扱うなら一般標準形にも触れて欲しかった
（抽象代数の入口と言うのであれば）、それと図はいまいち分かりにくい、
ペキレイ標準形などは佐武のように階段状に箱を並べた方が分かり易いと思うが
329:１３２人目の素数さん
10/03/16 14:58:06
> ペキレイ
ぺ？？
330:１３２人目の素数さん
10/03/19 18:00:00
>>329
>ぺ？？
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
331:通りすがりのアホ
10/03/23 17:26:02
線型代数の教科書読んで問題を解いてもいっこうに理解した気にならず
・ガロア理論
・常微分方程式
・代数的整数論
・関数解析（ヒルベルト空間論など）
・表現論初歩
で、線型空間・線型写像の問題に帰着させるごとに、線型代数の本を読み返す
ことで、「線型代数」が解っていったように思う。
332:１３２人目の素数さん
10/03/23 17:30:56
なら、線型空間と線型写像は具体的にどう違うか３行以内で書けるようになりましたか？
333:１３２人目の素数さん
10/03/24 10:22:36
違うもなにも、全く別物だろうが。その2つ。>線型空間と線型写像
それともｵﾏｲは、その2つを「よく似てる概念でイマイチ区別がつかん」と思うほどの○○か？
334:１３２人目の素数さん
10/03/24 13:16:20
まったくの別物なのに、大学向け教本を何冊も何冊も読まないと○○できない高尚な○○だったんですか？
335: ◆27Tn7FHaVY
10/03/24 23:17:59
お尻のほうに良くある、テンソルとかのことじゃないのか
336:１３２人目の素数さん
10/03/25 23:51:50
四元数代数って線形代数に入るの？それとも四元数代数は非線形性なの？
337:１３２人目の素数さん
10/03/26 02:20:09
意味不明。日本語を勉強してから来てください。
338:１３２人目の素数さん
10/03/26 19:27:56
線形代数をあるのに高校の数学でやっておくべき範囲はどこですか？
339:１３２人目の素数さん
10/03/26 19:40:57
>>338
高校の数学は基礎なのだからやらなくていいところなんてないよ
340:１３２人目の素数さん
10/03/26 19:56:59
>>339
そうですね
とりあえず今は高校の範囲を徹底的に復習しておきます。
341:１３２人目の素数さん
10/03/26 19:58:01
３つのサイコロを同時に投げる時
２つが同じ目で１つが異なる目となる確率は（ ）である。
342:１３２人目の素数さん
10/03/27 00:24:12
>>338
数学Cの行列ベクトルが既に初等線形代数なんだが
343:１３２人目の素数さん
10/03/27 23:16:53
高校数学は選択分野にもあるな。統計とかは理系でもやらない学校多いけどなぜか純粋数学の平面幾何を
やらない学校も多い。数学科希望なら必須だし入試数学も平面幾何を使ったほうが解きやすい問題もあった
りするから高校生だったら勉強しておいたほうがいいと思うし卒業生も平面幾何未履修なら改めてやってお
いたほうがいいだろう
344:１３２人目の素数さん
10/04/04 21:01:29
質問させていただきます。
大学入るまでにちょっと線形代数かじろうと思ったんですが、
平面のベクトル全体の集合V2というのが腑に落ちません。
その集合V2をとりあえず認めるとして、その中のすべてのベクトルの和のベクトルはV2から漏れるような気がするのですがどうなっているのでしょう？
どなたかご教授していただけませんか？
345:１３２人目の素数さん
10/04/04 23:34:28
原点を通る平面（2次元線型空間）内の全てのベクトル（の集合）
の和が普通に零ベクトルになるか、トリッキーな数え方で無限大
の大きさのベクトルになるかってことですか？
どっちのベクトルを考えるにしても、線型空間の定義から、平面から漏れないことは
自明のような気がするのですが、どこの教科書の部分が腑に落ちないのでしょうか？
346:344
10/04/05 00:39:15
質問したら何か理解が深まりました。ありがとうございます。
全体の集合とくくると、どうしても何か有限の感じがしてしまったのです。
平面から漏れないというのはおっしゃる通りそうなのですが、
素数が無限にあることの証明
最大の素数をmとする
2*3*5*・・・・・・*m+1はそれよりも大きな素数となる
すなわちどんな大きな素数をとってもそれより大きな素数が存在する
というやつに近いイメージを感じて、
どんな平面ベクトルの集合をつくってもそれらすべての和を考えれば作った集合から漏れるベクトルが出てしまうのではないか
とか考えて、すべての平面ベクトルの集合？とか思ったわけです。
先日読んだ集合論の話の影響かも。
なにはともあれアドバイスありがとうございました。
347:１３２人目の素数さん
10/04/05 01:08:05
素数 - Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)
の素数の無限性のユークリッドによる証明ですか。
無限に大きい素数も素数であるように、
無限に大きい平面内のベクトルも平面内のベクトルです。
ということですか。２ちゃんえるがお役に立ててよかったです。
348:１３２人目の素数さん
10/04/05 01:12:27
しかし、可算無限と非可算無限が、まぁいいか
349:344
10/04/05 11:20:16
>348
多分そこらへんでおかしくなっていたと思います。
無限に対する知識がまだない・・・・
高校では真正面から無限を扱っている感じがしなかったのですが、
なんとなく大学の数学のイメージがつかめたような気がします。
かじってよかった。
また何かあったらよろしくお願いします。
ありがとうございました。
350:１３２人目の素数さん
10/04/05 11:50:20
齧ったと言うよりは嘗め損ねたとでも言うべきだと思うがな。
351:１３２人目の素数さん
10/04/16 08:09:06
>>344
そもそもベクトル空間の公理に無限個の元の和など定義されてないだろ。お前は何を言っているんだ。
352:１３２人目の素数さん
10/04/20 01:03:39
今日は掃き出し法を勉強した、
計算が面倒だった、
こんな計算ズーーっと続くのかな?
353:１３２人目の素数さん
10/04/20 03:52:38
>>352
お前が工学屋ならずーっとそのまま続く。
お前が数学屋ならそのうち終わるが、ややもしないうちに
そんな計算ばっかりだったら楽だったのにと
後悔にも似た経験をすることになる。
354:１３２人目の素数さん
10/04/20 05:33:43
>>352
計算だけで物足りないなら
ついでに代数学もやっとけ
355:１３２人目の素数さん
10/04/28 22:46:56
高校時代、こんなことを考えていた。
線形代数は、群環体のような代数的概念とランクの概念が混在しているけれど、
両者は不可分ではない...というか、ランクだけを残すような
もう一段抽象的な枠組みがありえるんじゃないかと思って色々思案していた。
大学に入って、マトロイドというものを知った。ちょっとがっかりした。
そりゃ、工房の考えることなんざとっくに誰かが考えてるよな。
356:１３２人目の素数さん
10/05/04 20:22:48
hoge
357:１３２人目の素数さん
10/05/25 01:51:38
人いないかな？
固有値が存在するけど固有ベクトルが存在しない場合ってある？
例えば、
8 0
0 2
の固有値は2,8だけど、
それぞれの固有ベクトルが求められない。
358:１３２人目の素数さん
10/05/25 11:26:13
neeyo. それぞれ{{0}, {1}}, {{1}, {0}}とか
359:１３２人目の素数さん
10/05/26 04:49:44
>>357
固有値が複素数になっちゃうせいで固有ベクトルが実ベクトルじゃなくなっちゃうことなら普通にあるけど。
例：回転行列の固有値は±i
360:１３２人目の素数さん
10/05/30 15:49:37
まじでわからん
置換a=|123456789|
|768214935|を互換の積に分解すると
教科書では(3 8)(2 4)(2 6)(1 5)(1 9)(1 7)
らしい。これって(123456789)の２か所を固定して
入れ替えていけば(768214935)になるってことだよな？
(3 8)(2 4)(2 6)(1 5)(1 9)(1 7)でやってみたら
(768214935)にならないんだが。