1. Термин «система единиц» употребляется в двух смыслах. В широком смысле система единиц характеризуется выбором основных величин и формулами, определяющими производные величины через основные, причем масштабы основных величин не фиксируются. Примером может служить система LMT, в которой основными величинами являются длина, масса и время. Другим примером является применявшаяся ранее электротехническая система LMTI, в которой за основные величины принимаются длина, масса, время и сила электрического тока I. Система единиц в узком смысле дополнительно характеризуется также определенным выбором масштабов основных единиц. Примерами могут служить системы СГС и МКСА. Первая есть частный случай системы LMT, когда за единицы длины, массы и времени приняты сантиметр, грамм и секунда. Вторая является частным случаем электротехнической системы LMTI. В ней единицами длины, массы, времени и силы тока являются соответственно метр, килограмм, секунда и ампер. В теории размерности термин «система единиц» понимается в широком смысле.

Понятие размерности возникает в связи с требованием, чтобы в одной и той же системе единиц количественные соотношения между различными физическими величинами выражались одними и теми же формулами, независимо от того, как велики единицы основных физических величин. Этим требованием определяется общий вид «формул размерности» физических величин. Допустим, что имеется несколько физических величин, связанных между собой. Для простоты можно ограничиться случаем двух величин, одна из которых принимается за основную, а другая — за производную. Числовые значения их $x$ и $y$ связаны уравнением $y=f(x)$. Определим общий вид функции $f(x)$. Если единицу основной величины $x$ уменьшить в $\alpha$ раз, то числовое значение этой величины увеличивается в такое число раз и сделается равным $X=\alpha x$. При этом единица производной величины $у$ уменьшится, а ее числовое значение увеличится в $\beta$ раз и станет равным $Y=\beta y$. Мы требуем, чтобы числовые значения $X$ и $Y$ были связаны тем же уравнением, что и числа $x$ и $y$, т. е. $Y=f(X)$ или $\beta y=f(\alpha x)$. Этому условию можно удовлетворить при любых значениях $\alpha$, если надлежащим образом подобрать $\beta$. Задача сводится к нахождению $\beta$ как функции аргумента $\alpha$. На этот вопрос и отвечает «формула размерности».

Прежде чем его решать, изменим постановку вопроса. Пусть две физические величины связаны соотношением $y=f(x)$. Будем менять сами физические величины, оставляя их единицы неизменными. Допустим, что величины $x$ и $y$ увеличились соответственно в $\alpha$ и $\beta$ раз и сделались равными $X=\alpha x$ и $Y=\beta y$. Спрашивается, какому условию должны удовлетворять числа $\alpha$ и $\beta$, чтобы связь между новыми значениями физических величин $X$ и $Y$ была та же, что и между старыми значениями $x$ и $y$, т. е. $Y=f(X)$. На этот вопрос отвечает теория подобия. Вопрос опять сводится к исследованию уравнения $\beta y=f(\alpha x)$. Мы видим, что теории размерности и подобия отличаются друг от друга только формой постановки вопроса. По существу они не отличаются одна от другой. Теория подобия позволяет исследовать количественные соотношения между различными параметрами реальных физических систем на их уменьшенных или увеличенных моделях. Так поступают, например, в авиационной технике, помещая в аэродинамические трубы уменьшенные копии реальных летательных аппаратов. Изучив поведение моделей реальных систем, можно с помощью теории подобия или размерности сделать выводы о поведении самих систем в реальных условиях. Теория размерности сводит вопрос о подобии физических явлений в указанном выше смысле к анализу размерностей физических величин.
2. После этих предварительных замечаний установим общий вид формулы размерности. Как разъяснено выше, мы должны требовать, чтобы из уравнения $y=f(x)$ вытекало уравнение $Y=f(X)$, где $X=\alpha x, Y=\beta y$. Аргумент $x$ и параметр $\alpha$ могут независимо принимать любые значения. Задача состоит в том, чтобы по заданному значению $\alpha$ найти значение $\beta$. Путем дифференцирования при фиксированных $\alpha$ и $\beta$ находим
\[
\frac{d y}{d x}=f^{\prime}(x), \frac{d Y}{d X}=f^{\prime}(X) .
\]

Вторую из этих формул запишем в виде
\[
\frac{\beta}{\alpha} \frac{d y}{d x}=f^{\prime}(X) \text {. }
\]

Поделив ее почленно на первую формулу и заменив $\alpha$ и $\beta$ выражениями $\alpha=\frac{X}{x}, \beta=\frac{Y}{y}=\frac{f(X)}{f(x)}$, получим
\[
x \frac{f^{\prime}(x)}{f(x)}=X \frac{f^{\prime}(X)}{f(X)} .
\]

Слева стоит функция только $x$, справа — та же функция только $X$. Обозначив ее через $F$, имеем $F(x)=F(X)$. Но в силу произвольности и параметра $\alpha$ аргументы $x$ и $X=\alpha x$ могут независимо принимать любые значения. Поэтому равенство $F(x)=F(X)$ должно выполняться тождественно, каковы бы ни были $x$ и $X$. Это значит, что $F(x)$ есть постоянная. Обозначив эту постоянную через $m$, получим дифференциальное уравнение
\[
x \frac{f^{\prime}(x)}{f(x)}=m,
\]

или
\[
\frac{d f(x)}{f(x)}=m \frac{d x}{x} .
\]

Отсюда находим
\[
f(x)=f_{0} x^{m},
\]

где $f_{0}$ — постоянная интегрирования. Таким образом, $y=f_{0} x^{m}$. Аналогично $Y=f_{0} X^{m}$ или $\beta y=f_{0}(\alpha x)^{m}$. Исключая почленным делением $x$ и $y$, находим
\[
\beta=\alpha^{m} \text {. }
\]

Это и есть формула размерности. Мы видим, что требование независимости функциональной связи между $x$ и $y$ от выбора масштаба единицы основной физической величины $x$ может быть удовлетворено только тогда, когда размерность выражается формулой степенного вида.

Приведенные рассуждения без труда обобщаются на случай, когда рассматриваемая физическая величина зависит от нескольких основных физических величин. Для этого в рассуждениях надо только фиксировать единицы всех основных физических величин, за исключением одной из них. Таким путем нетрудно показать, что формула размерности должна быть степенного вида относительно всех основных физических величин. Допустим, например, что число основных величин выбрано равным трем, и за них приняты длина (L), масса (M) и время (T). Тогда размерность любой физической величины $у$ представится формулой
\[
[y]=\mathrm{L}^{p} \mathrm{M}^{q} \mathrm{~T}^{r},
\]

где $p, q, r$ — постоянные числа. Формула (87.2) означает, что если единицы длины, массы и времени уменьшить соответственно в $\alpha$, $\beta$ и $\gamma$ раз, то единица производной величины $y$ уменьшится в $\alpha^{p} \beta^{q} \gamma^{r}$ раз, а следовательно, ее числовое значение увеличится в такое же число раз.
3. Если посмотреть на размерности физических величин, фактически встречающих в физике, то нетрудно заметить, что во всех случаях числа $p, q, r$ оказываются рациональными. Это не обязательно с точки зрения теории размерности, а является результатом соответствующих определений физических величин. Так, например, скорость вводится по формуле $v=s / t$ и поэтому имеет размерность длины, деленной на время. Для нее $p=1, q=0, r=-1$. Но в принципе теория размерности допускает введение величин с иррациональными значениями $p, q, r$, например величины $(1 / t) s^{\sqrt{2}}$. Для такой величины было бы $p=\sqrt{2}$. Подобные величины не вводятся в физику не по каким-то принципиальным соображениям, а просто потому, что в них нет надобности. Теория размерности здесь ни при чем.
4. Часто размерность физической величины отождествляют с ее единицей в соответствующей системе единиц. Так, например, говорят, что скорость имеет размерность см $/ \mathrm{c}$, а сила — г.см/ $\mathrm{c}^{2}$. Хотя это и нелогично, но особой беды в этом нет. Всегда, если есть необходимость, единицы такого типа позволяют перейти к формулам размерности, в которых масштабы единиц основных величин не фиксированы.
5. В зависимости от выбора основных величин, а также от вида формул, связывающих эти величины с производными, одна и та же физическая величина получает в разных системах единиц не только различные числовые значения, но и различные размерности. Так, например, в системе LMT размерность силы устанавливается из второго закона Ньютона $f=C т a$, в котором коэффициент $C$ условно считается безразмерным и полагается равным единице. Тогда сила получает размерность $\mathrm{LMT}^{-2}$. Но так поступать не обязательно. Можно коэффициенту $C$ приписать произвольную размерность и придать произвольное числовое значение. Тогда получится новая система единиц, в которой сила будет иметь уже другую размерность. Например (и так иногда делают), в уравнении $f=G \frac{m_{1} m_{2}}{r^{2}}$, выражающем закон всемирного тяготения Ньютона, приравнивают гравитационную постоянную $G$ единице и считают эту величину безразмерной. Тогда сила $f$ получает размерность $\mathrm{M}^{2} \mathrm{~L}^{-2}$, а во втором законе Ньютона $f=$ Ста появляется коэффициент $C$ с размерностью $\mathrm{ML}^{-3} \mathrm{~T}^{2}$.

Разные физические величины могут иметь одинаковые размерности даже в одной и той же системе единиц. Примерами могут служить в механике работа и кинетическая энергия или работа и момент сил (система MLT, а в учении об электричестве и магнетизме — емкость и индуктивность, имеющие в так называемой гауссовой системе единиц размерность длины. В таких случаях и единицам этих физических величин часто дают одинаковые наименования, хотя по существу это совершенно разные вещи. Одинаковая размерность двух различных физических величин в какой-либо системе единиц говорит не об их тождестве, а только о том, что в рассматриваемой системе масштабы единиц этих величин меняются одинаково при изменении масштабов единиц основных физических величин. В других системах единиц размерности тех же физических величин могут и не совпадать.

Несовпадение размерностей одной и той же величины в разных системах единиц иногда истолковывают как некоторое логическое противоречие, требующее объяснения. Оно подало повод к постановке вопроса об «истинной» размерности физических величин. На основании изложенного нет никакой необходимости доказывать, что физической величине самой по себе не свойственна никакая размерность. Последняя появляется лишь после установлений той или иной системы единиц, а вопрос об «истинной» размерности физических величин, по меткому замечанию Макса Планка, имеет не более смысла, чем вопрос об «истинном» названии какого-либо предмета.
6. Безразмерными комбинациями физических величин называются такие комбинации, которые в рассматриваемой системе единиц имеют нулевую размерность. Их числовые значения не меняются при изменении масштабов единиц основных величин. Легко привести примеры таких комбинаций. Если величина $у$ имеет размерность величины $x$ в степени $\alpha$, то очевидно, $y / x^{\alpha}$ будет безразмерной комбинацией, составленной из $x$ и $y$.

Общий метод нахождения безразмерных комбинаций можно разъяснить на примере системы единиц, построенной на основе трех величин: длины (L), массы (M) и времени (T). Пусть $n$ величин $x_{1}, x_{2}, \ldots, x_{n}$ в этой системе имеют размерности соответственно
\[
\mathrm{L}^{p_{1}} \mathrm{M}^{q_{1}} \mathrm{~T}^{r_{1}}, \mathrm{~L}^{p_{2}} \mathrm{M}^{q_{2}} \mathrm{~T}^{r_{2}}, \ldots, \mathrm{L}^{p_{n}} \mathrm{M}^{q_{n}} \mathrm{~T}^{r_{n}} .
\]

Требуется составить из них безразмерную комбинацию. На основании теоремы, доказанной в п. 2 , искомая комбинация должны иметь вид $x_{1}^{\alpha_{1}} x_{2}^{\alpha_{2}} \ldots x_{n}^{\alpha_{n}}$. Ее размерность будет
\[
\left(\mathrm{L}^{p_{1}} \mathrm{M}^{q_{1}} \mathrm{~T}^{r_{1}}\right)^{\alpha_{1}}\left(\mathrm{~L}^{p_{2}} \mathrm{M}^{q_{2}} \mathrm{~T}^{r_{2}}\right)^{\alpha_{2}} \ldots\left(\mathrm{L}^{p_{n}} \mathrm{M}^{q_{n}} \mathrm{~T}^{r_{n}}\right)^{\alpha_{n}},
\]
т. е. $\mathrm{L}^{p} \mathrm{M}^{q} \mathrm{~T}^{r}$, где
\[
\begin{array}{l}
p=p_{1} \alpha_{1}+p_{2} \alpha_{2}+\ldots+p_{n} \alpha_{n}, \\
q=q_{1} \alpha_{1}+q_{2} \alpha_{2}+\ldots+q_{n} \alpha_{n}, \\
r=r_{1} \alpha_{1}+r_{2} \alpha_{2}+\ldots+r_{n} \alpha_{n} .
\end{array}
\]

Для того чтобы комбинация была безразмерной, необходимо и достаточно, чтобы $p=q=r=0$. Это приводит к системе трех однородных уравнений
\[
\begin{array}{l}
p_{1} \alpha_{1}+p_{2} \alpha_{2}+\ldots+p_{n} \alpha_{n}=0, \\
q_{1} \alpha_{1}+q_{2} \alpha_{2}+\ldots+q_{n} \alpha_{n}=0, \\
r_{1} \alpha_{1}+r_{2} \alpha_{2}+\ldots+r_{n} \alpha_{n}=0
\end{array}
\]

с неизвестными $\alpha_{1}, \alpha_{2}, \ldots, \alpha_{n}$.
Одно из этих неизвестных всегда можно выбрать произвольно, так как безразмерная комбинация остается безразмерной, если ее возвести в произвольную степень. Фиксируем, например, $\alpha_{1}$. Тогда получится три уравнения для определения $n-1$ неизвестных, за которые удобно принять отношения $\alpha_{2} / \alpha_{1}, \alpha_{3} / \alpha_{1}, \ldots, \alpha_{n} / \alpha_{1}$. Если эти уравнения независимы, то $(n-1)-3=n-4$ отношений можно выбрать произвольно. Три остальных определятся из уравнений (87.4). В результате найдутся $n-4$ независимых безразмерных комбинаций. Всякая функция этих безразмерных комбинаций будет также безразмерной комбинацией. Если же три уравнения (87.4) не независимы, то число независимых безразмерных комбинаций увеличится. Например, если в системе (87.4) независимы только два уравнения, то независимых безразмерных комбинаций будет $n-3$ и т. д.