Let be a nonempty closed, convex, symmetric subset of a Banach space and suppose . Baire's theorem puts a ball inside some . Symmetry also puts there, and convexity puts the midpoint of and , namely , in whenever . Hence .
Convexity is essential. In , let
This set is closed, symmetric, and has gaps arbitrarily near zero. Given , choose so small-scale that the interval
has length at least one; it contains an integer , and then . Thus , although is not a neighbourhood of zero.

Articles by others on the same topic (0)

There are currently no matching articles.