История создания датчика движения: Первый прибор для обнаружения движения был изобретен немецким физиком Генрихом Герцем...
Историки об Елизавете Петровне: Елизавета попала между двумя встречными культурными течениями, воспитывалась среди новых европейских веяний и преданий...
Топ:
Когда производится ограждение поезда, остановившегося на перегоне: Во всех случаях немедленно должно быть ограждено место препятствия для движения поездов на смежном пути двухпутного...
Процедура выполнения команд. Рабочий цикл процессора: Функционирование процессора в основном состоит из повторяющихся рабочих циклов, каждый из которых соответствует...
История развития методов оптимизации: теорема Куна-Таккера, метод Лагранжа, роль выпуклости в оптимизации...
Интересное:
Средства для ингаляционного наркоза: Наркоз наступает в результате вдыхания (ингаляции) средств, которое осуществляют или с помощью маски...
Национальное богатство страны и его составляющие: для оценки элементов национального богатства используются...
Уполаживание и террасирование склонов: Если глубина оврага более 5 м необходимо устройство берм. Варианты использования оврагов для градостроительных целей...
Дисциплины:
2017-11-16 | 312 |
5.00
из
|
Заказать работу |
|
|
Определение: Произведением называется целое число
Теорема (корректность опр. произв-ия): произведения эквивалентных пар эквивалентны.
Доказательство:
(*)
, (1)
: (2)
: (3)
(4)
(5)
(6)
(5)* (7)
(8)
(4)+(8)
⊠
Теорема (коммутативность умножения):
Доказательство: ,
⊠
Теорема (Ассоциативность умножения):
Доказательство:
⊠
Теорема (Дистрибутивность):
Доказательство:
.
⊠
Следствие: Коммутативное кольцо.
Свойство: где единица.
Доказательство:
⊠
Коммутативное кольцо с единицей.
36. Отношение « » в кольце целых чисел и его корректность
Определение: Будем говорить, что целое число больше чем целое число , если обозначается .
Пример:
,
Теорема(Корректность определения): Отношение «больше чем» не изменится при другом выборе пар, которые определяют эти числа.
Доказательство: ,
доказать:
⊠
37. Отношение « » как отношение порядка в кольце целых чисел. Свойство трихотомии
Определение: Будем говорить, что если или . Аналогично с .
Теорема: имеет место только одно из соотношений:
Доказательство:
и – натуральные числа, которые находятся в одном из следующих соотношений:
или или
или или . ⊠
Теорема: Отношение «» является отношением порядка на множестве Z.
Доказательство:
· Рефлексивность:
· Антисимметричность: и
· Транзитивность: и
Докажем:
⊠
38. Вложение множества натуральных чисел в кольцо целых чисел. Множество положительных целых чисел : определение, корректность определения, описание.
Определение: Будем говорить, что целое число положительное, если . И будем обозначать множество всех положительных целых чисел.
|
Свойство (корректность определения): Определение корректно.
Доказательство: ,
доказать:
⊠
Лемма: Множество имеет вид
Доказательство:
1) ,
2)
. ⊠
39. Биекция сохранение отношения «>», суммы и произведения. Отображение как вложение в
Свойство: биекция
Доказательство:
1) если отображение и иньекция
2) ⊠
Теорема: Отображение сохраняет отношение «больше чем», сумму ипроизведение.
Доказательство:
·
⊠
Следствие: Отображение является инъекцией, сохраняет сумму, произведение и отношение «>».
Таким образом, является вложением в и позволяет нам рассматривать как подмножество в .
40. Целое число как разность двух натуральных чисел. Отрицательные и положительные числа. . Архимедовость и дискретность кольца целых чисел.
Свойство: Положительное число равно натуральному числу .
Доказательство:
. ⊠
Свойство: Любое целое число равно разности натуральных чисел .
Доказательство:
Рассмотримсумму
⊠
Определение: Целое число называется отрицательным, если
Свойство: Число положительное тогда и только тогда, когда .
Доказательство:
положительное . ⊠
Свойство: , где .
Свойство (Архимедовость кольца целых чисел):
Доказательство:
1) Если (для архимедовость доказана)
2) Если ⊠
Свойство (дискретность): Каждое целое число имеет соседнее число , т.е.
Доказательство:
1) (для дискретность доказана)
2) Поставим в соответствие отрицательное число , . Получается биекция
От противного: если бы для отрицательных чисел выполнялось , то тогда бы, так как – биекция, , что является противоречием для натуральных чисел.
3) Нет целого числа между 1, 0 и -1, 0
натурального числа перед целого числа между и
отрицательного перед целого числа между и . ⊠
|
|
Индивидуальные очистные сооружения: К классу индивидуальных очистных сооружений относят сооружения, пропускная способность которых...
Историки об Елизавете Петровне: Елизавета попала между двумя встречными культурными течениями, воспитывалась среди новых европейских веяний и преданий...
Семя – орган полового размножения и расселения растений: наружи у семян имеется плотный покров – кожура...
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!