In Cn, the definition of the complex dot product differs its real counterpart
Given two vectors u=(u1,u2,…,un), v=(v1,v2,…,vn) in C, the complex dot product of u and v is defined as:
u⋅v=u1∗v1+u2∗v2+⋯+un∗vn=i=1∑nui∗vi
E.g u=(1,i) and v=(i,−i)
=u⋅v=1×1+−i×i=−1+i
Dot product in Cn is usually a complex scalar
Complex Inner Product Space
Binary function Resulting in a scalar ⟨⋅,⋅⟩:V×V→C
Must satisfy properties:
a) ⟨u,v⟩=⟨v,u⟩∗
b) ⟨u,v+w⟩=⟨u,v⟩+⟨u,w⟩
c) ⟨u,kv⟩=k⟨u,v⟩
d) ⟨v,v⟩ is a real, non-negative number, ⟨v,v⟩=0 iff v=0
Let u=(u1,u2,…,un), v=(v1,v2,…,vn), w=(w1,w2,…,wn)
a) u⋅v=i=1∑nui∗vi=i=1∑n(uivi∗)∗=(i=1∑nvi∗ui)∗=(v⋅u)∗b) u⋅(v+w)=i=1∑nui∗(vi+wi)=i=1∑nui∗vi+i=1∑nui∗wi=u⋅v+u⋅wc) u⋅(kv)=i=1∑nui∗(kvi)=ki=1∑nui∗vi=k(u⋅v)