# Question regarding Normed Vector Spaces

I've recently been reading an Analysis textbook (Zakon Analysis - free textbook) and I'm covering an introductory section to Vector Spaces. I've noticed that when it comes to Vector Spaces we can leave it general (i.e. a Vector Space V over a field F). I'm curious about how this extends to Inner Product Spaces and Normed Vector Spaces. I have taken the axioms for Normed Vector Spaces when they apply to the Ordered Field of Real Numbers and have tried to generalise for any Vector Space V over an ordered field F. I was wondering two parts, firstly, can a Normed Vector Space have it's axioms defined for any ordered field F?? and if so, can someone provide some feedback on what I have done, or alternatively could you please point me in the direction of some texts to seek out.

Thanks heaps!

David

• I guess this is what you are looking for: mathoverflow.net/q/6701/14319 – Jack Dec 13 '16 at 3:20
• Sorry with <= defined as per normal, i.e. a <= b --> a = b OR a < b – user150203 Dec 13 '16 at 3:20
• @Jack - Thanks for that, I believe if I've read it correctly that it may be possible.... I know (or I think I know) that if I can define an Inner Product over an arbitrary Vector Space V over an arbitrary ordered field F, then this invokes that the norm can be defined (again I believe), i.e. || u || = sqrt( < u, u> ) (assuming sqrt is defined for F) Whether I can extend the norm definitions as I have I'm not sure. I can certainly defined a Symmertic Billinear Form Operator to act like a norm, however I won't have the Triangle inequality satisfied.... – user150203 Dec 13 '16 at 3:39