Определение величины через область определения

Рассмотрим тот общий подход к понятию величины, который дает Н.Я. Виленкин. Общий подход к понятию величины он основывает на понятии области определения величины – множестве объектов с заданными в нем отношениями – отношением эквивалентности (например, а ~ в) и отношением «объект а состоит из объектов в и с» (например, отрезок АВ состоит из отрезков АС и СВ). Для простоты мы рассмотрим сначала величины, к которым относятся длина, площадь, объем, масса и т.д. Эти величины, как мы уже знаем, называются аддитивно-скалярными величинами.

Определение 1. Множество W называют областью определения (аддитивно-скалярной) величины, если в нем определены два отношения: бинарное отношение эквивалентности а ~ в (т.е. рефлексивное, симметричное и транзитивное отношение) и отношение а = в Å с, читаемое «a состоит из в и с».

Говорят, что на множестве W определена операция измерения, если каждому элементу а этого множества можно сопоставить положительное действительное число т (а) – меру а, так, что выполняются следующие условия:

а) из а ~ в вытекает т (а) = т (в), т.е. эквивалентные объекты имеют равные меры;

б)из а = в Å с вытекает т (а) = т (в) + т (с)(аддитивность меры).

Две различные операции измерения т и т₁ могут отличаться друг. от друга лишь постоянным множителем, т.е. существует такое положительное число l, что т ₁ (а) =l т (а) для всех a Î W.

Другими словами, измерение величины есть отображение f множества W в множество R₊ с указанными выше свойствами, а число f (а) называется значением величины для элемента а при данном измерении или его мерой. Причем, если при каком-нибудь измерении для элементов а и в из а ~ в выполняется равенство f (а) = f (в), то это же равенство выполняется и при любом ином измерении этой величины: если f (а) = f (в), то f ₁(а) = f ₂(в),т.к. f ₁(а) =l f ₂(а), f ₁(в) = l f ₂(в). Отсюда вытекает, что в множестве W задано отношение «a и в имеют равные меры», не зависящие от измерения.

Примером области определения величины может служить множество всех отрезков, в котором запись а ~ в означает, что отрезки а и в равны, а запись а = в Å с – что существует точка, разбивающая отрезок а на части в и с.

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

Любые две операции измерения длины дают результаты, отличающиеся друг от друга лишь постоянным множителем.

Если W область определения величины, то в нем можно ввести отношение равновеликости, означающее, что f (а) = f (в).

Введенное отношение равновеликости обладает свойствами рефлексивности, симметричности и транзитивности, т.е. является отношением эквивалентности, которое разбивает множество W на классы эквивалентности. Отсюда следует определение.

Определение 2. Величиной, заданной отношениями а ~ в и а = в Å с в множестве W, называют разбиение этого множества на классы эквивалентности по отношению «а равновелико в».

Здесь следует отметить, что отношение равновеликости не всегда совпадает с отношением эквивалентности. Например, в случае, когда W состоит из отрезков, отношение равновеликости совпадает с отношением эквивалентности, два отрезка равны в том и только в том случае, когда их длины равны. В случае площадей дело обстоит иначе – две фигуры могут иметь равные площади, не будучи равными.

Дата добавления: 2015-07-18