-2
$\begingroup$

I have reached a deadlock to find a example to show that a compact Hausdorff space does not need to have a no non-trivial convergent sequence.(except $\beta\omega$)

can you give me a example of a compact Hausdorff space with no non-trivial convergent sequence?

$\endgroup$
2
  • $\begingroup$ In a comment on the previous question I stated that every compact $F$-space is an example of a compact Hausdorff space with no non-trivial convergent sequence. Please do not repeat a question that has been answered already. $\endgroup$ Aug 25, 2013 at 12:24
  • $\begingroup$ A one-point space? $\endgroup$ Aug 25, 2013 at 12:54

1 Answer 1

1
$\begingroup$

As far as I know, the only known example is $\beta\omega$ (and spaces that contain copies of $\beta\omega$), I sort of recall (but don't take my word on that) that the question of whether there exists other example is still open.

$\endgroup$
3
  • 1
    $\begingroup$ There are consistent examples of infinite compact spaces which contain no non-trivial convergent sequence and no copy of $\beta\omega$. It is still open whether there is an example in $ZFC$. $\endgroup$ Aug 25, 2013 at 23:44
  • $\begingroup$ I see, so the point is getting the thingy in $\mathscr{ZFC}$, or proving that it consistently doesn't exist. Do you have any idea in which models do those examples live? $\endgroup$ Sep 24, 2013 at 16:08
  • $\begingroup$ The classic examples are due to Fedorchuk; one is constructed under $\diamondsuit$, another under $CH$ and a third one under $\mathfrak{s}=\aleph_1 + 2^{\aleph_0}=2^{\aleph_1}$. For more details, search for "Efimov's problem". $\endgroup$ Sep 24, 2013 at 23:47

Not the answer you're looking for? Browse other questions tagged or ask your own question.