Norm (mathematics)

In mathematics, a norm is a function used to measure the size or length of an object within a vector space. A vector space can consist of real numbers, complex numbers, or even more complex structures like quaternions. The norm takes a vector from this space and assigns it a non-negative real number. This number represents a concept of magnitude, much like how we measure the length of a physical object. By using a norm, mathematicians can turn abstract directions and positions into concrete, comparable values.

To be considered a true norm, a function must satisfy three rigorous mathematical properties. The first is positive definiteness, which states that the norm of a vector is zero if and only if the vector is the origin. The second is absolute homogeneity, meaning that if you scale a vector by a factor, the norm scales by that same absolute value. The third is the triangle inequality, or subadditivity, which requires that the norm of the sum of two vectors is less than or equal to the sum of their individual norms. This property ensures that a direct path is never longer than a path taken through an intermediate point.

Mathematicians distinguish between several related types of these functions. A seminorm satisfies the first two properties—homogeneity and the triangle inequality—but it may result in a zero value for vectors that are not at the origin. A vector space equipped with a norm is called a normed vector space, while one with a seminorm is a seminormed vector space. There is also the term pseudonorm, which can be a synonym for a seminorm or refer to a norm that allows for infinite values. These distinctions are vital when defining the specific geometry and structure of different mathematical spaces.

History shows how the notation for these concepts became standardized. In his 1920 doctoral thesis, the mathematician Stefan Banach proposed using double vertical lines, such as ||x||, to denote a norm. While this notation is common for both norms and seminorms, single vertical lines, like |x|, are often used specifically for the length of a vector in Euclidean space. This distinction helps clarify whether a mathematician is discussing a general norm or a specific geometric distance. These formal rules allow for the consistent study of complex mathematical systems across different eras.

One of the most important examples is the Euclidean norm, often called the 2-norm or the magnitude. In an n-dimensional Euclidean space, this norm calculates the straight-line distance from the origin using the square root of the sum of squares. This is a direct consequence of the Pythagorean theorem. For complex numbers, the Euclidean norm is equivalent to the absolute value, or modulus. In more advanced structures like quaternions and octonions, canonical norms exist that mirror this Euclidean behavior in higher dimensions.

Other norms provide different ways to perceive distance based on specific constraints. The Taxicab norm, or Manhattan norm, measures distance as the sum of the absolute values of a vector's components. This mimics a taxi driving through a rectangular street grid where one cannot move diagonally through buildings. Another variation is the p-norm, a generalized formula where the value of p changes the measurement. When p equals 1, you have the Taxicab norm; when p equals 2, you have the Euclidean norm. As p approaches infinity, the formula becomes the maximum norm, or infinity norm, which only considers the largest single component of the vector.

The infinity norm, also known as the supremum norm, identifies the largest element in a vector. In a geometric sense, the set of all vectors with a constant infinity norm forms the surface of a hypercube.

In contrast, the set of vectors with a constant Taxicab norm forms a cross polytope. These different norms allow scientists to define different topologies, or ways of describing closeness, within the same space. While all norms are equivalent in finite-dimensional spaces, they can behave very differently in infinite-dimensional spaces, such as those used in functional analysis.

Norms connect to a vast array of scientific and mathematical fields. In signal processing and statistics, researchers sometimes discuss the "zero norm," which counts the number of non-zero coordinates in a vector. While not a true norm because it lacks homogeneity, it is a critical concept in information theory and coding. In physics and engineering, the energy norm uses a symmetric positive definite matrix to define magnitude based on specific system properties. Whether measuring the distance between stars or the error in a digital signal, norms provide the essential language for scale and magnitude.