boisgera / CDIS

Calcul Différentiel, Intégral et Stochastique
Other
15 stars 24 forks source link

Existence d'un maximum #150

Closed boisgera closed 4 years ago

boisgera commented 4 years ago

pour une fonction continue sur un sous-ens fermé borné de R^n.

Mettre ça dans la section "complétude" ; c'est l'argument clé (en fait on pourrait y prouver Heine-Borel si ou voulait, mais laissons-ça en annexe).