✨ ベストアンサー ✨
間違いではないですが、回りくどいような気はしますね
お気持ちをいえば、係数ってどうでも良くて、必要な情報って(特に有限次元だと)表現行列なんですよね。アレでTf=Afとかければいいので、ある意味fは見た目ゴリゴリのベクトルでも多項式でもいいんです。後で適切に抜き出せばきちんとできるはずなので
細かく言えば、「なんで非可換なのに交換してんねん!」とかあるはあるんですが、まあ「それぞれのベクトルについて係数抜き出して…」とか出来てればまあいいでしょう…ただ、無限次元線型空間とかでこういう議論の進め方は(全体的に)おすすめ出来ませんが…
ちょっと理解できなくてすみません。係数というのは、(1 x x²)のほうですか?t(a b c)の法ですか?
表現行列Aを、f(x)とかければいいということでしょうか。実はかけることならわかるんですが、かけたあとのAf(x)はどうやって表示すればいいかちょっと変に思って。普通左にAがあって右にf(x)があるなら、具体的な値を代入してもAは左にあって、f(x)は右にありますよね。ですが今の式で正しい形だとf(x)が(1 x x²)とt(a b c)の2つのものになってしかも一つが左でもう一つが右でバラバラです。表現行列のAが真ん中になってしまいます。これは暗黙に行列の位置が変わったように思えます。
^t (a b c)の方ですね。もっと言うと、この係数が(1 x x²)の代わりになってくれているので、今回は解けたというわけです
しかも、これよく考えりゃ基底として(a bx cx²)と取ってるから混乱の元が生まれてるっぽいですね
すみません…やはり係数のことはよく理解できないです。
基底は(a bx cx²)だと言われたらたしかにそうかもしれないですね。でもそうなっても(a bx cx²) A ^t(1 1 1)のように、右の方にまだ何か残るような気がします。やはり最後は3次の行ベクトルじゃなくて一つの値になりますから右のベクトルは消えないですね。
右の方が残るというより、左が消えてA ^t (a bx cx²)になるはずです
そうなんですか。それだと結果が3行のベクトルになってしまわないんですか?
あ、本当だ。右が消えて(a bx cc²)Aが残るの間違いだ。申し訳ねぇ
ありがとうございます!
間違いじゃないのですか?赤い行列の式の結果は3x3の行列になる気がします。でも実際は多項式になりますよね。