最近，松本幸夫『多様体の基礎』を読んでいたのですがようやく楽しくなってきました． 埋め込み定理（任意のコンパクトm次元C^r級多様体 M に対し，十分次元の高い数空間 ℝ^n へのC^r級の埋め込み g:M→ℝ が存在する（1≤r≤∞）．）はステートメントは格好良い…