4
$\begingroup$

The empty set can be regarded as an object in the category of smooth manifolds, at least for technical considerations.

Is the empty set an orientable manifold?

  • 0
    Just a note: The authors of this book http://books.google.no/books?id=i3FYIWIYu5QC&pg=PA327&lpg=PA327&dq=%22empty%20set%22%20orientable&source=bl&ots=lp_k2_LYO5&sig=4FlBGXlBsUr5ka974taa7mpdRXY&hl=en&sa=X&ei=g-6LUOPnOZGM4gSnp4HoCg&redir_esc=y#v=onepage&q=%22empty%20set%22%20orientable&f=false stipulate in the footnote on page 327 that the empty set *is* orientable.2012-10-27

2 Answers 2

-3

EDIT: This is wrong. See Henning Makholm's answer below.

An $n$-manifold is orientable if and only if it has a nonzero differential form taking $n$ arguments. The empty manifold has no nonzero forms whatsoever, so it is not orientable in any dimension.

  • 0
    I'm not sure if I like this answer. What about using the empty map? The form only has to be non-zero on every point of the manifold which is trivally satisfied for the emptyset.2012-10-27
  • 1
    The relevant condition is not at the differential form must be different from the everywhere zero form, but that _at each point in the manifold_, the differential form's restriction to that point's tangent space must be nonzero. This is true of the empty map, because there are no points to check it for.2012-10-27
6

Contradicting Espen's answer: The empty map does (vacuously) provide a nonzero differential form at every point on the manifold, and does so continuously. Therefore the empty manifold is orientable in every dimension.

(But really this will depend on the exact definition you're working with, and among the various usually-assumed-equivalent definitions for "orientable" there are some that are only really equivalent when the manifold is assumed to be nonempty).

  • 0
    Ok, this appeared at the very same time of my reply to the other answer. And I agree with this.2012-10-27
  • 0
    But what if we view the emptyset as a closed manifold. It most certainly does not have $\mathbb{Z}$ as its top homology group. This gives that the emptyset is not orientable for any $n$.2012-10-27
  • 0
    @M.B.: But the orientable double cover of the empty set is the empty set itself, which is connected. Therefore the empty set is orientable in every dimension.2012-10-27
  • 0
    But... Is the empty set really connected? Also, a manifold is orientable if and only if the orientable double cover is *disconnected*. So I'm not sure if your last comment is an argument for or against orientability of the empty set :-)2012-10-27
  • 0
    @commenter: Hm, oops. I'll have to claim that the empty set is _disconnected_ then. But that it certainly is, because the set of its connected components has cardinality $\ne 1$. :-)2012-10-27
  • 0
    The empty set is pathwise connected and totally disconnected and discrete and hausdorff and whatever you like. Before applying any theorems (like "orientable iff orientable cover is disconnected"), please check whether they apply to the empty case. For the empty set we don't even have a well-defined dimension (which hints towards disconnected once again)2012-10-27
  • 0
    But one often sees orientability defined in terms of such theorems... edit: to be clear, which definition of orientability should we apply here?2012-10-27