38 Глава I. Числа и комбинаторика
что если утверждение P ложно, то утверждение P ⇒ Q в математике
(но не всегда в философии) считается истинным независимо от ис
-
тинности или ложности утверждения Q. (Действительно, из ложного
утверждения можно логически безупречно вывести как истинные, так
и ложные утверждения.)
Запись P ⇔ Q будет означать, что утверждение P равносильно
утверждению Q. Заметим, что P ⇔ Q имеет место тогда и только тогда,
когда P ⇒ Q и Q ⇒ P. Многие теоремы имеют вид равносильности
двух утверждений (например,
«
P справедливо тогда и только тогда, ко
-
гда справедливо Q
»
). Для их доказательства мы и будем пользоваться
этим простым замечанием (а именно, предполагая верным P, выводить
из него Q, а потом, предполагая верным Q, выводить из него P). На
-
пример, для доказательства равенства множеств A и B будем вначале
доказывать, что A ⊂B (A содержится в B), а потом
––
что B ⊂ A (B
содержится в A).
Остальные обозначения будут вводится по ходу изложения.
Пусть A
1
, ..., A
n
––
конечные непустые множества.
Определение 11. Упорядоченный набор (a
1
, ..., a
n
), компоненты
которого a
i
принадлежат множествам A
i
, i = 1, ..., n, назовем словом.
Множество всех таких слов обозначим A
1
×... ×A
n
и назовем декар-
товым * произведением множеств A
1
, ..., A
n
.
8
7
6
5
4
3
2
1
a b c d e f g h
Рис. 1
П р и м е р ы. 1. Если A
1
= {a, b, c, d, e, f, g, h},
A
2
= {1, 2, 3, 4, 5, 6, 7, 8}, то A
1
×A
2
––
шахматная
доска (рис. 1).
2. Если A
––
алфавит русского языка, то среди
префиксов (т. е. начал) всевозможных слов мно
-
жества A × . .. ×A
|
{z }
30
встречаются все слова русско
-
го языка.
Далее вместо A ×. .. ×A
|
{z }
n раз
используем краткое
обозначение A
n
, называемое декартовой степе-
нью множества A.
П р и м е р ы. 1. Если множество A = E
2
= {0, 1}, то его декартова
степень A
n
= E
n
2
состоит из всех слов длины n, составленных из 0 и 1.
Это множество называют n-мерным двоичным кубом.
2. Если множество A = E
k
= {0, 1, . .., k −1}, то его декартова степень
A
n
= E
n
k
состоит из всех слов длины n, составленных из 0, 1 . . ., k −1.
Это множество называют n-мерным k-ичным кубом.
* Р. Декарт (René Descartes, 1596
–
1650)
––
великий французский философ и математик.