5
$\begingroup$

Related; When $K$ is compact, if $S\subset C_b(K)$ is closed,bounded and equicontinuous, then $S$ is compact? (ZF)

I just edited my whole question since i think it was a bit messy.

Here is my question.

Let $K$ be a separable compact metric space and $S\subset C(K,\mathbb{C})$.

Let $S$ be closed,bounded,uniformly equicontinuous on $K$, sequentially compact, totally bounded and complete.

Then is $S$ compact? (in ZF)

Thank you in advance!

  • 1
    Of course, if you do not assume AC, you should say what "compact" means. If it involves the word "finite" you should say what that means.2012-12-27
  • 2
    @GEdgar Isn't it common to denote finite as a set equipotent with a finite ordinal in ZF?2012-12-27
  • 0
    Just make it clear you don't mean Dedekind finite. Every open cover has a Dedekind finite subcover ... I wonder what those spaces are.2012-12-27
  • 0
    @GEdgar: It is the common terminology that "finite" means "smaller than $\aleph_0$", so there is no actual confusion. As for your question, assuming the axiom of choice - those are the compact spaces! :-)2012-12-29

1 Answers 1