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