Soit un espace topologique normal, un ouvert de , et un fermé inclus dans .
Montrer qu’il existe une application continue
telle que si , et si .
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Il s’agit d’une application directe du lemme d’Urysohn, avec les fermés et (ce dernier étant fermé puisque est ouvert), qui sont disjoints puisque si , alors .
Donc, d’après le lemme, il existe une application continue valant sur et sur . C’est exactement ce qu’on voulait !
