posobie
.pdf2.2. Метрические, линейные и нормированные пространства 2.2.1. Метрические пространства
Классический математический анализ во многом базируется на предельном переходе. В функциональном анализе концепция предельного перехода реализуется прежде всего в метрических пространствах.
Пусть X есть некоторое множество. Числовая функция ρ : X × X → R, определенная для всех элементов (x,y) множества X ×X, называется метрикой, или расстоянием, если имеют место свойства:
1.ρ(x,y) ≥ 0, ρ(x,y) = 0 x = y;
2.ρ(x,y) = ρ(y,x);
3.ρ(x,y) ≤ ρ(x,z) + ρ(z,y)
(здесь x, y, z — произвольные элементы множества X). Множество X
вместе с определенной на нем метрикой ρ называется метрическим пространством.
Метрическое пространство X с метрикой ρ обозначается (X,ρ); если же по смыслу утверждения, теоремы или задачи ясно, о какой метрике идет речь, то просто X.
Пусть (X,ρ) есть метрическое пространство, a — его элемент, R — положительное число. Множества
BR(a) = {x X : ρ(x,a) < R}, BR(a) = {x X : ρ(x,a) ≤ R}, SR(a) = {x X : ρ(x,a) = R}
называются соответственно открытым шаром (или просто шаром), замкнутым шаром и сферой радиуса R с центром в точке a пространства X.
Пусть (X,ρ) есть метрическое пространство, {xn}∞n=1 — последовательность элементов множества X. Элемент a множества X
называется пределом последовательности {xn}∞n=1, если выпол-
няется lim ρ(xn,a) = 0.
n→∞
Обозначается предел последовательности обычным образом: a = lim xn.
n→∞
Всюду ниже под подмножеством метрического пространства (X,ρ) понимается подмножество множества X, наделенное той же метрикой ρ.
61
Пусть M есть некоторое подмножество метрического пространства (X,ρ). Точка x пространства X называется точкой прикосновения для множества M, если всякий открытый шар с центром в точке x содержит элементы множества M. Точка x пространства X называется предельной точкой множества M, если всякий открытый шар с центром в точке x содержит элементы множества M, отличные от x. Точка x называется внутренней точкой множества M, если найдется положительное число δ такое, что шар Bδ(x) целиком лежит в M. Точка x множества M называется изолированной точкой M, если найдется положительное число δ такое, что шар Bδ(x) не содержит точек множества M, отличных от x. Наконец, точка x пространства X называется граничной точкой множества M, если любой открытый шар с центром в точке x содержит как элементы, принадлежащие множеству M, так и элементы, не принадлежащие M.
Имеет место следующее весьма полезное утверждение: точка x является предельной для множества M из метрического пространства X тогда и только тогда, когда существует последовательность
{xn}∞n=1 точек множества M, сходящаяся к x.
Пусть M есть некоторое подмножество метрического пространства (X,ρ). Множество M называется замкнутым, если оно содержит все свои предельные точки. Множество M называется открытым, если все его точки внутренние. Множество M называется совершенным, если оно замкнуто и при этом каждая точка M является его предельной точкой.
Пусть M есть некоторое подмножество метрического пространства (X,ρ). Совокупность всех точек прикосновения множества
Mназывается внутренностью M, или же ядром M. Совокупность внутренних, предельных и граничных точек множества M обозначается
M0 (или intM), M и ∂M соответственно.
Пусть M есть некоторое подмножество метрического пространства X. Замыканием множества M называется множество, состоящее из всех точек M, а также из всех его предельных точек. Замыкание множества M обозначается M.
Последовательность {xn} элементов метрического пространства (X,ρ) называется фундаментальной, если для любого поло-
62
жительного числа ε найдется номер N, зависящий от ε такой, что для всех натуральных чисел n больших N и всех натуральных чисел m выполняется ρ(xn,xn+m) < ε.
Метрическое пространство (X,ρ) называется полным, если для всякой фундаментальной последовательности {xn} элементов множества X найдется элемент a, принадлежащий X и такой, что
xn → a при n → ∞.
Подмножество M метрического пространства (X,ρ) называется ограниченным, если найдутся точка x0 X и положительное число R такие, что ρ(x,x0) ≤ R для всех элементов x множества M.
Житейское представление о метрическом пространстве как о чем-то безграничном может подвести. На самом деле метрическое пространство есть просто множество, наделенное некоторой дополнительной структурой. Эта структура такова, что, например, вс¨e метрическое пространство может быть ограниченным множеством. Эта же структура может породить и
кажущийся парадокс "шар большего радиуса лежит внутри шара меньшего радиуса" .
Пусть (X,ρ) есть метрическое пространство, M — его подмножество. Множество M называется всюду плотным множеством в пространстве X, если выполняется M = X.
Пусть (X,ρ) есть метрическое пространство, M — его подмножество. Множество M называется нигде не плотным в пространстве X множеством, если любой открытый шар пространства X содержит открытый шар, свободный от точек множества M.
Метрическое пространство (X,ρ) называется сепарабельным, если оно имеет счетное всюду плотное подмножество.
Подмножество M метрического пространства (X,ρ) называется множеством первой категории, если его можно представить в виде не более чем счетного объединения нигде не плотных в X множеств. Подмножество M, не являющееся множеством первой категории, называется множеством второй категории.
Пусть X есть метрическое пространство, M1 и M2 — два непустых подмножества X. Множества M1 и M2 называются отделимыми, если они не пересекаются и ни одно из них не содержит предельных точек другого.
Множество M метрического пространства X называется связным, если его нельзя представить в виде объединения двух непу-
63
стых отделимых множеств M1 и M2.
Подмножество M метрического пространства X называется областью, если оно связно и открыто.
Пусть A и B суть два непустых подмножества метрического пространства X. Расстоянием ρ(A,B) между множествами A и B
называется число ρ(A,B) = inf ρ(x,y).
x A,y B
Уточним, что любое из множеств A или B, или же оба могут быть одноэлементными.
2.2.2. Линейные векторные пространства
Следующим важным для функционального анализа объектом является
линейное векторное пространство.
В дальнейшем в качестве числовых множителей λ, μ, . . . будут использоваться либо действительные, либо комплексные числа. В первом случае будет определено действительное линейное векторное пространство, во втором — комплексное линейное векторное пространство. Вместе с тем практически всегда мы будем иметь дело с вещественными пространствами, и потому специально оговаривать тот факт, что числовые множители берутся из поля действительных чисел, не будем; наоборот, если числовые множители могут быть комплексными, будем эту ситуацию оговаривать. Следует отметить, что к каким-либо противоречиям эти два случая — вещественного или комплексного пространства — приводить не будут. В дальнейшем вместо термина "действительное линейное векторное пространство" будем использовать термин "линейное векторное пространство" .
Непустое множество M называется линейным многообразием, если для любых двух его элементов x,y и любых двух действительных чисел λ и μ элемент λx+μy определен и также принадлежит M.
Множество X называется линейным векторным пространством, если
а) для любых двух элементов x и y этого множества определена их сумма x + y, также являющаяся элементом множества X; б) для любого вещественного числа λ и любого элемента x множества X определено произведение λx, также являющееся
элементом этого множества; с) для операций сложения и умножения на число выполняются
64
следующие аксиомы: c1) x + y = y + x,
c2) (x + y) + z = x + (y + z),
c3) в X существует такой элемент Θ, что для любого x X выполняется 0 · x = Θ,
c4) (λ + μ)x = λx + μx, c5) λ(x + y) = λx + μy, c6) λ(μx) = (λμ)x,
c7) 1 · x = x
(здесь x, y, z — элементы множества X, λ, μ — действительные числа).
Пусть x и y есть фиксированные точки линейного пространства X. Множество точек {z : z = x+t(y −x)} называется отрезком, если действительный параметр t пробегает отрезок [0,1]; интервалом, если действительный параметр t пробегает интервал (0,1); полуинтервалом, если действительный параметр t пробегает полуинтервал (0,1] или [0,1); лучом, проходящим через точку y с вершиной в точке x, если действительный параметр t пробегает полуинтервал [0,+∞); открытым лучом, проходящим через точку y с вершиной в точке x, если действительный параметр t пробегает интервал (0,+∞); прямой, проходящей через точки x и y, если действительный параметр t пробегает интервал
(−∞,+∞).
Отрезок и интервал обозначаются [x,y] и (x,y) соответственно, полуинтервал обозначается (x,y] или же [x,y).
Пусть X — линейное пространство, x1, . . . , xn — элементы X. Эти элементы называются линейно независимыми, если равенство
λ1x1 + ... + λnxn = Θ
возможно тогда и только тогда, когда λ1 = λ2 = ... = λn = 0. Линейное пространство X называется конечномерным, если в
нем существует конечное множество x1, . . . , xn линейно независимых элементов такое, что для любого элемента x пространства X выполняется равенство x = λ1x1 + ... + λnxn с некоторыми действительными числами λ1, . . . , λn. Минимальная по количеству элементов подобная система {x1,...,xn} называется бази-
65
сом пространства X, число n — его размерностью.
Линейное пространство X называется бесконечномерным, если для любого натурального числа n в нем найдется n линейно независимых элементов.
Подмножество X0 линейного пространства X называется его подпространством, если оно само является линейным пространством относительно определенных в X операций сложения и умножения.
Линейной оболочкой системы M = {x1,...,xn,...} (конечной или бесконечной) элементов линейного пространства X называется совокупность всех конечных линейных комбинаций
{λ1x1 +...+λmxm}, где x1, . . . , xm есть элементы множества M, λ1, . . . , λm — произвольные действительные числа.
Подмножество M линейного пространства X называется выпуклым, если для любых двух элементов множества M и любых двух действительных чисел λ и μ таких, что λ ≥ 0, μ ≥ 0,
λ+ μ = 1, элемент λx + μy также принадлежит множеству M. Пусть M есть подмножество линейного пространства X. Вы-
пуклой оболочкой множества M называется множество всевозможных выпуклых комбинаций элементов множества M, т.е. эле-
ментов λ1x1 + ... + λnxn, где x1,...,xn есть элементы множества M, λ1,...,λn есть действительные числа такие, что λ1 ≥
0,...,λn ≥ 0, λ1 +...+λn = 1, n есть произвольное натуральное число.
Пусть M, M1 и M2 — подмножества линейного подмножества линейного пространства X, λ есть действительное число. Множеством λM называется множество {z : x M : z = λx}. Множеством M1 + M2 называется множество {z : x M, y
M : z = x + y}.
2.2.3. Нормированные пространства
Нормированные пространства являются объектом функционального анализа, объединяющим в себе метрические пространства и линейные векторные пространства.
Линейное пространство X называется нормированным, если каждому элементу x из X можно поставить в соответствие числоx , и при этом будут иметь место свойства
66
1.x ≥ 0, x = 0 x = Θ;
2.λx = |λ| · x ;
3.x + y ≤ x + y
(здесь x и y — произвольные элементы пространства X, λ — произвольное действительное число). Число x называется нормой элемента x.
Влюбом нормированном пространстве можно ввести метрику ρ(x,y) равенством ρ(x,y) = x − y . Следовательно, всякое нормированное пространство одновременно является и метрическим пространством. Все введенные ранее определения и понятия, относящиеся к метрическим пространствам, очевидным образом переносятся и на нормированные пространства.
Вчастности, всюду далее сходимость в нормированном пространстве X понимается в смысле сходимости по метрике x − y .
Нормированное пространство X называется строго нормированным, если в нем равенство x + y = x + y при x =, 0 y = возмо0 жно лишь в случае y = λx, λ > 0.
Нормированное пространство X называется равномерно выпуклым, если для любых двух последовательностей {xn} и {yn}
его элементов таких, что xn = yn = 1, xn + yn n→→∞ 2, выполняется xn − yn n→→∞ 0.
Нормированное пространство, полное по метрике x − y , называется банаховым10 пространством.
Пусть X есть линейное пространство, x 1 и x 2 — две нормы в X. Эти нормы называются эквивалентными, если существуют положительные числа C1 и C2 такие, что для любого элемента x из X выполняются неравенства
C1 x 1 ≤ x 2 ≤ C2 x 1.
Пусть X есть нормированное пространство. Подпространством X называется подмножество L пространства X, являющееся замкнутым линейным многообразием.
10Банаховы пространства названы в честь одного из основоположников функционального анализа польского математика С. Банаха (1892–1945).
67
Приведем некоторые простейшие свойства нормы. Первым из этих свойств будет свойство непрерывности нормы — элементарное, но весьма важное свойство.
Утверждение 2.2.1. Пусть последовательность {xn} элементов нормированного пространства X сходится к элементу x0 того же пространства. Тогда выполняется
lim xn = x0 .
n→∞
Доказательство. Имеют место следующие цепочки равенств и неравенств
а) xn = xn − x0 + x0 ≤ xn − x0 + x0 ;
б) x0 = x0 − xn + xn ≤ x0 − xn + xn = xn − x0 + xn . Эти цепочки дают неравенства
−xn − x0 ≤ xn − x0 ≤ xn − x0 .
Поскольку xn − x0 → 0 при n → ∞, то из этих неравенств и следует требуемое.
Утверждение доказано.
Лемма 2.2.1 (лемма Рисса11). Пусть L есть подпространство нормированного пространства X такое, что L =X. Тогда для любого числа ε из интервала (0,1) найдется элемент zε такой, что zε = 1,
ρ(zε,L) > 1 − ε.
Доказательство. Пусть x есть не принадлежащий L элемент пространства X. Обозначим d = ρ(x,L). Заметим, что выполняется d > 0. Действительно, если окажется d = 0, то, согласно определению точной нижней грани, найдется последовательность {xn} элементов подпространства L такая, что xn − x → 0 при n → ∞. Но тогда будет выполняться xn → x при n → ∞. Поскольку множество L замкнуто, то элемент x должен принадлежать L, а это не так. Полученное противоречие и означает, что выполняется d > 0.
Согласно определению расстояния между множествами (в данном случае — между одноэлементным множеством и подпространством) и вновь определению точной нижней грани для любого числа ε из интервала (0,1) найдется элемент uε из L такой, что выполняется
d d ≤ uε − x ≤ 1 − ε.
11Ф. Рисс (1880—1956) — венгерский математик.
68
Положим |
|
|
|
|
|
|
|
|
|
uε − x |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
zε = |
. |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
uε − x |
|
|
|
|
|
|
Покажем, что элемент zε является искомым. |
|
|
||||||||||||||||
|
Очевидно, что выполняется zε = 1. Далее, zε не является элементом L |
|||||||||||||||||
— иначе uε |
− |
x |
|
L |
и тем |
самым x |
|
L, а это не так. Имеем |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
zε |
|
|
uε |
− x |
|
|
|
|
|
|
|
|
|
|
|||
|
u = |
u = x − (uε − u uε − x ) > d(1 − ε) = 1 ε. |
||||||||||||||||
|
|
− |
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
− |
|
|
uε − x |
|
|
|
|
uε − x |
d |
Лемма доказана.
Лемма Рисса называется иногда в литературе "лемма о почти перпендикуляре" .
Теорема 2.2.1. Пусть X есть конечномерное линейное пространство. Тогда любые две нормы в этом пространстве будут эквивалентными.
Доказательство. Пусть X есть n-мерное линейное пространство, {ek}nk=1 есть базис в X. Тогда любой элемент x из X можно разложить по базису:
|
x = α1e1 + ... + αnen. |
|
Определим норму x e: |
|
|
|
x e = α12 + ... + αn2 |
21 |
(эта норма называется евклидовой12). Пусть x есть другая норма в пространстве X. Прежде всего имеем
≤ |
|
x = α1e1 + ... + αnen ≤ |α1|e1 + ... + |αn|en ≤ |
|||
1maxk n |
ek · (|α1 |
| + ... + |αn|) ≤ n(1maxk n ek ) α12 + ... + αn2 |
21 |
= N1 x e. |
|
|
≤ ≤ |
|
≤ ≤ |
|
|
Рассмотрим функцию f(x):
f(x) = x .
Обозначим S = {x X : x e = 1}. Множество S можно эквивалентным образом рассматривать как сферу S1(0) единичного радиуса с центром в точке (0,...,0) евклидова пространства Rn. Функция f(x) как числовая функция непрерывна (см. утверждение 2.2.1), множество S1(0) замкнуто и
12Евклид (ок.365 до н.э.–ок.300 до н.э.) — древнегреческий математик.
69