is also a complete metric space with respect to the distance function induced by the inner product.

To say that a complex vector space is a complex inner product space means that there is an inner product associating a complex number to each pair of elements of that satisfies the following properties:
# The inner product is conjugate symmetric; that is, the inner product of a pair of elements is equal to the complex conjugate of the inner