Московский государственный университет имени М.В.Ломоносова
Опубликован: 10.09.2007 | Доступ: свободный | Студентов: 4001 / 735 | Оценка: 4.33 / 3.93 | Длительность: 13:22:00
Тема: Математика
Специальности: Математик
Теги:
Лекция 8:
Линейные подпространства линейных пространств
Решетка подпространств линейного пространства
Рассмотрим частично упорядоченное множество всех линейных подпространств U линейного пространства K V:












Теорема 9.14.1. В решетке выполнено следующее модулярное тождество Дедекинда: если
,
, то

- 1) Пусть
, где
,
, тогда
, и поэтому
;
,
, и следовательно,
; итак,
.
- 2) Пусть
, z=x+y, где
,
. Тогда
, поскольку
, и поэтому
.
Замечание 9.14.2. Если , то в
не выполняется тождество дистрибутивности


Замечание 9.14.3. Итак, мы убедились в том, что решетка всех линейных подпространств линейного пространства K V является модулярной (дедекиндовой) решеткой с дополнениями.