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.

Let us have an unbounded interval, notably the whole real line no matter how close to one you are. Now we would like to construct a deformation retraction to one point, say $0$.

$f_t:\mathbb{R} \times [0,1] \to \mathbb{R}$

$x \in \mathbb{R}$

$t \in [0,1]$

$f_0(x)=x$

$f_1(x)=0$

$f_t(x)=(t-1)x$

Taking $x$ as a constant, I verified that the $f_t$ depending on $t$ is continuous for all $t \in [0,1]$.

However, what is puzzling me is the intuition and the strange behaviour that happens when $t$ is about to reach $1$, yet it is not one yet. Imagine, you are retracting the real line and it is always just a real line and then all of sudden before shrinking to something smaller, from the whole real line we have one point at $t=1$.

Is this phenomenon described in some literature? Where could I find out more about it?

share|improve this question

1 Answer 1

up vote 1 down vote accepted

This was puzzling me as well, when I first thought about it. It seems as if the real line remains at its original size all the time, then, when $t=1$, it suddenly implodes to a single point during an infinitely short period of time, and this appears somewhat discontinuous, although we assure ourselves that all the maps are continuous.

HEAVILY EDITED (last paragraph deals with difference to visual perception)

To understand intuitively that nothing evil is happening here, the following picture might be helpful:
Imagine the real line as a bar (of infinite length) which can be rotated in Euclidean plane around an axis going through zero. Let's say the real line is aligned horizontally. Formally a rotation of 90 degree counterclockwise during the unit interval at constant speed corresponds to a function $r$ mapping a pair $(x,t)$, where $x\in\mathbb R$ and $t\in I$, to the point $(x\cdot cos(\frac12\pi t),\ x\cdot sin(\frac12\pi t))$. The homotopy $f_t$ is then obtained by composing with the projection onto the $x$-axis, i.e. $f_t(x)=x\cdot cos(\frac12\pi t)$. Since this is just a rotation, it is continuous, but the image of the entire real line under the projection does not change continuously.

To see the difference between the mere projection onto the $x$-axis and what you would actually experience if you observed the rotation from under the $x$-axis: Think of yourself standing in a completely flat world, being able to see infinitely far in every direction. You'd start by looking at your shoes, seeing only the surface, then lifting your head, and eventually you will see the horizon, even though the surface of this imaginary world is infinitely vast and completely flat. Continue raising your head and the horizon will lower until it leaves your field of view. This would be what you'd see in the situation above from under the rotation axis. This shows how the projection onto the $x$-axis is different from the projection to your own eyes. If eyes were flat then you would only ever see an intervall of $\mathbb R$ for $t<1$ and nothing for $t=1$. Since the eye is curved, things are different, which is also the reason why object farther away appear smaller.

Hope this was helpful and my English was sufficient to explain what I mean :-)

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.