Linearity of a Hilbert space function and complex numbers.
I recently rediscovered a text written by one of my professors from Purdue. It has a section on vector spaces. Unfortunately the text clarifies as much as it obfuscates.
So here is my question. Say we have two Hilbert spaces S and S', and a function . is linear if
where all and in S and all complex numbers a.
Now a Hilbert space is a metric vector space, right? So and are vectors in S, + is the binary operation of addition as defined in S, and +' is the binary operation of addition in S'. But why is the scalar field defined as the complex numbers? Or is this another one of the text's "simplifications" for Physicists? (I can't think of a problem in Physics where the scalar field is not the complex numbers, but that doesn't mean it must be in general.)
Edit: He also defines the metric in terms of complex numbers as well if that makes any difference:
Now that I think of it, isn't a metric function defined in terms of a real number?