double arrow

О мощности множеств действительных чисел. В п. 2.2 утверждалось, что множества точек отрезка [0, 1] и отрезка [a, b] равномощны


В п. 2.2 утверждалось, что множества точек отрезка [0, 1] и отрезка [a, b] равномощны. Доказать это нетрудно: взаимно однозначное соответствие [0, 1] [a, b] может быть устанавлено функцией Y = (b - a) × X + a. Если X = 0, то Y = a; если X = 1, то Y = b, откуда, если
0≤ X ≤ 1, то a Y b (рисунок 6).

 

 

Рисунок 6

 

Тем самым отрезки разной длины равномощны (по-другому, эквивалентны). На рисунке 7 графическая иллюстрация этого факта. Можно показать также равномощность отрезка и интервала, непосредственно указав взаимно однозначное соответствие (рисунок 8).

 

 

Рисунок 7 Рисунок 8

 

На отрезке [0, 1] каждому числу вида (n – 1)/n: 0, ½, 2/3, 3/4, 4/5 и т.д. ставится в соответствие следующее число этой последовательности. На отрезке [1, 2] соответствие симметрично: после-довательность имеет вид (n + 1)/n:2, 3/2, 4/3, 5/4 ... Всем остальным числам отрезка [0, 2] ставятся в соответствие они сами. Концы интервала не соответствуют при этом ни одной точке отрезка.

Однако можно воспользоваться более общим утверждением (равномощность множеств А и В обозначается А ~ В).

Теорема. Пусть А и В – два множества, А¢, В¢ – их подмножества: А¢ Í А, В¢ Í В. Пусть каждое из множеств А, В эквивалентно подмножеству другого: А ~ В¢, А¢ ~ В. Тогда А ~ В,т.е. множества эквивалентны.




Для любого отрезка и любого интервала отсюда следует их эквивалентность (рисунок 9).

 

 

Рисунок 9

 

Рисунок 10 иллюстрирует равномощность интервала и множества точек всей прямой.

 

 

Рисунок 10


Приложение 3







Сейчас читают про: