25/12/26 15:30:10.76 eWXA/QRr.net
>>453
>任意の A＝[a_1,…,a_n], B＝[b_1,…,b_n]∈M_n(R) に対してAとBの積 AB を
>AB＝[a_1,…,a_n][b_1,…,b_n]＝[a_1b_1,…,a_nb_n]と定義して、
>任意の a_i, b_i∈R^n (i＝1,…,n)に対して
>aibi＝[a_i1,…,a_in][b_i1,…,b_in]＝[a_i1b_i1,…,a_inb_in]と定義すれば、
>任意の i＝1,…,n に対して a_ib_i∈R^n だから、
>AB∈M_n(R) である
その「俺様積」の定義
いわゆる行列の積の定義と違う
ってことは理解してる？
A＝[a_1,…,a_n], B＝[b_1,…,b_n]∈M_n(R)
a_i={a_i1,…,ain}, b_i={b_i1,…,b_in}∈R^n (i＝1,…,n)
とする。([]は行ベクトル、{}は列ベクトル)
このとき行列のABは以下のように定義される
ab‗ij＝Σ(k＝1～n)a‗ik*b‗kj
なんでこういう定義になってるか理解してる？