Realification and Complexification of vector spaces
I am interested in a good comprehensive resource on realification and complexification of vector spaces over the reals or complexes (and the interplay of these structures on the 'same' space in general).
In particular, understanding of the basic theory is necessary and useful for a more intuitive approach towards functional analysis.
Can you give me a tip? For example, Serge Lang's classical book does not explicitly work this part out. I am aware of a few pages in Arnold's book on ODE, but there should be something more comprehensive and neat somewhere out there.
Solution 1:
As others have said, one can find (often brief) treatments of these issues in many places. However, an unusually thorough and insightful account is given in this exposition of Keith Conrad.
Note: "unusually" means "unusually for treatments of complexification", not "unusually for Keith Conrad". In fact I give his entire page of expository writing -- namely
http://www.math.uconn.edu/~kconrad/blurbs/
my highest recommendation: it is a treasure trove of intermediate level math. And when I say "intermediate level", I don't mean that grown up mathematicians can't profit from reading them. We sure can -- I have learned a lot, and I have not hesitated to flatter them in the most sincere way.
Solution 2:
Please find §12 "Complexification and Decomplexification" in book: "LINEAR ALGEBRA AND GEOMETRY" by Kostrikin & Manin (1989), pages 75-81.
There you will find an excellent answer to your question (according to my point of view).