Indefinite inner product space

In mathematics, in the field of functional analysis, an indefinite inner product space

is an infinite-dimensional complex vector space equipped with both an indefinite inner product

and a positive semi-definite inner product

where the metric operator is an endomorphism of obeying