A space is compact when every open cover admits a finite subcover.
Questions and answers about Compactness
The video defines compactness by stating that a set E is compact if, for every nested sequence of closed nonempty subsets E ⊃ E₁ ⊃ E₂ ⊃ E₃ ⊃ ⋯, there exists at least one element that belongs to all of the Eₙ. This condition ensures that the sets do not escape to infinity.
- E is a set.
- Each Eₙ is a closed subset of E.
- Each Eₙ is nonempty.
- The sequence is nested by inclusion: E ⊃ E₁ ⊃ E₂ ⊃ ⋯.
Example: The video visualizes this with an animation of nested regions shrinking step by step from E to E₁, E₂, E₃, and finally a single point appearing at the center, representing the common element.
Read the steps and sources →The real number line is not compact because one can construct a nested sequence of closed nonempty subsets whose intersection is empty. For example, taking Eₙ = [n, ∞) creates intervals that shift rightward indefinitely, leaving no common point.
- The ambient space is the real number line ℝ.
- Compactness is defined via nested closed nonempty subsets having a common point.
- Eₙ = [n, ∞) for n=1, 2, 3, ...
Example: The video shows the intervals [1,∞), [2,∞), and [3,∞) highlighted sequentially on a number line, then writes ⋂_{n=1}^{∞} Eₙ = ∅ to demonstrate the empty intersection.
Read the steps and sources →Hausdorff defines compactness by requiring that every infinite subset S of a set E has a limit point that lies within E itself. This prevents infinite subsets from escaping to infinity without accumulating inside the set.
- E is a set.
- S is an arbitrary infinite subset of E (S ⊂ E).
- The limit point must belong to E.
Example: The video displays the condition: 'A set E is compact if every infinite S ⊂ E has a limit pt in E,' accompanied by a diagram of a green subset S inside a larger gray set E.
Read the steps and sources →Removing the endpoint 0 makes (0,1] noncompact because the infinite subset {1/n} still lies inside (0,1], but its limit point 0 is no longer included in the set. This violates the limit-point compactness condition that every infinite subset must have a limit point within the set.
- E is the half-open interval (0,1].
- S is the infinite subset {1/n : n=1,2,3,...}.
- Compactness is judged by the limit-point definition.
Example: The video changes the interval from [0,1] to (0,1], keeping the same subset {1/n}, and shows the label changing to 'not compact' because the limit point 0 is now outside the set.
Read the steps and sources →A collection C is called an open cover if it is a cover of X and every member of C is an open set in the topology τ. Showing ⋃C=X only proves it is a cover; membership in τ proves it is an open cover.
- Every member of C belongs to τ.
- ⋃C=X.
Example: The board writes ⇒C is open cover of X after noting ⋃C=X and that all elements in C are also elements of τ.
Read the steps and sources →The interval [0,1] is compact because every infinite subset of it has a limit point that remains inside [0,1]. For example, the subset {1/n} accumulates at 0, and since the interval is closed, 0 is included in [0,1].
- E is the closed interval [0,1].
- Compactness is judged by Hausdorff's limit-point definition.
- S is an infinite subset of [0,1].
Example: The video shows green dots representing {1/n} clustering toward 0 on the interval [0,1], with square brackets indicating that 0 is included, and labels it 'Compact E=[0,1]'.
Read the steps and sources →To check whether a collection C is a cover of X, form the union of all members of C. If the union equals X (or contains X), then every point of X lies in at least one member of C, so C is a cover.
- C is a collection of subsets of X.
- The test is whether ⋃C=X.
Example: The board writes ⋃C={1,2,3}=X for C={{1},{3,2},{1,3},{1,2}} and X={1,2,3}.
Read the steps and sources →The video concludes X is compact because it demonstrates that an open cover C of the finite space X has a finite subcover C1. The speaker applies the definition of compactness (every open cover has a finite subcover) to this finite setting.
- X is finite.
- Compactness is defined by the requirement that every open cover of X has a finite subcover.
Example: The board writes ⇒X is compact after showing an open cover C and a finite subcover C1.
Read the steps and sources →The Bolzano-Weierstrass Theorem states that every closed and bounded subset of Euclidean space ℝⁿ is sequentially compact. This means that any infinite sequence of points within such a set has a subsequence that converges to a point also within the set.
- S is a subset of n-dimensional real space ℝⁿ.
- S is closed.
- S is bounded.
Example: The video displays the title 'Bolzano-Weierstrass Theorem' with the subtitle 'For all closed and bounded S ⊂ ℝⁿ' and the conclusion 'S is sequentially compact'.
Read the steps and sources →To find a finite subcover, select a finite subcollection C1⊆C such that the union of the sets in C1 still equals X. The chosen sets must come from the original cover C.
- C1 must be a subcollection of C.
- C1 must be finite.
- The union of C1 must equal X.
Example: The board writes C1={{1},{3,2}} and then X=⋃C1, showing that these two sets from C already cover X.
Read the steps and sources →Yes, a subspace can be compact. If Y is a subset of X equipped with the relative topology τY, then (Y,τY) is itself a topological space. The same compactness criterion applies: (Y,τY) is compact if every open cover of Y has a finite subcover.
- Y must be regarded as a subspace of X.
- τY is the relative topology on Y.
- The same compactness criterion is applied to covers of Y.
Example: The board adds Y⊂X and an arrow to (Y,τY), and the speaker says the same definition goes for Y.
Read the steps and sources →No, showing one open cover with a finite subcover does not prove compactness for all covers. Compactness requires that *every* open cover has a finite subcover. The video explicitly states this is only an example and the general proof will be shown in the next video.
- The context is the definition of compactness.
- The demonstration is limited to a single chosen open cover.
Example: The speaker says this is only an example and that the proof will be seen in the next video.
Read the steps and sources →