- #1
Arkuski
- 40
- 0
I'm trying to come up with a simple proof that if [itex]M[/itex] is an embedded submanifold of [itex]N[/itex], and [itex]P[/itex] is an embedded submanifold of [itex]Q[/itex], then [itex]M×P[/itex] is an embedded submanifold of [itex]N×Q[/itex]. I'm thinking this could be easily done using showing that [itex]M×P[/itex] satisfies the local [itex]k[/itex]-slice condition, or that the product of smooth embeddings (from the respective inclusion maps) is also a smooth embedding.