Bilinearity and symmetry are immediate. Since , . If this is zero, continuity of makes it identically zero. The points where are dense because only finitely many are excluded, so vanishes on a dense set and hence everywhere. Thus the form is an inner product.
Articles by others on the same topic
There are currently no matching articles.