World Library  
Flag as Inappropriate
Email this Article

Expression (mathematics)

Article Id: WHEBN0000609125
Reproduction Date:

Title: Expression (mathematics)  
Author: World Heritage Encyclopedia
Language: English
Subject: Algebraic expression, Symbolic computation, Flory–Huggins solution theory, Automatic differentiation, Finite field
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Expression (mathematics)

In mathematics, an expression (or mathematical expression) is a finite combination of symbols that is well-formed according to rules that depend on the context. Mathematical symbols can designate numbers (constants), variables, operations, functions, punctuation, grouping, and other aspects of logical syntax.

Examples

The use of expressions ranges from the simple:

0+0
8x-5   (linear polynomial)
7+4x-10   (quadratic polynomial)
\frac{x-1}+12}   (rational expression)

to the complex:

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

Forms

Mathematical expressions include arithmetic expressions, polynomials, algebraic expressions, closed-form expressions, and analytical expressions. The table below highlights some similarities and differences between these different types.

Syntax versus semantics

Syntax

Being an expression is a syntactic concept.

An expression must be well-formed; i.e., the operators must have the correct number of inputs, in the correct places. Strings of symbols that violate the rules of syntax are not well-formed and are not valid mathematical expressions.

For example, in the usual notation of arithmetic, the expression 2 + 3 is well formed, but the expression * 2 + is not. Similarly,

\times4)x+,/y

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

Semantics

Semantics is the study of meaning. Formal semantics is about attaching meaning to expressions.

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.

Formal languages and lambda calculus

Formal languages are concerned by how expressions are constructed. They form a key element of formal systems.

In the 1930s, Alonzo Church and Stephen Kleene have formalized expressions and their evaluation by introducing lambda calculus.

The equivalence of two expressions in the lambda calculus is undecidable. This is also the case for the expressions representing real numbers, which are built from the integers by using the arithmetical operations, the logarithm and the exponential.

Variables

Many mathematical expressions include 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.

For example, the expression

x/y

evaluated for x = 10, y = 5, will give 2; but it 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_{n=1}^{3} (2nx)

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 to the simpler expression 12x. The value for x = 3 is 36.

See also

Notes

References

  • Redden, John. Elementary Algebra. Flat World Knowledge, 2011.
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.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.