2
$\begingroup$

from: http://planning.cs.uiuc.edu/node132.html

I don't understand visually or analytically why the three images with arrows are not manifolds.

enter image description here

It would be nice to have an intuitive explanation too why they are not manifolds, similar to this explanation for what is a manifold:

"So a manifold is something that, looking at a small piece, always looks like a some linear space, of a consistent dimension. A submanifold is just a subset of a manifold that is itself a manifold (of smaller dimension). An example would be the equator as a submanifold of the surface of earth. The equator is a giant circle, like the big circle of wire above. It's a subset of the earth's surface, so it's a submanifold of it."

And then, how can we prove that the square, the line are manifolds?

Definition of homeomorphic: two topological spaces X and Y are homeomorphic if $\exists f: X \rightarrow Y$ s.t. f is bijective, f is continuous, and $f^-1$ is continuous.

I have some thoughts, please judge if they are correct. I will refer to the figures by number 1-8, with the top left rectangle being 1, the top right bow being 4, and the bottom right T-shape being 8.

Mainly, I understand homeomorphism in the above examples to be something like, if we zoom in as much as possible on each point and think about what the infinitesimal neighborhood around that point looks like, does it look like a line ($R^1$) or plane ($R^2$)?

Figure 1: I assume the manifold here refers to the points along the edges of the rectangle and not the inner area itself. The points along the edge of the rectangle are homeomorphic to $R^1$ and the corner points are homeomorphic to $R^2$. But actually, the corner points don't seem homeomorphic to $R^2$ here if the center point of Figure 4 (the bow) is not homeomorphic to $R^2$ - in both cases, there is not a radial neighborhood of valid points around the target point (corner in rectangle and center in the bow) in question.

$\endgroup$
  • $\begingroup$ Those points have no neighbourhoods homeomorphic to $\Bbb R^n$ or to $[0,\infty)\times\Bbb R^{n-1}$. $\endgroup$ – Lord Shark the Unknown Feb 8 '19 at 5:10
  • $\begingroup$ @LordSharktheUnknown how to prove or show that more rigorously? $\endgroup$ – user3180 Feb 8 '19 at 5:13
  • $\begingroup$ Homeomorphism is stronger than bijective and continuous. You also need to specify that the inverse map be continuous. An example of a map that is continuous and bijective, but not a homeomorphism is $f\colon [0,2\pi)\to S^1$ defined by $f(t) = (\cos t,\sin t)$. $\endgroup$ – Alex Ortiz Feb 8 '19 at 6:08
2
$\begingroup$

For Examples 6 and 8, look at what happens if we take a small neighborhood of the troublesome point, and remove that one point. It cuts the neighborhood into four connected components (for #6) or three components (for #8), while a line segment would be cut into two components. That number of components is a purely topological property - it's invariant under homeomorphism. So, then, neighborhoods of the troublesome point where the curves cross are not homeomorphic to line segments, and Examples 6 and 8 aren't (1-dimensional) manifolds.
This is an informal version, but the argument here can be made rigorous.

Examples 4 and 7 don't really fit with the other examples as shown - they depend on how we handle the boundary curves.

If we exclude those curves completely, both sets are manifolds. Example 4 has two connected components and Example 7 has one component (with a hole in it).

If we include those boundary curves completely, both sets aren't manifolds. Anywhere on the boundary, we don't have a radial neighborhood.

If we include some but not all points on the boundary curves - that's a hard notion to convey in a picture like this.

There is a notion that allows for Example 7 but not Example 4 - that of a "manifold with boundary". In it, we split the set into an "interior" and a "boundary" so that the interior is a manifold with dimension $n$ and the boundary is a manifold with dimension $n-1$. Then, Example 4 fails because its boundary curve isn't a dimension-1 manifold, for the same reason as Example 6.

Now, one thing to watch with your intuition - at this level, there's no difference between the corners in Example 7 and random points on the edges. Any wedge shape in $\mathbb{R}^2$ is homeomorphic to any other wedge shape, regardless of angle. That includes $180^\circ$ angles. We can straighten out the kinks in the boundary freely, if all we require of the maps is continuity (in both directions).
For essentially the same reasons, the corners in examples $1$ and $5$ aren't any different from points on the straight parts.

And then, how can we prove that the square, the line are manifolds?

The line - well, we want to show that it's locally homeomorphic to part of a line. Since it's globally homeomorphic to a line (the identity map), just use that. If we didn't have that $\mathbb{R}^n$ is an $n$-manifold, we would tear the definition up and start over.
For the square, first show that it's homeomorphic to a circle. Draw a circle with the same center. On each ray from the center, map the intersection of that ray with the square to the intersection of that ray with the circle. That map is a homeomorphism.
From there - have you shown that the circle is a manifold?

$\endgroup$
  • $\begingroup$ "Now, one thing to watch with your intuition - at this level, there's no difference between the corners in Example 4 and random points on the edges. ... For essentially the same reasons, the corners in examples 1 and 5 aren't any different from points on the straight parts." $\endgroup$ – user3180 Feb 8 '19 at 6:58
  • $\begingroup$ You lost me here. How are you defining wedge? also, did you mean example 4 (the bowtie) or 5? $\endgroup$ – user3180 Feb 8 '19 at 6:59
  • $\begingroup$ Also, with the circle-square homeomorphism, I understand your argument shows that there is a bijective mapping f. But how do you show that f and f inverse are continuous? $\endgroup$ – user3180 Feb 8 '19 at 6:59
  • $\begingroup$ "The corners in Example 4" - I meant #7 on that one. Fixed now. A wedge is a region bounded by two rays from the same point - in polar coordinates, it would be $a<\theta<b$. (Well, I suppose I should talk about open wedges and closed wedges) $\endgroup$ – jmerry Feb 8 '19 at 7:59
  • $\begingroup$ How do I show that the circle-square mapping is continuous? If we were to write down a formula, it would involve dividing by a distance. That distance is a continuous function. In the other direction, we're multiplying by a continuous function of the angle - something that looks like $\sec$ from $-45^\circ$ to $45^\circ$, spliced together four times around the circle. $\endgroup$ – jmerry Feb 8 '19 at 8:03

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.