Fonction
Période historique : XVIIe - XIXe siècle (Leibniz, Dirichlet)
La relation fondamentale associant univoquement une entrée à une sortie.
Contenu & Formulation mathématique
Genèse & Portée historique
Pierre angulaire de l'analyse et de l'algèbre, la fonction associe à chaque élément d'un ensemble de départ exactement un élément d'un ensemble d'arrivée. Sa formalisation par Dirichlet et Dedekind libéra les mathématiques de l'exigence d'une formule analytique explicite.
Le mot 'fonction' fut introduit par Leibniz en 1673 pour désigner une quantité dépendant d'une courbe. Dirichlet élargit ensuite la définition en 1837 en considérant la fonction indicatrice des rationnels, sans continuité ni dérivabilité.
Filiations & Relations conceptuelles (0)
Cette notice constitue un axiome autonome sans relations directes enregistrées dans le recueil.
Objet de collection MathTCG
Fonction
Relation binaire univoque entre deux ensembles assignant à chaque élément de l'ensemble de départ exactement une image dans l'ensemble d'arrivée.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.