Semi-continuite

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 supérieurement en x0 si, lorsque x est proche de x0, f(x) est soit proche de f(x0), soit inférieure à f(x0). Une fonction à valeurs réelles est dite semi-continue inférieurement si on remplace « inférieure à » par « supérieur à » dans la définition précédente.

Sommaire

Exemple

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

Considérons la fonction f(x) = -1 pour x < 0 et f(x) = 1 pour x ≥ 0. 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.

Définition formelle

Soit X un espace topologique, x0 un point de X et f : X \to R une fonction à valeurs réelles. On dit que f est semi-continue supérieurement en x0 si pour tout ε > 0, il existe un voisinage U de x0 tel que f(x) < f(x0) + ε pour tout x de U. De manière équivalente, on peut exprimer cela par :

\limsup_{x \to x_{0}} f(x) \leq f(x_{0})

où limsup est la limite supérieure (d'une fonction f au point x0).

La fonction f est dite semi-continue supérieurement si elle est semi-continue supérieurement en tout point de son ensemble de définition. Une fonction est semi-continue supérieurement si et seulement si {x\inX : f(x) < α} est un ouvert pour tout α\in\R.

De même, la semi-continuité inférieure en x0 s'exprime par :

\liminf_{x \to x_{0}} f(x) \geq f(x_{0})

et la fonction est semi-continue inférieurement si elle est semi-continue inférieurement en tout point de son domaine de définition. Une fonction est semi-continue inférieurement si et seulement si {x\inX : f(x) > α} est un ouvert pour tout α\in\R.

Propriétés

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

Si f et g sont deux fonctions semi-continues supérieurement en x0, alors f + g l'est aussi. Si aucune des deux fonctions n'est négative, leur produit fg est également semi-continue supérieurement en x0. Multiplier une fonction semi-continue supérieurement par un nombre négatif donne une fonction semi-continue inférieurement.

Soit fn : X \to R une suite de fonctions semi-continues inférieurement et

f(x) = sup {fn(x) : n \in N} < ∞

pour tout x dans X. Alors f est semi-continue inférieurement. Cette propriété subsiste non seulement pour les suites, mais également pour les familles quelconques de fonctions. Soit en effet (f_i)_{i\in I} une famille de fonctions semi-continues inférieurement. Alors pour tout réel λ > , l'ensemble

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

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

Par contre, même si toutes les fonctions fn sont continues, f n'est pas nécessairement continue.

La fonction indicatrice de tout ouvert est semi-continue inférieurement. La fonction indicatrice de tout fermé est semi-continue supérieurement.

Si C est un compact (par exemple un intervalle fermé [a,b]) et 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 les minima d'une fonction semi-continue inférieurement.

On peut démontrer que, dans un espace de Banach E, pour les fonctions f : E \to ]-∞,+∞], convexes, de domaine Dom(f) = {x\inE : f(x)<+∞} non vide et semi-continues supérieurement, f est continue en x si et seulement si x\inInt(Dom(f)).

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 Portail des mathématiques
Ce document provient de « Semi-continuit%C3%A9 ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • 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  ; il s agit d une forme faible de la continuité. Intuitivement, une telle fonction est …   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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”