Relacionados; Al $K$ es compacto, si $S\subset C_b(K)$ es cerrado,acotado y equicontinuous, a continuación, $S$ es compacto? (ZF)
Me acaba de editar toda mi pregunta ya que creo que estaba un poco desordenado.
Aquí está mi pregunta.
Deje $K$ ser separable espacio métrico compacto y $S\subset C(K,\mathbb{C})$.
Deje $S$ ser cerrado,acotado,de manera uniforme equicontinuous en $K$, secuencialmente compacto, totalmente delimitado y completa.
A continuación, se $S$ compact? (ZF)
Gracias de antemano!