1.5 Mathematical notation

Mathematical notation is the shared language of mathematics. It lets you express complex ideas in a compact, precise way that anyone trained in math can read, regardless of what spoken language they use. This topic covers the major symbols and conventions you'll encounter throughout your math studies.

Importance of mathematical notation

Mathematical notation exists because natural language is too ambiguous for math. Saying "a number times itself three times" could be interpreted differently by different people, but $x^3$ means exactly one thing. Standardized symbols let mathematicians, scientists, and students communicate ideas without confusion.

Role in mathematical communication

• Provides an unambiguous system for expressing mathematical ideas
• Allows efficient representation of complex relationships and operations
• Facilitates the exchange of mathematical knowledge between researchers, educators, and students worldwide
• Enables concise expression of proofs and theorems that would take paragraphs to write in plain English

Historical development of notation

Mathematical notation wasn't invented all at once. It evolved over centuries:

• Ancient civilizations (Egyptian, Babylonian) used hieroglyphs and cuneiform for basic arithmetic
• For most of history, math was written out in words and sentences
• In the 16th century, François Viète and René Descartes introduced algebraic symbols, letting letters stand for unknown quantities
• Leibniz developed calculus notation ($\frac{dy}{dx}$, $\int$) in the late 17th century
• The 19th and 20th centuries brought widespread standardization as formal mathematics grew

Fundamental symbols and operators

These are the building blocks of every mathematical expression. You've been using most of them since elementary school, but it's worth being precise about what each one means.

Arithmetic operators

• Addition $+$ represents combining quantities
• Subtraction $-$ indicates finding the difference between quantities
• Multiplication $\times$ or $\cdot$ denotes scaling or repeated addition
• Division $\div$ or the fraction bar $/$ represents partitioning or the inverse of multiplication
• Exponentiation $a^n$ indicates multiplying $a$ by itself $n$ times

Relational symbols

These symbols describe how two expressions compare to each other:

• $=$ means two expressions have the same value
• $<$ (less than) and $>$ (greater than) compare magnitudes
• $\leq$ and $\geq$ include the possibility of equality
• $\neq$ indicates two expressions have different values
• $\approx$ is used for approximations (e.g., $\pi \approx 3.14$)

Logical connectives

These show up in formal logic and proofs. Each one combines or modifies truth values:

• $\land$ (AND): true only when both conditions are true
• $\lor$ (OR): true when at least one condition is true
• $\neg$ (NOT): reverses the truth value of a statement
• $\Rightarrow$ (implies): represents "if...then" statements
• $\Leftrightarrow$ (biconditional): means "if and only if," so both sides must have the same truth value

Set theory notation

• $\in$ means "is an element of" (e.g., $3 \in \mathbb{Z}$ means 3 is an integer)
• $\subseteq$ means one set is contained within another
• $\cup$ (union) combines all elements from two sets
• $\cap$ (intersection) gives only the elements shared by both sets
• $\emptyset$ or $\{\}$ represents the empty set, a set with no elements

Number systems notation

Each number system has a standard symbol, and they nest inside each other like layers. Understanding which system you're working in tells you what operations are valid.

Natural and whole numbers

• Natural numbers $\mathbb{N}$: the counting numbers (1, 2, 3, ...)
• Whole numbers $\mathbb{N}_0$: natural numbers plus zero (0, 1, 2, 3, ...)
• These are closed under addition and multiplication, meaning adding or multiplying two natural numbers always gives another natural number. They're not closed under subtraction ($3 - 5$ isn't a natural number) or division.

Integers and rational numbers

• Integers $\mathbb{Z}$: all positive and negative whole numbers and zero (..., -2, -1, 0, 1, 2, ...)
• Rational numbers $\mathbb{Q}$: any number expressible as $\frac{p}{q}$ where $p$ and $q$ are integers and $q \neq 0$
• Every terminating or repeating decimal is rational. For example, $0.333... = \frac{1}{3}$.
• Rational numbers are dense: between any two rational numbers, you can always find another one.

Real and complex numbers

• Real numbers $\mathbb{R}$: all rational and irrational numbers together
• Irrational numbers like $\sqrt{2}$, $\pi$, and $e$ have non-repeating, non-terminating decimals and can't be written as fractions
• Complex numbers $\mathbb{C}$: expressed as $a + bi$, where $a$ and $b$ are real numbers and $i = \sqrt{-1}$
• Complex numbers can be visualized on the complex plane (also called an Argand diagram), with the real part on the horizontal axis and the imaginary part on the vertical axis

Variables and constants

Use of letters in algebra

Letters in math serve different roles depending on convention:

• Letters near the end of the alphabet ($x$, $y$, $z$) typically represent unknowns or variables
• Letters near the beginning ($a$, $b$, $c$) usually represent known constants or parameters
• Subscripts ($x_1$, $x_2$, $x_3$) distinguish multiple variables of the same type
• Greek letters ($\alpha$, $\beta$, $\theta$) are often used for angles or specific mathematical quantities

These are conventions, not rules. Context always determines what a letter means.

Common mathematical constants

• Pi ($\pi$) $\approx 3.14159$: the ratio of any circle's circumference to its diameter
• Euler's number ($e$) $\approx 2.71828$: the base of natural logarithms, central to exponential growth and calculus
• Imaginary unit ($i$): defined as $\sqrt{-1}$, the foundation of complex numbers
• Golden ratio ($\varphi$) $\approx 1.61803$: appears in geometry, art, architecture, and nature
• Avogadro's constant ($N_A$) $\approx 6.022 \times 10^{23}$: used in chemistry and physics to count particles in a mole

Function notation

A function is a rule that assigns each input exactly one output. Function notation gives you a compact way to describe that rule.

Function definition and notation

• $f(x)$ means "the function $f$ evaluated at input $x$." For example, if $f(x) = 2x + 3$, then $f(4) = 11$.
• Piecewise functions use different rules for different input ranges
• Composition is written as $(f \circ g)(x)$ or $f(g(x))$, meaning you apply $g$ first, then $f$ to the result
• Inverse functions are written as $f^{-1}(x)$ and "undo" the original function, so $f(f^{-1}(x)) = x$

Domain and range representation

• The domain is the set of all valid inputs for a function
• The range is the set of all possible outputs
• Interval notation expresses these compactly: $(-\infty, \infty)$ means all real numbers, $[0, 5]$ means 0 through 5 inclusive
• Set-builder notation describes conditions: $\{x \in \mathbb{R} \mid x > 0\}$ means "all real numbers greater than 0"

Summation and product notation

These notations let you write long sums or products without listing every term.

Sigma notation for sums

The capital Greek letter sigma ($\sum$) represents a sum. The general form is:

$\sum_{i=m}^{n} a_i$

This means "add up all the terms $a_i$ as $i$ goes from $m$ to $n$." For example, $\sum_{i=1}^{4} i^2 = 1 + 4 + 9 + 16 = 30$.

Key properties: you can factor out constants and split sums apart (linearity), and you can shift the index without changing the value.

Pi notation for products

The capital Greek letter pi ($\prod$) works the same way but for multiplication:

$\prod_{i=m}^{n} a_i$

This means "multiply all the terms $a_i$ as $i$ goes from $m$ to $n$." For example, $\prod_{i=1}^{4} i = 1 \cdot 2 \cdot 3 \cdot 4 = 24 = 4!$

Applications include factorials, polynomial expressions, and probability calculations for independent events.

Limit and derivative notation

These notations are the foundation of calculus. They describe how functions behave as inputs change.

Limit notation and meaning

$\lim_{x \to a} f(x) = L$

This reads: "the limit of $f(x)$ as $x$ approaches $a$ is $L$." It describes what value $f(x)$ gets closer and closer to, even if $f(a)$ itself isn't defined.

• One-sided limits: $\lim_{x \to a^+} f(x)$ (approaching from the right) and $\lim_{x \to a^-} f(x)$ (approaching from the left)
• Limits at infinity: $\lim_{x \to \infty} f(x)$ describes behavior as $x$ grows without bound
• The formal epsilon-delta definition makes this idea rigorous, but the intuition is about approaching a value

Derivative symbols and usage

Derivatives measure the instantaneous rate of change of a function. Two main notations exist:

• Lagrange notation: $f'(x)$ (read "f prime of x")
• Leibniz notation: $\frac{dy}{dx}$ or $\frac{d}{dx}f(x)$, which emphasizes the ratio of infinitesimal changes

Higher-order derivatives: $f''(x)$ is the second derivative, $f'''(x)$ the third, or more generally $\frac{d^n}{dx^n}f(x)$.

For functions of multiple variables, partial derivatives use $\frac{\partial f}{\partial x}$ to indicate differentiation with respect to one variable while holding others constant.

Integral notation

Integration is the reverse of differentiation. It represents accumulation of quantities.

Definite vs indefinite integrals

• Definite integral: $\int_a^b f(x)\, dx$ gives a numerical value representing the net area under the curve of $f(x)$ from $x = a$ to $x = b$
• Indefinite integral: $\int f(x)\, dx$ gives a family of functions (antiderivatives) plus a constant $C$

The Fundamental Theorem of Calculus connects these two: you can evaluate a definite integral by finding an antiderivative and plugging in the bounds.

Multiple integral notation

• Double integrals: $\iint_R f(x,y)\, dA$ integrate over a two-dimensional region $R$
• Triple integrals: $\iiint_V f(x,y,z)\, dV$ integrate over a three-dimensional volume $V$
• The order of integration matters and depends on the region's geometry
• Applications include calculating volumes, surface areas, and physical quantities like mass and moments of inertia

Set theory and logic symbols

Set operations and notation

• Union: $A \cup B$ contains all elements in either $A$ or $B$ (or both)
• Intersection: $A \cap B$ contains only elements in both $A$ and $B$
• Set difference: $A \setminus B$ contains elements in $A$ that are not in $B$
• Complement: $A^c$ contains all elements not in $A$ (relative to some universal set)
• Cartesian product: $A \times B$ is the set of all ordered pairs $(a, b)$ where $a \in A$ and $b \in B$

Quantifiers and logical symbols

• Universal quantifier $\forall$ means "for all" or "for every." Example: $\forall x \in \mathbb{R}, x^2 \geq 0$
• Existential quantifier $\exists$ means "there exists." Example: $\exists x \in \mathbb{R}$ such that $x^2 = 2$
• $\land$ (AND), $\lor$ (OR), and $\Rightarrow$ (implies) work as described in the logical connectives section above

Matrix and vector notation

Matrix representation

A matrix is a rectangular array of numbers arranged in rows and columns. Matrices are denoted with capital letters ($A$, $B$, $C$).

• The entry in row $i$, column $j$ of matrix $A$ is written $a_{ij}$
• A square matrix has equal numbers of rows and columns
• The identity matrix $I$ has 1s on the main diagonal and 0s everywhere else; it acts like the number 1 in matrix multiplication
• Special types include diagonal, triangular, and symmetric matrices

Vector notation and operations

• Vectors are written as boldface lowercase letters ($\mathbf{v}$, $\mathbf{w}$) or with arrows ($\vec{v}$, $\vec{w}$)
• A column vector is an $n \times 1$ matrix; a row vector is $1 \times n$
• Dot product: $\mathbf{a} \cdot \mathbf{b} = a_1b_1 + a_2b_2 + \cdots + a_nb_n$, producing a scalar
• Cross product (3D only): $\mathbf{a} \times \mathbf{b}$ produces a vector perpendicular to both $\mathbf{a}$ and $\mathbf{b}$
• Other operations include vector addition, scalar multiplication, and normalization (scaling to unit length)

Specialized mathematical notations

Number theory symbols

• Divisibility: $a \mid b$ means "$a$ divides $b$" (i.e., $b$ is a multiple of $a$)
• Congruence: $a \equiv b \pmod{m}$ means $a$ and $b$ leave the same remainder when divided by $m$. For example, $17 \equiv 2 \pmod{5}$.
• Prime factorization uses product notation: $12 = 2^2 \times 3$
• Euler's totient function $\varphi(n)$ counts how many integers less than $n$ are coprime to $n$
• Legendre symbol $\left(\frac{a}{p}\right)$ determines whether $a$ is a quadratic residue modulo prime $p$

Graph theory notation

• A graph is written as $G = (V, E)$, where $V$ is the set of vertices and $E$ is the set of edges
• $\deg(v)$ is the degree of vertex $v$: the number of edges connected to it
• A path is written as $v_1 - v_2 - \cdots - v_n$, a sequence of connected vertices
• The adjacency matrix $A$ encodes which vertices are connected
• The chromatic number $\chi(G)$ is the minimum number of colors needed to color vertices so that no two adjacent vertices share a color

Statistical notation

• $\mu$ is the population mean (average of the entire population)
• $\bar{x}$ is the sample mean (average of a sample drawn from the population)
• $\sigma$ is the population standard deviation, measuring how spread out data is
• $r$ is the correlation coefficient, measuring the strength and direction of a linear relationship (ranges from -1 to 1)
• $P(A)$ is the probability of event $A$ occurring

Conventions in mathematical writing

Order of operations

The standard order is captured by the acronym PEMDAS:

1. Parentheses (innermost first)
2. Exponents
3. Multiplication and Division (left to right)
4. Addition and Subtraction (left to right)

A fraction bar acts as a grouping symbol, just like parentheses. Everything in the numerator is grouped together, and everything in the denominator is grouped together. The same applies to radical signs, which extend over the entire expression underneath.

When in doubt, add parentheses to make your meaning clear.

Implicit multiplication

Writing $2x$ instead of $2 \times x$ is standard practice. The multiplication is implied when a number sits next to a variable or when two parenthetical groups are adjacent.

One common source of confusion: does $1/2x$ mean $\frac{1}{2x}$ or $\frac{1}{2} \cdot x$? Different contexts interpret this differently. Use parentheses to remove any ambiguity.

Subscripts and superscripts

• Subscripts ($x_1$, $x_2$) are used for indexing or labeling specific instances
• Superscripts ($x^2$, $x^3$) typically represent exponents or powers
• In tensor notation, you'll see both combined: $a_i^{\,j}$
• Chemical formulas use subscripts for atom counts ($H_2O$)
• Clear alignment and sizing of subscripts and superscripts matters for readability

Notation in proofs and theorems

Common proof symbols

• $\therefore$ ("therefore") introduces a conclusion
• $\because$ ("because") introduces a justification
• $\bot$ denotes a contradiction
• $\blacksquare$ or $\square$ (QED symbol) marks the end of a proof
• Proof by cases breaks an argument into exhaustive possibilities, labeled Case 1, Case 2, etc.

Theorem and lemma formatting

Mathematical results follow a hierarchy:

• A theorem is a major result that has been proven true
• A lemma is a smaller result used as a stepping stone toward proving a theorem
• A corollary is a result that follows directly from a theorem with little additional work
• Proofs typically begin with "Proof:" and end with a QED symbol
• Definitions are formatted distinctly from theorems and state the precise meaning of a term

Technology and mathematical notation

LaTeX for mathematical typesetting

LaTeX is a markup language designed for mathematical and scientific documents. You write commands like \frac{a}{b} and LaTeX renders them as properly formatted equations ($\frac{a}{b}$). It's the standard tool for academic papers, textbooks, and journals in mathematics and the sciences. Learning basic LaTeX is a practical skill if you plan to write up any mathematical work.

Computer algebra system notation

Computer algebra systems (CAS) like Mathematica, Maple, and MATLAB let you do symbolic and numerical math on a computer. Their syntax resembles programming languages but incorporates mathematical notation. These tools can solve equations, plot graphs, simplify expressions, and handle computations that would be impractical by hand.