Let \(M^m,N^n\subset P^p\) be smooth embedded submanifolds of a smooth manifold. \(M^m\) and \(N^n\) are said to intersect transversally if \(T_xM+T_xN=T_xP\) for every \(x\in M\cap N\). Prove that if \(M^m\) and \(N^n\) intersect transversally then \(M^m\cap N^n\) is a smooth submanifold of \(P^p\). What is its dimension?
Question
Math 6510 • Differentiable Manifolds
Fall 1998 • Question 5