Real and Complex Inner Product Spaces

Abstract

We now turn to a discussion of real and complex vector spaces that have an additional function defined on them, called an inner product, as described in the upcoming definition. Thus, in this chapter, F will denote either the real or complex field. If r is a complex number then the complex conjugate of r is denoted by $\bar r$.