*/* = ik =

Следовательно, с математической точки зрения предположение I излишне.

Преобразованиям взаимно однозначно соответствуют векторы а = (аь ... , (Хп) с положительными компонентами («положительные» /г-векторы). Кроме того, если определить следующие действия:

«? = (а,р„ а„р„), «->=(a-.....а;). (3)

то, очевидно, выполняются равенства

«(p(,))=7•g(Г,(Q.))=r,(QД (За)

V.(«(Qy)) = Q/ (36)

Говоря математическим языком, равенства (2) определяют представление мультипликативной группы) положительных п-векторов, определенной соотношением (3) как группа (2) линейных преобразований пространства векторов Q.

§ 61. Соотношения, не зависящие от единиц измерения

При выводе формулы v = С Уgk в примере 1 мы использовали еще два других предположения. На абстрактном языке выше приведенных предположений I и И их можно сформулировать следующим, образом.

Предположение HI. Существует функциональное соотношение вида

<P(Qo.....Q.) = 0. (4)

где ф -однозначная функция. [(В примере 1 г = 2, а <a = v - -ПК g)]

Предположение IV. Соотношение (4) не зависит от выбора основных единиц.

) Под группой понимается такое множество, замкнутое относительно ассоциативного умножения, что для каждого из его элементов существует обратный элемент относительно умножения. Подробности см. в [45], гл. VI.

Показатели bjk называются «размерностями» величины Qj в данной системе основных единиц; если все они равны нулю, то величина Qj называется «безразмерной». Очевидно, что любое произведение степеней однородных по размерности величин остается однородным по размерности. Ясно также, что формула (1) является частным случаем формулы (2) при условии

1, если k = i,

О, если k Ф i.

§ 61. Соотношения, не зависящие от единиц измерения 123

Таким образом, в анализе размерностей рассматриваются функциональные соотношения (p(Qo, Qi, Q,)=0 положительных переменных, которые под действием (коммутативной, зависящей от п-параметров) группы преобразуются по формулам (2). Говоря точнее, исследуются соотноше1щя, которые не зависят от выбора единиц измерения и которые определяются следующим образом.

Определение. Функциональное соотношение

<f{Qo, Qi , Qr) =0 однородных по размерности переменных не зависит от выбора единиц тогда и только тогда, когда из соотношения <f(Qo, Qi, •.., Qr) =0 следует

fiTiQo).....T{Qr)) = 0 (5)

при любом преобразовании основных единиц Т.

Обратно, используя формулу (36), получаем, что из соотношения 9(7«(Qo), ..., 7*«(Qr)) = О следует

?(Qo.....Qr) = 0 (5)

для каждого преобразования Г,, но мы, не вникая в эти тонкости, будем принимать как формулу (5), так и формулу (5). Другими словами, по определению, следующее соотношение

Ф (Qo. Ol.....Qr) = О не зависит от единиц тогда и только

тогда, когда в гипероктанте, определяемом положительными ) векторами О» (Qo, Qu , Qr), геометрическое место точек, соответствующее этому уравнению, инвариантно относительно преобразований группы (2).

Следует подчеркнуть, что уравнению ф = О соответствует некоторое геометрическое место точек и на вид функции ф не наложено никаких ограничений. Это иллюстрируется следующим простым примером.

Пример 2. Рассмотрим частицы, выведенные из состояния покоя и движущиеся с не зависящим от времени ускорением а. Обозначим расстояние через s, время через / и скорость через и.

Для такой системы всегда справедливы хорошо известные однородные по размерности (следовательно, не зависящие от единиц измерения) соотношения v = at и = 2as. Однако геометрическое место точек, определяемое уравнением v = at в положительном октанте пространства (v, а, t) совпадает с геометрическим местом, определяемым, например, соотношением

V(v - at) (а + г>) + Vt {v - at) =0. (6)

) Это все можно распространить на случай неположительных векторов, о только цено усложнения формулировок.

) Этому эквивалентно условие неравенства нулю определителя В (см, 145], стр. 304).

Поэтому соотношение (6) не зависит от выбора единиц, хотя оно и не является однородным по размерности.

Несмотря на свою искусственность, этот пример поможет нам выявить различие между формальным доказательством Букингема (§ 64) П-теоремы и более общим геометрическим доказательством Ваши, которое будет изложено в § 63. Но прежде чем доказывать П-теорему в общем случае, мы рассмотрим сначала частный случай г ~ п, когда соотношения, не зависящие от выбора единиц,

Qo=/(Oi.....QJ. (7)

содержат точно на единицу больше величин Qj(/ = 0, ... , п), чем имеется основных единиц (t = 1, ...,п). Мы будем предполагать, что f - однозначная функция, а также, что величины Ql, Q„ зависят от п основных единиц, т. е. матрица из формулы (2), состоящая из (лХО Хл элементов, имеет ранг п. Эквивалентным условием является требование, чтобы квадратный минор В, соответствующий j = \, ... , п, был неособой матрицей ).

Как уже было указано выше, пример 1 относится к этому случаю при п = г = 2.

Теорема 1. Всякое соотношение вида (7), не зависящее от выбора единиц и содержащее п основных единиц, равносильно соотношению

где C = f{l, ... , 1) и х< определяются из уравнений

boi = bnx, ...+b„ix, п\. (8)

Доказательство. Так как величины Qi положительные и минор В -неособая матрица, то мы можем найти такой вектор в, что 7(5(1)= Qq, где 1 = (1, ... , 1); и пусть при этом С = = f(l,...,l). Отсюда, применив формулы (5), (5) к соотношению С - Д1, ... , 1) =0, получим равенство

7"«{C)-/(Q,.....QJ = 0.

Применяя форМулу (2) к первому члену и перенося его в другую сторону, можно записать

/(Ql.....Q„)=Cafo. ... aV. (9)