Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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]$.

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.

share|improve this question
    
This is closed related to the question "What properties make [0,1] a good candidate for defining fundamental groups?" on MO: mathoverflow.net/questions/92206/… –  Adeel Mar 6 '13 at 11:10

3 Answers 3

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.

share|improve this answer
1  
Thanks, but i would prefer to avoid countability assumptions, as it is not clear in my opinion why they are so important. Also it is not clear why it is better to have two non-cutpoints than to not have cutpoints at all. In what sense is a closed interval "better" than an open interval or a circle? –  Alexey Mar 6 '13 at 12:47
1  
@Alexey: Perhaps you should add these preferences to your question, since Henno did answer the question that you actually asked: he provided a purely topological characterization of $[0,1]$. –  Brian M. Scott Mar 6 '13 at 14:44
1  
A cutpoint is a point that when removed doesn’t leave the remainder still connected, right? –  Emil Jeřábek Mar 6 '13 at 17:16
    
@EmilJeřábek yes, you are right. I was defining non-cutpoint instead (as the characterisation involves them). I made the edit. Thx. –  Henno Brandsma Mar 6 '13 at 17:24

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.)

share|improve this answer
1  
I should maybe clarify my question: i am not asking just for an alternative definition of $[0, 1]$, i am asking why to bother to study it topologically, and not some Hawaiian earring instead. I am asking for properties that would show in what sense $[0, 1]$ is more topologically significant than the same interval of rationals or the unit disc in the complex plane. –  Alexey Mar 6 '13 at 13:29
    
@Alexey I added something to my answer. I hope that I stated my view clearly. –  Godot Mar 6 '13 at 14:18
1  
I see, but my question is about any significance of $[0, 1]$ of purely topological nature, such that the possibility that other spaces have that property be excluded :). –  Alexey Mar 6 '13 at 14:32
3  
-1: I didn't find any mathematical content here, let alone an answer to the OP's question. "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 scarcely possible that you are familiar with "all" the topological characterizations of [0,1], so it seems you are merely stating a prejudice / lack of interest in the question. "From the philosophical point of view such a definition is a classical vicious circle." There is nothing inherently circular in the OP's question. –  Pete L. Clark Mar 6 '13 at 16:13
1  
My above remark came out more ad hominem than intended. I don't know Godot personally, but from what I can see on the site, s/he seems to be a mathematically knowledgeable individual. What I meant was that there is presumably a limitless supply of topological characterizations of [0,1], so it is scarcely possible that any one person knows "all of them". –  Pete L. Clark Mar 6 '13 at 19:17
up vote 2 down vote accepted

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.