2つのケットベクトル|0>, |1>を規定とするときの作用素A
の行列表現は、一般に次のように与えられる。
A=(a_1,1 a_1,2)=(<0|A|0> <0|A|1>)
(a_1,3 a_1,4) (<1|A|0> <1|A|1>)
行列表現が上式のように与えられるを示せ。

という問題です。ここで、Aは2*2の行列だという前提条件
はあるのでしょうか?そうでなくば、一番右辺の各成分を
計算することは出来ません。しかし、その前提条件がある
とすると、わざわざ一番右辺のような書き方をせずとも、
A=(中辺)が既に分かっていることになります。
上の前提条件が無いのであれば、この等式は証明をしなけ
ればいけません。しかし(繰り返しますが)、Aが2*2の行
列でなければ、右辺を計算することはできません。
…計算できるのでしょうか?宜しくお願いします。


<0|=(1 0), <1|=(0 1), ケットベクトルはそれぞれのブラ
ベクトルの転置。