$\newcommand{\R}{\mathbb{R}}$ $\newcommand{\C}{\mathbb{C}}$ $\newcommand{\N}{\mathbb{N}}$ $\newcommand{\Z}{\mathbb{Z}}$ $\newcommand{\pd}[2]{\frac{\partial #1}{\partial #2}}$

## Dimensions

Dimensions are a “type system” for the natural world. Just like in functional programming, understanding the types of the values being manipulated both avoids simple bugs and gets you surprisingly far in solving problems.

Units, like meters, are values which have a dimension. For example:

- mass: M
- length: L
- time: T
- speed: $LT^{-1}$
- acceleration: $LT^{-2}$
- force: $LDT^{-2}$
- energy: $ML^2T^{-2}$

For various common operations and objects, we can say useful things about their dimensions:

Probabilities are dimensionless.

Probability densities have dimensions such that integrating over them gives a dimensionless quantity. So for example, a distribution over a physical area with have a density with dimensions $L^{-2}$.

You can’t exponentiate a dimensional quantity, because, by the power series expansion of the exponential, you can see that you would be adding incommensurate quantities, like $M+M^2…$ for example.

If $x$ has some dimension, an infinitesimal $dx$ has the same dimension.

If $x$ has dimension $X$ and $y$ has dimension $Y$, then $\frac{dx}{dy}$ has dimension $XY^{-1}$. Thinking about this is very helpful in thinking about what sort of thing a derivative is.