The Baire Category Theorem with an Application to Real Analysis
[6/83%]Show that is nowhere dense in if and only if its closure has empty interior, .
Show that any finite subset of is nowhere dense in . Give examples to show that a countable set can be nowhere dense in , but that this is not always the case.
Let for , and . Compute . How does this tie in with what you know about the continuity of this function?
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:
Describe a set that is of first category, but not of measure zero.
Describe a set that is of measure zero, but not of first category.
Prove that the function defined on by
is continuous at each irrational point of and discontinuous at each rational point of .
The goal of this exercise is to show that "most" continuous functions are nowhere differentiable. Let denote the set of all for which there exists an satisfying
for every .
Show that is nowhere dense in . To do this, approximate by a piecewise linear function whose pieces each have slope . Then, if is sufficiently small, the function cannot be in .
Deduce from (a) that the nowhere differentiable functions are of second category in .