Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 3.4.6
Exercise 3.4.6
Prove that set is connected if and only if, for all nonempty disjoint sets and satisfying , there always exists a convergent sequence with contained in one of or , and an element of the other. (Theorem 3.4.6)
Answers
Both are obvious if you think about the definitions, here’s some formal(ish) garbage though
Suppose is nonempty and let be an element in both, implies therefore (the set of limit points of ) meaning there must exist a sequence contained in .
Now suppose there exists an in with limit in , then clearly is nonempty.