Semi-continuité

En analyse mathématique, la semi-continuité est une propriété des fonctions définies sur un espace topologique et à valeurs dans la droite réelle achevée $\overline{\mathbb{R}}=\mathbb{R} \cup \{-\infty, +\infty\}$ ; il s'agit d'une forme faible de la continuité. Intuitivement, une telle fonction $f~$ est dite semi-continue supérieurement en $x_0~$ si, lorsque $x~$ est proche de $x_0~$ , $f(x)~$ est soit proche de $f(x_0)~$ , soit inférieur à $f(x_0)~$ . Pour définir semi-continue inférieurement, on remplace « inférieur à » par « supérieur à » dans la définition précédente.

Sommaire

1 Exemples
- 1.1 Longueur
2 Définitions formelles
- 2.1 Semi-continuité supérieure
- 2.2 Semi-continuité inférieure
3 Propriétés
4 Semi-continuité faible

Exemples

Une fonction semi-continue supérieurement (le point complètement bleu indique f(x₀)

Une fonction semi-continue inférieurement (le point complètement bleu indique f(x₀)

Considérons la fonction f définie par $f(x) = -1~$ pour $x\ne 0~$ et $f(0)=1~$ . Cette fonction est semi-continue supérieurement, mais non semi-continue inférieurement.

La fonction partie entière $f(x)=\lfloor x \rfloor$ , qui retourne le plus grand entier inférieur ou égal au $x~$ donné, est partout semi-continue supérieurement.

La fonction f définie par $f(x) =\sin(1/x)~$ pour $x\ne 0~$ et $f(0)=1~$ est partout semi-continue supérieurement (mais n'admet pas de limite à gauche ni à droite en 0).

La fonction de répartition d'une variable aléatoire réelle est semi-continue supérieurement.

Longueur

Article détaillé : Longueur d'un arc.

Les fonctions lipschitziennes de [0,1] vers l'espace Rⁿ forment un espace vectoriel réel, noté ici E. Il est muni de la topologie C^0,1, celle définie par la norme

$N(f)=\sup_{0\leq t\leq 1}|f(t)|+\sup_{s\neq t}\frac{|f(t)-f(s)|}{|t-s|}$ .

La longueur de la courbe f est définie par

$L(f)=\sup \sum_{i=1}^k |f(t_i)-f(t_{i-1})|$

où le supremum porte sur toutes les partitions finies $0=t_0\leq t_1\leq \dots \leq t_k=1$ . La longueur L(f) est un nombre fini, et la fonction L est semi-continue inférieurement. Cela signifie exactement que, pour tout réel positif r, la partie $\{f\in E,\, L(f)\leq r\}$ est fermé pour la topologie C^0,1.

Définitions formelles

Soit $X~$ un espace topologique, $x_0~$ un point de $X~$ et $f : X \to \overline{\mathbb{R}}$ une fonction.

Semi-continuité supérieure

On dit que $f~$ est semi-continue supérieurement en $x_0~$ si l'une des propriétés équivalentes suivantes est vérifiée :

pour tout $\varepsilon > 0 ~$ , il existe un voisinage $U~$ de $x_0~$ tel que pour tout $x\in U~$ : $f(x) \leq f(x_0)+\varepsilon$ ;
$\limsup_{x \to x_{0}} f(x) \leq f(x_{0})$ , où $limsup$ désigne la limite supérieure (d'une fonction en un point).

La fonction $f~$ est dite semi-continue supérieurement si l'une des propriétés équivalentes suivantes est vérifiée :

$f~$ est semi-continue supérieurement en tout point de $X~$ ;
pour tout $\alpha \in \R$ , l'ensemble de sur-niveau $\{x \in X : f(x)\geq\alpha \}$ est fermé ;
l'hypographe $\{(x,\alpha)\in X\times\R: f(x) \geq\alpha\}$ est fermé.

Semi-continuité inférieure

Les notions de semi-continuité inférieure d'une fonction se définissent de manière analogue, par symétrie car elles reviennent aux notions correspondantes de semi-continuité supérieure de la fonction opposée.

On dit que $f~$ est semi-continue inférieurement en $x_0~$ si l'une des propriétés équivalentes suivantes est vérifiée :

pour tout $\varepsilon > 0 ~$ , il existe un voisinage $U~$ de $x_0~$ tel que pour tout $x\in U~$ : $f(x) \geq f(x_0)-\varepsilon$ ;
$\liminf_{x \to x_{0}} f(x) \geq f(x_{0})$ , où $liminf$ désigne la limite inférieure (d'une fonction en un point).

La fonction $f~$ est dite semi-continue inférieurement si l'une des propriétés équivalentes suivantes est vérifiée :

$f~$ est semi-continue inférieurement en tout point de $X~$ ;
pour tout $\alpha \in \R$ , l'ensemble de sous-niveau $\{x \in X : f(x)\leq\alpha \}$ est fermé ;
l'épigraphe $\{(x,\alpha)\in X\times\R: f(x) \leq\alpha\}$ est fermé.

En analyse convexe, où l'épigraphe d'une fonction joue un rôle particulier (il est convexe si et seulement si la fonction est convexe), une fonction semi-continue inférieurement est dite fermée (parce que son épigraphe est fermé).

Propriétés

Une fonction est continue en un point si et seulement si elle est semi-continue supérieurement et inférieurement en ce point.

Si $f~$ et $g~$ sont deux fonctions semi-continues supérieurement en $x_0~$ , alors $f+g~$ l'est aussi. Si de plus les deux fonctions sont à valeurs positives ou nulles, leur produit $fg~$ est également semi-continu supérieurement en $x_0~$ . Le produit d'une fonction semi-continue supérieurement par un réel négatif est une fonction semi-continue inférieurement.

Soit $(f_i)_{i\in I}$ une famille de fonctions semi-continues inférieurement de X dans $\overline{\mathbb{R}}$ et

$f(x) = \sup {\{f_i(x)\; |\; i\in I\}}$

pour tout $x~$ dans $X~$ . Alors $f~$ est semi-continue inférieurement. En effet, pour tout réel $\alpha~$ , l'ensemble

$U_\alpha =\{x\in X, f(x)>\alpha\}$

est la réunion des ensembles $U_{\alpha,i} =\{x\in X\; |\; f_i(x)>\alpha\}$ : c'est une réunion d'ouverts, il est donc lui-même ouvert.

Par contre, même si toutes les fonctions $f_i~$ sont continues, $f~$ n'est pas nécessairement continue : en fait, sur un espace uniforme, toute fonction semi-continue inférieurement est le sup d'une famille de fonctions continues (sur un espace métrique cette famille peut même être choisie dénombrable).

La fonction caractéristique d'un ouvert est semi-continue inférieurement. La fonction caractéristique d'un fermé est semi-continue supérieurement.

Si $C~$ est un compact (par exemple un intervalle fermé $[a,b]~$ de $\mathbb{R}$ ) et si $f : C \to \R$ est semi-continue supérieurement, alors $f~$ est majorée sur $C~$ et atteint sa borne supérieure. La propriété est analogue pour la borne inférieure d'une fonction semi-continue inférieurement. Ces propriétés généralisent le théorème des bornes.

Semi-continuité faible

Dans le cas où $X~$ est un espace vectoriel topologique, on dit que la fonction $f~$ est faiblement semi continue (inférieurement ou supérieurement) lorsque la limite dans la définition de semi-continuité est prise au sens de la topologie faible. Afin d'éviter les ambiguïtés, on écrira parfois fortement semi continue pour désigner la semi-continuité définie pour la topologie forte.

Portail des mathématiques

Catégorie :

Analyse

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Semi-continuité de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Semi-continuite — Semi continuité En analyse mathématique, la semi continuité est une propriété des fonctions à valeurs réelles ; il s agit d une forme faible de la continuité. Intuitivement, une fonction f à valeurs réelles est dite semi continue… … Wikipédia en Français
Continuite — Continuité En mathématiques, la continuité est une propriété topologique d une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la variable x, correspondent des variations infinitésimales de la… … Wikipédia en Français
semi-continu — ⇒SEMI CONTINU, UE, adj. A. INDUSTR. Dont le fonctionnement est intermédiaire entre le fonctionnement discontinu et le fonctionnement continu. 1. [En parlant du fonctionnement d un appareil et, p. méton., de cet appareil] Les biscuits secs et les… … Encyclopédie Universelle
Continuité — Pour la notion de continuité au cinéma, voir l article Script (cinéma) En mathématiques, la continuité est une propriété topologique d une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la… … Wikipédia en Français
Continuité piscicole — Trame bleue La notion de trame bleue désigne généralement le réseau constitué par les cours d eau et les zones humides. En France, la « Trame bleue » est la partie de la « Trame verte et bleue » qui concerne directement l eau… … Wikipédia en Français
Intervalle semi-fermé — Intervalle (mathématiques) En mathématiques, un intervalle (du latin intervallum) est étymologiquement un ensemble compris entre deux valeurs. Cette notion première s est ensuite développée jusqu à aboutir aux définitions suivantes. Sommaire 1… … Wikipédia en Français
Intervalle semi-ouvert — Intervalle (mathématiques) En mathématiques, un intervalle (du latin intervallum) est étymologiquement un ensemble compris entre deux valeurs. Cette notion première s est ensuite développée jusqu à aboutir aux définitions suivantes. Sommaire 1… … Wikipédia en Français
Continue — Continuité En mathématiques, la continuité est une propriété topologique d une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la variable x, correspondent des variations infinitésimales de la… … Wikipédia en Français
Fonction continue — Continuité En mathématiques, la continuité est une propriété topologique d une fonction. En première approche, une fonction est continue si, à des variations infinitésimales de la variable x, correspondent des variations infinitésimales de la… … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Semi-continuité

Sommaire