Problem 9 - A Primer of Real Analysis

Question

We say a collection of sets \(\left\\{D_{\alpha}: \alpha \in A\right\\}\) has the finite intersection property if for every finite set \(B \subset A\), $$ \bigcap_{\alpha \in B} D_{\alpha} \neq \emptyset $$ Show that a set \(K \subset \mathbb{R}\) is compact if and only for any collection \(\left\\{E_{\alpha}: \alpha \in A, E_{\alpha}=C_{\alpha} \cap K\right.\) where \(C_{\alpha} \subset \mathbb{R}\) is closed \(\\}\) which has the finite intersection property we have $$ \bigcap_{\alpha \in A} E_{\alpha} \neq \emptyset $$

Step-by-Step Solution

Answer

A set is compact if its closed intersections with finite properties are non-empty.

Step 1: Understanding Compactness

A set \(K\) in \(\mathbb{R}\) is compact if every open cover of \(K\) has a finite subcover. This is also equivalent to the statement that \(K\) is both closed and bounded.

Step 2: Restate the Given Condition

We need to show that if a collection of sets \(\left\{E_{\alpha}: \alpha \in A, E_{\alpha}=C_{\alpha} \cap K\right\}\) where each \(C_{\alpha} \subset \mathbb{R}\) is closed, and the collection has the finite intersection property, then \(\bigcap_{\alpha \in A} E_{\alpha} eq \emptyset\).

Step 3: Utilize Properties of Closed Sets

Since each \(C_{\alpha}\) is closed, the intersection of any finite subcollection \(\{E_{\alpha}\}\) is closed when restricted to \(K\). If \(K\) is compact, the intersection being closed ensures that the intersection is non-empty, as it should have a non-empty intersection with every finite subcollection.

Step 4: Use Compactness to Conclude

By the finite intersection property, any finite intersection of \(E_{\alpha}\) is non-empty. Compactness of \(K\) ensures that this extends to the entire intersection over \(A\), i.e., \(\bigcap_{\alpha \in A} E_{\alpha} eq \emptyset\).

Step 5: Prove the Conversational Direction

Assume now that the finite intersection property holds, meaning \(\bigcap_{\alpha \in A} E_{\alpha} eq \emptyset\) for any collection of closed sets. By contradiction, if \(K\) isn't compact, an open cover without finite subcover exists, contradicting the finite intersection property. Thus, \(K\) must be compact.

Key Concepts

Finite Intersection Property

In the context of real analysis, the finite intersection property provides a fascinating insight into the nature of sets. This property states that for a collection of sets \( \{D_{\alpha}: \alpha \in A\} \), the intersection of every finite subcollection is non-empty. Mathematically, this is expressed as \( \bigcap_{\alpha \in B} D_{\alpha} eq \emptyset \) for every finite set \( B \subset A \).
This property is crucial when determining whether a collection of sets has an intersection that is non-empty. It often provides a bridge to understand compactness in a given set. If the entire intersection is non-empty due to the finite intersection property, it implies a certain tightness or limitation in the sets' arrangement. This is why the finite intersection property is frequently used in proofs involving compact sets, offering a strategic way to demonstrate that a set maintains certain properties under various conditions.

Closed Sets

Closed sets hold specific importance in real analysis, especially regarding compactness. A set \( C \subset \mathbb{R} \) is deemed closed if it contains all its boundary points or if its complement is open.
To further dive into its pertinent uses, why are closed sets interesting for compactness? It turns out that if you take an intersection of closed sets, the result remains closed. So, no matter how many closed sets you intersect, their collective behavior stays intact by retaining closure properties.
In compactness, a set \( K \) being closed helps in ensuring that it encompasses intrinsic boundary points, which is indispensable when working under the finite intersection property. That's because it contributes essential structure and limits in scope when verifying non-empty intersections across collections of sets.

Bounded Sets

Boundedness is an inherent characteristic in the study of compact sets. A set \( K \subset \mathbb{R} \) is considered bounded if there exists a real number \( M \) such that every element \( x \in K \) satisfies \( |x| \leq M \). In simpler terms, the set doesn't stretch out infinitely and is contained within some fixed bounds.
Why does boundedness matter? When both the bounded nature and closure are present within a set, like \( K \), it indicates a compact set in real analysis. Compactness here translates to every open cover of the set having a finite subcover, providing an essential cue that the set does not "escape" the real number line's confines. Without boundedness, even if a set is closed, it wouldn't meet the compactness criteria as it could potentially extend beyond any finite bounds.

Open Covers

To comprehend open covers, think of them as 'blankets' that cover a set. An open cover of a set \( K \) is a collection of open sets whose union fully contains \( K \). If \( K \) is inside one of these 'blankets', every point in \( K \) belongs to at least one of the open sets.
However, compactness talks about not just being able to cover \( K \), but doing so with a finite subcollection of these open sets. This is crucial because, despite potentially having an infinite number of open sets covering \( K \), only a finite number is needed to enclose it entirely — demonstrating the essence of compactness.
Understanding open covers this way simplifies why studying the compactness of sets is intertwined with open covers. It highlights the capability of finite management over the set and assures us of the set's limited reach in terms of size and coverage with minimal stretches.