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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Дата добавления: 2015-07-18