# Fundamental question about dimensional analysis

Let me admit beforehand that this is quite possibly a very stupid question. I was also uncertain of where to post this question, as it doesn't fit cleanly into either physics or math stackexchange.

In dimensional analysis, it does not make sense to, for instance, add together two numbers with different units together. Nor does it make sense to exponentiate two numbers with different units (or for that matter, with units at all) together; these expressions make no sense:

$$(5 m)^{7 s}$$

$$(14 A)^{3 A}$$

Now my question is plainly this: why do they not make sense? Why does only multiplying together numbers with units make sense, and not, for instance, exponentiating them together? I understand that raising a number with a unit to the power of another number with a unit is quite unintuitive - however, that's not really a good reason, is it?

-

### Addendum: It has been brought to my attention that the argument herein is specious.

See DOI: 10.1021/ed1000476 "Can One Take the Logarithm or the Sine of a Dimensioned Quantity or a Unit? Dimensional Analysis Involving Transcendental Functions"

Another way to look at it

$$e^x = \sum_n \frac{x^{n}}{n!} = 1 + x +\frac{x^2}{2} + \dots$$

which comes down to adding quantities with different dimension, which you have already accepted makes no sense. This is why you can't exponentiate values with units.

And we can do a similar thing with most transcendental functions.

-
Just a trivial addition: a general power $x^y$ may be written as $\exp(y \ln x)$ so it has the same problem if $y$ fails to be dimensionless. ... In a similar way, the exponents should always be Grassmann-even (not "fermionic"), and so on. –  Luboš Motl Mar 28 '11 at 6:44
Thank you for a very intuitive explanation! –  Jubilee Mar 28 '11 at 13:27
Got a downvote today, which I suppose is reasonable given the miserable state of this answer. @Jubilee, could you at least un-accept it? So that something actually defensible could appear on the top. –  dmckee Apr 5 at 17:41

One further point to note, is that strictly one is just saying that the exponent is dimensionless, not that it does not contain expressions with dimension. So for example we could have some expression like $X=a^{(E/E_0)}$ where the exponent for a is a ratio of energies.

There are several restrictions on the space (sometimes viewed as a vector space) of dimensional quantities: for example units are raised to rational, but not irrational values. This allows a theorem: The Buckingham $\Pi$ Theorem to form.

-

Because of the way an exponential is defined. By an expression like $a^b$ we mean to say that the quantity $a$ is multiplied $b$ times with itself. Thus an expression like $(5m)^{7s}$ would mean $5m$ multiplied "7 seconds" times with itself, which is meaningless.

-
A mathematically naive view of exponentiation, but okay. –  Mark Eichenlaub Mar 28 '11 at 1:53
@MarkEichenlaub Could you briefly explain exponentiation in the way that you mean? –  Mark C Sep 7 '11 at 5:42
@Marc C Exponentiation is a limiting process. It's fundamentally in idea from analysis. Unless your exponent is an integer, it doesn't make sense to say that you're just multiplying a thing by itself a certain number of times. I'm not sure why I made the comment six months ago, though. It wasn't very important to this question. –  Mark Eichenlaub Sep 7 '11 at 10:03
As @Mark said, it's a very naive way of looking at exponentation. The same (flawed) logic could be used to say that only natural numbers (0,1,2,...) can be exponents. Even MATRICES can be exponents, and so can clifs. –  Dimensio1n0 Jul 28 '13 at 7:20
@MarkEichenlaub, you're right that exponentiation is a limit and it started in analysis, but categorically, an exponential $A^B$ is the set of functions from $B$ to $A$. –  alancalvitti Jan 29 at 17:17

(I know I am answering an old question, but I think the following is a nice way to explain to young students.)

You don't need to know Taylor expansions. Simply remember the definition of the exponential. It satisfies the differential equation

$$\frac{\text d y}{\text d x} = y(x)$$

According to this, the derivative of $\text e^x$ has the same dimension as $\text e^x$. Therefore, $x$ should be dimensionless, since the derivative of $\text e^x$ has the dimension of $\text e^x$ divided by $x$. (This assertion comes from the definition of the derivative as a limit and it is also suggested by the $\text d / \text d x$ notation.)

-