Theoreme des fonctions implicites

Theoreme des fonctions implicites

Théorème des fonctions implicites

En mathématiques, le théorème des fonctions implicites est un résultat de géométrie différentielle. Certaines courbes sont définies par une équation cartésienne, c'est-à-dire la forme f(xy) = 0, où x et y décrivent les nombres réels. Le théorème indique que si la fonction f est suffisamment régulière au voisinage d'un point de la courbe, il existe une fonction φ, telle que localement, la courbe et le graphe de la fonction φ sont confondus. Plus précisément, si (x0y0) vérifie l'équation, si f est continument différentiable et que sa dérivée partielle en (x0y0) n'est pas nulle, alors il existe un voisinage de (x0y0) sur lequel la zone s'identifie au graphe de φ.

Ce théorème admet une variante plus générale, qui s'applique non plus sur au plan, mais sur des Banach, c'est-à-dire des espaces vectoriels complets. Ce résultat est une forme équivalente du théorème d'inversion locale qui indique qu'une fonction différentiable et suffisamment régulière est localement inversible, c'est une conséquence directe d'un théorème du point fixe.

Ce théorème se trouve dans différentes branches des mathématiques, sous cette forme ou sous celle de l'inversion locale. Il permet de démontrer le mécanisme des multiplicateurs de Lagrange, il intervient dans un contexte plus géométrique, pour l'étude des variétés différentielles, on le trouve encore pour l'étude des équations différentielles où il est, entre autres, utilisé à travers le théorème du redressement d'un flot, permettant de démontrer le théorème de Poincaré-Bendixson. Il dépasse le cadre des mathématiques, les physiciens ou les économistes en font usage, lorsque certaines variables ne peuvent être définies à l'aide d'une fonction, mais uniquement implicitement à l'aide d'une équation.

Sommaire

Énoncés

Selon les besoins, on trouve des énoncés différents de ce théorème. En dimension deux, il prend la forme suivante :

  • Soit f(x, y) une fonction de classe Cp définie sur un ouvert U de R2 et à valeurs dans R. Soit (x0, y0) un point de U tel que f(x0, y0) = 0 et tel que la dérivée partielle de f, par rapport à la deuxième variable, ne soit pas nulle en (x0, y0). Il existe un ouvert V contenu dans U et contenant (x0y0) et une fonction φ de classe Cp et de R dans R, tels que l'équivalence suivante soit vraie[1] :
\forall x,y \in V \quad f(x,y)=0 \,\Leftrightarrow\, \varphi(x) = y

La dérivée de φ au point x0 est donnée par la formule :

\frac {\mathrm d\varphi}{\mathrm dx}(x_0)= -\frac{\frac{\partial f}{\partial x}(x_0,y_0)}{\frac{\partial f}{\partial y}(x_0,y_0)}

Cette version n'est pas toujours satisfaisante. Il peut être utile d'utiliser ce résultat sur des surfaces et non plus sur des courbes, voir sur des espaces vectoriels dont la dimension n'est pas nécessairement finie. On trouve cette version plus sophistiquée[2]:

  • Soient E, F et G trois Banach, U un ouvert de E, V un ouvert de F, f une application de classe Cp de UxV dans G et (x0, y0) un point de UxV tel que f(x0, y0) = 0 et tel que la différentielle partielle D2f(x0, y0) soit une bijection bicontinue de F dans G. Il existe un ouvert U0 de U contenant x0 et une application φ, de classe Cp, définie sur U0 telle que :
\forall x \in U_0 \quad f(x,\varphi(x))=0
Soit U0 un ouvert convexe de U contenant x0 et tel qu'il existe deux fonctions continues φ1 et φ2 définies sur U0 vérifiant les propriété suivantes, alors φ1 et φ2 sont confondues sur U0.
\forall i \in {1,2}\quad \varphi_i(x_0) = y_0 \quad\text{et}\quad \forall x \in U_0 \quad f(x,\varphi_i(x)) = 0

Dimension deux

Premier exemple

Le théorème de l'article indique que pour un point A, il existe un voisinage de A tel que la figure soit le graphe d'une fonction, ce graphe contient le point A. Dans l'exemple illustré, la fonction associée au point A est celle qui à x associe la racine carrée de 1 - x2.

Il existe de multiple manières de définir une figure géométrique dans le plan. Ainsi, l'ensemble des points à distance 1 d'une origine O, définit un cercle. Cette même figure, d'après le théorème de Pythagore, se définit aussi par une équation cartésienne : x2 + y2 - 1 = 0. On peut encore la définir à l'aide d'une équation paramétrique, le cercle correspond à l'image du segment [0, 2π] par la fonction qui à θ, associe (cos θ, sin θ).

Le théorème de l'article permet, à l'aide d'une équation cartésienne, d'obtenir une équation paramétrique, mais pas de la même nature que celle citée en exemple. Il fournit bien des représentations sous forme d'une équation paramétrique, mais la courbe correspond à l'image d'une fonction qui à x associe (x, φ(x)). Plus simplement, on peut considérer que la courbe est localement le graphe de la fonction φ, ainsi cette forme particulière d'équation paramétrique est définie par une fonction de R dans R et non de R dans le plan.

Dans le cas du cercle, une première difficulté apparaît, pour un point x compris strictement entre -1 et 1, il existe deux valeurs de y possibles. Le théorème est uniquement local, c'est-à-dire qu'il permet de fournir une partie seulement de la figure géométrique et ne peut, dans le cas général, la décrire tout entière.

En revanche, pour un point A de la figure, le théorème permet théoriquement de fournir une équation paramétrique d'un voisinage du point A, ce qui signifie, si (x0y0) sont les coordonnées du point A, qu'il existe un intervalle ouvert ]ab[ contenant x0 sur lequel est décrit la figure. Ce résultat ne peut pas être toujours vrai, le point B, dont l'abscisse est égale à 1, est un contre exemple. A l'exception du point B et pour toute abscisse suffisamment proche de 1, correspond deux ordonnées possibles. Le théorème ne peut s'appliquer en ce point.

Une remarque permet de détecter une propriété de ce point B. Si un point décrivant le cercle varie autour de B, sa deuxième coordonnées reste presque immobile. Une manière de le percevoir rigoureusement est de considérer l'équation cartésienne comme une fonction de la variable y ayant x comme paramètre. Si l'on dérive cette fonction, on obtient l'expression 2.y. Cette dérivée est appelée dérivée partielle, par rapport à la deuxième variable. Au point B, l'ordonnée est nulle et la dérivée partielle est aussi nulle. Le théorème indique que si cette dérivée partielle n'est pas nulle pour les coordonnées d'un point A, il est toujours possible de représenter le voisinage de A comme le graphe d'une fonction. Dans l'exemple choisi, la fonction est[3].

\forall x \in ]-1, 1[\quad \varphi (x) = \sqrt {1 - x^2}

Courbe algébrique

Fonction-implicite-(1).jpg

Si l'exemple précédent montre la mécanique et la portée du résultat de l'article, il n'en illustre guère son intérêt. Il est inutile de faire appel à ce puissant théorème pour trouver les deux fonctions dont l'union des graphes forment un cercle. L'exemple suivant est plus révélateur d'un usage possible. Il correspond à l'étude de la figure vérifiant l'équation cartésienne[4] :

x(x^2 + y^2) - 10(x^2 - y^2) = 0\;
200

Une manière de visualiser cette figure, est de considérer la nappe qui au point du plan de coordonnées (xy) associe le terme de gauche de l'équation. Cette nappe est illustrée à gauche, la partie ayant une coordonnée verticale supérieure à 0 est en jaune ou vert et l'autre partie en bleu ou rouge. La courbe définie par l'équation est celle obtenue si la nappe est coupée au plan z = 0, qui correspond à la frontière entre les zones jaune et bleu. Pour une meilleure visibilité, il est possible de se placer verticalement au-dessus de la nappe et d'y ajouter un repère, ce qui est fait sur la figure de droite. Tenter une résolution directe est hasardeux, le théorème de l'article, facilite l'étude.

Commençons par quelques remarques géométriques simples sur la zone des abscisses positives. Si x est strictement plus grand que 10, l'expression x(x2 + y2) est strictement plus grande que 10(x2 - y2), la courbe recherchée ne possède aucun point d'abscisse strictement supérieure à 10 et le point de plus grande abscisse est unique et de coordonnées (10, 0). Le théorème des fonctions implicites indique que pour les abscisses situées dans l'intervalle ]0,10[, il existe un paramétrage si l'expression suivante, notée d(x), n'est pas nulle :

d(x) = 2y(x+10y)\;

L'expression d(x) ne s'annule sur la zone étudiée, que pour les ordonnées nulles (seule la zone des abscisses positives est étudiée ici) et ceux sur la droite x + 10.y = 0, qui ne rencontre pas la courbe pour les abscisses strictement positives. Pour les autres points (x0y0), on obtient une expression de la dérivée du paramétrage φ au point x0.

\frac {\mathrm d \varphi}{\mathrm d x} (x_0) = -\frac {3x_0^2 + y_0^2 - 20x_0}{2y_0(x_0+10y_0)}

Selon la zone où se trouve le point étudié, on sait si la fonction de paramétrage est croissant ou décroissant. A l'intérieur d'une ellipse, illustrée en vert sur la figure de droite, le paramétrage est croissant. Sur l'ellipse, le paramétrage possède une dérivée nulle, elle possède le point de coordonnées (6, 3) en commun avec la courbe recherchée. Et à l'extérieur, dans la zone rouge, le paramétrage est strictement décroissant.[Note 1]

Dimension supérieure

Multiplicateur de Lagrange

Article détaillé : Multiplicateur de Lagrange.
La méthode des multiplicateurs de Lagrange permet de trouver un optimum, tout en satisfaisant une contrainte. Sur la figure, on cherche le point le plus élevé possible, située sur la ligne rouge.

Le théorème des fonctions implicites peut aussi être vu comme un outil pour démontrer des résultats, à l'image de la méthode du multiplicateur de Lagrange. On se place ici dans Rn, on cherche les optimums d'une fonction f d'un ouvert U de Rn dans R, vérifiant une contrainte g(x) = 0. On suppose ici que f et g sont continument différentiables. Pour plus de simplicité, on suppose que la contrainte définit une surface de dimension n - 1, c'est-à-dire que g est une fonction dont la différentielle est injective en chaque point et que g est à valeurs dans R[5]. Le cas général est traité dans l'article détaillé.

Le théorème associé au multiplicateur de Lagrange indique que les gradients en de f et de g sont colinéaires sur les extrema recherchées. Le théorème des fonctions implicites permet simplement de montrer ce résultat dans le cadre des hypothèses restrictives choisies ici[Note 2]. Soit a un tel extremum, on note gradg(a) le gradient de g au point a. Si V désigne un voisinage de a inclus dans U, on peut écrire tout vecteur de v sous la forme a + h + λ.gradg(a), ou h est un vecteur orthogonal au gradient et λ une valeur scalaire. La contrainte g(x) = 0 s'exprime sur V par l'équation φ(h, λ) = g(a + h + λ.gradg(a)) = 0. Un rapide calcul montre que la différentielle partielle sur λ est égale au carré de la norme du gradient, qui par hypothèse n'est pas nul. Le théorème des fonctions implicites permet de considérer localement la contrainte comme respecté par les points images par une fonction ψ d'un ouvert de Rn-1 dans R. Plus précisément, il existe un voisinage W du vecteur nul de l'hyperplan orthogonal au gradient de g tel que les points de la contraintes s'écrivent de manière unique sous la forme a + h + ψ(h).gradg(a), avec h élément de W. Dire que a est un extremum signifie que la fonction f1 qui à h associe f(a + h + ψ(h).gradg(a)) admet une différentielle nulle en 0. On obtient :

\forall \delta h \in \text{grad}_g(a)^{\bot}\quad  Df_1(0).\delta h = \text{grad}_f(a).\left(\delta h+ (\text{grad}_{\psi'}(0).\delta h)\text{grad}_g(a)\right) = 0 \quad\text{et}\quad \text{grad}_f(a) \in \text{grad}_g(a)^{\bot} \;

Les seuls vecteurs orthogonaux à l'orthogonal d'un vecteur non nul sont les vecteurs colinéaires, ce qui montre la propriété.

Variété différentielle

Article détaillé : Variété différentielle.

Une variété différentielle de dimension d de Rnn et d sont des entiers strictement positifs tel que d est plus petit que n, permet de généraliser les notions de courbes ou de surfaces lisses et régulières de dimension 2. Les termes de lisse et régulier sont des métaphores pour désigner le fait que les êtres considérés n'ont pas d'arête ou de point double. L'objet de ce paragraphe concerne les figures à l'image d'une sphère, qui est une variété différentielle de dimension 2, mais pas d'un cube, qui contient des points singuliers[6].

Le voisinage d'un point O d'une variété de dimension d possède la propriété d'être semblable, au sens du difféomorphisme, à un ouvert de Rd. On peut l'exprimer de la manière suivante : il existe un ouvert U de Rd et une bijection bicontinue φ1, continument différentiable de U dans un ouvert de la variété contenant le point O et la différentielle en un point quelconque est de rang d. Autrement dit, il existe un bon paramétrage du voisinage de O. Il est aussi possible d'exprimer cette propriété à l'aide d'une équation cartésienne. Il existe un ouvert V de Rn et une fonction ψ de V dans Rn-d continument différentiable et dont les différentielles sont surjectives, tel que l'intersection de la variété avec V soit l'ensemble des points x qui vérifie l'équation ψ1(x) = 0, ce qui donne une définition locale à l'aide d'une équation cartésienne[7]

Cette situation est la copie d'une configuration classique en algèbre linéaire. Un sous-espace vectoriel de dimension d d'un espace de dimension n peut être vu, soit comme l'image d'une application linéaire injective d'un espace de dimension d, soit comme le noyau d'une application surjective dans un espace de dimension n - d. En algèbre linéaire, ces deux points de vue sont équivalents[8]. Il en est de même avec les variétés différentielles. L'équivalence ce démontre dans un sens avec le théorème des fonctions implicites, la réciproque est plus aisée avec le théorème d'inversion locale.

Supposons que l'on dispose d'une équation paramétrique ψ1(x) = 0 sur le voisinage U. La différentielle de ψ1 en x0, coordonnées du point O, est de rang d et possède un noyau K de dimension n - d et un supplémentaire H de ce noyau de dimension d, d'après le théorème du rang. Tout élément de U s'écrit de manière unique comme égal à une somme x0 + h + k et l'on peut choisir un ouvert UH de H contenant le vecteur nul et un ouvert UK de H contenant le vecteur nul tel que x0 + UH + UK soit contenu dans U. L'application ψ de UHxUK dans Rd, qui à (hk) associe ψ1(x0 + h + k) satisfait aux hypothèses du théorème des fonctions implicites, d'où l'existence d'un paramétrage locale du voisinage de O, construit sur le voisinage UH.

250

On suppose maintenant que l'on dispose d'une représentation paramétrique locale du voisinage de O, c'est-à-dire une application φ1 de Rd dans Rn dont l'image est un voisinage de O dans la variété. Cette situation est illustrée sur la figure de droite. La droite bleue représente Rd, la portion de courbe la variété contenant le point O est représentée en rouge. On identifie Rd avec le sous-espace vectoriel de Rn dont les n - d dernières coordonnées sont nulles. L'image de la différentielle de φ1 au point x0 est un sous-espace vectoriel de dimension d, on considère Ha un supplémentaire de ce sous-espace vectoriel. On appelle Hd le sous-espace de Rn ayant les d premières coordonnées nulles. Les sous-espaces Ha et Hd ont même dimensions, ils sont donc isomorphes, soit φ2 un tel isomorphisme. On considère maintenant φ l'application de UxHd dans Rn, qui à x0 + h + k associe φ1(x0 + h) + φ2(k). Ici h désigne un vecteur de Rd et k un vecteur de Ha. L'application φ est continument différentiable et sa différentielle au point x0 est un isomorphisme. Le théorème d'inversion locale montre qu'il existe un ouvert W contenant O et une application ψ1 de W dans Rn différentiable et qui soit localement une réciproque de φ. L'image de l'intersection de la variété et de W est incluse dans Hd, si l'ouvert W est choisi suffisamment petit. Il suffit de composer ψ1 par l'application linéaire qui à un vecteur de Rn, associe le vecteur de Rn-d composée des n - d dernières coordonnées du vecteur d'origine, pour conclure. Si ψ est cette application composée, sur un voisinage de O, la variété est définie par l'équation ψ(x) = 0.

Théorème du redressement d'un flot

Article détaillé : Théorème du redressement.
200

Le théorème des fonctions implicites joue un rôle pour l'étude des équations différentielles. On le trouve à divers endroits, dont le théorème du redressement d'un flot[9]. Considérons l'équation différentielle autonome (1) :

(1)\quad \frac {\mathrm dx}{\mathrm dt} = f(x)

Ici f désigne une fonction continument différentiable définie sur U, un ouvert d'un espace de Banach E et à valeurs dans E. Le théorème de Cauchy-Lipschitz montre l'existence d'une unique fonction flot φ qui prend ses valeurs dans un ouvert V inclus dans RxU et à valeur dans E, telle que la fonction qui à t associe φ(tx) soit l'unique solution de l'équation (1) avec la condition de Cauchy s(0) = x.

Un exemple de flot, au voisinage V1 d'un point x0 de U est illustré en rouge à droite. Si l'on considère l'intersection de V1 avec un hyperplan affine contenant x0 et dont la direction ne contient pas f(x0), on obtient la pastille illustrée en rouge et jaune. Pour l'étude locale d'un flot, la configuration équivalente au dessous, en bleu est plus simple. Si la fonction f est constante, sur un voisinage de la pastille V, pour un point x de V, les solutions de l'équation différentielle (1) sont décrites par le flot φ(tx) = x + t.vv est le vecteur constant image de f, sur un voisinage de V.

Une conséquence de l'article est l'existence d'un difféomorphisme ψ définie sur un voisinage Wx]-μ, μ[ de x tel que :

\forall x \in W,\; \forall t \in ]-\mu,\mu[ \quad \psi\circ \varphi (t,x) = x + tv \;

Autrement dit, il est possible de redresser le flot φ à l'aide d'un difféomorphisme ψ, ce qui permet une étude locale plus aisée de l'équation différentielle (1). La démonstration de ce résultat est fondé sur le fait que la fonction flot est aussi continument différentiable. La restriction φ de Wx]-μ, μ[ possède au point (0, x0) une différentielle inversible et bicontinue. Le théorème d'inversion locale permet de conclure. Ce résultat est utilisé, par exemple dans la démonstration du théorème de Poincaré-Bendixson[10]

Théorème de Cauchy-Lipschitz

Article détaillé : Flot (mathématiques).

Le théorème précédent est une application directe du théorème d'inversion locale, à la condition de disposer d'un résultat non immédiat. Si la fonction f du paragraphe précédent est de classe C1, alors le flot l'est aussi. Ce résultat porte généralement le nom de théorème de Cauchy-Lipschitz. Cette forme sophistiquée du théorème est traitée dans l'article détaillé. De manière indépendante, deux mathématiciens Pugh et Robbin[11] ont trouvé une même démonstration élémentaire. Elle consiste à étudier l'application T qui à un couple (x, σ) associe une fonction. Ici x est un élément de U avec les notations du paragraphe précédent et σ une fonction d'un petit intervalle contenant O. L'application est définie de la manière suivante :

T(x,f)(t) = x + \int_0^t f(\sigma(\tau)) \mathrm d\tau - \sigma

La solution intégrale s, qui à t associe φ(t, x) vérifie l'égalité T(x,s) = 0. Il est relativement simple de montrer que T satisfait les hypothèses du théorème des fonctions implicites, ce qui montre que la fonction qui à x associe la courbe intégrale φ(tx) est de classe C1. A partir de là, il est simple d'en déduire le caractère C1[Note 3].

Cet démonstration montre la pertinence du deuxième énoncé, très général, du théorème des fonctions implicites proposé dans cet article. En analyse fonctionnelle et à l'image du résultat de ce paragraphe, il n'est pas inutile de bénéficier de la généralité que confère le fait de choisir les variables dans un Banach.

Démonstration

Existence de la fonction φ

La démonstration proposée ici ne concerne que le deuxième énoncé. On se place ici dans le contexte des notations utilisées. Le principe consiste à traduire la question sous une forme telle qu'il devient possible d'appliquer le théorème d'inversion locale[12]. On considère l'application ψ1, de UxV dans ExG, définie par :

\forall (x,y) \in U\times V\quad \psi_1(x,y) = (x,f(x,y))

Cette application est de classe Cp et sa différentielle est un isomorphisme bicontinu, il est possible d'appliquer le théorème d'inversion locale qui montre l'existence d'un ouvert WxX de FxG et d'une application φ1 vérifiant:

\forall x,z \in W\times X,\; \exists y \in V \quad \varphi_1(x,z) = (x,f(x,y))

On définit φ comme l'application de W dans F, qui à x de W associe φ1(x, 0). L'application φ est de classe Cp car φ1 l'est, d'après le théorème d'inversion locale et par construction, f(x, φ(x)) est bien égal à 0.

Comme on peut le remarquer, ce théorème peut être vu comme une conséquence presque directe de celui de l'inversion locale.

Unicité de la fonction φ

L'objectif est maintenant de montrer que les deux fonctions φ1 et φ2 de l'énoncé sont bien confondues sur U0. Soit x un élément de de U0 et h désigne le vecteur x - x0. On recherche l'ensemble C des réels t compris entre 0 et 1 tels que si τ est compris entre 0 et t, φ1(x0 + τh) et φ2(x0 + τh) soient confondus.

Comme U0 est convexe, les expressions sont bien définies. Par construction l'ensemble C est un connexe de [0, 1]. Il est non vide car il contient 0. Comme φ1 et φ2 sont continues, l'ensemble C contient sa borne supérieure et c'est un fermé. Montrons qu'il est aussi ouvert. Soit s un élément de C, φ1(x0 + sh) et φ2(x0 + sh) sont égaux. On peut appliquer le théorème sur le point x0 + sh, la fonction équivalente à ψ1 (mais cette fois définie sur un voisinage de x0 + sh) est une bijection, ce qui montre que si z est dans un voisinage de x0 + sh, le point (z, 0) admet un unique antécédent, qui est nécessairement la valeur de φ1(z) ainsi que celle de φ2(z). Ce qui montre qu'il existe un ouvert contenant s inclus dans C.

Le seul ensemble non vide, ouvert et fermé d'un connexe est l'ensemble tout entier, on en déduit que C est égal à [0, 1]. Autrement dit, 1 est élément de C, ou encore φ1 et φ2 ont la même valeur en x, ce qui termine la démonstration.

Annexes

Références

  1. Une définition équivalente est présente dans  : V. F. Bayart Théorème des fonctions implicites par le site Bibmath.net
  2. Elle provient de la page 122 de : S. Lang Analyse Réelle InterEditions, Paris 1977 (ISBN 2729600595)
  3. Cet exemple est traité dans la référence, disponible sur /books.google.fr : E. W. Swokowski Analyse : 5ème édition De Boeck (1993) p 147 (ISBN 2804115941)
  4. Il provient du site : F. Dupont Les fonctions implicites de l'Université de Brest
  5. Ce sont les restrictions choisies dans l'article, servant de référence au traitement de cet exemple : D. Hoareau Cauchy-Schwarz par le calcul différentiel MégaMaths sur ifrance (2003)
  6. Pour une définition précise, voir l'article détaillé.
  7. Voir 2.1 : Marcel Berger, Bernard Gostiaux, Géométrie différentielle : variétés, courbes et surfaces [détail des éditions]
  8. Voir p 78 : F. Ronga Dérivabilité, théorème des fonctions implicites et applications Université de Genève
  9. D. Leborgne Calcul différentiel et géométrie p 234 Puf (1982)
  10. C'est pour cette raison que ce résultat est présenté, par exemple dans : C. Viterbo Conjugaison, redressement et premier tour École Polytechnique]
  11. S. Lang Analyse Réelle InterEditions, Paris 1977 (ISBN 2729600595) p 129
  12. Cette démonstration provient de : S. Lang Analyse Réelle InterEditions, Paris p 123 (1977) (ISBN 2729600595)

Notes

  1. Le choix de ce type d'exemple pour illustrer l'intérêt du théorème est fréquent. On trouve un exemple similaire dans la référence plus détaillée p 54 : F. Ronga Dérivabilité, théorème des fonctions implicites et applications Université de Genève
  2. Le cas général est traité dans l'article détaillé
  3. Voir l'article détaillé

Bibliographie

  • (en) Michael Spivak, (A Comprehensive Introduction to) Differential Geometry [détail des éditions]
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me des fonctions implicites ».

Wikimedia Foundation. 2010.

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

См. также в других словарях:

  • Théorème des fonctions implicites — En mathématiques, le théorème des fonctions implicites est un résultat de géométrie différentielle. Certaines courbes sont définies par une équation cartésienne, c est à dire la forme f(x, y) = 0, où x et y décrivent les nombres… …   Wikipédia en Français

  • SINGULARITÉS DES FONCTIONS DIFFÉRENTIABLES (la théorie mathématique et ses applications) — De la topologie différentielle à la dynamique qualitative, en passant par la géométrie analytique et la topologie algébrique, les «singularités» ont bien des incarnations en mathématiques; mais cela n’exclut pas une certaine unité: qu’il s’agisse …   Encyclopédie Universelle

  • Theoreme d'inversion locale — Théorème d inversion locale En mathématiques, le théorème d inversion locale est un résultat de géométrie différentielle. Il indique que si une fonction f est continûment différentiable en un point a, si cette différentielle est une bijection… …   Wikipédia en Français

  • Théorème d'inversion locale — En mathématiques, le théorème d inversion locale est un résultat de géométrie différentielle. Il indique que si une fonction f est continûment différentiable en un point, si sa différentielle en ce point est une bijection bicontinue, c est à dire …   Wikipédia en Français

  • Théorème du point fixe de Banach — Application contractante En mathématiques, une application contractante est une application k lipschitzienne avec . Les applications contractantes sont la matière de base du théorème de point fixe le plus simple et le plus utilisé. Sommaire 1… …   Wikipédia en Français

  • Théorème du point fixe de Picard — Application contractante En mathématiques, une application contractante est une application k lipschitzienne avec . Les applications contractantes sont la matière de base du théorème de point fixe le plus simple et le plus utilisé. Sommaire 1… …   Wikipédia en Français

  • FONCTIONS (REPRÉSENTATION ET APPROXIMATION DES) — Il arrive très souvent que, dans les problèmes issus des mathématiques ou des autres sciences, les fonctions qui interviennent soient définies par des procédés qui ne permettent pas d’étudier de manière efficace leurs propriétés. C’est le cas des …   Encyclopédie Universelle

  • Catégorie des variétés différentielles — Variété (géométrie) Pour les articles homonymes, voir Variété. Réalisation du ruban de Möbius, à partir du collage d une bande de papier. Le bord n est que d …   Wikipédia en Français

  • Liste Des Théorèmes — par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le premier nom propre cité. Si le nom du théorème …   Wikipédia en Français

  • Liste des theoremes — Liste des théorèmes Liste des théorèmes par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom du théorème comprend des noms de mathématiciens ou de physiciens, on se base sur le… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»