Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
*
А. Е. Гутман
c 2008–2016 Гутман А. Е.
○
*
Работа поддержана Фондом содействия отечественной науке.
1
§ 1. Векторные пространства
(3′′ ) (∀ 𝑥 ∈ 𝐺)(∃! 𝑦 ∈ 𝐺) 𝑥 + 𝑥 + 𝑦 = 𝑥.
Упражнение
Пусть выполнены условия (0), (1) и (2). Тогда утверждения (3), (3′ ) и (3′′ ) равносильны.
(1) (∀ 𝑥, 𝑦 ∈ 𝐺)(∃! 𝑧 ∈ 𝐺) 𝑦 + 𝑧 = 𝑥.
(4) (∀ 𝑥, 𝑦 ∈ 𝐺) 𝑥 + (−𝑦) = 𝑥 − 𝑦 ;
(5) (∀ 𝑥 ∈ 𝐺) −𝑥 = 0 − 𝑥.
2
1.4. Определение [︀
Поле
]︀
1.6. Обозначение [︀
Классические числовые поля, символ F
]︀
Для краткости вместо (𝑋, 𝐹, +, ·) мы будем писать просто 𝑋 . При этом символы + и · вводятся
по умолчанию, как и возможные уточняющие обозначения 0𝑋 , 0𝐹 , +𝑋 и т. п. (ср. 1.5). Функции
+ и · обычно называют линейными операциями (хотя, строго говоря, функция · не является
операцией в 𝑋 ).
Векторные пространства над R часто называют вещественными , а векторные пространства
над C — комплексными
.
Рассматривая какое-либо векторное пространство 𝑋 над полем 𝐹 , элементы 𝑋 по традиции
называют векторами
, а элементы 𝐹 — скалярами
.
Для 𝛼 ∈ 𝐹 ∖{0} и 𝑥 ∈ 𝑋 вместо 𝛼1 𝑥 часто пишут 𝑥/𝛼 или 𝑥
𝛼
.
1.8. Упражнение [︀
Свойства векторных пространств
]︀
1.10. Определение [︀
Поле как векторное пространство
]︀
1.12. Определение [︀
Конечная степень векторного пространства
]︀
1.13. Определение [︀
Овеществление векторного пространства
]︀
С формальной точки зрения C не является векторным пространством над R, но его легко «пре-
вратить» в векторное пространство над R, оставив множество векторов неизменным (т. е. рав-
ным C) и разрешив умножать векторы только на вещественные скаляры. Формально эта про-
цедура означает рассмотрение вместо (C, C, +, ·) четверки (C, R, +, ·|R×C ), которая, как легко
видеть, является векторным пространством над R. Это векторное пространство называется
овеществлением C и обозначается символом CR .
Аналогичным образом определяется овеществление любого комплексного векторного простран-
ства: если 𝑋 = (𝑋, C, +, ·) — векторное пространство над C, то вещественное векторное про-
странство 𝑋R := (𝑋, R, +, ·|R×𝑋 ) называется овеществлением
пространства 𝑋 .
1.14. Определение [︀
Изоморфизм векторных пространств
]︀
Тогда 𝜙 : 𝑋 ↔
ВП
𝑌.
𝑋↔
ВП
𝑋 ; если 𝑋 ↔
ВП
𝑌 , то 𝑌 ↔
ВП
𝑋 ; если 𝑋 ↔
ВП
𝑌 и𝑌 ↔
ВП
𝑍 , то 𝑋 ↔
ВП
𝑍.
Упражнение
Какие из векторных пространств R, R2 , CR , C2R изоморфны друг другу?
финитными называют функции, имеющие компактный носитель (см. 4.25). Впрочем, если
снабдить R𝑛 дискретной топологией (см. 18.9), то упомянутое смысловое различие исчезнет.
)︀
Сумма ∑︀
𝑖∈𝐼 𝑥𝑖 финитного семейства (𝑥𝑖 )𝑖∈𝐼 ∈ 𝑠fin (𝐼, 𝑋) — это
∑︀попросту сумма всех ненулевых
членов этого семейства, а если таких членов нет, то сумма 𝑖∈𝐼 𝑥𝑖 полагается равной нулю.
Это определение, конечно же, не отличается особой формальностью. Стремясь к занудству,
сумму 𝑖∈𝐼 𝑥𝑖 можно определить рекурсией по числу элементов∑︀множества 𝐽 ∑︀ := {𝑖 ∈ 𝐼 : 𝑥𝑖 ̸= 0}.
∑︀
А именно, если 𝐽 = ∅, то 𝑖∈𝐼 𝑥𝑖 := 0; в остальных же случаях 𝑖∈𝐼 𝑥𝑖 := 𝑥𝑗 + 𝑖∈𝐼∖{𝑗} 𝑥𝑖 , где 𝑗 —
∑︀
1.19. Определение [︀
Векторное подпространство
]︀
Пусть 𝑋 = (𝑋, 𝐹, +, ·) — векторное пространство над полем 𝐹 и пусть 𝑌 ⊂(︀ 𝑋 . Говорят, что)︀
𝑌 является векторным (или линейным подпространством
) 𝑋 , если четверка 𝑌, 𝐹, +|𝑌 2 , ·|𝐹 ×𝑌
является векторным пространством. В этом случае 𝑌 отождествляют с упомянутой четверкой
(тем самым считая 𝑌 векторным пространством над 𝐹 ) и пишут 𝑌 ⊂ 𝑋 . Говорят, что линейные
операции пространства 𝑌 индуцированы ВП
из 𝑋 . Для краткости вместо «векторное подпростран-
ство» иногда говорят «подпространство».
Следующий критерий часто используется в качестве определения векторного подпространства.
Доказательство
Пересечение ∩ Sub𝑆 (𝑋) является искомым подпространством см. 1.20 (3) .
(︀ )︀
Упражнение
Пусть 𝑋 — векторное пространство над полем 𝐹 и пусть 𝑆 ⊂ 𝑋 . Тогда
(1) lin 𝑆 = ;
{︀∑︀ }︀
𝛼 𝑠 𝑠 : (𝛼𝑠 ) 𝑠∈𝑆 ∈ 𝑠 fin (𝑆, 𝐹 )
{︀ 𝑠∈𝑆
(2) lin 𝑆 = 𝛼1 𝑠1 + · · · + 𝛼𝑛 𝑠𝑛 : 𝑛 > 0, 𝛼1 , . . . , 𝛼𝑛 ∈ 𝐹, 𝑠1 , . . . , 𝑠𝑛 ∈ 𝑆 ;
}︀
1.22. Определение [︀
Сумма подмножеств векторного пространства и сопутствующие обозначения
]︀
1.23. Определение [︀
Фактор-пространство
]︀
§ 2. Базис и размерность
2.2. Определение [︀
Линейно независимое множество
]︀
2.3. Упражнение [︀
Свойства линейно независимых множеств
]︀
(7) В векторном пространстве 𝑠(N, Q) и даже в 𝑠(N, {0, 1}) существует линейно независимое
(︀ )︀
По традиции вместо (𝐴, 6) пишут просто 𝐴 и вводят символ 6 по умолчанию. Запись 𝑏 > 𝑎
употребляется в качестве синонима 𝑎 6 𝑏. Соотношение 𝑎 6 𝑏 обычно прочитывают «𝑎 меньше
(либо равно) 𝑏» или «𝑏 больше (либо равно) 𝑎». В случае, когда 𝑎 6 𝑏 и 𝑎 ̸= 𝑏, говорят «𝑎 (строго)
меньше 𝑏» или «𝑏 (строго) больше 𝑎» и пишут 𝑎 < 𝑏 или 𝑏 > 𝑎.
Элемент 𝑏 упорядоченного множества 𝐴 называется максимальным (в 𝐴), если в 𝐴 нет элемен-
тов, строго бо́льших 𝑏, т. е. ¬(∃ 𝑎 ∈ 𝐴) 𝑎 > 𝑏 или, что то же самое, (∀ 𝑎 ∈ 𝐴)( 𝑏 6 𝑎 ⇒ 𝑎 = 𝑏 ).
Элемент 𝑏 ∈ 𝐴 )︀называетсянаибольшим (в 𝐴), если 𝑏 больше всех остальных элементов 𝐴,
т. е. ∀ 𝑎 ∈ 𝐴∖{𝑏} 𝑏 > 𝑎 или, что то же самое, (∀ 𝑎 ∈ 𝐴) 𝑎 6 𝑏.
(︀
2.7. Теорема [︀
Существование базиса
]︀
В любом векторном пространстве существует базис. Более того, для любого линейно неза-
висимого подмножества 𝑌 векторного пространства 𝑋 существует такой базис 𝐵 простран-
ства 𝑋 , что 𝑌 ⊂ 𝐵 .
Доказательство
Пусть 𝑋 — произвольное векторное пространство над полем 𝐹 и пусть A — упорядоченное
по включению множество всех линейно независимых подмножеств 𝑋 . С учетом 2.5 и 2.6
для доказательства теоремы достаточно рассмотреть произвольную цепь C ⊂ A и показать,
что множество C ограничено сверху в A.
Обозначим через 𝑌 объединение цепи C. Ясно, что 𝑌 ⊂ 𝑋 и 𝐶 ⊂ 𝑌 для всех 𝐶 ∈ C.
Осталось заметить, что множество 𝑌 линейно независимо. Действительно, пусть скаляры
𝛼1 , . . . , 𝛼𝑛 ∈ 𝐹 и попарно различные векторы 𝑦1 , . . . , 𝑦𝑛 ∈ 𝑌 таковы, что 𝛼1 𝑦1 + · · · + 𝛼𝑛 𝑦𝑛 = 0.
Поскольку C является цепью, найдется такой элемент 𝐶 ∈ C, что 𝑦1 , . . . , 𝑦𝑛 ∈ 𝐶 . Следова-
тельно, 𝛼1 = · · · = 𝛼𝑛 = 0 ввиду линейной независимости множества 𝐶 .
2.8. Упражнение [︀
Описание базиса как минимального множества
]︀
Подсказка
В случае 𝐴 ̸= ∅ из существования упомянутого множества 𝑋 можно вывести существование
множества всех множеств, что приводит, например, к знаменитому «парадоксу Рассела»
(а также противоречит аксиоме фундирования).
Совокупности, подобные {𝐵 : |𝐴| = |𝐵|}, называют «собственными классами», и их интеграция
в формальную теорию множеств сопряжена с определенными техническими сложностями (на-
пример, переходом к более богатой теории классов или формальным расширением языка теории
множеств). Поскольку класс {𝐵 : |𝐴| = |𝐵|} однозначно определяется любым своим элементом,
более простым выходом из ситуации является рассмотрение некоторых «канонических предста-
вителей» таких классов. Оказывается, что в каждый класс {𝐵 : |𝐴| = |𝐵|} попадает ровно один
кардинал. Согласно одному из традиционных определений
(︀
кардинал — это ординал, не имею-
щий равномощных себе элементов, а ординал , в свою очередь, — это наследственно
)︀ транзитив-
ное множество, т. е. такое множество 𝛼, что (∀ 𝑥, 𝑦, 𝑧)(𝑧 ∈ 𝑦 ∈ 𝑥 ∈ 𝛼∪{𝛼} ⇒ 𝑧 ∈ 𝑥). Стало быть,
мощность |𝐴| множества 𝐴 можно определить как (единственный) кардинал, равномощный 𝐴.
Впрочем, в рамках функционального анализа мощности, как правило, задаются вполне кон-
кретными множествами: мы пишем |𝐴| = 𝑛 (𝑛 ∈ N) в случае |𝐴| = |{1, . . . , 𝑛}|; говорим
«множество 𝐴 имеет бесконечную счетную мощность», имея в виду |𝐴| = |N|; фраза «𝐴 име-
ет мощность континуума» (или «𝐴 континуально») означает |𝐴| = |R| и т. п. Таким образом,
рассуждать о мощностях можно даже не вспоминая, как они определяются, — вполне доста-
точно иметь возможность сравнивать множества по мощности (|𝐴| 6 |𝐵|) и владеть понятием
равномощных множеств (|𝐴| = |𝐵|).
Мы будем говорить, что множество 𝐴 счетно
, если |𝐴| 6 |N|. (Иногда счетными называют мно-
жества, равномощные N, а в случае |𝐴| 6 |N| говорят, что множество 𝐴 не более чем счетно
.)
Говорят, что мощность множества 𝐴 равна сумме мощностей
множеств 𝐵1 и 𝐵2 , и пишут
|𝐴| = |𝐵1 | + |𝐵2 |, если существуют такие непересекающиеся подмножества 𝐴1 , 𝐴2 ⊂ 𝐴, что
𝐴 = 𝐴1 ∪ 𝐴2 , |𝐴1 | = |𝐵1 | и |𝐴2 | = |𝐵2 |.
Отметим, что если хотя бы одно из множеств 𝐴 и 𝐵 бесконечно, то
Доказательство
Положим 𝐴 := 𝑖∈𝐼 𝐴𝑖 и 𝐵 := 𝑖∈𝐼 𝐵𝑖 . Для каждого элемента 𝑖 ∈ 𝐼 рассмотрим какую-либо
⋃︀ ⋃︀
инъекцию 𝜙𝑖 : 𝐴𝑖 → 𝐵𝑖 . Кроме того, для каждого элемента (︀ 𝑎 ∈ 𝐴 рассмотрим какой-либо
элемент 𝑖𝑎 ∈ 𝐼 , удовлетворяющий включению)︀ 𝑎 ∈ 𝐴𝑖𝑎 . Отметим, что семейства (𝜙𝑖 )𝑖∈𝐼
и (𝑖𝑎 )𝑎∈𝐴 существуют в силу аксиомы выбора. Покажем, что функция 𝜙 : 𝐴 → 𝐵 , опре-
деленная равенством 𝜙(𝑎) = 𝜙𝑖𝑎 (𝑎), является инъекцией. Действительно, пусть элементы
˜ ∈ 𝐴 таковы, что 𝜙(𝑎) = 𝜙(˜
𝑎, 𝑎 𝑎). Поскольку 𝜙(𝑎) = 𝜙𝑖𝑎 (𝑎) ∈ 𝐵𝑖𝑎 и 𝜙(˜ 𝑎) ∈ 𝐵𝑖𝑎˜ , мы
𝑎) = 𝜙𝑖𝑎˜ (˜
имеем 𝐵𝑖𝑎 ∩ 𝐵𝑖𝑎˜ ̸= ∅, а значит, 𝑖𝑎 = 𝑖𝑎˜ . Следовательно, 𝜙𝑖𝑎 (𝑎) = 𝜙𝑖𝑎 (˜
𝑎) и тем самым 𝑎 = 𝑎 ˜.
Доказательство
Для каждого элемента 𝑛 ∈ N положим 𝐵𝑛 := {𝑛} × 𝐴 = {(𝑛, 𝑎) : 𝑎 ∈ 𝐴}. Как легко видеть,
⃒⋃︀|𝐵𝑛 | для
|𝐴𝑛 | 6 |𝐴| = ⃒ всех
⃒⋃︀ 𝑛 ∈ N⃒и, кроме того, 𝐵𝑚 ∩⃒ 𝐵𝑛 = ∅ при 𝑚 ̸= 𝑛. Тогда согласно 2.10
мы имеем 𝑛∈N ({𝑛} × 𝐴) = |N × 𝐴| = max{|N|, |𝐴|} = |𝐴|.
⃒⋃︀
𝑛∈N 𝐴𝑛 6 𝑛∈N 𝐵𝑛 =
⃒ ⃒ ⃒ ⃒ ⃒ ⃒
Доказательство
Для каждого элемента 𝑖 ∈ 𝐼 положим 𝐵𝑖 := {𝑖} × N = {(𝑖, 𝑛) : 𝑛 ∈ N}. Как легко видеть,
⃒⋃︀|𝐵𝑖 | для
|𝐴𝑖 | 6 |N| = ⃒ всех
⃒⋃︀ 𝑖 ∈⃒𝐼 и,⃒⋃︀кроме того, ⃒𝐵𝑖 ∩ 𝐵𝑗 = ∅ при 𝑖 ̸= 𝑗 . Тогда согласно 2.10
мы имеем ⃒ 𝑖∈𝐼 𝐴𝑖 ⃒ 6 ⃒ 𝑖∈𝐼 𝐵𝑖 ⃒ = ⃒ 𝑖∈𝐼 ({𝑖} × N)⃒ = |𝐼 × N| = max{|𝐼|, |N|} = |𝐼|.
Доказательство
Для каждого элемента 𝑎 ∈ 𝐴 существует ⋃︀конечное подмножество 𝐵𝑎 ⊂ 𝐵 ⋃︀ такое, что
𝑎 ∈ lin 𝐵𝑎 . Как легко видеть, 𝑋 = lin 𝐴 = lin 𝑎∈𝐴 𝐵𝑎 . Поэтому подмножество 𝑎∈𝐴 𝐵𝑎 ⊂ 𝐵 ,
будучи линейно независимым, является базисом ⋃︀ пространства 𝑋 , а значит, совпадает с 𝐵 .
Если базис 𝐴 конечен, то в силу равенства 𝑎∈𝐴 𝐵𝑎 = 𝐵 базис 𝐵 тоже конечен, и в этом
случае равномощность 𝐴 и 𝐵 известна из курса ⃒⋃︀ линейной алгебры. Если же базис 𝐴 бес-
конечен, то с учетом 2.12 мы имеем |𝐵| = 𝑎∈𝐴 𝐵𝑎 6 |𝐴|. Стало быть, в любом случае
⃒
⃒ ⃒
|𝐵| 6 |𝐴|. Из аналогичных соображений следует, что |𝐴| 6 |𝐵|. Остается привлечь теорему
Кантора — Шрёдера — Бернштейна.
13
Упражнение (7) на данном этапе может оказаться весьма нетривиальным, но если принять ги-
потезу континуума (об отсутствии множеств 𝐴, удовлетворяющих соотношению |N| < |𝐴| < |R|)
и привлечь приведенную ниже теорему 2.17, то эта задача становится достаточно простой.
Доказательство
В пояснении нуждается,∑︀разве что, линейность отображения∑︀ ̂︀. Для любых 𝛼 ∈ 𝐹
𝑥 ↦→ 𝑥
и 𝑥 ∈ 𝑋 мы имеем 𝛼𝑥 = 𝑏∈𝐵 𝛼𝑥(𝑏)𝑏
̂︁ 𝑥(𝑏)𝑏. Следовательно,
. С другой стороны, 𝛼𝑥 = 𝑏∈𝐵 𝛼̂︀
𝛼𝑥
̂︁ = 𝛼̂︀ 𝑥 в силу единственности разложения 𝑥 по базису 𝐵 . Аддитивность отображения
̂︀ устанавливается совершенно аналогично.
𝑥 ↦→ 𝑥
Таким образом, всякое векторное пространство над полем 𝐹 изоморфно 𝑠fin (𝐼, 𝐹 ) для подхо-
дящего множества 𝐼 . Имея в виду этот факт, иногда говорят, что 𝑠fin (𝐼, 𝐹 ) является «общим
видом векторного пространства над 𝐹 ».
Следствие
Всякое конечномерное векторное пространство над полем 𝐹 изоморфно 𝐹 𝑛 для подходяще-
го 𝑛 > 0. (Напомним, что 𝐹 0 := {0}.)
Как легко видеть, множество {e1 , . . . , e𝑛 }, где e𝑖 = (0, . . . , 0, 1, 0, . . . , 0) с единицей в 𝑖-й позиции,
является базисом векторного пространства 𝐹 𝑛 . Этот базис обычно называют стандартным
базисом пространства 𝐹 𝑛 .
14
Доказательство
[ ⇒ ] Если 𝜙 : 𝑋 ↔
ВП
𝑌 и 𝐴 — базис 𝑋 , то 𝐵 := {𝜙(𝑎) : 𝑎 ∈ 𝐴} — базис 𝑌 и |𝐴| = |𝐵|.
[ ⇐ ] Если 𝐴 — базис 𝑋 , 𝐵 — базис 𝑌 и |𝐴| = |𝐵|, то 𝑋 ↔ 𝑠 (𝐴, 𝐹 ) ↔
ВП fin
𝑠 (𝐵, 𝐹 ) ↔
ВП fin ВП
𝑌.
Доказательство
Пусть 𝐵 — базис ⃒ 𝑋 . Для 𝑛 ∈ N обозначим через 𝑠𝑛 (𝐵, 𝐹 ) множество всех таких функций
𝑠 : 𝐵 → 𝐹 , что ⃒{𝑏 ∈ 𝐵 : 𝑠(𝑏) ̸= 0}⃒ 6 𝑛. Согласно 2.15 мы имеем 𝑋 ↔ 𝑠 (𝐵, 𝐹 ), откуда
⃒
ВП fin
с учетом 2.10 и 2.11 следует, что
⃒ ⃒ ⃒⋃︀ ⃒ ⃒⋃︀ ⃒
|𝑋| = ⃒𝑠fin (𝐵, 𝐹 )⃒ = ⃒
𝑛∈N 𝑠𝑛 (𝐵, 𝐹 )⃒ 6 ⃒𝑛∈N (𝐵 × 𝐹 )𝑛 ⃒ = |𝐵 × 𝐹 | = max{|𝐵|, |𝐹 |}.
С другой стороны, очевидно, |𝐵| 6 |𝑋| и, кроме того, |𝐹 | 6 |𝑋|, поскольку при фиксиро-
ванном 0 ̸= 𝑥 ∈ 𝑋 отображение 𝛼 ↦→ 𝛼𝑥 является инъекцией из 𝐹 в 𝑋 .
Упражнение
Пусть RQ := (R, Q, +, ·|Q×R ) — «рационализация» векторного пространства R = (R, R, +, ·).
Какова размерность RQ ?
15
§ 3. Линейные операторы
Как легко видеть, множество 𝐿(𝑋, 𝑌 ), снабженное определенными выше поточечными линей-
ными операциями, является векторным пространством над 𝐹 . Имея в виду эти операции,
𝐿(𝑋, 𝑌 ) по умолчанию считают векторным пространством.
В частности, 𝑋 # — векторное пространство над 𝐹 . Векторное пространство 𝑋 # называют
алгебраически сопряженным к векторному пространству 𝑋 .
Упражнение
Функция 𝑃 : 𝑋 → 𝑋 является проектором тогда и только тогда, когда im 𝑃 = fix 𝑃 ,
где im 𝑃 = {𝑃 (𝑥) : 𝑥 ∈ 𝑋}, fix 𝑃 = {𝑥 ∈ 𝑋 : 𝑃 (𝑥) = 𝑥}.
18
Упражнение
(2) Если 𝑃 : 𝑋 → 𝑋 — линейный проектор, то существует единственная пара подпространств
𝑌, 𝑍 ⊂
ВП
𝑋 такая, что 𝑋 = 𝑌 ⊕ 𝑍 и 𝑃 = ⟨𝑌 ‖𝑍⟩. При этом 𝑌 = im 𝑃 = fix 𝑃 и 𝑍 = ker 𝑃 .
Доказательство
Пусть 𝑥 ↦→ 𝑥 ̂︀ — изоморфизм 𝑋 ∑︀ на 𝑠fin (𝐵, 𝐹 ), фигурирующий в 2.15. Определим функ-
цию 𝑇 : 𝑋 → 𝑌 , полагая 𝑇 (𝑥) = 𝑏∈𝐵 𝑥(𝑏)𝑓
̂︀ (𝑏) для всех 𝑥 ∈ 𝑋 . Тогда, как легко видеть,
𝑇 ∈ 𝐿(𝑋, 𝑌 ) и 𝑇 𝑏(︀∑︀
= 𝑓 (𝑏) для)︀ всех 𝑏 ∈ 𝐵 . Единственность такого оператора 𝑇 вытекает из
равенств 𝑇 𝑥 = 𝑇 (𝑏).
∑︀ ∑︀
𝑏∈𝐵 𝑥(𝑏)𝑏
̂︀ = 𝑏∈𝐵 𝑥(𝑏)𝑇
̂︀ 𝑏 = 𝑏∈𝐵 𝑥(𝑏)𝑓
̂︀
19
Упражнение
Пусть 𝑋 и 𝑌 — векторные пространства над полем 𝐹 .
(1) Пусть 𝐵 — базис 𝑋 . Тогда 𝐿(𝑋, 𝑌 ) ↔ ВП
𝑠(𝐵, 𝑌 ).
(2) Проверьте гипотезу : если 𝐴 — базис 𝑋 , 𝐵 — базис 𝑌 , то 𝐿(𝑋, 𝑌 ) ↔ВП
𝑠(𝐴 × 𝐵, 𝐹 ).
(3) Пусть 𝐵 — базис 𝑋 . Оператор 𝑇 ∈ 𝐿(𝑋, 𝑌 ) является мономорфизмом тогда и только
тогда, когда сужение 𝑇 |𝐵 инъективно и множество {𝑇 𝑏 : 𝑏 ∈ 𝐵} линейно независимо.
(4) Соотношение dim 𝑋 6 dim 𝑌 равносильно существованию мономорфизма из 𝑋 в 𝑌 .
(5) Для любых 𝑥0 ∈ 𝑋∖{0}, 𝑦0 ∈ 𝑌 существует такой оператор 𝑇 ∈ 𝐿(𝑋, 𝑌 ), что 𝑇 𝑥0 = 𝑦0 .
(6) Если 𝑥 ∈ 𝑋 и (∀ 𝑓 ∈ 𝑋 # ) 𝑓 (𝑥) = 0, то 𝑥 = 0.
(7) Если 𝑥1 , 𝑥2 ∈ 𝑋 и 𝑥1 ̸= 𝑥2 , то найдется такой функционал 𝑓 ∈ 𝑋 # , что 𝑓 (𝑥1 ) ̸= 𝑓 (𝑥2 ).
(8) Если 𝑋 ̸= {0}, то 𝑋 # ̸= {0}.
Подсказка
На роль 𝑇 в утверждении√(3) подходит любой оператор 𝑇 ∈ 𝐿(RQ , RQ ), удовлетворяющий
равенствам 𝑇 (1) = 0 и 𝑇 ( 2 ) = 1.
3.13. Теорема [︀
О продолжении линейного оператора
]︀
Доказательство
Пусть 𝐵0 — базис 𝑋0 и пусть 𝐵 — базис 𝑋 , содержащий 𝐵0 (см. 2.7). Определим функ-
цию 𝑓 : 𝐵 → 𝑌 , полагая 𝑓 (𝑏0 ) := 𝑇0 𝑏0 для 𝑏0 ∈ 𝐵0 и 𝑓 (𝑏) := 0 для 𝑏 ∈ 𝐵∖𝐵0 . Остается
воспользоваться теоремой 3.11.
Другое доказательство можно получить с помощью 2.18 (3) и 3.8. Пусть 𝑋1 — какое-либо
алгебраическое дополнение 𝑋0 . Тогда 𝑇 := 𝑇0 ⟨𝑋0 ‖𝑋1 ⟩ — искомый оператор.
3.14. Упражнение [︀
Категорное описание эпиморфизма и мономорфизма
]︀
Доказательство
(1) В пояснении нуждается лишь импликация (b) ⇒ (a). Условие (b) обеспечивает импли-
кацию 𝑆𝑥1 = 𝑆𝑥2 ⇒ 𝑇 𝑥1 = 𝑇 𝑥2 для 𝑥1 , 𝑥2 ∈ 𝑋 . Следовательно, существует такая функция
𝛷0 : im 𝑆 → 𝑍 , что 𝛷0 (𝑆𝑥) = 𝑇 𝑥 для всех 𝑥 ∈ 𝑋 . Как легко видеть, 𝛷0 ∈ 𝐿(im 𝑆, 𝑍). На роль
искомого оператора подходит любое продолжение 𝛷 ∈ 𝐿(𝑌, 𝑍) оператора 𝛷0 (см. 3.13).
(2) Вновь в пояснении нуждается лишь импликация (b) ⇒ (a). Пусть 𝑌1 — алгебраическое
дополнение ker 𝑇 в 𝑌 . Тогда 𝑇1 := 𝑇 |𝑌1 : 𝑌1 ↔
ВП
im 𝑇 согласно 3.4 (5). Кроме того, благодаря
условию (b) мы имеем 𝑆 ∈ 𝐿(𝑋, im 𝑇 ). Ясно, что оператор 𝛷 := 𝑇1−1 𝑆 является искомым.
Доказательство
Необходимость очевидна. )︀ Покажем достаточность. Определим 𝑆 ∈ 𝐿(𝑋, 𝐹 ) формулой
𝑛
𝑆(𝑥) := 𝑓1 (𝑥), . . . , 𝑓𝑛 (𝑥) . С учетом (1) соотношения ker 𝑆 = ker 𝑓1 ∩ · · · ∩ ker 𝑓𝑛 ⊂ ker 𝑓
(︀
Доказательство
(1) Дополним множество {𝑥1 , . . . , 𝑥𝑛 } до базиса 𝐵 пространства 𝑋 . Согласно 3.11 для каж-
дого 𝑖 ∈ {1, . . . , 𝑛} характеристическая функция 1{𝑥𝑖 } : 𝐵 → 𝐹 подмножества {𝑥𝑖 } ⊂ 𝐵 ,
определяемая формулой {︃
1, если 𝑏 = 𝑥𝑖 ;
1{𝑥𝑖 } (𝑏) =
0, если 𝑏 ̸= 𝑥𝑖 ,
продолжается до функционала 𝑓𝑖 ∈ 𝑋 # . Ясно, что набор 𝑓1 , . . . , 𝑓𝑛 ∈ 𝑋 # является искомым.
Если 𝛼1 , . . . , 𝛼𝑛 ∈ 𝐹 таковы, что 𝛼1 𝑓1 + · · · + 𝛼𝑛 𝑓𝑛 = 0, то для каждого 𝑖 ∈ {1, . . . , 𝑛} мы
имеем 0 = 𝛼1 𝑓1 (𝑥𝑖 ) + · · · + 𝛼𝑖 𝑓𝑖 (𝑥𝑖 ) + · · · + 𝛼𝑛 𝑓𝑛 (𝑥𝑖 ) = 𝛼𝑖 . Следовательно, набор функционалов
𝑓1 , . . . , 𝑓𝑛 является линейно независимым.
(2) Благодаря 3.17 для каждого 𝑖 ∈ {1, . . . , 𝑛} найдется такой вектор 𝑦𝑖 ∈ 𝑋 , что 𝑓𝑖 (𝑦𝑖 ) ̸= 0
и 𝑓𝑗 (𝑦𝑖 ) = 0 при 𝑗 ̸= 𝑖. Ясно, что векторы 𝑥𝑖 := 𝑓𝑖 (𝑦
1
𝑖)
𝑦𝑖 являются искомыми.
Упражнение
(1) Если 𝜙 ∈ 𝑋 # , то 𝜙R ∈ (𝑋R )# . Если 𝑓 ∈ (𝑋R )# , то 𝑓C ∈ 𝑋 # .
(2) Отображения 𝜙 ↦→ 𝜙R и 𝑓 ↦→ 𝑓C являются взаимно обратными биекциями между множе-
ствами 𝑋 # и (𝑋R )# .
Говорят, что последовательность (𝑓𝑛 )𝑛∈N ⊂ 𝑠(Ω, R) поточечно убывает , если 𝑓𝑛+1 6 𝑓𝑛 для
всех 𝑛 ∈ N. Для 𝑓 ∈ 𝑠(Ω, R) запись 𝑓𝑛 ↓𝑓 означает, что последовательность (𝑓𝑛 )𝑛∈N , во-первых,
поточечно убывает и, во-вторых, поточечно сходится к 𝑓 , т. е. lim 𝑓𝑛 (𝜔) = 𝑓 (𝜔) для всех 𝜔 ∈ Ω
поточечно
𝑛→∞
или, что в данном случае равносильно, inf 𝑓𝑛 (𝜔) = 𝑓 (𝜔) для всех 𝜔 ∈ Ω. Понятие
возрастающей последовательности функций и запись 𝑓𝑛 ↑𝑓 вводятся аналогично.
𝑛∈N
4.2. [︀
Система с интегрированием
]︀
виям:
(1) S ⊂ВП
𝑠(Ω, R);
(2) если 𝑠 ∈ S и 𝛼 ∈ R+ , то 𝑠∧(𝛼1Ω ) ∈ S;
(3) : S → R — линейный функционал, т. е. ∈ S# ;
∫︀ ∫︀
Упражнение
Изменится ли понятие системы с интегрированием, если в (2) потребовать 𝑠∧(𝛼1Ω ) ∈ S лишь
для 𝛼 = 0 и 𝛼 = 1?
символы S и ∫︀по умолчанию. При этом S иногда называют пространством простых функций
,
а функционал — предынтегралом .
23
4.4. [︀
Связь между пространством с мерой и системой с интегрированием
]︀
S R
{︀∑︀𝑛 }︀ ∫︀ (︀∑︀𝑛
Заметим, что и
)︀
= 𝑖=1 𝛼𝑖 1𝐴 𝑖
: 𝑛 ∈ N, 𝛼 1 , . . . , 𝛼 𝑛 ∈ R, 𝐴 1 , . . . , 𝐴 𝑛 ∈ 𝑖=1 𝛼𝑖 1𝐴 𝑖
=
𝑖=1 𝛼𝑖 𝜇(𝐴𝑖 ) для любых 𝑛 ∈ N, 𝛼1 , . . . , 𝛼𝑛 ∈ R, 𝐴1 , . . . , 𝐴𝑛 ∈ R.
∑︀𝑛
4.5. [︀
Интегрируемые по Лебегу функции и интеграл Лебега
]︀
Ω
: L1 (Ω) → R называют интегралом Лебега .
∫︀ видеть, если 𝑓 ∈ S, то 𝑓 ∈ L (Ω) и интеграл Лебега Ω 𝑓 функции 𝑓 равен ее предын-
Как легко 1
∫︀
тегралу ∫︀𝑓 . Это обстоятельство позволяет опускать индекс Ω в обозначении интеграла Лебега
и писать 𝑓 вместо Ω 𝑓 не только для 𝑓 ∈ S, но и для любых функций 𝑓 ∈ L1 (Ω).
∫︀
Система с интегрированием Ω, S,
(︀ ∫︀ )︀
называетсярасширением системы (Ω, S, )
∫︀
по Лебегу
или
лебеговским расширением системы (Ω, S, ).
∫︀
Ω, S1 , 1 , то S1 = S2 и 1 = 2 .
∫︀
𝑓 ∈∫︀L(Ω): если 𝑓 ∈
+
/ L (Ω) и 𝑓 ∈ L (Ω), то полагают 𝑓 := ∞, а если
1 − 1
∫︀ 𝑓 ∈ L (Ω) и 𝑓 ∈
+ 1 −
/ L1 (Ω),
то 𝑓 := −∞. В случае же 𝑓 ∈
+
/ L (Ω) и 𝑓 ∈
1 −
/ L (Ω) символ 𝑓 остается бессмысленным.
1
Заметим, что запись 𝑓 имеет смысл для любой функции 𝑓 ∈ L(Ω), 𝑓 > 0; при этом 𝑓 ∈ [0, ∞].
∫︀ ∫︀
4.8. [︀
Мера Лебега
]︀
𝑛→∞
25
Пространство с мерой Ω, M1 (Ω), 𝜇Ω ⃒M1 (Ω) называют пространством с мерой Лебега или лебе-
(︀ ⃒ )︀
Из сказанного выше сразу следует, что для любой совокупности B ⊂ P(𝑋) пересечение всех
𝜎 -алгебр, содержащих B, является наименьшей (по включению) 𝜎 -алгеброй, содержащей B.
Такая 𝜎 -алгебра называется 𝜎 -алгеброй, порожденной
B, и обозначается символом 𝜎B.
(12) Если 𝐴𝑛 ∈ M1 (Ω) (𝑛 ∈ N) и 𝐴𝑛 ⊃ 𝐴𝑛+1 для всех 𝑛 ∈ N, то 𝜇 𝑛∈N 𝐴𝑛 = inf 𝑛∈N 𝜇(𝐴𝑛 ).
(︀⋂︀ )︀
27
Таким образом, множество всех бэровских функций из 𝑋 в R является наименьшим (по вклю-
чению) 𝑠-замкнутым подмножеством 𝑠(𝑋, R), содержащим 𝐶(𝑋, R).
(2) Если 𝑓 ∈ L(Ω)+ , то найдется такая последовательность (𝑠𝑛 )𝑛∈N ⊂ St(Ω)+ , что 𝑠𝑛 ↑𝑓 .
(3) Справедливо включение St(Ω) ⊂ L(Ω).
(4) Функция 𝑓 : Ω → R принадлежит St1 (Ω) тогда и только тогда, когда
∑︀𝑛
𝑓 ∑︀
= 𝑖=1 𝛼𝑖 1𝐴𝑖
для некоторых 𝑛 ∈ N, 𝛼1 , . . . , 𝛼𝑛 ∈ R и 𝐴1 , . . . , 𝐴𝑛 ∈ M (Ω). При этом 𝑓 = 𝑖=1 𝛼𝑖 𝜇(𝐴𝑖 ).
𝑛
1
∫︀
(7) Для любой функции ∫︀ 𝑓 ∈ L (Ω) существует ∫︀такая последовательность (𝑠𝑛 )𝑛∈N ⊂ St (Ω),
1 1
(16) Если 𝑓 ∈ L(Ω), 𝑔 ∈ L1 (Ω) и |𝑓 (𝜔)| 6 |𝑔(𝜔)| для почти всех 𝜔 ∈ Ω, то 𝑓 ∈ L1 (Ω).
(17) Если 𝑓, 𝑔 ∈ L1 (Ω) и 𝑓 (𝜔) 6 𝑔(𝜔) для почти всех 𝜔 ∈ Ω, то 𝑓 6 𝑔 .
∫︀ ∫︀
(20) Функция 𝑓 : Ω → R принадлежит L1 (Ω) тогда и только тогда, когда 𝑓 ∈ L(Ω) и |𝑓 | < ∞.
∫︀
(21) Если 𝑓 ∈ L1 (Ω), (𝑓𝑛 )𝑛∈N ⊂ L1 (Ω) и lim |𝑓 − 𝑓𝑛 | = 0, то существует такая подпоследо-
∫︀
𝑛→∞
вательность (𝑓𝑛𝑘 )𝑘∈N , что 𝑓𝑛𝑘 → 𝑓 .
п.в.
и |𝑓𝑛 (𝜔)| 6 |𝑔(𝜔)| для всех 𝑛 ∈ N и почти всех 𝜔 ∈ Ω. Тогда 𝑓𝑛 , 𝑓 ∈ L (Ω) и lim 𝑓𝑛 = 𝑓 .
1
𝑛→∞
Утверждение последней теоремы сохранит силу, если условие 𝑔 ∈ L1 (Ω) ослабить, потребовав
лишь, чтобы функция 𝑔 : Ω → R обладала свойством 𝑁 (𝑔) < ∞, где 𝑁 : 𝑠(Ω, R) → R ∪ {∞} —
функция, фигурирующая в 4.5.
29
𝜔 ∈ Ω. Множество всех
(︀ интегрируемых (измеримых) по Лебегу функций 𝑓 : Ω → C обозначается
символом L (Ω, C) соответственно L(Ω, C) . Для 𝑓 ∈ L1 (Ω, C) полагают
1
)︀
∫︀ ∫︀ ∫︀
Ω
𝑓 := Ω
(Re 𝑓 ) + 𝑖 Ω
(Im 𝑓 ).
Как легко видеть, L1 (Ω, C) ⊂ L(Ω, и ∈ L1 (Ω, C)# . Отметим также, что |𝑓 | ∈ L(Ω)
∫︀
ВП
C) ⊂
ВП
𝑠(Ω, C) Ω
для всех 𝑓 ∈ L(Ω, C), причем |𝑓 | ∈ L1 (Ω) в случае 𝑓 ∈ L1 (Ω, C).
В связи с возникновением обозначений L1 (Ω, C) и L(Ω, C) уместно ввести аналогичные синони-
мы L1 (Ω, R) и L(Ω, R) для множеств R-значных функций L1 (Ω) и L(Ω).
всех таких функций 𝑓 обозначается символом 𝐶0 (R𝑛 ). Для 𝑓 ∈ 𝐶0 (R𝑛 ) обозначим через 𝑓
∫︀
Множества вида [𝑎, 𝑏], [𝑎, 𝑏[, ]𝑎, 𝑏] или ]𝑎, 𝑏[, где 𝑎, 𝑏 ∈ R, 𝑎 6 𝑏, называются промежутками в R.
Длину промежутка 𝐼 обозначим символом |𝐼|. Блоками в R𝑛 условимся называть декартовы
произведения вида 𝐼1 × · · · × 𝐼𝑛 , где 𝐼1 , . . . , 𝐼𝑛 — промежутки в R. Объем |𝐼1 | · . . . · |𝐼𝑛 | блока
𝐵 = 𝐼1 × · · · × 𝐼𝑛 обозначим через |𝐵|. Пусть 𝐵𝑈 (R𝑛 ) — совокупность всевозможных объедине-
ний 𝐵1 ∪ · · · ∪ 𝐵𝑘 конечных семейств попарно непересекающихся блоков 𝐵𝑖 ⊂ R𝑛 . Однозначно
определяемую множеством 𝑈 = 𝐵1 ∪ · · · ∪ 𝐵𝑘 сумму |𝐵1 | + · · · + |𝐵𝑘 | обозначим через |𝑈 |.
Все определения и факты, приведенные выше в этом разделе, сохраняют силу при замене R𝑛
на
(︀ произвольное открытое подмножество Ω ⊂ R𝑛 . В частности, система с интегрированием
и система с интегрированием, полученная из пространства с мерой
∫︀ )︀ (︀ )︀
Ω, 𝐶0 (Ω), Ω, 𝐵𝑈 (Ω), |·|
в соответствии с 4.4, имеют одно и то же расширение по Лебегу Ω, L1 (Ω), Ω и, кроме того,
(︀ ∫︀ )︀
для любой функции 𝑓 ∈ L1 (Ω) существует последовательность (𝑠𝑚 )𝑚∈N ⊂ 𝐶0 (Ω) такая, что
lim Ω |𝑓 −𝑠𝑚 | = 0. При этом функция 𝑓 : Ω → R измерима (интегрируема) по Лебегу на Ω тогда
∫︀
𝑚→∞
и только тогда, когда ее продолжение 𝑓0∫︀: R𝑛 →∫︀ R нулем (см. 4.23) измеримо (соответственно,
интегрируемо) по Лебегу на R𝑛 , причем Ω 𝑓 = R𝑛 𝑓0 для 𝑓 ∈ L1 (Ω).
В случае Ω = ]𝑎, 𝑏[ ⊂ R, где −∞ 6 𝑎 6 𝑏 6 ∞, множества L(Ω) и L1 (Ω) обычно обозначают
∫︀ 𝑏 ∫︀ 𝑏
символами L(𝑎, 𝑏) и L1 (𝑎, 𝑏), а вместо Ω 𝑓 пишут 𝑎 𝑓 или 𝑎 𝑓 (𝑥) 𝑑𝑥.
∫︀
31
§ 5. Нормированные пространства
5.3. Упражнение [︀
Оценка разности норм
]︀
цированной
⃒
из 𝑋 . Ясно, что при этом (𝑌, ‖·‖𝑌 ) ⊂
НП
(𝑋, ‖·‖𝑋 ). Рассматривая какое-либо векторное
подпространство 𝑌 ⊂ 𝑋 , как правило, по умолчанию снабжают 𝑌 индуцированной нормой, тем
самым сразу считая, что 𝑌 ⊂ НП
𝑋 . При этом 𝑌 иногда называют «подпространством» (опуская
слова «векторное» или «нормированное»).
32
Упражнение
Пусть 𝑋 — векторное пространство над F, ‖·‖ : 𝑋 → R и 𝜌 : 𝑋 2 → R.
(1) Если (𝑋, ‖·‖) — нормированное пространство и 𝜌(𝑥, 𝑦) = ‖𝑥 − 𝑦‖ для всех 𝑥, 𝑦 ∈ 𝑋 ,
то (𝑋, 𝜌) — метрическое векторное пространство.
(2) Если (𝑋, 𝜌) — метрическое векторное пространство и ‖𝑥‖ = 𝜌(𝑥, 0) для всех 𝑥 ∈ 𝑋 ,
то (𝑋, ‖·‖) — нормированное пространство.
Всякое нормированное пространство (𝑋, ‖·‖) по умолчанию снабжают метрикой 𝜌(𝑥, 𝑦) = ‖𝑥−𝑦‖
и тем самым считают метрическим пространством.
когда ‖𝑥𝑛 − 𝑥‖ → 0 при 𝑛 → ∞. Как легко видеть, всякая последовательность имеет не более
одного предела.
Пусть (𝑥𝑛 )𝑛∈N ⊂ 𝑋 . Говорят, что
∑︀∞
ряд
∑︀∞
𝑥
∑︀∞𝑛=1 𝑛
сходится
(в 𝑋 или по норме ‖·‖) к элементу
∑︀𝑁
𝑥 ∈ 𝑋 , и пишут 𝑛=1 𝑥𝑛 = 𝑥 или 𝑥 = 𝑛=1 𝑥𝑛 (по ‖·‖), если lim 𝑛=1 𝑥𝑛 = 𝑥 (по ‖·‖). После-
суммируемой
𝑁 →∞
довательность (𝑥𝑛 )𝑛∈N ⊂ 𝑋 ∑︀называют (в 𝑋 или по норме ‖·‖), если существует
такой элемент 𝑥 ∈ 𝑋 , что ∞
𝑥 = 𝑥 (по ‖·‖). В этом случае
∑︀∞элемент 𝑥 называют суммой ря-
да ∑︀∞ 𝑛=1 𝑛
𝑛=1 𝑥𝑛 (в 𝑋 или по норме ‖·‖) и обозначают символом 𝑛=1 𝑥𝑛 . (Корректность введенных
обозначений обеспечивается очевидной единственностью суммы ряда.)
Подмножество 𝑌 ⊂ 𝑋 открыто
в 𝑋 (или открыто по норме ‖·‖) тогда и только тогда, когда
для любого элемента 𝑦 ∈ 𝑌 существует такое число 𝜀 > 0, что 𝐵(𝑦, 𝜀) ⊂ 𝑌 , где 𝐵(𝑦, 𝜀) :=
{𝑥 ∈ 𝑋 : ‖𝑥 − 𝑦‖ < 𝜀}.
Подмножество 𝑌 ⊂ 𝑋 замкнуто в 𝑋 (или замкнуто по норме ‖·‖) тогда и только тогда, когда
его дополнение 𝑋∖𝑌 открыто в 𝑋 по норме. Имеется также критерий замкнутости в терминах
последовательностей: подмножество 𝑌 ⊂ 𝑋 замкнуто тогда и только тогда, когда для любых
‖·‖
(𝑦𝑛 )𝑛∈N ⊂ 𝑌 и 𝑥 ∈ 𝑋 из сходимости 𝑦𝑛 −→ 𝑥 следует включение 𝑥 ∈ 𝑌 .
Подмножество 𝑌0 ⊂ 𝑋 является внутренностью (по норме ‖·‖) подмножества 𝑌 ⊂ 𝑋 , если
𝑌0 — наибольшее (по включению) открытое подмножество 𝑋 , содержащееся в 𝑌 . Внутренность
множества 𝑌 обозначается символом int 𝑌 . Ясно, что int 𝑌 = {𝑦 ∈ 𝑌 : (∃ 𝜀 > 0) 𝐵(𝑦, 𝜀) ⊂ 𝑌 }.
Как легко видеть, если 𝑍 ⊂ 𝑌 ⊂ 𝑋 , то int 𝑍 ⊂ int 𝑌 .
33
Этот факт иногда формулируют фразой «норма непрерывна относительно себя самой».
Векторное пространство F по умолчанию снабжается нормой ‖𝑥‖ := |𝑥| и тем самым считается
нормированным пространством: F := (F, |·|).
Упражнение
(3) Пусть 𝑛 ∈ N, 𝑝 ∈ R, 𝑝 > 1. Тогда функция ‖·‖𝑝 : F𝑛 → R, определенная формулой
𝑛
(︂∑︁ )︂𝑝1
𝑝
‖𝑥‖𝑝 := |𝑥𝑖 | , 𝑥 = (𝑥1 , . . . , 𝑥𝑛 ) ∈ F𝑛 ,
𝑖=1
является нормой на F . 𝑛
Для 𝑝 ∈ [1, ∞] векторное пространство ℓ𝑝 по умолчанию снабжается нормой ‖·‖𝑝 и тем самым
считается нормированным пространством: ℓ𝑝 := (ℓ𝑝 , ‖·‖𝑝 ).
36
Упражнение
(8) Функция ‖·‖∞ : ℓ∞ (𝐼, 𝑋) → R, определенная формулой
‖𝑓 ‖∞ := sup ‖𝑓 (𝑖)‖, 𝑓 ∈ ℓ∞ (𝐼, 𝑋),
𝑖∈𝐼
является нормой на ℓ (𝐼, 𝑋).
∞
существенным супремумом
обозначается символом ess sup 𝑔(𝜔) или vrai sup 𝑔(𝜔) и называется
функции 𝑔 на Ω. В случае ess sup |𝑓 (𝜔)| < ∞ функцию 𝑓 : Ω → F называют существенно огра-
𝜔∈Ω 𝜔∈Ω
ниченной . 𝜔∈Ω
Упражнение
(1) Если 𝑓 ∈ L(Ω, F), то |𝑓 (𝜔)| 6 𝑁∞ (𝑓 ) для почти всех 𝜔 ∈ Ω.
(2) Для любого 1 6 𝑝 6 ∞ функция 𝑁𝑝 : L(Ω, F) → R является полунормой на L(Ω, F).
Для 1 6 𝑝 6 ∞ положим L𝑝 (Ω, F) := {𝑓 ∈ L(Ω, F) : 𝑁𝑝 (𝑓 ) < ∞}. Следует отметить, что благо-
(︀
даря 4.19 (20) это обозначение согласуется с 4.5 и 4.22 — в том смысле, что)︀в случае 𝑝 = 1 вве-
денное здесь множество L𝑝 (Ω, F) совпадает с определенным ранее L1 (Ω, F). Как легко видеть,
𝐿𝑝 (Ω, F) = L𝑝 (Ω, F)/≈, где ≈ — отношение равенства почти всюду, рассматриваемое на L𝑝 (Ω, F).
Кроме того, L𝑝 (Ω, F) ⊂ L(Ω, F), сужение 𝑁𝑝∘ := 𝑁𝑝 ⃒L𝑝 (Ω,F) является полунормой на L𝑝 (Ω, F)
⃒
ВП
и нормированное пространство 𝐿𝑝 (Ω, F) совпадает с нормированным фактор-пространством
L𝑝 (Ω, F)/𝑁𝑝∘ .
38
ются как сокращения записи 𝐴 𝑓 (см. 4.24), где 𝑓 ∈ L1 (Ω) — представитель класса 𝑥 ∈ 𝐿1 (Ω).
5.16. Определение [︀
Нормированное фактор-пространство
]︀
Упражнение
(1) Функция ‖·‖ : 𝑋/𝑍 → R является полунормой на 𝑋/𝑍 .
(2) Функция ‖·‖ : 𝑋/𝑍 → R является нормой тогда и только тогда, когда 𝑍 замкнуто в 𝑋 .
5.17. Теорема [︀
О существовании нормы
]︀
5.18. Упражнение [︀
Существование нормы с заданными значениями
]︀
Доказательство
Предположим, что ‖𝑥‖ = ̸ ‖𝑥‖′ для некоторого элемента 𝑥 ∈ 𝑋 . Пусть для определенности
‖𝑥‖ < ‖𝑥‖ . Заметим, что ‖𝑥‖ =
′
̸ 0 (так
⃦ 1 как⃦ в противном случае 𝑥 = 0 и, следовательно,
‖𝑥‖ = ‖𝑥‖′ ). Тогда, с одной стороны, ⃦ ‖𝑥‖ 1
𝑥⃦ = ‖𝑥‖ ‖𝑥‖ = 1 и тем самым ‖𝑥‖
1
𝑥 ∈ 𝐵 , а с другой
⃦ 1 ⃦′
стороны, ⃦ 𝑥⃦ = 1 ‖𝑥‖′ > 1 и тем самым 1 𝑥 ∈
‖𝑥‖ ‖𝑥‖ ‖𝑥‖
/ 𝐵′.
Доказательство
[ ⇐ ] Пусть 𝐵 = {𝑥 ∈ 𝑋 : ‖𝑥‖ 6 1}, где ‖·‖ — норма на 𝑋 . Непустота и выпуклость множе-
[︀ства1 𝐵 1очевидны. Кроме того, если 𝑥 ∈ 𝑋∖{0}, то, как легко видеть, {𝜆 ∈ R : 𝜆𝑥 ∈ 𝐵} =
− ‖𝑥‖ , ‖𝑥‖ .
]︀
[ ⇒ ] Пусть 𝐵 ⊂ 𝑋 — линейный шар. Ясно, что для любого элемента 𝑥 ∈ 𝑋∖{0} существует
единственное число 𝛼 > 0 такое, что {𝜆 ∈ R : 𝜆𝑥
[︀ ∈1 𝐵}1 =]︀ [−𝛼, 𝛼]. Пусть функция ‖·‖ : 𝑋 → R
такова, что ‖0‖ = 0 и {𝜆 ∈ R : 𝜆𝑥 ∈ 𝐵} = − ‖𝑥‖ , ‖𝑥‖ при 𝑥 ̸= 0. (Как легко видеть, ‖·‖
является функционалом Минковского, соответствующим подмножеству 𝐵 ⊂ 𝑋 , см. 5.21.)
Пусть 𝑥, 𝑦 ∈ 𝑋 . Покажем, что ‖𝑥 + 𝑦‖ 6 ‖𝑥‖ + ‖𝑦‖.
вий (a)–(h).
Говорят, что нормы ‖·‖ и ‖·‖′ эквивалентны
, и пишут ‖·‖ ∼ ‖·‖′ , если ‖·‖ 4 ‖·‖′ 4 ‖·‖. Та-
ким образом, нормы эквивалентны тогда и только тогда, когда они порождают одну и ту же
топологию, т. е. все связанные этими нормами топологические понятия попарно идентичны.
5.25. Упражнение [︀
Сравнение норм в терминах компактности
]︀
Доказательство
Достаточно рассмотреть произвольную норму ‖·‖ на F𝑛 и доказать, что ‖·‖ ∼ ‖·‖∞ .
Покажем, что ‖·‖ 4 ‖·‖∞ , используя 5.24 (a).
∑︀𝑛
Пусть {e1 , . . . , e𝑛 } — стандартный базис F𝑛 . Положим 𝛼 = 𝑖=1 ‖e𝑖 ‖. Тогда для всех
⃦∑︀𝑛 ⃦ ∑︀𝑛 𝑛 ∑︀𝑛
𝑥 ∈ F мы имеем ‖𝑥‖ =
𝑛 ⃦
𝑖=1 𝑥(𝑖)e𝑖 6
⃦
𝑖=1 |𝑥(𝑖)| ‖e𝑖 ‖ 6 max |𝑥(𝑖)| 𝑖=1 ‖e𝑖 ‖ = 𝛼‖𝑥‖∞ .
𝑖=1
Наша цель — доказать, что (∃ 𝛽 > 0)(∀ 𝑥 ∈ 𝑆) ‖𝑥‖ > 𝛽 , где 𝑆 = {𝑥 ∈ F𝑛 : ‖𝑥‖∞ = 1}.
Как известно, множество 𝑆 компактно в (F𝑛 , ‖·‖∞ ), а значит, для любой непрерывной
функции 𝑓 : F𝑛 → R существует min{𝑓 (𝑥) : 𝑥 ∈ 𝑆}. Стало быть, достаточно установить
непрерывность нормы ‖·‖ как функции из (F𝑛 , ‖·‖∞ ) в R.
Доказательство
В силу 5.26 мы имеем ‖·‖ ∼ ‖·‖∞ для любой нормы ‖·‖ на F𝑛 . Следовательно, каждое из
утверждений (a) и (b) равносильно сходимости 𝑥𝑚 → 𝑥 по ‖·‖∞ , которая, как легко видеть,
равносильна (c).
Доказательство
Рассмотрим произвольный изоморфизм 𝜙 : F𝑛 ↔ ВП
𝑋 (см. 2.15) и введем на F𝑛 норму ‖·‖𝜙 ,
полагая ‖𝑦‖𝜙 := ‖𝜙(𝑦)‖𝑋 для всех 𝑦 ∈ F . Остается воспользоваться 5.27 или же, заметив,
𝑛
что ‖·‖𝜙 ∼ ‖·‖∞ в силу 5.26, привлечь известный критерий компактности в (F𝑛 , ‖·‖∞ ).
Доказательство
[ ⇒ ] Согласно 2.15 мы имеем 𝑋 ↔ 𝑠 (𝐵, F), где
ВП fin ∑︀ 𝐵 — базис 𝑋 . Рассмотрим следующие две
нормы на 𝑠fin (𝐵, F): ‖𝑥‖∞ = sup |𝑥(𝑏)|, ‖𝑥‖1 = |𝑥(𝑏)| (ср. доказательство 5.17). Остается
𝑏∈𝐵 𝑏∈𝐵
показать, что ‖·‖∞ ‖·‖1 при бесконечном 𝐵 .
Подсказка
Это утверждение можно довольно легко доказать с помощью 5.18.
43
Упражнение
Пусть 𝑋 — векторное пространство над R и пусть 6 — некоторое бинарное отношение на 𝑋 .
Положим 𝑋 + := {𝑥 ∈ 𝑋 : 0 6 𝑥}. Пара (𝑋, 6) является упорядоченным векторным про-
странством тогда и только тогда, когда
(1) 0 ∈ 𝑋 + ;
(2) (∀ 𝑥 ∈ 𝑋)( 𝑥, −𝑥 ∈ 𝑋 + ⇒ 𝑥 = 0 );
(3) (∀ 𝑥, 𝑦 ∈ 𝑋 + ) 𝑥 + 𝑦 ∈ 𝑋 + ;
(4) (∀ 𝑥 ∈ 𝑋 + )(∀ 𝛼 ∈ R+ ) 𝛼𝑥 ∈ 𝑋 + ;
(5) (∀ 𝑥, 𝑦 ∈ 𝑋)( 𝑥 6 𝑦 ⇔ 𝑦 − 𝑥 ∈ 𝑋 + ).
𝐺(𝛼1 , . . . , 𝛼𝑚 , 𝑥1 , . . . , 𝑥𝑛 ) в 𝑋 .
[︀ ]︀
(∀ 𝛼1 , . . . , 𝛼𝑚 ∈ R)(∀ 𝑥1 , . . . , 𝑥𝑛 ∈ 𝑋) 𝐹 (𝛼1 , . . . , 𝛼𝑚 , 𝑥1 , . . . , 𝑥𝑛 )
Упражнение
Пусть (𝑋, ‖·‖, 6) — нормированная решетка, 𝑥, 𝑦 ∈ 𝑋 , (𝑥𝑛 )𝑛∈N , (𝑦𝑛 )𝑛∈N ⊂ 𝑋 . Тогда
(1) ‖𝑥‖ = ⃦|𝑥|⃦;
⃦ ⃦
‖·‖ ‖·‖
(5) если 𝑥𝑛 −→ 𝑥, 𝑦𝑛 −→ 𝑦 и 𝑥𝑛 6 𝑦𝑛 для всех 𝑛 ∈ N, то 𝑥 6 𝑦 ;
‖·‖
(6) если 𝑥𝑛 > 0 для всех 𝑛 ∈ N и 𝑥𝑛 −→ 𝑥, то 𝑥 > 0.
Доказательство
∫︀ ∈ Ω. Поскольку 𝑓 ∈ L (Ω), имеется последовательность
Пусть |𝑓 (𝜔)| 6 𝑐 для почти всех 𝜔 1
(𝑠𝑚 )𝑚∈N ⊂ 𝐶0 (Ω) такая, что lim Ω |𝑓 − 𝑠𝑚 | = 0 (см., например, 4.25). Для 𝑚 ∈ N положим
𝑚→∞
𝑚 = (𝑠𝑚 ) .
𝑠′𝑚 := 𝑠𝑚 ∧𝑐1Ω , 𝑠′′𝑚 = 𝑠′𝑚 ∨(−𝑐1Ω ), 𝑠′′′ ′ +
и аналогично
‖·‖
[𝑠′′𝑚 ] = [𝑠′𝑚 ∨(−𝑐1Ω )] = [𝑠′𝑚 ]∨[−𝑐1Ω ] −→ [𝑓 ]∨[−𝑐1Ω ] = [𝑓 ∨(−𝑐1Ω )] = [𝑓 ].
Если же 0 6 𝑓 (𝜔) 6 𝑐 для почти всех 𝜔 ∈ Ω, то согласно 5.34 (4) и 5.35 мы имеем
‖·‖
[𝑠′′′ ′ + ′ + + +
𝑚 ] = [(𝑠𝑚 ) ] = [𝑠𝑚 ] −→ [𝑓 ] = [𝑓 ] = [𝑓 ],
(c) 𝑌 ⊂ cl 𝑆 .
Подмножество 𝑆 ⊂ 𝑋 называется всюду плотным , если 𝑆 плотно в 𝑋 .
Метрическое пространство 𝑋 называется сепарабельным , если в 𝑋 имеется счетное всюду плот-
ное подмножество. Нормированное пространство называют сепарабельным, если оно сепара-
бельно как метрическое пространство со стандартной метрикой 𝜌(𝑥, 𝑦) = ‖𝑥 − 𝑦‖ (см. 5.5).
Упражнение
Всякое конечномерное нормированное пространство сепарабельно.
пространство 𝐿1 (Ω).
(5) Пусть Ω — система с интегрированием. Тогда [𝑠] : 𝑠 ∈ St(Ω) — всюду плотное подпро-
{︀ }︀
странство 𝐿∞ (Ω).
st
(6) Обозначим символом (N, F) совокупность всех таких последовательностей 𝑥 : N → F,
st
что множество {𝑥(𝑛) : 𝑛 ∈ N} конечно. Тогда (N, F) — всюду плотное подпростран-
ство ℓ∞ (N, F).
Пусть Ω — система с интегрированием и 1 6 𝑝 < ∞. Тогда [𝑠] : 𝑠 ∈ St1 (Ω) — всюду плотное
{︀ }︀
подпространство 𝐿𝑝 (Ω).
Доказательство
Пусть 𝑓 ∈ 𝑥 ∈ 𝐿𝑝 (Ω). Покажем существование такой последовательности (𝑠𝑛 )𝑛∈N ⊂ St1 (Ω),
что ‖𝑥 − [𝑠𝑛 ]‖𝑝 → 0 при 𝑛 → ∞.
Сразу заметим, что можно ограничиться случаем 𝑓 > 0.
для всех 𝑇 ∈ 𝐿(𝑋, 𝑌 ) и 𝑥 ∈ 𝑋 . Каким бы естественным ни казалось это желание, оно в общем
случае неосуществимо. Дело в том, что существуют нормированные пространства 𝑋 и 𝑌 над F
и операторы 𝑇 ∈ 𝐿(𝑋, 𝑌 ) такие, что никакое число 𝐶 > 0 не может удовлетворять неравенству
‖𝑇 𝑥‖𝑌 6 𝐶‖𝑥‖𝑋 для всех 𝑥 ∈ 𝑋 (см. 6.3 и 6.14).
рованным
∑︀∞ подпространством ℓ ), возьмем 𝑌 = F и определим функцию 𝑇 : 𝑋 → 𝑌 формулой
∞
𝑇 𝑥 = 𝑛=1 𝑥(𝑛). Тогда, как легко видеть, 𝑇 ∈ 𝐿(𝑋, 𝑌 ), причем никакое число 𝐶 > 0 не может
удовлетворять неравенству ‖𝑇 𝑥‖𝑌 6 𝐶‖𝑥‖𝑋 для всех 𝑥 ∈ 𝑋 , поскольку в случае
(︀ )︀
𝑥 = 1, . . . , 1, 0, 0 . . .
⏟ ⏞
𝑚 единиц
‖𝑇 𝑥‖
‖𝑇 ‖ = sup = sup ‖𝑇 𝑥‖ = sup ‖𝑇 𝑥‖ = sup ‖𝑇 𝑥‖,
𝑥̸=0 ‖𝑥‖ ‖𝑥‖61 ‖𝑥‖<1 ‖𝑥‖=1
(1) Раскрыв запись ‖𝑇 𝑥‖𝑌 с помощью имеющихся формул для 𝑇 𝑥 и ‖·‖𝑌 , следует попробовать
оценить сверху полученное выражение, стремясь получить как можно более точную оценку
вида 𝐶‖𝑥‖𝑋 : ‖𝑇 𝑥‖𝑌 6 · · · 6 · · · 6 𝐶‖𝑥‖𝑋 , где 𝐶 > 0 — число, не зависящее от 𝑥.
(2) Если на этапе (1) найдено требуемое число 𝐶 , можно попытаться доказать, что 𝐶 = ‖𝑇 ‖.
(a) Для начала стоит попробовать обнаружить такой ненулевой элемент 𝑥 ∈ 𝑋 , что
‖𝑇 𝑥‖𝑌 = 𝐶‖𝑥‖𝑋 . В случае успеха равенство 𝐶 = ‖𝑇 ‖ будет установлено. (Следует
иметь в виду, что такой элемент 𝑥 не всегда существует.)
(b) Если попытка (a) провалилась, можно попытаться найти такую последовательность
(𝑥𝑛 )𝑛∈N ⊂ 𝑋 , что ‖𝑥𝑛 ‖𝑋 6 1 для всех 𝑛 ∈ N и ‖𝑇 𝑥𝑛 ‖𝑌 → 𝐶 при 𝑛 → ∞ или хотя бы
sup𝑛∈N ‖𝑇 𝑥𝑛 ‖𝑌 > 𝐶 . В любом из этих случаев равенство 𝐶 = ‖𝑇 ‖ будет установлено.
(c) Если (b) вызывает затруднение, стоит поискать несчетное семейство (𝑥𝑖 )𝑖∈𝐼 ⊂ 𝑋
такое, что ‖𝑥𝑖 ‖𝑋 6 1 для всех 𝑖 ∈ 𝐼 и sup𝑖∈𝐼 ‖𝑇 𝑥𝑖 ‖𝑌 > 𝐶 . В случае успеха равенство
𝐶 = ‖𝑇 ‖, опять-таки, будет установлено.
(d) Если равенство 𝐶 = ‖𝑇 ‖ не удается доказать ни одним из способов (a)–(c), то не
исключено, что это равенство попросту неверно, а значит, имеет смысл вернуться к
этапу (1) и попробовать получить более точную оценку (с меньшим числом 𝐶 > 0).
(3) Если никакие ухищрения на этапе (1) не приводят к оценке вида 𝐶‖𝑥‖𝑋 , то, вероятно,
желаемая константа 𝐶 вовсе отсутствует. Тогда стоит попробовать доказать, что ‖𝑇 ‖ = ∞.
(a) Не следует искать такой элемент 𝑥 ∈ 𝑋 , что ‖𝑇 𝑥‖𝑌 = ∞. Это — тривиальная,
(︀
но, как показывает опыт, типичная ошибка. Разумеется, такого элемента 𝑥 нет —
по той простой причине, что по определению нормы ‖𝑇 𝑥‖𝑌 ∈ R для всех 𝑥 ∈ 𝑋 .
Если же вопреки теории «нашелся» объект 𝑥, дающий равенство ‖𝑇 𝑥‖𝑌 = ∞ при
формальной подстановке, то, скорее всего, 𝑥 ∈ / 𝑋.
)︀
(b) Можно попытаться найти такую последовательность (𝑥𝑛 )𝑛∈N ⊂ 𝑋 , что ‖𝑥𝑛 ‖𝑋 6 1
для всех 𝑛 ∈ N и ‖𝑇 𝑥𝑛 ‖𝑌 → ∞ при 𝑛 → ∞ или хотя бы sup𝑛∈N ‖𝑇 𝑥𝑛 ‖𝑌 = ∞. В любом
из этих случаев равенство ‖𝑇 ‖ = ∞ будет установлено.
(c) Если (b) вызывает затруднение, стоит поискать несчетное семейство (𝑥𝑖 )𝑖∈𝐼 ⊂ 𝑋
такое, что ‖𝑥𝑖 ‖𝑋 6 1 для всех 𝑖 ∈ 𝐼 и sup𝑖∈𝐼 ‖𝑇 𝑥𝑖 ‖𝑌 = ∞. В случае успеха равенство
‖𝑇 ‖ = ∞, опять-таки, будет установлено.
(d) Если способы (b) и (c) доказать равенство ‖𝑇 ‖ = ∞ не дают результата, то не ис-
ключено, что все же ‖𝑇 ‖ < ∞, а значит, имеет смысл вернуться к этапу (1) и вновь
попробовать получить для ‖𝑇 𝑥‖𝑌 оценку вида 𝐶‖𝑥‖𝑋 .
51
(3) 𝑎 ∈ ℓ∞ (N, F), 𝑋 = ℓ1 (N, F), 𝑌 = F, 𝑇 𝑥 = ∞ 𝑛=1 𝑎(𝑛)𝑥(𝑛) для 𝑥 ∈ ℓ (N, F);
1
∑︀
6.11. Теорема [︀
Критерии ограниченности линейного оператора
]︀
Доказательство
Попарная равносильность утверждений (a)–(d) вытекает из формул 6.5.
(a) ⇒ (i). В случае 𝑇 = 0 утверждение (i) очевидно. Если же 𝑇 ̸= 0, то для любого 𝜀 > 0
мы имеем ‖𝑇 𝑥1 − 𝑇 𝑥2 ‖ 6 ‖𝑇 ‖‖𝑥1 − 𝑥2 ‖ < 𝜀 при ‖𝑥1 − 𝑥2 ‖ < ‖𝑇𝜀 ‖ .
Импликации (i) ⇒ (h) ⇒ (g) и (e) ⇒ (d) очевидны.
(g) ⇒ (f). Если 𝑥𝑛 → 0, то 𝑥𝑛 + 𝑥0 → 𝑥0 , а значит, 𝑇 𝑥𝑛 = 𝑇 (𝑥𝑛 + 𝑥0 ) − 𝑇 𝑥0 → 0 = 𝑇 0.
(f) ⇒ (e). Пусть 𝐵 ⊂ 𝑋 и 𝐶 := sup𝑥∈𝐵 ‖𝑥‖ < ∞. Предположим вопреки доказываемому, что
множество {𝑇 𝑥 : 𝑥 ∈ 𝐵} неограничено.⃦Тогда⃦0 ̸= ‖𝑇 𝑥𝑛 ‖ → ∞ для некоторой ⃦ последова-
тельности (𝑥𝑛 )𝑛∈N ⊂ 𝐵 . Следовательно, ⃦ ‖𝑇𝑥𝑥𝑛𝑛 ‖ ⃦ 6 ‖𝑇𝐶𝑥𝑛 ‖ → 0, в то время как ⃦𝑇 ‖𝑇𝑥𝑥𝑛𝑛 ‖ ⃦ = 1.
⃦
Упражнение
Найдите ошибку в следующем «доказательстве» импликации (h) ⇒ (b).
Из непрерывности функций 𝑇 : 𝑋 → 𝑌 и ‖·‖𝑌 : 𝑌 → R следует непрерывность их компо-
зиции 𝑥 ↦→ ‖𝑇 𝑥‖𝑌 на замкнутом ограниченном множестве 𝐵𝑋 ⊂ 𝑋 , а всякая непрерывная
вещественная функция на компактном метрическом пространстве ограничена.
52
Доказательство
Мы докажем утверждение (1), оставив (2) и (3) в качестве простого упражнения.
Пусть функция 𝑇 : 𝑋 → 𝑌 удовлетворяет условиям утверждения (1). Согласно 6.11 доста-
точно показать, что 𝑇 ∈ 𝐿(𝑋, 𝑌 ), для чего (с учетом аддитивности 𝑇 ), в свою очередь, доста-
точно зафиксировать произвольный элемент 𝑥 ∈ 𝑋 и установить равенство 𝑇 (𝛼 𝑥) = 𝛼 𝑇 (𝑥)
для всех 𝛼 ∈ R.
Используя аддитивность 𝑇 , легко показать, что 𝑇(︀(𝑧 𝑥))︀ = 𝑧 𝑇 (𝑥)
(︀ для )︀всех 1𝑧 ∈ Z. Далее, для
любых 𝑧 ∈ Z и 𝑛 ∈ N мы имеем 𝑇 𝑛 𝑥 = 𝑛 𝑛 𝑇 𝑛 𝑥 = 𝑛 𝑇 𝑛 𝑛 𝑥 = 𝑛 𝑇 (𝑧 𝑥) = 𝑛 𝑇 (𝑥),
(︀ 𝑧 )︀ 1 𝑧 1 𝑧 𝑧
а значит, 𝑇 (𝑞 𝑥) = 𝑞 𝑇 (𝑥) для всех 𝑞 ∈ Q. Осталось заметить, что для любой сходящейся в R
последовательности (𝑞𝑛 )𝑛∈N ⊂ Q благодаря непрерывности 𝑇 справедливы соотношения
(︂(︁ )︁ )︂ (︁ )︁ (︀ )︀ (︁ )︁
𝑇 lim 𝑞𝑛 𝑥 = 𝑇 lim (𝑞𝑛 𝑥) = lim 𝑇 (𝑞𝑛 𝑥) = lim 𝑞𝑛 𝑇 (𝑥) = lim 𝑞𝑛 𝑇 (𝑥).
𝑛→∞ 𝑛→∞ 𝑛→∞ 𝑛→∞ 𝑛→∞
Доказательство
Утверждение (1) является прямым следствием теоремы 6.11 и определения суммы ряда.
(2) Из перестановочности 𝑇 с суммами рядов следует аддитивность функции 𝑇 . В частности,
. Покажем, что функция 𝑇 непрерывна. Пусть 𝑥𝑛 → 𝑥0 по ‖·‖𝑋 . Тогда, как легко
𝑇 (0) = 0∑︀
видеть, ∞ 𝑛=1 (𝑥𝑛−1 − 𝑥𝑛 ) = 0 по ‖·‖𝑋 . Следовательно,
𝑁 ∞
(︂ ∑︁ )︂
∑︁ ‖·‖𝑌
𝑇 (𝑥0 ) − 𝑇 (𝑥𝑁 ) = 𝑇 (𝑥𝑛−1 − 𝑥𝑛 ) −→ 𝑇 (𝑥𝑛−1 − 𝑥𝑛 ) = 𝑇 (0) = 0.
𝑁 →∞
𝑛=1 𝑛=1
Остается привлечь 6.12 (1).
53
⃦ (︀∑︀𝑛
⃦ = ⃦ 𝑛 𝑥(𝑖)𝑇 e𝑖 ⃦ 6 𝑛 |𝑥(𝑖)|‖𝑇 e𝑖 ‖𝑌 6 𝐶 ‖𝑥‖∞ 6 𝐶‖𝑥‖.
)︀⃦ ⃦∑︀ ⃦ ∑︀
‖𝑇 𝑥‖𝑌 = ⃦𝑇 𝑖=1 𝑥(𝑖)e𝑖 𝑌 𝑖=1 𝑌 𝑖=1 𝛼
Подсказка
Если 𝜙 ∈ 𝑋 # , 𝑥 ∈ 𝑋 и 𝜙(𝑥) ̸= 0, то
|𝜙(𝑥)| = |𝜙(𝑥)|
(︀ |𝜙(𝑥)| )︀ (︀ |𝜙(𝑥)| )︀ ⃦ |𝜙(𝑥)| ⃦
𝜙(𝑥)
𝜙(𝑥) = 𝜙 𝜙(𝑥)
𝑥 = 𝜙 R 𝜙(𝑥)
𝑥 6 ‖𝜙 R ‖ ⃦
𝜙(𝑥)
𝑥⃦ = ‖𝜙R ‖ ‖𝑥‖.
54
Доказательство
Для любого элемента 𝑥 обозначим символом Σ(𝑥) совокупность всех таких последователь-
ностей 𝜎 = (𝜎𝑛 )𝑛∈N ⊂ 𝑆 , что 𝜎𝑛 → 𝑥 по ‖·‖. Поскольку 𝑆 всюду плотно в 𝑋 , мы имеем
Σ(𝑥) ̸= ∅ для всех 𝑥 ∈ 𝑋 .
Пусть 𝑥 ∈ 𝑋 и 𝜎 ∈ Σ(𝑥). Из неравенств |𝑇 𝜎𝑛 − 𝑇 𝜎𝑚 | 6 ‖𝑇 ‖‖𝜎𝑛 − 𝜎𝑚 ‖ (𝑛, 𝑚 ∈ N) следует, что
последовательность (𝑇 𝜎𝑛 )𝑛∈N ⊂ F фундаментальна (см. 9.1), а значит, имеет предел в F. По-
кажем, что lim 𝑇 𝜎𝑛 не зависит от выбора 𝜎 ∈ Σ(𝑥) и определяется лишь элементом 𝑥 ∈ 𝑋 .
𝑛→∞
Если 𝜎, 𝜎 ′ ∈ Σ(𝑥), то ‖𝜎𝑛 − 𝜎𝑛′ ‖ → 0, а значит, lim 𝑇 𝜎𝑛 − lim 𝑇 𝜎𝑛′ = lim 𝑇 (𝜎𝑛 − 𝜎𝑛′ ) = 0.
𝑛→∞ 𝑛→∞ 𝑛→∞
Покажем, что 𝑇 ≡ 𝑇 на 𝑆 .
(4) для любого элемента 𝑦 ∈ 𝑌 ∖{0} либо существует такой элемент 𝑥 ∈ 𝑋∖{0}, что
⃒⟨𝑥 | 𝑦⟩⃒ = ‖𝑥‖𝑋 · ‖𝑦‖𝑌 ,
⃒ ⃒
∑︀∞
Билинейная форма ⟨𝑥 | 𝑦⟩ = 𝑛=1 𝑥(𝑛)𝑦(𝑛) реализует линейную изометрию (ℓ1 )′ ↔
НП
ℓ∞ .
Доказательство
Условия 7.3 (1) и 7.3 (3) обеспечиваются неравенством ∞ 𝑛=1 |𝑥(𝑛)𝑦(𝑛)| 6 ‖𝑥‖1 · ‖𝑦‖∞ , спра-
∑︀
ведливым для любых 𝑥 ∈ ℓ и 𝑦 ∈ ℓ . Условие 7.3 (2) очевидно. Условие 7.3 (4) реализуется
1 ∞
Доказательство
Условия 7.3 (1) и 7.3 (3) обеспечиваются неравенством Гёльдера ∞𝑛=1 |𝑥(𝑛)𝑦(𝑛)| 6 ‖𝑥‖𝑝 ·‖𝑦‖𝑞 ,
∑︀
справедливым для любых 𝑥 ∈ ℓ𝑝 и 𝑦 ∈ ℓ𝑞 . Условие 7.3 (2) очевидно. Условие 7.3 (4) реализу-
ется элементом 𝑥 ∈ ℓ𝑝 , определяемым формулой 𝑥(𝑛) = sign 𝑦(𝑛) · |𝑦(𝑛)|𝑞−1 .
Переходя к проверке условия 7.3 (5), рассмотрим произвольный функционал 𝑇 ∈ (ℓ𝑝 )′ и по-
ложим 𝑦 = (𝑇 e1 , 𝑇 e2 , . . . ), где e𝑛 = (0, . . . , 0, 1, 0, . . . ) ∈ ℓ𝑝 с единицей в 𝑛-й позиции. Пока-
жем, что 𝑦 ∈ ℓ𝑞 .
𝑞
Пусть 𝛼𝑛 := sign(𝑇 e𝑛 ) |𝑇 e𝑛 | 𝑝 для всех 𝑛 ∈ N. Тогда
𝑁
∑︁ 𝑁
∑︁ 𝑁
(︂ ∑︁ )︂ ⃦ 𝑁 ⃦ 𝑁
(︂ ∑︁ )︂𝑝1
𝑞
⃦∑︁ ⃦ 𝑞
|𝑇 e𝑛 | = 𝛼𝑛 𝑇 e𝑛 = 𝑇 𝛼𝑛 e𝑛 6 ‖𝑇 ‖⃦
⃦ ⃦ = ‖𝑇 ‖
𝛼𝑛 e𝑛 ⃦ |𝑇 e𝑛 | ,
𝑛=1 𝑛=1 𝑛=1 𝑛=1 𝑝 𝑛=1
∑︀𝑁
а значит, 𝑛=1 |𝑇 e𝑛 |𝑞 6 ‖𝑇 ‖𝑞 для всех 𝑁 ∈ N.
Равенство 𝑇 𝑥 = ⟨𝑥 | 𝑦⟩ для всех 𝑥 ∈ ℓ𝑝 вытекает из 5.42 (1) и 6.13 (1).
Подсказка
𝑛 ∈ N, ∞
⋃︀∞
Если 𝐴𝑛 ⊃ 𝐴𝑛+1 для всех ⋃︀ 𝑛=1 𝐴𝑛 = ∅ и 𝐵𝑛 := 𝐴𝑛 ∖ 𝑚=𝑛+1 𝐴𝑚 , то множества 𝐵𝑛
⋂︀
∞
𝑚 = 𝐴𝑛 для каждого 𝑛 ∈ N. Наоборот, если
попарно не пересекаются и 𝑚=𝑛 𝐵⋃︀ ⋂︀множества 𝐴𝑛
попарно не пересекаются и 𝐵𝑛 := ∞ 𝐴
𝑚=𝑛 𝑚 , то 𝐵𝑛 ⊃ 𝐵𝑛+1 для всех 𝑛 ∈ N и ∞
𝐵
𝑛=1 𝑛 = ∅ .
Доказательство
Для удобства условимся отождествлять измеримые функции с соответствующими классами
эквивалентности (см. 5.15).
Условие 7.3 (2) очевидно, а условия 7.3 (1) и 7.3 (3) обеспечиваются тем фактом, что для
любых 𝑥 ∈ 𝐿 (Ω) и 𝑦 ∈ 𝐿 (Ω) мы имеем 𝑥𝑦 ∈ 𝐿 (Ω) и Ω 𝑥𝑦 6 ‖𝑥‖𝑝 ‖𝑦‖𝑞 .
𝑝 𝑞 1
⃒∫︀ ⃒
⃒ ⃒
В случае 𝑝 > 1 условие 7.3 (4) реализуется элементом 𝑥 = sign 𝑦 · |𝑦|𝑞−1 , а в случае}︀ 𝑝 = 1 —
последовательностью 𝑥𝑛 := 𝜇(𝐴1 𝑛 ) 1𝐴𝑛 sign 𝑦 , где 𝐴𝑛 := 𝜔 ∈ Ω : |𝑦(𝜔)| > (1 − 𝑛1 )‖𝑦‖∞ .
{︀
Свойство 7.12 (1) вытекает из аддитивности функционала⋂︀ 𝑇 , а свойство 7.12 (2) — из его
непрерывности: если (𝐴𝑛 )𝑛∈N ⊂ M(Ω), 𝐴𝑛 ⊃ 𝐴𝑛+1 и ∞ 𝑛=1 𝐴𝑛 = ∅, то согласно 4.14 (8)
и 4.14 (12) мы имеем ‖1𝐴𝑛 ‖𝑝 = 𝜇(𝐴𝑛 ) → 0, а значит, 𝜈(𝐴𝑛 ) = 𝑇 (1𝐴𝑛 ) → 0. Абсолютная
1/𝑝
Согласно 4.19 (2) существует такая последовательность (𝑠𝑛 )𝑛∈N ⊂ St(Ω)+ , что 𝑠𝑛 ↑|𝑦|𝑞 .
Для всех 𝑛 ∈ N мы имеем
∫︀ ∫︀ 𝑝1 1𝑞 ∫︀ 𝑝1 ∫︀ 𝑝1 (︁ 1
𝑝
)︁ ⃦ 𝑝1 ⃦ (︀∫︀ )︀ 𝑝1
Ω
𝑠 𝑛 = Ω
𝑠 𝑛 ·𝑠 𝑛 6 Ω
𝑠 𝑛 ·|𝑦| = Ω
𝑠 𝑛 ·sign 𝑦 ·𝑦 = 𝑇 𝑠 𝑛 ·sign 𝑦 6 ‖𝑇 ‖ ⃦𝑠𝑛 ⃦ = ‖𝑇 ‖
𝑝 Ω
𝑠 𝑛 ,
Замечание
Утверждение последней теоремы справедливо не только в случае 𝜇(Ω) < ∞, но и в случае
произвольной системы с интегрированием Ω, имеющей 𝜎 -конечную меру.