Namespaces
Variants
Actions

Mathematical symbols

From Encyclopedia of Mathematics
Jump to: navigation, search

2020 Mathematics Subject Classification: Primary: 03-XX Secondary: 01Axx [MSN][ZBL]

Conventional signs used for the written notation of mathematical notions and reasoning. For example, the notion "the square root of the number equal to the ratio of the length of the circumference of a circle to its diameter" is denoted briefly by $\sqrt{\pi}$, while the statement "the ratio of the length of the circumference of the circle to its diameter is greater than three and ten seventy-firsts and less than three and one seventh" is written as \[ 3 + \frac{10}{71} < \pi < 3 + \frac{1}{7}\, . \]

Early history

The development of mathematical notation was intimately bound up with the general evolution of mathematical concepts and methods.

The origins

The first mathematical symbols were signs for the depiction of numbers — ciphers, the appearance of which apparently preceded the introduction of written language. The most ancient systems of numbering (see Numbers, representations of) — the Babylonian and the Egyptian — date back to around 3500 B.C..

Ancient Greece

The first mathematical symbols for arbitrary quantities appeared much later (from the 5th-4th centuries B.C.) in Greece. Arbitrary quantities (areas, volumes, angles) were represented by the lengths of lines and the product of two such quantities was represented by a rectangle with sides representing the respective factors. In Euclid's Elements (3th century B.C.), quantities are denoted by two letters, the initial and final letters of the corresponding segment, and sometimes by one letter. Dating from Archimedes (287–213 B.C.), the latter device became standard. This mode of notation could potentially have developed into a calculus of letters. In the mathematics of classical Antiquity, however, no operations were carried out on letters and such a letter calculus did not materialize.

Post-Hellenistic era

The rudiments of letter notation and calculus appeared in the post-Hellenistic era, thanks to the liberation of algebra from its geometric setting. Diophantus (probably 3th century A.D.) denoted the unknown $x$ and its powers by the following symbols: \[ \begin{array}{llllll} x\quad & x^2\quad & x^3\quad & x^4\quad & x^5\quad & x^6\\ \varsigma' &\delta^{\tilde{\upsilon}} &\kappa^{\tilde{\upsilon}} & \delta \delta^{\tilde{\upsilon}}&\delta \kappa^{\tilde{\upsilon}}& \kappa \kappa^{\tilde{\upsilon}} \end{array} \] ($\delta^\tilde{\upsilon}$ — from the Greek term $\delta\upsilon'\nu\alpha\mu\iota\varsigma$, denoting the square of the unknown; $\kappa^{\tilde{\upsilon}}$ — from the Greek $\kappa\upsilon'\beta\omicron\varsigma$, cube). Diophantus wrote coefficients to the right of the unknown or its powers, e.g. $3 x^5$ was denoted by $\delta \kappa^{\tilde{\upsilon}} \bar{\gamma}$ (where $\bar{\gamma} = 3$). Terms to be added together were simply juxtaposed, while subtraction required the special symbol $\wedge$; equality was denoted by the letter $\iota$ (from the Greek $\iota\sigma\omicron\varsigma$, equal). For example, Diophantus would have written the equation \[ (x^3+8x)-(5x^2+1) = x \] as follows: \[ \kappa^{\tilde{\upsilon}}\;\bar{\alpha}\;\varsigma'\; \bar{\eta}\; \bigwedge\; \delta^{\tilde{\upsilon}}\; \bar{\epsilon}\; \mu^0\; \bar{\alpha}\; \iota\; \varsigma'\;\bar{\alpha} \] (here $\bar{\alpha} =1$, $\bar{\eta}=8$, $\bar{\epsilon}=5$ and $\mu^0\bar{\alpha}$ means that the unit $\bar{\alpha}$ is not to be multiplied by a power of the unknown).

Indians

Several centuries later, the Indians, who had developed a numerical algebra, introduced various mathematical symbols for several unknowns (abbreviations for the names of colours, which denoted the unknowns), the square, the square root, and the subtrahend. Thus, the equation \[ 3 x^2 + 10x - 8 = x^2 +1 \] was written in Brahmaputra's notation (7th century) as follows:

ya va $3$ ya $10$ ru $8$

ya va $1$ ya $0$ ru $1$

(ya — from yavat — tavat, unknown; va — from varga, squared number; ru — from rupa, a rupee coin — free term; a dot above a number denotes subtraction).

Renaissance

The creation of modern algebraic symbols dates to the 14th–15th centuries; it was conditioned by achievements in practical arithmetic and the study of equations. Symbols for various operations and for powers of an unknown quantity appeared spontaneously in different countries. Many decades — sometimes centuries — elapsed until a specific symbol became accepted as convenient for calculations. Thus, at the end of the 15th century N. Chuquet and L. Pacioli (Fra Luca Pacioli) were using the symbols $p$ and $m$ (from the Latin plus and minus) for addition and subtraction, respectively, while German mathematicians introduced the modern $+$ (probably an abbreviation for the Latin et) and $-$. As late as the 17th century, one could count about ten different symbols for multiplication.

The history of the radical sign is instructive. Following Leonardo Pisano (Leonardo da Pisa) (1220), and up to the 17th century, the symbol $RR$ (from the Latin "radix", i.e. root) was widely employed for "square root" . Chuquet denoted square, cube, etc., roots by $RR^2, RR^3$, etc. In a German manuscript of ca. 1480 the square root is denoted by a dot before the number, the cube root by three dots, and the fourth root by two dots. By 1525 one can already find the symbol $\gamma\; \gamma$ (Ch. Rudolff, sometimes written as K. Rudolff). For higher-order roots, some scholars simply repeated this symbol; others wrote a suitable letter after the symbol (an abbreviation of the name of the exponent), and still others inscribed a suitable figure in a circle or between parentheses or square brackets in order to distinguish it from the number under the radical sign (the horizontal line over the radicand was introduced by R. Descartes, 1637). Only at the beginning of the 18th century did it become customary to write the exponent above the opening of the radical sign; the first appearance of this convention, though, was much earlier (A. Girard, 1629). Thus, the evolution of the radical sign extended over almost 500 years.

Modern algebraic notation

Mathematical symbols for an unknown quantity and its powers were highly diverse. During the 16th century and early 17th century, more than ten rival notations were current for just one square of an unknown; among these were ce (from census — the Latin term serving as translation for the Greek term $\delta \upsilon'\nu\alpha\mu \iota\varsigma$), Q (for quadratum), $zz$, $\frac{ii}{1}$, A , $1^2$, $A^{ii}$, aa, $a^2$, etc. G. Cardano (1545) would have written the equation \[ x^3 + 5x +12 \] as follows: \[ 1 .\; {\rm cubus}\, \square.\;\varsigma\; . {\rm positionibus equantur}\; 12 \] (cubus $=$ cube, positio $=$ unknown, æquantur $=$ equals).

The same equation, written by M. Stifel (1544), would have been: \[ 1+5.\; {\rm aequ}.\; 12 \] by R. Bombelli (1572): \[ 1p\; .\; 5 {\rm eguale\; a\;} 12 \] by F. Viète (1591): \[ 1C + fN,\; {\rm aequatur}\; 12 \] (C $=$ cubus $=$ cube, N $=$ numerus $=$ number);

and by T. Harriot (1631): \[ aaa+5.a=12 \] The 16th century and early 17th century saw the first appearance and use of the equality sign and brackets; square brackets (Bombelli, 1550), parentheses (N. Tartaglia, 1556), and curly brackets (Viète, 1593).

Viète

A significant step forward in the development of mathematical notation was Viète's introduction (1591) of capital letters of the Latin alphabet to denote both arbitrary constant quantities and unknowns; consonants, such as B, D, ... were reserved for constants, and vowels A, E, ... for unknowns. This made it possible for the first time to write down algebraic equations with arbitrary coefficients and to operate with them. For example, Viète's equation \[ A\, {\rm cubus}\; +\; B\, {\rm plano}\; {\rm in}\; A3\;.\; {\rm aequatur}\;D\; {\rm solido} \] (cubus $=$ cube, planus $=$ plane, i.e. B is a two-dimensional constant; solidus $=$ solid (three-dimensional); the dimensionality was indicated to ensure homogeneity of the different terms) stands for the following equation in our notation: \[ x^3+3Bx=D\, . \] Viète, then, was the creator of algebraic formulas.

Descartes

Descartes (1637) gave algebraic notation its modern appearance, denoting unknowns by the last letters of the alphabet $x,y,z$, and arbitrary given quantities by the first letters $a,b,c$. Descartes is also to be credited with the modern notation for powers. As his notation offered considerable advantages over its predecessors, it rapidly gained universal recognition.

Infinitesimal calculus

The further development of mathematical symbols was intimately connected with the invention of infinitesimal calculus, though the basis had already been prepared to a considerable extent in algebra. I. Newton, in his method of fluxions and fluents (1666 and later), introduced symbols for successive fluxions (derivatives) of a quantity : , and the symbol for an infinitesimal increment. Somewhat earlier J. Wallis (1655) had proposed the symbol for infinity. The creator of the modern notation for the differential and integral calculus was G. Leibniz. In particular, it was he who invented the modern differentials and the integral

It is worth emphasizing the essential advantage of Leibniz' integral symbol over Newton's proposal, namely the incorporation of the . Leibniz's notation , while hinting at the actual process of constructing an integral sum, also includes explicit indication of the integrand and the variable of integration. As a result, the notation is also suited for writing formulas for transformation of variables and is readily used for multiple and line integrals. Newton's notation does not directly offer such possibilities. Similar remarks hold concerning Leibniz's differential signs as against Newton's signs for fluxions and infinitesimal increments.

L. Euler deserves the credit for a considerable proportion of modern mathematical notation. He introduced the first generally accepted symbol for a variable operation, the function symbol (from the Latin functio function; 1734). Somewhat earlier, the symbol had been used by J. Bernoulli (1718). After Euler, the symbols for many individual functions (including the trigonometric functions) became standard. Euler was also the first to use the notations (the base of the natural logarithms, 1736), (probably from the Greek circumference, 1736), and the imaginary unit (from the French "imaginaire" , 1777, published in 1794), which soon gained universal acceptance.

During the 19th century, the role of notation became even more important; as new fields of mathematics were opened up, scholars endeavored to standardize the basic symbols. Some widely employed modern symbols appeared only at that time: the absolute value (K. Weierstrass, 1841), the vector (A. Cauchy, 1853), the determinant

(A. Cayley, 1841), and others. Many of the new theories of the 19th century, such as the tensor calculus, could not have been developed without suitable notation. A characteristic phenomenon in this respect was the increase in the relative proportion of symbols denoting relations, such as the congruence (C.F. Gauss, 1801), membership , isomorphism , equivalence , etc. Symbols for variable relations appeared with the advent of mathematical logic, which makes particularly extensive use of mathematical symbols.

From the point of view of mathematical logic, mathematical symbols can be classified under the following main headings: A) symbols for objects, B) symbols for operations, C) symbols for relations. For example, the symbols 1, 2, 3, 4 denote numbers, i.e., the objects studied in arithmetic. The symbol for the addition operation, , standing on its own, does not denote any object; it takes an objective content only when the numbers to be added are specified: denotes the number . The symbol (greater) denotes a relation between numbers. A relation symbol assumes a definite content only when the objects that can stand in that specific relation are specified. One further, fourth, group of symbols may be added: D) auxiliary symbols, which determine the order in which the basic symbols are to be combined. A good example of this type of symbol is provided by parentheses, which indicate the order in which arithmetical operations are to be carried out.

The symbols of each of the three main groups A), B), C) are of two kinds: 1) individual symbols for definite objects, operations and relations; and 2) general symbols for "variable" or "unknown" objects, operations and relations. Examples of symbols of the first kind are the following (see also the table in this article):

) The notation for the natural numbers 1, 2, 3, 4, 5, 6, 7, 8, 9; the transcendental numbers and ; the imaginary unit ; etc.

) The signs for the arithmetical operations, ; root extraction , , differentiation , the Laplace operator

This subgroup also contains the individual symbols , , , etc.

) Equality and inequality signs, , the symbols denoting parallel () and perpendicular (), etc.

Symbols of the second kind denote arbitrary objects, operations and relations of a certain class, or objects, operations and relations resulting from some previously mentioned conditions. For example, in the written identity

the letters and denote arbitrary numbers; when one is studying the functional dependence

the letters and denote arbitrary numbers standing in the given relation; in the solution of the equation

denotes any number satisfying the equation (by solving the equation, one knows that there are only two numbers satisfying the condition: and ).

From a logical point of view it is quite legitimate to call all symbols of this kind variable symbols, as is customary in mathematical logic (the "domain of variation" of the variable may prove to consist of a single object; it may even be "empty" — e.g. in the case of equations with no solutions). Further examples of this kind of signs are:

) Symbols for points, straight lines, planes, and more complex geometrical figures, denoted in geometry by letters.

) Notations such as for functions and notations in operator calculus, when one letter may be used to denote, say, an arbitrary operator of the form

Symbols for "variable relations" are less common; they find application only in mathematical logic and in comparatively abstract, primarily axiomatic, branches of mathematics.

The origin of some mathematical symbols.

<tbody> </tbody>
Symbol Meaning Introduced by Year
infinity J. Wallis 1655
base of the natural logarithms L. Euler 1736
ratio of the length of a circumference to the diameter H. Jones, L. Euler 1706, 1736
square root of L. Euler 1777 (publ. 1794)
, , unit vectors W. Hamilton 1853
angle of parallelism N.I. Lobachevskii 1835
<tbody> </tbody>
Symbol Meaning Introduced by Year
, , unknown or variable quantities R. Descartes 1637
vector A.L. Cauchy 1853
<tbody> </tbody>
Symbol Meaning Introduced by Year
addition German mathematicians end of the 15th century
multiplication W. Oughtred 1631
multiplication G. Leibniz 1698
division G. Leibniz 1684
powers R. Descartes 1637
roots I. Newton 1676
K. Rudolff 1525
A. Girard 1629
Log logarithm J. Kepler 1624
log logarithm B. Cavalieri 1632
sin sine L. Euler 1748
cos cosine L. Euler 1748
tg tangent L. Euler 1753
tan tangent L. Euler 1753
arc sin arcsine J. Lagrange 1772
Sh hyperbolic sine V. Ricatti 1757
Ch hyperbolic cosine V. Ricatti 1757
differentials G. Leibniz 1675 (publ. 1684)
integral G. Leibniz 1675 (publ. 1684)
derivative G. Leibniz 1675
derivative J. Lagrange 1770–1779
difference, increment L. Euler 1755
partial derivative A. Legendre 1786
definite integral J. Fourier 1819–1820
sum L. Euler 1755
product C.F. Gauss 1812
! factorial Ch. Kramp 1808
absolute value K. Weierstrass 1841
lim limit S. l'Huillier 1786
limit W. Hamilton 1853
limit various mathematicians beginning of the 20th century
zeta-function B. Riemann 1857
gamma-function A. Legendre 1808
beta-function J. Binet 1839
delta, Laplace operator R. Murphy 1833
nabla, Hamilton operator W. Hamilton 1853
<tbody> </tbody>
Symbol Meaning Introduced by Year
function J. Bernoulli 1718
function L. Euler 1734
<tbody> </tbody>
Symbol Meaning Introduced by Year
equality R. Recorde 1557
greater than T. Harriot 1631
smaller than T. Harriot 1631
congruence C.F. Gauss 1801
parallel W. Oughtred 1677 (posthumously publ.)
perpendicular P. Hérigone 1634

References

[1] F. Cajori, "A history of mathematical notations" , 1–2 , Open Court (1952–1974)

Comments

In fact, the notation was borrowed by Euler from H. Jones.

References

[a1] M. Kline, "Mathematical thought from ancient to modern times" , Oxford Univ. Press (1972)
[a2] C.B. Boyer, "A history of mathematics" , Wiley (1968)
How to Cite This Entry:
Mathematical symbols. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Mathematical_symbols&oldid=30950