The lead section of this article may need to be rewritten. Use the lead layout guide to ensure the section follows Wikipedia's norms and is inclusive of all essential details. (September 2022) (Learn how and when to remove this template message)

A **scalar** is an element of a field which is used to define a *vector space*.
In linear algebra, real numbers or generally elements of a field are called **scalars** and relate to vectors in an associated vector space through the operation of scalar multiplication (defined in the vector space), in which a vector can be multiplied by a scalar in the defined way to produce another vector.^{[1]}^{[2]}^{[3]} Generally speaking, a vector space may be defined by using any field instead of real numbers (such as complex numbers). Then scalars of that vector space will be elements of the associated field (such as complex numbers).

A scalar product operation – not to be confused with scalar multiplication – may be defined on a vector space, allowing two vectors to be multiplied in the defined way to produce a scalar. A vector space equipped with a scalar product is called an inner product space.

A quantity described by multiple scalars, such as having both direction and magnitude, is called a *vector*.^{[4]}
The term scalar is also sometimes used informally to mean a vector, matrix, tensor, or other, usually, "compound" value that is actually reduced to a single component. Thus, for example, the product of a 1 × *n* matrix and an *n* × 1 matrix, which is formally a 1 × 1 matrix, is often said to be a **scalar**.
The real component of a quaternion is also called its **scalar part**.

The term scalar matrix is used to denote a matrix of the form *kI* where *k* is a scalar and *I* is the identity matrix.

The word *scalar* derives from the Latin word *scalaris*, an adjectival form of *scala* (Latin for "ladder"), from which the English word *scale* also comes. The first recorded usage of the word "scalar" in mathematics occurs in François Viète's *Analytic Art* (*In artem analyticem isagoge*) (1591):^{[5]}^{[page needed]}^{[6]}

- Magnitudes that ascend or descend proportionally in keeping with their nature from one kind to another may be called scalar terms.
- (Latin:
*Magnitudines quae ex genere ad genus sua vi proportionaliter adscendunt vel descendunt, vocentur Scalares.*)

According to a citation in the *Oxford English Dictionary* the first recorded usage of the term "scalar" in English came with W. R. Hamilton in 1846, referring to the real part of a quaternion:

*The algebraically real part may receive, according to the question in which it occurs, all values contained on the one scale of progression of numbers from negative to positive infinity; we shall call it therefore the scalar part.*

A vector space is defined as a set of vectors (additive abelian group), a set of scalars (field), and a scalar multiplication operation that takes a scalar *k* and a vector **v** to form another vector *k***v**. For example, in a coordinate space, the scalar multiplication yields . In a (linear) function space, *kf* is the function *x* ↦ *k*(*f*(*x*)).

The scalars can be taken from any field, including the rational, algebraic, real, and complex numbers, as well as finite fields.

According to a fundamental theorem of linear algebra, every vector space has a basis. It follows that every vector space over a field *K* is isomorphic to the corresponding coordinate vector space where each coordinate consists of elements of *K* (E.g., coordinates (*a _{1}*,

Alternatively, a vector space *V* can be equipped with a norm function that assigns to every vector **v** in *V* a scalar ||**v**||. By definition, multiplying **v** by a scalar *k* also multiplies its norm by |*k*|. If ||**v**|| is interpreted as the *length* of **v**, this operation can be described as **scaling** the length of **v** by *k*. A vector space equipped with a norm is called a normed vector space (or *normed linear space*).

The norm is usually defined to be an element of *V*'s scalar field *K*, which restricts the latter to fields that support the notion of sign. Moreover, if *V* has dimension 2 or more, *K* must be closed under square root, as well as the four arithmetic operations; thus the rational numbers **Q** are excluded, but the surd field is acceptable. For this reason, not every scalar product space is a normed vector space.

When the requirement that the set of scalars form a field is relaxed so that it need only form a ring (so that, for example, the division of scalars need not be defined, or the scalars need not be commutative), the resulting more general algebraic structure is called a module.

In this case the "scalars" may be complicated objects. For instance, if *R* is a ring, the vectors of the product space *R*^{n} can be made into a module with the *n*×*n* matrices with entries from *R* as the scalars. Another example comes from manifold theory, where the space of sections of the tangent bundle forms a module over the algebra of real functions on the manifold.

The scalar multiplication of vector spaces and modules is a special case of scaling, a kind of linear transformation.