Must an inner product space have euclidean geometry?

59 Views Asked by At

My understanding of the phrase "a set has euclidean geometry" is that such a set satisfies the axioms of euclidean geometry, i.e., is a model of euclidean geometry in the sense of Model Theory. I know that finite dimensional real inner product spaces have euclidean geometry. An inner product on a vector space enables one to define geometrical constructions on the vector space, so I guess all inner product spaces (over an arbitrary field) should have some geometry. Must it be euclidean?