Здравствуйте! Задача такая. Какие из указанных ниже совокупностей отображений множества $%M = \{1, 2, \dots, n\}$% в себя образуют (относительно композиции) группу:

  1. множество всех отображений
  2. множество всех инъективных (сюръективных, биективных) отображений?

и почему?

И еще вопрос - подстановки образуют группу? Является ли она абелевой?

задан 5 Окт '15 17:01

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

Множество всех отображений $%M$% в $%M$% образует полугруппу относительно композиции. Есть также нейтральный элемент (тождественное отображение). При $%n > 1$% это не группа, так как легко строится отображение, не имеющее обратного. Достаточно взять $%f(x)=1$% для всех $%x\in M$%. Это отображение не инъективно (так как $%f(1)=f(2)$%), и обратным оно не обладает.

Множество всех биекций образует группу -- это как раз и есть группа подстановок. Это очевидно, так как биекция имеет обратную, и это тоже биекция.

Заметим, что только биекции обладают обратным элементом.

Что касается множества всех инъекций (сюръекций), то если речь идёт об отображениях конечного множества $%M$% в себя, то всякая инъекция будет сюръекцией, и наоборот. Это достаточно популярный, и просто осознаваемый факт. Если пришло $%n$% человек, и было $%n$% разных предметов, и каждый взял какой-то один предмет (свой для каждого), то ясно, что всё оказалось разобрано.

Для бесконечного множества это уже неверно, так как отображение $%x\mapsto x+1$% из $%\mathbb N$% в $%\mathbb N$% инъективно, но не сюръективно (число 1 никому не досталось).

Таким образом, множество всех инъекций из $%M$% в $%M$% для конечного $%M$% будет совпадать с множеством всех биекций, и это будет та же группа. То же для сюръекций.

При $%n\ge3$% группа подстановок неабелева. Если взять $%f(1)=2$%, $%f(2)=1$%, $%f(3)=3$%, и $%g(1)=1$%, $%g(2)=3$%, $%g(3)=2$%, то композиция $%f$% и $%g$% не равна композиции $%g$% и $%f$%, что проверяется непосредственно.

При $%n\le2$% группа подстановок состоит из одного или двух элементов, а всякая такая группа абелева, что очевидно.

ссылка

отвечен 5 Окт '15 17:31

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

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

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

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

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

отмечен:

×4,501
×1,287
×1,004
×80

задан
5 Окт '15 17:01

показан
1482 раза

обновлен
5 Окт '15 17:31

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

по почте:

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

по RSS:

Ответы

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

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