Файл: Кахан, Ж. -П. Случайные функциональные ряды.pdf

СЛУЧАЙНЫЕ

ИНТЕРВАЛЫ НА ОКРУЖНОСТИ

155

6.

Хаусдорфова размерность 3F

Приведем сначала несколько определений и резуль­

татов

относительно

хаусдорфовых

мер и

размерностей

(доказательства можно найти, например, в

книге Ка-

хана

и Салема

[1], гл. II) .

Пусть

Л — подмножество

окружности

и 0 < а ^ 1 .

Мера

Хаусдорфа

На(А)

размерности а

множества

А

определяется

следующим

образом. Для каждого

б > О

рассмотрим точную нижнюю грань сумм 2

I / Г по

всем

семействам

интервалов I , таким, что sup | / | ^ б и U /гэ А.

Она будет

невозрастающей функцией относительно б со

значениями

в [0, оо]. Ее предел при 8-*0

и есть

На(А).

Функция

Я а (Л )

невозрастающая

относительно

а

со значениями в [0, оо] .

Кроме того, существует не более

одного

значения

а, для которого 0 <

Я а ( Л ) < оо. Хаус­

дорфова размерность множества А это

есть

точная

нижняя

грань таких а, что Я а ( Л ) =

0, и точная

верхняя

грань

таких

а,

что # а

( Л ) = оо.

Мы обозначим

ее

через

dim А.

Сформулируем

одну

полезную

теорему Фростмана.

Если

А — борелевское

множество

и

Я о ( Л ) > 0 ,

то Л

является

носителем

положительной меры

do(t),

такой,

что а

(

/

)

I

| а

для

любого интервала I , где

С не

зависит

от /

(Фростман [1], стр. 89,

Кахан

и Салем [1],

стр. 27).

Чтобы продемонстрировать ее приложение,

вернемся

к теореме 3 и предположим,

что Я а

( Л ) > 0 .

Согласно

теореме Фростмана, Л является носителем меры

da(t),

такой,

что а л

= 0(/°); следовательно, из условия

S / n + a e x p ( i

J < o o

(8)

n=l

\m=I

/

вытекает, что случайное семейство {/„}

не

является

покрывающим для Л. Рассмотрим один частный случай.

Пусть

— случайное

семейство

интервалов

{/„}, где

|/„1 =

Р/я

( л = 1 « 2, . . . ) .

П р е д л о ж е н и е

1. Если

А — борелевское

подмно~

жество

окружности

и dim Л > 0, то

не

является

покрывающим

для

А.

156

ГЛАВА IX

С помощью

неравенства

(7)

докажем

результат

противоположного

характера,

а именно

П р е д л о ж е н и е

2. Если dim А < р, то

семейство#~в

покрывающее для

А.

Д о к а з а т е л ь с т в о . Запишем

(7) в виде

Р С / # З Д < П

( ' - £ ) ( ' +

2

т=ц+1

^

п=ц+1

Отсюда следует,

что

целое

число,

для

которого

(v — р,)| / | ^

1.

Тогда

Р (/

ci S ^ )

<

СцР I / р log

j ^ j - .

где С зависит только от р.

Используя

определение

хаусдорфовой

размерности, имеем Р (A qt EVLCO)

=

0. Сле­

довательно, A cz Е п. н.

Для заданной убывающей последовательности /„

положим

к({1п)) =

М--1—(11

+

12+ ...

+/„).

П -> со 1 1и Б "

Если

семейство

SF состоит из

интервалов

длины

/„,

то вместо к({/„}) будем писать

Пользуясь

этим

определением, докажем

следующую теорему.

Т е о р е м а

6.

Если

к(&~) > 1, то F п. н. пусто.

Если

x ( f ) < l ,

го

d i m F = 1 — х(#~)

п. н.

Перед доказательством этой теоремы сделаем не­

сколько замечаний. Как и ранее, предположим, что / =

1.

Если

к =

х(&~)>1,

то

мы

можем

применить

тео­

рему 1, в силу которой F=0

п. н., а это есть

первая

часть

теоремы 6.

Если

х < оо, то /„ =

О ( ^ - )

и е х р ^ 2

f m ) =

О (пк +Е )

СЛУЧАЙНЫЕ

ИНТЕРВАЛЫ НА ОКРУЖНОСТИ

157

Приведем другую

формулу для к. Пусть

Хт=1/1,

Число d называется верхней

логарифмической

ПЛОТ­

НОСТЬЮ последовательности {Хт}.

Имеем

следовательно,

log^„ >

log/г +

o(logn);

поэтому

d^.%.

С другой

стороны,

если

задано

е >

0,

то

п

для бесконечного множества п; следовательно, d^n

— е.

Наконец, в силу произвольности е > 0,

d = %.

Мы воспользуемся этой формулой для подсчета х(^),

где ^ — объединение семейств

ЗГ и

Используя

очевидные

обозначения,

имеем

% (0 =

njr (t) +

(t) =

n,r(t)

+ p-t

+ o (t),

d(9) =

d(Sr) +

fr

следовательно,

к (9) = к (#") +

р.

Теперь мы в состоянии доказать вторую часть

теоремы

6.

1 — я,

Если

р >

то х ( ^ ) >

1;

следовательно, ^ — по­

крывающее семейство. Иными словами, семейство

почти наверное покрывает F. Используя предложение 1,

находим,

что

d i m F < p

п. н.

Если

р <

1—и,

то и (^) < 1, а потому % не является

покрывающим семейством. Другими словами, 9"р

почти

наверное не покрывает F. Используя предложение 2,

получаем, что

d i m F ^ p

п. н.

Следовательно,

dim F = 1 - х ,

что

и

требовалось

доказать.

158

ГЛАВА IX

функций

ф„

0,

заданных

на

окружности

С,

и,

как

и во введении,

случайный

ряд

с»

ф* {* — /со„).

2

Пусть

£ф — множество,

где

этот

ряд

расходится,

а .Рф — множество, где

он

сходится.

a) Сформулируйте необходимое и достаточное усло­

вие для

того,

чтобы

ЕФ

п. н. было

пустым. (Исполь­

зуйте

предложение 12

из гл. V, стр.

83.)

b) Сформулируйте необходимое и достаточное усло­

вие для

того,

чтобы

£Ф п. н.

имело

меру 0.

Тот

же

вопрос с Рф вместо Е®.

(Рассмотрите- Р (/ с= Е®) для

заданного t с= С.)

c) Сформулируйте необходимые и достаточные усло­

вия для того, чтобы F п. н. было пустым.

(Используйте теорему 1 и доказательство теоремы

2.)

2.

Если lim ( 2

In — / log п > — оо, то {/„} — прибли­

зительно

покрывающее

семейство.

(Доказательство то

же,

что

и для

теоремы

4.)

3.

Докажите,

что либо

F

п. н.

плотно

на

окруж­

ности,

либо

оно

п. н.

пусто.

Тот

же

вопрос

для

Е®

и Рф

вместо

F

(ЕФ и ^ Ф определены

в

упр.

1).

(Рассмотрите рациональные интервалы и примените

закон

нуля и

единицы.)

ть

т2,

nij,

которые

мы

будем рассматривать

как

массы.

Через 8|,

Э2,

8/,

. . . будем обозначать

оо

Предположим сначала,

что 2 Щ< 0 0 •• Рассмотрим

случайную

меру

оо

dii

=

2i

"i/6e ,,1

(1)

где

бд^ — единичная масса .в точке

6/.

Грубо

говоря,

мера

d\i

получается

при

случайном

распределении

масс trij на окружности. Оказывается,

что ряд

Фурье —

оо

^

т./ log—— < оо, то

этот

ряд п. н. ограничен почти

1

1

оо

т/ log - ^ - = 0 0 . то он п. н.

в

каждой точке; если

же ^

I

1