Для функции $%f:X\to Y$% определим $%\ker f=\{(x,y):f(x)=f(y)\}$%. Это отношение эквивалентности. Докажите, что любое отношение эквивалентности на Х является ядром некоторой f с областью определения X

Тут просто надо в качестве $%f$% взять факторотображение $%f:X\to X/\sim$%?

задан 17 Фев 1:06

Да, разумеется. Только факторотображение надо обозначать как-то по-другому.

Более того, для любого f:X->Y существует индуцированное отображение из X/~ в Y такое, что f становится композицией факторотображения и индуцированного отображения.

(17 Фев 2:38) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×83

задан
17 Фев 1:06

показан
97 раз

обновлен
17 Фев 2:38

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

по почте:

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

по RSS:

Ответы

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

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