Variable libre

Variable libre

En mathématiques, et dans d'autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre ou variable parlante est une notation qui spécifie à quelles places dans une expression mathématique (en) une substitution peut avoir lieu. Cette idée est liée à celle de marque substitutive (un symbole qui sera plus tard remplacé par une chaîne de caractères), ou de caractère joker qui tient lieu de symbole non spécifié. Elle s'oppose de plus à la variable muette ou variable liée.

En programmation informatique une variable libre est une variable référencée dans une fonction et qui n'est pas une variable locale, ni un paramètre de cette fonction.

Méthode de détermination

Afin de déterminer si une variable (mathématique) est libre ou bien muette, René Cori (Université Paris-VII Diderot) a énoncé[réf. nécessaire] trois étapes d'analyse rigoureuses :

  1. Remplacer la variable étudiée par une autre "lettre" vierge (qui n'apparaît pas initialement dans l'expression). Si l'on obtient une expression synonyme alors la variable initiale était liée.
  2. S'il est possible de trouver une expression synonyme d'où la variable a complètement disparu, alors la variable est muette.
\int^{1}_{0}{x.dx} = \frac{1}{2}\,\!
\sum_{k=0}^{5}{2^k} = 2^0 + 2^1 + 2^2 + 2^3 + 2^4 + 2^5 = 63
  1. Repérer un signe qui rend la variable muette, on parle alors de signes mutificateurs.
 \sum_{x\in S} 
\quad\quad  \prod_{x\in S}
\quad\quad  \int_0^\infty\cdots\ dx
\quad\quad  \lim_{x\to 0}
\quad\quad  \forall x
\quad\quad  \exists x
\quad\quad  \lambda x 
\quad\quad  \psi x

Exemple du cas ci-dessous, x est une variable muette mais y est une variable libre car on parle de y.

\int_0^\infty x^{y-1} e^{-x}\,dx\,\!

Variables libres efficaces

La notion mathématique de variable efficace ne concerne que les variables libres. En effet une variable libre est dite efficace lorsque la signification de l'expression dans laquelle elle intervient ne dépend pas de l'objet que cette variable désigne.

Néanmoins la variable x de cette expression est inefficace car x est une variable libre (comme il n'existe aucun signe mutificateur) mais l'énoncé est vrai quel que soit l'objet désigné par x.

x = x

L'expression suivante a en effet pour x, une variable libre efficace

x + 1 = 0

Voir aussi



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Variable libre de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Variable libre — ● Variable libre celle qui peut prendre différentes valeurs dans un domaine de variation bien défini …   Encyclopédie Universelle

  • Variable liée — Variable libre En programmation informatique une variable libre est une variable référencée dans une fonction et qui n est pas une variable locale, ni un paramètre de cette fonction. En mathématiques, et dans d autres disciplines comprenant des… …   Wikipédia en Français

  • variable — [ varjabl ] adj. et n. • fin XII e; lat. variabilis 1 ♦ Qui est susceptible de se modifier, de changer souvent au cours d une durée. ⇒ changeant, 1. incertain, instable. Temps variable. N. m. Météor. L aiguille du baromètre est au variable, sur… …   Encyclopédie Universelle

  • Variable (mathématiques) — Pour les articles homonymes, voir variable. En mathématiques et en logique, une variable est un symbole utilisé pour marquer un rôle dans un prédicat, une formule ou un algorithme. Sommaire 1 Notion intuitive de variable …   Wikipédia en Français

  • libre — [ libr ] adj. • 1339; lat. liber ♦ Qui jouit de la liberté, de certaines libertés. I ♦ (Sens étroit) 1 ♦ (Opposé à esclave, serf) Qui n appartient pas à un maître. ⇒ 2. franc; affranchi. Travailleurs libres. 2 ♦ (1596) Opposé à captif, prisonnier …   Encyclopédie Universelle

  • Variable Geo — (ヴァリアブル・ジオ), también conocido como V.G., es un juego de lucha V.S. en 2D creado por Giga y Technical Group Laboratory (TGL) para el PC 9800 de NEC en 1993. Es un juego de lucha aparentemente convencional con tan sólo 6 personajes seleccionables,… …   Wikipedia Español

  • Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche …   Wikipédia en Français

  • Variable cachée — En physique quantique, le terme de variable cachée désigne des paramètres physiques hypothétiques qui ne seraient pas pris en compte par les postulats de la mécanique quantique, soit dans la définition de l état quantique, ou dans l évolution… …   Wikipédia en Français

  • Libre albedrío — El libre albedrío o libre elección es la creencia de aquellas doctrinas filosóficas que sostienen que los humanos tienen el poder de elegir y tomar sus propias decisiones. Muchas autoridades religiosas han apoyado dicha creencia, mientras que ha… …   Wikipedia Español

  • Théories d'une vitesse de lumière variable — Les concepts de vitesse de la lumière variable soutiennent que la vitesse de la lumière dans le vide, généralement notée c, pourrait ne pas être constante dans certains cas. NB : la vitesse de la lumière dans un milieu autre que le vide est… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”