Cтраница 4
Первое требование говорит о том, что 0 должна быть положительно определенной квадратичной формой. [46]
Инвариант же второго порядка существует для каждого представления только один - положительно определенная квадратичная форма из т п, которую можно всегда привести к сумме квадратов. [47]
Рассмотрим подробнее случай, когда S и Т являются матрицами целочисленных положительно определенных квадратичных форм, отвечающих решеткам AscRm, ArcrRn, на которых длина векторов задана посредством / s и / г соответственно. Целочисленная матрица ХвМп т ( 2), удовлетворяющая (3.65), задает тогда отображение Лг - - Ле, сохраняющее расстояние. [48]