Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В математике , каноническое отображение , также называется естественное отображение , является карта или морфизм между объектами , которые естественным образом возникает из определения или строительства объектов. В общем, это карта, которая сохраняет самый широкий объем структуры [1] и имеет тенденцию быть уникальной. В редких случаях, когда остается свобода выбора, карта либо условно считается наиболее полезной для дальнейшего анализа, либо иногда является самой элегантной картой, известной на сегодняшний день.

Стандартная форма канонического отображения включает некоторую функцию, отображающую набор в набор ( по модулю ), где - отношение эквивалентности на . [2] Близким понятием является структурная карта или структурный морфизм ; карта или морфизм, связанный с данной структурой объекта. Их также иногда называют каноническими картами.

Канонический изоморфизм каноническое отображение , что также является изоморфизмом (т.е., обратимы ). В некоторых контекстах может возникнуть необходимость обратиться к вопросу о выборе канонических отображений или канонических изоморфизмов; для типичного примера см . предварительное суммирование .

Примеры [ править ]

Ссылки [ править ]

  1. ^ "Окончательный словарь высшего математического жаргона - канонический" . Математическое хранилище . 2019-08-01 . Проверено 20 ноября 2019 .
  2. ^ Вайсштейн, Эрик В. «Каноническая карта» . mathworld.wolfram.com . Проверено 20 ноября 2019 .
  3. ^ Vialar, Thierry (2016-12-07). Справочник по математике . Совет директоров - Книги по запросу. п. 274. ISBN 9782955199008.