Intersection of compact sets is compact

The arbitrary intersection of compact sets is compact. (b.) The arbitrary union of compact sets is compact. (c.) Let Abe arbitrary, and let K be compact. Then, the intersectionA∩K is compact. (d.) IfF 1 ⊇F 2 ⊇F 3 ⊇F 4 ⊆.. a nested sequence of nonempty closed sets, then the intersection.

Intersection of compact sets is compact. To start, notice that the intersection of any chain of nonempty compact sets in a Hausdorff space must be nonempty (by the finite intersection property for closed sets).

Compact Set. A subset of a topological space is compact if for every open cover of there exists a finite subcover of . Bounded Set, Closed Set, Compact Subset. This entry contributed by Brian Jennings.

Since any family of compact sets has a non-empty intersection if every finite subfamily does, there is an easy extension to infinite families of compact convex sets. If an arbitrary family of compact convex sets in an n-dimensional space is such that every subfamily with (n + 1) members has a non-empty intersection, then so does the whole ...Let A and B be compact subset of R. To show intersection of A and B is compact, I need to show that for any open cover for intersection has finite subcover. It is quite straightforward for Union of two compact sets, but how can I start with the intersection casE?When it comes to choosing a new SUV, there are numerous factors to consider. One of the most important considerations is the size classification of the vehicle. From compact to full-size, each classification offers its own set of benefits a...5.12. Quasi-compact spaces and maps. The phrase “compact” will be reserved for Hausdorff topological spaces. And many spaces occurring in algebraic geometry are not Hausdorff. Definition 5.12.1. Quasi-compactness. We say that a topological space X is quasi-compact if every open covering of X has a finite subcover.Dec 1, 2020 · (Union of compact sets) Show that the union of finitely many compact sets is again compact. Give an example showing that this is no longer the case for infinitely many sets. Problem 2.2 (Closure of totally bounded sets) Show that the closure of a totally bounded set is again totally bounded. Problem 2.3 (Discrete compact sets) When it comes to choosing a compact SUV, safety should be a top priority. The Volvo XC40 is known for its commitment to safety, and it offers a range of advanced safety features that set it apart from its competitors.

Definition (proper map) : A function between topological spaces is called proper if and only if for each compact subset , the preimage is a compact subset of . Note that the composition of proper maps is proper. Proposition (closed subsets of a compact space are compact) : Let be a compact space, and let be closed. Then is compact.The sets \(\emptyset\) and \(\mathbb{R}\) are closed. The intersection of any collection of closed subsets of \(\mathbb{R}\) is closed. The union of a finite number of closed …$\begingroup$ You should be able to find a a decreasing family of compact sets whose intersection is the toopologist's sine curve? $\endgroup$ – Rob Arthan Mar 4, 2016 at 17:53Properties of compact set: non-empty intersection of any system of closed subsets with finite intersection property 0 $(X,T)$ is countably compact iff every countable family of closed sets with the finite intersection property has non-empty intersectionNov 16, 2017 · Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers. Intersection of compact sets in the compact-open topology. 1. A question about Borel sets on the unit interval. 5. Hausdorff approximating measures and Borel sets. 9. Do the Lebesgue-null sets cover "all the sets can naturally be regarded as sort-of-null sets"? 18. Function of two sets intersection. 12.

Theorem 2.34 states that compact sets in metric spaces are closed. Theorem 2.35 states that closed subsets of compact spaces are compact. As a corollary, Rudin then states that if L L is closed and K K is compact, then their intersection L ∩ K L ∩ K is compact, citing 2.34 and 2.24 (b) (intersections of closed sets are closed) to argue that ... It goes like this: If the intersection is empty, then it is compact. If it is nonempty, then let (xn) ( x n) be a sequence in the intersection. (xn) ∈K1 ( x n) ∈ K 1 …Therefore a compact open set must be both open and closed. If X is a connected metric space, then the only candidates are ∅ and X. For example, if X ⊂ R n then X is open and compact (in the subspace topology) if and only if X is bounded. However, if X is disconnected, then proper subsets can be open and compact.If you own a Kubota compact tractor, you know that it is a reliable and powerful machine that can handle various tasks on your farm or property. To ensure that your tractor continues to perform at its best, regular maintenance is essential.Decide whether the following propositions are true or false. If the claim is valid, supply a short proof, and if the claim is false, provide a counterexample. (a) The arbitrary intersection of compact sets is compact. (b) The arbitrary union of compact sets is compact. (e) Let A be arbitrary, and let K be compact. Then, the intersection Ank Compact subspaces of Hausdorff spaces are also closed, hence the arbitrary intersection of compact sets is closed. Now, in general, closed subspaces of compact spaces are compact. $\endgroup$ – Renan Mezabarba. Oct 29, 2016 at 18:22 $\begingroup$ I can't use anything about Hausdorff spaces. $\endgroup$

Ku music camp.

When it comes to creating a relaxing oasis in your backyard, few things compare to the luxury and convenience of a plunge pool. These compact pools offer a refreshing dip while taking up minimal space, making them perfect for small yards or...We would like to show you a description here but the site won't allow us.The union of the finite subcover is still finite and covers the union of the two sets. So the union is indeed compact. Suppose you have an open cover of S1 ∪S2 S 1 ∪ S 2. Since they are separately compact, there is a finite open cover for each. Then combine the finite covers, this will still be finite. 2 Answers. If you are working in a Hausdorff space (such as a metric space) the result is true and straightforward to show from the definition. In a Hausdorff space, compact sets are closed and hence K =∩αKα K = ∩ α K α is closed, and Kc K c is open. Let Uβ U β be an open cover of K K, then Uβ,Kc U β, K c is an open cover of the ...Dec 1, 2020 · (Union of compact sets) Show that the union of finitely many compact sets is again compact. Give an example showing that this is no longer the case for infinitely many sets. Problem 2.2 (Closure of totally bounded sets) Show that the closure of a totally bounded set is again totally bounded. Problem 2.3 (Discrete compact sets) sets. Suppose that you have proved that the union of < n compact sets is a compact. If K 1,··· ,K n is a collection of n compact sets, then their union can be written as K = K 1 ∪ (K 2 ∪···∪ K n), the union of two compact sets, hence compact. Problem 2. Prove or give a counterexample: (i) The union of infinitely many compact sets ...

Since Ci C i is compact there is a finite subcover {Oj}k j=1 { O j } j = 1 k for Ci C i. Since Cm C m is compact for all m m, the unions of these finite subcovers yields a finite subcover of C C derived from O O. Therefore, C C is compact. Second one seems fine. First one should be a bit more detailed - you don't explain too well why Ci C i ... A metric space has the nite intersection property for closed sets if every decreasing sequence of closed, nonempty sets has nonempty intersection. Theorem 8. A metric space is sequentially compact if and only if it has the nite intersection property for closed sets. Proof. Suppose that Xis sequentially compact. Given a decreasing sequence of ...Then F is T2-compact since X is T2-compact (see Problem A.21). Suppose that fU g 2J is any cover of F by sets that are T1-open. Then each of these sets is also T2-open, so there must exist a nite subcollection that covers F. Hence F is T1-compact, and therefore is T1-closed since T1 is Hausdor (again see Problem A.21). Consequently, T2 T1. utDec 1, 2020 · (Union of compact sets) Show that the union of finitely many compact sets is again compact. Give an example showing that this is no longer the case for infinitely many sets. Problem 2.2 (Closure of totally bounded sets) Show that the closure of a totally bounded set is again totally bounded. Problem 2.3 (Discrete compact sets) if arbitrary intersection of compact set is empty, then there exists at least two sets that are disjoint? Generally, I know the argument is false as nested intersection of open sets are empty, but there is not pair-wise disjoint. How about compact sets (closed and bounded in real line?) elementary-set-theory;5.12. Quasi-compact spaces and maps. The phrase “compact” will be reserved for Hausdorff topological spaces. And many spaces occurring in algebraic geometry are not Hausdorff. Definition 5.12.1. Quasi-compactness. We say that a topological space X is quasi-compact if every open covering of X has a finite subcover.Sep 17, 2017 · Prove that the sum of two compact sets in $\mathbb R^n$ is compact. Compact set is the one which is both bounded and closed. The finite union of closed sets is closed. But union is not the same as defined in the task. I so not know how to proceed. I do understand that I need to show that the resulting set is both bounded and closed, but I do ... The countably infinite union of closed sets need not be closed (since the infinite intersection of open sets is not always open, for example $\bigcap_{n=1}^{\infty} \left(0,\frac{1}{n}\right) = \emptyset$, which is closed). As a result, the finite union of compact sets is compact.Let F be a filtered family of compact saturated nonempty sets in X with intersection contained in an open set U. Then each F ∈ F is closed in (X, patch), a compact space, and hence the filtered family of closed sets F must have some member F with F ⊆ U, by a basic property of compact spaces. It follows that X is well-filtered. Remark 2.3To find the intersection point of two lines, you must know both lines’ equations. Once those are known, solve both equations for “x,” then substitute the answer for “x” in either line’s equation and solve for “y.” The point (x,y) is the poi...Definition A topological space X is compact if every open cover of X has a finite subcover, i.e. if whenever X = S i∈I U i, for a collection of open sets {U i |i ∈ I} then we also have X = S i∈F U i, for some finite subset F of I. (3.2a) Proposition Let X be a finite topological space. Then X is compact. 36Since Ci C i is compact there is a finite subcover {Oj}k j=1 { O j } j = 1 k for Ci C i. Since Cm C m is compact for all m m, the unions of these finite subcovers yields a finite subcover of C C derived from O O. Therefore, C C is compact. Second one seems fine. First one should be a bit more detailed - you don't explain too well why Ci C i ...

F (b) The arbitrary union of compact sets is compact. (c) Let A be arbitrary, and let K be compact. Then, the intersection An rem 3.3.8. Assume K satis K. For contradicti (a) Show that th and liml (b) Argue that is compact. closed interval con (d) If Fi 2 F22F2Fis a nested sequence of nonempty closed s then the intersection n1 Fn 0 with the

pact sets is not always compact. It is this problem which motivated the author to write the following Definition 1.1. A topological space (X, ~) is termed a C-space iff Ct N Ca is compact whenever C~ and Ca are compact subsets of X. ~C is called a C-topology for X when (X, ~) is a C-space. 2. EXAMPLES 5. Let Kn K n be a nested sequence of non-empty compact sets in a Hausdorff space. Prove that if an open set U U contains contains their (infinite) intersection, then there exists an integer m m such that U U contains Kn K n for all n > m n > m. ... (I know that compact sets are closed in Hausdorff spaces. I can also prove that the infinite ... 1,105 2 11 20. A discrete set (usual definition) is compact iff it is finite. – copper.hat. Aug 20, 2012 at 17:04. @copper.hat: The problem here is that the intersection of a compact set and a discrete set is not necessarily compact. This is assuming by "usual definition" you mean that the discrete set is discrete wrt to the subspace topology ...No, this is not sufficient. There exist sets which are bounded and closed, yet they are not compact. For example, the set $(0,1)$ is abounded closed subset of the space $(0,1)$, yet the set is not compact. There are two ways I see that you can solve the question: Option 1: There is a theorem that states that a closed subset of a compact set is ...0. That the intersection of a closed set with a compact set is compact is not always true. However, if you further require that the compact set is closed, then its intersection with a closed set is compact. First, note that a closed subset A A of a compact set B B is compact: let Ui U i, i ∈ I i ∈ I, be an open cover of A A; as A A is ... 0. That the intersection of a closed set with a compact set is compact is not always true. However, if you further require that the compact set is closed, then its intersection with a closed set is compact. First, note that a closed subset A A of a compact set B B is compact: let Ui U i, i ∈ I i ∈ I, be an open cover of A A; as A A is ...Let A and B be compact subset of R. To show intersection of A and B is compact, I need to show that for any open cover for intersection has finite subcover. It is quite straightforward for Union of two compact sets, but how can I start with the intersection casE?A topological space X is compact if and only if every collection of closed subsets of X with the finite intersection property has a nonempty intersection. In ...

West test engineering.

Editing and proofreading examples.

Two intersecting lines are always coplanar. Each line exists in many planes, but the fact that the two intersect means they share at least one plane. The two lines will not always share all planes, though.Exercise 4.4.1. Show that the open cover of (0, 1) given in the previous example does not have a finite subcover. Definition. We say a set K ⊂ R is compact if every open cover of K has a finite sub cover. Example 4.4.2. As a consequence of the previous exercise, the open interval (0, 1) is not compact. Exercise 4.4.2.Dec 1, 2020 · (Union of compact sets) Show that the union of finitely many compact sets is again compact. Give an example showing that this is no longer the case for infinitely many sets. Problem 2.2 (Closure of totally bounded sets) Show that the closure of a totally bounded set is again totally bounded. Problem 2.3 (Discrete compact sets) 1. Decide whether the following propositions are true or false. If the claim is valid, supply a short proof, and if the claim is false, provide a counterexample. (a) The arbitrary intersection of compact sets is compact. (b) The arbitrary union of compact sets is compact. (c) Let A be arbitrary and let K be compact, then the intersection A ⋂ ...To prove: If intersection of any finite no. of compact subsets of a metric space is non empty, then intersection of any collection of compact sets is non empty. ... Any $1$-element set (a single point) is compact, but if your metric space has at least two points, there will be two (singleton) compact subspaces with empty intersection.The all-new Lincoln Corsair 2023 is set to be released in the fall of 2022 and is sure to turn heads. The luxury compact SUV is the perfect combination of style, performance, and technology. Here’s what you need to know about the upcoming m...Theorem 5.3 A space Xis compact if and only if every family of closed sets in X with the nite intersection property has non-empty intersection. This says that if F is a family of closed sets with the nite intersection property, then we must have that \ F C 6=;. Proof: Assume that Xis compact and let F = fC j 2Igbe a family of closed sets with ...Sep 17, 2017 · Prove that the sum of two compact sets in $\mathbb R^n$ is compact. Compact set is the one which is both bounded and closed. The finite union of closed sets is closed. But union is not the same as defined in the task. I so not know how to proceed. I do understand that I need to show that the resulting set is both bounded and closed, but I do ... Closedness: In a Hausdorff space (a type of topological space), every compact set is closed. Finite Intersection Property: If a family of compact sets has the ...Decide whether the following propositions are true or false. If the claim is valid, supply a short proof, and if the claim is false, provide a counterexample. (a) The arbitrary intersection of compact sets is compact. (b) The arbitrary union of compact sets is compact. (e) Let A be arbitrary, and let K be compact. Then, the intersection Ank ….

1. If S is a compact subset of R and T is a closed subset of S,then T is compact. (a) Prove this using definition of compactness. (b) Prove this using the Heine-Borel theorem. My solution: firstly I should suppose a open cover of T, and I still need to think of the set S-T. But if S-T is open in R,it can be done because the open cover of T and ...This proves that X is compact. Section 7.2 Closed, Totally Bounded and Compact Lecture 6 Theorem 2: Every closed subset A of a compact metric space (X;d) is compact. Lecture 6 Theorem 3: If A is a compact subset of the metric space (X;d), then A is closed. Lecture 6 De–nition 6: A set A in a metric space (X;d) is totally bounded if, for everyA finite union of compact sets is compact. Proposition 4.2. Suppose (X,T ) is a topological space and K ⊂ X is a compact set. Then for every closed set F ⊂ X, the intersection F ∩ K is again compact. Proposition 4.3. Suppose (X,T ) and (Y,S) are topological spaces, f : X → Y is a continuous map, and K ⊂ X is a compact set. Then f(K ...More generally, a locally compact space is σ -compact if and only if it is paracompact and cannot be partitioned into uncountably many clopen sets. See the topology book by Dugundji for proofs of these facts. On page 289 of Munkres, Exercise 10 proves that if X is locally compact and second countable then X is σ -compact.Closed: I've shown previously that a finite or infinite intersection of closed sets is closed so this would suffice for this portion. Bounded: This is where I am having trouble showing it. It intuitively makes sense to me that an intersection of bounded sets will also be bounded, but trying to write this out formally is giving a bit of trouble.21,298. docnet said: Homework Statement:: If is a topological space and is an arbitrary collection of closed subspaces, at least one of which is compact, then is also closed and compact. Relevant Equations:: (o.o)_)~. Given that one of the (let's name it ), is compact. Assume there is an open cover of . By definition of a compact subspace ...The sets \(\emptyset\) and \(\mathbb{R}\) are closed. The intersection of any collection of closed subsets of \(\mathbb{R}\) is closed. The union of a finite number of closed …Decide whether the following propositions are true or false. If the claim is valid, supply a short proof, and if the claim is false, provide a counterexample. (a) The arbitrary intersection of compact sets is compact. (b) The arbitrary union of compact sets is compact. (e) Let A be arbitrary, and let K be compact. Then, the intersection AnkWe prove a generalization of the nested interval theorem. In particular, we prove that a nested sequence of compact sets has a non-empty intersection.Please ... Intersection of compact sets is compact, When it comes to finding the best compact tractor, there are several factors to consider. From power and versatility to reliability and price, choosing the right compact tractor can make a significant difference in your farming or landscapi..., 1 the intersection of this ball with A. Then A 1 is a closed subset of Awith diam (A 1) 2. Repeating now the argument we get a nested sequence of closed sets A n inside Awith diam (A n) 2n. COMPACT SETS IN METRIC SPACES NOTES FOR MATH 703 3 such that each A n can’t be nitely covered by C. Let a n 2A n. Then (a n) is a Cauchy sequence …, Mar 25, 2021 · 1 Answer. Sorted by: 3. This is actually not true in general you need that the the compact sets are also closed. A simple counter example is the reals with the topology that has all sets of the form (x, ∞) ( x, ∞) Any set of the form [y, ∞) [ y, ∞) is going to be compact but it's not closed since the only closed sets are of the form ... , pact sets is not always compact. It is this problem which motivated the author to write the following Definition 1.1. A topological space (X, ~) is termed a C-space iff Ct N Ca is compact whenever C~ and Ca are compact subsets of X. ~C is called a C-topology for X when (X, ~) is a C-space. 2. EXAMPLES, Question: Exercise 3.3.5. Decide whether the following propositions are true or false. If the claim is valid, supply a short proof, and if the claim is false, provide a counterexample. (a) The arbitrary intersection of compact sets is compact. (b) The arbitrary union of compact sets is compact. (c) Let A be arbitrary, and let K be compact., Jun 27, 2016 · Intersection of Compact sets Contained in Open Set. Proof: Suppose not. Then for each n, there exists. Let { x n } n = 1 ∞ be the sequence so formed. In particular, this is a sequence in K 1 and thus has a convergent subsequence with limit x ^ ∈ K 1. Relabel this convergent subsequence as { x n } n = 1 ∞. , 1,105 2 11 20. A discrete set (usual definition) is compact iff it is finite. – copper.hat. Aug 20, 2012 at 17:04. @copper.hat: The problem here is that the intersection of a compact set and a discrete set is not necessarily compact. This is assuming by "usual definition" you mean that the discrete set is discrete wrt to the subspace topology ..., The arbitrary soft set (F, A) to be taken over U is naturally a compact structural soft set. Since the compact sets \(F(a)\ne \varnothing \) for each \(a\in A\) are finite number, then \(\bigcap _{a\in A} F(a)\) is compact. This intersection set can be expressed as a set of preferred elements that provides all parameters of interest., In summary, the conversation is about proving the intersection of any number of closed sets is closed, and the use of the Heine-Borel Theorem to show that each set in a collection of compact sets is closed. The next step is to prove that the intersection of these sets is bounded, and the approach of using the subsets of [a,b] is …, pact sets is not always compact. It is this problem which motivated the author to write the following Definition 1.1. A topological space (X, ~) is termed a C-space iff Ct N Ca is compact whenever C~ and Ca are compact subsets of X. ~C is called a C-topology for X when (X, ~) is a C-space. 2. EXAMPLES, Jun 11, 2019 · 1 Answer. Any infinite space in the cofinite topology has the property that all of its subsets are compact and so the union of compact subsets is automatically compact too. Note that this space is just T1 T 1, if X X were Hausdorff (or even just KC) then “any union of compact subsets is compact” implies that X X is finite and discrete. Ohh ... , Therefore a compact open set must be both open and closed. If X is a connected metric space, then the only candidates are ∅ and X. For example, if X ⊂ R n then X is open and compact (in the subspace topology) if and only if X is bounded. However, if X is disconnected, then proper subsets can be open and compact. , Intersection of a family of compact sets being empty implies finte many of them have empty intersection 1 Find in X a sequence of closed sets $(F_n)_{n=1}^\infty$ with the finite intersection property but $\cap_{n=1}^\infty F_n= \emptyset$, $(X,T)$ is countably compact iff every countable family of closed sets with the finite intersection property has non-empty intersection 2 Defining compact sets with closed covers, As an aside: It's standard in compactness as well, but there we use closed sets with the finite intersection property instead (or their extension, filters of closed sets). We could do decreasing "sequences" as well,but then one gets into ordinals and cardinals and such, and we have to consider cofinalities., Hello I have to prove that the intersection of a collection of compact sets is compact This is what I have so far: Each set in the collection is compact, thus each set is closed and bounded. Each set is bounded if it is bounded above and below (i.e. there exists a B in R such that x <= B for every x in the set. There is an L in R such that x >= L for …, In a space that isn't Hausdorff, compact sets aren't necessarily closed under intersections. E.g., take $(X, \tau)$ to be the line with two origins : then (using a notation that I hope is …, Prove that the intersection of a nested sequence of connected, compact subsets of the plane is connected 2 Nested sequence of non-empty compact subsets - intersection differs from empty set, The all-new Lincoln Corsair 2023 is set to be released in the fall of 2022 and is sure to turn heads. The luxury compact SUV is the perfect combination of style, performance, and technology. Here’s what you need to know about the upcoming m..., 1. If S is a compact subset of R and T is a closed subset of S,then T is compact. (a) Prove this using definition of compactness. (b) Prove this using the Heine-Borel theorem. My solution: firstly I should suppose a open cover of T, and I still need to think of the set S-T. But if S-T is open in R,it can be done because the open cover of T and ..., Intersection of Compact Sets Is Not Compact Ask Question Asked 5 years, 2 months ago Modified 5 years, 2 months ago Viewed 2k times 5 What is an example of a topological space X X such that C, K ⊆ X C, K ⊆ X; C C is closed; K K is compact; and C ∩ K C ∩ K is not compact? I know that X X can be neither Hausdorff nor finite., 5. Let Kn K n be a nested sequence of non-empty compact sets in a Hausdorff space. Prove that if an open set U U contains contains their (infinite) intersection, then there exists an integer m m such that U U contains Kn K n for all n > m n > m. ... (I know that compact sets are closed in Hausdorff spaces. I can also prove that the infinite ..., R+a and R+b are compact sets, but it's intersection = R, in not the compact set. Share. Cite. Follow answered Nov 8, 2016 at 14:04. kotomord kotomord. 1,814 10 10 ..., Do the same for intersections. SE NOTE 79 w Exercise 4.5.5. Take compact to mean closed and bounded. Show that a finite union or arbitrary intersection of compact sets is again compact. Check that an arbitrary union of compact sets need not be compact. Show that any closed subset of a compact set is compact. Show that any finite set is …, Exercise 4.4.1. Show that the open cover of (0, 1) given in the previous example does not have a finite subcover. Definition. We say a set K ⊂ R is compact if every open cover of K has a finite sub cover. Example 4.4.2. As a consequence of the previous exercise, the open interval (0, 1) is not compact. Exercise 4.4.2. , 1,105 2 11 20. A discrete set (usual definition) is compact iff it is finite. – copper.hat. Aug 20, 2012 at 17:04. @copper.hat: The problem here is that the intersection of a compact set and a discrete set is not necessarily compact. This is assuming by "usual definition" you mean that the discrete set is discrete wrt to the subspace topology ..., We prove a generalization of the nested interval theorem. In particular, we prove that a nested sequence of compact sets has a non-empty intersection.Please ..., According to Digital Economist, indifference curves do not intersect due to transitivity and non-satiation. In order for two curves to intersect, there must a common reference point. That is impossible with indifference curves., 1 Answer. For Y ⊆ X Y ⊆ X, this means that the subset Y Y is a compact space when considered as a space with the subspace topology coming down from X X. To jog your memeory, recall that the subspace topology works this way: the open sets of Y Y are just the intersections of Y Y with open sets of X X. This turns out to be equivalent to the ..., Show that the union of two compact sets is compact, and that the intersection of any number of compact sets is compact. Ans. Any open cover of X 1[X 2is an open cover …, Prove the intersection of any collection of compact sets is compact. This problem has been solved! You'll get a detailed solution from a subject matter expert that helps you learn core concepts. , Tour Start here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site, Definition A topological space X is compact if every open cover of X has a finite subcover, i.e. if whenever X = S i∈I U i, for a collection of open sets {U i |i ∈ I} then we also have X = S i∈F U i, for some finite subset F of I. (3.2a) Proposition Let X be a finite topological space. Then X is compact. 36