fonction multivaluée

En mathématiques, une fonction multivaluée (aussi appelée correspondance, fonction multiforme, fonction multivoque ou simplement multifonction) est une relation binaire quelconque, improprement appelée fonction car non fonctionnelle : à chaque élément d'un ensemble elle associe, non pas au plus un élément mais possiblement zéro, un ou plusieurs éléments d'un second ensemble. On peut néanmoins voir une multifonction comme une fonction classique prenant ses valeurs dans l'ensemble des parties du second ensemble. Par contraste, si l'image de chaque point est un singleton, on dit que la correspondance est univoque. Un exemple simple de fonction multivaluée est la fonction réciproque d'une application non injective : à tout point dans son image on fait correspondre l'image réciproque formée des antécédents de ce point. Les fonctions multivaluées apparaissent en analyse complexe où l'on peut en considérer des déterminations, c'est-à-dire des restrictions sur ces relations qui en font des fonctions et qui permettent de calculer certaines intégrales réelles par le biais du théorème des résidus comme ce sera illustré plus bas ; l'utilisation en est cependant malaisée et a été remplacée par la considération plus abstraite de fonctions (univaluées) sur des surfaces de Riemann. Les multifonctions se rencontrent également en analyse convexe et : les cônes tangent et normal à un ensemble, le sous-différentiel d'une fonction, un processus convexe sont des multifonctions. Cette observation et d'autres ont donné une nouvelle impulsion au développement de l'analyse multifonctionnelle (voir la ).