Scalar: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Paul Wormer
No edit summary
imported>Paul Wormer
No edit summary
Line 10: Line 10:
'''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.
'''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.


Finally, mention must be made of ''scalar functions'', functions on a space that map the elements of the space pointwise on scalars. For example, if &Phi; is a  function on ℝ<sup>3</sup>, then it is a ''scalar function'' if  &Phi;(''x'',''y'',''z'') = &Phi;(''x''&prime;,''y''&prime;,''z''&prime;) whenever (''x'',''y'',''z'') and (''x''&prime;,''y''&prime;,''z''&prime;) represent the ''same'' point in ℝ<sup>3</sup> expressed with respect to ''different'' arbitrary orthonormal reference frames.
Formally, define the operator ℛ by
:<math>
\mathcal{R} \Phi (\mathbf{R} \mathbf{r}) = \Phi(\mathbf{r}),
</math>
where '''R''' is the matrix of an orthogonal map ℝ<sup>3</sup> &rarr; ℝ<sup>3</sup>,
then a scalar function on ℝ<sup>3</sup> is by definition invariant, that is,
:<math>
\mathcal{R} \Phi = \Phi.
</math>
==Example==
==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 (unit)|Coulomb]].
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 (unit)|Coulomb]].

Revision as of 05:14, 27 November 2009

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

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.[1][2] 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.

Finally, mention must be made of scalar functions, functions on a space that map the elements of the space pointwise on scalars. For example, if Φ is a function on ℝ3, then it is a scalar function if Φ(x,y,z) = Φ(x′,y′,z′) whenever (x,y,z) and (x′,y′,z′) represent the same point in ℝ3 expressed with respect to different arbitrary orthonormal reference frames. Formally, define the operator ℛ by

where R is the matrix of an orthogonal map ℝ3 → ℝ3, then a scalar function on ℝ3 is by definition invariant, that is,

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, in ℝ3. 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 ℝ3,

where the column vectors (bold) are

and the matrix-matrix product is implied,

The column vectors r and s represent algebraically the physical quantities with respect to the given basis.

Choose now another basis of the same space

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

The columns r', s' represent the same vectors 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 ℝ3, but is clearly associated with it. (Formally it is a bilinear map of the Cartesian product ℝ3×ℝ3 into ℝ). The inner product satisfies

The second equality follows thus,

Here it is used that B is orthonormal,

where δij is the Kronecker delta. The inner product of 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

The product stands for a cross product, it is again an element of ℝ3 (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)3 = −1 and in total the triple product is a pseudo-scalar.

References

  1. H. Weyl, Classical Groups, Princeton University Press (1946)
  2. F. D. Murnaghan, The Unitary and Rotation Groups, Spartan Books, Washington D.C. (1962)