Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

матан

.pdf
Скачиваний:
41
Добавлен:
27.05.2015
Размер:
3.81 Mб
Скачать

§2. Метрические пространства

651

Ясно, что это множество находится во взаимно однозначном соответствии с множеством точек вида

{0, b1 b2 b3 . . .},

где b1, b2, . . . могут принимать значения 0 или 1, т.е. множеством всех двоичных дробей y, 0 ≤ y ≤ 1.

Каждая такая двоичная дробь y однозначным образом соответствует точке отрезка [0, 1] и наоборот, каждая точка этого отрезка может быть записана, (вообще говоря, не единственным образом) в виде двоичной дроби. Следовательно, множество двоичных дробей, а, тем самым, и множество F , имеют мощность не меньшую, чем C. Однако, F есть часть отрезка [0, 1] и его мощность не превосходит C, т.е. m(F ) = C. Теорема доказана.

УПРАЖНЕНИЕ 11.

1. Сумма длин удаленных интервалов из отрезка [0, 1] равна

13 + 29 + 274 + . . . = 1.

Проверить с помощью калькулятора правдоподобность данного утверждения.

2. Попытаться дать строгое доказательство этому равенству.

ЗАМЕЧАНИЕ. Множество удаленных при построении F интервалов счетно. Следовательно, счетно и множество их концов. Таким образом, канторово множество F содержит не только концы таких интервалов.

2.7.Замечания о двоичных дробях

Возможно, следующие комментарии относительно двоичных дробей не будут излишними.

ОПРЕДЕЛЕНИЕ 2.10. Двоичными дробями называются бесконечные суммы вида

a

где ak =

0

k

 

 

 

2kk ,

1.

=1

 

 

 

 

Мы будем обозначать такие суммы символом 0, a1 a2 a3 . . ..

Всякое число x [0, 1] допускает представление в форме

x = 0, a1 a2 . . . .

Это представление единственно в случае, когда x не является

дробью вида

 

 

m

(m = 1, 3, . . . , 2n 1).

(1)

2n

0, 011000 . . .
0, 010111 . . .

652 Глава 22. Элементы теории множеств и метрических пространств

Числа 0 и 1 раскладываются единственным образом в дроби

0, 000 . . . и 0, 111 . . . .

Если

m

(m = 1, 3, . . . , 2n 1),

x =

2n

то x допускает два (!) разложения. В этих разложениях цифры a1, a2, . . . , an−1 совпадают, а цифра an в одном из них равна 1, а в другом 0. Все остальные цифры у первого разложения суть 0 "в периоде", а у второго – 1 "в периоде". Например,

3

8

=

Всякая двоичная дробь 0, a1 a2 . . . соответсвует некоторому числу x из [0, 1]. Если эта дробь содержит 0 или 1 в периоде, то x есть число вида (1) (исключение составляют лишь дроби 0, 000 . . . и 0, 111 . . .). В этом случае, наряду с исходным, существует еще одно двоичное разложение x. Если же двоичная дробь не содержит цифры 0 или 1 в периоде, то x = m/(2n) и других двоичных разложений x не имеет.

§3. Покрытия. Размерности. Фракталы

3.1.Покрытия множеств

Пусть (X, ρ) – метрическое пространство и пусть Ξ – некоторое, наперед заданное семейство множеств ∆ X. Величина

diam ∆ = sup ρ(x, y)

x,y

называется диаметром ∆.

Пусть E X – множество. Семейство Ξ называется покрытием множества E если

E ∆ Ξ.

Множество E X называется компактным, если каждое его покрытие открытыми множествами содержит конечное подпокрытие.

Для произвольного x X пусть

 

 

1,

при

x ,

\

 

 

 

 

 

π(x; Ξ) = χ(x), где χ(x) =

0,

при

x X

 

∆ Ξ

 

 

 

 

 

 

– характеристическая функция ∆. Величина π(x; Ξ) означает число подмножеств ∆ Ξ, содержащих точку x X.

§3. Покрытия. Размерности. Фракталы

653

Число

π(Ξ) = sup π(x, Ξ)

x X

называется кратностью покрытия Ξ.

Теоремы о покрытиях играют важную роль во многих вопросах современной математики. Как правило, их доказательства весьма нетривиальны. Мы докажем здесь только одну из таких теорем.

ТЕОРЕМА 3.1. Пусть E – ограниченное подмножество Rn. Предположим, что для всякой точки x E имеется шар B {B(x, r(x))}x E. Тогда существует последова-

тельность шаров {Bk}, Bk {B(x, r(x))}x E, такая,

∞ k=1

что E k=1Bk и ее кратность

π ({Bk}k=1) ≤ N(n).

Здесь N(n) – некоторая постоянная, зависящая только от n.

Доказательство. Пусть a0 = supx E r(x). Если a0 = , то мы можем покрыть E одним шаром. Таким образом, мы впра-

ве далее предполагать, что a0 < ∞.

 

 

Фиксируем постоянную q так, чтобы 2/

5 ≤ q < 1. Вы-

берем шар B1 = B(x1, r(x1)) с центром в точке x1 E, для которого

r(x1) > q a0.

Пусть a1 = supx E\B1 r(x). Ясно, что a1 ≤ a0. Выберем B2 = B(x2, r(x2)), для которого

x2 E \ B1 и r(x2) > q a1.

Продолжим указанный процесс неограниченно. Предположим, что точки x1, x2, . . . , xm уже выбраны. Если

E \ mk=1Bk = ,

то процесс выбора считаем оконченным. В противном случае мы полагаем

am = sup r(x)

x E\mk=1Bk

и выбираем xm+1 E \ mk=1Bk так, чтобы r(xm+1) > q am.

Если процесс выбора заканчивается после конечного числа шагов, то мы получаем конечный набор шаров {Bk}, в противном случае набор {Bk} бесконечен. Опишем некоторые его

654 Глава 22. Элементы теории множеств и метрических пространств

свойства, следуя методу конструирования. Во-первых, заметим, что

. . . ≤ am ≤ . . . ≤ a2 ≤ a1 ≤ a0 < ∞

(1)

и

. . . . . . . . . . . . ,

qam < r(xm+1) ≤ am,

. . . . . . . . . . . . ,

(2)

qa1 < r(x2) ≤ a1,

qa0 < r(x1) ≤ a0.

Во-вторых, пусть Bp и Bs – шары из семейства {Bk}. Тогда имеет место альтернатива:

(α) либо xp / Bs = B(xs, r(xs)) и xs / Bp = B(xp, r(xp));

(β) либо один из центров, например, xp принадлежит шару

Bs, p < s.

В случае (β) из (1) и (2) следует, что

q ≤

ap−1q

r(xp)

< 1.

(3)

as

<

r(xs)

В третьих, наряду с шарами Bk = B(xk, r(xk)) рассмотрим

концентрические шары bk = B(xk,

1 − q2 r(xk)). Шары bk

попарно не пересекаются.

Действительно, если b

p

b

=

, то

 

 

 

s

 

|xp − xs| < 1 − q2r(xp) + 1 − q2r(xs)

2 1 − q2 max{r(xp), r(xs)}.

Однако, в случае (α) выполнено

|xp − xs| ≥ max{r(xp), r(xs)},

а в случае (β), согласно (3), мы получаем

|xp − xs| > min{r(xp), r(xs)} = r(xp) > > qr(xs) = q max{r(xp), r(xs)}.

§3. Покрытия. Размерности. Фракталы

655

Поскольку q (2/ 5, 1), то 2 1 − q2 < q и, следовательно,

|xp − xs| ≤ 2 1 − q2 max{r(xp), r(xs)} <

< q max{r(xp), r(xs)}.

Таким образом, предположение bp ∩ bs = влечет противоречие и шары bp и bs не пересекаются.

В четвертых, мы покажем, что

lim am = 0.

(4)

m→∞

 

Предположим, что имеет место противное, т.е. существует постоянная c > 0 такая, что am → c. Тогда из (2) вытекает, что

am ≥ c (m = 0, 1, 2, . . .). Тем самым, r(xm) ≥ qc при всех m = 0, 1, 2, . . . и существует бесконечная последовательность

попарно непересекающихся шаров {bk} с радиусами

r(xk) 1 − q2 ≥ qc 1 − q2 > 0

ицентрами, лежащими в ограниченном множестве E. Так как

r(xk) 1 − q2 ≤ a0 1 − q2,

то все шары bk лежат в некотором шаре радиуса

d = diam E + 2a0 1 − q2,

т.е. имется бесконечная последовательность шаров, радиусов

не менее чем qc 1 − q2, лежащих внутри некоторого шара радиуса d < ∞. Ясно, что это невозможно и соотношение (4) доказано.

Покажем, что E k=1Bk. Предположим, что имеет место

противное, т.е. E \ k=1Bk = . Пусть x˜ E \ k=1Bk. Тогда, согласно (4), для достаточно больших m имеем

am = sup r(x) < rx).

x E\ mk=1Bk

Однако, x˜ E \ k=1Bk. Таким образом, x˜ E \ mk=1Bk. Отсюда, am ≥ rx), что невозможно.

Оценим кратность покрытия {Bk}k=1. Прежде всего заме-

тим, что если точка

y

 

B

p

B

s и

имеет место (α), то угол

 

 

 

 

π

 

−→

−→

больше чем

3

.

между векторами yxp

и yxs

 

Во-вторых, если имеет место (β), то для любого y / bp

−→ −→

мы можем оценить угол между векторами yxp, yxs. Простые

656

Глава 22. Элементы теории множеств и метрических пространств

вычисления дают

 

 

 

 

 

 

 

 

 

 

−→ −→

 

 

 

 

 

 

 

2q

 

 

 

angle (yxp, yxs)

 

min

arccos

1

 

q2

, arccos

1

 

 

 

 

= arccos

1

π3 − η,

 

 

 

 

2q

 

 

 

5

=

где η – некоторая постоянная, зависящая только от q.

Завершая доказательство теоремы 3.1, предположим, что точка y Rn принадлежит одному из шаров последовательности {Bk}, т.е.

y ∩kN=1Bk.

(5)

Оценим, как и выше, число N. Если y принадлежит какомулибо из шаров bk (она может лежать только в одном из шаров), то мы пропускаем соответствующий шар в (5) и пишем, что

y ∩Nk=11Bk.

Для произвольной пары шаров Bp и Bs этого семейства, мы

−→

воспользуемся оценкой величины угла между векторами yxp

и

−→s, полученной выше. Эта величина больше чем

π

η

. Но

3

 

yx

 

 

 

число отрезков, выходящих из одной точки y и образующих между собой достаточно большие углы, зависит только от размерности пространства Rn и этого угла. Таким образом,

N − 1 ≤ N(n, η),

где N(n, η) – число, зависящее только от n и η. Теорема 3.1 доказана полностью.

ЗАМЕЧАНИЕ. Для достаточно малых η выполнено N(2, η) = 6 и N(3, η) = 12, что следует из теории упаковок.

Другие точные значения величины N(n, η) не известны.2

Следующие две теоремы представляют собой варианты знаменитых теорем3 Безиковича4 и Уитни5.

2См. по этому вопросу, например, §1 главы I монографии Конвея и Слоэна, Упаковки шаров, решетки и группы, - Мир, М.: 1990.

3См., например, главу I монографии Гусмана, Дифференцирование интегралов в Rn, Мир, М.: 1978.

4Безикович Абрам Самойлович – известный математик, родился 24.01.1891 в Бердянске, Россия, умер 2.11.1970 в Кембридже, Англия.

5Уитни Хасслер – известный математик, родился 23.03.1907 в Нью Йорке, США, умер 10.05.1989 в Швейцарии.

§3. Покрытия. Размерности. Фракталы

657

ТЕОРЕМА 3.2. Пусть E – подмножество Rn, и пусть

Ξ – семейство замкнутых шаров B = B(x, r(x)) с центрами в x E и радиусами r(x),

sup r(x) < ∞.

x E

Тогда существуют подсемейства

Ξ1, Ξ2, . . . , ΞN(n) Ξ

неналегающих друг на друга шаров из Ξ, каждое из которых не более чем счетно и

E Nk=1(n) B Ξk B(x, r(x)).

Здесь N(n) – некоторая постоянная, зависящая только от n.

Ясно, что кратность получаемых покрытий множества E не превосходит N(n).

ТЕОРЕМА 3.3. Пусть (X, ρ) – метрическое пространство со следующим условием "однородности": для каждого x X и каждого r > 0 существует не более N точек {xi} множества

B(x, r) = {z X : ρ(z, x) < r},

таких, что

 

r

 

ρ(xi, xj)

 

при i = j.

 

 

2

Тогда каждое открытое множество G из X с непустой границей может быть представлено в виде

G = k=1B(xk, rk)

так, что каждая точка z G содержится не более чем в 9N множествах B(xk, rk) и для каждого k

rk ≤ ρ(B(xk, rk), ∂G) 4 rk,

где

ρ(A, B) = inf{x A, y B : ρ(x, y)}

– расстояние между множествами A, B X.

log (1)
log (1)

658Глава 22. Элементы теории множеств и метрических пространств

3.2.Размерность по Минковскому

Пусть E Rn – непустое ограниченное множество. Фиксируем 0 < ε < ∞ и обозначим через N(E, ε) наименьшее число шаров радиусов r ≤ ε нужное для покрытия E, т.е.

N(E, ε) = min{k : E ki=1B(xi, r(xi)) для которых xi Rn}.

Верхняя и нижняя размерности Минковского6 множества E

определяются выражениями

dimM (E) = inf{s : lim sup N(E, ε)εs = 0}

ε→0

и

dimM (E) = inf{s : lim inf N(E, ε)εs = 0}.

ε→0

Ясно, что7

dimM (E) dimM (E).

Можно доказать, что

dimM (E) = lim sup log N(E, ε)

ε→0

и

dimM (E) = lim inf log N(E, ε)

ε→0

(попробуйте это сделать самостоятельно!).

УПРАЖНЕНИЕ 1. Найти верхнюю и нижнюю размерности отрезка [a, b] прямой линии и прямоугольника [a, b]×[c, d]

двумерной плоскости в R3.

УПРАЖНЕНИЕ 2. Найти верхнюю и нижнюю размерности канторова множества F , построенного выше.

УПРАЖНЕНИЕ 3. Попробуйте определить верхнюю и нижнюю размерности неограниченных множеств.

6Минковский Герман – знаменитый математик, родился 22.06.1864 в Каунасе, Литва, умер 12.01.1909 в Геттингене, Германия.

7Простой пример множества E Rn, для которого

dimM (E) < dimM (E)

см. в разделе 5 монографии P. Mattila, Geometry of Sets and Measures in Euclidean Spaces, Cambridge Studies in Advanced Mathematics 44, Cambridge University Press, Cambridge, 1995.

Попытайтесь построить подобный пример самостоятельно.

§3. Покрытия. Размерности. Фракталы

659

3.3.Мера и размерность по Хаусдорфу. Понятие фрактала

Всякую

непрерывную

 

неубывающую

функцию

h(t) : (0, ∞) (0, ∞) будем называть пробной.

 

Пусть E – подмножество метрического пространства X.

Фиксируем ε > 0. Положим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h

 

 

 

k

 

 

 

 

E, ε

) =

inf

h r x

k))

,

 

 

H (

 

Ξ

( (

 

 

 

 

 

 

 

=1

 

 

 

где точная нижняя грань берется по всем ε-покрытиям Ξ множества E шарами B(xk, r(xk)), k = 1, 2, . . ..

Ясно, что величина Hh(E, ε) неубывает при ε → 0. По определению, h-мерой E называется следующая величина

h

E

) =

lim

h(E, ε).

(6)

H (

 

ε

0 H

 

 

 

 

 

 

 

 

Мы будем говорить, что какое-либо свойство имеет место Hh-почти всюду на E, если существует подмножество

Q E, для которого Hh(E \ Q) = 0, такое, что данное свойство выполнено в каждой точке x Q.

Рассмотрим два примера.

ПРИМЕР 1. Пробная функция h(t) 1. Здесь имеем

Hh(E) = числу точек множества E.

ПРИМЕР 2. Если пробная функция такова, что

(ln 1/t)1 при t < 1/e

h(t) =

1

при t ≥ 1/e,

 

 

 

то Hh-мера называется логарифмической.

Рассмотрим случай, в котором пробная функция имеет вид h(t) = c(α)tα, где α ≥ 0 – постоянная и

πα/2

c(α) = Γ(α2 + 1),

Γ(s) – Γ-функция Эйлера.8

УПРАЖНЕНИЕ 4. Найти постоянную c(α) для α = 1, 2, 3.

8Мы будем изучать такие функции позже. Пока же Вы можете в случае необходимости посмотреть ее величину в "Справочнике по специальным функциям" под редакцией Абрамовица и Стиган, Наука, М.: 1979, стр. 80-118.

c(s)rks ≤ Hs
k=1

660

Глава 22. Элементы теории множеств и метрических пространств

Мы будем писать

Hh(E) = Hα(E)

и говорить, что Hα(E) есть α-мера Хаусдорфа множества

E X.

Пусть E X и Hs(E) < ∞, s ≥ 0. Фиксируем t, s < t < ∞ и q > 0. Существуют шары

Bk = B(xk, r(xk))

такие, что

rk = r(xk) < q, E k=1Bk

и

(E) + 1.

k=1

Тогда имеем

Ht(E) ≤ c(t)rkt =

 

c(t)

 

 

 

k

= c(s)

c(s)rks rkt−s

 

 

 

=1

cc((st))qt−s (Hs(E) + 1) .

Если показатель q → 0, то мы получаем Ht(E) = 0. Таким образом, доказано следующее утверждение.

ТЕОРЕМА 3.4. Пусть E – множество в метрическом пространстве (X, ρ) и 0 ≤ s < t < ∞. Если Hs(E) < ∞, то Ht(E) = 0.

Теперь мы имеем возможность определить хаусдорфову размерность dimH множества E X,

dimH (E) inf{0 ≤ α < ∞ : Hα(E) = 0}.

Можно доказать, что

dimH (E) = k

для произвольного открытого подмножества E S любой k-мерной гладкой поверхности S в Rn, 1 ≤ k ≤ n.

Величина dimH (E) не обязана быть целым числом. Для всякого α, 0 ≤ α < n, имеются подмножества E пространства