Skip to main content

Tangent Is the tangent bundle of the long line $L$ homeomorphic to $L\times\mathbb R$?

Source Link
Zack
  • 787
  • 1
  • 5
  • 14

Tangent bundle of the long line

Question: Is the tangent bundle of the long line $L$ homeomorphic to $L\times\mathbb R$? I'd guess that the answer doesn't depend on choice of differentiable structure, but maybe it does.

Motivation: One night at dinner, someone brought up a puzzle involving infinitely many prisoners standing in a line, and someone asked if there was a physical reason that the collection of prisoners had to be countable. In other words, might (one of) the directions in the physical universe be modeled after the long line?

The answer to that question is no: the universe has a metric, but the long line has no Riemannian structure. The standard explanation for this is that a Riemannian manifold is metrizable, and a non-paracompact space isn't. Without using fancy theorems, one could instead suppose that $L$ was Riemannian and look at the exponential map starting at a point $x$ going in the increasing direction. This is an increasing function from $\mathbb R$ to $L$, so it converges to some point $y$. Then the exponential map from $y$ downwards reaches $x$ in finite time, contradiction.

In any case, the basic result is that $L$ is not Riemannian, so its tangent bundle must be nontrivial, but only in the differential sense. One could try to instead consider a continuous metric (if the tangent bundle were indeed topologically trivial), but this wouldn't give rise to an exponential map, nor, as far as I know, a metric space structure on $L$.