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

Мощность множества. Счетные множества

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

Если множество X – конечное, то любое эквивалентное ему множество Y тоже конечное, причем оба эти множества равночисленные. С другой стороны, назвав какое-либо натуральное число, мы выражаем численность не одного какого-нибудь множества, а любого из множеств, принадлежащих одному и тому же классу эквивалентности из классов, определяемых отношением X ~ Y.

Если множество X бесконечное, то Y, такое что X ~ Y, тоже бесконечное. Чем же характеризуется класс бесконечных множеств, эквивалентных множеству Х? Возникла потребность в таком обобщении понятия «число элементов», чтобы это новое, более общее понятие служило характеристикой класса попарно эквивалентных множеств и в том случае, когда эти множества бесконечные. Таким обобщением явилось понятие «мощность» множества, введенное основоположником теории множеств Г. Кантором.

Определение. Множества имеют одну и ту же мощность, если они эквивалентны.

Исходя из определения ясно, что эквивалентные множества называют также равномощными.

Если X конечное множество, то его мощность воспринимается как число элементов этого множества и выражается целым неотрицательным числом (кардинальным числом).

Рассмотрим 2 бесконечных множества: N – множество всех натуральных чисел и В – множество положительных четных чисел
(B Ì N) и отображение F, состоящее из пар (х, у) таких, что у = 2 х,
x Î N, у Î В.

Нетрудно заметить, что F – биекция. Следовательно, N ~ B, т.е. эти множества равномощны. Равномощность множества своему подмножеству нам кажется парадоксальной потому, что это противоречит принципу «целое больше своей части» в привычной нам области конечных множеств.

Определение. Множество X называют счетным, если оно эквивалентно, а следовательно, равномощно множеству N всех натуральных чисел.

Из этого определения непосредственно следует, что любые два счетных множества равномощны. В самом деле, пусть X ~ N, Y ~ N, тогда X ~ N Ù N ~ Y Þ X ~ Y (в силу симметричности и транзитивности). Примером счетного множества является рассмотренное выше множество положительных четных чисел. Аналогично устанавливается, что и множество положительных нечетных чисел эквивалентно N, т.е. является счетным множеством. Легко доказать, что и множество всех целых чисел Z ~ N, хотя N Ì Z. Можно построить, например, следующую биекцию

N:           2 n 2 n +1
   
Z:     -1   -2 n -n …,

доказывающую эквивалентность Z ~ N, т.е. счетность множества Z.

Вопросы и задания для самопроверки

1.Соответствие R между множествами X = {1, 3, 5, 7} и Y = {2, 4, 6} задано перечислением пар:{(1, 2), (3, 2), (5, 2), (5, 4), (7, 4), (7, 6)}.Покажите, что R Ì X ´ Y. Задайте перечислением пар соответствия обратное и противоположное данному.

2. Какой частный случай соответствия называется отношением?

3. Определите свойства отношения «равно» в множестве N натуральных чисел.

4. Почему в математике среди отношений выделили два класса: отношения эквивалентности и отношения порядка?

5. Какой частный случай соответствия называется отображением?

6. С каким видом отображений связаны понятия равномощности и счетности множеств?

 


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


Читайте в этой же книге: Декартово умножение множеств | Разбиение множества на классы | Соответствия между элементами множеств | Взаимно однозначные соответствия | Отношения. Их графы и графики | Свойства отношений | Эквивалентности и разбиением множества на классы | Примеры отношений эквивалентности | Упорядоченные множества | Виды отображений. Обратное отображение |
<== предыдущая страница | следующая страница ==>
Эквивалентные множества| Правило суммы. Правило произведения

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