2005-12-07 量子計算と量子情報の原理 第2章 量子力学入門 線型ベクトル空間 量子計算 ディラック記法 この本ではベクトルを表す記法としてディラックのそれが採用される。つまり、複素数のn次ベクトルをと表す。これらベクトルには通常通り、加算における交換律や結合律、乗算における分配律が成り立ち、ゼロ元、単位元、そして補元の存在が仮定される。なお、ゼロ元、単位元に関しては、、という表記せず、単に、と書かれる。 線型独立 ベクトルに対して、 が、なる複素数に対してのみ成り立つとき、それらベクトルは線型独立であると言われる。 内積 ノルム コーシー・シュバルツの不等式