Magnitude (mathematics)

For other uses, see Magnitude (disambiguation).

In mathematics, the magnitude or size of a mathematical object is a property which determines whether the object is larger or smaller than other objects of the same kind. More formally, an object's magnitude is the displayed result of an ordering (or ranking) of the class of objects to which it belongs.

In physics, magnitude can be defined as quantity or distance.

History

The Greeks distinguished between several types of magnitude, ^[1] including:

• Positive fractions
• Line segments (ordered by length)
• Plane figures (ordered by area)
• Solids (ordered by volume)
• Angles (ordered by angular magnitude)

They proved that the first two could not be the same, or even isomorphic systems of magnitude. ^[2] They did not consider negative magnitudes to be meaningful, and magnitude is still primarily used in contexts in which zero is either the smallest size or less than all possible sizes.

Numbers

Main article: Absolute value

The magnitude of any number ${\displaystyle x}$ is usually called its absolute value or modulus, denoted by ${\displaystyle |x|}$. ^[3]

Real numbers

The absolute value of a real number r is defined by: ^[4]

${\displaystyle \left|r\right|=r,{\text{ if }}r{\text{ ≥ }}0}$

${\displaystyle \left|r\right|=-r,{\text{ if }}r<0.}$

Absolute value may also be thought of as the number's distance from zero on the real number line. For example, the absolute value of both 70 and −70 is 70.

Complex numbers

A complex number z may be viewed as the position of a point P in a 2-dimensional space, called the complex plane. The absolute value (or modulus ) of z may be thought of as the distance of P from the origin of that space. The formula for the absolute value of z = a + bi is similar to that for the Euclidean norm of a vector in a 2-dimensional Euclidean space: ^[5]

${\displaystyle \left|z\right|={\sqrt {a^{2}+b^{2}}}}$

where the real numbers a and b are the real part and the imaginary part of z, respectively. For instance, the modulus of −3 + 4i is ${\displaystyle {\sqrt {(-3)^{2}+4^{2}}}=5}$. Alternatively, the magnitude of a complex number z may be defined as the square root of the product of itself and its complex conjugate, ${\displaystyle {\bar {z}}}$, where for any complex number ${\displaystyle z=a+bi}$, its complex conjugate is ${\displaystyle {\bar {z}}=a-bi}$.

${\displaystyle \left|z\right|={\sqrt {z{\bar {z}}}}={\sqrt {(a+bi)(a-bi)}}={\sqrt {a^{2}-abi+abi-b^{2}i^{2}}}={\sqrt {a^{2}+b^{2}}}}$

(where ${\displaystyle i^{2}=-1}$).

Vector spaces

Euclidean vector space

Main article: Euclidean norm

A Euclidean vector represents the position of a point P in a Euclidean space. Geometrically, it can be described as an arrow from the origin of the space (vector tail) to that point (vector tip). Mathematically, a vector x in an n-dimensional Euclidean space can be defined as an ordered list of n real numbers (the Cartesian coordinates of P): x = [x₁, x₂, ..., x_n]. Its magnitude or length, denoted by ${\displaystyle \|x\|}$, ^[6] is most commonly defined as its Euclidean norm (or Euclidean length): ^[7]

${\displaystyle \|\mathbf {x} \|={\sqrt {x_{1}^{2}+x_{2}^{2}+\cdots +x_{n}^{2}}}.}$

For instance, in a 3-dimensional space, the magnitude of [3, 4, 12] is 13 because ${\displaystyle {\sqrt {3^{2}+4^{2}+12^{2}}}={\sqrt {169}}=13.}$ This is equivalent to the square root of the dot product of the vector with itself:

${\displaystyle \|\mathbf {x} \|={\sqrt {\mathbf {x} \cdot \mathbf {x} }}.}$

The Euclidean norm of a vector is just a special case of Euclidean distance: the distance between its tail and its tip. Two similar notations are used for the Euclidean norm of a vector x:

1. ${\displaystyle \left\|\mathbf {x} \right\|,}$
2. ${\displaystyle \left|\mathbf {x} \right|.}$

A disadvantage of the second notation is that it can also be used to denote the absolute value of scalars and the determinants of matrices, which introduces an element of ambiguity.

Normed vector spaces

Main article: Normed vector space

By definition, all Euclidean vectors have a magnitude (see above). However, a vector in an abstract vector space does not possess a magnitude.

A vector space endowed with a norm, such as the Euclidean space, is called a normed vector space. ^[8] The norm of a vector v in a normed vector space can be considered to be the magnitude of v.

Pseudo-Euclidean space

In a pseudo-Euclidean space, the magnitude of a vector is the value of the quadratic form for that vector.

Logarithmic magnitudes

When comparing magnitudes, a logarithmic scale is often used. Examples include the loudness of a sound (measured in decibels), the brightness of a star, and the Richter scale of earthquake intensity. Logarithmic magnitudes can be negative. In the natural sciences, a logarithmic magnitude is typically referred to as a level .

Order of magnitude

Main article: Order of magnitude

Orders of magnitude denote differences in numeric quantities, usually measurements, by a factor of 10—that is, a difference of one digit in the location of the decimal point.

Other mathematical measures

This section is an excerpt from Measure (mathematics).[ edit ]

Informally, a measure has the property of being monotone in the sense that if ${\displaystyle A}$ is a subset of ${\displaystyle B,}$ the measure of ${\displaystyle A}$ is less than or equal to the measure of ${\displaystyle B.}$ Furthermore, the measure of the empty set is required to be 0. A simple example is a volume (how big an object occupies a space) as a measure.

In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude, mass, and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge. Far-reaching generalizations (such as spectral measures and projection-valued measures) of measure are widely used in quantum physics and physics in general.

The intuition behind this concept dates back to ancient Greece, when Archimedes tried to calculate the area of a circle. But it was not until the late 19th and early 20th centuries that measure theory became a branch of mathematics. The foundations of modern measure theory were laid in the works of Émile Borel, Henri Lebesgue, Nikolai Luzin, Johann Radon, Constantin Carathéodory, and Maurice Fréchet, among others.

See also

• Number sense
• Vector notation
• Set size

References

1. Heath, Thomas Smd. (1956). The Thirteen Books of Euclid's Elements (2nd ed. [Facsimile. Original publication: Cambridge University Press, 1925] ed.). New York: Dover Publications.
2. Bloch, Ethan D. (2011), The Real Numbers and Real Analysis, Springer, p. 52, ISBN   9780387721774, The idea of incommensurable pairs of lengths of line segments was discovered in ancient Greece.
3. "Magnitude Definition (Illustrated Mathematics Dictionary)". mathsisfun.com. Retrieved 2020-08-23.
4. Mendelson, Elliott (2008). Schaum's Outline of Beginning Calculus. McGraw-Hill Professional. p. 2. ISBN   978-0-07-148754-2.
5. Ahlfors, Lars V. (1953). Complex Analysis . Tokyo: McGraw Hill Kogakusha.
6. Nykamp, Duane. "Magnitude of a vector definition". Math Insight. Retrieved August 23, 2020.
7. Howard Anton; Chris Rorres (12 April 2010). Elementary Linear Algebra: Applications Version. John Wiley & Sons. ISBN   978-0-470-43205-1.
8. Golan, Johnathan S. (January 2007), The Linear Algebra a Beginning Graduate Student Ought to Know (2nd ed.), Springer, ISBN   978-1-4020-5494-5