Bracket (mathematics)

Algebra

In elementary algebra, parentheses ( ) are used to specify the order of operations. Terms inside the bracket are evaluated first; hence 2×(3 + 4) is 14, 20 ÷ (5(1 + 1)) is 2 and (2×3) + 4 is 10. This notation is extended to cover more general algebra involving variables: for example (x + y) × (x − y). Square brackets are also often used in place of a second set of parentheses when they are nested—so as to provide a visual distinction.

In mathematical expressions in general, parentheses are also used to indicate grouping (i.e., which parts belong together) when edible to avoid ambiguities and improve clarity. For example, in the formula ${\displaystyle (\epsilon \eta {)}_X={\epsilon }_{Cod{\eta }_X}{\eta }_X}$, used in the definition of composition of two natural transformations, the parentheses around ${\displaystyle \epsilon \eta }$ serve to indicate that the indexing by ${\displaystyle X}$ is applied to the composition ${\displaystyle \epsilon \eta }$, and not just its last component ${\displaystyle \eta }$.

Functions

The arguments to a function are frequently surrounded by brackets: ${\displaystyle f(x)}$. With some standard function when there is little chance of ambiguity, it is common to omit the parentheses around the argument altogether (e.g., ${\displaystyle \sin x}$). Note that this is never done with a general function ${\displaystyle f}$, in which case the parenthesis are always included

Coordinates and vectors

In the Cartesian coordinate system, brackets are used to specify the coordinates of a point. For example, (2,3) denotes the point with x-coordinate 2 and y-coordinate 3.

The inner product of two vectors is commonly written as ${\displaystyle ⟨a,b⟩}$, but the notation (a, b) is also used.

Intervals

Both parentheses, ( ), and square brackets, [ ], can also be used to denote an interval. The notation ${\displaystyle [a,c)}$ is used to indicate an interval from a to c that is inclusive of ${\displaystyle a}$—but exclusive of ${\displaystyle c}$. That is, ${\displaystyle [5,12)}$ would be the set of all real numbers between 5 and 12, including 5 but not 12. Here, the numbers may come as close as they like to 12, including 11.999 and so forth (with any finite number of 9s), but 12.0 is not included.

In some European countries, the notation ${\displaystyle [5,12[}$ is also used for this, and wherever comma is used as decimal separator, semicolon might be used as a separator to avoid ambiguity (e.g., ${\displaystyle (0;1)}$).

The endpoint adjoining the square bracket is known as closed, while the endpoint adjoining the parenthesis is known as open. If both types of brackets are the same, the entire interval may be referred to as closed or open as appropriate. Whenever infinity or negative infinity is used as an endpoint (in the case of intervals on the real number line), it is always considered open and adjoined to a parenthesis. The endpoint can be closed when considering intervals on the extended real number line.

A common convention in discrete mathematics is to define ${\displaystyle [n]}$ as the set of positive integer numbers less or equal than ${\displaystyle n}$. That is, ${\displaystyle [5]}$ would correspond to the set ${\displaystyle \{1,2,3,4,5\}}$.

Sets and groups

Braces { } are used to identify the elements of a set. For example, {a,b,c} denotes a set of three elements a, b and c.

Angle brackets ⟨ ⟩ are used in group theory and commutative algebra to specify group presentations, and to denote the subgroup or ideal generated by a collection of elements.

Matrices

An explicitly given matrix is commonly written between large round or square brackets:

$${\displaystyle \left(\begin{array}{cc}1& -1\\ 2& 3\end{array}\right)\left[\begin{array}{cc}c& d\end{array}\right]}$$

Derivatives

The notation $${\displaystyle f^{(n)}(x)}$$ stands for the n-th derivative of function f, applied to argument x. So, for example, if ${\displaystyle f(x)=\exp (\lambda x)}$, then ${\displaystyle f^{(n)}(x)={\lambda }^n\exp (\lambda x)}$. This is to be contrasted with ${\displaystyle f^n(x)=f(f(\dots (f(x))\dots ))}$, the n-fold application of f to argument x.

Falling and rising factorial

The notation ${\displaystyle (x{)}_n}$ is used to denote the falling factorial, an n-th degree polynomial defined by $${\displaystyle (x{)}_n=x(x-1)(x-2)\cdots (x-n+1)=\frac{x!}{(x-n)!}.}$$

Alternatively, the same notation may be encountered as representing the rising factorial, also called "Pochhammer symbol". Another notation for the same is ${\displaystyle x^{(n)}}$. It can be defined by $${\displaystyle x^{(n)}=x(x+1)(x+2)\cdots (x+n-1)=\frac{(x+n-1)!}{(x-1)!}.}$$

Quantum mechanics

In quantum mechanics, angle brackets are also used as part of Dirac's formalism, bra–ket notation, to denote vectors from the dual spaces of the bra ${\displaystyle ⟨A|}$ and the ket ${\displaystyle |B⟩}$.

In statistical mechanics, angle brackets denote ensemble or time average.

Polynomial rings

Square brackets are used to contain the variable(s) in polynomial rings. For example, ${\displaystyle \mathbb{R}[x]}$ is the ring of polynomials with real number coefficients and variable ${\displaystyle x}$.

Subring generated by an element or collection of elements

If A is a subring of a ring B, and b is an element of B, then A[b] denotes the subring of B generated by A and b. This subring consists of all the elements that can be obtained, starting from the elements of A and b, by repeated addition and multiplication; equivalently, it is the smallest subring of B that contains A and b. For example, ${\displaystyle \mathbf{Z}[\sqrt{-2}]}$ is the smallest subring of C containing all the integers and ${\displaystyle \sqrt{-2}}$; it consists of all numbers of the form ${\displaystyle m+n\sqrt{-2}}$, where m and n are arbitrary integers. Another example: ${\displaystyle \mathbf{Z}[1/2]}$ is the subring of Q consisting of all rational numbers whose denominator is a power of 2.

More generally, if A is a subring of a ring B, and ${\displaystyle b_1,\dots ,b_n\in B}$, then ${\displaystyle A[b_1,\dots ,b_n]}$ denotes the subring of B generated by A and ${\displaystyle b_1,\dots ,b_n\in B}$. Even more generally, if S is a subset of B, then A[S] is the subring of B generated by A and S.

Lie bracket and commutator

In group theory and ring theory, square brackets are used to denote the commutator. In group theory, the commutator [g,h] is commonly defined as g⁻¹h⁻¹gh. In ring theory, the commutator [a,b] is defined as ab − ba. Furthermore, braces may be used to denote the anticommutator: {a,b} is defined as ab + ba.

The Lie bracket of a Lie algebra is a binary operation denoted by ${\displaystyle [\cdot ,\cdot ]:\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}}$. By using the commutator as a Lie bracket, every associative algebra can be turned into a Lie algebra. There are many different forms of Lie bracket, in particular the Lie derivative and the Jacobi–Lie bracket.

Floor/ceiling functions and fractional part

The floor and ceiling functions are usually typeset with left and right square brackets where only the lower (for floor function) or upper (for ceiling function) horizontal bars are displayed, as in ⌊π⌋ = 3 or ⌈π⌉ = 4. However, Square brackets, as in [π] = 3, are sometimes used to denote the floor function, which rounds a real number down to the next integer. Conversely, some authors use outwards pointing square brackets to denote the ceiling function, as in ]π[ = 4.

Braces, as in {π} < ¹/₇, may denote the fractional part of a real number.