Misplaced Pages

In mathematics, a variable (from Latin variabilis, "changeable") is a symbol, typically a letter, that holds a place for constants, often numbers. One say colloquially that the variable represents or denotes the object, and that the object is the value of the variable.

Originally, the term "variable" was used primarily for the argument of a function, in which case its value can vary in the domain of the function. This is the motivation for the choice of the term. Also, variables are used for denoting values of functions, such as y in ${\displaystyle y=f(x).}$

A variable may represent a unspecified number that remains fixed during the resolution of a problem; in which case, it is often called a parameter. A variable may denote an unknown number that has to be determined; in which case, it is called an unknown; for example, in the quadratic equation ${\displaystyle ax^{2}+bx+c=0,}$ the variables ${\displaystyle a,b,c}$ are parameters, and ${\displaystyle x}$ is the unknown.

Sometimes the same symbol can be used to denote both a variable and a constant, that is a well defined mathematical object. For example, the Greek letter π generally represents the number π, but has also been used to denote a projection. Similarly the letter e often denotes Euler's number, but has been used to denote an unassigned coefficient for quartic function and higher degree polynomials. Even the symbol ⁠${\displaystyle 1}$⁠ has been used to denote an identity element of an arbitrary field. These two notions are used almost identically, therefore one usually must be told whether a given symbol denotes a variable or a constant.

Variables are often used for representing matrices, functions, their arguments, sets and their elements, vectors, spaces, etc.

In mathematical logic, a variable is either a symbol representing an unspecified constant of the theory, or a variable which is being quantified over.

History

In ancient works such as Euclid's Elements, single letters refer to geometric points and shapes. In the 7th century, Brahmagupta used different colours to represent the unknowns in algebraic equations in the Brāhmasphuṭasiddhānta. One section of this book is called "Equations of Several Colours".

At the end of the 16th century, François Viète introduced the idea of representing known and unknown numbers by letters, nowadays called variables, and the idea of computing with them as if they were numbers—in order to obtain the result by a simple replacement. Viète's convention was to use consonants for known values, and vowels for unknowns.

In 1637, René Descartes "invented the convention of representing unknowns in equations by x, y, and z, and knowns by a, b, and c". Contrarily to Viète's convention, Descartes' is still commonly in use. The history of the letter x in math was discussed in an 1887 Scientific American article.

Starting in the 1660s, Isaac Newton and Gottfried Wilhelm Leibniz independently developed the infinitesimal calculus, which essentially consists of studying how an infinitesimal variation of a variable quantity induces a corresponding variation of another quantity which is a function of the first variable. Almost a century later, Leonhard Euler fixed the terminology of infinitesimal calculus, and introduced the notation y = f(x) for a function f, its variable x and its value y. Until the end of the 19th century, the word variable referred almost exclusively to the arguments and the values of functions.

In the second half of the 19th century, it appeared that the foundation of infinitesimal calculus was not formalized enough to deal with apparent paradoxes such as a nowhere differentiable continuous function. To solve this problem, Karl Weierstrass introduced a new formalism consisting of replacing the intuitive notion of limit by a formal definition. The older notion of limit was "when the variable x varies and tends toward a, then f(x) tends toward L", without any accurate definition of "tends". Weierstrass replaced this sentence by the formula

${\displaystyle (\forall \epsilon >0)(\exists \eta >0)(\forall x)\;|x-a|<\eta }$${\displaystyle \Rightarrow |L-f(x)|<\epsilon ,}$

in which none of the five variables is considered as varying.

This static formulation led to the modern notion of variable, which is simply a symbol representing a mathematical object that either is unknown, or may be replaced by any element of a given set (e.g., the set of real numbers).

Notation

Variables are generally denoted by a single letter, most often from the Latin alphabet and less often from the Greek, which may be lowercase or capitalized. The letter may be followed by a subscript: a number (as in x₂), another variable (x_i), a word or abbreviation of a word (x_total) or a mathematical expression (x_{2i + 1}). Under the influence of computer science, some variable names in pure mathematics consist of several letters and digits. Following René Descartes (1596–1650), letters at the beginning of the alphabet such as a, b, c are commonly used for known values and parameters, and letters at the end of the alphabet such as (x, y, z) are commonly used for unknowns and variables of functions. In printed mathematics, the norm is to set variables and constants in an italic typeface.

For example, a general quadratic function is conventionally written as ${\textstyle ax^{2}+bx+c\,}$, where a, b and c are parameters (also called constants, because they are constant functions), while x is the variable of the function. A more explicit way to denote this function is ${\textstyle x\mapsto ax^{2}+bx+c\,}$, which clarifies the function-argument status of x and the constant status of a, b and c. Since c occurs in a term that is a constant function of x, it is called the constant term.

Specific branches and applications of mathematics have specific naming conventions for variables. Variables with similar roles or meanings are often assigned consecutive letters or the same letter with different subscripts. For example, the three axes in 3D coordinate space are conventionally called x, y, and z. In physics, the names of variables are largely determined by the physical quantity they describe, but various naming conventions exist. A convention often followed in probability and statistics is to use X, Y, Z for the names of random variables, keeping x, y, z for variables representing corresponding better-defined values.

Specific kinds of variables

It is common for variables to play different roles in the same mathematical formula, and names or qualifiers have been introduced to distinguish them. For example, the general cubic equation

${\displaystyle ax^{3}+bx^{2}+cx+d=0,}$

is interpreted as having five variables: four, a, b, c, d, which are taken to be given numbers and the fifth variable, x, is understood to be an unknown number. To distinguish them, the variable x is called an unknown, and the other variables are called parameters or coefficients, or sometimes constants, although this last terminology is incorrect for an equation, and should be reserved for the function defined by the left-hand side of this equation.

In the context of functions, the term variable refers commonly to the arguments of the functions. This is typically the case in sentences like "function of a real variable", "x is the variable of the function f: x ↦ f(x)", "f is a function of the variable x" (meaning that the argument of the function is referred to by the variable x).

In the same context, variables that are independent of x define constant functions and are therefore called constant. For example, a constant of integration is an arbitrary constant function that is added to a particular antiderivative to obtain the other antiderivatives. Because of the strong relationship between polynomials and polynomial functions, the term "constant" is often used to denote the coefficients of a polynomial, which are constant functions of the indeterminates.

Other specific names for variables are:

• An unknown is a variable in an equation which has to be solved for.
• An indeterminate is a symbol, commonly called variable, that appears in a polynomial or a formal power series. Formally speaking, an indeterminate is not a variable, but a constant in the polynomial ring or the ring of formal power series. However, because of the strong relationship between polynomials or power series and the functions that they define, many authors consider indeterminates as a special kind of variables.
• A parameter is a quantity (usually a number) which is a part of the input of a problem, and remains constant during the whole solution of this problem. For example, in mechanics the mass and the size of a solid body are parameters for the study of its movement. In computer science, parameter has a different meaning and denotes an argument of a function.
• Free variables and bound variables
• A random variable is a kind of variable that is used in probability theory and its applications.

All these denominations of variables are of semantic nature, and the way of computing with them (syntax) is the same for all.

Dependent and independent variables

In calculus and its application to physics and other sciences, it is rather common to consider a variable, say y, whose possible values depend on the value of another variable, say x. In mathematical terms, the dependent variable y represents the value of a function of x. To simplify formulas, it is often useful to use the same symbol for the dependent variable y and the function mapping x onto y. For example, the state of a physical system depends on measurable quantities such as the pressure, the temperature, the spatial position, ..., and all these quantities vary when the system evolves, that is, they are function of the time. In the formulas describing the system, these quantities are represented by variables which are dependent on the time, and thus considered implicitly as functions of the time.

Therefore, in a formula, a dependent variable is a variable that is implicitly a function of another (or several other) variables. An independent variable is a variable that is not dependent.

The property of a variable to be dependent or independent depends often of the point of view and is not intrinsic. For example, in the notation f(x, y, z), the three variables may be all independent and the notation represents a function of three variables. On the other hand, if y and z depend on x (are dependent variables) then the notation represents a function of the single independent variable x.

Examples

If one defines a function f from the real numbers to the real numbers by

${\displaystyle f(x)=x^{2}+\sin(x+4)}$

then x is a variable standing for the argument of the function being defined, which can be any real number.

In the identity

${\displaystyle \sum _{i=1}^{n}i={\frac {n^{2}+n}{2}}}$

the variable i is a summation variable which designates in turn each of the integers 1, 2, ..., n (it is also called index because its variation is over a discrete set of values) while n is a parameter (it does not vary within the formula).

In the theory of polynomials, a polynomial of degree 2 is generally denoted as ax + bx + c, where a, b and c are called coefficients (they are assumed to be fixed, i.e., parameters of the problem considered) while x is called a variable. When studying this polynomial for its polynomial function this x stands for the function argument. When studying the polynomial as an object in itself, x is taken to be an indeterminate, and would often be written with a capital letter instead to indicate this status.

Example: the ideal gas law

Consider the equation describing the ideal gas law, $${\displaystyle PV=Nk_{B}T.}$$ This equation would generally be interpreted to have four variables, and one constant. The constant is ${\displaystyle k_{B}}$, the Boltzmann constant. One of the variables, ${\displaystyle N}$, the number of particles, is a positive integer (and therefore a discrete variable), while the other three, ${\displaystyle P,V}$ and ${\displaystyle T}$, for pressure, volume and temperature, are continuous variables.

One could rearrange this equation to obtain ${\displaystyle P}$ as a function of the other variables, $${\displaystyle P(V,N,T)={\frac {Nk_{B}T}{V}}.}$$ Then ${\displaystyle P}$, as a function of the other variables, is the dependent variable, while its arguments, ${\displaystyle V,N}$ and ${\displaystyle T}$, are independent variables. One could approach this function more formally and think about its domain and range: in function notation, here ${\displaystyle P}$ is a function ${\displaystyle P:\mathbb {R} _{>0}\times \mathbb {N} \times \mathbb {R} _{>0}\rightarrow \mathbb {R} }$.

However, in an experiment, in order to determine the dependence of pressure on a single one of the independent variables, it is necessary to fix all but one of the variables, say ${\displaystyle T}$. This gives a function $${\displaystyle P(T)={\frac {Nk_{B}T}{V}},}$$ where now ${\displaystyle N}$ and ${\displaystyle V}$ are also regarded as constants. Mathematically, this constitutes a partial application of the earlier function ${\displaystyle P}$.

This illustrates how independent variables and constants are largely dependent on the point of view taken. One could even regard ${\displaystyle k_{B}}$ as a variable to obtain a function $${\displaystyle P(V,N,T,k_{B})={\frac {Nk_{B}T}{V}}.}$$

Moduli spaces

Considering constants and variables can lead to the concept of moduli spaces. For illustration, consider the equation for a parabola, $${\displaystyle y=ax^{2}+bx+c,}$$ where ${\displaystyle a,b,c,x}$ and ${\displaystyle y}$ are all considered to be real. The set of points ${\displaystyle (x,y)}$ in the 2D plane satisfying this equation trace out the graph of a parabola. Here, ${\displaystyle a,b}$ and ${\displaystyle c}$ are regarded as constants, which specify the parabola, while ${\displaystyle x}$ and ${\displaystyle y}$ are variables.

Then instead regarding ${\displaystyle a,b}$ and ${\displaystyle c}$ as variables, we observe that each set of 3-tuples ${\displaystyle (a,b,c)}$ corresponds to a different parabola. That is, they specify coordinates on the 'space of parabolas': this is known as a moduli space of parabolas.

Conventional variable names

• a, b, c, d (sometimes extended to e, f) for parameters or coefficients
• a₀, a₁, a₂, ... for situations where distinct letters are inconvenient
• a_i or u_i for the i-th term of a sequence or the i-th coefficient of a series
• f, g, h for functions (as in ${\displaystyle f(x)}$)
• i, j, k (sometimes l or h) for varying integers or indices in an indexed family, or unit vectors
• l and w for the length and width of a figure
• l also for a line, or in number theory for a prime number not equal to p
• n (with m as a second choice) for a fixed integer, such as a count of objects or the degree of an equation
• p for a prime number or a probability
• q for a prime power or a quotient
• r for a radius, a remainder or a correlation coefficient
• t for time
• x, y, z for the three Cartesian coordinates of a point in Euclidean geometry or the corresponding axes
• z for a complex number, or in statistics a normal random variable
• α, β, γ, θ, φ for angle measures
• ε (with δ as a second choice) for an arbitrarily small positive number
• λ for an eigenvalue
• Σ (capital sigma) for a sum, or σ (lowercase sigma) in statistics for the standard deviation
• μ for a mean

See also

• Lambda calculus
• Observable variable
• Physical constant
• Propositional variable

References

1. Sobolev, S.K. (originator). Individual variable. Springer. ISBN 1402006098. Retrieved September 5, 2024. {{cite book}}: |website= ignored (help)
2. Beckenbach, Edwin F (1982). College algebra (5th ed.). Wadsworth. ISBN 0-534-01007-5.
3. Landin, Joseph (1989). An Introduction to Algebraic Structures. New York: Dover Publications. p. 204. ISBN 0-486-65940-2.
4. Ely, Robert; Adams, Anne E. (February 22, 2012). "Unknown, placeholder, or variable: what is x?". Mathematics Education Research Journal. 24 (1): 19–38. Bibcode:2012MEdRJ..24...19E. doi:10.1007/s13394-011-0029-9 – via Springer Science+Business Media.
5. Oxford English Dictionary, s.v. “variable (n.), sense 1.a,” March 2024. "Mathematics and Physics. A quantity or force which, throughout a mathematical calculation or investigation, is assumed to vary or be capable of varying in value."
6. Collins English Dictionary. Variable, (noun) mathematics a. an expression that can be assigned any of a set of values b. a symbol, esp x, y, or z, representing an unspecified member of a class of objects
7. "ISO 80000-2:2019" (PDF). Quantities and units, Part 2: Mathematics. International Organization for Standardization. Archived from the original on September 15, 2019. Retrieved September 15, 2019.
8. Stover & Weisstein.
9. van Dalen, Dirk (2008). "Logic and Structure" (PDF). Springer-Verlag (4th ed.): 57. doi:10.1007/978-3-540-85108-0. ISBN 978-3-540-20879-2.
10. Feys, Robert; Fitch, Frederic Brenton (1969). Dictionary of symbols of mathematical logic. Amsterdam: North-Holland Pub. Co. LCCN 67030883.
11. Shapiro, Stewart; Kouri Kissel, Teresa (2024), "Classical Logic", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Spring 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved September 1, 2024
12. Tabak 2014, p. 40.
13. Fraleigh 1989, p. 276.
14. Sorell 2000, p. 19.
15. Scientific American. Munn & Company. September 3, 1887. p. 148.
16. Edwards Art. 4
17. Hosch 2010, p. 71.
18. Foerster 2006, p. 18.
19. Edwards Art. 5
20. Edwards Art. 6
21. Weisstein, Eric W. "Sum". mathworld.wolfram.com. Retrieved February 14, 2022.

Bibliography

• Edwards, Joseph (1892). An Elementary Treatise on the Differential Calculus (2nd ed.). London: MacMillan and Co.
• Foerster, Paul A. (2006). Algebra and Trigonometry: Functions and Applications (classics ed.). Upper Saddle River, NJ: Prentice Hall. ISBN 978-0-13-165711-3.
• Fraleigh, John B. (1989). A First Course in Abstract Algebra (4th ed.). United States: Addison-Wesley. ISBN 978-0-201-52821-3.
• Hosch, William L., ed. (2010). The Britannica Guide to Algebra and Trigonometry. Britannica Educational Publishing. ISBN 978-1-61530-219-2.
• Menger, Karl (1954). "On Variables in Mathematics and in Natural Science". The British Journal for the Philosophy of Science. 5 (18). University of Chicago Press: 134–142. doi:10.1093/bjps/V.18.134. JSTOR 685170.
• Peregrin, Jaroslav (2000). "Variables in Natural Language: Where do they come from?" (PDF). In Böttner, Michael; Thümmel, Wolf (eds.). Variable-Free Semantics. Osnabrück Secolo. pp. 46–65. ISBN 978-3-929979-53-4.
• Quine, Willard V. (1960). "Variables Explained Away" (PDF). Proceedings of the American Philosophical Society. 104 (3). American Philosophical Society: 343–347. JSTOR 985250.
• Sorell, Tom (2000). Descartes: A Very Short Introduction. New York: Oxford University Press. ISBN 978-0-19-285409-4.
• Stover, Christopher; Weisstein, Eric W. "Variable". In Weisstein, Eric W. (ed.). Wolfram MathWorld. Wolfram Research. Retrieved November 22, 2021.
• Tabak, John (2014). Algebra: Sets, Symbols, and the Language of Thought. Infobase Publishing. ISBN 978-0-8160-6875-3.

v t e Mathematical logic
General	Axiom list Cardinality First-order logic Formal proof Formal semantics Foundations of mathematics Information theory Lemma Logical consequence Model Theorem Theory Type theory
Theorems (list)  and paradoxes	Gödel's completeness and incompleteness theorems Tarski's undefinability Banach–Tarski paradox Cantor's theorem, paradox and diagonal argument Compactness Halting problem Lindström's Löwenheim–Skolem Russell's paradox
Logics	Traditional Classical logic Logical truth Tautology Proposition Inference Logical equivalence Consistency Equiconsistency Argument Soundness Validity Syllogism Square of opposition Venn diagram Propositional Boolean algebra Boolean functions Logical connectives Propositional calculus Propositional formula Truth tables Many-valued logic 3 finite ∞ Predicate First-order list Second-order Monadic Higher-order Fixed-point Free Quantifiers Predicate Monadic predicate calculus
Set theory	Set hereditary Class (Ur-)Element Ordinal number Extensionality Forcing Relation equivalence partition Set operations: intersection union complement Cartesian product power set identities Types of sets Countable Uncountable Empty Inhabited Singleton Finite Infinite Transitive Ultrafilter Recursive Fuzzy Universal Universe constructible Grothendieck Von Neumann Maps and cardinality Function/Map domain codomain image In/Sur/Bi-jection Schröder–Bernstein theorem Isomorphism Gödel numbering Enumeration Large cardinal inaccessible Aleph number Operation binary Set theories Zermelo–Fraenkel axiom of choice continuum hypothesis General Kripke–Platek Morse–Kelley Naive New Foundations Tarski–Grothendieck Von Neumann–Bernays–Gödel Ackermann Constructive
Formal systems (list), language and syntax	Alphabet Arity Automata Axiom schema Expression ground Extension by definition conservative Relation Formation rule Grammar Formula atomic closed ground open Free/bound variable Language Metalanguage Logical connective ¬ ∨ ∧ → ↔ = Predicate functional variable propositional variable Proof Quantifier ∃ ! ∀ rank Sentence atomic spectrum Signature String Substitution Symbol function logical/constant non-logical variable Term Theory list Example axiomatic systems (list) of arithmetic: Peano second-order elementary function primitive recursive Robinson Skolem of the real numbers Tarski's axiomatization of Boolean algebras canonical minimal axioms of geometry: Euclidean: Elements Hilbert's Tarski's non-Euclidean Principia Mathematica
Proof theory	Formal proof Natural deduction Logical consequence Rule of inference Sequent calculus Theorem Systems axiomatic deductive Hilbert list Complete theory Independence (from ZFC) Proof of impossibility Ordinal analysis Reverse mathematics Self-verifying theories
Model theory	Interpretation function of models Model equivalence finite saturated spectrum submodel Non-standard model of arithmetic Diagram elementary Categorical theory Model complete theory Satisfiability Semantics of logic Strength Theories of truth semantic Tarski's Kripke's T-schema Transfer principle Truth predicate Truth value Type Ultraproduct Validity
Computability theory	Church encoding Church–Turing thesis Computably enumerable Computable function Computable set Decision problem decidable undecidable P NP P versus NP problem Kolmogorov complexity Lambda calculus Primitive recursive function Recursion Recursive set Turing machine Type theory
Related	Abstract logic Algebraic logic Automated theorem proving Category theory Concrete/Abstract category Category of sets History of logic History of mathematical logic timeline Logicism Mathematical object Philosophy of mathematics Supertask
Mathematics portal

• Variables (mathematics)
• Algebra
• Calculus
• Elementary mathematics
• Syntax (logic)
• Mathematical logic