Mẹo về Compact set in subspace topology Mới Nhất
Pro đang tìm kiếm từ khóa Compact set in subspace topology được Update vào lúc : 2022-12-16 08:57:07 . Với phương châm chia sẻ Kinh Nghiệm Hướng dẫn trong nội dung bài viết một cách Chi Tiết Mới Nhất. Nếu sau khi tìm hiểu thêm tài liệu vẫn ko hiểu thì hoàn toàn có thể lại Comment ở cuối bài để Ad lý giải và hướng dẫn lại nha.
2.05 Compactness
Video
Below the video you will find accompanying notes and some pre-class questions.
Nội dung chính
- 2.05 Compactness
- Definition of compactness
- Results about compactness
- Pre-class questions
- Previous video: Connectedness, path-connectedness.
- Next video: Hausdorffness.
- Index of all lectures.
- Why is (mathbfR^n) not compact? What about a punctured torus?
- Let (X) be a compact space. Using the first lemma from the video and the Heine-Borel theorem, prove that any continuous function (Fcolon XtomathbfR) is bounded and attains its maximum somewhere in (X).
- Previous video: Connectedness, path-connectedness.
- Next video: Hausdorffness.
- Index of all lectures.
Notes
Definition of compactness
(0.29) A topological space (X) is compact if every open cover has a finite subcover. More precisely, if (X=bigcup_iin IU_i) for some collection (U_i : iin I\) of open sets indexed by a set (I) then there is a finite subset (Jsubset I) such that (X=bigcup_iin JU_i).
(1.45) This definition is motivated by the Heine-Borel theorem, which says that, for metric spaces, this definition is equivalent to sequential compactness (every sequence has a convergent subsequence).
(2.12) This definition is extremely useful. For example, if (X) is a discrete space (every subset is open) then (X) is compact if and only if (X) is a finite set (if you had an infinite discrete space then the collection (\x\ : xin X\) is an open cover with no finite subcover). This provides a way to show that some set is finite. For example, if you are trying to show that there are only finitely many solutions to some differential equation, you could try putting a topology on the space of solutions, and proving it’s a compact, discrete space.
Results about compactness
(3.47) Let (X,Y) be topological spaces and let (Fcolon Xto Y) be a continuous map. If (Asubset X) is compact (when given the subspace topology) then (F(A)subset Y) is also compact (when given the subspace topology).
(5.12) Take an open cover (U_i : iin I\) of (F(A)) (in the subspace topology). By definition of the subspace topology, there exist open sets (V_isubset Y), (iin I), such that (U_i=V_icap F(A)). Since (F) is continuous, (F^-1(V_i)) are open sets in (X). Finally, (Acap F^-1(V_i) : iin I\) is an open cover of (A) (in the subspace topology on (A)). Since (A) is compact, there is a finite subset (Jsubset I) such that (A=bigcup_iin JAcap F^-1(V_i)). Now (F(A)=bigcup_iin JU_i), so we get a finite subcover (U_i : iin J\) of the cover we started with.
Recall that a subset (Asubset X) is closed if (Xsetminus A) is open.
(8.13) A closed subset (Asubset X) of a compact space (X) is compact (in the subspace topology on (A)).
Let (U_i : iin I\) be an open cover of (A) in the subspace topology. By definition of the subspace topology, there exist open sets (V_isubset X) such that (U_i=Acap V_i). The (V_i) might not cover the whole of (X), but (X=(Xsetminus A)cupbigcup_iin IV_i) (and (Xsetminus A) is open because (A) is closed). Now there is a finite subcover (Xsetminus A\cupV_i : iin J\) (for some finite (Jsubset I)), so (U_i : iin J\) is a finite subcover of the cover we started with.
Examples
(11.52) Recall that one version of the Heine-Borel theorem tells us that any subspace of (mathbfR^n) is compact if and only if it is closed and bounded. This implies that the following familiar spaces are all compact:
The circle in the plane; the sphere, torus or higher genus surfaces in (mathbfR^3) are all compact.
(13.17) (mathbfR) is not compact (for example, ((n-epsilon,n+1+epsilon) : ninmathbfZ\) gives an open cover with no finite subcover); (mathbfR^n) is not compact; if I cut out a point from any of the compact examples above, the result is not compact.
(15.00) Note that to prove that closed and bounded sets in (mathbfR^n) are compact, it’s sufficient to prove that the cube ([0,R]^n) is compact: any bounded set will be contained in some cube, so by our lemma above, it will be a closed subset of a compact space, hence compact. Since a cube is a product of intervals, it suffices to prove that ([0,1]) is compact and the products of compact spaces are compact. The fact that products of compact spaces are compact is Tychonoff’s theorem. The fact that ([0,1]) is compact is another way of stating the Heine-Borel theorem.
Pre-class questions
Navigation
Reply
7
0
Chia sẻ
Share Link Tải Compact set in subspace topology miễn phí
Bạn vừa đọc Post Với Một số hướng dẫn một cách rõ ràng hơn về Clip Compact set in subspace topology tiên tiến và phát triển nhất và ShareLink Download Compact set in subspace topology Free.
Hỏi đáp vướng mắc về Compact set in subspace topology
Nếu sau khi đọc nội dung bài viết Compact set in subspace topology vẫn chưa hiểu thì hoàn toàn có thể lại Comments ở cuối bài để Admin lý giải và hướng dẫn lại nha
#Compact #set #subspace #topology