Объединение любого конечного или счетного множества счетных множеств есть снова счетное множество
Доказательство. Пусть А1, А2, … - счетные множества. Можно считать, что они попарно не пересекаются.2 Все элементы множеств А1, А2, … можно записать в виде следующей бесконечной таблицы:
|
|
| а11
| а12
| а13
| а14
| ….
|
|
|
|
|
|
|
|
|
| а21
| а22
| а23
| а24
| ….
|
|
|
|
|
|
|
|
|
| а31
| а32
| а33
| а34
| ….
|
|
|
|
|
|
|
|
|
| …
| …
| …
| …
| …
|
|
|
|
|
|
| где в первой строке стоят элементы множества А1, во второй – элементы множества А2 и т. д. Занумеруем все эти элементы по диагоналям, т.е. за первый элемент примем а11, за второй а12, за третий а21 и т.д., двигаясь в порядке, указанном стрелками на следующей таблице:
|
|
| а11
| а12
| а13
| а14
| ….
|
|
|
|
|
| а21
| а22
| а23
| а24
| ….
|
|
|
|
|
| а31
| а32
| а33
| а34
| ….
|
|
|
|
|
| …
| …
| …
| …
| …
|
|
| Ясно, что при этом каждый элемент каждого из множеств получит определенный номер, т.е. будет установлено взаимно однозначное соответствие между всеми элементами всех множеств А1, А2, … и всеми натуральными числами. Утверждение доказано. 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | Поиск по сайту:
|