10 Множества и операции с ними. Функции. Мощности множеств. Множества на вещественной прямой. Вещественные числа.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Что из себя будет представлять декартово произведение ?
У нас получится множество упорядоченных пар , где
. То есть
у нас, конечно, получится плоскость
. То есть, смотрите как красиво
получается:
.
Двумерная плоскость
Ошибка.
Попробуйте повторить позже
Пусть - окружность. Что из себя будет представлять тогда декартово
произведение
?
Это будет множество пар
Но какой еще геометрический объект можно задать таким образом?
Очевидно, это поверхность цилиндра с окружностью в основании высотой 1.
Действительно, любая точка такого цилиндра задается парой координат
- первая координата
показывает точку на окружности, а вторая
координата
показывает, на какой именно высоте нужно провести сечение
цилиндра, чтобы получилась окружность, на который мы хотим взять точку
.
Цилиндр с окружностью в основании высотой 1
Ошибка.
Попробуйте повторить позже
Доказать, что для любых множеств выполнено
Доказать, что для любых множеств выполнено
Решение.
Обозначим ,
и будем доказывать, что
.
1. Докажем, что .
Действительно, пусть .
Это значит, что и вместе с тем
, но при этом
.
Раз и
, то
.
Кроме того, нам еще было дано, что . Таким образом, мы получаем,
что
Следовательно, .
Поскольку был произвольный, мы получаем, что мы доказали, что
произвольный элемент, лежащий в
, также лежит и в
, то есть мы
доказали, что
.
2. Докажем, что .
Пусть .
Это значит, что и при этом
. Но, поскольку нам дано, что
и
, это означает, что
. Далее, нам дано, что
, а
значит, раз
и
, мы получаем, что
.
Поскольку был произвольный, мы получаем, что мы доказали, что
произвольный элемент, лежащий в
, также лежит и в
, то есть мы
доказали, что
.
Ошибка.
Попробуйте повторить позже
Верно ли, что для любых четырех множеств выполнено
?
Рассмотрим такие множества
Тогда
В то же время
и поэтому
А поэтому наша формула неверна. В данном случае правая часть является лишь подмножеством левой части, но равенства здесь нету.
Вообще говоря, нет
Ошибка.
Попробуйте повторить позже
Пусть свойство означает, что
Рассмотрим теперь две формулы
а теперь поменяем местами кванторы вместе с переменными
Задача.
1. Изменился ли смысл высказывания после перестановки кванторов? То есть
одинаковый ли смысл у высказываний (1) и (2)?
2. Изменилась ли истинность высказывания после перестановки кванторов? То
есть верно ли, что если (1) было истинным, то и (2) остается истинным? А если
(1) было ложным, то и (2) тоже обязательно ложно? Какое из двух
высказываний следует из другого?
1. Изменился. Смысл у них разный. По сути, высказывание (1) говорит нам
о том, что у для любой двери найдется свой ключ
, который
открывает эту дверь. При этом допускается, чтобы этот ключ
был
у каждой двери свой, то есть чтобы
как бы зависел от
- для
каждой двери может существовать свой ключ, и у разных дверей он
может быть разным. То есть когда в формуле кванторы идут в таком
порядке
то допускается зависимость от
.
В то же время, высказывание (2) говорит нам о том, что найдется такой
ключ , который для любой двери
будет её открывать. То есть
этот
будет универсальным, подходящим для каждой двери
и
уже не может зависеть ни от какой двери. То есть в таком порядке
кванторов
мы обязаны сначала выбрать этот ключ , который должен подойти ко
всем
сразу.
2. Вообще говоря, если (1) было истинно, то (2) быть истинно вовсе не обязано.
Действительно, если для каждой двери находился свой ключ
, который
её открывает, из этого вовсе не следует существование универсального ключа
, который способен открыть любую дверь.
Если же (1) было ложным, то, понятное дело, в силу всего вышесказанного, (2)
ложно тем более.
Таким образом, (2) - более сильное высказывание, чем (1), то есть (1) следует
из (2).
1. Смысл у них разный;
2. Если (1) истинно, то (2) необязательно истинно, если (1) ложно, то (2) точно
ложно, (1) следует из (2).
Ошибка.
Попробуйте повторить позже
Является ли функция инъекцией, сюръекцией, биекцией в каждом из
следующих случаев?
a) ;
b) ;
c) ;
d) ;
a) Наша функция заведомо не будет сюръекцией, поскольку чтобы она была
сюръекцией, синус должен был бы уметь давать на выходе любые числа из
В то время как
наоборот, всегда не превосходит по модулю 1, какие бы
иксы мы в него ни подставляли.
Синус также не будет и инъекцией, поскольку он склеивает разные точки.
Например, однако
;
b) Такая функция не будет сюръекцией, потому что она не умеет выдывать
любые числа из на выходе. Действительно,
для любого
Значит, отрицательных чисел мы не получим.
Однако является инъекцией. Вообще, это свойство проходят в школе, но
достаточно рукомахательно. Чтобы аккуратно это показать, достаточно
показать, что эта функция строго монотонна, а для этого нам нужны были бы
производные...в общем, давайте пока поверим, тем более, что нам не привыкать
- что эта
- инъективна;
c) Такая функция не будет сюръекцией, потому что она не умеет выдывать
отрицательные числа из на выходе. Действительно,
для любого
Тем самым,
- не сюръекция.
Далее, поскольку однако
то
разные
точки переводит в одну и ту же. Следовательно,
- не инъекция;
d) А вот эта функция будет и инъекцией и сюръекцией - то есть будет
биекцией! Действительно, докажем это:
1. Инъективность. Пусть . Тогда если оказалось так, что
, то это значит, что
что немедленно влечет после вычитания восьмерки и деления на тройку,
что . Противоречие. Значит,
- инъективна.
2. Сюръективность. Покажем, что при помощи нашей функции
мы можем получить любое вещественное число. Итак, пусть
-
произвольно. Какой
надо подставить в
, чтобы получить
? Ну,
очевидно
- такой вот и надо в
подставить, чтобы получить наперед заданный
.
a) Не сюръекция, не инъекция;
b) Не сюръекция, инъекция;
c) Не сюръекция, не инъекция;
d) Сюръекция, инъекция (т.е. биекция).
Ошибка.
Попробуйте повторить позже
a) Может ли область определения функции строго содержаться в образе ее
области определения? То есть существует ли такая функция , что
и причем
?
b) А если множества и
- конечны?
a) Может. Например, рассмотрим
При этом , следовательно, область определения
строго
содержится в образе её области определения.
b) В таком случае этого уже не получится добиться.
Действительно, пусть и
- конечны. Тогда и
- тоже, естественно,
конечно (ведь оно подмножество в
). И если так оказалось, что
и при этом
, то это попросту означает, что в
меньше элементов,
чем в
.
Однако, по определению функции, каждому элементу в
сопоставляет
один и только один элемент в
. То есть не может быть такого, что
какому-то
соответствует в
два разных значения.
Поэтому в количество элементов уж никак не может оказаться меньше,
чем в
- ведь это бы означало, что какой-то
перешел в два
разных элемента в
, что запрещено.
Значит, в случае конечных множеств такое невозможно.
a) Да; b) Нет.
Ошибка.
Попробуйте повторить позже
На окружности отмечено точек: девять чёрных и одна белая. Чего больше:
многоугольников, у которых все вершины чёрные, или многоугольников, у
которых есть и белая вершина (а остальные — чёрные)?
(в рамках этой задачи мы считаем, что многоугольником считается фигура,
у которой хотя бы три вершины)
Замечание. Предполагается решать эту задачу вообще без
обращения к комбинаторике и к так называемым числам
сочетаний. Если вы не понимаете, что это - отлично, а если
понимаете, то на время этой задачи временно забудьте.
Пусть - множество многоугольников, у которых все вершины черные, а
- множество многоугольников, у которых есть белая вершина (а все остальные
- черные).
Построим функцию по следующему правилу.
Если - многоугольник, то
получается из
добавлением к нему
белой вершины (проведением новых сторон так, чтобы они теперь включали
эту вершину в новый многоугольник).
Таким образом, по сути берет на вход какой-то многоугольник с чисто
черными вершинами и добавляет к множеству его вершин ту-самую одну
белую вершину.
Мы получаем новый многоугольник .
При этом, очевидно, - инъективна. То есть если
и
-
разные многоугольники, то
.
Естественно - добавление белой вершины к изначально разным многоугольникам
не может сделать их одинаковыми.
Таким образом, можно сделать вывод, что .
Однако - не сюръекция. Действительно, при помощи отображения
мы
никак не можем придти в какой-нибудь треугольник с белой вершиной. Ведь
треугольник не мог быть получен добавлением белой вершины ни к какому
многоугольнику с чисто черными вершинами (мы считаем, что двуугольник -
это не многоугольник).
Таким образом, каждому многоугольнику из соответствует ровно
один многоугольник из
, но при этом
, то есть в
есть
многоугольники, которые не соответствуют никаким многоугольникам из
.
Следовательно, , то есть многоугольников, у которых есть одна
белая вершина - больше.
С белой вершиной - больше
Ошибка.
Попробуйте повторить позже
Пусть - множество людей, пришедших на линейку первокурсников,
-
множество стульев, расставленных в актовом зале в честь этого мероприятия.
Описать словами, что фактически значит, что:
a) Нашлась функция ;
b) Нашлась инъективная функция ;
c) Нашлась сюръективная функция ;
d) Нашлась биективная функция .
a) На самом деле это ничего не значит, потому что хоть какую-нибудь
функцию можно определить между любыми двумя непустыми множествами. В
данном случае это просто означает, что мы каждому человеку сопоставили
какой-то один стул. Но так можно сделать, сколько бы ни было людей и
сколько бы ни было стульев;
b) А вот это означает, что мы смогли сопоставить каждому человеку какой-то
один стул, причем разным людям были сопоставлены разные стулья.
То есть инъективность нашей функции , иными словами, означает,
что запрещено, чтобы на один стул садилось больше одного человека.
Следовательно, такое возможно только если людей не больше, чем стульев.
c) Сюръективность такой функции означает, что мы сопоставили каждому
человеку какой-то один стул, причем каждый стул оказался занят.
Следовательно, в такой ситуации стульев было не больше, чем людей.
d) Поскольку биективная функция по определению является и инъективной, и
сюръективной, мы получаем, совмещая результаты двух предыдущих пунктов,
что из существования такой функции следует, что стульев и людей было
поровну.
a) Ничего не значит;
b) Людей не больше, чем стульев;
c) Стульев не больше, чем людей;
d) Стульев и людей поровну.
Ошибка.
Попробуйте повторить позже
Доказать, что если - биективная функция, то обязательно
существует такая функция
(которая называется обратной
функцией к
), что
Действительно, пусть - биекция.
Определим по следующему правилу: для каждого
функция
отправляет этот
в тот самый единственный(!)
, для
которого
.
Почему же такой , что
- единственный?
Да потому что нам дано, что - биекция, в частности, это инъекция.
Значит двух разных
таких, что
от обоих из них равно
, быть не
может. Почему же для каждого
такой
, что
вообще найдется?
Да потому что нам дано, что - биекция, в частности, сюръекция. А это
ровно это и означает.
Таким образом, мы получили вполне определенную функцию
она каждому сопоставляет один и только один
по описанному выше
правилу (и мы уже попутно объяснили, почему каждому и почему один и
только один).
Следовательно, нечто, что мы назвали , действительно является функцией
в смысле нашего определения функции.
Осталось лишь проверить, что она действительно обратна к в том смысле, в
котором говорится в задаче.
Итак, пусть - произвольный. Чему тогда будет равно
?
Итак, внутри переводит
в некоторый
. А что же делает с этим
внешняя
? Да просто по ее собственному построению она
переводит его обратно в
. Таким образом, мы проверили, что для любого
выполнено
Далее, пусть - произвольный. Чему тогда будет равно
?
Ну, раз этот
, а наша исходная
была биекцией, то обязательно
существует такой
, как мы уже заметили, что
. Но тогда
по самому построению
мы получим, что внутри
,
причем тому самому единственному
, что
. Но тогда вся эта
большая штука
равна
(поскольку внутри
).
Иными словами,
Что и нужно было нам проверить.
Ошибка.
Попробуйте повторить позже
a) Пусть - функция, задаваемая формулой
.
1. Почему она не является биекцией?;
2. Как нужно изменить ее область определения и область значений, чтобы она
стала биекцией?;
3. После этих изменений найти обратную функцию к этой биекции.
b) Пусть - функция, задаваемая формулой
.
1. Почему она не является биекцией?;
2. Как нужно изменить ее область определения и область значений, чтобы она
стала биекцией?;
3. После этих изменений найти обратную функцию к этой биекции.
a) Она не биективна, потому что она и не инъективна, и не сюръективна.
В области значений мы не можем получить отрицательных чисел -
поэтому не сюръективна. А не инъективна, потому что, переводит
разные числа в одинаковые. Например,
, но
.
Если же мы рассмотрим ту же самую функцию , но между
множествами
то она уже окажется биективной - мы тем самым решим все проблемы.
Обратной функцией к после таких изменений будет, конечно,
.
b) Она не биективна, потому что она и не инъективна, и не сюръективна. В
области значений мы не можем получить чисел, которые по модулю больше 1.
А не инъективна, потому что, переводит разные числа в одинаковые.
Например,
, но
.
Если же мы рассмотрим ту же самую функцию , но между
множествами
то она уже окажется биективной - мы тем самым решим все проблемы.
Обратной функцией к после таких изменений будет, конечно,
.
a) Она не биективна, потому что она и не инъективна, и не сюръективна
будет биективной,
;
b) Она не биективна, потому что она и не инъективна, и не сюръективна
будет биективной,
.
Ошибка.
Попробуйте повторить позже
Пусть - функция. Пусть
. Пусть
. Верно
ли тогда, что
?
Вообще говоря, это неверно. Рассмотрим
Пусть . Тогда
Однако
Вообще говоря, это неверно.
Ошибка.
Попробуйте повторить позже
a) Дать определение того, что функция - инъективна, используя
понятие прообраза.
b) Дать определение того, что функция - сюръективна, используя
понятие образа.
a) - инъективна тогда и только тогда, когда для любого
прообраз
множества
, то есть
либо пуст, либо состоит ровно из одной
точки.
b) - сюръективна тогда и только тогда, когда
.
Ошибка.
Попробуйте повторить позже
Доказать, что множество положительных рациональных чисел
- счётно.
Расположим все положительные рациональные числа в такую бесконечную таблицу
Она устроена по следующему принципу - в -ой строчке записаны все
рациональные числа со знаменателями
.
Далее, чтобы показать, что это множество счётно, достаточно устроить биекцию
. А такая биекция - это по сути однозначное сопоставление каждой
положительной дроби какого-то натурального числа. Сделаем такое
сопоставление, идя по диагоналям нашей таблицы, то есть идя по следующей
схеме:
Таким образом, первое число будет 1, второе число будет 2, третье число будет
, четвёртое число будет
, пятое число будет
, и так далее...
Ясно, что двигаясь вот по такой схеме, мы обойдём всю таблицу из
наших положительных дробей, а, значит, каждая дробь получит свой
уникальный номер - такое правило и задаст нам биекцию .
Значит, множество всех положительных дробей - счётно.
Ошибка.
Попробуйте повторить позже
Доказать, что множество всех натуральных чисел, кратных 100 - счетно.
Множество, о котором идет речь - это множество
Чтобы установить, что оно счетно, придумаем биекцию
Её придумать очень легко:
Ясно, что это инъекция (если , то
), и ясно, что это
сюръекция, потому что любое число, кратное 100, будет получено в результате
применения
к какому-то натуральному числу. Таким образом,
счетно по
определению.
Ошибка.
Попробуйте повторить позже
Доказать, что если равномощно
, а
равномощно
, то
-
равномощно
.
Раз нам дано, что равномощно
, то существует биекция
И раз нам дано, что равномощно
, то существует биекция
Но тогда композиция
очевидно будет биекцией из в
.
Действительно, - инъективная функция, поскольку если
,
то
поскольку в силу того, что
- инъективно, а значит
в силу того, что
- инъективно.
Также - сюръективная функция, поскольку
, раз
-
сюръекция, а
, раз
- сюръекция, но значит
То есть - сюръекция.
Ошибка.
Попробуйте повторить позже
Пусть - любое бесконечное множество (быть может и несчетное),
-
счетное множество, не пересекающееся с
, то есть
. Доказать,
что тогда
равномощно
.
Выберем тогда в счетное подмножество
(а в любом бесконечном
множестве существует счетное подмножество). Утверждается, что тогда
- тоже счетно.
Заметим прежде всего, что , потому что по условию теоремы даже
.
Действительно, если - счетно, то существует биекция
. Если
- счетно, то существует биекция
.
Но тогда легко соорудить и биекцию
Пусть если - четно,
, то
.
А если - нечетно,
, то
.
Таким образом мы четные числа отображаем во все элементы множества , а
нечетные числа отображаем во все элементы множества
. Поскольку
и
- не пересекаются и поскольку
были биекциями, мы получаем, что и
- биекция.
Таким образом, мы доказали, что - тоже счетно.
Но раз - тоже счетно так же как и
, то между ними должна быть
некоторая биекция
. Давайте зафиксируем эту биекцию
Но тогда ясно, что функция
определенная правилом
будет биекцией.
Действительно, мы просто при помощи нашей биекции перегоняем
в
, а остальную часть множества
просто не трогаем.
Ошибка.
Попробуйте повторить позже
a) Пусть - континуальное множество,
- континуальное множество.
Доказать, что тогда и
- континуально.
b) Вывести отсюда, что
- все континуальны.
Таким образом, получается удивительнейшее дело: НА ПЛОСКОСТИ
СТОЛЬКО ЖЕ ТОЧЕК, СКОЛЬКО И НА ПРЯМОЙ, И В
ТРЕХМЕРНОМ ПРОСТРАНСТВЕ ИХ СТОЛЬКО ЖЕ, СКОЛЬКО
НА ПЛОСКОСТИ.
Получается, с точки зрения количества элементов в множестве нет
никакой разницы между пространствами разных размерностей - в
них во всех поровну точек.
a) Если - континуально, то это по определению означает, что существует
биекция
То есть каждому элементу множества соответствует одна и только
одна последовательность из нулей и единиц, и таким образом каждая
последовательность из нулей и единиц соответствует одному и ровно одному
элементу множетсва
.
То же самое можно сказать и про множество - у нас, раз
-
континуально, есть биекция
Давайте составим теперь биекцию
Куда мы отправим произвольный элемент ? Во-первых,
давайте возьмем
. Это получится некоторая последовательность из нулей
и единиц
Давайте далее возьмем . Это тоже получится некоторая
последовательность из нулей и единиц
Тогда давайте по определению положим
То есть паре последовательностей , мы сопоставим
последовательность, у которой на четных местах стоят члены последовательности
, а на нечетных - члены последовательности
.
Получилось отображение
Оно инъективно, потому что если , то либо
, либо
. И в том и в другом случае, очевидно,
Например, в первом случае, если , то в силу того, что
-
инъекция, то
, а, значит, последовательность
на
каком-то нечетном месте будет отличаться от последовательности
.
Аналогично и во втором случае.
Также - это сюръекция, потому что мы таким образом сможем получить
любую последовательность из нулей и единиц как результат применения
.
Действительно, по нечетным координатам выдает всевозможные
результаты действия
на
. Но
то была сюръекцией, поэтому
по нечетным координатам в образе
мы можем получить любую
подпоследовательность.
Точно так же по четным координатам действует как
от всевозможных
элементов
. Но
- тоже сюръекция, поэтому и по четным координатам в
образе
мы можем получить любую подпоследовательность.
Но если у нас и на четных и на нечетных местах может получиться любая
подпоследовательность, то и глобально мы можем получить любую
последовательность из нулей и единиц в образе .
b) Мы уже знаем, что - континуально. Тогда, применяя доказанное в
пункте a) получаем, что
- тоже континуально.
Для используем наше знание, полученное мгновение назад, о том,
что
- континуально. Но тогда, поскольку, очевидно, можно написать,
что
то, поскольку первый сомножитель - континуален, второй - просто
- тоже континуален, то по пункту a) и
- континуально.
А для произвольного легко доказать по индукции, что
- континуально. Мы фактически на примере уже продемонстрировали, как делать шаг индукции.
Ошибка.
Попробуйте повторить позже
Вывести из теоремы Кантора, что для любого
Пусть - конечное множество. Пусть
Тогда ясно, что множество всех подмножеств нашего множества
состоит из
элементов.
Поскольку каждому подмножеству однозначно соответствует
одна и только одна последовательность из нулей и единиц длины
.
Но по теореме Кантора, для любого множества выполнено
В нашем случае слева в неравенстве стоит , а справа
.
Ошибка.
Попробуйте повторить позже
Вывести из теоремы Кантора, что не существует множества всех множеств. То
есть не существует такого множества , что его элементами бы являлись все
возможные существующие множества.
От противного. Пусть такое множество существует. То есть, пусть
существует множество
, элементами которого являются все возможные
множества, которые только существуют на свете.
Рассмотрим тогда множество - множество всех подмножеств нашего
. Ну, если
существует, то и
- тоже существует. Ведь мы можем
для любого множества рассмотреть множество всех его подмножеств.
Но в качестве своих элементов содержит все возможные множества на
свете. В том числе,
содержит все элементы множества
. То
есть
Но тогда, ясное дело,
потому что если , то
- можно предъявить тривиальную
инъекцию из
в
.
Но это явно противоречит теореме Кантора, которая говорит нам, что
для любого множества, в том числе и для нашего должно быть
выполнено