Факторпространство по подпространству: различия между версиями
Перейти к навигации
Перейти к поиску
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Addbot (обсуждение | вклад) м Перемещение 8 интервики на Викиданные, d:q1393796 |
MBHbot (обсуждение | вклад) м →Связанные определения: кирлат, replaced: кoя → коя |
||
Строка 22: | Строка 22: | ||
Понятие факторпространства по подпространству позволяет определить: |
Понятие факторпространства по подпространству позволяет определить: |
||
* кообраз [[линейное отображение|линейного отображения]] <math>T\in\mathcal{L}(X,\;Y)\colon\mathrm{coim}\,T= X/\ker T</math>; |
* кообраз [[линейное отображение|линейного отображения]] <math>T\in\mathcal{L}(X,\;Y)\colon\mathrm{coim}\,T= X/\ker T</math>; |
||
* |
* коядро линейного отображения <math>T\in\mathcal{L}(X,\;Y)\colon\mathrm{coker}\,T= Y/\mathrm{im}\,T</math>, при условии что <math>\mathrm{im}\,T\in\mathrm{Lat}(Y)</math>. |
||
* [[коразмерность]] <math>X_0\in\mathrm{Lat}(X)\colon\mathrm{codim}\,X_0=\dim X/X_0</math>; |
* [[коразмерность]] <math>X_0\in\mathrm{Lat}(X)\colon\mathrm{codim}\,X_0=\dim X/X_0</math>; |
||
* Фактор-полунорма в факторпространстве, порождённая [[полунорма|полунормой]] <math>p\colon\forall w\in X/X_0\quad p_{X/X_0}(w)=\inf p(\varphi^{-1}(w))</math>. |
* Фактор-полунорма в факторпространстве, порождённая [[полунорма|полунормой]] <math>p\colon\forall w\in X/X_0\quad p_{X/X_0}(w)=\inf p(\varphi^{-1}(w))</math>. |
Версия от 14:16, 25 декабря 2015
Факторпространство по подпространству в линейной алгебре — важный частный случай факторпространств.
Определение
Пусть — векторное пространство, а — его подпространство. Определим отношение эквивалентности как
Тогда называют факторпространством по и обозначают .
Факторотображение
Отображение , сопоставляющее каждому элементу из класс эквивалентности, в котором он лежит, называется факторотображением.
Факторотображение даёт возможность определить на векторную структуру, задав операции следующим образом:
Факторотображение на таком пространстве линейно.
Свойства факторотображения:
- , то есть — эпиморфизм;
- , что эквивалентно .
Связанные определения
Понятие факторпространства по подпространству позволяет определить:
- кообраз линейного отображения ;
- коядро линейного отображения , при условии что .
- коразмерность ;
- Фактор-полунорма в факторпространстве, порождённая полунормой .
Сопутствующие теоремы
- Существование снижения на кообраз:
- Теорема о непрерывности факторотображения:
- — хаусдорфово .
- Хаусдорфовость полунормированного пространства, как известно, позволяет[уточнить] определить на нём норму, а по норме и метрику.
- Признак полноты — полны — полно.
- — гиперплоскость .
- Неравенства для подчинённой фактор-полунормы:
Комментарии
См. также
Литература
- Кутателадзе С. С. Основы функционального анализа. — 3-е изд. — Новосибирск: Изд-во Ин-та математики, 200. — 336 с. — ISBN 5-86134-074-9..