How is "every net in $X$ has a convergent subnet" different from sequential compactness?

Question

I know that compact and sequentially compact are usually not related, i.e. one does not imply the other, for general topological space.

However, I saw a theorem (in Folland's real analysis) saying that in general topological space the following statements are equivalent:

$X$ is compact.
Every net in $X$ has a cluster point.
Every net in $X$ has a convergent subnet.

So how is statement 3 different from sequentially compact?

See, for instance, this question. Or you could take a look at the related questions to the left (although now, since I've linked to them, they will appear under "linked" instead) and find this one or this one or many others. — Arthur, Nov 20 '17 at 20:32
@Arthur Okay the second and the third links help. I guess I didn't realize the (huge) difference between a sequence and a net. — open water, Nov 20 '17 at 20:42
Sequences can only be countable. That makes a huge difference in general. — Arthur, Nov 20 '17 at 20:46

score 3 · Accepted Answer · answered Nov 20 '17 at 22:15

"Sequentially compact" means "every sequence has a convergent subsequence". Since a sequence is a very special kind of net (namely one with index set $\mathbb{N}$), this is not the same as statement (3). It is neither weaker nor stronger than statement (3), because on the one hand you only consider "every sequence" rather than "every net" (making it weaker), but on the other hand you are required to have a subsequence rather than just a subnet (making it stronger).

How is "every net in $X$ has a convergent subnet" different from sequential compactness?

1 Answers1