Expression (mathematics)

In mathematics, an expression is a finite combination of symbols that is wellformed according to rules that depend on the context. Symbols can designate numbers (constants), variables, operations, functions, and other mathematical symbols, as well as punctuation, symbols of grouping, and other syntactic symbols. The use of expressions can range from the simple:
 3 + 5
to the complex:
 .
Strings of symbols that violate the rules of syntax are not wellformed and are not valid mathematical expressions. For example:
would not be considered a mathematical expression but only a meaningless jumble.^{[1]}
In algebra an expression may be used to designate a value, which might depend on values assigned to variables occurring in the expression; the determination of this value depends on the semantics attached to the symbols of the expression. These semantic rules may declare that certain expressions do not designate any value; such expressions are said to have an undefined value, but they are wellformed expressions nonetheless. In general the meaning of expressions is not limited to designating values; for instance, an expression might designate a condition, or an equation that is to be solved, or it can be viewed as an object in its own right that can be manipulated according to certain rules. Certain expressions that designate a value simultaneously express a condition that is assumed to hold, for instance those involving the operator to designate an internal direct sum.
Being an expression is a syntactic concept; although different mathematical fields have different notions of valid expressions, the values associated to variables does not play a role. See formal language for general considerations on how expressions are constructed, and formal semantics for questions concerning attaching meaning (values) to expressions.
Variables
Many mathematical expressions include letters called variables. Any variable can be classified as being either a free variable or a bound variable.
For a given combination of values for the free variables, an expression may be evaluated, although for some combinations of values of the free variables, the value of the expression may be undefined. Thus an expression represents a function whose inputs are the value assigned the free variables and whose output is the resulting value of the expression.^{[2]}
For example, the expression
 x / y
evaluated for x = 10, y = 5, will give 2; but is undefined for y = 0.
The evaluation of an expression is dependent on the definition of the mathematical operators and on the system of values that is its context.
Two expressions are said to be equivalent if, for each combination of values for the free variables, they have the same output, i.e., they represent the same function. Example:
The expression
has free variable x, bound variable n, constants 1, 2, and 3, two occurrences of an implicit multiplication operator, and a summation operator. The expression is equivalent with the simpler expression 12x. The value for x = 3 is 36.
The '+' and '−' (addition and subtraction) symbols have their usual meanings. Division can be expressed either with the '/' or with a horizontal dash. Thus
are perfectly valid. Also, for multiplication one can use the symbols '×' or a '·' (mid dot), or else simply omit it (multiplication is implicit); so:
are all acceptable. However, notice in the first example above how the "times" symbol resembles the letter 'x' and also how the '·' symbol resembles a decimal point, so to avoid confusion it's best to use one of the later two forms.
An expression must be wellformed. That is, the operators must have the correct number of inputs, in the correct places. The expression 2 + 3 is well formed; the expression * 2 + is not, at least, not in the usual notation of arithmetic.
Expressions and their evaluation were formalised by Alonzo Church and Stephen Kleene^{[3]} in the 1930s in their lambda calculus. The lambda calculus has been a major influence in the development of modern mathematics and computer programming languages.^{[4]}
One of the more interesting results of the lambda calculus is that the equivalence of two expressions in the lambda calculus is in some cases undecidable. This is also true of any expression in any system that has power equivalent to the lambda calculus.
See also
 Algebraic closure
 Algebraic expression
 Combinator
 Defined and undefined
 Expression (programming)
 Formula
 Formal grammar
 Functional programming
References
Categories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
Expression — may refer to:* Idiom * Facial expression * Artificial discharge of breast milk; see breastfeeding * Expression (mathematics) * Expression (programming), an instruction to execute something that will return a value. * Microsoft Expression Studio,… … Wikipedia
Expression (programming) — An expression in a programming language is a combination of values, variables, operators, and functions that are interpreted ( evaluated ) according to the particular rules of precedence and of association for a particular programming language,… … Wikipedia
expression — ► NOUN 1) the action of expressing. 2) the look on someone s face. 3) a word or phrase expressing an idea. 4) Mathematics a collection of symbols expressing a quantity. DERIVATIVES expressional adjective expressionless adjective … English terms dictionary
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Mathematics of Sudoku — The class of Sudoku puzzles consists of a partially completed row column grid of cells partitioned into N regions each of size N cells, to be filled in using a prescribed set of N distinct symbols (typically the numbers {1, ..., N}), so that each … Wikipedia
expression — expression W2S2 [ıkˈspreʃən] n ▬▬▬▬▬▬▬ 1¦(strong feelings/thoughts)¦ 2¦(on somebody s face)¦ 3¦(word/phrase)¦ 4¦(music/acting)¦ 5¦(mathematics)¦ ▬▬▬▬▬▬▬ 1.) ¦(STRONG FEELINGS/THOUGHTS)¦ [U and C] something you say, write, or do that shows what… … Dictionary of contemporary English
Mathematics of general relativity — For a generally accessible and less technical introduction to the topic, see Introduction to mathematics of general relativity. General relativity Introduction Mathematical formulation Resources … Wikipedia
Mathematics of radio engineering — A complex valued function. The mathematics of radio engineering is a pleasant and very useful subject. This article is an attempt to provide a reasonably comprehensive summary of this almost limitless topic. While the ideas have historically… … Wikipedia
expression — /Ik spreSFn/ noun 1 WORDS (C) a word or group of words with a particular meaning: The expression in the family way means pregnant .  pardon/forgive/excuse the expression (=used when you have used a word that you think may offend someone): He… … Longman dictionary of contemporary English