La afirmación es sistemáticamente falsa.
En el artículo de Vaughn "Countably compact and sequentially compact spaces" en el Handbook of Set-Theoretic Topology, da las siguientes equivalencias para un cardinal infinito $\kappa$ :
- $\{0,1\}^\kappa$ es secuencialmente compacto
- $\kappa < \mathfrak{s}$ (donde $\mathfrak{s}$ es el "número de división")
- todo espacio compacto de peso $\leq\kappa$ es secuencialmente compacto
Por lo tanto, si estamos en un universo donde $\omega<\omega_1=\kappa<\mathfrak{s}\leq\mathfrak{c}<2^\kappa$ entonces el espacio $\{0,1\}^{\omega_1}$ da un espacio separable que es secuencialmente compacto pero que tiene una cardinalidad mayor que $\mathfrak{c}$ .
Añadido: incluyendo la construcción de forzado para obtener dicho modelo (del artículo de van Douwen):
Empezar con el modelo de suelo $M\models(\mathfrak{c}=\omega_2 \wedge 2^{\omega_1}=\omega_3)$ a continuación, obtener una extensión ccc iterada $\langle M_\eta : \eta\in\omega_2\rangle$ añadiendo $X_\eta\in[\omega]^\omega$ en la etapa $\eta\in\omega_2$ s.t. $\forall Y\in M\cap[\omega]^\omega$ o bien $X_\eta\subseteq^* Y$ o $X_\eta\subseteq^* (\omega\setminus Y)$ . Entonces en $M_{\omega_2}$ tenemos $\mathfrak{c}=\omega_2<2^{\omega_1}$ , $\mathfrak{t}=\omega_1$ , $\mathfrak{s}=\omega_2$ exactamente como se desea. (Los detalles se dejan como ejercicio).
4 votos
Como dato histórico, conocí el jackknife a principios de los años 70, cuando la estadística todavía se realizaba mayoritariamente en un bloc de notas. (¡El tiempo de ordenador era demasiado caro!) Si no me falla la memoria, fue promovido por John Tukey.