Scalar

From Citizendium, the Citizens' Compendium

Jump to: navigation, search

Main Article

Talk

Related Articles ^[?]

Bibliography ^[?]

External Links ^[?]

This is a draft article, under development and not meant to be cited but you can help to improve it. These unapproved articles are subject to a disclaimer.

[edit intro]

In physics, a scalar is often just a real number (element of ℝ) or a complex number (element of ℂ).

Most physical quantities belong to—or are associated with—some linear space with inner product, and their algebraic form or value is—explicitly or implicitly—defined with respect to an orthonormal basis of this space. When another orthonormal basis of the space is chosen, the appearance of the physical quantity expressed with respect to the new reference frame (i.e., basis) is in general different from the algebraic form or value of the quantity with respect to the previous basis. One expresses this by stating that the physical quantity transforms under the change of reference frame.

The second kind of scalars occurring in physics are quantities that are invariant under basis transformation. That is, unlike most physical quantities, scalars do not change their form or value under a basis transformation. It is common to call such invariants proper scalars to distinguish them from pseudo-scalars. The latter are scalars that transform into minus themselves under inversion of the basis; proper scalars are invariant under inversion.

With respect to a given reference frame and expressed in a suitable set of units, such as SI units, a scalar is represented by a single, real or complex, number.

Example

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

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, direction and strength of an electric and magnetic field, for instance. 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 \\ r_s\\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{align} \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{align}$

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.