Section 6.2

The Baire Category Theorem with an Application to Real Analysis

[6/83%]
Show
LaTeX
Problem 6.2.1

Show that XX is nowhere dense in MM if and only if its closure has empty interior, (Xˉ)∘=∅(\bar{X})^{\circ }=\emptyset.

?
Problem 6.2.2

Show that any finite subset of R\mathbb {R} is nowhere dense in R\mathbb {R}. Give examples to show that a countable set can be nowhere dense in R\mathbb {R}, but that this is not always the case.

?
Problem 6.2.3

Let f(x)=sin⁡(1x)f(x)=\sin \left(\frac{1}{x}\right) for x≠0x \neq 0, and f(0)=0f(0)=0. Compute ωf(0)\omega_{f}(0). How does this tie in with what you know about the continuity of this function?

?
Problem 6.2.4

First category sets are in some sense "small," while second category sets are "large." Another notion of set size that we have discussed is "measure zero": "Small" sets are of measure zero, while "large" sets are not. Is there a connection between these two ways of describing the size of a set? The answer is no. Please show this by doing two things:

?
(a)

Describe a set that is of first category, but not of measure zero.

(b)

Describe a set that is of measure zero, but not of first category.

Problem 6.2.5

Prove that the function defined on (0,1)(0,1) by

g(x)={1q if x=pq in reduced form 0 if x is irrational,  g(x)= \begin{cases} \frac{1}{q} & \text{ if } x=\frac{p}{q} \text{ in reduced form } \\ 0 & \text{ if } x \text{ is irrational, }\end{cases}

is continuous at each irrational point of (0,1)(0,1) and discontinuous at each rational point of (0,1)(0,1).

?
Problem 6.2.6

The goal of this exercise is to show that "most" continuous functions are nowhere differentiable. Let EnE_{n} denote the set of all f∈C([0,1])f \in C([0,1]) for which there exists an xf∈[0,1]x_{f} \in [0,1] satisfying

∣f(x)−f(xf)∣≤n∣x−xf∣ \left|f(x)-f\left(x_{f}\right)\right| \leq n\left|x-x_{f}\right|

for every x∈[0,1]x \in [0,1].

?
(a)

Show that EnE_{n} is nowhere dense in C([0,1])C([0,1]). To do this, approximate f∈C([0,1])f \in C([0,1]) by a piecewise linear function gg whose pieces each have slope ±2n\pm 2 n. Then, if ∥h−g∥∞\left\| h-g\right\|_{\infty } is sufficiently small, the function hh cannot be in EnE_{n}.

(b)

Deduce from (a) that the nowhere differentiable functions are of second category in C([0,1])C([0,1]).