You are here
Homevariable
Primary tabs
variable
The word variable as used in mathematics (and in other scientific fields that use mathematics) is somewhat vague and may have different meanings depending on the context. Variables are usually denoted by a single Roman or Greek letter, e.g. $x$, although sometimes a whole word or phrase can be used also.
Here is a list of some of the meanings of variable:
 (i) As “mathematical” variables.

These stand for a concrete object, for example, an element of the real numbers That is, when we write the symbol $x$, it is a standin for various numbers: e.g. $2,3,\pi,e,578.24$. But we do not name these numbers specifically, because we may want to talk about all these numbers at once, in a general statement, theorem, or proof about numbers.
Sense (i) is probably the most common usage in mainstream mathematics.
 (ii) As placeholders in functional notation.

For example, we may be defining a function using the phrase “define the function $f(z)=z^{2}+4$ for complex numbers $z$. This usage of a variable is slightly different from sense (i), because our objective is to talk about the function $f$, and not its value at a number $z$ which is $f(z)$. The notation “$f(z)=z^{2}+4$” is merely a much more convenient way of saying: “define the function $f$ which takes a complex number, multiplies it by itself, and then adds four to it”. It could also be rephrased this way: “define a function $f$ such that the statement $f(z)=z^{2}+4$ is true for all complex numbers $z$ (in sense (i))”.
On the other hand, the symbol $f$, if we were to contemplate it as a “variable”, arguably belongs to the sense (i); in this case we are talking about some specific function, not all functions.
 (iii) As “formal” variables.

For instance, we may talk about a formal polynomial $p(x)=1+x+x^{2}$. This is similar to sense (ii), but is not exactly the same. The variable $x$ here is not necessarily a complex number, or in any fixed domain at all. It is a formal symbol, which we later replace by actual elements of the real numbers, or matrices, etc. at our whim. And $p$ here is not a function; it is a polynomial.
The variables used in formal logic can also be considered to fall in sense (iii). For example, we may have a set of variables $\{x,y,z\}$ and a formula from the firstorder language using such variables: $(\exists x((x\leq 0)\land\mathrm{R}(z))$.
 (iv) As pieces of (experimental) data.

Used in the sciences. One may say “at $t=4\>\mathrm{s}$, $x=23.1\>\mathrm{m}$” which may really mean: “at 4 seconds from the start of the experiment, the object is 23.1 metres to the right of its initial position”.
So the symbols $t$ and $x$ are being used in the meaning of “time” and “position” in general. There may or may not be a functional relation between the “variables” $t$ and $x$. If there is, we might say “$x$ is a function of $t$”, and we can talk about quantities such as $dx/dt$.
If we want to talk about a specific (but unnamed) time, we can use a notation such as “when $t=t_{0},\ldots$” for some variable $t_{0}$ in sense (i).
The field of probability and statistics follows a similar practice for what are termed “random variables”, which are really functions defined on a measure space $\Omega$. But in practice they are usually denoted with variable notation: e.g. “the random variable $X$”, and a specific value of this random variable $X$, at some unspecified $\omega\in\Omega$, is denoted by $x$.
 (v) As state variables in computer algorithms.

In this case, a variable $x$ stands for a computer memory location. Or in more abstract language, $x$ is a name for a container which may hold some object. The contents of this container may change as time passes or when it is modified by a program that the computer is executing.
In formal language, putting a value in the container is often denoted by notation like “$x\leftarrow 2$”.
Mathematics Subject Classification
00A05 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis
Apr 20
new image: informationtheoreticdistributedmeasurementdds.png by rspuzio
new image: informationtheoreticdistributedmeasurement4.2 by rspuzio
new image: informationtheoreticdistributedmeasurement4.1 by rspuzio
new image: informationtheoreticdistributedmeasurement3.2 by rspuzio
new image: informationtheoreticdistributedmeasurement3.1 by rspuzio
new image: informationtheoreticdistributedmeasurement2.1 by rspuzio
Apr 19
new collection: On the InformationTheoretic Structure of Distributed Measurements by rspuzio
Apr 15
new question: Prove a formula is part of the Gentzen System by LadyAnne
Mar 30
new question: A problem about Euler's totient function by mbhatia