The discussion confirms that any finite dimensional unitary space is indeed complete, as established in the context of Hilbert spaces. A unitary space is defined as a complex vector space equipped with a complex inner product, also referred to as a pre-Hilbert space. The completeness arises from the inner product defining an isometric isomorphism on the respective spaces of ##\mathbb{C}^n## and ##\mathbb{R}^n##. This property is fundamental in functional analysis and is crucial for understanding the structure of finite dimensional spaces.
PREREQUISITESMathematicians, students of functional analysis, and anyone interested in the properties of Hilbert spaces and unitary spaces will benefit from this discussion.
Unitary means we have a complex (real) vector space with a complex (sesquilinear / real: bilinear) inner product, which is also called a pre-Hilbert space or inner product space. If it is of finite dimension, then we the inner product defines an isometric isomorphism on ##\mathbb{C}^n## (resp. ##\mathbb{R}^n\;##) which is complete.kent davidge said:In texts treating Hilbert spaces, it's usually given as an example that "any finite dimensional unitary space is complete", but I've found no proof so far and failed prove it myself.