Section 1.3

Everywhere dense sets. Baire's theorem

[17/18%]
Show
LaTeX
Problem 1.40

Prove that a set AA in a metric space XX is nowhere dense if and only if the set Aˉ\bar{A} contains no ball.

?
Problem 1.41

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.

?
Problem 1.42

Prove that the closure of a nowhere dense set is nowhere dense.

?
Problem 1.43

Let the set UU be open, and the set FF closed in a metric space XX. Denote by F0F^{0} the interior of the set FF. Prove that the following sets are nowhere dense in XX:

?
(a)

Uˉ\U\bar{U} \backslash U;

(b)

F\F0F \backslash F^{0}.

Problem 1.44

Prove that the intersection of at most countably many open everywhere dense sets in a complete metric space is an everywhere dense set.

?
Problem 1.45

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.

?
Problem 1.46

Do there exist incomplete metric spaces for which Baire's theorem holds?

?
Problem 1.47

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.

?
Problem 1.48

Let, in a metric space (X,ρ)(X, \rho ), a set AA be contained in the closure of a set BB, where BB is countable. Prove that the metric space (A,ρ)(A, \rho ) is separable. In particular, any subspace of a separable metric space is separable.

?
Problem 1.49

Prove that the completion of a separable metric space is separable.

?
Problem 1.50

Prove that the following spaces are separable:

?
(a)

R\mathcal{R};

(b)

B0B_{0}.

Problem 1.51

Let (X,ρ)(X, \rho ) be a metric space, and let φ(ξ)\varphi (\xi ) be a nonnegative, continuous, concave, and bounded function on [0,+∞)[0,+\infty ), with φ(0)=0\varphi (0) = 0. Prove that if (X,ρ)(X, \rho ) is separable, then (X,ρ1)(X, \rho_{1}), where ρ1=φ(ρ)\rho_{1} = \varphi (\rho ), is also separable.

?
Problem 1.52

Prove that there exists a function, continuous on the segment [0,1][0,1], different from a constant, and not monotonic on any interval of this segment.

?
Problem 1.53

Prove that there does not exist a function U(x,y)U(x, y), continuous on the square [0,1]×[0,1][0,1] \times [0,1], that is universal in the following sense: for every function f∈C[0,1]f \in C[0,1] satisfying max⁡x∈[0,1]∣f(x)∣⩽1\max_{x \in [0,1]}\left|f(x)\right| \leqslant 1, there exists a number y=y(f)∈[0,1]y = y(f) \in [0,1] such that f(x)≡U(x,y(f))f(x) \equiv U(x, y(f)).

?
Problem 1.54

Prove that if a function f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} is a pointwise limit of continuous functions 1, then its set of points of continuity is everywhere dense on the segment [0,1][0,1].

Footnotes

  1. This means that there exist fn∈C[0,1]f_{n} \in C[0,1] such that f(x)=lim⁡n→∞fn(x)f(x) = \lim_{n \rightarrow \infty } f_{n}(x) for every x∈[0,1]x \in [0,1]; such functions ff form the first Baire class. ↩

?
Problem 1.55

Let the function ff be holomorphic in a domain DD and for every z∈Dz \in D there exist an index n=n(z)n = n(z) such that f(n)(z)=0f^{(n)}(z) = 0. Prove that ff is a polynomial.

?
Problem 1.56

Let the function ff be infinitely differentiable on the segment [0,1][0,1] and for every x∈(0,1)x \in (0,1) there exist an index n=n(x)n = n(x) such that f(n)(x)=0f^{(n)}(x) = 0. Prove that ff is a polynomial.

?