First a small disclaimer that I have been introduced to manifolds but I am not extremely comfortable with them in the general case yet, however I am taking a course on curves and surfaces (which is almost over) and thus am quite familiar with them (i.e. I know what manifolds are, but I am more used to working with curves and surfaces in $\mathbb R^3$ and $\mathbb R^2$).

My question is why is must we restrict ourselves to defining manifolds as homeomorphic to open subsets of $\mathbb R^n$. Allowing us to use closed sets would allow us, for example to cover $S^2$ with a single surface patch, as opposed to two, which seems like an attractive property.

I'm going to go on to study more advanced differential geometry very soon and I would love to have a good motivation for this property. Thanks in advance!

  • 4
    $\begingroup$ Basically, to work with calculus you need domains to be open sets. :) $\endgroup$ – Ted Shifrin Mar 30 '17 at 17:01
  • 2
    $\begingroup$ I think you can find your answer in Why is a topology made up of 'open' sets?. $\endgroup$ – MohammadSh Mar 30 '17 at 17:03
  • 1
    $\begingroup$ @nyquist_plot: A small correction: manifolds are not homeomorphic to open subsets of $\Bbb R^n$, but locally-homeomorphic. $\endgroup$ – Alex M. Mar 30 '17 at 17:05
  • 2
    $\begingroup$ @nyquist_plot The "surface patch" you are proposing for $S^2$ is the identity? Because the sphere is not homeomorphic to a subset of $\mathbb{R}^2$. And among many problems, note that if the definition were to consider closed subsets, not even dimension of connected manifolds would be well-defined. Besides, differential topology would stop short without the inverse function theorem, the fact that an atlas provides an open cover etc etc etc. $\endgroup$ – Aloizio Macedo Mar 30 '17 at 17:12
  • 3
    $\begingroup$ Possibly a good property of locally homeomorphic to open sets in $\Bbb R^n$ is that manifolds will be locally path-connected, which would be good for doing calculus because we want to study how the value of function changes along a curve (i.e. differentiation). This property cannot be captured by closed sets because there are badly behaving closed sets, e.g. Cantor set. $\endgroup$ – edm Mar 30 '17 at 17:30

Open sets (of fixed dimension) have a single "local model", namely an open ball. For closed sets, by contrast, matters are about as nasty as one can imagine:

  • In a Hausdorff space, points are closed; calling a Hausdorff space a "manifold" if for every point $p$, there exists a closed set $V$ containing $p$ and a homeomorphism from $V$ to some closed set in a Cartesian space is no condition at all. (Take $V = \{p\}$.)

  • Most closed sets are not the closure of an open set, e.g., non-empty closed sets with empty interior. The preceding point aside, there is no hope of deducing any kind of structure on a space locally modeled on closed sets.


What type of set is a function differentiable on?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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