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