Egzotyczny R4

Egzotyczny $\mathbb {R} ^{4}$ – właściwość czterowymiarowego układu Euklidesowego $\mathbb {R} ^{4}$, który dopuszcza kontinuum rozmaitości różniczkowalnych, które są z nim homeomorficzne (mówiąc kolokwialnie „zachowują kształt”) lecz nie są z nim dyfeomorficzne (mówiąc kolokwialnie „pochodna się gubi”). Rozmaitości takie nazywa się egzotycznymi.

Ich pierwsze przykłady odnalazł Michael Freedman i inni w 1982 roku, wykorzystując kontrast pomiędzy twierdzeniem Freedmana o topologicznych 4-rozmiatościach, a twierdzeniem Simona Donaldsona o 4-rozmiatościach gładkich (różniczkowalnych).