Подпространство

Шаблон:Викисловарь Подпростра́нство — понятие, используемое (непосредственно или в словосочетаниях) в различных разделах математики.

Подпространство — подмножество некоторого пространства (аффинного, векторного, проективного, топологического, метрического и так далее), которое само является пространством соответствующего типа со свойствами, индуцированными объемлющим пространством.

Приставка «под» используется в том же смысле для других математических объектов, например подграф, подгруппа, подкатегория и так далее.

Примеры

• Непустое подмножество $L^{\prime }\subset L$ векторного (линейного) пространства $L$ над полем $F$ является векторным (линейным) подпространством, если выполнены два свойства: для всяких векторов $x,y\in L^{\prime }$ сумма $x+y\in L^{\prime }$ и для всякого вектора $x\in L^{\prime }$ и любого $\alpha \in F$ вектор $\alpha x\in L^{\prime }$. В частности, подпространство $L^{\prime }$ обязательно содержит нулевой вектор пространства $L$ (он также является нулевым вектором пространства $L^{\prime }$).

• Векторное подпространство $L^{\prime }\subset L$ называется собственным подпространством, если $L^{\prime }\ne L$ и $L^{\prime }$ содержит хотя бы один ненулевой вектор.

• Векторное подпространство $L^{\prime }\subset L$ называется инвариантным подпространством линейного отображения $A:L\to L$, если $A(L^{\prime })\subset L^{\prime }$, то есть $A(x)\in L^{\prime }$ для любого вектора $x\in L^{\prime }$. Если $\lambda$ — собственное значение отображения $A$, то все векторы $e\in L$, удовлетворяющие соотношению $A(e)=\lambda e$ (включая и нулевой вектор), образуют инвариантное подпространство отображения $A$. Оно называется собственным подпространством, соответствующим данному собственному значению $\lambda$.

• Подпространство евклидова векторного пространства также является евклидовым пространством, но подпространство псевдоевклидова векторного пространства может быть и псевдоевклидовым (другой сигнатуры), и евклидовым пространством, а также может быть вырожденным или изотропным.

• Подпространство $M^{\prime }\subset M$ метрического пространства $M$ с метрикой $\rho$ обладает индуцированной метрикой ${\rho }^{\prime }$, которая определена формулой ${\rho }^{\prime }(x,y)=\rho (x,y)$ для любых $x,y\in M^{\prime }$.

• Подпространство $T^{\prime }\subset T$ топологического пространства $T$ с топологией $\tau$ обладает индуцированной топологией ${\tau }^{\prime }$, открытыми множествами в которой являются множества $G_{{\tau }^{\prime }}=G_{\tau }\cap T^{\prime }$, где $G_{\tau }$ — всевозможные открытые множества в топологии $\tau$.

• Пусть $P=P(L)$ — проективное пространство, состоящее из прямых векторного пространства $L$, и $L^{\prime }\subset L$ — векторное подпространство. Тогда проективное пространство $P^{\prime }=P(L^{\prime })\subset P$ является проективным подпространством.