Научная литература
booksshare.net -> Добавить материал -> Математика -> Варден Б.Л. -> "Алгебра " -> 15

Алгебра - Варден Б.Л.

Варден Б.Л. Алгебра — Наука , 1950. — 649 c.
Скачать (прямая ссылка): algebra1950.djvu
Предыдущая << 1 .. 9 10 11 12 13 14 < 15 > 16 17 18 19 20 21 .. 247 >> Следующая

Проще говоря, множество называется конечным, если его элементы можно занумеровать натуральными числами от 1 до п так, чтобы различные элементы имели различные номера и чтобы все номера от 1 до п были использованы. В соответствии с этим элементы конечного множества А можно обозначить через аъ ап\
А = {а1, ..., а„}.
Задача 1. С помощью метода индукции по п доказать, что всякое подмножество конечного множества Л = {щ ап} конечно.
Каждое множество, не являющееся конечным, называется бесконечным. Например, множество всех целых чисел, как это сейчас будет показано, бесконечно.
Основная теорема о конечных м н о жест в а х гласит:
Каждое конечное множество не может быть равномощно с каким-либо собственным объемлющим множеством.
Доказательство. Пусть, вопреки утверждению теоремы, существует некоторое отображение конечного множества А на его собственное надмножество В. Пусть элементы множества А обозначены через аъ ..., ап, а их образы — через ф (ах), ..., ф (а„). Среди последних содержатся все элементы аь ..., ап и, кроме того, еще по крайней мере один элемент, который мы обозначим через а„+1.
Для п — 1 противоречие очевидно: единственный элемент аг не может иметь два различных образа а1( а2.
Невозможность существования отображения ф с указанными выше свойствами будем считать доказанной для п — 1; докажем ее теперь для п.
Можно считать, что ц>(ап) — ап+1, потому что если это не так, т. е.
ф (ап) = а' (а’ Ф ал+1), то ага+1 имеет другой прообраз аг:
ф(аг) = йп+1,
и вместо отображения ф можно построить другое, сопоставляющее элементу ап элемент ап+1, элементу щ элемент а', а в остальном совпадающее с ф.
Подмножество А' = |аь ..., а„_х} отображается функцией ф на некоторое множество ф (Л')> которое получается из ф(Л) = Д отбрасыванием элемента у (ап) = ап+1.
КОНЕЧНЫЕ И СЧЕТНЫЕ МНОЖЕСТВА
25
Множество ф(Л') содержит аь ...,ап и, следовательно, является собственным надмножеством множества А' и вместе с тем его взаимно однозначным образом. В силу предположения индукции это невозможно.
Из этой теоремы прежде всего следует, что множество никогда не может быть равномощно с двумя различными отрезками натурального ряда, потому что в противном случае эти отрезки были бы равномощны и при этом обязательно один из них содержался бы в другом. Таким образом, любое конечное множество Л равномощно с одним и только одним отрезком (1, п) натурального ряда. Однозначно определяемое таким способом число п называется числом элементов множества А\ оно может служить мерой мощности в этом случае.
Во-вторых, из теоремы следует, что произвольный отрезок натурального ряда неравномощен со всем натуральным рядом. Таким образом, ряд натуральных чисел бесконечен. Множество, равномощное с множеством натуральных чисел, называется счетно бесконечным. Элементы счетно бесконечного множества могут быть перенумерованы так, что любое натуральное число появится в качестве номера ровно один раз.
Конечные и счетно бесконечные множества объединяются названием счетные множества.
Задача 2. Доказать, что число элементов объединения двух непересе-кающихся конечных множеств равно сумме чисел элементов объединяемых множеств. (Индукция с помощью рекуррентных формул (1), (2) из § 3.)
Задача 3. Доказать, что число элементов в г попарно непересекающих-ся множествах из 5 элементов равно гъ. (Индукция с помощью рекуррентных формул (6), (7) из § 3.)
Задача 4. Доказать, что каждое подмножество натурального ряда счетно. Вывести отсюда: множество счетно тогда и только тогда, когда его элементы можно перенумеровать так, чтобы различным элементам соответствовали различные номера.
Пример несчетного множества. Множество всех счетно бесконечных последовательностей натуральных чисел несчетно. То, что оно не является конечным, проверить легко. Если бы оно было счетно бесконечным, то каждая последовательность обладала бы некоторым номером, и каждому номеру г соответствовала бы последовательность вида
6Д» б/2> • • •
Построим последовательность чисел
ап + 11 б22 + 1. • • •
Она также должна иметь некоторый номер, скажем, номер /. Тогда
«у! = +1; <2у2 = с22-|-1 и т. д.,
26
ЧИСЛА И МНОЖЕСТВА
ІГЛ. І
в частности,
ап = аи +1;
получили противоречие.
Задача 5. Доказать, что множество целых чисел (т. е. множество, состоящее из всех положительных и отрицательных чисел и нуля) счетно бесконечно. Точно так же счетно бесконечно множество четных чисел.
Задача 6. Доказать, что мощность счетно бесконечного множества не меняется при добавлении к этому множеству конечного или счетно бесконечного множества элементов.
Объединение счетного множества счетных множеств снова является счетным.
Доказательство. Обозначим данные множества через Мъ М2, , а элементы множества М; — через тцу т12, ...
Существует лишь конечное число элементов т^, для которых г'+/г = 2; аналогично, существует лишь конечное число элементов т;й, для которых 1 + ^ = 3, и т. д. Перенумеруем сначала все элементы, для которых = 2 (например, по возрастающим значениям 0. затем (с помощью последующих чисел) — элементы, для которых / + & = 3, и т. д. При этом каждый элемент т1к получит некоторый номер и различные элементы будут иметь различные номера. Отсюда следует утверждение.
Предыдущая << 1 .. 9 10 11 12 13 14 < 15 > 16 17 18 19 20 21 .. 247 >> Следующая

Реклама

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed

Есть, чем поделиться? Отправьте
материал
нам
Авторские права © 2009 BooksShare.
Все права защищены.
Rambler's Top100

c1c0fc952cf0704ad12d6af2ad3bf47e03017fed