ホイットニーの拡張定理（未完成）

いつまで経っても細かい修正が終わりそうにないので記事にしちゃいます。

細かいところで間違っているかもしれないです。

ユークリッド空間の閉集合上の「可微分関数」がユークリッド空間の可微分関数の制限でしかないという定理です。おまけでサードの定理にまつわる反例を載せています。

www.dropbox.com