FONCTION, mathématiques

Carte mentale

Élargissez votre recherche dans Universalis

Depuis l'introduction en mathématique du mot « fonction » et de la notation y = f (x) par Gottfried Wilhelm Leibniz en 1692, à propos de parties de droites dépendant d'un point variable sur une courbe, cette notion, déjà présente implicitement dans la pensée de mathématiciens du xviie siècle comme René Descartes (1596-1650), a été précisée en évoluant vers une plus grande généralité, jusqu'à ce que Maurice Fréchet lui donne en 1909 son aspect définitif, la variable et les valeurs de la fonction appartenant à des ensembles quelconques.

Il s'agit d'exprimer mathématiquement l'idée intuitive d'associer, selon une certaine règle, certains objets avec d'autres ou avec eux-mêmes.

Une fonction étant une correspondance particulière, et certaines fonctions étant des applications, voire des applications particulières que sont les injections, les surjections et les bijections, il faut préciser chacune de ces notions.

Soient E et F deux ensembles, distincts ou non (et quelconques, en particulier finis ou non).

Pour favoriser une compréhension intuitive, supposons que E et F soient des ensembles de personnes humaines et considérons la situation « envoi de courrier par des personnes de E à des personnes de F », par voie postale ou électronique. Le modèle mathématique de cette situation est une correspondance (au sens mathématique). Une correspondance de E vers F est un triplet (E, F, G) tel que G soit une partie du produit cartésien E×F, c'est-à-dire de l'ensemble des couples (xy) où x appartient à E et y à F ; les ensembles E, F et G sont appelés respectivement ensemble de départ (ou ensemble source), ensemble d'arrivée (ou ensemble but) et graphe de la correspondance (E, F, G). La notation (xy) ∈ G (où le signe ∈ se lit « appartient à ») traduit alors le fait que la personne x (de E) a envoyé au moins un courrier à la personne y (de F).

Supposons que chaque personne de E soit n'envoie aucun courrier, soit en envoie à une seule personne de F. Cette situation se traduit mathématiquement par le fait que la correspondance a une propriété particulière qui en fait une fonction. Une fonction de E d [...]

1 2 3 4 5

pour nos abonnés,
l’article se compose de 3 pages




Écrit par :

  • : éditeur, diplômé en sciences de l'éducation, mathématique, économie, philosophie, ethnologie et bibliothéconomie

Classification


Autres références

«  FONCTION, mathématiques  » est également traité dans :

ALGÉBRIQUES STRUCTURES

  • Écrit par 
  • Jean-Marie PRUVOST-BEAURAIN
  •  • 34 158 mots

Dans le chapitre « Correspondances, relations binaires, fonctions, applications »  : […] Une fonction de E dans F est une correspondance (E, F, G) de E vers F telle que, pour tout x appartenant à E, il existe au plus un y appartenant à F tel que (xy) appartienne à G ; lorsque […] Lire la suite☛ http://www.universalis.fr/encyclopedie/structures-algebriques/#i_30426

ANALYSE MATHÉMATIQUE

  • Écrit par 
  • Jean DIEUDONNÉ
  •  • 8 744 mots

Dans le chapitre « La théorie des fonctions analytiques »  : […] La notion de fonction remonte au xviie siècle ; mais jusque vers 1800, on admettait généralement qu'une fonction f d'une variable réelle, définie dans un intervalle, était indéfiniment dérivable, sauf en un nombre fini de points exceptionnels. On peut, pour une […] Lire la suite☛ http://www.universalis.fr/encyclopedie/analyse-mathematique/#i_30426

BAIRE RENÉ-LOUIS (1874-1932)

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 332 mots

Les travaux du mathématicien français René-Louis Baire portent principalement sur la théorie des fonctions de variables réelles. Ancien élève de l'École normale supérieure, Baire enseigna d'abord à l'université de Montpellier. En 1905, il vint faire au Collège de France ses célèbres Leçons sur les fonctions discontinues, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/rene-louis-baire/#i_30426

BOLZANO BERNARD (1781-1848)

  • Écrit par 
  • Jan SEBESTIK
  •  • 3 612 mots

Dans le chapitre « Le système de la « Grössenlehre » et les « Paradoxes de l'infini » »  : […] La Functionenlehre repose sur un nouveau concept de fonction défini comme loi de dépendance arbitraire entre les nombres que Bolzano formule à peu près en même temps que Dirichlet et que Lobatchevski. Bolzano traite avec la plus grande rigueur des propriétés des fonctions continues ; ses résultats, ainsi que ses démonstrations, […] Lire la suite☛ http://www.universalis.fr/encyclopedie/bernard-bolzano/#i_30426

CALCUL INFINITÉSIMAL - Histoire

  • Écrit par 
  • René TATON
  •  • 11 509 mots
  •  • 3 médias

Dans le chapitre « La notion de fonction »  : […] e siècle, apparaît, sous un autre angle, comme une étape importante dans la mise au point progressive de la notion de fonction. Celle-ci, implicite dans la pensée de nombreux mathématiciens du xviie siècle, de Descartes en particulier, fut explicitée par Leibniz à la fin du siècle. Jean Bernoulli (en 1718) et Euler (en […] Lire la suite☛ http://www.universalis.fr/encyclopedie/calcul-infinitesimal-histoire/#i_30426

CANTOR GEORG (1845-1918)

  • Écrit par 
  • Hourya BENIS-SINACEUR
  •  • 2 887 mots
  •  • 1 média

Dans le chapitre « Cantor et Dedekind, une relation déterminante »  : […] Une fonction périodique d’une variable réelle s’écrit-elle de manière unique comme série convergente de fonctions trigonométriques ? Heinrich Eduard Heine (1821-1881), collègue de Cantor à Halle, pose cette question. Cantor la résout affirmativement pour le cas des fonctions continues dans son mémoire « Sur l’extension d’un théorème de la théorie […] Lire la suite☛ http://www.universalis.fr/encyclopedie/georg-cantor/#i_30426

ENSEMBLES THÉORIE DES

  • Écrit par 
  • André ROUMANET, 
  • Jean-Luc VERLEY
  •  • 8 749 mots
  •  • 23 médias

Dans le chapitre « Définitions »  : […] On introduit aussi souvent, non sans quelques confusions, la notion de relation fonctionnelle, ou de fonction. Une relation de source E et de but F est une fonction si, pour tout élément ∈ E, il existe au plus un élément ∈ F pour lequel la relation est vraie. On appelle alors […] Lire la suite☛ http://www.universalis.fr/encyclopedie/ensembles-theorie-des-theorie-elementaire/#i_30426

ÉQUATIONS AUX DÉRIVÉES PARTIELLES (notions de base)

  • Écrit par 
  • Yves GAUTIER
  •  • 1 580 mots
  •  • 2 médias

Beaucoup de phénomènes peuvent être décrits par une fonction. Par exemple, le déplacement d’un mobile dans l’espace peut être défini par une fonction f(xyz) où les coordonnées x, y et z correspondent à tous les points de l’espace occupés par le mobile […] Lire la suite☛ http://www.universalis.fr/encyclopedie/equations-aux-derivees-partielles-notions-de-base/#i_30426

EULER LEONHARD (1707-1783)

  • Écrit par 
  • Christian HOUZEL, 
  • Jean ITARD
  •  • 2 813 mots

Dans le chapitre « Mécanique, physique, astronomie »  : […] de la mécanique, ses études sur les cordes vibrantes ; les discussions qui s'élevèrent entre D. Bernoulli, d'Alembert, Lagrange et lui-même le conduisirent à préciser la notion générale de fonction, sous une forme voisine de celle que l'on adopte maintenant : fonctions « arbitraires » données expérimentalement par un ou plusieurs arcs de courbes […] Lire la suite☛ http://www.universalis.fr/encyclopedie/leonhard-euler/#i_30426

FOURIER JOSEPH (1768-1830)

  • Écrit par 
  • Louis CHARBONNEAU
  •  • 1 865 mots

Dans le chapitre « L'œuvre mathématique »  : […] de la propagation de la chaleur dans un solide. Sur le plan purement mathématique, les résultats sont de deux ordres : d'une part, la résolution des équations aux dérivées partielles en attribuant aux conditions aux bornes l'importance qui leur revient, d'autre part, la représentation d'une « fonction arbitraire » par une série trigonométrique […] Lire la suite☛ http://www.universalis.fr/encyclopedie/joseph-fourier/#i_30426

HARMONIQUE ANALYSE

  • Écrit par 
  • René SPECTOR
  •  • 5 770 mots

séries trigonométriques devait fortement contribuer à la prise de conscience de la notion de fonction : la conception moderne d'une fonction, définie comme une correspondance, et pouvant fort bien ne posséder aucune des propriétés usuelles de régularité (continuité, dérivabilité, intégrabilité), émergea peu à peu lorsqu'il devint évident que l' […] Lire la suite☛ http://www.universalis.fr/encyclopedie/analyse-harmonique/#i_30426

INFINI, mathématiques

  • Écrit par 
  • Jean Toussaint DESANTI
  •  • 10 363 mots

Dans le chapitre « Spinoza »  : […] mathématiques du concept fondamental qui, depuis Galilée, se constitue : le concept de fonction ; d'autant que, de l'aveu de Spinoza lui-même, le maniement du nombre repose sur des principes qui sont des « vérités éternelles », c'est-à-dire des relations d'entendement. Ce que Spinoza considère comme inadéquation du « nombre » à l'infini (et en […] Lire la suite☛ http://www.universalis.fr/encyclopedie/infini-mathematiques/#i_30426

INTRODUCTIO IN ANALYSIN INFINITORUM (L. Euler)

  • Écrit par 
  • Bernard PIRE
  •  • 196 mots

C'est à l'Académie des sciences de Berlin que Leonhard Euler (1707-1783) publie en 1748 le premier des trois grands traités didactiques où il expose sa conception du calcul différentiel et intégral. L'Introductio in analysin infinitorum met au premier plan le concept de fonction défini comme « une […] Lire la suite☛ http://www.universalis.fr/encyclopedie/introductio-in-analysin-infinitorum/#i_30426

ITÉRATION, mathématique

  • Écrit par 
  • Jean-Paul DELAHAYE, 
  • Universalis
  •  • 876 mots

Plus généralement, en mathématiques, lorsqu'une fonction ou opération est disponible, il est fréquent d'en envisager l'itération, celle-ci conduisant soit à de nouvelles fonctions ou opérations, soit à des structures ou propriétés intéressantes […] Lire la suite☛ http://www.universalis.fr/encyclopedie/iteration-mathematique/#i_30426

JORDAN CAMILLE (1838-1921)

  • Écrit par 
  • Jean-Luc VERLEY
  •  • 1 554 mots

Dans le chapitre « Analyse »  : […] polytechnique, puis au Collège de France, l'amène à préciser de nombreuses notions de la théorie des fonctions de variable réelle et son Cours d'analyse de l'École polytechnique, dont la première édition date de 1880, contribuera à former des générations de mathématiciens. Citons Henri Lebesgue : « Qu'est-ce qu'une aire ? se […] Lire la suite☛ http://www.universalis.fr/encyclopedie/camille-jordan/#i_30426

LANGLANDS ROBERT (1936-    )

  • Écrit par 
  • Bernard PIRE
  •  • 1 092 mots

Après sa thèse, Langlands s’intéresse aux formes automorphes, qui sont des fonctions appliquant un groupe topologique sur l’ensemble des nombres complexes en respectant certaines contraintes. Ces objets qui généralisent les fonctions numériques périodiques ont été introduits par Henri Poincaré comme […] Lire la suite☛ http://www.universalis.fr/encyclopedie/langlands-robert-1936/#i_30426

LEBESGUE HENRI (1875-1941)

  • Écrit par 
  • Lucienne FÉLIX
  •  • 2 262 mots

Dans le chapitre « Classification des fonctions »  : […] distinguer des propriétés numériques, qui établissent une hiérarchie dans une très vaste famille de fonctions dites « fonctions de Baire ». D'autres familles de fonctions, rebelles à l'intégrale de Riemann, peuvent être envisagées grâce à la mesure et à l'intégrale de Lebesgue : elles ne seront régulières que « presque partout », c'est-à-dire à l' […] Lire la suite☛ http://www.universalis.fr/encyclopedie/henri-lebesgue/#i_30426

LIMITE (mathématique)

  • Écrit par 
  • Jean-Marie PRUVOST-BEAURAIN
  •  • 1 203 mots

Venons-en au cas d'une fonction numérique, c'est-à-dire dont l'ensemble d'arrivée est un ensemble de nombres, par exemple l'ensemble des nombres réels ℝ. Si, dans certaines conditions, les valeurs de la fonction se rapprochent indéfiniment d'un certain nombre, cette fonction a, dans ces conditions, une limite, qui est ce […] Lire la suite☛ http://www.universalis.fr/encyclopedie/limite/#i_30426

LUZIN NIKOLAÏ NIKOLAÏEVITCH (1883-1950)

  • Écrit par 
  • Jean LOUVEAUX
  •  • 846 mots

Mathématicien russe. Né à Tomsk, le 9 décembre 1883, Nikolaï Luzin poursuit ses études secondaires dans cette ville jusqu'en 1901, puis part pour Moscou étudier les mathématiques à l'université, sous la direction de D. F. Egorov. En 1906, il est à Paris où il suit les cours de la Sorbonne et du Collège de France. De retour à Moscou, il prépare une […] Lire la suite☛ http://www.universalis.fr/encyclopedie/nikolai-nikolaievitch-luzin/#i_30426

NOTATION MATHÉMATIQUE

  • Écrit par 
  • Hans FREUDENTHAL
  •  • 10 386 mots
  •  • 3 médias

Dans le chapitre « Les fonctions »  : […] L'emploi mathématique du terme de fonction date de la correspondance de Leibniz avec Johann Bernoulli. Les auteurs sont conscients du fait que, parmi quelques variables, l'une peut être une fonction de l'autre et ils rendent, s'il est possible, cette dépendance explicite ; mais des signes de fonction y sont très rares (Johann Bernoulli, 1718 : ϕ […] Lire la suite☛ http://www.universalis.fr/encyclopedie/notation-mathematique/#i_30426

OSGOOD WILLIAM FOGG (1864-1943)

  • Écrit par 
  • Jeanne PEIFFER
  •  • 503 mots

Mathématicien américain, né à Boston et mort à Belmont (Massachusetts), William Fogg Osgood a joué un rôle important dans le développement de la recherche aux États-Unis. Osgood est entré au collège de Harvard en 1882 et, à l'exception de quelques années passées dans les universités allemandes, il y fera toute sa carrière. Au départ, il fut surtout […] Lire la suite☛ http://www.universalis.fr/encyclopedie/william-fogg-osgood/#i_30426

SCHWARTZ LAURENT (1915-2002)

  • Écrit par 
  • Bernard PIRE
  •  • 807 mots

qu'il développe pleinement alors qu'il est professeur à la faculté des sciences de Nancy. Elle est exposée principalement dans un article publié en 1948 sous le titre « Généralisation de la notion de fonction, de dérivation, de transformation de Fourier et applications mathématiques et physiques », puis dans un ouvrage pédagogique dont les deux […] Lire la suite☛ http://www.universalis.fr/encyclopedie/laurent-schwartz/#i_30426

SÉRIES TRIGONOMÉTRIQUES

  • Écrit par 
  • Jean-Pierre KAHANE
  •  • 5 481 mots
  •  • 1 média

Dans le chapitre « Aperçu historique »  : […] pas seulement dans le résultat, ni dans la méthode – qui est fort belle. On peut considérer que le concept moderne de fonction remonte à ce mémoire. Auparavant, une fonction était donnée soit par une expression analytique, soit par une représentation graphique. Au contraire, pour Dirichlet, la fonction n'est qu'une loi qui à chaque valeur x […] Lire la suite☛ http://www.universalis.fr/encyclopedie/series-trigonometriques/#i_30426

THÉORIE DES DISTRIBUTIONS (L. Schwartz)

  • Écrit par 
  • Bernard PIRE
  •  • 199 mots

Professeur à l'université de Nancy, Laurent Schwartz (1915-2002) fonde la théorie mathématique des distributions dans un article intitulé « Généralisation de la notion de fonction, de dérivation, de transformation de Fourier et applications mathématiques et physiques ». Il donne une interprétation […] Lire la suite☛ http://www.universalis.fr/encyclopedie/theorie-des-distributions/#i_30426

Pour citer l’article

Jean-Marie PRUVOST-BEAURAIN, « FONCTION, mathématiques », Encyclopædia Universalis [en ligne], consulté le 17 novembre 2018. URL : http://www.universalis.fr/encyclopedie/fonction-mathematiques/