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)にならないんだが。
361:１３２人目の素数さん
10/05/30 20:17:50
de?
362:１３２人目の素数さん
10/05/31 00:42:11
>>360
普通に(3 8)(2 4)(2 6)(1 5)(1 9)(1 7)=(768214935)だが．．．
_ _
・(1 2 3 4 5 6 7 8 9)
_ _
・(1 2 8 4 5 6 7 3 9) ： 3番目と8番目を交換した（互換(3, 8) )
_ _
・(1 4 8 2 5 6 7 3 9) ： 2番目と4番目を交換した（互換(2, 4) )
_ _
・(1 6 8 2 5 4 7 3 9) ：互換(2, 6) を施した
_ _
・(5 6 8 2 1 4 7 3 9) ：互換(1, 5) を施した
_ _
・(9 6 8 2 1 4 7 3 5) ：互換(1, 9) を施した
・(7 6 8 2 1 4 9 3 5) ：互換(1, 7) を施した
363:１３２人目の素数さん
10/05/31 00:42:53
しまった半角スペースでスペーシングしてしまった orz
364:362
10/05/31 00:47:00
＿ ＿
・（1 2 3 4 5 6 7 8 9）
＿ ＿
・（1 2 8 4 5 6 7 3 9） ： 3番目と8番目を交換した（互換(3, 8) )
＿ ＿
・（1 4 8 2 5 6 7 3 9） ： 2番目と4番目を交換した（互換(2, 4) )
＿ ＿
・（1 6 8 2 5 4 7 3 9） ： 互換(2, 6) を施した
＿ ＿
・（5 6 8 2 1 4 7 3 9） ： 互換(1, 5) を施した
＿ ＿
・（9 6 8 2 1 4 7 3 5） ： 互換(1, 9) を施した
・（7 6 8 2 1 4 9 3 5） ： 互換(1, 7) を施した
365:362
10/05/31 00:49:59
まだおかしいし．もういいや〓■● ﾎﾟﾃｯ
366:１３２人目の素数さん
10/05/31 19:43:59
>>362
ちょっとまってくれ・・・めちゃくちゃおそろしい。
互換の(a,b)ってのは数字を変えるってことじゃないの？
a,bってのは順番を表してるの？
俺は数字を変えるという概念で右からつまり(1,7)から
やっていくと普通に（7 6 8 2 1 4 9 3 5）
になったんだが・・・・
367:１３２人目の素数さん
10/05/31 19:49:26
教科書三冊読んだけど全くわからんわ
あと教えてほしいんだが
(1,2,3,4,5,6)という置換と
(2,3,4,5,6,1)は等しいの？
つまり同じ互換の積であらわせるの？
あともう一つ巡回置換と互換の違いってなんですか？
わかりません。
368:１３２人目の素数さん
10/05/31 19:50:37
URLﾘﾝｸ(www.sci.hokudai.ac.jp)
URLﾘﾝｸ(ufcpp.net)
URLﾘﾝｸ(www19.atpages.jp)
369: ◆27Tn7FHaVY
10/05/31 23:21:39
教科書123456回嫁
370:１３２人目の素数さん
10/06/01 19:50:03
>>362
(1 2 3 4)=(1 4)(1 3)(1 2)
って教科書でなってるんだが
その考えて
入れ替えてみると
(1 2 3 4)↓
(4 2 3 1) (1 4)を施した
(3 2 4 1)(1 3)を施した
(2 3 4 1)(1 2)を施した。
(1 2 3 4)にならない件
何なの聞く人によって何で意見がわかれてんのｗｗ
371:１３２人目の素数さん
10/06/01 20:54:43
>>370
作用のさせ方によって変わるから
372:１３２人目の素数さん
10/06/01 21:00:23
ちなみに>>360は左作用だから右から計算する必要がある。
あるいは左から計算したければ>>362がやったように番号の置換と解釈することになる。
373:１３２人目の素数さん
10/06/01 22:00:48
互換の説明では２文字の巡回置換
を互換というしか説明してないんだが。
左作用で番号の置換やってもそうならない奴はどうしたらいいの？
374:１３２人目の素数さん
10/06/01 22:42:39
>>373
そうならないとは？
「２文字の巡回置換を互換という」という文には作用の左右は無関係ですが。
375:１３２人目の素数さん
10/06/02 00:51:15
ほらまた意見わかれた
>>370=作用の仕方によってわかれる
>>374=作用の左右は無関係。
意味わかんねーよ。
376:１３２人目の素数さん
10/06/02 00:52:47
数学質問板で聞いたら
1 2 3 4 5 6 7 8 9 (3 8)(2 4)(2 6)(1 5)(1 9)(1 7)
7 2 3 4 5 6 1 8 9 (3 8)(2 4)(2 6)(1 5)(1 9)
7 2 3 4 5 6 9 8 1 (3 8)(2 4)(2 6)(1 5)
7 2 3 4 1 6 9 8 5 (3 8)(2 4)(2 6)
7 6 3 4 1 2 9 8 5 (3 8)(2 4)
7 6 3 2 1 4 9 8 5 (3 8)
7 6 8 2 1 4 9 3 5
順番を変えてるんじゃなくて、数字を変えてる。しかも右から。
377:１３２人目の素数さん
10/06/02 01:30:26
>>370
(1 2 3 4) == (2 3 4 1)
じゃ満足しないの？
378:１３２人目の素数さん
10/06/02 01:33:15
>>375
分かれていない。
379:↑
10/06/02 01:34:13
(1 2 3 4)=(1 4)(1 3)(1 2) ーー＞(1 2 3 4)(1 2)(1 3)(1 4)＝(2 3 4 1) =(123４）
380:１３２人目の素数さん
10/06/02 01:37:30
>>376
だから、数字を変えたいのならそれは左作用だから右から順番に計算しないといけない
左から軽暖したいなら番号の置換になると>>372に説明されている。
「二文字の巡回置換を互換と呼ぶ」という定義には作用の左右は関係ないし
これらのふたつの事実は独立していて、>>372と>>374の意見はわれていない。
文章をおかしなところで切り取るから>>375のような意味不明なことを
口走る羽目になるのだ、小学校から国語の勉強をやり直すべき。
381:１３２人目の素数さん
10/06/02 01:39:45
>>370
巡回置換 (1 2 3 4) とは置換
(1 2 3 4)
(2 3 4 1)
のことなのだから
> (1 2 3 4)にならない件
というのはお前の勘違いの一人相撲。もう死んだほうがよくね？
382:↑
10/06/02 01:42:19
f（x、y）＝f（y、x）作用の左右は無関係。
F(X、Y)G(X、Y) ｜＝ G(X、Y)F(X、Y) 作用の仕方によってわかれる
383:１３２人目の素数さん
10/06/02 01:45:15
＞３８１ もう死んだほうがよくね？
いや しんだつもりで勉強するのがよい。
384:１３２人目の素数さん
10/06/02 01:47:19
しかし 数学のれべるの高い小学生ほど、より深く考えるから教科書の
日本語より複雑な日本語を脳内につくる見たいです。
つまり勝手に理解しすぎなのです。 だから 死ななく定位です
385:１３２人目の素数さん
10/06/02 01:49:32
ｱﾅｽｲでも涌いてるのか
386:１３２人目の素数さん
10/06/02 01:54:32
ガロアの論文は当時は難しかったらしいね
387:１３２人目の素数さん
10/06/02 01:56:37
>>375-376
なんだ、冷やかしか。
388:１３２人目の素数さん
10/06/02 02:49:14
>>380
小学校の国語じゃなくて概念の理解な。概念の理解に対する先入観が
言葉を歪曲または都合削除したんだよ。
作用の仕方によって変わるって何？そんなこと教科書に書いてないがな。
教科書ので一発で分かる奴いたら天才だぞ。練習問題解いて分かるみたいな
感覚だからな
389:１３２人目の素数さん
10/06/02 02:50:28
まぁもっというと歪曲または都合削除しなきゃいけないほど
補足説明がないともいえるけどな
390:１３２人目の素数さん
10/06/02 02:56:39
>>388
小学校の国語からやりなおしなさい
391:１３２人目の素数さん
10/06/02 03:02:10
>>390
国語？数学に対するセンスがないのが正しいんだが？
お前らにとっちゃ感覚で分かってるから相手が分からない
ポイントが分からんのだろ。だから日本語の事を持ち出してきた。
今もまだ分からないがね。
392:１３２人目の素数さん
10/06/02 03:08:59
何となくわかったのは置換という概念は数字の移動の様子を観察
するためにあるんだなと、上の数字をそろえる理由は、上を固定
することによって下の置換同士を比べて規則的に置換を表せるた
めだろう。ここまでは分かった。だが互換において順番を変える
のが数字自体を変えるのか、ここらへんは全然分からんというか
教科書に載ってない
393:１３２人目の素数さん
10/06/02 03:25:28
写像です
394:１３２人目の素数さん
10/06/02 03:26:45
小学校の国語からやりなおしなさい
395:１３２人目の素数さん
10/06/02 03:27:59
>>394
そうやって勝った気でいろよ、くだらね。
俺は数学のセンスないが口では負けんからな。
くだらんレスならよこすな。
まーレスしてくれた人申し訳ない。
理解できんからもう一回概念つかんでみる。
396:１３２人目の素数さん
10/06/02 03:31:33
(1 3)というのは
f(1)=3
f(3)=1
kが1でも3でもないならf(k)=k
という写像fのこと
397:１３２人目の素数さん
10/06/02 03:32:42
小学校の国語からやりなおしなさい
398:１３２人目の素数さん
10/06/02 03:41:48
>>396
よくわからん、
置換ってのは数字の行き先の事じゃねーの？
例えば置換(2 3 4 1)があるとする。
これは1→2 2→3 3→4 4→1ってことじゃないの？
ほんでからずらした置換(3 4 1 2)と(1 2 3 4)、(2 3 4 1)は
等しいっていうんだろ？
でも(3 4 1 2)の場合1→3 2→4 3→1 4→2で
一緒じゃなくね？
399:１３２人目の素数さん
10/06/02 03:49:19
>>398
(3 4 1 2)という表示法は巡回置換限定の表示法であって
一般の置換の表示法である
1 2 3 4
3 4 1 2
（注：左右の括弧は省略した）とは意味が違う
400:１３２人目の素数さん
10/06/02 03:53:38
>>399
で巡回置換は何を表してるの？数字の行き先もひったくりも
全くわかりませんが
401:１３２人目の素数さん
10/06/02 07:53:55
つうか教科書読め
置換のnotationが混乱しやすいのは事実だけどね
402:１３２人目の素数さん
10/06/02 12:05:49
>>400
小学校から国語の勉強をやり直したほうがいいよ
403:１３２人目の素数さん
10/06/02 13:29:36
右作用か左作用かってことだな。教科書によって違っていても不思議じゃあない。
404:１３２人目の素数さん
10/06/02 13:38:55
単なる知識不足からの質問で申し訳ないんだけど
traceless part ってなに？
トレースが対角成分の和だから，それがゼロの行列かと思ったけど
それはただのトレースレスな行列のようで．
405:１３２人目の素数さん
10/06/02 18:40:47
>>401
せめてどの教科書読めとかいえよ。
どの教科書でも分かるはずねぇだろ。
406:１３２人目の素数さん
10/06/02 18:49:15
>>405
おめーの教科書だよカス
407:１３２人目の素数さん
10/06/02 18:51:06
教科書じゃなくて、読む人間の問題なのに。
408:１３２人目の素数さん
10/06/02 18:54:08
>>406
わかんねぇから質問してんだろうが、まじでぶんなぐるぞこの野郎。
いいから教えてくれよ。せめて質問したことについては教えろ。
教えたくないなら黙っとけばいいだろうが、いちいち勘に触るレス
すんな
409:１３２人目の素数さん
10/06/02 18:56:01
頭も性格も悪い奴が紛れ込んでいるなあ
410:１３２人目の素数さん
10/06/02 18:59:29
>>409
頭悪くても参加だけはできるからね
>>406
なんかどう見ても現実では理系のどもりっぽいし
411:１３２人目の素数さん
10/06/02 19:12:18
何という本を読んでわからなかったか書いてみたら
暇な人が答えてくれるかもしれないよ
412:１３２人目の素数さん
10/06/02 19:19:48
>>408
>わかんねぇから質問してんだろうが、まじでぶんなぐるぞこの野郎。
>いいから教えてくれよ。せめて質問したことについては教えろ。
何でそんなに偉そうなんだ？
どんな教科書にも書いていることだと思うよ。
わかりやすいかどうかは別として。
413:１３２人目の素数さん
10/06/02 19:22:10
>>410理系のどもりって何？
414:１３２人目の素数さん
10/06/02 19:23:10
>>410 は文系の基地外
415:１３２人目の素数さん
10/06/02 19:27:12
>>412
書いてねぇから聞いてんだろ、何でそんないちいちどうどうめぐるの？
黙ってろよ。答えられないなら黙ってろ。
巡回置換は何のためにあるのって聞いてるだけだろ？
それに答えろつってんの。
教科書の説明じゃわけわからんの。
教科書読んで分かるならこんなスレいちいちつくんな。
次からこんなスレいらねぇよﾎﾞｹ
416:１３２人目の素数さん
10/06/02 19:29:15
あげんなカス
いらないのはお前
417:404 not found
10/06/02 19:48:28
>>404
このスレは質問禁止なの？
418:１３２人目の素数さん
10/06/02 19:58:16
419:１３２人目の素数さん
10/06/02 20:21:58
>>415
特に深い意味を感じたことはないけど、とりあえず置換ってのは巡回置換に
分解できるんだよ。
1 2 3 4
3 4 1 2
の場合なら、(1 3) と (2 4)に分けることができる。
で、巡回置換はさらに互換に分解することも出来て、互換の個数で偶置換、
奇置換の２種類があって、対称性の話をするときに重要になってくる。
420:１３２人目の素数さん
10/06/02 20:45:10
>>415
黙れ
ﾁﾝｶｽ
421:１３２人目の素数さん
10/06/02 20:54:04
>>419
全く分からん、巡回置換と互換の違いは？
422:419
10/06/02 21:31:00
巡回置換の要素の数を「長さ」と表現する。
例えば、
(1 2 3 4)
なら要素の数は４つなので、長さは４。
このとき、特に長さが２の巡回置換を互換といいます。
なので、上の例だと既に互換になってるわけです。
ちなみに、(1 2 3 4) = (1 4)(1 3)(1 2)です。
本によっては、(1 2 3 4) = (1 2)(2 3)(3 4) かもしれません。
この違いは、積を右から左へと見るのか、左から右へと見るのかだけです。
ここでは、右から左へ見るとして、(1 2 3 4) = (1 4)(1 3)(1 2)とします。
実際、左辺は1 → 2 → 3 → 4 → 1ですが、
右辺は、1 を代入すると (1 2)で 2 になって、(1 3), (1 4)は2 を含まない
ので、そのまま2 になります。
2 を代入すると、(1 2) で 1 になって、(1 3) で 3 になって、(1 4) は
スルーなので 3。
3, 4 も同様にして考えると、右辺も確かに 1 → 2 → 3 → 4 → 1
となることが確かめられるはずです。
ここらへんの話は、群論の対称群とかを勉強した方が分かりやすいかも。
423:１３２人目の素数さん
10/06/02 21:31:13
教科書読めよ、ルーピー
424:419
10/06/02 21:36:39
>>422 の(1 2 3 4) = (1 2)(2 3)(3 4)は間違いです。
左から右なら、(1 2 3 4) = (1 2)(1 3)(1 4)でした・・。
ボケてますね、すみません。
425:１３２人目の素数さん
10/06/02 21:46:16
>>423
死ねよ雑魚が
426:１３２人目の素数さん
10/06/02 23:49:41
表現行列なんて斎藤の教科書にはのってないよな？
427:１３２人目の素数さん
10/06/02 23:54:40
あの本はそもそも抽象的な線型空間を扱ってないじゃん。
ベクトル空間の公理すら書いてない高校生向けの糞本だよ。
428:１３２人目の素数さん
10/06/03 00:30:36
>>421
ちゃんと読んでないだけだろ
自分で二文字の巡回置換が互換だって教科書に書いてあったって書いてるくせに
429:１３２人目の素数さん
10/06/03 00:50:05
よく覚えてないが最低限でも線型空間の公理と、
K（=C又はR）上n次元の線形空間VはK^nと同型だ
ということくらいは書いてるはずだけど
前半で具体的なK^nについて詳しく調べておいて、
後でVとK^nが同型だということが分かればもうVの構造は完璧に分かったということ
430:１３２人目の素数さん
10/06/03 18:36:39
齋藤正彦著「線型代数入門」のＰ４８、４９の［４．１］（だったかな…）
「ＡＸ＝Ｅを満たすＸが存在したらＡは正則」って定理の数学的帰納法による証明なのですが、テクニカルすぎてあの証明に至った経緯がよく解りません。何を根拠にしてあの証明が思いつくのでしょうか。
431:１３２人目の素数さん
10/06/03 22:06:13
単純に次数下げるためにsize1のブロックとsizen-1のブロックに分けただけだろ。
次数が下がるように工夫するってのは帰納法の基本だと思うが。
432:１３２人目の素数さん
10/06/03 23:11:13
というか帰納法を用いた証明は大抵訳分からない
テクニカルな証明になる
高校の数列の問題とかでもそう