While it is clear that a disjoint union of two $d$-manifolds is a $d$-manifold, it is not clear to me if the disjoint union of a $d_{1}$-manifold and a $d_{2}$-manifold is still a manifold and if yes under some conditions then what is its dimension?
Asked
Active
Viewed 89 times
1 Answers
3
This is true if and only if $d_1=d_2$. The definition of a manifold mentions only one dimension, which must be consistent across all charts.
I suppose that in order to truly believe this you must also believe in Invariance of Domain.

Randall
- 18,542
- 2
- 24
- 47
-
1It depends on what you want to take as your definition. – Santana Afton Sep 23 '19 at 01:48
-
If they are not just topological manifolds but smooth manifolds, what will be the conclusion? – Zhang Feng Sep 26 '19 at 03:26
-
The same, since invariance of domain applies to homeomorphism types, not just diffeo types. – Randall Sep 26 '19 at 09:25