Величина — одно из основных математических понятий, которое развивалось вместе с развитием математики.

Аксиомы теории величин[править | править код]

Ещё в «Началах» Евклида (3 в. до н. э.) были отчётливо сформулированы свойства величины, называемых теперь, для отличия от дальнейших обобщений, положительными скалярными величинами. Это первоначальное понятие величины является непосредственным обобщением более конкретных понятий: длины, площади, объёма, массы и т. п. Каждый конкретный род величины связан с определённым способом сравнения физических тел или др. объектов. Например, в геометрии отрезки сравниваются при помощи наложения, и это сравнение приводит к понятию длины: два отрезка имеют одну и ту же длину, если при наложении они совпадают; если же один отрезок накладывается на часть другого, не покрывая его целиком, то длина первого меньше длины второго. Общеизвестны более сложные приёмы, необходимые для сравнения плоских фигур по площади или пространственных тел по объёму.

В соответствии со сказанным, в пределах системы всех однородных величин (то есть в пределах системы всех длин или всех площадей, всех объёмов) устанавливается отношение неравенства: две величины и одного и того же рода или совпадают , или первая меньше второй (), или вторая меньше первой (). Общеизвестно также в случае длин, площадей, объёмов и то, каким образом устанавливается для каждого рода величины смысл операции сложения. В пределах каждой из рассматриваемых систем однородных величин отношение неравенства и операция сложения удовлетворяют следующим аксиомам:

1) Каковы бы ни были и , имеет место одно и только одно из трёх соотношений: или , или , или
2) Если и , то (транзитивность неравенства)
3) Для любых двух величин и существует однозначно определённая величина
4) (коммутативность сложения)
5) (ассоциативность сложения)
6) (монотонность сложения)
7) Если , то существует одна и только одна величина , для которой (возможность вычитания)
8) Каковы бы ни были величины и натуральное число , существует такая величина , что (возможность деления)
9) Каковы бы ни были величины и , существует такое натуральное число , что . Это аксиома называется аксиомой Евдокса, или аксиомой Архимеда. На ней вместе с более элементарными аксиомами 1-8 основана теория измерения величин, развитая древнегреческими математиками.

Если взять какую-либо длину за единичную, то система всех длин, находящихся в рациональном отношении к , удовлетворяет аксиомам 1-9. Существование несоизмеримых отрезков (открытие которых приписывается Пифагору, 6 в. до н. э.) показывает, что система ещё не охватывает системы всех произвольных длин.

Чтобы получить вполне законченную теорию величин, к аксиомам 1-9 надо присоединить ещё ту или иную дополнительную аксиому непрерывности, например:

10) Если последовательности величин обладают тем свойством, что для любой величины при достаточно большом номере , то существует единственная величина , которая больше всех и меньше всех .

Аксиомы 1-10 и определяют полностью современную теорию положительных скалярных величин. Если в системе положительных скалярных величин выбрать какую-либо величину за единицу измерения, то все остальные величины системы однозначно представляются в виде , где - положительное действительное число.

Величины произвольного знака[править | править код]

Рассмотрение направленных отрезков на прямой, скоростей, могущих иметь два противоположных направления, и т. п. Величина естественно приводит к тому обобщению понятия скалярной величины, которое является основным в механике и физике. Система скалярных величин в этом понимании включает в себя, кроме положительной величины, нуль и отрицательную величину. Выбирая в такой системе какую-либо положительную величину за единицу измерения, выражают все остальные величины системы в виде , где - действительное число, положительное, отрицательное или равное нулю. Конечно, систему скалярных величин в этом понимании можно охарактеризовать и аксиоматически, не опираясь на понятие числа. Для этого пришлось бы несколько изменить аксиомы 1-10, которыми выше охарактеризована теория положительных скалярных величин.

Векторные велиичны[править | править код]

В более общем смысле слова величинами называют векторы, тензоры и другие «не скалярные величины». Такие величины можно складывать, но отношение неравенства () для них теряет смысл.

Неархимедовы величины[править | править код]

В некоторых более отвлечённых математических исследованиях играют известную роль «неархимедовы» величины, которые имеют с обычными скалярными величинами то общее, что для них сохраняются обычные свойства неравенств, но аксиома 9 не выполняется (для скалярных величин произвольного знака она сохраняется с оговоркой, что ).

Действительные и переменные величины[править | править код]

Так как система действительных положительных чисел удовлетворяет перечисленным выше аксиомам 1-10, а система всех действительных чисел обладает всеми свойствами скалярных величин, то вполне законно сами действительные числа называть величинами. Это особенно принято при рассмотрении переменных величин. Если какая-либо конкретная величина, например длина нагреваемого металлического стержня, изменяется во времени, то меняется и измеряющее её число (при постоянной единице измерения ). Само это меняющееся во времени число принято называть переменной величиной и говорить, что принимает в какие-либо последовательные моменты времени «числовые значения» . В традиционной математической терминологии говорить о «переменных числах» не принято. Однако логичнее такая точка зрения: числа, как и длины, площади, объёмы и т. п., являются частными случаями величины и, как всякие величины, могут быть и переменными, и постоянными. Столь же законно и рассмотрение переменных векторов, тензоров и т. п.

Литература[править | править код]

  • Колмогоров А.Н. Величина. Математический энциклопедический словарь. Гл. ред. Ю.В.Прохоров. М., БРЭ. С.112-113.

См. также[править | править код]

Материалы сообщества доступны в соответствии с условиями лицензии CC-BY-SA, если не указано иное.