No.6ベストアンサー
- 回答日時:
またまたstomachmanです。
No.5へのコメント:> もともとの問題意識は、 (n次行ベクトル) × (n次列ベクトル) をスカラー積と呼ぶこともある一方で、行列算とみれば1×1行列になるから、「スカラーと1×1行列は同一視できる」と単純に考えていました。
によって、なるほど、ご質問の意図がやっと分かりました。
[1] 行列A,Bを掛ける普通の行列積を「A★B」という記号で表し、二つのベクトルu,vのスカラー積(内積)をu●vと表すことにします。また転置を ' で表します。
「同一視する」というのは、何かある写像φがあって
φ(u●v) =u'★v
ってことです。ここでφ(x)=yは(xの値からyの値への写像ではなくて)xという式そのものからyという式そのものへの写像であり、つまり「●をする」という演算から「第一引数を転置してから★する」という演算への写像の意味です。これだけを見ると、φの実体は
φ(x) = trace(x)
でも良いし、
φ(x) = x[1,1] (xの1,1成分)
でも良い。
さて、この写像φを使って、(u●v)という演算と(u'★v)という演算を同一視する。すると、(u●v)の値はスカラーsであるから、
u●v = s
φ(s) =u'★v
と書ける。ならば、u,vを指定しなくたって、スカラーsに対して何かがφ(s)によって対応するんでなくては辻褄が合わない。つまり、φは演算から演算への写像というだけではなくて、スカラーから何かへの写像に必然的に拡張できるだろう。
でも
φ(x) = x[1,1] (xの1,1成分)
だと思って、
φ(s) =(sを要素とする1×1行列)
としてみると何だか旨く行かない、というのがご質問なのですね?
[2] これに対してstomachman No.1では話が逆になります。
一つのやり方は、スカラーsについて
φ(s) =(sを要素とする1×1行列)
によって同一視を行うことに決める。sと書いたら「その実体はsを要素とする1×1行列だ」と思うことに断然決めるんです。そして以下、「行列以外のものは全部追放」計画を遂行します。
ベクトルuについては、
φ(u) = (uの次元と同じ行数を持つn×1の行列Uで、U[i,1]=u[i])
実はこれで初めて、ベクトルの転置が意味を持ちます。
また、行列A, Bについては、
φ(A) = A
φ(A') = A'
φ(A★B)=A★B
φ(A+B)=A+B
φ(AーB)=AーB
であると決めます。(両辺の+、ーは行列の和、差です)
スカラーs,t同士の四則演算は
φ(st) = φ(s)★φ(t)
φ(1/s) = inverse(φ(s))
φ(s+t) = φ(s)+φ(t)
φ(s-t) = φ(s)ーφ(t)
(右辺の+、ーは行列の和、差です)
そうすると、
φ(u●v) =φ(u)'★φ(v)
が成り立つから、もう●は要らない。さて、
D(A,B) = (Bの列数と同じ行数、列数をもち、対角成分が全てA[1,1]である対角行列。)
と書くことにして、行列にスカラーを左から掛けることを※とすると、φ(※)(つまり「※の実体」)は
φ(s※A) = D(φ(s),A)★A
と定めれば良い。
これで※という演算も要らなくなります。かくて行列とD, ', ★, +, ー, inverseで全部書けるようになった。
という話にすれば辻褄は合う訳です。
No.5
- 回答日時:
No.1 stomachmanです。
幾多の回答に反応なし、ということに鑑みて、もうちっと丁寧にやりなおします。[1] 「1×1行列をスカラーと同一視する」という話は、「スカラー同士の演算(積・和・逆数)と1×1の行列同士の演算とは丁度同じ形になる(同型である)」ということを仰っているんだろうと思います。スカラー同士の演算だけ考えている分には、確かにこれで辻褄が合っています。
[2] しかし、スカラーを行列に掛ける演算まで含めて1×1行列をスカラーと同一視しようとすると、話が合わなくなります。(ご質問はこの点でしょう?)
ところで、「1×1行列をスカラーと同一視」と表現しているけれど、これは「1×1行列」の話というより、「スカラー」の話である。ですから、1×1行列をどうするかと考えるんじゃなく、スカラーを何と同一視するか、という風に捉えるべきです。
つまり、「(スカラーを行列に掛ける演算まで含めて)スカラーをナニカと同一視できるとすれば、そのナニカとは何か」と考えるんです。
[3] ひとつの答として、「スカラーαを行列に掛ける」という演算は、「全ての対角要素がαである対角行列Aを左から掛けて行列積を作る」の略記法だったんだ、と思うことができます。
この見方をすると、「スカラーαを行列に掛ける」と言っても、掛ける相手によってスカラーαの実体Aが異なる訳です。
また、スカラーαとβ同士の演算についても、その積は実体である行列A,Bの演算ABのこと、和と差も行列の演算A+B、A-Bのこと、スカラーαの逆数1/αはAの逆行列のことだと思うことができますから、辻褄が合っています。
特に、掛ける相手が1 × nの行列であるときには、Aはαだけを成分とする1 × 1の行列になり、[1]の話と完全に一致します。
[4] ということは、[1]は[3]の特殊な場合である。スカラーが1 × 1の行列と同一視できるのは、掛ける相手が1 × n行列という特殊な場合に限られる。そして、相手をm×n行列に拡張するためには、同一視する対象の方もm×m行列に拡張する必要があった、という訳です。
ご丁寧に回答して頂き、ありがとうございます。
行列のスカラー倍と行列の積の演算規則を矛盾なく説明するためには、スカラーと同一視する対象が相手の行列によって変わってくるということですね。
おかげで、だいぶすっきりしたような気がします。
もともとの問題意識は、 (n次行ベクトル) × (n次列ベクトル) をスカラー積と呼ぶこともある一方で、
行列算とみれば1×1行列になるから、「スカラーと1×1行列は同一視できる」と単純に考えていました。
真っ先にご回答頂いたにもかかわらず、返信が遅くなりまして申し訳ありませんでした。もうしばらく頭の中を整理したのち、回答を締め切りたいと思います。
2度にわたってのご回答ありがとうございました。
No.4
- 回答日時:
K を体(あるいは実数の集合)、M(1;K) を K 上の 1 × 1 行列の集合とします。
「1 × 1 行列をスカラーと同一視できる」というのは、M(1;K) と K は代数的な構造も含めてピッタリ重なるので体として同一視できるということでしょう。
しかし、n 次の単位行列 E_n に対して { xE_n | x ∈ K } と K が同型だからといって、E_2 と E_3 の和や積を考えるのは乱暴すぎます。
考えましたが矛盾を見つけることができなかったので、どこが矛盾していると思われるのか気になります...。
この回答への補足
ご回答ありがとうございました。ご返信が大変、遅くなりまして申し訳ありません。
気にされている点についてですが、一般に、2つの集合AとBが同一視できるといっても、Aにおける演算とBにおける演算が同一視できるのであって、Aの元とBの元の演算が定義できるわけではないということだと思いますが....
No.3
- 回答日時:
スカラー倍はどんな行列にも掛けることができる。
しかし、1 × 1 行列は、
1 × 1 行列と1 × n 行列の積、
m × 1 行列と1 × 1 行列の積、
しか定義されていない、ということですね。
以前僕も似たようなことで悩んだことがあります。(今でも完全に納得しているわけではありませんが。)
http://oshiete1.goo.ne.jp/kotaeru.php3?q=2149524
http://oshiete1.goo.ne.jp/kotaeru.php3?q=2149556
今思うに、行列の一部がベクトル、ベクトルの一部がスカラー、というわけではないと認識しています。
つまり、行列とベクトルとスカラーを統一して、全部を行列だけを使って理論構成はできないと思っています。
でも、統一理論があればおもしろいですね。
ご回答ありがとうございました。また、返信が大変遅くなりまして申し訳ありません。stomachman さんが回答されていますが、「スカラーを何と同一視するかは場合によりけり」ということで切り抜けられるような気がします。
No.2
- 回答日時:
行列の積の定義は
>m × n 行列とn × l 行列の積が m × l 行列になる
ではなくて
αをm×n行列の成分、βをn×p行列の成分、γをm×p
行列の成分としたとき、以下の総和で定義されます
γij=Σ[k=1→n]αikβkj
ijkは添え字で、例えばαijだと成分αの行列のi行j列成分を表します
次に、問題点の指摘ですが
memoryterm様は行列の積を型で単純に決まるものだと考えておられますが、それは十分条件であり、定義としては不十分です。成分スケールで定義が成されていることに注意が必要です
ご回答ありがとうございました。また、返信が大変遅くなりまして申し訳ありません。行列の定義はその成分をどう定めるかにほかならないので行列の積の定義はご指摘の通りです。そして、その結果として、m × n 行列とn × l 行列の積が m × l 行列になるという行列の積の演算規則が生じるものと認識しています。
No.1
- 回答日時:
そりゃ、
(A) 1 × 1 行列をスカラーと同一視することと、
(B) 1 × 1 行列を行列に掛ける演算をスカラーを行列に掛ける演算と同一視すること
とは別の話だからじゃないでしょうか。例えばテンソル積だと思えばおかしくないのでは?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
推しミネラルウォーターはありますか?
推しミネラルウォーターがあったら教えてください
-
フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
あなたが普段思っている「これまだ誰も言ってなかったけど共感されるだろうな」というあるあるを教えてください
-
映画のエンドロール観る派?観ない派?
映画が終わった後、すぐに席を立って帰る方もちらほら見かけます。皆さんはエンドロールの最後まで観ていきますか?
-
海外旅行から帰ってきたら、まず何を食べる?
帰国して1番食べたくなるもの、食べたくなるだろうなと思うもの、皆さんはありますか?
-
天使と悪魔選手権
悪魔がこんなささやきをしていたら、天使のあなたはなんと言って止めますか?
-
線形代数で直行行列と回転行列で対角化をする上での違いはありますか?
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
パソコンで行列はどう書けばいい?
-
今の高校数学では行列は習わな...
-
ベクトルの内積の表記の仕方、...
-
行列の名前
-
対称行列Aの2乗A^2は対称行列で...
-
列ベクトルの線型従属性を最小...
-
2変数のときのニュートン法
-
行列の理解しやすい参考書
-
WORDのMicrosoft数式3.0の3×3以...
-
線形代数の問題です。写像f:R^...
-
直交行列 回転行列
-
0≦θ≦2πのとき、sin2θ+cosθ=0の...
-
数学について質問です。 nを正...
-
cos{θ-(3π/2)}が-sinθになるの...
-
sinθ―√3cosθ=a(θ+α)の形にした...
-
数学 固有値が出ない 画像の固...
-
固有値の値について
-
行列の積の固有値
-
日本数学オリンピック2000年予...
-
お茶碗の展開図ってどう書くの?
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
パソコンで行列はどう書けばいい?
-
私(40代男性)はわざわざ遠く...
-
WORDのMicrosoft数式3.0の3×3以...
-
Excelファイルの容量が更新する...
-
1×1行列とスカラーは同一視で...
-
今の高校数学では行列は習わな...
-
共分散行列と分散共分散行列の...
-
大学入試数学、力学系てなんで...
-
行列
-
対称行列Aの2乗A^2は対称行列で...
-
直交行列…など行列の名前
-
行列の次数下げ!
-
巡回符号についての問題がわか...
-
積に関して可換な行列
-
行列というのは上と下に並んで...
-
ユニタリー行列、エルミート行...
-
ベクトルの内積の表記の仕方、...
-
表現行列の応用
-
Texの行列に囲み枠を入れたいの...
-
ほかの解法を考えてみてください。
おすすめ情報