【徹底解説】双一次形式と共役双一次形式の定義

本記事は数学の徹底解説シリーズに含まれます。

初学者の分かりやすさを優先するため,多少正確でない表現が混在することがあります。もし致命的な間違いがあればご指摘いただけると助かります。

目次

双一次形式と共役双一次形式

$\mK$は実数空間$\mR$または複素数空間$\mC$を表す。$V$ を$\mK$上のベクトル空間とし,$f$を$V\times V$から$\mK$への写像,すなわち$V$の任意の元のペア$(u,v)$に対して一つのスカラー$f(u,v)\in\mK$を対応させる写像とする。$f$が以下を満たすとき,

  • $f(u+u^{\prime}, v)=f(u,v)+f(u^{\prime},v)$
  • $f(cu,v)=cf(u,v)$
  • $f(u, v+v^{\prime})=f(u,v)+f(u,v^{\prime})$
  • $f(u,cv)=cf(u,v)$

$f$を双一次形式という。同様に,$g$が以下を満たすとき,

  • $g(u+u^{\prime}, v)=g(u,v)+g(u^{\prime},v)$
  • $g(cu,v)=\oc g(u,v)$
  • $g(u, v+v^{\prime})=g(u,v)+g(u,v^{\prime})$
  • $g(u,cv)=c g(u,v)$

$g$を共役双一次形式という。ただし,$\oc$は$c$の共役複素数を表す。

双一次形式は,$f$が二つの変数の双方について線型であることに由来しています。一方で,共役双一次形式は,$g$が第一変数については共役線型であり,第二変数については線型であることに注意して下さい。$\mK=\mR$のときは,双一次形式と共役双一次形式は等価になります。

シェアはこちらからお願いします!

コメント

コメントする

※ Please enter your comments in Japanese to distinguish from spam.

目次