 |
 |
 |
 |
 |
|
||
 |
|
 |
Ясно, что понятие мощности конечных множеств позволяет сравнивать их по количеству элементов. Так, если
Однако если мы имеем дело с бесконечными множествами, то пересчитать элементы множества уже не удастся. Но иногда можно, как говорят, установить взаимно однозначное соответствие между двумя бесконечными множествами.
|
|
|
|
Говорят, что между множествами |
|
|
|
|
|
Множества, между которыми установлено взаимно однозначное соответствие, содержат одинаковое количество элементов.
|
|
|
|
||
|
|
|
Мощность множества натуральных чисел обозначается א. Алеф א – первая буква еврейского алфавита, так обозначается наименьшая возможная для бесконечных множеств мощность.
|
|
|
|
||
|
|
|
Множество натуральных чисел равномощно множеству нечётных чисел, так как между ними можно установить взаимно однозначное соответствие, например, по следующему правилу:
| 1 | 2 | 3 | ... | ... | |
| ↕ | ↕ | ↕ | ↕ | ||
| 1 | 3 | 5 | ... | 2 |
... |
Так как множество нечётных чисел является подмножеством натуральных чисел, то этот пример показывает, что бесконечное множество может быть равномощно своему подмножеству.
Множество положительных рациональных чисел счётно. Действительно, если представить каждое рациональное число в виде несократимой дроби и записать его в следующую таблицу, а затем пронумеровать, как указано на рисунке, то окажется, что множество рациональных положительных чисел действительно счётно.
 |
| Рисунок 4.1.2.1. Счётность множества рациональных чисел
|
Любой отрезок 
[0; 1], y [a; b]
Множества 
и 
счётны и потому равномощны. В самом деле, установим взаимно однозначное соответствие между ними по следующему правилу:
 |
 |
 |
... |  |
... | |
| ↕ | ↕ | ↕ | ↕ | ↕ | ↕ | ↕ |
| 1 | 2 | 3 | ... | ... | ||
| ↕ | ↕ | ↕ | ↕ | ↕ | ↕ | ↕ |
| 0 |  |
 |
... |  |
... |
Существуют и другие бесконечные множества, мощность которых больше, чем мощность счётных множеств. Так, множество всех точек отрезка [0; 1] не равномощно множеству натуральных чисел 
доказательство этой теоремы принадлежит немецкому математику Георгу Кантору.
Как было показано в примере 4, множество всех точек отрезка [0; 1] равномощно множеству точек отрезка любой длины. Легко показать равномощность множеств отрезка
Мощность множества всех действительных чисел (или, что то же, множества всех точек числовой оси) обозначается символом
Континуум – не самая большая из бесконечных мощностей. Так, мощность множества всех подмножеств точек числовой оси больше, чем мощность самого множества всех точек оси. Она обозначается 2c и называется гиперконтинуумом.
|
|
 |
