Файл: Заманский, М. Введение в современную алгебру и анализ.pdf

записывается Оу' = у0.

Итак, мы пришли к тому, чтобы представить 0 (определен­ ный отношением Я на N X N) классом пары (0, у) по Ж, после чего становится очевидным, что если z — положительное рацио­ нальное число, то z-f-0 = 0 + z = z. Таким образом, сложение, определенное в предыдущем параграфе на Q+, имеет 0 в каче­ стве нейтрального элемента.

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

можно, обозначив его через (— - ) , производить сложение и

\У /

умножение на полученном таким путем множестве, применяя одно и то же правило знаков.

Это множество, наделенное законом сложения с нейтраль­ ным элементом 0 и законом умножения с нейтральным элемен­

ляется делителем нуля, включая нуль. Но здесь естественным образом выступают две возможности: либо из равенства 0 = Ьс вытекает, что по крайней мере один из элементов Ь, с есть нуль,

нуля.

Посредством логического отрицания получается следующий результат: утверждение, что в кольце Е нет делителей нуля, равносильно утверждению, что если Ь Ф 0, с ф 0, то Ьс Ф 0. Это и есть то, что позволяет превратить кольцо в поле путем обра­ зования дробей.

Итак, сформулируем результат:

Построение поля рациональных чисел, исходя из кольца це­ лых рациональных чисел, позволяет построить поле, исходя из любого коммутативного кольца без делителей нуля. Это поле называется полем частных кольца.

Р А З Д Е Л 4

ВНЕШНИЕ ЗАКОНЫ. ВЕКТОРНЫЕ ПРОСТРАНСТВА

§ 1. Общие понятия

Мы выделим главные определения, которые позволят по­ дойти к понятию алгебраического векторного пространства.

Пусть имеются два множества Е и Я. Элементы множества Е будут обозначаться латинскими буквами х, ..., а, ..., а эле­ менты множества Н — греческими буквами а, ß, ... Мы будем рассматривать Е и Я как различные, но все последующее спра­ ведливо и для случая Н = Е.

Составить композицию элемента х е Е на элемент с і е Я, чтобы получить элемент из Е — значит определить отображение множества Н X Е во множество Е. Множество Я иногда назы­ вается областью операторов, или множеством операторов, а эле­ мент а е Я — оператором. Можно также рассматривать ото­ бражения множества Я X Е во множество Я. Тогда роль опера­ торов будут играть элементы из Е.

Определение. Внешний закон на Е (соответственно на Я) есть отображение множества Я X £ во множество Е (соответ­ ственно в Я).

Из соображений удобства в обозначении элемента из Е, являющегося композицией элементов а е Я и х е £ , оператор записывается впереди, так что при мультипликативной записи закона (а,х)-+ах выражение ах выглядит как произведение элемента х на а слева или элемента а на * справа.

62 ГЛ. II. АЛГЕБРАИЧЕСКИЕ ЗАКОНЫ

Важным является тот случай, когда сами множества £ и Я наделены одним или несколькими внутренними законами и ко­ гда предполагается существование некоторых соотношений ме­ жду этими законами и внешним законом.

а через Т —внутренний закон на Я. Теперь мы подошли к тому,

2){а Т ß)* = ах □ ßx. Это есть дистрибутивность внешнего закона относительно внутреннего закона на Н.

3)(a Т ß)x = a(ßx). Это есть некоторого рода ассоциатив­ ность относительно внешнего закона и внутреннего закона на Я.

4)Если Я обладает нейтральным элементом е относительно внутреннего закона Т на Я, то этот элемент е может быть

не представляет интереса рассмотрение случаев, когда внешний закон дистрибутивен относительно т и _L. Действительно, в обычных случаях в Е будут существовать элементы х, регуляр­

ствуют два внутренних закона, то интерес будет представлять случай, когда внешний закон дистрибутивен относительно од­ ного и ассоциативен относительно другого закона.

Далее следует наиболее важная иллюстрация этого.

§2. Векторное пространство над телом (полем)

Вопределении, которое последует, сразу же встретятся эле­ ментарные свойства сложения векторов, называемых свобод­

ными, и их умножение на действительные числа.

Определение. Пусть Е — множество, наделенное внутренним законом абелевой группы, а К — тело (поле), законы которого называются сложением (закон абелевой группы) и умножением (закон группы на К*). Предположим, что существует отображе­ ние множества КУ,Е в Е, которое определяет внешний закон

на Е, обладающий следующими свойствами: 1) он дистрибути­

в качестве нейтрального элемента нейтральный элемент относи­ тельно умножения на К. При выполнении этих условий множе­ ство Е называется векторным пространством над телом (по­ лем) К.

Будем обозначать внутренний закон на Е через Т , внутрен­ ние законы на К — посредством аддитивной и мультипликатив­ ной записи, принятой для чисел, а внешний закон будем обо­ значать точкой г. Тогда будут верны следующие свойства.

Для внутреннего закона на Е:

(\) { х Т у ) Т г = * х Т { у Т г ) \

(2) х Т Ѳ = Ѳ Т х = х (Ѳ — нейтральный элемент);

(3) X Т х' = Ѳ (x' — симметричный к х ) ;

(4)X Т У= У Т X.

Для внешнего закона:

(5)а • (х Т у) = а ■х Т а • у,

(6)(а + ß) ■X = а ■XТ ß • х;

(7)а • (ß • х) = (aß) • х;

(8)6 • х — х (е — нейтральный элемент относительно умноже­ ния на К)-

Все эти равенства предполагаются справедливыми для лю­ бых X, у, z е Е, а, ß <= К.

Прежде всего выведем из них другие равенства, которые позволят упростить принятые обозначения.

Как уже было замечено (раздел 2, § 3), если s' означает симметричный к е относительно закона + на К, имеющего ней­ тральный элемент е, то

as' = e'a = — a.

а) В силу (6) имеем

а-х = (а + е)х = а-х -f е-х.

Следовательно, е-х = Ѳ при любом х. б) Снова в силу (6) имеем

е • X + е' ■X = (е + е') • х = е ■х = Ѳ.

а • Ѳ= а • (х Т х') = а ■х Т а-х' .