Умножение целых чисел и его свойства
Определение 1. Произведением целых чисел Лемма 1. Операция умножения целых чисел определена корректно, т.е. результат умножения не зависит от выбора представителей классов эквивалентности. Доказательство. Пусть (a,b)~(a1,b1) (1) и (c,d) ~(c1,d1) (2). Докажем, что Доказательство проведем в два этапа: 1-й этап - докажем, что 2-й этап – докажем что
1-й этап. Для доказательства (4) достаточно показать, что Для доказательства (6) достаточно показать, что (ac+bd,ad+bc)~ (a1c+b1d,a1d+b1c) (7). Для доказательства (7) достаточно показать, что ac+bd+a1d+b1c= ad+bc+a1c+b1d (8). Докажем (8). Из 1) ac+b1c=bc+a1c (9) Из 1') bd+a1d=ad+b1d (10) (9) + (10) Таким образом, равенство (4) верно. 2-й этап. Для доказательства (5) достаточно показать, что
Для доказательства (11) достаточно показать, что (ac+b1d,a1d+b1c)~ (a1c1+b1d,a1d+b1c1) (12). Для доказательства (12) достаточно показать, что a1c1 + b1c1= b1d1+a1b1 (13). Докажем (13). Из 2) a1c+a1d1=da1+a1c1 (14) Из 2') d1b+c1b1=cb1+d1b1 (15) (14)+(15) Таким образом равенство (5) верно. Из (4) и (5) Теорема 1. <Z ,∙> - абелев моноид. Доказательство. 1) Из определения 42 и леммы 1 Так как 2) Покажем, что <Z,∙> - полугруппа. Пусть α=( Тогда
3) Покажем, что <Z,∙> - абелева полугруппа. Пусть α=(
Покажем, что <Z,∙> - абелев моноид.
Покажем, что x=α. Действительно, an + a+ n + n=an + bn + b + a Из 1) и 4)
Теорема 2. <Z,+,∙> - кольцо ассоциативности с единицей. Доказательство. 1. По теореме 33 <Z,+> - абелева группа. 2. По теореме 34 <Z,∙> - группоид. 3. Покажем, что в Z выполняются дистрибутивные законы. Пусть α=( αγ+βγ= Из 1)-3)
§15. Разбиение множества Z´N на классы эквивалентности. Множества рациональных чисел Определение 1. Кольцом рациональных чисел называется минимальное поле, содержащее Z в качестве своего подкольца. Определение 1 согласуется с принципами расширения 1-4. Действительно, при F1=Z и при F2= Q получаем: 1) ZÍQ 2) В Q выполняются операции “+” “·” и “–”, причем их смысл одинаков. 3) В Q выполняется операция деления, то есть умножение с обратным элементом, а в Z эта операция выполняется частично. 4) Q- минимальная система, удовлетворяющая 1-3. Для того, чтобы доказать, что множество рациональных чисел существует, его нужно построить, то есть построить его модель. Рассмотрим множество Z´N. Оно состоит На множестве Z Определение 2. Упорядоченные пары (a,b) и (c,d) из Таким образом Лемма 1. Отношение ~ на множестве Доказательство. 4. Рефлексивность. 5. Симметричность. Пусть 6. Транзитивность. Пусть Из 1 следует, что a·d=b·c Из 2 следует, что c·n=d·m a·d·c·n ·=b·c·d·m Из 1-3 следует, что отношение ~ является отношением эквивалентности. По основной теореме об отношении эквивалентности множество Определение 3. Множество
©2015 arhivinfo.ru Все права принадлежат авторам размещенных материалов.
|