Theorem
Let
be a space such that for any
a connected set
exists such that
Then
is connected.
Proof
Let
be a fixed element of
then for any
there exists a connected subspace
of
such that![]()
Consider the family of sets
consisting of all connected subsets of![]()
![]()
The intersection of all the
is nonempty since![]()
Hence by this theorem
is connected.