Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Сравнение целых неотрицательных чисел

Читайте также:
  1. II. Большие инновационные циклы: пример России и сравнение с другими странами
  2. Аксиомы Пеано. Аксиоматическое определение целых неотрицательных чисел
  3. Аллегорическое сравнение
  4. Анализ конкурентов, сравнение характеристик продукта или услуги и предполагаемые потребители продукции.
  5. Временное сравнение
  6. Временное сравнение
  7. Вычитание и деление положительных действительных чисел

Определение. Два целых неотрицательных числа а и в называют равными, если они определяются равномощными множествами А и В.

Символически это определение можно записать так:

(А ~ В, где n (А) = а, n (В) = ва = в.

Здесь n (А) = а и n (В) = в читаются соответственно: «число элементов множества А равно а» и «число элементов множества В равно в».

Рассмотрим основные свойства отношения равенства.

1°. (" a Î N 0) [ а = а ] – рефлексивность.

2°. (" a, в Î N 0) [ a = в => в = а ] – симметричность.

3°. (" a, в, с Î N 0) [ a = в Ù в = с Þ а = с ] – транзитивность.

Справедливость этих свойств вытекает из определения равенства целых неотрицательных чисел и свойств эквивалентности множеств.

Если множества А и В неравномощны, то числа определяемые ими, различны.

Определение. Условимся говорить, что целое неотрицательное число а меньше целого неотрицательного числа в и записывать а < в, если А ~ В 1, где В 1 Ì В и n (А) = а, n (В) = в.

Если а меньше в, считают, что в больше а и пишут в > а.

П р и м е р. Исходя из теоретико-множественной трактовки отношения «меньше», объясните, что 2 < 5.

Решение. Пусть 2 – это число элементов некоторого множества
А = { а, в }, а 5 – число элементов некоторого множества В = { к, m, n, l, е }, т.е. 2 = n (А), 5 = n (В). Выделим в множестве В подмножество В 1 = { m, n } эквивалентное множеству А. Итак, , где В 1 Ì В. Значит,

n(А) < n(В), т.е. 2 < 5.

Рассмотрим теперь основные свойства отношения «меньше».

1°. ( Î N 0) [ a < a ] – антирефлексивность.

Пусть а = n (А). Т.к. А – конечное множество, то оно не может быть эквивалентно никакому своему собственному подмножеству, т.е. не может выполняться А Ì А, а следовательно и а < а невозможно.

2°. (" a, в Î N 0)[ a < в ≠> в < a ] – антисимметричность.

В самом деле а < в означает А ~ В 1 Ì В, где а = n (А), в = n (В), а состав множеств А и В – произвольный. Множество А может быть выбрано совпадающим с множеством В 1. Тогда можно записать A Ì B. Если предположить, что и в < а, аналогично рассуждая, получим , что невозможно в силу антисимметричности отношения строгого включения множеств. Значит и в < а невозможно.

3°. (" a, в, c Î N 0) [ a < в Ù в < c Þ a < c ] – транзитивность. Это свойство следует из транзитивности отношения строгого включения множеств.


Дата добавления: 2015-07-18; просмотров: 459 | Нарушение авторских прав


Читайте в этой же книге: Операции над предикатами | Строение теоремы | Теорема, противоположная данной | Математические доказательства | Правильные умозаключения | Определение алгоритма | Алгоритмический язык | Понятие об аксиоматическом методе построения теории | Аксиомы Пеано. Аксиоматическое определение целых неотрицательных чисел | Деление с остатком |
<== предыдущая страница | следующая страница ==>
Понятие целого неотрицательного числа| Сложение целых неотрицательных чисел

mybiblioteka.su - 2015-2024 год. (0.006 сек.)