En mathématiques, le théorème des fonctions implicites est un résultat de géométrie différentielle. Certaines courbes planes sont définies par une équation cartésienne, c'est-à-dire une équation de la forme f(x, y) = 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 φ de R dans R au moins aussi régulière que f telle que localement, la courbe et le graphe de la fonction φ sont confondus. Plus précisément, si (x0, y0) vérifie l'équation, si f est continûment différentiable et si sa dérivée partielle par rapport à y en (x0, y0) n'est pas nulle alors, au voisinage de (x0, y0), la courbe s'identifie au graphe de φ. Ce théorème admet une variante plus générale, qui s'applique non plus au plan, mais à des espaces de Banach, c'est-à-dire des espaces vectoriels normés complets. Il équivaut au 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 est utilisé dans différentes branches des mathématiques, sous cette forme ou sous celle de l'inversion locale. Il permet de démontrer le théorème des extrema liés ; il intervient dans un contexte plus géométrique, pour l'étude des sous-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. Avant d'énoncer le théorème sous sa forme générale, prenons l'exemple de la dimension 2 : La condition n'est pas explicitée car elle n'est qu'un cas particulier de l'équivalence. La dérivée de au point x est donnée par la formule : Des exemples sont détaillés dans l'article « Fonction implicite ».

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (15)
MATH-106(a): Analysis II
Étudier les concepts fondamentaux d'analyse, et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.
MATH-404: Functional analysis II
We introduce locally convex vector spaces. As an example we treat the space of test functions and the space of distributions. In the second part of the course, we discuss differential calculus in Bana
MATH-105(a): Advanced analysis II - vector analysis
Etudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.
Afficher plus
Séances de cours associées (71)
L'avion tangent à la fonction implicite
Explore le plan tangent aux fonctions implicites, en mettant l'accent sur les équations et les représentations graphiques.
Fonctions implicites : théorie et exemples
Explore la théorie des fonctions implicites, leurs propriétés et des exemples illustratifs.
Théorème des fonctions implicites
Explique le Théorème des fonctions implicites et les conditions pour définir les fonctions implicitement.
Afficher plus
Publications associées (25)

Language Model Decoding as Likelihood–Utility Alignment

Boi Faltings, Robert West, Maxime Jean Julien Peyrard, Martin Josifoski, Valentin Hartmann, Debjit Paul, Jiheng Wei, Frano Rajic

A critical component of a successful language generation pipeline is the decoding algorithm. However, the general principles that should guide the choice of a decoding algorithm re- main unclear. Previous works only compare decoding algorithms in narrow sc ...
2023

Machine Learning Methods for Robust Uncertainty Quantification and Controller Approximation

Emilio Maddalena

This thesis is situated at the crossroads between machine learning and control engineering. Our contributions are both theoretical, through proposing a new uncertainty quantification methodology in a kernelized context; and experimental, through investigat ...
EPFL2023

Neural Annotation Refinement: Development of a New 3D Dataset for Adrenal Gland Analysis

Pascal Fua, Jiancheng Yang, Pamuditha Udaranga Wickramasinghe, Rui Shi

The human annotations are imperfect, especially when produced by junior practitioners. Multi-expert consensus is usually regarded as golden standard, while this annotation protocol is too expensive to implement in many real-world projects. In this study, w ...
SPRINGER INTERNATIONAL PUBLISHING AG2022
Afficher plus
Concepts associés (10)
Variété (géométrie)
En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Fonction de plusieurs variables
En mathématiques et plus spécialement en analyse vectorielle, une fonction numérique à plusieurs variables réelles est une fonction dont l'ensemble de départ E est une partie du produit cartésien . L'ensemble d'arrivée F peut être ou . Le second cas peut se ramener au premier cas en considérant qu'il s'agit en réalité de p fonctions de dans appelées fonctions coordonnées. La fonction est donc une relation associant à chaque n-uplet x = (x, x, ...
Multivariable calculus
Multivariable calculus (also known as multivariate calculus) is the extension of calculus in one variable to calculus with functions of several variables: the differentiation and integration of functions involving multiple variables (multivariate), rather than just one. Multivariable calculus may be thought of as an elementary part of advanced calculus. For advanced calculus, see calculus on Euclidean space. The special case of calculus in three dimensional space is often called vector calculus.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.