Connected space

cosmos 26th September 2017 at 6:28pm
Connectedness Topological space

A Topological space is connected if it has no separation

This is equivalent to the condition that the only sets which are both open and closed are trivial (Clopen sets). Clear from the definitions.

Example: Real line with the Lower limit topology (Rl\mathbb{R}_l is not connected

Reals with Standard topology is connected.

Lemma: If X=CDX=C\cup D is a separation and YXY \subset X (with Subspace topology) is connected, then wither YCY \subset C or YDY \subset D. Proof

Lemma a union of connected subsets is conncted if they have at least one point in common. Suppose AαXA_\alpha \subset X are connected, αJ\alpha \in J and αJAα\cap_{\alpha \in J} A_\alpha \neq \emptyset, then their union is connected. Proof

Proposition. Let AXA \subset X be connected, and ABA¯A \subset B \subset \bar{A}, then BB is connected. In particular, the closure of a connected subspace is connected (the case B=A¯B = \bar{A}). Proof.

Lemma. The image of a connected set by a continuous function is connected. If f:XYf: X \rightarrow Y is continuous and XX is connected, then f(X)f(X) is connected. Proof

Theorem. A product αJXα\prod_{\alpha \in J} X_\alpha of connected spaces with the Product topology is connected. Proof

Linear continuum