Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Problem. Assume that a compact space $X$ can be written as the union $X=K\cup D$ of a compact metrizable subspace $K$ and a discrete subspace $D$. Does $D$ contain a non-trivial convergent sequence in $X$?

As shown by Ilya Bogdanov (Does every compact countable space contain a non-trivial convergent sequence?Does every compact countable space contain a non-trivial convergent sequence?) the answer is affirmative if $K$ is at most countable.

Problem. Assume that a compact space $X$ can be written as the union $X=K\cup D$ of a compact metrizable subspace $K$ and a discrete subspace $D$. Does $D$ contain a non-trivial convergent sequence in $X$?

As shown by Ilya Bogdanov (Does every compact countable space contain a non-trivial convergent sequence?) the answer is affirmative if $K$ is at most countable.

Problem. Assume that a compact space $X$ can be written as the union $X=K\cup D$ of a compact metrizable subspace $K$ and a discrete subspace $D$. Does $D$ contain a non-trivial convergent sequence in $X$?

As shown by Ilya Bogdanov (Does every compact countable space contain a non-trivial convergent sequence?) the answer is affirmative if $K$ is at most countable.

Source Link
Taras Banakh
  • 41.8k
  • 3
  • 74
  • 183

Convergent sequences in compact spaces

Problem. Assume that a compact space $X$ can be written as the union $X=K\cup D$ of a compact metrizable subspace $K$ and a discrete subspace $D$. Does $D$ contain a non-trivial convergent sequence in $X$?

As shown by Ilya Bogdanov (Does every compact countable space contain a non-trivial convergent sequence?) the answer is affirmative if $K$ is at most countable.