[Math] When should matrices have units of measurement

matricesunit-of-measure

As a mathematician I think of matrices as $\mathbb{F}^{m\times n}$, where $\mathbb{F}$ is a field and usually $\mathbb{F} = \mathbb{R}$ or $\mathbb{F} = \mathbb{C}$. Units are not necessary.

However, some engineers have told me that they prefer matrices to have units such as metres, kg, pounds, dollars, etc. Assigning a unit of measurement to each entry to me seems restrictive (for instance if working with dollars then is $A^2$ allowed?).

Here are a few things that I would like to understand more deeply:

  1. Are there examples where it is more appropriate to work with matrices that have units?

  2. If units can only restrict the algebra, why should one assign units at all?

  3. Is there anything exciting here, or is it just engineers trying to put physical interpretations on to matrix algebra?

Also, see:
https://stackoverflow.com/questions/11975658/how-do-units-flow-through-matrix-operations

Best Answer

The point of having units in computations is to restrict what one can do, such that does doesn't end up inadvertently writing down a computation whose result depends on one's choice of units in an unexpected way.

In mathematics this is not done a lot, but mathematics can certainly do it if we want to. What you do is to work with matrices (etc) over the field of rational functions of $n$ variables, and assign one of the variables to stand for each of your fundamental units. That is, we're working in the field of fractions of the polynomial ring $\mathbb R[\rm m, s, kg, A, \ldots]$.

The fraction field contains all of the (unitless) real numbers, as well as all of the unitful measuremens such as $2\,{\rm s}$ or $4000\,{\rm m}$ or $35\,\rm{\frac m{s^2}}$. It also contains a lot of nonsensical elements such as $\frac{42\,\rm{kg}}{3\,{\rm m}+8\,{\rm s}}$, but that doesn't really bother us, because we know that the field-of-fractions construction still keeps the entire system consistent.

We can then define that the computation we're speaking of is well-formed if we can prove that the output always can be written as a real vector (or matrix or whatever) times a scalar such as $1\,{\rm \frac ms}$, which defines the dimension we expect (on physical grounds) that the answer must have.

Once this proof (known to physicists and engineers as dimensional analysis) has been carried out, we can then use an evaluation homomorphism to map all of the unit-variables to $1$, so they disappear from the formulas and the actual calculation can be done on ordinary real numbers.

Whether this is exciting or not is subjective.

Related Question