Все выпуски

По теореме Хьюитта–Марчевского–Пондишери тихоновское произведение $2^\omega$ сепарабельных пространств сепарабельно. Мы продолжаем исследовать проблему существования в тихоновском произведении $\prod\limits_{\alpha\in 2^\omega}X_\alpha$ сепарабельных пространств плотного счетного подмножества, не содержащего нетривиальных сходящихся последовательностей. Мы говорим, что последовательность $\lambda=\{x_n\colon n\in\omega\}$ является простой, если для каждого $x_n\in\lambda$ множество $\{n'\in\omega\colon x_{n'}=x_n\}$ конечно. Мы доказываем, что в произведении $\{Z_\alpha\colon\alpha\in 2^\omega\}$ сепарабельных пространств, где всякое $Z_\alpha$ $(\alpha\in\omega)$ содержит простую несходящуюся последовательность, есть счетное плотное множество $Q\subseteq\prod\limits_{\alpha\in 2^\omega}Z_\alpha$, которое не содержит нетривиальных сходящихся в $\prod\limits_{\alpha\in 2^\omega}Z_\alpha$ последовательностей.

By the Hewitt–Marczewski–Pondiczery theorem, the Tychonoff product of $2^\omega$ separable spaces is separable. We continue to explore the problem of the existence in the Tychonoff product $\prod\limits_{\alpha\in 2^\omega}Z_\alpha$ of $2^\omega$ separable spaces a dense countable subset, which does not contain non-trivial convergent sequences. We say that a sequence $\lambda=\{x_n\colon n\in\omega\}$ is simple, if, for every $x_n\in\lambda$, a set $\{n'\in\omega\colon x_{n'}=x_n\}$ is finite. We prove that in the product of separable spaces $\prod\limits_{\alpha\in 2^\omega}Z_\alpha$, such that $Z_\alpha$ $(\alpha\in 2^\omega)$ contains a simple nonconvergent sequence, there is a countable dense set $Q\subseteq\prod\limits_{\alpha\in 2^\omega}Z_\alpha$, which does not contain non-trivial convergent in $\prod\limits_{\alpha\in 2^\omega}Z_\alpha$ sequences.