Natural units and the vector space of physical values Gerrit Ansmann University of Bonn, Germany We explore the mathematical foundations of the vector space of physical dimensions introduced in A. Maksymowicz, Am. J. Phys. 44 (3), 1976, and extend this formalism to the vector space of physical values. As different unit systems correspond to different bases of this vector space, our formalism may find use for introducing the concept of natural units and transforming physical values between unit systems. PACS numbers: 06.20.Fa, 01.55.+b, 02.10.Ud I. INTRODUCTION exponentiation as scalar multiplication, i.e.: x y := xy x, y Ω The term natural units usually refers to the combina- ⊕ ∀ ∈ tion of the following two techniques: employing a different α x := xα x Ω, α R set of base units, usually natural constants relevant to the ⊙ ∀ ∈ ∈ respective field [1, 2]; and setting some or all of these base For example, 4.2 ms−2 written with these operations is units to unity, i.e., omitting them in calculations [2, 3]. 4.2 (m (( 2) s)) and 2 N 3 m is (2 N) (3 m). ⊕ ⊕ − ⊙ · ⊕ ⊕ ⊕ Since these techniques are usually introduced together, To make Ω closed under , we have to accept values at times with little more than “~ = c = 1”, students may π 1 ⊙ such as π kg = kg or 2 m= √m. However, as we will be confused about their validity and how to apply them. discuss in⊙ Sec. III A, whether⊙ these come up in applica- We here try to address this issue by introducing a math- tion is tied to the unit system and not a consequence of ematical formalism for unit systems and transformations our formalism, and they can be (and usually are) avoided between them which only builds on basic linear algebra. by choosing the unit system accordingly. To this purpose, we incorporate numerical values into We will now reason that the vector-space axioms hold the dimension space introduced in Ref. [4] and thereby for Ω with and and explore some of its fundamental extend it to the vector space of physical values. In this properties in⊕ the process:⊙ vector space (as in the dimension space), transforma- tions between unit systems correspond to basis transfor- Commutativity and associativity of are inherited mations. In addition, we explore the formalism’s math- • from the multiplication of physical values:⊕ ematical background and formally introduce this vector space on an axiomatic level. Finally, we discuss the pos- x y = xy = yx = y x ⊕ ⊕ sible merit of our formalism for introducing the concept x (y z)= x(yz) = (xy)z = (x y) z of natural units as well as some fundamental concepts of ⊕ ⊕ ⊕ ⊕ x,y,z Ω linear algebra. ∀ ∈ Since 1 x = 1x = x for all x Ω, the neutral • element⊕ of is 1 Ω, i.e., ~0 = 1.∈ II. THE VECTOR SPACE OF PHYSICAL ⊕ ∈ VALUES Since x x−1 = xx−1 =1= ~0 for all x Ω, the • ⊕ − ∈ − inverse of x under is x 1 Ω, i.e., x = x 1. Some general remarks on notation: Though the afore- ⊕ ∈ ⊖ mentioned technique of setting some or all base units The real number 1 is the identity of scalar multi- to unity can easily complement our formalism, we here • 1 arXiv:1504.02332v1 [physics.data-an] 9 Mar 2015 plication: 1 x = x = x x Ω. refrain from using it for clarity’s sake. We denote vec- ⊙ ∀ ∈ tor operations with encircled symbols ( , and ) to ⊕ ⊖ ⊙ Compatibility of multiplications: avoid confusion with the corresponding regular aopera- • ~ Physical value α tions. 0 denotes the null vector. or just (αβ) x = xαβ = xβ = α (β x) value refers to a possible value of a dimensionful or di- ⊙ ⊙ ⊙ x Ω; α, β R mensionless, scalar physical quantity [5]. Examples for ∀ ∈ ∈ physical values are 1fm, 197MeV, 4.2, π or the value of ~ . A physical value can be represented in different ways, Distributivities: e.g., 4.3 kW and 4300 J/s are two representations of the • same physical value. (α + β) x = xα+β = xαxβ = α x β x ⊙ ⊙ ⊕ ⊙ Let Ω denote the set of all positively signed physical α (x y) = (xy)α = xαyα = α x α y values. We regard Ω as an R-vector space, with the mul- ⊙ ⊕ ⊙ ⊕ ⊙ x, y Ω; α, β R tiplication of physical values as vector addition and their ∀ ∈ ∈ 2 III. DIFFERENT UNIT SYSTEMS AND render the unit of length to be √qm. Using our formal- TRANSFORMING BETWEEN THEM ism and assuming that at least one basis element of a unit system is a positive number (usually 10), we can classify As the SI base units together with the scalar 10 are those unit systems for which the above requirement is ful- independent by means of multiplication and exponenti- filled: Suppose we have an established unit system corre- R ation, they are linearly independent and thus form in- sponding to the basis := a0,a1,...,an with a0 + A { } ∈ deed an algebraic basis of their span. For simplicity, and n N and this system fulfils the above requirement. ∈ we restrict the discussion to the subspace spanned by Suppose further that we want to introduce a new unit := 10, m, s, kg in the following examples. Using as system corresponding to the basis := b0,b1,...,bn S { } S R B { } an ordered basis, we can write for example and later use: with b0 + and span( ) = span( ). We can then ∈ B B A write the transformation matrix TA from to and its 1 B A 10 = 10 =1 10 = (1, 0, 0, 0)S inverse as follows: ⊙ − 8 m log(3)+8 m 8.5 1 c 3 10 /s = 10 /s 10 ms ⋆ ⋆ ⋆ ≈ · ≈ =8.5 10 m ( 1) s=(8.5, 1, 1, 0)S ··· ⊙ ⊕ ⊕ − ⊙ − B 0 ~ −34.0 log(1.05)−34.0 TA = . ; 1.05 10 Js = 10 Js . ˆB ≈ · . TA ( 34.0) 10 2 m ( 2) s kg ≈ − ⊙ ⊕ ⊙ ⊕ − ⊙ ⊕ 0 = ( 34.0, 2, 1, 1)S − − ⋆ ⋆ ⋆ 1 MeV 1.6 10−13 J=10log(1.6)−13 J ··· 0 ≈ · A B −1 ( 12.8) 10 2 m ( 2) s kg TB = TA = . −1 , ≈ − ⊙ ⊕ ⊙ ⊕ − ⊙ ⊕ . ˆB = ( 12.8, 2, 2, 1) , . TA S − − (1) 0 where the subscript indicates the basis of the component representation. where ⋆ represents some real number. The leftmost In our formalism, different unit systems do correspond columns only contain non-zero entries in the first row to different bases. For example, one common system of because a0 = (log(a0)/ log(b0)) b0. ⊙ (partially) natural units used by high-energy physics cor- As fulfils the requirement, each bi for i 1 can be A ≥ responds to the basis = 10, c, ~, 1 MeV of span( ). expressed in units from without raising any ai for i 1 N { } S A ˆB ≥ Using Eq. 1, we obtain basis transformation matrices to a non-integer power and thus TA has only integer ele- from to and vice versa: ments. Analogously, fulfils the requirement if and only N S −1 B ˆB ˆB if TA has integer elements only. If TA having only −1 1 8.5 34.0 12.8 B − − integer elements is given, TˆA having only integer el- N 01 2 2 T ; S 0 1 1 2 ˆB ˆB ≈ ements is equivalent to detTA = 1 and to TA being 00− − 1− 1 a unimodal matrix. −1 1 12.7 21.2 29.7 B B TˆA and TˆA correspond to transformation ma- S N −1 0 1 0 2 T = T . N S 0 1 1− 0 trices in the vector space (or more precisely, the ≈ Z 0 1 1 1 -module [6]) of physical dimensions introduced in − − Ref. [4]. With this, we can for example transform 1 fm to the above natural units, i.e., the basis (using T N ( 15, 1, 0, 0) ( 2.3, 1, 1, 1)): N IV. CONCLUSIONS S − ≈ − − We introduced the vector space of physical values and 1 fm = ( 15, 1, 0, 0) ( 2.3, 1, 1, 1) − S ≈ − − N thereby provided a mathematical foundation for unit sys- ~c ~c tems and transformations between them. From a practi- = 10−2.3 MeV ≈ 197 MeV cal perspective, our formalism allows transforming a rep- resentation of a physical value to a different unit system with one matrix–vector multiplication, using the same A. Avoiding non-integer powers of units matrix for a given pair of unit systems. In particular, we hope that our formalism has didactic A usual requirement for a unit system is that physi- values for introducing natural units as it not only ad- cally meaningful values can be represented without any dresses how to apply this technique but substantiates its unit being raised to a non-integer power. For example one mathematical foundations and validity. Though our for- would avoid using qm := m2 as a base unit, as this would malism only requires basic concepts from linear algebra, 3 it may be challenging for some students due its unusual ioms was all we had to do to be able to safely apply vector addition and scalar multiplication. On the other well-known concepts from linear algebra to a new struc- hand, the latter may be beneficial if our vector space is ture. used as an example when teaching linear algebra, as it may help to illustrate how abstract, general and diverse the presented concepts are and act prophylactic against students conflating vector operations and regular opera- ACKNOWLEDGEMENTS tions. Furthermore, using transformations between unit systems as example for basis transformations may help overcoming certain difficulties as there is no straightfor- I am grateful to N. Ansmann, S. Bialonski and J.