Bonjour,
Je ne suis pas très inspiré pour montrer cela :
Etant donnée (v_n) une suite de fonctions continues sur un ouvert O qui converge uniformément vers v. On suppose que x_0 ∈ O est un point de minimum local strict de v, et on veut montrer qu'il existe une suite de points de min local de v_n qui converge vers x_0.
Je ne voit pas comment construire la suite de minimum, si quelqu'un a une idée ? Merci d'avance.
-----