Connected space

From Topospaces
Revision as of 04:50, 18 August 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article defines a homotopy-invariant property of topological spaces, i.e. a property of homotopy classes of topological spaces


View other homotopy-invariant properties of topological spaces OR view all properties of topological spaces

This article defines a property of topological space that is pivotal (viz important) among currently studied properties of topological spaces

Definition

Symbol-free definition

A topological space is said to be connected if it satisfies the following equivalent conditions:

  • It cannot be expressed as a disjoint union of two nonempty open subsets
  • It cannot be expressed as a disjoint union of two nonempty closed subsets
  • It has no clopen subsets other than the empty subspace and the whole space

Relation with other properties

Stronger properties

Metaproperties

Products

This property of topological spaces is closed under taking arbitrary products
View all properties of topological spaces closed under products

Any product of connected spaces is connected (this is true for finite, as well as infinite, products).