3. the degree of the zero polynomial is -∞
Conversation
4. the maximum of zero numbers is -∞; the minimum of zero numbers is +∞
5
30
5. the determinant of the 0x0 matrix (the empty matrix, with no entries) is 1
4
27
6. the empty graph is disconnected, and so is the empty topological space, for the same reason that 1 isn't a prime number
6
2
30
7. there's a different empty manifold in each dimension: a zero-dimensional empty manifold, a 1-dimensional empty manifold, etc. (and of course none of them are connected or path-connected)
2
17
That's an unreasonable convention. The dimension of a manifold is a locally constant function on the manifold.
1
you need a different empty manifold in each dimension for it to always be true that an n-manifold with boundary has a boundary which is an (n-1)-manifold, and in turn you need this to always be true to make cobordism categories work
ncatlab.org/nlab/show/cobo
2
1
one way to say this is that "n-manifold" fundamentally includes n as part of the definition; the fact that invariance of domain lets you recover n from the underlying topological space for non-empty manifolds is a convenience but it obscures what's going on
1
1
Is the disjoint union of two differently-dimensioned manifolds a manifold
2
i actually know of no applications of allowing this. everywhere i’ve seen manifolds show up in other branches of math (most prominently in the neighborhood of the cobordism hypothesis, quantum topology, etc) we only ever consider n-manifolds for some n
2
1
here’s one simple observation that’s related: if you allow disconnected manifolds with components of different dimensions then you can’t consider the tangent bundle of a smooth manifold to be a principal G-bundle for any fixed G
That's true. But my initial concern was that the empty manifold doesn't exist in all dimensions. (I agree that there's an empty n-manifold, for each n)