Теорема Уитни о вложении — утверждение дифференциальной топологии, согласно которому произвольное гладкое -мерное многообразие со счётной базой допускает гладкое вложение в -мерное евклидово пространство. Установлено Хасслером Уитни в 1938 году.
Этот результат оптимален, например, если — степень двойки, то -мерное проективное пространствоневозможно вложить в -мерное евклидово пространство.
Случаи и устанавливаются напрямую.
Для доказательства случая используется факт, что гладкое отображение общего положения является погружением с конечным количеством точек трансверсального самопересечения.