Un défi?
Trouver une topologie sur R non triviale (disons au moins séparée, le plus simple est de prendre une métrique a priori), non discrète qui fait de R un corps topologique (addition, multiplication continues) mais qui ne soit pas la topologie usuelle.![]()
-----