Cтраница 2
Из линейной алгебры известно, что совокупность n - компонентных векторов вида ( 3) образует n - мерное линейное пространство: для них определены операции сложения и умножения на число, удовлетворяющие 8 аксиомам линейного - пространства. [16]
Если С - додекада, неподвижное пространство не может содержать векторов вида ( ( 2) 8016) или ( ( F3) ( 1) 23) и потому содержит в Л ( 2) только 22 - 66 векторов вида ( ( 4) 2022), ненулевые координаты которых лежат в неподвижном пространстве. Назовем два таких вектора скрещенными, за исключением случаев, когда они равны, противоположны или ортогональны. Отсюда следует ( поскольку ( 40 / 40 /) ( 40 - - - 4vj) 8vi), что централизатор элемента ее лежит в N и потому совпадает с группой 212Mi2, централизующей ЕС в N. Такой централизатор инволюции ее в - 3 есть ecXMi2 что видно, если взять в качестве неподвижного вектора группы - 3 вектор 212012 - ср. [17]
Для завершения доказательства теоремы 1 остается заметить, что множество сглаженных векторов вида Т ( ф) плотно в У. [18]
Любой ненулевой вектор а определяет луч а, который состоит из всех векторов вида Ка, где К - произвольное комплексное число. Любое невырожденное линейное отображение А векторного поля 9t в себя является одновременно отображением поля лучей № в себя, но это последнее отображение не изменяется при умножении исходного отображения на любое отличное от нуля число. Унитарное отображение или преобразование поля лучей в себя будем коротко называть вращением. S б5, следовательно, они оба приводят к одному и тому же вращению поля лучей. [19]
Теперь, пользуясь замкнутостью операторов А0 и - А и их совпадением на векторах вида Р ( ( У) х, где ff - компакт и хеТ, докажем, что они равны. [20]
В случае вертикального катеноидального конца из предложения 2.3 ( iii) заключаем, что поток - вертикальный вектор вида ( 0 0, 2тга), где а - логарифмический рост. Из (2.3.2) получаем, что существует единственный горизонтальный вектор W ( wi, w2, 0) такой, что момент конца Е относительно W вертикален. Из предложения 2.4 следует, что существует единственная вертикальная прямая, на которой момент обращается в нуль. [21]
Турин [2] показал, что ( 24, 12) - код Голея может быть получен как множество векторов вида ( а - - х, b - f - х, а - f - b - - x), а, Ье &1, х & г, где & и - два различных РМ-кода первого порядка. [22]
Отрезком с концами в точках, заданных векторами а (, а2 пространства Rn, называется совокупность всех точек, заданных векторами вида х alal - f - a2a2, где a - f - a2l и 0 a - l, 0 a2 i. Показать, что пересечение любой системы выпуклых множеств пространства Rn есть выпуклое множество. [23]
Если точка h гильбертова пространства Я принадлежит интервалу, соединяющему точки f и g ( отрезком, соединяющим точки fug, называется совокупность векторов вида / f ( l - t) g, где 0 1), то h предста-вимо в виде h tf ( l - t) g, 0t и называется внутренней точкой отрезка. Если точка выпуклого множества не служит внутренней ни для какого отрезка, принадлежащего этому множеству, то она называется крайней точкой этого множества. Замкнутое выпуклое множество в Я называется строго выпуклым, если все его граничные точки крайние. [24]
Имеется 120 - 315 37800 векторов вида qr ( где q - элемент группы икосианов и г - корень) с кватернионной нормой 4, такое же количество векторов вида 8qr с нормой 4ст2 и 120 - 1008 120960 вида qt с нормой 2 2ст2, Где t - один из образов векторов ( / г, сгсо / г, 0), ( 1, 1, сгш / г), ( стш, сте, h) или ( 1, тш, тсо Ч - со) при действии S. [25]
Равенство [ T ( g) f ] ( x) Tx ( g) f ( x) достаточно проверить на плотном подмножестве в Я, состоящем из векторов вида Т ( a) f, где а - непрерывная функция на G с компактным носителем. [26]
Воспользуемся этим фактом для того, чтобы доказать, что факторгруппа У / 1К ( Ек) компактна, то есть что V VQ покрывается полностью сдвигами некоторого ограниченного множества иа векторы вида / Х ( е), еб. [27]
Читатель может доказать в качестве простого упражнения, что имеет место более общий факт, а именно, что относительная внутренность выпуклого конуса, порожденного непустым выпуклым множеством С в Шп, состоит из векторов вида Кх, где А, 0 и х 6 ri С. [28]
В первом случае ненулевые координаты должны образовывать - множество, и мы получаем не более 27 таких векторов на каждое - множество, так как в противном случае мы бы имели два вектора решетки, различающихся на вектор вида с ( 4, О23), который слишком короток. [29]
Если С - додекада, неподвижное пространство не может содержать векторов вида ( ( 2) 8016) или ( ( F3) ( 1) 23) и потому содержит в Л ( 2) только 22 - 66 векторов вида ( ( 4) 2022), ненулевые координаты которых лежат в неподвижном пространстве. Назовем два таких вектора скрещенными, за исключением случаев, когда они равны, противоположны или ортогональны. Отсюда следует ( поскольку ( 40 / 40 /) ( 40 - - - 4vj) 8vi), что централизатор элемента ее лежит в N и потому совпадает с группой 212Mi2, централизующей ЕС в N. Такой централизатор инволюции ее в - 3 есть ecXMi2 что видно, если взять в качестве неподвижного вектора группы - 3 вектор 212012 - ср. [30]