Problem 76 - Advanced Calculus

Question

The Baire category theorem states that the real line is of the second category. Show how the Baire category theorem can be used to prove the following theorem: There exists no \(\mathrm{F}: \mathrm{R} \rightarrow \mathrm{R}\) such that \(\mathrm{f}\) is continuous at each rational but discontinuous at each irrational.

Step-by-Step Solution

Answer

Using the Baire category theorem, which states that the real line cannot be expressed as the countable union of nowhere dense sets, we show that there is no function f: R -> R that is continuous at each rational number and discontinuous at each irrational number. We partition the real numbers into sets A (rational points where f is continuous) and B (irrational points where f is discontinuous). We show that A has an empty interior and create a partition of B into countably many nowhere dense sets. This leads to a contradiction with the Baire category theorem, ultimately implying that such a function f cannot exist.

Step 1: Understand the Baire Category Theorem

The Baire category theorem states that in a complete metric space, the countable union of nowhere dense sets is nowhere dense. In the context of the real line (which is a complete metric space), this means that the real line cannot be expressed as the countable union of nowhere dense sets.

Step 2: Define continuity and discontinuity of a function

A function is continuous at a point if the limit of the function at that point exists and is equal to the function's value. That is, for all \(\epsilon > 0\), there exists a \(\delta > 0\) such that \(|x - a| < \delta\) implies \(|f(x) - f(a)| < \epsilon\), where x and a are any points in the domain of the function. A function is discontinuous at a point if it is not continuous at that point.

Step 3: Define nowhere dense set

A set A is nowhere dense if its closure, \(\overline{A}\), has an empty interior. That is, there exists no nonempty open interval subset of \(\overline{A}\).

Step 4: Suppose that such a function f exists

Assume that there exists a function f: R -> R such that it is continuous at each rational number and discontinuous at each irrational number.

Step 5: Define partitions of the real numbers

Define A as the set of points where f is continuous, and B as the set of points where f is discontinuous. Since f is continuous at each rational number and discontinuous at each irrational number, A would be the set of rational numbers, and B would be the set of irrational numbers.

Step 6: Show that A has an empty interior

The set of rational numbers (A) is dense in R, so every open interval in R contains a rational number. However, it is countable, so every open interval in R also contains an irrational number (B). Thus, A cannot contain an open interval and has an empty interior.

Step 7: Create a partition of B

Partition B (the set of discontinuous points) into countably many sets, \(B_1, B_2, B_3, ...\), each of which is nowhere dense. This can be done by selecting one sequence of irrational numbers converging to each rational number. Each \(B_i\) is nowhere dense by construction.

Step 8: Create a contradiction using the Baire category theorem

The Baire category theorem states that the real line cannot be expressed as the countable union of nowhere dense sets. However, we have shown that the real numbers are a union of A and B. The set A has an empty interior, and B is the countable union of nowhere dense sets. Thus, this contradicts the Baire category theorem. Since our assumption that there exists such a function f leads to a contradiction, we conclude that there is no function f: R -> R that is continuous at each rational number and discontinuous at each irrational number.