All spaces that have the cofinite topology are sequentially compact

[demonelite123]

i want to show that given any space X with the cofinite topology, the space X is sequentially compact.

i have already shown that any space X with the cofinite topology is compact since any open cover has a finite subcover on X. i know that if we are dealing with metric spaces, then the notions of compactness and sequentially compactness are equivalent but in general topological spaces it is not true.

so the cofinite topology defines all the open sets as subsets of X whose complement is finite. and a sequentially compact set is a set which has the property that all sequences in the set have a convergent subsequence in the set.

these are the definitions i have but i am not sure how to use them together to show that the set X is sequentially compact. can someone give me some pointers in the right direction? thanks.

 

[ystael]

Think about whether the sequence takes only finitely many or infinitely many distinct values.

Also, remember that a sequence can converge to more than one point in sufficiently bad topological spaces.

 

[demonelite123]

doesn't that depend on whether X is finite or infinite? if X is finite then the sequence will just be finitely many terms and I'm not sure how to talk about convergence in that case but if X is infinite then a sequence will have infinitely many terms right?

 

[ystael]

doesn't that depend on whether X is finite or infinite? if X is finite then the sequence will just be finitely many terms and I'm not sure how to talk about convergence in that case but if X is infinite then a sequence will have infinitely many terms right?

A sequence in X is a function n \mapsto x_n from \mathbb{N} to X; it has infinitely many terms regardless of the cardinality of X. The range or image of the sequence is the set \{x_n \mid n\in\mathbb{N}\} of values taken by the sequence; it is a subset of X.

If X is a finite set, then the range (set of values) of any sequence in X must be finite, but if X is infinite, the range of a sequence in X can be finite or infinite. An example of a sequence in \mathbb{R} with infinite range is (x_n) where x_n = n; an example with finite range is (y_n) where y_n = (-1)^n.

My hint above was meant to tell you that you should try to construct your convergent subsequence differently depending on whether the range of your sequence is finite or infinite.

 

[demonelite123]

so if a sequence in X has a finite range, does it have to be in one of the closed sets? if it is then i can take away finitely many terms so that the subsequence will converge. if the sequence has an infinite range then would it be contained in one of the open sets? based on that i don't know if it has a convergent subsequence. I'm still unsure on how to continue. is there still something i may be missing?

 

[demonelite123]

in order to talk about the convergence of a sequence don't you need a metric space? or at least the only definition of convergence of sequences that i know uses a distance in its definition. if I'm trying to prove this fact for all topological spaces in general how would i go about this?