Closed unit interval: Difference between revisions

From Topospaces
(Created page with '==Definition== ===As a subset of the real numbers=== The '''closed unit interval''' is defined as the interval <math>[0,1]</math> or the set <matH>\{ x \in \R \mid 0 \le x \le ...')
(No difference)

Revision as of 00:00, 10 October 2010

Definition

As a subset of the real numbers

The closed unit interval is defined as the interval [0,1] or the set {xR0x1}.

As a metric space

The closed unit interval is the metric space [0,1] with the Euclidean metric.

As a manifold with boundary

Fill this in later

As a topological space

The closed unit interval is the set [0,1] with the subspace topology induced from the real line.

Equivalent spaces

Space How strongly is it equivalent to the closed unit interval?
[a,a+1] for aR equivalent as a metric space; in fact, equivalent as a subset of the metric space R, in the sense that an isometry of R (translation) sends [0,1] to [a,a+1]
[a,b] for a,bR, a<b equivalent as a (differential) ormanifold with boundary and hence also as a topological space. Conformally equivalent as a metric space or as a Riemannian manifold with boundary.
Any compact 1-manifold with boundary equivalent as a (differential) manifold with boundary.
Any contractible space homotopy-equivalent