Problem 4 - Advanced Calculus

Question

Let \(S\) be the set of rational numbers in the interval [0,2] . a. Using the definition of sequential compactness, show that \(S\) is not sequentially compact. b. Using the definition of compactness, show that \(S\) is not compact. c. Using the definition of closedness, show that \(S\) is not closed.

Step-by-Step Solution

Answer

The set \(S\) is not sequentially compact because sequences in \(S\) that should converge to irrational numbers, like the sequence converging to \(\sqrt{2}\), do not have their limits within \(S\). The set is not closed because it does not contain all its limit points, particularly the irrational numbers. Therefore, \(S\) is not compact.

Step 1 - Understanding Sequential Compactness

Sequential compactness for a set means that every sequence within that set has a subsequence that converges to a point also within the set. For a set of rational numbers, we can find sequences that should converge to an irrational number, which would not be in the set. Let's construct such a sequence.

Step 2 - Constructing a Sequence that Converges to an Irrational Number

Consider the sequence defined by the decimal expansions of the irrational number \(\sqrt{2}\), truncated after each digit. For example, 1, 1.4, 1.41, 1.414, ..., where each element of the sequence is a rational number. This sequence should converge to \(\sqrt{2}\), which is not in \(S\) because \(\sqrt{2}\) is irrational.

Step 3 - Showing the Sequence's Limit is Not in S

Since the sequence converges to \(\sqrt{2}\) and \(\sqrt{2} < 2\), the sequence is contained in the interval [0,2]. However, \(\sqrt{2}\) is not a rational number, so it is not in the set \(S\). This shows that there exists a sequence in \(S\) without a subsequence converging to a point in \(S\), proving \(S\) is not sequentially compact.

Step 4 - Understanding Compactness

A set is compact if it is both closed and bounded. In the context of rational numbers, a set is bounded if all elements are within some fixed interval, and it is closed if it contains all its limit points. The set \(S\), being within [0,2], is bounded, so we need to investigate closedness.

Step 5 - Showing S is Not Closed

A set is closed if it contains all its limit points. The limit points of \(S\) include all the points in [0,2], since for any such point we can construct a sequence of rationals converging to it, including the irrational points. Since \(S\) consists only of rational numbers, it does not include irrational numbers like \(\sqrt{2}\), hence it is not closed.

Step 6 - Concluding S is Not Compact

Since we've shown that \(S\) is not closed, and compactness requires the set to be closed, it follows that \(S\) cannot be compact. Therefore, we conclude that \(S\) is not compact.

Key Concepts

Sequential Compactness

Sequential compactness is crucial for understanding the behavior of sequences within a particular space in mathematics. It is principally concerned with the convergence of sequences and their subsequences.

Let's consider the concept with an example. Suppose we have a set of numbers and we draw an infinite sequence from that set. If the set is sequentially compact, no matter what sequence we choose, we can always find a subsequence within it that converges to a point that is also part of the set. Now, our exercise deals with the set of rational numbers in the interval [0,2].

Why isn't S sequentially compact?

To demonstrate this, we construct a sequence based on the decimal expansion of the irrational number \(\sqrt{2}\), such as 1, 1.4, 1.41, and so on. All these elements are rational and belong to our set S. However, this particular sequence is approaching \(\sqrt{2}\), an irrational number that is not contained in the set of rationals. Hence, we've found a sequence in S that does not have a subsequence which converges within S, which means S lacks sequential compactness.

Limit Points

The idea of limit points is fundamental when exploring the structure of sets in mathematics. A limit point of a set is a point that can be 'approached' by other points within the set, in the sense that you can find a sequence in the set that will get arbitrarily close to that limit point.

It is important to distinguish between points in a set and limit points; not all points in a set have to be limit points, but limit points could reveal whether a set is closed or not.

Identifying Limit Points of S

In our exercise, the set S includes rational numbers in the interval [0,2]. To find a limit point of S, we can create a sequence of rational numbers that gets closer and closer to any point within the interval [0,2]. Since every point in this interval can be approached in such a manner, including irrational numbers, they are all limit points of S. However, since S only contains rational numbers, it excludes limit points that are irrational, like \(\sqrt{2}\), indicating that S does not contain all its limit points and, therefore, is not closed.

Closed Sets

Closed sets are an integral part of topology, a branch of mathematics that deals with the properties of space that are preserved under continuous transformations. A set is considered closed if it includes all its limit points; in other words, it effectively 'seals' itself off from the rest of the space by encompassing the points that form its boundary, so to speak.

When it comes to our exercise, the logic is clear: since S does not contain irrational numbers, which can serve as limit points for sequences of rational numbers approaching them, S misses out on these critical boundary elements. It demonstrates that S remains 'open' with respect to its limit points and hence is not closed.

Why does closedness matter for compactness?

A set being closed is one of the prerequisites for it to be considered compact. If a set fails to include even one of its limit points, it violates a key condition of compactness. In the case of the set S, the absence of irrational numbers, which are indeed limit points, disqualifies it from being closed. Consequently, it is one step further from reaching compactness, a quality that has implications for continuity, function convergence, and other significant aspects of mathematical analysis.