Intereting Posts

Problem from Olympiad from book Arthur Engel
Proving that the limit of an integral of a series exists
Fitting of Closed Curve in the Polar Coordinate.
Axiom of choice and automorphisms of vector spaces
Pursuit Curve. Dog Chases Rabbit. Calculus 4.
Most succinct proof of the uniqueness and existence of the Levi-Civita connection.
How to characterize recurrent and transient states of Markov chain
Eventually periodic point and homeomorphism.
Unique least square solutions
Factorization, simple expression!
Calculating probabilities over different time intervals
Compute integral closure of $F/(x^2-y^2z)$.
Applying Freyd-Mitchell's embedding theorem on large categories
if a complex function $f$ is real-differentiable, then $f$ or $\overline{f}$ are complex-differentiable
Disjoint compact sets in a Hausdorff space can be separated

I would like to learn purely topological characterizations of the closed real intervals (to justify the existence of algebraic topology). In particular, such a characterization should not use real numbers. I would like to see in what sense $[0, 1]$ is topologically more important than, for example, the set of rationals, or the complex unit disc. I am especially interested in why the unit interval is so important in the study of compact Hausdorff spaces (metrization, Urysohn’s lemma).

I have come up with the following one.

Start with a definition of *path connectedness* that does not use $\mathbb R$: $x_1$ and $x_2$ are *connected by a path in $X$* if for every Hausdorff compact $C$ and $a,b\in C$, there is a continuous $f\colon C\to X$ such that $f(a)=x_1$ and $f(b)=x_2$. Now, if $X$ is a Hausdorff space and distinct points $x_1$ and $x_2$ are connected by a path in $X$, then there is a minimal subspace of $X$ in which $x_1$ and $x_2$ are still connected by a path, and every such subspace is homeomorphic to $[0, 1]$.

- Products and Stone-Čech compactification
- If $f:\mathbb{R}\to\mathbb{R}$ is continuous and $f(x)\neq x$ for all $x$, must it be true that $f(f(x))\neq x$ for all $x$?
- Showing a uniformity is complete.
- Is there a name for a topological space $X$ in which very closed set is contained in a countable union of compact sets?
- Characterisation of extreme mono- and epi- morphisms in category of topological spaces.
- Why did mathematicians introduce the concept of uniform continuity?

Roughly speaking, $([0, 1], 0, 1)$ is the minimal bi-pointed Hausdorff space such that every bi-pointed Hausdorff compact can be mapped into it with the distinguished points being sent onto the distinguished points.

Maybe in some sense it can be also said that $X = [0, 1]$ is the “minimal” Hausdorff space such that every Hausdorff compact embeds into $X^N$ for some $N$, but i do not know how to make this precise.

My question is: what are other “natural” topological characterizations of $[0, 1]$?

Update: I have duplicated this question on MathOverflow.

- Motivation for the term “separable” in topology
- Simple question about closed sets
- Is the image of a path or arc locally path/arc connected?
- Prove that $\Bbb R^2 - \{0\}$ is homeomorphic to $S^1 \times \Bbb R$.
- $\mathbb{R}$ with the lower limit topology is not second-countable
- Is this octogon topologically equivalent to the Klein Bottle?
- Continuously extending a set of independent vectors to a basis.
- An elementary way to show any bounded subset of $\Bbb{R}^k$ is totally bounded
- Show that $(X\times Y)\setminus (A\times B)$ is connected
- The prime spectrum of a Dedekind Domain

It is the unique second countable continuum with two non-cutpoints. This is due to Veblen, according to this overview.

A continuum is a connected and compact Hausdorff space, and a cutpoint (in a connected space) is a point that when removed leaves the remainder disconnected. The second countable is a (non-reals using) way of saying metrisable. One can prove the compactness and connectedness purely from order completeness of the order.

This is a duplicate of my answer on MO

Consider the class of all Hausdorff compacts with distinct points (i.e. which have more than $1$ point) that are absolute retracts in the class

of Hausdorff compacts.

Then $[0,1]$ is up to homeomorphism the only member of this class that embeds into every other.

A lesser-known characterization than the cut-point/end-point one is: A compact, connected metric space (‘continuum’) is an arc if and only if it is arc-like and path-connected.

A continuum $X$ is *arc-like* if for every $\epsilon > 0$ there is a continuous mapping $f: X \rightarrow [0,1]$ with diam$(f^{-1}(y)) < \epsilon$ for all $y \in [0,1]$.

There are also characterizations within the setting of locally connected spaces. The book ‘Continuum Theory’ by Sam Nadler has a lot of characterizations of the arc.

In my opinion all characterizations of the interval $[0,1]$ that are not using the totality of real numbers are far from being natural and are awkward at least.

It is very simple to define what a closed interval is when you have the notion of the real numbers: it is a compact and connected subspace. The other way, from the interval to the whole totality of real numbers, is unnatural.

You can of course argue that you do not need the totality of real numbers to define the closed interval. It is true. But you still need the concept of the totality of real numbers (at least on the intuitive, naive level) to convince yourself that the space you defined really is (isomorphic) to the closed interval. Without it (assume you never heard about the set of real numbers) you just have defined some species of topological space. You do not know apriori that it has all the properties you demand from the closed interval, since you don’t know what a closed interval is. Therefore you do not know that it is useful from your perspective.

From the philosophical point of view such a definition is a classical vicious circle.

Do you really want to justify the existence of algebraic topology on the basis of vicious circle?

Please stay with what is simple, beautiful and not awkward.

Alexey, in your comment you asked about properties making $[0,1]$ more significant than other spaces. I believe that the properties making $[0,1]$ (and its higher dimensional analogues) so special are not of purely topological nature.

Algebraic topology is about functors from the topological world to the algebraic world. Those functors are used to extract topological knowledge from algebraic relations. From the topological perspective the functors of algebraic topology have to be computable to be of any value. For instance: you want to prove that two spaces are not homeomorphic. You are computing their fundamental groups (or other algebraic functors) and see that they are not isomorphic. The reason that you succeded was beacause you were able to compute those algebraic objects effectively. In this toy example I would like to point out that the crucial property of the functors of algebraic topology is computability.

To make my point of view more precise: usefulness and significance of the intervals in the realm of algebraic topology are not of purely topological nature.

They are of topological, algebraic and computational nature.

Just like the algebraic topology is about topology, algebra and computation of functors.

The intervals are so special because they can be used to construct functors that are “easily” computable. (I don’t think that this reason can be dissected any further. Also, it does not exclude the possibility that other spaces have this property.)

- Show the Volterra Operator is compact using only the definition of compact
- Question about permutation cycles
- Difference between gradient and Jacobian
- When is there an $m$ that divides $u^{an+b}+v^{cn+d}$ for all $n$
- Existence of a measure
- Where can I find SOLUTIONS to real analysis problems?
- Making an infinite generating function a finite one
- $C$ with metric $d_2$ not complete
- Confusion about the definition of function
- If $abc=1$, then $\frac{a^{n+2}}{a^n+(n-1)b^n}+\frac{b^{n+2}}{b^n+(n-1)c^n}+\frac{c^{n+2}}{c^n+(n-1)a^n} \geq \frac{3}{n} $
- Are elementary and generalized hypergeometric functions sufficient to express all algebraic numbers?
- Does UFD imply noetherian?
- Recommend a statistics fundamentals book
- Set of cluster points of a bounded sequence
- Show that $e^{\sqrt 2}$ is irrational