Множества и отношения
[27/100%]Найти все подмножества следующих множеств: , .
Пусть . Найти множества и .
Доказать следующие включения:
;
.
Доказать следующие тождества для любых множеств :
;
;
;
;
;
;
;
;
;
;
;
;
.
Доказать, что
;
;
;
если и , то .
Доказать, что включение выполнено тогда и только тогда, когда выполнено .
Для каждого из следующих отношений найти , :
делит , если существует такое , что ;
;
;
;
.
Пусть множество задаёт клетки шахматной доски. Описать следующие бинарные отношения на :
;
.
Будут ли эти отношения эквивалентностями? Описать отношение .
Пусть П — множество всех прямых на евклидовой плоскости. Определить, будут ли следующие отношения на П отношениями эквивалентности:
параллельность прямых (будем считать, что прямая параллельна себе самой);
перпендикулярность прямых.
Пусть П — множество многоугольников на плоскости. Будут ли следующие отношения отношениями эквивалентности на П:
и возможно совместить;
и подобны;
и имеют одинаковый угол;
и пересекаются;
и имеют одинаковую площадь;
и имеют общую вершину;
и равносоставлены.
Пусть — множество слов алфавита . Будут ли следующие отношения отношениями эквивалентности на :
и состоят из одних и тех же символов без учёта количества;
и состоят из одних и тех же символов с учётом количества;
имеет чётную длину;
и имеют одинаковую длину;
и имеют одинаковую длину и отличаются не более чем в одной позиции;
и имеют хотя бы одну общую букву;
и начинаются одной и той же буквой.
Пусть — произвольный конечный алфавит, то есть множество символов. Обозначим через множество слов длины в алфавите (это обозначение согласовано с тем же обозначением декартовой степени , так как степень состоит из всех последовательностей элементов длины ).
Определим следующее отношение на словах из . Пусть . Тогда тогда и только тогда, когда для всех от 1 до и для некоторого такого , то есть номер каждой буквы слова не больше номера той же буквы в слове и хотя бы у одной из букв он меньше. Определить, является ли это отношение отношением частичного (линейного) порядка.
Определим следующее отношение на словах из . Пусть . Тогда тогда и только тогда, когда существует такое в интервале от 1 до , что при и или и первые символов совпадают со словом . Определить, является ли это отношение отношением частичного (линейного) порядка.
Замечание 3 (Упорядочение наборов). Определённое в пункте (а) отношение называется отношением покоординатного порядка, а отношение из пункта (б) — отношением лексикографического порядка. В соответствии с лексикографическим порядком упорядочены, например, слова в словарях и энциклопедиях.
Доказать, что в условиях задачи 12 на противоположной странице на множестве лексикографический порядок расширяет покоординатный, то есть из .
Доказать, что если — конечные подмножества , то , где функция — из примера 2 на стр. 31. Продемонстрировать, что обратное неверно.
Пример 2: пусть означает множество всех конечных подмножеств . Функция определяется как .
Доказать, что функция на множестве является частичным порядком на в том и только том случае, когда для всех .
Доказать, что если множества и конечны, то для мощностей выполнены следующие равенства
;
;
;
.
Доказать счётность множества пар .
Доказать счётность множества упорядоченных -ок .
Доказать, что объединение счётного числа счётных множеств снова будет счётным.
Доказать счётность множества рациональных чисел .
Доказать счётность множества многочленов -й степени с целыми коэффициентами для фиксированного .
Доказать счётность множества всех многочленов с целыми коэффициентами.
Доказать счётность множества алгебраических чисел.
С помощью теоремы Кантора-Бернштейна доказать, что множество последовательностей действительных чисел , равномощно .
Доказать, что всякий язык в конечном алфавите счётен.
Найти для следующих языков в алфавите :
Найти все префиксы и суффиксы слова .