Infinite Index
View in graphEdit node
Scientific claim

Complex Inner Product Definition

Claim

A complex inner product on a complex vector space VV is a function ⟨⋅,⋅⟩:V×V→C\langle\cdot,\cdot\rangle:V\times V\to\mathbb{C} such that, for all vectors u,v,w∈Vu,v,w\in V and all scalars a,b∈Ca,b\in\mathbb{C}:

⟨u,av+bw⟩=a⟨u,v⟩+b⟨u,w⟩\langle u,av+bw\rangle = a\langle u,v\rangle + b\langle u,w\rangle⟨u,v⟩=⟨v,u⟩‾\langle u,v\rangle = \overline{\langle v,u\rangle}⟨v,v⟩≥0\langle v,v\rangle\geq0⟨v,v⟩=0  ⟺  v=0.\langle v,v\rangle=0 \iff v=0.
Theoretical: Not applicableExperimental: Not applicable

Assumptions

No assumptions recorded.

Proof

This is a definition, so it is not proved from more fundamental propositions within this node.

Let VV be a vector space over the complex numbers C\mathbb{C}.

Let ⟨⋅,⋅⟩:V×V→C\langle\cdot,\cdot\rangle:V\times V\to\mathbb{C} be a function. For each ordered pair of vectors u,v∈Vu,v\in V, the value ⟨u,v⟩\langle u,v\rangle is a complex number called their inner product.

The first condition requires linearity in the second argument:

⟨u,av+bw⟩=a⟨u,v⟩+b⟨u,w⟩.\langle u,av+bw\rangle = a\langle u,v\rangle + b\langle u,w\rangle.

This ensures that the inner product respects vector addition and scalar multiplication.

The second condition requires conjugate symmetry:

⟨u,v⟩=⟨v,u⟩‾.\langle u,v\rangle = \overline{\langle v,u\rangle}.

Here, z‾\overline{z} denotes the complex conjugate of a complex number zz. This condition ensures that reversing the order of the vectors changes the inner product only by complex conjugation.

The third condition requires non-negative self-inner-products:

⟨v,v⟩≥0.\langle v,v\rangle\geq0.

The value ⟨v,v⟩\langle v,v\rangle is therefore a non-negative real number and can be interpreted as the squared length of vv.

The fourth condition requires positive definiteness:

⟨v,v⟩=0  ⟺  v=0.\langle v,v\rangle=0 \iff v=0.

This ensures that only the zero vector has zero length.

Together, these conditions allow the inner product to define a norm:

∥v∥=⟨v,v⟩.\|v\| = \sqrt{\langle v,v\rangle}.

This norm supplies the distance structure needed for a Hilbert space:

d(u,v)=∥u−v∥.d(u,v) = \|u-v\|.

An inner product therefore adds geometric structure to a vector space: it makes length, distance, angle, orthogonality, and projection mathematically meaningful.

Examples

  1. Complex Coordinate Vectors

    Let V=CnV=\mathbb{C}^n. For vectors u=(u1,…,un)\mathbf{u}=(u_1,\ldots,u_n) and v=(v1,…,vn)\mathbf{v}=(v_1,\ldots,v_n), define:

    ⟨u,v⟩=∑k=1nuk‾vk.\langle\mathbf{u},\mathbf{v}\rangle = \sum_{k=1}^{n}\overline{u_k}v_k.

    This is the standard inner product on complex coordinate vectors. It induces the Euclidean norm:

    ∥v∥=∑k=1n∣vk∣2.\|\mathbf{v}\| = \sqrt{\sum_{k=1}^{n}|v_k|^2}.

  2. Square-Integrable Complex Functions

    Let V=L2([a,b])V=L^2([a,b]) be the space of complex-valued functions ff on [a,b][a,b] satisfying:

    ∫ab∣f(x)∣2 dx<∞.\int_a^b|f(x)|^2\,dx<\infty.

    For f,g∈Vf,g\in V, define:

    ⟨f,g⟩=∫abf(x)‾g(x) dx.\langle f,g\rangle = \int_a^b\overline{f(x)}g(x)\,dx.

    This is an inner product because it measures the overlap between two functions. It induces the norm:

    ∥f∥=∫ab∣f(x)∣2 dx.\|f\| = \sqrt{\int_a^b|f(x)|^2\,dx}.

    This is a foundational example for quantum wavefunctions.

Evidence

No source evidence recorded.

Related Concepts

No dependency connections recorded.