Bonjours, je galère sur un exo en topologie, j'ai réussit à un peu l'avancer mais je ne suis pas sure de mon raisonnement.. Le raisonnement devient bof a partir de la question 5 je dirai
Voici l'exo:
1- On a que l'ensemble de définition de f est ici R^2 . La fonction est bien de classe C^1 . Pour le démontrer il suffit de trouver les dérivées partielle de f et montrer qu'elles sont bien définit sur Df.
Donc la je les cacule et montre bien que les dérivée partielle sont continue sur Df. Je précise qu'un polynome est bien continue et que donc f est bien C^1 sur Df.
2- Pour démontrer la convergences de , on va fixer x1 et x2 séparement , par la suite je calcule la limite séparement et montre bien que les tendent vers +inf et donc que la limite de f quand x tend vers + infini est bien + infini
3- Pour démontrer que l'ensemble est compact j'ai juste utiliser le faites que l'ensemble devait être à la fois borner et fermé. J'ai bien utiliser les caractérisation séquentielle pas de soucis (du moins j'éspère).
4-La fonction f(x) est continue. De plus elle est définie sur un compact. Or, on sait que toute fonction continue sur un compact atteind ses bords. On en déduits donc que la foncion f(x) admet bien un inf quand x appartient a K.
A PARTIR DE LA JE NE SUIS PAS DU TOUT SURE DE MON RAISONNEMENT
5- Admettons que f admette un inf sur la frontière de K, cela voudrait dire que f n'aurai pas de valeure sur: puisque le minimum serait atteind en 2. On peut donc admettre que si f est définie sur K c'est qu'il admet un inf dans l'intérieure de K.
6- On a bien que f admet un minimum en f(x0) tq inf f(x) = f(x0) d'après la question 5.
Alor si J(f)(x0)=0 . C'est que x0 appartient au noyen de g tq le produit de la jacobienne et du vecteur x0 donne bien 0.
7- A l'aide des question précèdentes, on en déduit que x0 est bien le minimum de f sur K
8- On a réussit à démontrer que f est minorée sur le compact K tq KC(inclus)Df . On en déduit que f est minorée sur Df.