Voir la source de Variable (mathématiques)

{{homonyme | variable}}
Dans les [[mathématiques]] supérieures  et en [[logique]], une '''variable''' est un symbole représentant, a priori, un objet indéterminé. On peut cependant ajouter des conditions sur cet objet, tel que l'[[ensemble]] ou la [[Famille (mathématiques)|collection]] le contenant. On peut alors utiliser une variable pour marquer un rôle dans un [[Calcul des prédicats|prédicat]], une [[Formule (mathématiques)|formule]] ou un [[Algorithmique|algorithme]], ou bien résoudre des [[Équation|équations]] et d'autres problèmes<ref>Dans les sciences exactes, une [[Grandeur physique|grandeur]] est associée à une variable ; ainsi le temps est associé très souvent à <math>t</math> et la position dans l'espace au triplet <math>(x,y,z)</math>.</ref>. Il peut s'agir d'une simple valeur, ou d'un objet mathématique tel qu'un [[vecteur]], une [[Matrice (mathématiques)|matrice]] ou même une [[Fonction (mathématiques)|fonction]]. Dans un [[polynôme]], une [[fraction rationnelle]] ou une [[série formelle]], la variable est remplacée par une [[indéterminée]] notée ''X''.

Il est d'usage d'utiliser un certain type de symbole pour l'objet que l'on souhaite représenter, par exemple les lettres de ''i'' à ''n'' pour les [[Indice (mathématiques)|indices]], les lettres de la fin de l'alphabet pour les [[Vecteur|vecteurs]], ou bien ''ε'' pour un [[Nombre réel|réel]] strictement positif ayant pour but de [[Limite (mathématiques)|tendre]] vers 0.

== Notion intuitive de variable ==

Pour calculer la longueur et la largeur d'une citerne dont on connait le volume, la hauteur et la différence entre la longueur et largeur, on peut décrire la méthode de calcul (l'algorithme sur les nombres et les opérations sur eux) sur un exemple, puis reproduire plusieurs exemples pour décrire complètement la méthode. C'est la méthode adoptée pendant l'Antiquité  par les  [[mathématiques babyloniennes]]<ref>Extrait de la tablette BM85200 et VAT6599. Cette tablette est étudiée d'un point de vue algorithmique dans l'article de [[Donald E. Knuth]] : ''Ancient Babylonian Algorithms''. Commun. ACM 15(7): 671-677 (1972), repris dans son livre ''Selected Papers on Computer Science'', (Stanford, California: Center for the Study of Language and Information, 1996) et dans la version française du livre ''Éléments pour une histoire de l'informatique'', (traduit par P. Cégielski) sous le titre '' Algorithmes babyloniens anciens'' p. 1-20.</ref>.

À la place des données et des résultats, qui changent dans chaque exemple, on peut décider de remplacer des valeurs fictives — appelées variables — par des symboles. Une ''variable'' est donc une ''entité syntaxique'' qui apparaît dans une ''[[Terme (logique)|expression]]'' et que l'on peut remplacer par une valeur, par exemple par un nombre. 

Dans l'exemple proposé par les  [[mathématiques babyloniennes]], si ''V'' est le volume, ''h'' est la hauteur, et ''d'' est la différence entre la longueur ''L'' et la largeur ''l'', on a
:<math> L = \sqrt{\left(\frac{d}{2}\right)^2 + \frac{V}{h}} + \frac{d}{2} \qquad\qquad l = \sqrt{\left(\frac{d}{2}\right)^2 + \frac{V}{h}} - \frac{d}{2}</math>

En remplaçant les variables ''d'' par 6, ''V'' par 14 et ''h'' par 2, on obtient les résultats suivants :
:<math> L = \sqrt{\left(\frac{6}{2}\right)^2 + \frac{14}{2}} + \frac{6}{2} \qquad\qquad l = \sqrt{\left(\frac{6}{2}\right)^2 + \frac{14}{2}} - \frac{6}{2} </math>

c'est-à-dire ''L''=7 (la longueur est 7) et ''l''=1 (la largeur est 1).

== Variable d'une fonction ==
Soient ''E'' et ''F'' deux ensembles. Soit une fonction <math>f</math> définie par :

{{retrait|<math> 
 \begin{matrix} f :&E & \longrightarrow & F 
\\& x & \longmapsto & f(x) \end{matrix}.</math>}}

{{math|''x''}} est appelée la variable de l'expression {{math|''f''}}({{math|''x''}}).

=== Exemples ===
*Pour la fonction <math>f</math> définie par :

{{retrait|<math> \begin{matrix}f:& \R & \longrightarrow & \R 
\\ &x & \longmapsto & 3x+2 \end{matrix}
</math>}}

{{math|''x''}} est appelée la variable de {{math|''f''}}({{math|''x''}}).


*Soit <math>x=(x_1;...;x_n)\in\R^n</math> . Pour la fonction {{math|''g''}} définie par :

<math> 
\begin{matrix} g : &\R^n & \longrightarrow & \R 
\\& x & \longmapsto & \sqrt{\sum_{i=1}^n x_i^2} \end{matrix}
</math>

{{math|''x''}} est la variable de {{math|''g''}}({{math|''x''}}). On peut aussi dire que chaque composante {{math|''x{{ind|i}}''}} de {{math|''x''}} est une variable de {{math|''g''}}({{math|''x''}}). Selon les points de vue, soit {{math|''g''}}({{math|''x''}}) possède une variable qui est donc {{math|''x''}} de dimension {{math|''n''}}, soit {{math|''g''}} est une [[Fonction de plusieurs variables|fonction de {{math|''n''}} variables]] de dimension 1.

== Variable libre et variable liée ==

En mathématiques, une variable est dite :
* ''libre'' si elle est remplaçable par le nom d'un objet appartenant à un ensemble donné ; ainsi dans la [[formule (mathématiques)|formule]] ouverte<ref>C'est-à-dire qui contient des variables libres.</ref> « 4''x''<sup>2</sup>&nbsp;+&nbsp;''x''&nbsp;-&nbsp;3&nbsp;=&nbsp;0 », la lettre « ''x'' » est une variable libre ; si ''x'' est remplacée par une constante '''a''', l'expression « 4'''a'''<sup>2</sup>&nbsp;+&nbsp;'''a'''&nbsp;-&nbsp;3&nbsp;=&nbsp;0 » est un [[Calcul des prédicats|énoncé clos]] ou [[Calcul des propositions|proposition]] ;
* ''liée'' ou ''muette'' lorsqu'elle entre dans le champ d'un opérateur, en sorte que son rôle est seulement descriptif. Ainsi en est-il de ''x'', ''k'', ''i'', et ''t'' respectivement dans les propositions suivantes :
<math>\forall x \in \mathbb N \quad  x+1> 0 \quad;\quad
\sum_{k=1}^b k  = \frac {b(b+1)}{2} \quad;\quad \prod_{i=1}^ {10} i = 3628800  \quad;\quad  \pi = \int_0^\infty \frac{2}{1+t^2} \,dt\, </math>.

On dit que les opérateurs, respectivement [[Notation (mathématiques)|∀]], [[somme (arithmétique)|∑]], [[produit (mathématiques)|∏]] et [[intégrale (mathématiques)|'''∫''']], ''lient'' ces variables : ce sont des signes '''mutificateurs'''.

{{Article détaillé|Variable libre}}

=== Exemples ===

==== Exemple 1 ====
Les variables liées par un [[Quantificateur (logique)|quantificateur universel]] ∀ traduisent l'universalité d'une propriété, c'est-à-dire le fait que la dite propriété est satisfaite par tous les objets d'un certain domaine.

Par exemple, nous remarquons que
:<math>(1+0)^2\geq 1</math>
:<math>(1+1)^2\geq 1+2\times 1</math>
:<math>(1+ (-0,5))^2\geq 1+2\times (-0,5)</math>
Alors nous pouvons [[conjecture]]r que :
:pour tout nombre <math>x \in \mathbb R</math>,  <math>(1+x)^2\geq 1+2\times x</math>
Si par un [[raisonnement]] cette affirmation est démontrée alors il sera possible de l'utiliser pour n'importe quel nombre donné.
Pour démontrer ce théorème, il suffit de considérer une variable <math>x</math> représentant un [[nombre réel]] quelconque et de développer:
:<math>(1+x)^2=1+2\times x+x^2\,</math>
D'autre part nous savons que tout nombre réel élevé au carré est positif, donc <math>x^2\geq 0</math>. De plus en ajoutant de chaque côté de cette dernière inégalité <math>1+2\times x</math>, il vient 
:<math>1+2\times x+x^2\geq 1+2\times x</math>
donc 
:<math>(1+x)^2\geq 1+2\times x</math>.
La propriété est donc universelle.

Les variables liées par un quantificateur existentiel ∃ traduisent l'existence d'objets vérifiant une certaine propriété.

Par exemple, le théorème suivant :
:''deux droites non parallèles du plan se coupent en un point'',
affirme qu'il existe un point appartenant à deux droites non parallèles, sans le donner par une formule.

Dans le cadre d'une démonstration, en partant de deux droites non parallèles on pourra utiliser le théorème et affirmer qu'il existe un point <math>M</math> commun à ces deux droites. En fait <math>M</math> est une variable représentant ce point et cette définition de la variable <math>M</math>, va nous permettre de travailler avec ce point.

==== Exemple 2 ====
Soient <math>f:\mathbb{R}\longrightarrow \mathbb{R} </math> et <math>x\in\mathbb{R}</math>, les énoncés suivants signifient exactement la même chose :

<math>i)\, \forall\epsilon>0,\exists\eta>0,\forall y\in\mathbb{R},|x-y|<\eta \Longrightarrow |f(x)-f(y)|<\epsilon</math>

<math>ii)\,\forall\epsilon>0,\exists\alpha>0,\forall y\in\mathbb{R},|x-y|<\alpha \Longrightarrow |f(x)-f(y)|<\epsilon</math>

<math>iii)\, \forall\epsilon>0,\exists\alpha>0,\forall \spadesuit\in\mathbb{R},|x-\spadesuit|<\alpha \Longrightarrow |f(x)-f(\spadesuit)|<\epsilon</math>

<math>iv)\,\forall y>0,\exists\epsilon>0,\forall \alpha\in\mathbb{R},|x-\alpha|<\epsilon \Longrightarrow |f(x)-f(\alpha)|<y</math>

<math>v)\,f \text{ est continue en } x</math>

Dans ce cas, les variables <math>\epsilon,\,\eta,\, \alpha,\, y,\, \spadesuit</math> sont liées<ref>L'énoncé <math>iv</math> peut troubler le lecteur habitué à la définition formelle usuelle de la continuité, parce les variables ne sont pas employées suivant l'usage traditionnel.  Bien que cela ne soit pas recommandé, cela montre que les variables liées peuvent être renommées arbitrairement sans altérer la signification globale de la proposition.</ref>, ceci se remarque très bien dans ce cas car l'énoncé se résume sans les utiliser.

Et dans tout cet exemple, <math>f</math> et <math>x</math> sont des variables libres, en effet, tout cela est équivalent à :

Soient <math>g:\mathbb{R}\longrightarrow \mathbb{R} </math> et <math>z\in\mathbb{R}</math>, les énoncés suivants signifient exactement la même chose :

<math>i)\, \forall\epsilon>0,\exists\eta>0,\forall y\in\mathbb{R},|z-y|<\eta \Longrightarrow |g(z)-g(y)|<\epsilon</math>

<math>ii)\,\forall\epsilon>0,\exists\alpha>0,\forall y\in\mathbb{R},|z-y|<\alpha \Longrightarrow |g(z)-g(y)|<\epsilon</math>

<math>iii)\, \forall\epsilon>0,\exists\alpha>0,\forall \spadesuit\in\mathbb{R},|z-\spadesuit|<\alpha \Longrightarrow |g(z)-g(\spadesuit)|<\epsilon</math>

<math>iv)\,\forall y>0,\exists\epsilon>0,\forall \alpha\in\mathbb{R},|z-\alpha|<\epsilon \Longrightarrow |g(z)-g(\alpha)|<y</math>

<math>v)\,g \text{ est continue en } z</math>

Et si l'on pose, par exemple <math>f=\exp</math> et <math>x=0</math>, les énoncés précédent deviennent des propositions, qui sont, dans ce cas, vraies.

== Variables mathématiques et variables informatiques ==
Dans les [[programmation impérative|langages de programmation impératifs]], ce que les informaticiens appellent des variables sont des repères de valeurs qui évoluent au cours du temps, on parle aussi de [[Référence (programmation)|références]]. Il s'agit donc plutôt de l'identification d'emplacements en mémoire. Si une variable informatique n'est pas initialisée, sa valeur est non définie. Quand on doit utiliser dans le même cadre le concept de variable mathématique et le concept de variable informatique, comme c'est le cas en [[sémantique des langages de programmation]], on appelle la variable informatique un « emplacement » (« ''location'' » en anglais). 

Dans les [[Programmation fonctionnelle|langages fonctionnels]], grâce à la [[transparence référentielle]], les variables des programmes sont des variables mathématiques. 

{{Article détaillé|Variable (informatique)}}

== Histoire ==
Dans sa ''logistique spécieuse'', [[François Viète]] ouvre la voie au formalisme en utilisant des lettres pour représenter les entités utilisées dans un problème mathématique. On utilise souvent la lettre x pour une variable. Cela viendrait de la lettre grec khi, transformation de l'arabe ''chay''' (شيء), signifiant "chose"<ref>{{Lien web|langue=fr|titre=La logique - Poche|url=https://www.editions-lepommier.fr/la-logique-poche|site=Editions Le Pommier|périodique=|date=2016-05-17|consulté le=2019-07-01|page=p. 16}}</ref>.

== Une mathématique sans variables ==

Le mathématicien [[Moses Schönfinkel]] a eu l'idée que l'on pouvait fonder les mathématiques sur une logique sans variables<ref>Moses Schönfinkel, ''Uber die Bausteine der mathematischen Logik'', [[Annals of Mathematics]], 92, 1924, {{p.|305-316}}. Trad. par G. Vandevelde, ''Sur les éléments de construction de la logique mathématique''. Analyse et note par [[Jean-Pierre Ginisti]], Mathématiques, informatique et Sciences Humaines (MISH), 112, hiver 1990, {{p.|5-26}}. Conférence donnée à Göttingen en 1920.</ref>.  Il a créé pour cela un [[système formel]] que l'on appelle la [[logique combinatoire]]. Ce système a été repris et complété par [[Haskell Curry]]<ref>Dans de nombreux textes depuis ''An analysis of logical substitution'', The American Journal of Mathematics, 51, 1929, {{p.|363-384}}. Ouvrages de référence : Haskell Brooks Curry et ''alii'', ''Combinatory logic 1'', 1958 et  ''Combinatory logic 2'', 1972, Ed. North Holland. Voir aussi ''A mathematical logic without variables'' by John Barkley Rosser, Univ. Diss. Princeton, NJ 1934, {{p.|127-150}}, 328-355.</ref>.  Un tel système n'a pas les complications de la [[Substitution explicite|substitution]], mais perd en lisibilité. En utilisant le calcul des relations, [[Alfred Tarski|Tarski]] et Givant ont aussi défini une mathématique sans variables<ref>Alfred Tarski & Givant, Steven, 1987. 2004, « A Formalization of Set Theory Without Variables », American Mathematical Society.</ref>.  Les indices de [[Lambda calcul#Les indices de de Bruijn|De Bruijn]] sont encore une autre façon de se passer des variables.

== Notes et références ==
{{Références|colonnes=2}}

== Voir aussi ==
{{Autres projets|wiktionary=variable|wiktionary titre=variable}}
* [[Calcul des prédicats]]
* [[Application (mathématiques)]]
* [[Changement de variable]]
* [[Énoncé]]
* [[Espace de noms]]
* [[Fonction numérique]]
* [[Formule (mathématiques)|Formule]]
* [[Lambda calcul]]
* [[Terme (logique)]]
* [[Théorie des types]]
* [[Variable indépendante]]
* [[Variable dépendante]]
* [[Variable centrée réduite]]
* [[Variable libre]]

{{Portail|mathématiques|logique|informatique}}

[[Catégorie:Vocabulaire des mathématiques]]
[[Catégorie:Concept logique]]