The Central Idea
A mathematically meaningful equation must compare quantities of compatible dimensions.
If
\[ d=vt, \]then distance \(d\) has the dimension of length, velocity \(v\) has the dimension of length divided by time, and \(t\) has the dimension of time.
\[ [v][t] = \frac{L}{T}\cdot T = L. \]Both sides therefore have the same dimension:
\[ \boxed{[d]=[vt]=L}. \]That agreement is called dimensional consistency.
Dimensions and Units Are Related but Different
A dimension describes the kind of measurable quantity. A unit is a particular standard used to measure that quantity.
For example, length is a dimension. Meters, feet, miles, and centimeters are units of length.
Time is a dimension. Seconds, minutes, hours, and days are units of time.
Thus,
\[ \text{dimension}=\text{kind of quantity}, \]while
\[ \text{unit}=\text{chosen measurement scale}. \]Common Dimension Symbols
Dimensional analysis often uses compact symbols for basic dimensions.
- \(L\) for length;
- \(T\) for time;
- \(M\) for mass;
- \(\Theta\) for temperature when temperature must be tracked explicitly;
- \(I\) for electric current in electromagnetic models.
A quantity can involve several dimensions at once.
For example, velocity has dimension
\[ \boxed{LT^{-1}}, \]while acceleration has dimension
\[ \boxed{LT^{-2}}. \]Dimension Notation
Square brackets are commonly used to indicate the dimension of a quantity.
If \(x\) is a distance,
\[ [x]=L. \]If \(t\) is a time,
\[ [t]=T. \]If \(v\) is a velocity,
\[ [v]=LT^{-1}. \]These brackets do not mean multiplication or an interval. They indicate dimensional type.
Products Multiply Dimensions
When quantities are multiplied, their dimensions multiply.
Suppose
\[ A=lw, \]where \(l\) and \(w\) are lengths.
Then
\[ [A]=[l][w]=L\cdot L=L^2. \]This correctly identifies area as a quantity with dimension
\[ \boxed{L^2}. \]Quotients Divide Dimensions
When one quantity is divided by another, the dimensions divide as well.
Speed is distance divided by time:
\[ v=\frac{d}{t}. \]Therefore,
\[ [v] = \frac{[d]}{[t]} = \frac{L}{T} = LT^{-1}. \]This dimensional pattern is independent of whether speed is measured in meters per second, miles per hour, or another compatible unit.
Powers Apply to Dimensions
Exponents that act on quantities also act on their dimensions.
If \(r\) is a length, then
\[ [r^2]=L^2 \]and
\[ [r^3]=L^3. \]This is why the area of a circle,
\[ A=\pi r^2, \]has dimension
\[ [A]=L^2. \]Dimensionless Numbers
Some quantities have no physical dimension.
Pure numerical constants such as
\[ 2,\qquad \pi,\qquad e \]are dimensionless.
Ratios of two quantities with the same dimension are also dimensionless. For example,
\[ \frac{\text{length}}{\text{length}} \]has dimension
\[ \frac{L}{L}=1. \]Dimensionless quantities become especially important in scaling, nondimensionalization, similarity, and advanced modeling.
Addition Requires Compatible Dimensions
Quantities may be added or subtracted only when they represent compatible dimensions.
The expression
\[ 3\text{ m}+5\text{ m} \]is meaningful because both terms represent length.
But
\[ 3\text{ m}+5\text{ s} \]does not represent a standard physical quantity because length and time are different dimensions.
The same rule applies inside equations:
\[ \boxed{\text{terms being added must have matching dimensions}}. \]Subtraction Requires Compatible Dimensions
Subtraction follows the same rule.
If a position changes from \(12\text{ m}\) to \(5\text{ m}\), then
\[ 12\text{ m}-5\text{ m}=7\text{ m}. \]But subtracting a speed from a distance is not dimensionally meaningful:
\[ 12\text{ m}-5\frac{\text{m}}{\text{s}}. \]The algebraic symbols may be writable, but the modeled quantities do not belong to the same dimensional category.
Both Sides of an Equation Must Match
Dimensional consistency applies across an equality.
Consider
\[ d=vt. \]The left side has dimension
\[ [d]=L. \]The right side has dimension
\[ [vt] = LT^{-1}\cdot T = L. \]Since both sides are lengths, the equation passes the dimensional check.
Example: Detecting an Invalid Formula
Suppose someone proposes
\[ d=v+t. \]Here
\[ [v]=LT^{-1} \]and
\[ [t]=T. \]These dimensions cannot be added.
Therefore,
\[ \boxed{d=v+t} \]is dimensionally inconsistent as a general equation for distance.
Dimensional Consistency Is Necessary, Not Sufficient
Passing a dimensional check does not prove that a formula is correct.
For example, both
\[ d=vt \]and
\[ d=2vt \]are dimensionally consistent because the factor \(2\) is dimensionless.
But only the equation appropriate to the actual model and assumptions is correct.
Dimensional analysis can identify many impossible formulas, but it cannot determine every numerical coefficient or every functional relationship.
Homogeneous Equations
An equation is often called dimensionally homogeneous when every term that is added or equated has the same overall dimensions.
Consider the constant-acceleration position model
\[ x=x_0+v_0t+\frac12at^2. \]Check each term:
\[ [x]=L, \] \[ [x_0]=L, \] \[ [v_0t]=(LT^{-1})(T)=L, \]and
\[ [at^2]=(LT^{-2})(T^2)=L. \]Every term has dimension \(L\), so the equation is dimensionally homogeneous.
Example: Kinetic Energy
Kinetic energy is modeled by
\[ K=\frac12mv^2. \]Mass has dimension
\[ [m]=M, \]and velocity has dimension
\[ [v]=LT^{-1}. \]Therefore,
\[ [K] = M(LT^{-1})^2 = ML^2T^{-2}. \]This is the dimensional form of energy.
Example: Force
Newton's second-law model is
\[ F=ma. \]Since
\[ [m]=M \]and
\[ [a]=LT^{-2}, \]force has dimension
\[ \boxed{[F]=MLT^{-2}}. \]This relationship can later be used to check more complicated formulas involving force.
Example: Pressure
Pressure is force divided by area:
\[ P=\frac{F}{A}. \]Using
\[ [F]=MLT^{-2} \]and
\[ [A]=L^2, \]we obtain
\[ [P] = \frac{MLT^{-2}}{L^2} = \boxed{ML^{-1}T^{-2}}. \]Unit Consistency and Dimensional Consistency
Dimensional consistency asks whether quantities have compatible kinds. Unit consistency asks whether the numerical units being used are also compatible.
For example,
\[ 3\text{ m}+40\text{ cm} \]is dimensionally valid because both terms are lengths.
But before adding their numerical values directly, convert them to a common unit:
\[ 40\text{ cm}=0.40\text{ m}. \]Therefore,
\[ 3\text{ m}+0.40\text{ m} = \boxed{3.40\text{ m}}. \]Conversion Factors Preserve Dimension
A valid unit-conversion factor represents the number \(1\) because its numerator and denominator describe the same physical quantity.
Since
\[ 100\text{ cm}=1\text{ m}, \]the ratio
\[ \frac{100\text{ cm}}{1\text{ m}} \]represents a dimensionless conversion factor.
Multiplying by it changes the unit representation without changing the underlying physical quantity.
Example: Converting a Speed
Convert
\[ 72\frac{\text{km}}{\text{h}} \]to meters per second.
\[ 72\frac{\text{km}}{\text{h}} \cdot \frac{1000\text{ m}}{1\text{ km}} \cdot \frac{1\text{ h}}{3600\text{ s}}. \]The units cancel:
\[ \frac{\text{km}}{\text{h}} \cdot \frac{\text{m}}{\text{km}} \cdot \frac{\text{h}}{\text{s}} = \frac{\text{m}}{\text{s}}. \]Numerically,
\[ \boxed{72\frac{\text{km}}{\text{h}}=20\frac{\text{m}}{\text{s}}}. \]Units Behave Algebraically
In many calculations, units can be manipulated much like algebraic factors.
Suppose
\[ v=12\frac{\text{m}}{\text{s}} \]and
\[ t=5\text{ s}. \]Then
\[ vt = 12\frac{\text{m}}{\text{s}} \cdot 5\text{ s} = 60\text{ m}. \]The seconds cancel, leaving a length unit.
Squared and Cubed Units Matter
Unit exponents must be handled with the same care as numerical exponents.
If
\[ 1\text{ m}=100\text{ cm}, \]then squaring gives
\[ 1\text{ m}^2=(100\text{ cm})^2. \]Therefore,
\[ \boxed{1\text{ m}^2=10{,}000\text{ cm}^2}. \]A common error is to multiply by \(100\) instead of \(100^2\) when converting area.
Example: Volume Conversion
Since
\[ 1\text{ m}=100\text{ cm}, \]cubing both sides gives
\[ 1\text{ m}^3=(100\text{ cm})^3. \]Thus,
\[ \boxed{1\text{ m}^3=1{,}000{,}000\text{ cm}^3}. \]Volume conversion factors are cubed because volume itself scales with the third power of length.
Dimensions of a Rate of Change
A derivative inherits dimensions from the quantities being related.
If position \(x\) has dimension \(L\) and time \(t\) has dimension \(T\), then
\[ \left[\frac{dx}{dt}\right] = \frac{L}{T} = LT^{-1}. \]So velocity naturally has units such as meters per second.
Differentiating again gives
\[ \left[\frac{d^2x}{dt^2}\right] = LT^{-2}, \]the dimension of acceleration.
Dimensions of an Integral
Integration multiplies dimensions by the dimension of the integration variable.
If velocity has dimension \(LT^{-1}\), then
\[ \left[\int v\,dt\right] = LT^{-1}\cdot T = L. \]This matches the interpretation of accumulated velocity over time as a change in position.
Graph Slopes Carry Units
The slope of a graph is not merely a number. It normally has units.
If a graph has distance on the vertical axis and time on the horizontal axis, then
\[ \text{slope} = \frac{\Delta d}{\Delta t}. \]Its units are
\[ \frac{\text{length}}{\text{time}}, \]so the slope represents a speed or velocity.
Intercepts Also Carry Units
In the linear model
\[ y=mx+b, \]the intercept \(b\) must have the same dimension as \(y\).
Meanwhile, the slope \(m\) must have dimension
\[ [m]=\frac{[y]}{[x]}. \]This rule is useful when interpreting regression models and empirical formulas.
Example: A Linear Cost Model
Suppose total cost is modeled as
\[ C(q)=15q+250. \]If \(q\) is measured in units of product and \(C\) is measured in dollars, then the coefficient \(15\) must carry units
\[ \frac{\text{dollars}}{\text{unit of product}}. \]The constant \(250\) must carry units of dollars.
Then
\[ 15q \]and
\[ 250 \]both represent dollar amounts and may be added consistently.
Parameters Have Dimensions Too
Model parameters are not automatically dimensionless.
Consider exponential growth:
\[ P(t)=P_0e^{kt}. \]The exponent of an exponential function must be dimensionless, so
\[ [kt]=1. \]If time has dimension \(T\), then
\[ [k]=T^{-1}. \]Thus a growth-rate parameter may have units such as per year or per second.
Arguments of Exponential Functions Must Be Dimensionless
Expressions such as
\[ e^x \]are mathematically applied to dimensionless inputs in physical modeling.
Therefore, if a model contains
\[ e^{-t/\tau}, \]then \(t\) and \(\tau\) must have the same dimension.
Their ratio is dimensionless:
\[ \left[\frac{t}{\tau}\right]=1. \]Arguments of Logarithms Must Be Dimensionless
The same principle applies to logarithms.
A model should not treat
\[ \ln(5\text{ m}) \]as though the dimensional quantity itself were a pure number.
Instead, a meaningful logarithmic model commonly uses a dimensionless ratio such as
\[ \ln\left(\frac{x}{x_0}\right), \]where \(x\) and \(x_0\) have the same dimension.
Trigonometric Function Inputs Are Dimensionless
Trigonometric functions also require dimensionless arguments.
In
\[ y=A\sin(\omega t), \]the product \(\omega t\) must be dimensionless.
Therefore,
\[ [\omega]=T^{-1}. \]This is consistent with angular frequency being measured in radians per unit time, where the radian behaves as a dimensionless angular measure in standard dimensional analysis.
Dimensional Analysis Can Suggest a Missing Factor
Suppose a proposed formula for distance is
\[ d=at. \]Acceleration has dimension
\[ LT^{-2}, \]so
\[ [at]=LT^{-1}, \]which is the dimension of velocity, not distance.
Multiplying by another factor of time gives
\[ [at^2]=L. \]This suggests that a distance relationship involving only acceleration and time should contain \(t^2\), although dimensional analysis alone cannot determine the exact numerical coefficient.
Using Dimensions to Infer Exponents
Suppose a quantity \(Q\) is believed to depend on length \(L_0\) and time \(t\) according to
\[ Q=L_0^a t^b. \]If \(Q\) has dimensions
\[ LT^{-1}, \]then
\[ [Q]=L^aT^b. \]Matching exponents gives
\[ a=1,\qquad b=-1. \]Thus,
\[ Q\propto \frac{L_0}{t}. \]This kind of reasoning becomes a powerful modeling tool when the form of a relationship is only partly known.
Dimensionless Ratios Reveal Structure
If two lengths \(x\) and \(L_0\) are compared, then
\[ \frac{x}{L_0} \]is dimensionless.
Such ratios tell us where a system is relative to a characteristic scale.
For example,
\[ \frac{x}{L_0}=0.1 \]means \(x\) is one tenth of the reference length, regardless of whether the measurements are expressed in meters, centimeters, or feet.
Changing Units Should Not Change the Model
A valid physical or applied model should describe the same underlying relationship regardless of the compatible unit system used.
If a distance is represented as
\[ 2\text{ m}, \]the same distance can also be written as
\[ 200\text{ cm}. \]The numerical value changes because the unit changes, but the modeled quantity does not.
Common Error: Adding Unlike Dimensions
Consider
\[ x=v+t. \]If \(x\) is length, \(v\) is velocity, and \(t\) is time, then the right side attempts to add
\[ LT^{-1}+T. \]These terms are dimensionally incompatible.
The equation therefore fails before any numerical calculation is performed.
Common Error: Ignoring Unit Conversion
Suppose a vehicle travels at
\[ 60\frac{\text{km}}{\text{h}} \]for
\[ 30\text{ min}. \]Multiplying \(60\) by \(30\) directly mixes hours and minutes.
Convert first:
\[ 30\text{ min}=0.5\text{ h}. \]Then
\[ d = 60\frac{\text{km}}{\text{h}} \cdot 0.5\text{ h} = \boxed{30\text{ km}}. \]Common Error: Forgetting Exponents on Conversion Factors
To convert
\[ 2\text{ m}^2 \]into square centimeters, use
\[ 2\text{ m}^2 \left( \frac{100\text{ cm}}{1\text{ m}} \right)^2. \]Therefore,
\[ 2\text{ m}^2 = 20{,}000\text{ cm}^2. \]The conversion factor must be squared because the original unit is squared.
Common Error: Treating Every Constant as Dimensionless
In
\[ y=mx+b, \]neither \(m\) nor \(b\) is automatically dimensionless.
Their dimensions depend on the variables:
\[ [m]=\frac{[y]}{[x]} \]and
\[ [b]=[y]. \]Numerical coefficients in applied models often carry important units.
Common Error: Assuming Dimensional Agreement Proves the Formula
Suppose the true model is
\[ A=\pi r^2. \]The alternative
\[ A=7r^2 \]is also dimensionally consistent because both sides have dimension \(L^2\).
Dimensional consistency eliminates impossible forms, but it does not determine every dimensionless constant.
A Reliable Dimensional-Consistency Procedure
- Identify the dimension of each variable and parameter.
- Replace each quantity with its dimensional symbol.
- Multiply, divide, and exponentiate the dimensions algebraically.
- Check that terms being added or subtracted have matching dimensions.
- Check that both sides of every equation have matching dimensions.
- Check that exponential, logarithmic, and trigonometric arguments are dimensionless.
- Check unit conversions separately when numerical units differ.
- Remember that passing the check does not prove the model is correct.
Example: Full Dimensional Check
Check the formula
\[ s=v_0t+\frac12at^2. \]Suppose
\[ [s]=L,\qquad [v_0]=LT^{-1},\qquad [t]=T,\qquad [a]=LT^{-2}. \]First term:
\[ [v_0t] = LT^{-1}\cdot T = L. \]Second term:
\[ [at^2] = LT^{-2}\cdot T^2 = L. \]The constant \(1/2\) is dimensionless.
Thus the right side has the form
\[ L+L, \]which is compatible with the left side \(L\).
Therefore, the equation is dimensionally consistent.
Example: Finding the Dimension of a Parameter
Consider
\[ x(t)=A\cos(\omega t). \]Suppose \(x\) represents length.
Since cosine produces a dimensionless number, the amplitude \(A\) must have the same dimension as \(x\):
\[ [A]=L. \]The cosine argument must be dimensionless:
\[ [\omega t]=1. \]Therefore,
\[ [\omega]=T^{-1}. \]Example: Checking a Population Model
Suppose
\[ P(t)=P_0e^{rt}. \]Population \(P\) and initial population \(P_0\) have the same unit, such as people.
Because the exponent must be dimensionless,
\[ [rt]=1. \]If \(t\) is measured in years, then \(r\) must have units
\[ \boxed{\text{year}^{-1}}. \]This explains why exponential growth rates are commonly reported as "per year," "per month," or another inverse-time unit.
Dimensional Consistency in Data Analysis
Units matter when constructing variables from data.
If a new variable is defined by
\[ z=\frac{x-\mu}{\sigma}, \]where \(x\), \(\mu\), and \(\sigma\) have the same units, then
\[ [x-\mu]=[x] \]and
\[ [z] = \frac{[x]}{[x]} = 1. \]A standardized score is therefore dimensionless.
Dimensional Consistency in Modeling
Model construction often begins before every coefficient is known. Dimensional reasoning constrains what forms are even possible.
If a proposed model combines incompatible quantities, the structure must be revised before parameter estimation or numerical fitting begins.
This makes dimensional consistency a front-end modeling discipline, not merely a final calculation check.
Why Dimensional Checks Are So Useful
A dimensional check can quickly reveal:
- missing factors of time or length;
- incorrect exponents;
- improperly added quantities;
- incorrect unit conversions;
- wrong parameter units;
- misinterpreted slopes or rates;
- impossible model structures.
Because the check is inexpensive, it should become routine.
Practice 1: Distance Model
Determine whether
\[ d=vt \]is dimensionally consistent when
\[ [d]=L,\qquad [v]=LT^{-1},\qquad [t]=T. \]Practice 2: Invalid Sum
Determine whether
\[ x=v+t \]can be dimensionally consistent if \(x\) is length, \(v\) is velocity, and \(t\) is time.
Practice 3: Acceleration Term
Find the dimension of
\[ at^2 \]if
\[ [a]=LT^{-2}. \]Practice 4: Parameter Units
In
\[ P(t)=P_0e^{kt}, \]what must the dimension of \(k\) be?
Practice 5: Area Conversion
Convert
\[ 3\text{ m}^2 \]to square centimeters.
Practice 6: Velocity from a Graph
A graph has position in meters on the vertical axis and time in seconds on the horizontal axis. What units does its slope have?
Practice 7: Linear Model Parameter
Suppose
\[ y=mx+b, \]where \(y\) is measured in dollars and \(x\) is measured in hours. What units must \(m\) have?
Practice 8: Logarithmic Argument
Explain why
\[ \ln\left(\frac{x}{x_0}\right) \]can be dimensionally valid when \(x\) and \(x_0\) have the same dimension.
Practice 9: Identify the Error
A student converts
\[ 1\text{ m}^3 \]to cubic centimeters by writing
\[ 1\text{ m}^3=100\text{ cm}^3. \]Explain the error.
Practice 10: Dimensional Inference
Suppose speed \(v\) depends only on a characteristic length \(L_0\) and characteristic time \(T_0\) according to
\[ v=L_0^aT_0^b. \]Determine \(a\) and \(b\).
Practice Answers
Practice 1
\[ [vt] = LT^{-1}\cdot T = L. \]This matches \([d]=L\), so the equation is dimensionally consistent.
Practice 2
No. The right side attempts to add
\[ LT^{-1}+T, \]which combines incompatible dimensions.
Practice 3
\[ [at^2] = LT^{-2}\cdot T^2 = \boxed{L}. \]Practice 4
The exponent \(kt\) must be dimensionless:
\[ [k]T=1. \]Therefore,
\[ \boxed{[k]=T^{-1}}. \]Practice 5
\[ 3\text{ m}^2 \left( \frac{100\text{ cm}}{1\text{ m}} \right)^2 = \boxed{30{,}000\text{ cm}^2}. \]Practice 6
\[ \frac{\text{meters}}{\text{seconds}} = \boxed{\frac{\text{m}}{\text{s}}}. \]The slope has the units of velocity.
Practice 7
\[ [m] = \frac{\text{dollars}}{\text{hours}}. \]Therefore the slope parameter is measured in dollars per hour.
Practice 8
If \(x\) and \(x_0\) have the same dimension, then
\[ \left[\frac{x}{x_0}\right] = 1. \]The logarithm therefore receives a dimensionless argument.
Practice 9
The conversion factor must be cubed:
\[ 1\text{ m}^3 = (100\text{ cm})^3 = \boxed{1{,}000{,}000\text{ cm}^3}. \]Practice 10
Speed has dimension
\[ LT^{-1}. \]Since
\[ [L_0^aT_0^b]=L^aT^b, \]matching exponents gives
\[ \boxed{a=1,\qquad b=-1}. \]Thus,
\[ v\propto\frac{L_0}{T_0}. \]What to Remember
Dimensional consistency is built on a few durable rules:
- quantities being added or subtracted must have compatible dimensions;
- both sides of an equation must have the same dimensions;
- products multiply dimensions and quotients divide them;
- powers apply to units and dimensions as well as numbers;
- exponential, logarithmic, and trigonometric arguments should be dimensionless;
- parameters may carry units;
- unit conversions change representation, not the underlying quantity;
- a dimensionally consistent equation may still be mathematically or scientifically wrong.
The practical habit is simple: check dimensions before trusting a model.
Where We Go Next
Dimensional consistency tells us whether an equation respects the kinds of quantities it combines. The next lesson develops the systematic construction of Derived Units, showing how units for speed, acceleration, density, force, energy, power, and other quantities emerge from more basic measurements.