Friday 7 August 2020

units - Is $0,mathrm{m}$ dimensionless?


Is $0 \, \mathrm m = 0 \, \mathrm s = 0 \,\mathrm {kg} = 0$? How do we define $[0 \, \mathrm m]$?


I once was given an assignment where I was asked to deduce and write down some physical quantity. It turned out that this quantity was $0$ in one unit or another, so I decided to drop the physical units because I figured that it didn't matter anyhow.


But I got to thinking:



If $0 \, \mathrm m = 0$, then we could add units of different dimensions (an operation not normally defined) like so: $5 + 0 \,\mathrm m = 5$.




  • Does $[ \cdot ]$ map $0 \, \mathrm m$ to both $0$ and $L$?




  • Is there an established regime of thinking about physical quantities as an abstract algebra? Perhaps as a vector space where formal sums such as $5 \, \mathrm m + 10 \, \mathrm s$ are allowed?




  • Would it be improper to drop the units of measurement of $0 \,\mathrm m$ like this in an academic paper?






Answer



This is really not that big of a deal. In essence, though, the dimensions of zero are ill-defined, and $[0]$ (i.e. the dimensions of zero) is (a) not meaningfully defined, and (b) never used in practice.


Let me start by making one thing clear:



Would it be improper to drop the units of measurement of $0 \,\mathrm m$ like this in an academic paper?



Yes, this is perfectly OK, and it is standard practice.


The dimensionality map $[\,·\,]$ has multiple different conventions, but they all work in much the same way. The key fact is that physical quantities form a vector space under multiplication, with exponentiation (over the field $\mathbb Q$) taking the role of scalar multiplication. (This is the essential reason why dimensional analysis often boils down to systems of linear equations, by the way.) The different base dimensions - mass, length, time, electric charge, etc. - are assumed to be algebraically independent and to span the space, and the dimensionality map $[\,·\,]$ reads out the 'coordinates' of a given physical quantity in terms of some pre-chosen canonical basis.



This only works, however, if you exclude zero from the game. The quantity $1\,\mathrm m$ has a multiplicative inverse, but $0\,\mathrm m$ does not, so if you included it it would break the vector space axioms. This is in general OK - you're not forced to keep those properties - but it does preclude you from using the tools built on that vector space, most notably the dimensionality map. Thus $[0]$ doesn't map to anything.




Since you explicitly asked for it, here's one way you can formalize what I said above. (For another nice analysis, see this nice blog post by Terry Tao.)




  • A positive physical quantity consists of a 8-tuple $(x,m,l,t,\theta,c,q,i) \in\mathbb R^\times\times \mathbb Q^7$, where $\mathbb R^\times=(0,\infty)$ is the real multiplicative group. This is usually displayed in the form $$ x\,\mathrm{kg}^m\mathrm{m}^l\mathrm s^t\mathrm K^\theta\mathrm A^c \mathrm{mol}^q \mathrm{cd}^i.$$

  • The multiplication of two physical quantities $p=(x,m,l,t,\theta,c,q,i)$ and $p'=(x',m',l',t',\theta',c',q',i')$ is defined as $$pp'=(xx',m+m',l+l',t+t',\theta+\theta',c+c', q+q',i+i').$$ The multiplicative identity is $1=(1,0,0,0,0,0,0,0)$, and the multiplicative inverse of $p$ is $1/p=(1/x,-m,-l,-t,-\theta,-c,-q,-i)$.

  • The exponentiation of a physical quantity $p$ to an exponent $r\in\mathbb Q$ is defined as $$p^r=(x^r,rm,rl,rt,r\theta,rc,rq,ri).$$




You can then easily check that these two operations satisfy the vector space axioms. The above construction is, in fact, a specific instantiation of the abstract vector space $\mathcal Q$ of physical quantities, but it suffices to take one specific example to show that this works.


As an aside, the choice for $\mathbb Q$ as the scalar field is because (a) it's essential for the vector space structure, and (b) it's still somewhat reasonable to have things like $\mathrm {m}^{-3/2}$ (e.g. the units of a wavefunction). On the other hand, things like $\mathrm {m}^{\pi}$ cannot be made to make sense.


The dimensionality map $[\,·\,]$ is, first and foremost, an equivalence relation, that of commesurability. That is, we say that for $p,p'\in\mathcal Q$, $$[p]=[p']\Leftrightarrow p/p'=(x,0,0,0,0,0,0,0)\text{ for some }x\in\mathbb R^\times.$$ This is in fact all you really need to do dimensional analysis, as I argued here, but it's still useful to go on for a bit.


The really useful vector space, if you want to do dimensional analysis, is the vector space of physical dimensions: the space of physical quantities once we forget about their numerical value. This is the quotient space of $\mathcal Q$ over the commesurability equivalence relation: $$\mathcal D=\mathcal Q/[\,·\,]=\{[p]\,:\,p\in\mathcal Q\}.$$ (Here I've abused notation slightly to make $[p]$ the equivalence class of $p$, i.e. the set of all physical quantities commensurable to $p$.) The vector space of physical dimensions, $\mathcal D$, has the same operations as in $\mathcal Q$:



  • $[p][p']=[pp']$, and

  • $[p]^r=[p^r]$.


It is easy to check that these definitions do not depend on the specific representatives $p$ and $p'$, so the operations are well-defined.


Dimensional analysis takes place in $\mathcal D$. From the definitions above, you can prove that the seven base units give rise to a basis $\{[1\,\mathrm {kg}], [1\,\mathrm m],\ldots,[1\,\mathrm{cd}]\}$ for $\mathcal D$. More physically, though,




  • the seven base units are algebraically independent, which means that they cannot be expressed as multiples of each other, and

  • they are enough to capture the dimensions of all physical quantities.


These are the key physical requirements on a set of base units for the abstract space $\mathcal Q$.


After this, you're all set, really. And it should be clear that there's no way to make zero fit into this scheme at all.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...