0
1

Пусть есть какое-то отображение. Доказать, что образ совокупности равен совокупности образов.

задан 19 Фев '14 22:12

изменен 21 Фев '14 22:13

Deleted's gravatar image


126

10|600 символов нужно символов осталось
1

Слово "совокупность" в математике имеет другой смысл. Здесь уместно говорить об объединении множеств. Если имеется в виду образ объединения двух множеств, то доказательство таково. Пусть $%f\colon A\to B$% -- отображение. Рассмотрим подмножества $%X,Y\subseteq A$%. Требуется доказать, что $%f(X\cup Y)=f(X)\cup f(Y)$%. Надо проверить, что всякий элемент одного множества (того, что в левой части) принадлежит другому (из правой части), и наоборот.

Пусть $%b\in f(X\cup Y)$%. По определению, это означает, что существует $%a\in X\cup Y$% такой, что $%b=f(a)$%. Поскольку $%a$% принадлежит объединению, он принадлежит хотя бы одному из множеств $%X$%, $%Y$%. Если $%a\in X$%, то $%b\in f(X)$%, откуда $%b\in f(X)\cup f(Y)$%. Если $%a\in Y$%, то $%b\in f(Y)$%, и снова $%b\in f(X)\cup f(Y)$%.

Доказательство в обратную сторону аналогично. Берём произвольный элемент $%b\in f(X)\cup f(Y)$%. Тогда $%b\in f(X)$% или $%b\in f(Y)$%. В первом случае $%b=f(a)$% для некоторого $%a\in X$%. Во втором случае $%b=f(a)$% для некоторого $%a\in Y$%. Поэтому для обоих случаев верно то, что $%b=f(a)$% для некоторого $%a\in X\cup Y$%. Тем самым, $%b\in f(X\cup Y)$%.

Если объединяемых множеств не два, а много, то доказательство проводится по той же схеме.

ссылка

отвечен 19 Фев '14 22:30

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×646
×162
×106

задан
19 Фев '14 22:12

показан
1107 раз

обновлен
19 Фев '14 22:30

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru