Cтраница 2
Определив структуру ПО, нужно задать инвариантные свойства состояний и их последовательностей, т.е. выразить семантику ПО. Уже исходные отношения выражают часть семантики, так как указывают соотношения между объектами и их множествами, которые должны выполняться в каждый момент времени. Введение операций над типами расширяет эти возможности, поскольку соотношения, которые должны выполняться между результатами выполнения операций в любом состоянии, также отражают часть семантики. Еще один способ состоит в указании минимальных представлений внутри заданного представления. [16]
По аналогии со свойством зарядовой сопряженности предполагаемое новое инвариантное свойство гамильтониана, связанное с взаимной заменой ( перестановкой 0 - и т-частиц), получило название инвариантности относительно сопряжения по четности. А частицы 0 и т связываются теперь в своеобразный дублет - дублет по четности, так же как, например, протон и нейтрон связаны в дублет по изотопическому спину. [17]
В основу кладется обычная система аксиом: правильные инвариантные свойства; унитарность матрицы рассеяния; полнота и спектральность системы in - состояний, в пространстве которых действует матрица рассеяния; устойчивость вакуума и одночастич-ных состояний. [18]
Чтобы решить вопрос о том, какими общими инвариантными свойствами обладает массовый член общего вида, докажем две теоремы. [19]
Следующая лемма показывает, что в рекурсивно инвариантных свойствах пересечения множеств со списком можно заменить любое полное множество соответствующим ему относительным множеством. [20]
Для ответа на этот вопрос необходимо указать некоторое инвариантное свойство, присущее всем объектам данного класса. Тем самым мы естественным образом пришли к понятию типа, который и является этим инвариантным свойством. Концепция типов берет свое начало в математике и логике и призвана предотвращать двусмысленности различных конструкций и распознавать бессмысленные конструкции. [21]
Ясно, что из исходного объекта, имеющего инвариантное свойство, никаким алгоритмом не получить объект, не обладающий тем же свойством. [22]
В большинстве учебников по начертательной геом: етрии это инвариантное свойство ортогонального проецирования предлагается в виде теоремы о частном случае проецирования прямого угла. [23]
Мы должны исследовать, насколько это выражение обладает упомянутым инвариантным свойством. Прежде всего, нам известно, что фигурирующий здесь определитель действительно является фундаментальным относительным инвариантом четырех точек - вершин тетраэдра. Но, с другой стороны, в знаменателе стоят значения ( для этих четырех точек) линейной формы т, присоединенной к нашей фигуре, а это ведь простейшие ( абсолютные) инварианты, какие только вообще можно образовать с помощью некоторой формы. Разумеется, это надо понимать в том смысле, что после преобразования в знаменателе следует написать значения той формы, в которую переходит линейная форма т, или что вообще в случае присоединения формы а. Таким образом, Т представляет собой также некоторый рациональный ин - - вариант, а именно, он однороден и имеет нулевое измерение относительно координат каждой из четырех точек. [24]
Согласно этому уравнению, плотность в окрестности точки является инвариантным свойством точки, когда последняя совершает свое динамическое движение. [25]
Ясно, что изложенное построение устанавливает естественное биективное соответствие между инвариантными свойствами фигур на различных евклидовых плоскостях. [26]
Доказать непосредственно нз закона преобразования компонентов, что симметрия тензора представляет собой инвариантное свойство. [27]
Среди всех топологических пространств можно выделить более узкие классы, определяемые топологически инвариантными свойствами. Например, в примере 3 § 1 был выделен класс дискретных топологических пространств. Для этих пространств выполнено следующее свойство: всякое отображение f дискретного пространства X в другое топологическое пространство Y является непрерывным. Сейчас мы рассмотрим другие, более важные классы топологических пространств. [28]
Эти преобразования Ли назвал касательными, так как касание двух кривых является инвариантным свойством этого преобразования. [29]
Соответствующее наше утверждение в [26] является ошибочным, так как коммутируемость состояний есть инвариантное свойство в узкой марковской категории. [30]