АкушерствоАнатомияАнестезиологияВакцинопрофилактикаВалеологияВетеринарияГигиенаЗаболеванияИммунологияКардиологияНеврологияНефрологияОнкологияОториноларингологияОфтальмологияПаразитологияПедиатрияПервая помощьПсихиатрияПульмонологияРеанимацияРевматологияСтоматологияТерапияТоксикологияТравматологияУрологияФармакологияФармацевтикаФизиотерапияФтизиатрияХирургияЭндокринологияЭпидемиология

Примеры равномощных множеств

Прочитайте:
  1. Аксиомы теории множеств
  2. Альтернирующие синдромы – примеры, этиология, клиническая симптоматика.
  3. Бесконечными множествами.
  4. Болезнь Марека. Образование множественных опухолей в печени.
  5. В общем случае множество U можно представить в виде
  6. Введение. Понятие множества
  7. Включение множеств. Операции над множествами
  8. Выражения с множествами
  9. Генная инженерия и современная биотехнология. Примеры использования в микробиологической практике.
  10. Декартово произведение множеств

 

Приведенные выше примеры и теоремы показывают, что установить равномощность различных множеств далеко не просто. В этом параграфе мы рассмотрим примеры построения биекции между различными множествами. Будут приведены примеры доказательств равномощности ряда множеств.

Пример 1. Установить биекцию между отрезком [0, 1] и отрезком [а, в].

Решение. Легко устанавливается биективность линейного отображения x = (в – a)t + a отрезка [0, 1] на отрезок [а, в].

Пример 2. Установить биекцию между интервалом (0, 1) и интервалом (–¥, +¥).

Решение. Легко устанавливается биективность отображения x= ctg(pt) интервала (0, 1) на интервал (–¥, +¥).

Задача. Рассмотреть основные элементарные функции и найти промежутки, на которых они являются биективным отображением.

Пример 3. Построить биекцию между отрезком [0, 1] и интервалом (0, 1).

Решение. Решение этой задачи основано на несчетности рассматриваемых множеств и теореме 4 из параграфа 6. Идея решения состоит в том, что из интервала (0, 1) выделяют некоторое счетное множество А. Затем к нему добавляют две точки {0} и {1}. Вновь полученное множество (обозначим его В Ì [0, 1]), также является счетным. Следовательно, множества А и В равномощны и существует биекция f, отображающая B на A. Построим теперь биекцию отрезка [0, 1] на интервал (0, 1) следующим образом:

Пример 4. Построить биекцию между окружностью единичного радиуса и отрезком [0, 1].

Схема решения. Легко устанавливается биекция между точкой окружности и углом, соответствующим этой точке. Этим получается биекция окружности и полуотрезка [0, 2p). Затем по схеме примера 3 строится биекция полуотрезка [0, 2p) на отрезок [0, 1].

Пример 5. Доказать, что множество всех окружностей на плоскости, радиусы которых рациональные числа и координаты центра которых - рациональные числа, есть счетное множество.

Решение. Нетрудно видеть, что каждый элемент рассматриваемого множества может быть отождествлен с тройкой чисел (х, у, r), где (х, у) - координаты центра окружности, а r - ее радиус. Этим между множеством указанных окружностей и множеством Q´Q´Q устанавливается биекция. Но произведение счетных множеств счетно (см. задачу в 6 параграфе) и, следовательно, наше множество также счетно.

Пример 6. Доказать, что множество точек разрыва монотонной функции, заданной на отрезке [а, в], конечно или счетно.

Решение. Предположим, что рассматриваемая функция f (х) является возрастающей. Пусть х a точка разрыва этой функции. В силу монотонности функции и ее ограниченности (f (а) < f (х) < f (в)) в точке х a будет существовать как предел слева, так и предел справа: Таким образом, множество точек разрыва { х a } может быть отождествлено с множеством отрезков{[Aa, Ba]}. При этом необходимо заметить, получаемые отрезки могут пересекаться лишь на концах и все они лежат на отрезке [ f (а), f (в)]. Поставим каждому отрезку [Аa, Вa] в соответствие рациональное число уa, выбрав в качестве такового произвольное рациональное число из интервала (Аa, Вa) (наличие такое числа гарантируется аксиомой непрерывности действительных чисел и тем, что Аa ¹ Вa). В силу отмеченного выше, построенное соответствие будет являться инъекцией. Следовательно, мы построили инъекцию множества точек разрыва монотонной функции на отрезке [а, в] в счетное множество рациональных точек отрезка [ f (а), f (в)]. Это означает, что рассмотренное множество точек разрыва не более чем счетно.


Дата добавления: 2015-09-27 | Просмотры: 1017 | Нарушение авторских прав







При использовании материала ссылка на сайт medlec.org обязательна! (0.003 сек.)