Mathematical Writing - Vivaldi Franco 2014
Arithmetic
Essential Dictionary I
The notation for arithmetical operations is familiar and established. The sum and difference of two numbers and are always written and , respectively. By contrast, their product may be written in several equivalent ways:
(2.10)
and so may their quotient:
(The notation is used mostly in elementary texts.) Do not confuse the product dot ’’ with the decimal point ’’, e.g., and .
The reciprocal of , defined for , is also written in several ways:
while the opposite of is .
The notation for exponentiation is , where is the base and the exponent. Defining exponentiation for a general exponent is a delicate matter, as it requires the logarithmic and exponential functions. The case of a positive integer exponent is easier, because exponentiation reduces to repeated multiplication:
The assignment operator [see (2.2)] indicates that this is a definition, giving meaning to the expression on the left. The use of the under-brace is necessary to specify the number of terms in the product, because all terms are identical. Also note the use of the raised ellipsis ’’ to represent repeated multiplication (or repeated applications of any operator), to be compared with the ordinary ellipsis ’’, used for sets and sequences (see Sect. 3.1). Thus
whereas the notation is incorrect.
In integer arithmetic, the symbol ’’ is used for divisibility.
EXAMPLE. Turn symbols into words:
BAD:
The set of integers that are greater than or equal to zero, and such that 2 divides them. (Robotic.)
GOOD:
The set of non-negative even integers.
A positive divisor of , which is not 1 or , is called a proper divisor, and a prime is an integer greater than 1 that has no proper divisors. The acronyms gcd and lcm are used for greatest common divisor and least common multiple. (The expression highest common factor (hcf)—a variant of gcd which is popular in schools—is seldom used in higher mathematics.) Two integers are co-prime (or relatively prime) if their greatest common divisor is 1. Some authors use for ; this is to be avoided, since this notation is already overloaded.
The following concise notation represents certain infinite sets of integers (here and are any integers):
(2.11)
This definition gives meaning to the symbolic expression on the left of the assignment operator, which otherwise would be meaningless (you can’t form the sum or product of an integer and a set!). The two expressions on the right represent the same object. While any of the two would suffice, their combination adds clarity (we shall expand this idea in Sect. 6.4).
This notation is economical and effective:
This is a special case of a more general notation for sums and products of sets, to be developed in Sect. 2.3.