Euclid空間
定義
$ n次元$ \bf K-数ベクトル空間$ ((K^n,+),\mathbf K,\cdot)にて、$ \braket{\bullet|\bullet}:K^n\times K^n\ni (u_\bullet,v_\bullet)\mapsto\sum_{1\le i\le n}u_iv_i^*\in Kは内積となる このとき計量線型空間$ \mathbf K^n:=((K^n,+),\mathbf K,\cdot,\braket{\bullet|\bullet})を$ n次元$ \bf K-Euclid空間と呼ぶ 表記ゆれ
References