Mathematical notation

Mathematical notation consists of using symbols for representing operations, unspecified numbers, relations, and any other mathematical objects and assembling them into expressions and formulas. Mathematical notation is widely used in mathematics, science, and engineering for representing complex concepts and properties in a concise, unambiguous, and accurate way.

For example, the physicist Albert Einstein's formula $E=mc^{2}$ is the quantitative representation in mathematical notation of mass–energy equivalence.^[1]

Mathematical notation was first introduced by François Viète at the end of the 16th century and largely expanded during the 17th and 18th centuries by René Descartes, Isaac Newton, Gottfried Wilhelm Leibniz, and overall Leonhard Euler.

Symbols

The use of many symbols is the basis of mathematical notation. They play a similar role as words in natural languages. They may play different roles in mathematical notation similarly as verbs, adjective and nouns play different roles in a sentence.

Letters as symbols

Letters are typically used for naming—in mathematical jargon, one says representing—mathematical objects. The Latin and Greek alphabets are used extensively, but a few letters of other alphabets are also used sporadically, such as the Hebrew ⁠ $\aleph$ ⁠, Cyrillic $Ш$ , and Hiragana $よ$ . Uppercase and lowercase letters are considered as different symbols. For Latin alphabet, different typefaces also provide different symbols. For example, $r,R,\mathbb {R} ,{\mathcal {R}},{\mathfrak {r}},$ and ${\mathfrak {R}}$ could theoretically appear in the same mathematical text with six different meanings. Normally, roman upright typeface is not used for symbols, except for symbols representing a standard function, such as the symbol " $\sin$ " of the sine function.^[2]

In order to have more symbols, and for allowing related mathematical objects to be represented by related symbols, diacritics, subscripts and superscripts are often used. For example, ${\hat {f'_{1}}}$ may denote the Fourier transform of the derivative of a function called $f_{1}.$

Other symbols

Symbols are not only used for naming mathematical objects. They can be used for operations $(+,-,/,\oplus ,\ldots ),$ for relations $(=,<,\leq ,\sim ,\equiv ,\ldots ),$ for logical connectives $(\implies ,\land ,\lor ,\ldots ),$ for quantifiers $(\forall ,\exists ),$ and for other purposes.

Some symbols are similar to Latin or Greek letters, some are obtained by deforming letters, some are traditional typographic symbols, but many have been specially designed for mathematics.

Expressions

An expression is a finite combination of symbols that is well-formed according to rules that depend on the context. In general, an expression denotes or names a mathematical object, and plays therefore in the language of mathematics the role of a noun phrase in the natural language.

An expression contains often some operators, and may therefore be evaluated by the action of the operators in it. For example, $3+2$ is an expression in which the operator $+$ can be evaluated for giving the result $5.$ So, $3+2$ and $5$ are two different expressions that represent the same number. This is the meaning of the equality $3+2=5.$

A more complicated example is given by the expression ${\textstyle \int _{a}^{b}xdx}$ that can be evaluated to ${\textstyle {\frac {b^{2}}{2}}-{\frac {a^{2}}{2}}.}$ Although the resulting expression contains the operators of division, subtraction and exponentiation, it cannot be evaluated further because $a$ and $b$ denote unspecified numbers.

History

Numbers

It is believed that a notation to represent numbers was first developed at least 50,000 years ago^[3]—early mathematical ideas such as finger counting^[4] have also been represented by collections of rocks, sticks, bone, clay, stone, wood carvings, and knotted ropes. The tally stick is a way of counting dating back to the Upper Paleolithic. Perhaps the oldest known mathematical texts are those of ancient Sumer. The Census Quipu of the Andes and the Ishango Bone from Africa both used the tally mark method of accounting for numerical concepts.

The concept of zero and the introduction of a notation for it are important developments in early mathematics, which predates for centuries the concept of zero as a number. It was used as a placeholder by the Babylonians and Greek Egyptians, and then as an integer by the Mayans, Indians and Arabs (see the history of zero).

Modern notation

Until the 16th century, mathematics was essentially rhetorical, in the sense that everything but explicit numbers was expressed in words. However, some authors such as Diophantus used some symbols as abbreviations.

The first systematic use of formulas, and, in particular the use of symbols (variables) for unspecified numbers is generally attributed to François Viète (16th century). However, he used different symbols than those that are now standard.

Later, René Descartes (17th century) introduced the modern notation for variables and equations; in particular, the use of $x,y,z$ for unknown quantities and $a,b,c$ for known ones (constants). He introduced also the notation $i$ and the term "imaginary" for the imaginary unit.

The 18th and 19th centuries saw the standardization of mathematical notation as used today. Leonhard Euler was responsible for many of the notations currently in use: the functional notation $f(x),$ $e$ for the base of the natural logarithm, ${\textstyle \sum }$ for summation, etc.^[5] He also popularized the use of $π$ for the Archimedes constant (proposed by William Jones, based on an earlier notation of William Oughtred).^[6]

Since then many new notations have been introduced, often specific to a particular area of mathematics. Some notations are named after their inventors, such as Leibniz's notation, Legendre symbol, Einstein's summation convention, etc.

Typesetting

General typesetting systems are generally not well suited for mathematical notation. One of the reasons is that, in mathematical notation, the symbols are often arranged in two-dimensional figures, such as in:

\sum _{n=0}^{\infty }{\frac {{\begin{bmatrix}a&b\\c&d\end{bmatrix}}^{n}}{n!}}.

TeX is a mathematically oriented typesetting system that was created in 1978 by Donald Knuth. It is widely used in mathematics, through its extension called LaTeX, and is a de facto standard. (The above expression is written in LaTeX.)

More recently, another approach for mathematical typesetting is provided by MathML. However, it is not well supported in web browsers, which is its primary target.

International standard mathematical notation

The international standard ISO 80000-2 (previously, ISO 31-11) specifies symbols for use in mathematical equations. The standard requires use of italic fonts for variables (e.g., E=mc²) and roman (upright) fonts for mathematical constants (e.g., e or π).

Non-Latin-based mathematical notation

Modern Arabic mathematical notation is based mostly on the Arabic alphabet and is used widely in the Arab world, especially in pre-tertiary education. (Western notation uses Arabic numerals, but the Arabic notation also replaces Latin letters and related symbols with Arabic script.)

In addition to Arabic notation, mathematics also makes use of Greek letters to denote a wide variety of mathematical objects and variables. On some occasions, certain Hebrew letters are also used (such as in the context of infinite cardinals).

Some mathematical notations are mostly diagrammatic, and so are almost entirely script independent. Examples are Penrose graphical notation and Coxeter–Dynkin diagrams.

Braille-based mathematical notations used by blind people include Nemeth Braille and GS8 Braille.

References

^ Einstein, Albert (1905). "Ist die Trägheit eines Körpers von seinem Energieinhalt abhängig?". Annalen der Physik (in German). 323 (13): 639–641. doi:10.1002/andp.19053231314. ISSN 0003-3804.
^ ISO 80000-2:2019
^ Eves, Howard (1990). An Introduction to the History of Mathematics (6 ed.). p. 9. ISBN 978-0-03-029558-4.
^ Ifrah, Georges (2000). The Universal History of Numbers: From prehistory to the invention of the computer. Translated by Bellos, David; Harding, E. F.; Wood, Sophie; Monk, Ian. John Wiley and Sons. p. 48. ISBN 0-471-39340-1. (NB. Ifrah supports his thesis by quoting idiomatic phrases from languages across the entire world. He notes that humans learned to count on their hands. He shows, for example, a picture of Boethius (who lived 480–524 or 525) reckoning on his fingers.)
^ Boyer, Carl Benjamin; Merzbach, Uta C. (1991). A History of Mathematics. John Wiley & Sons. pp. 442–443. ISBN 978-0-471-54397-8.
^ Arndt, Jörg; Haenel, Christoph (2006). Pi Unleashed. Springer-Verlag. p. 166. ISBN 978-3-540-66572-4.