Inner product space by Ciro Santilli 34 Updated Created
Subcase of a normed vector space, therefore also necessarily a vector space.