### Arithmetic expression

In mathematics, an expression is a finite combination of symbols that is well-formed 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:

$0+0$

to the complex:

$f\left(a\right)+\sum_\left\{k=1\right\}^n\left.\frac\left\{1\right\}\left\{k!\right\}\frac\left\{d^k\right\}\left\{dt^k\right\}\right|_\left\{t=0\right\}f\left(u\left(t\right)\right) + \int_0^1 \frac\left\{\left(1-t\right)^n \right\}\left\{n!\right\} \frac\left\{d^\left\{n+1\right\}\right\}\left\{dt^\left\{n+1\right\}\right\} f\left(u\left(t\right)\right)\, dt.$

We can think of algebraic expressions as generalizations of common arithmetic operations that are formed by combining numbers, variables, and mathematical operations.[1] Some common examples follow:

Linear expression: $8x-5$.

Quadratic expression: $7+4x-10$.

Rational expression: $\frac\left\{x-1\right\}+12\right\}$.

Strings of symbols that violate the rules of syntax are not well-formed and are not valid mathematical expressions. For example:

$\times4\right)x+,/y$

would not be considered a mathematical expression but only a meaningless jumble.[2]

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 (for instance when they involve division by 0); such expressions are said to have an undefined value, but they are well-formed 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 $\oplus$ 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.[3]

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

$\sum_\left\{n=1\right\}^\left\{3\right\} \left(2nx\right)$

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

$x/2 \text\left\{ or \right\} \left\{x \over 2\right\}$

are perfectly valid. Also, for multiplication one can use the symbols '×' or a '·' (mid dot), or else simply omit it (multiplication is implicit); so:

$x \times 2 \text\left\{ or \right\} x\cdot2 \text\left\{ or \right\} x2 \text\left\{ or \right\} 2x$

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 well-formed. 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[4] 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.[5]

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.

## References

• Redden, John. . Flat World Knowledge, 2011
ar:تركيب جبري

bg:Израз is:Stæða it:Espressione (matematica) pl:Wyrażenie algebraiczne

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.

Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.