Everywhere dense sets. Baire's theorem
[17/18%]Prove that a set in a metric space is nowhere dense if and only if the set contains no ball.
Prove that the complement of a nowhere dense set is everywhere dense. Give an example showing that the complement of an everywhere dense set need not be a nowhere dense set. Prove that the complement of an everywhere dense open set is nowhere dense.
Prove that the closure of a nowhere dense set is nowhere dense.
Let the set be open, and the set closed in a metric space . Denote by the interior of the set . Prove that the following sets are nowhere dense in :
;
.
Prove that the intersection of at most countably many open everywhere dense sets in a complete metric space is an everywhere dense set.
Prove Theorem 1.3. Show the essentiality of the completeness condition of the space in the statement of the theorem.
Theorem 1.3 (R. Baire, 1899): A complete metric space cannot be represented as a countable union of nowhere dense sets.
Do there exist incomplete metric spaces for which Baire's theorem holds?
Prove that in a metric space consisting only of isolated points, the only everywhere dense set is the whole space, and the only nowhere dense set is the empty set.
Let, in a metric space , a set be contained in the closure of a set , where is countable. Prove that the metric space is separable. In particular, any subspace of a separable metric space is separable.
Prove that the completion of a separable metric space is separable.
Prove that the following spaces are separable:
;
.
Let be a metric space, and let be a nonnegative, continuous, concave, and bounded function on , with . Prove that if is separable, then , where , is also separable.
Prove that there exists a function, continuous on the segment , different from a constant, and not monotonic on any interval of this segment.
Prove that there does not exist a function , continuous on the square , that is universal in the following sense: for every function satisfying , there exists a number such that .
Let the function be holomorphic in a domain and for every there exist an index such that . Prove that is a polynomial.
Let the function be infinitely differentiable on the segment and for every there exist an index such that . Prove that is a polynomial.