Scalar

In physics, the word scalar is often used to refer simply to a real or complex number. In other contexts, where vectors and tensors may also play a role, a scalar is defined by its transformation properties.

In order to explain the second definition of a scalar, it must be noted that most physical objects belong to—or are associated with—some real linear space with inner product. The algebraic form of a physical quantity is—explicitly or implicitly—defined with respect to an orthonormal basis of this space. When a new orthonormal basis of the space is chosen, the algebraic form of a quantity expressed with respect to this new basis is in general different from the algebraic form of the same quantity with respect to the old basis. One expresses this by stating that physical quantities transform under change of reference frame (i.e., the basis of the space).

The transformation from one orthonormal basis of a linear space to another is called unitary or orthogonal, depending on whether the space is complex or real (if the space is real and 3-dimensional it is called a rotation). The determinant of a unitary transformation is a complex number of absolute value unity, that is, the determinant of a unitary transformation is on the unit circle in the complex plane. Transformations with determinant equal to 1 are called unimodular. Orthogonal (real) matrices clearly have determinant ±1.

The second kind of scalars then are quantities that are invariant under unimodular orthogonal basis transformations. That is, unlike most physical quantities, scalars do not change under such a basis transformation. Two kinds of scalars are distinguished: proper scalars, which are invariant under all orthogonal transformations and pseudo-scalars, which are invariant under unimodular orthogonal transformations and obtain a minus sign upon transformation by non-unimodular orthogonal transformations (those with determinant equal to −1). With respect to a given orthonormal reference frame and expressed in a suitable set of units, such as SI units, a scalar is represented by a single number. The essential property of a scalar is that this number is the same with respect to all frames that are related to each other by unimodular orthogonal transformations.

Example

Examples of scalars of the first kind (no reference to a frame) are the number 3.14, 2exp[-i 300], the mass of the Earth in kilogram, and the elementary charge in Coulomb.

For an example of scalars of the second kind, we consider two elements, ${\vec {r}},\;{\vec {s}}$ in ℝ³. These vectors may have some physical meaning, for example, direction and strength of an electric and magnetic field, or velocities of two particles. Let the following be a basis of ℝ³,

$\left({\vec {e}}_{1},\;{\vec {e}}_{2},\;{\vec {e}}_{3}\right)\quad {\hbox{then}}\quad {\vec {r}}=\left({\vec {e}}_{1},\;{\vec {e}}_{2},\;{\vec {e}}_{3}\right)\,\mathbf {r} ,\quad {\hbox{and}}\quad {\vec {s}}=\left({\vec {e}}_{1},\;{\vec {e}}_{2},\;{\vec {e}}_{3}\right)\,\mathbf {s} ,$

where the column vectors (bold) are

$\mathbf {r} \equiv {\begin{pmatrix}r_{1}\\r_{2}\\r_{3}\end{pmatrix}}\quad {\hbox{and}}\quad \mathbf {s} \equiv {\begin{pmatrix}s_{1}\\s_{2}\\s_{3}\end{pmatrix}},\;$

and the matrix-matrix product is implied,

$\left({\vec {e}}_{1},\;{\vec {e}}_{2},\;{\vec {e}}_{3}\right)\,\mathbf {r} \equiv r_{1}{\vec {e}}_{1}+r_{2}{\vec {e}}_{2}+r_{3}{\vec {e}}_{3}.$

The column vectors r and s represent algebraically the physical quantities ${\vec {r}},\;{\vec {s}}$ with respect to the given basis.

Choose now another basis of the same space

${\big (}{\vec {f}}_{1},\;{\vec {f}}_{2},\;{\vec {f}}_{3}{\big )}\quad {\hbox{with}}\quad {\big (}{\vec {e}}_{1},\;{\vec {e}}_{2},\;{\vec {e}}_{3}{\big )}={\big (}{\vec {f}}_{1},\;{\vec {f}}_{2},\;{\vec {f}}_{3}{\big )}\mathbf {B}$

The 3×3 matrix B is assumed to be an orthogonal matrix (transforms orthonormal bases into each other). Clearly

${\vec {r}}={\big (}{\vec {f}}_{1},\;{\vec {f}}_{2},\;{\vec {f}}_{3}{\big )}\,\mathbf {r'} \quad {\hbox{and}}\quad {\vec {s}}={\big (}{\vec {f}}_{1},\;{\vec {f}}_{2},\;{\vec {f}}_{3}{\big )}\,\mathbf {s'} \quad {\hbox{with}}\quad \mathbf {r'} \equiv \mathbf {Br} \quad {\hbox{and}}\quad \mathbf {s'} \equiv \mathbf {Bs} .$

The columns r', s' represent the same vectors ${\vec {r}},\;{\vec {s}}$ with respect to the new basis. They have another form, or more accurately, their three components have new values.

To construct a proper scalar (transformation invariant) kind we consider the inner product. The inner product is not a member of ℝ³, but is clearly associated with it. (Formally it is a bilinear map of the Cartesian product ℝ³×ℝ³ into ℝ). The inner product satisfies

${\vec {r}}\cdot {\vec {s}}=\mathbf {r} ^{\mathrm {T} }\,\mathbf {s} =\mathbf {r'} ^{\mathrm {T} }\,\mathbf {s'} .$

The second equality follows thus,

${\begin{aligned}\mathbf {r} ^{\mathrm {T} }\,\mathbf {s} &={\big (}r_{1}\,r_{2},\,r_{3}{\big )}{\begin{pmatrix}s_{1}\\s_{2}\\s_{3}\\\end{pmatrix}}=\sum _{i=1}^{3}r_{i}s_{i}=\sum _{i=1}^{3}\left(\mathbf {B} ^{-1}\mathbf {r'} \right)_{i}\left(\mathbf {B} ^{-1}\mathbf {s'} \right)_{i}\\&=\sum _{i}\left[\sum _{j}{\big (}B^{-1}{\big )}_{ij}r'_{j}\right]\;\left[\sum _{k}{\big (}B^{-1}{\big )}_{ik}s'_{k}\right]=\sum _{ijk}B_{ki}{\big (}B^{-1}{\big )}_{ij}r'_{j}s'_{k}=\sum _{jk}\delta _{kj}r'_{j}s'_{k}=\sum _{j=1}^{3}r'_{j}s'_{j}=\mathbf {r'} ^{\mathrm {T} }\,\mathbf {s'} \end{aligned}}$

Here it is used that B is orthonormal,

$\mathbf {B} ^{-1}=\mathbf {B} ^{\mathrm {T} }\quad {\hbox{and}}\quad \mathbf {B} ^{\mathrm {T} }\mathbf {B} =\mathbf {E} \quad {\hbox{and}}\quad E_{ij}=\delta _{ij},$

where δ_ij is the Kronecker delta. The inner product of ${\vec {r}},\;{\vec {s}}$ does not depend on the basis used to express the vectors, it is a proper scalar.

As an example of a pseudo-scalar the following triple product may be given

${\vec {r}}\cdot \left({\vec {s}}\times {\vec {t}}\,\right)$

The product ${\vec {s}}\times {\vec {t}}$ stands for a cross product, it is again an element of ℝ³ (sometimes referred to a pseudo vector) and hence the triple product, being an inner product, is a scalar. However, under inversion the three vectors go into minus themselves and the triple product obtains the factor (−1)³ = −1 and in total the triple product is a pseudo-scalar.