Calcul différentiel/Limites et continuité

Introduction

Une façon pour calculer l'aire d'un cercle est de dessiner un polygone régulier ayant le plus grand nombre de côtés dans le cercle. Donc, plus le nombre de côtés du polygone est grand, plus l'aire du polygone se rapproche de l'aire du cercle. Ainsi, l'aire d'un octogone est plus proche de l'aire du cercle que l'aire d'un carré, mais l'aire d'un polygone régulier à seize côtés serait encore plus proche de celle du cercle, etc.

Un autre problème évident est celui de la recherche de la pente d'une droite tangente à une courbe. Nous pourrions estimer la pente de cette tangente en calculant la pente d'une sécante de la courbe. Mais, si nous rapprochons la sécante un peu plus près de la tangente, nous aurions une pente encore plus précise, mais moins qu'une sécante encore plus près…

Dans ces deux problèmes, le concept de limite nous permettra de résoudre ces problèmes en nous rapprochant le plus possible du point intéressant.

Continuité

Introduction

La continuité est une propriété « sympathique » des fonctions d'une variable. La plupart des fonctions « usuelles » sont continues (même si la plupart des fonctions tout court ne l'est pas) et l'extension de cette notion à des fonctions de plusieurs variables est intéressante.

Notations et définitions

Dans toute cette leçon, $E$ et $F$ désignent des espaces vectoriels normés, sur $K=ℝ$ ou $ℂ$. Leurs vecteurs nuls respectifs seront tous deux notés $0$, et leurs normes respectives seront toutes deux notées $\Vert \cdot \Vert$.

Rappelons que sur un espace vectoriel réel de dimension finie, toutes les normes sont équivalentes.

Pour étendre aux espaces vectoriels normés les notions de limite et de continuité d'une fonction, il suffit de repartir de la définition de limite finie en un point pour une fonction de $ℝ$ dans $ℝ$, et de celle de continuité qui en résulte, et de remplacer les valeurs absolues par des normes :

Cas particuliers

F est un espace réel

Un produit $F_1\times \dots \times F_q$ d'espaces vectoriels normés est classiquement muni de la norme définie par $\Vert (x_1,\dots ,x_q)\Vert =\max (\Vert x_1\Vert ,\dots ,\Vert x_q\Vert )$. On démontre alors facilement : Modèle:Proposition

En particulier (cas $F_1=\dots =F_q=ℝ$), si $F$ est un espace vectoriel normé de dimension $q$ et de base $B$, une fonction $f:E\to F$ est continue si et seulement si ses $q$ applications coordonnées dans $B$ sont continues.

Rappelons de quoi il s'agit :

E est un espace réel

Continuité

Ce cas est généralement trivial : il s'agit uniquement des théorèmes usuels (opérations algébriques, composition, fonctions usuelles…). Par exemple : toute fraction rationnelle est continue sur son domaine de définition, comme quotient de deux fonctions (polynômes) continues, dont le dénominateur ne s'annule pas.

Non-continuité

Pour démontrer la non-continuité d'une fonction définie sur $E$ en se ramenant à celle d'une fonction d'une variable réelle, il suffit d'utiliser la contraposée du résultat élémentaire suivant, pour une application $\phi$ judicieusement choisie.