エキゾチック R4
エキゾチック R 4 {\displaystyle \mathbb {R} ^{4}} は標準的な R 4 {\displaystyle \mathbb {R} ^{4}} の開部分集合として滑らかにに埋め込みできる場合、小さいと呼ばれる。
小さなエキゾチック R 4 {\displaystyle \mathbb {R} ^{4}} は自明でない滑らかな 5次元のh-コボルディズム(この次元ではh-コボルディズムの定理が成り立たないというドナルドソンの証明によって存在する) から始めて、位相的なh-コボルディズムの定理がこの次元で保持されるフリードマンの定理を使用することによって構築できる。