Lukas' Notes

linear-algebra

Definition

Complex Hilbert Space

A complex Hilbert space is a Hilbert space whose underlying vector space is a complex vector space, i.e. a complex inner product space that is complete under its induced metric.