本記事は数学の徹底解説シリーズに含まれます。
初学者の分かりやすさを優先するため,多少正確でない表現が混在することがあります。もし致命的な間違いがあればご指摘いただけると助かります。
目次
内積の公理
内積空間$V$の元$u,u^{\prime},v,c$に対し,内積$(u\mid v)$は内積の定義より以下を満たす。
- $(u+u^{\prime}\mid v)=(u\mid v)+(u^{\prime}\mid v)$
- $(cu\mid v)=\oc(u\mid v)$
- $(u\mid v+v^{\prime})=(u\mid v)+(u\mid v^{\prime})$
- $(u\mid cv)=c(u\mid v)$
- $(u\mid v)=\overline{(v\mid u)}$
- 任意の$v$に対して$(v\mid v)\geq 0$
- 任意の$0$でない$v$に対して$(v\mid v)>0$
ただし,$\oc$は複素共役を表す。
教養レベルの数学では内積の定義をすっ飛ばして内積の公理を認める立場を取ることが多いです。内積の定義に正定値を加えない場合は,内積の公理は上記とは異なります。
コメント