Limite et continuité d'une fonction dans un espace vectoriel normé
Dans ce qui suit, et désignent deux espaces vectoriels normés dont les normes sont notées et .
Un élément est adhérent à une partie de si : .
Définition :
Soit une application d'une partie de dans et un point adhérent à .
L'application admet en une limite si : .
Dans le cas où , on retrouve la définition usuelle d'une limite.
Fondamental :
Propriétés :
La limite, si elle existe, est unique et on la note : ou .
Si une fonction admet en une limite pour une norme, elle admet la même limite pour toute norme équivalente.
L'ensemble des fonctions définies sur et qui admettent une limite en est un espace vectoriel et l'application qui à toute fonction associe sa limite est linéaire.
Une application admet en une limite si et seulement si, pour toute suite d'éléments de qui converge vers , la suite converge vers .
Donc, s'il existe deux suites et d'éléments de qui convergent vers telles que les suites et n'admettent pas la même limite, alors la fonction n'admet pas de limite en .
Définition :
Une application d'une partie de dans est continue en si elle admet en une limite. Alors : .
Les propriétés sont conséquences des propriétés des limites.
Fondamental :
Propriétés :
Si une fonction est continue en pour une norme, elle est continue en pour toute norme équivalente.
L'ensemble des fonctions définies sur et continues en est un espace vectoriel.
Une application est continue en si et seulement si, pour toute suite d'éléments de qui converge vers , la suite converge vers .
Donc pour démontrer qu'une fonction n'est pas continue en , il suffit de trouver une suite d'éléments de qui converge vers telle que la suite ne converge pas vers .
Définition :
Une application d'une partie de dans est continue sur si elle est continue en tout point de .
Par exemple, l'application de dans définie par est continue sur .
Soit . Une application de dans est - lipschitzienne si : .
Fondamental :
Toute application - lipschitzienne de dans est continue sur .
Dans le cas des applications linéaires : .
Fondamental :
Cas des applications linéaires
Une application linéaire de dans est continue sur si et seulement si elle est continue en : .
Une application linéaire de dans est continue sur si et seulement si elle est bornée sur la boule unité : .
Si est de dimension finie, toute application linéaire de dans est continue sur .
En particulier, si est un produit d'espaces vectoriels normés, les applications composantes : sont continues sur muni de la norme produit.
Définition :
L'application qui à toute application linéaire de dans et continue sur associe le réel est une norme sur l'espace vectoriel des applications linéaires continues sur , appelée norme subordonnée aux normes de et de .
Fondamental :
Propriétés :
Une autre expression de la norme subordonnée est : .
Si et sont linéaires et continues, alors : .