Дискретная математика:
логика, группы, графы, фракталы

Акимов О.Е.

2.4. Алгебраические системы на базе групп

Числовые поля

Граница между понятиями числа и вектора, как мы убедились выше, достаточно условна. Тем не менее, зададим два разнородных множества элементов, одно из которых назовем векторами a, b, c, ... ∈ V, другое — числами (скалярами) a, b, c, ... ∈ U. Алгебраическая система называется линейным пространством над полем чисел, если векторы представлены через числа в виде некоторой комбинации базисных векторов ei :

a = a1e1 + a2e2 + ... + anen.

При этом предполагается, что векторы по сложению образуют коммутативную группу, а числа удовлетворяют законам поля; кроме того, выполняются четыре следующих условия —

a(a + b) = aa + ab,         (a + b)a = aa + ba,         (ab)a = a(ba), ea = a.

Говорят, что векторы ei образуют базис векторного пространства V размерности n. Базис будет считаться линейно независимым, если из равенства

a1e1 + a2e2 + ... + anen = 0 следует a1 + a2 + ... + an = 0.

Векторное пространство V может иметь несколько наборов базисных векторов, поскольку сам базисный вектор ei может быть выражен через систему векторов, в которой эта базисная составляющая заменена любым другим вектором:

ei = b1e1 + b2e2 + ... + bia + ... + bnen.

Однако любой набор базисных векторов всегда имеет одинаковое количество базисных компонентов, определяющих размерность пространства V. При нахождении набора базисных векторов или при определении размерности пространств V важно установить, является ли данная совокупность векторов ai линейно независимой. Это можно сделать несколькими способами, в частности, если система векторов ai зависимая, то составленный на их основе определитель Грама равен нулю; для трехмерного случая имеем:

γ = = 0.

Если Vi подмножество базисных векторов пространства V, то говорят о подпространстве Vi относительно пространства V. Прямой суммой двух подпространств V1 и V2 называется множество векторов вида ai + bi, где aiV1, biV2. Размерность нового пространства N(V1 + V2) определяется формулой включения и исключения подмножеств. В нашем случае она выглядит следующим образом:

N(V1 + V2) = N(V1) + N(V2) + N(V1V2).

Доопределим линейное пространство V скалярным произведением векторов a и b:

(ab) = a1b1 + a2b2 + ... + anbn.

В теории кодирования информации дело имеют, как правило, с двоичной системой, так что (ab) = {0, 1}. Если скалярное произведение равно нулю (ab) = 0, то векторы a и b ортогональны. Подпространства V1 и V2 будем называть ортогональными дополнениями до пространства V, если каждый вектор из V1 ортогонален любому вектору из V2, а прямая сумма подпространств V1 и V2 дает целиком пространство V.

Пусть задано линейное пространство V из 16 векторов

a0 = 0000,         a1 = 0001,         a2 = 0010, ... ,         a15 = 1111.

Поставим перед собой задачу выбора системы базисных векторов таким образом, чтобы в нее входили векторы a7 = 0111 и a14 = 1110. С помощью определителя Грама установим линейную независимость своего базиса, а затем разобьем двумя различными способами пространство V на два ортогональных дополнения.

Размерность нашего пространства равна N(V) = 4. Испытаем четыре вектора a1, a4, a7 и a14 на независимость. С этой целью вычислим соответствующие скалярные произведения:

(a1a1) = 0 · 0 + 0 · 0 + 0 · 0 + 1 · 1 = 1,     (a4a4) = 1,       (a7a14) = 0,

(a1a4) = 0 · 0 + 0 · 1 + 0 · 0 + 1 · 0 = 0,     (a4a14) = 1,     (a1a7) = 1,

(a1a14) = 0,     (a4a7) = 1,     (a7a7) = 1,     (a14a14) = 1.

Определитель Грама отличен от нуля:

γ = = 1.

Следовательно, четыре вектора a1, a4, a7 и a14 могут составить базис, а раз так, то все остальные векторы должны выражаться через них:

   

Смена базиса привела к перекодированию всех векторов, координаты которых можно представлять некими кодовыми словами. Так, вместо a12 = 1100 появился код 1111, что соответствовало кодовому слову a15, вместо a13 появился код 0111. Ортогональными дополнениями могут быть два векторных подпространства —

V1 = {a0, a1, a4, a5} и V2 = {a0, a2, a8, a10},

поскольку соответствующие скалярные произведения — (a1a10) = 0, (a5a2) = 0 и т.д. — равны нулю. Ортогональными дополнениями будут и пространства

V1 = {a0, a2} и V2 = {a0, a1, a4, a5, a8, a9, a12, a13};

комбинаций здесь существует множество.

Мы уже говорили, что векторы и матрицы есть некие специфические числа, над которыми можно осуществлять определенные математические действия. Так, традиционные комплексные числа — это двухкомпонентные числа на базе действительной (1) и мнимой (i = √–1) единиц. В роли мнимой единицы может выступать какая-нибудь иррациональная «единица», например, √2 или ∛4. Вообще, иррациональные числа подразделяются на трансцендентные (π, e, lg2, sin5) и алгебраические. Действительное число называют алгебраическим, если оно является корнем некоторого многочлена с целыми коэффициентами. С этой точки зрения, традиционные комплексные числа тоже будут алгебраическими, так как они являются корнями уравнения n-ой степени.

В практических задачах электротехники рациональное число, например 2,1, часто складывают с иррациональным √3 ≈ 1,7 и получают приблизительный результат 3,8. С точки зрения теории чисел, этого делать нельзя: иррациональные числа, как и комплексные, являются типичными представителями двухкомпонентных векторов. В частности, корнями квадратного уравнения с целыми коэффициентами x² – 6x + 1 = 0 является пара двухкомпонентных чисел

x1 = 3 + 2√2     и     x2 = 3 – 2√2.

Общий вид таких чисел — c = a + bi, i = √2 — схож с видом комплексных чисел, только в роли мнимой единицы здесь выступает иррациональное число. Действия над двухкомпонентными числами на базе иррациональности во многом аналогичны действиям над комплексными числами. В частности, формула умножения в обоих случаях выглядит одинаково:

(a1 + b1i) (a2 + b2i) = (a1a2 + b1b2i²) + (a1b2 + a2b1)i.

Кроме того, нормированным комплексным числам удовлетворяет уравнение окружности:

1 = x² + y² = (x + yi) (xyi),     где x = cos φ, y = sin φ.

Двухкомпонентным числам на базе √2 также можно поставить в соответствие аналогичное уравнение:

1 = x² – 2y² = (x + y√2) (x y√2).

Решениями этого уравнения служат два числа x0 = 3, y0 = 2, но не только. Чтобы найти другие решения этого уравнения, нужно последовательно возводить в степень числа 3 ± 2√2, в частности,  

(3 ± 2√2)² = 17 ± 12√2,  

следовательно, пара чисел x1 = 17, y1 = 12 также удовлетворяет уравнению. Следующее решение получается при возведении исходного числа в куб  

(3 ± 2√2)³ = 90 ± 70√2, значит, x2 = 90, y2 = 70 и т.д. 

Уравнение вида 1 = x² – Dy² называется уравнением Пелля; ему удовлетворяет бесконечная последовательность пар чисел. Например, если D = 7, т.е. i = √7, то уравнение Пелля, имеющего вид 1 = x² – 7y², выполняется при x0 = 8, y0 = 3; x1 = 127, y1 = 48 и т.д.; если D = 13, то x0 = 18, y0 = 5; x1 = 649, y1 = 180 и т.д.

Пусть дано уравнение 2x² + 5x + 4 = 0. В поле действительных чисел оно не имеет решений, но в поле комплексных чисел решение уже есть. Существует оно и в поле вычетов по mod (11). В самом деле,

x1,2 = mod (11) = {2, 1}.

Данная ситуация схожа с решением кубического уравнения x³ – 1 = 0 в полях действительных и комплексных чисел. В поле действительных чисел он разлагается на два неприводимых множителя — (x – 1)(x² + x + 1), а в поле комплексных чисел его можно представить тремя сомножителями

— кубические корни, образующие группу с умножением по табл. 2.69. В поле двух чисел {0, 1}, т.е. в поле вычетов по mod (2), это кубическое уравнение может быть разложено на три скобки с корнями c1 = 1, c2 = x, c3 = x + 1.

Таблица 2.69

Теперь рассмотрим только такие квадратные уравнения ax² + bx + c = 0, у которых коэффициенты являются всевозможными вычетами по mod (5). Тогда корнями этих уравнений станут числа 0, 1, 2, 3 или 4. Квадраты этих чисел могут дать только три из пяти чисел:

0² = 0,         1² = 1,         2² = 4,         3² = 4,         4² = 1.

Другими словами, среди вычетов по mod (5) нет чисел, квадраты которых равнялись бы 2 или 3, а это значит, что уравнения x² = 2 или x² = 3 не имеют решений. Чтобы эти уравнения все же решались, введем иррациональность √2. Тогда вместо пяти чисел получим поле из 25 чисел:

Не выходя за рамки этого множества, можно производить сложение и умножение чисел. Каждый элемент этой финитной арифметики является той или иной степенью образующего элемента 2 + √2:

(2 + √2)² = 1 + 4√2, ... , (2 + √2)24 = 1 + 0√2.

Можно ввести числа a + b√3 и путем последовательного возведения в степень получить новое поле на базе иррациональности √3, в частности:

(3 + 2√3)² = 1 + 2√3,         (3 + 2√3)³ = 0 + 3√3, ...

Возможно построение поля на базе двух иррациональностей — √2 и √3; в этом случае будем иметь трехкомпонентные числа типа a + b√2 + c√3, взятые по mod (5) и т.д.


 
  


Hosted by uCoz