Вложение

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 21 ноября 2011.

Вложение в математике — это специального вида отображение одного экземпляра некоторой математической структуры во второй экземпляр такого же типа. А именно, вложение некоторого объекта $X$ в $Y$ задаётся инъективным отображением, сохраняющим некоторую структуру. Что означает «сохранение структуры», зависит от типа математической структуры, объектами которой являются $X$ и $Y$. В терминах теории категорий отображение, «сохраняющее структуру», называют морфизмом.

То, что отображение $f: X\to Y$ является вложением, часто обозначают «крючковатой стрелкой» таким образом: $f: X\hookrightarrow Y$.

Для заданных $X$ и $Y$ может быть несколько возможных вложений. Во многих случаях существует стандартное (или «каноническое») вложение — например, вложения натуральных чисел в целые, целых в рациональные, рациональных в вещественные, а вещественных в комплексные. В таких случаях обычно задают область определения $X$ с образом $f(X)\subset Y$, такую что $X\subseteq Y$.

Геометрия и топология

Общая топология

Отображение топологических пространств $f: X\to Y$ называется вложением $X$ в $Y$, если $f: X\to f(X)\subset Y$ — гомеоморфизм (на $f(X)$ рассматривается топология, индуцированная с $Y$). Каждое вложение непрерывно и инъективно.

Для пространства $X$ cуществование вложения $X\to Y$ — топологический инвариант. Мы можем различить два пространства, если одно из них можно вложить в $Y$, а другое нельзя.

Дифференциальная топология

Пусть $M, N$ — гладкие многообразия и $f: M\to N$ — гладкое отображение. Оно называется погружением, если дифференциал $df$ отображения $f$ всюду инъективен. Гладкое вложение — это погружение, являющееся также вложением в вышеприведённом смысле (то есть гомеоморфизмом на свой образ).

Другими словами, вложение диффеоморфно своему образу, и, в частности, образ вложения должен быть подмногообразием. Погружение в свою очередь является локальным вложением (то есть для каждой точки $x\in M$ существует окрестность $U\subset M, x\in U$, такая что $f: U\to N$ — вложение).

Алгебра

Теория колец

В теории колец вложением называется инъективный кольцевой гомоморфизм $f \colon A \to B$. Так как $f(A)$ является подкольцом кольца $B$, то вложение $f$ устанавливает изоморфизм между кольцами $A$ и $f(A)$.

Теория категорий

Этот раздел не завершён. Вы поможете проекту, исправив и дополнив его.

Для улучшения этой статьи желательно?: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.