Глава 2. Мера Лебега на процессном континууме

Где стоит глава

От правила к континууму

Глава 6.1 ввела меру как правило приписывания: $\mu (A)=I({\chi }_A)$, интеграл индикатора. На интервалах это правило даёт точную меру $\mu ([c,d])=d-c$ без всякого предельного перехода; неотрицательность, конечная аддитивность и монотонность суть его следствия, а счётная аддитивность — сходимость процесса частичных сумм. Настоящая глава распространяет это правило на сам процессный континуум — на объединения интервалов и на множества, заданные процессами, — и доводит до меры нуль два эталонных множества: рациональные точки отрезка и канторово множество. В конце мы разбираем самый чувствительный вопрос Части VI: что теряется без Аксиомы Выбора и почему это не потеря.

Что глава доказывает и что оставляет программой

Удержим три уровня строгости, введённые в § (см. соответствующую главу). Доказано без аксиом: мера интервала и её инвариантность к сдвигу и масштабу; мера нуль рациональных точек отрезка и канторова множества — как сходимость покрывающего процесса к нулю. Доказано при явной цене (L3): счётная аддитивность как сходимость частичных сумм (Глава 6.1). Остаётся программой либо классическим сравнением: внешняя мера и измеримость по Каратеодори (в нашем порядке они не строятся и не нужны), мера на всём процессном континууме как завершённом объекте, и невозможность множества Витали (это не теорема системы, а диагноз отсутствия носителя).

Спина изложения здесь сознательно расходится с учебником: мы не строим $\sigma$-алгебру и внешнюю меру, а распространяем правило $\mu =I(\chi )$ напрямую.

Название главы обозначает направление расширения: формально здесь доказаны мера интервала, нуль-покрытия и процессные правила накопления, а не завершённая мера на тотальности всех подмножеств континуума.

E/R/R-каркас главы

Зададим каркас в порождающем порядке Rules $\to$ Roles $\to$ Elements; полный разбор — в § «Разбор в порождающем порядке». Глава расширяет систему меры на процессный континуум.

Rules (Правила, $\leftrightarrow$ L5). Поверх $\mu =I(\chi )$ (Глава 6.1): инвариантность к сдвигу и масштабу; правило <<счётное $\Rightarrow$ нуль>>; накопление для объединений. Слой P4 запрещает завершённые тотальности — отсюда нет носителя у множества Витали.

Roles (Роли, $\leftrightarrow$ L4). <<Мера нуль>> — роль-предел покрывающего процесса; <<измеримое>> — роль различимого множества; <<мера на континууме>> — роль-предел расширения по $[-N,N]$; <<множество Витали>> — роль без носителя.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Меры интервалов $d-c$, длины покрытий $(1/2{)}^n$, $(2/3{)}^n$, частичные суммы; завершённое объединение и вся прямая — вне элементов.

Интервал и его инвариантность

Точкой опоры служит мера интервала. Она зависит только от ширины, а не от положения: сдвиг интервала вдоль континуума меру не меняет, а растяжение меняет её пропорционально. Обе инвариантности доказаны как точные тождества над ℚ.¹

Мера интервала — не разметка положения, а ширина процесса различения: где интервал стоит, для меры безразлично.

Это уже содержательно. Инвариантность к сдвигу — то самое свойство, которое в классической теории служит определяющим для меры Лебега (единственная сдвигово-инвариантная мера на прямой, нормированная единичным отрезком). У нас оно не постулируется, а вычисляется из того, что интеграл индикатора зависит лишь от ширины ступени. Вырожденный интервал — одна точка — имеет меру нуль: прямоугольник нулевой ширины. Отсюда уже видно, что <<мера нуль>> не означает <<пусто>>: мера и наполненность множества — разные вопросы, и эта развилка станет главной в § «Множества меры нуль: счётное и канторово».

От интервалов к объединениям

Следующий шаг — объединения. Для конечного набора непересекающихся интервалов мера объединения есть сумма мер; доказан базовый случай двух примыкающих интервалов, $\mu ([a,b])+\mu ([b,c])=\mu ([a,c])$, и общий конечный случай есть естественное повторение этой схемы.²

Для счётного набора работает результат Главы 6.1: частичные суммы мер $S_n={\sum }_{k<n}\mu (A_k)$ при неотрицательности слагаемых монотонно растут, при конечной общей массе ограничены, а потому образуют сходящийся (Коши-) процесс.³ Мера счётного объединения есть, в нашем прочтении, роль-предел этого процесса; завершённое объединение ${⨆}_k{A}_k$ как готовый объект не строится — оно осталось бы актуальной бесконечностью, запрещённой P4. Содержательная часть — сходимость накопления меры — доказана; завершённый объект ей не нужен.

Чем была бы внешняя мера — и почему её здесь нет

Учебник на этом месте строит внешнюю меру: накрывает множество счётными наборами интервалов и берёт нижнюю грань суммарных длин по всем покрытиям; затем измеримость по Каратеодори отбирает <<хорошие>> множества условием на разбиение любого тестового множества. Это мощный аппарат — и в нашем порядке он не нужен.

Причина проста: измеримость у нас уже определена иначе — как различимость, то есть приближаемость индикатора ступенчатыми функциями, а мера — как интеграл этого индикатора. Внешняя мера и Каратеодори — альтернативный маршрут к тому же понятию, а не его основание. Поэтому в ToS их можно ввести как классическое сравнение, но спина изложения идёт мимо: $\sigma$-алгебры не строятся, нижняя грань по всем покрытиям как завершённый объект не берётся. В этом и состоит облегчение от отказа от Аксиомы Выбора — добрая половина <<страха без AC>> касалась именно завершённой $\sigma$-алгебры и неконструктивной нижней грани, которых тут попросту не возникает.⁴

Множества меры нуль: счётное и канторово

Здесь правило-мера показывает свою силу. Множество имеет меру нуль, если его можно накрыть интервалами со сколь угодно малой суммарной длиной — точнее, если суммарная длина покрытия есть процесс, сходящийся к нулю. В ToS это и есть определение: не <<нижняя грань равна нулю>> (завершённая операция), а наличие покрывающего процесса, сходящегося к $0$.

Рациональные точки отрезка

Рациональные точки отрезка — множество $Q\cap [c,d]$ — счётны: их можно занумеровать (Глава 3.3, явный обход). Тогда $k$-ю точку накрывают интервалом длины, убывающей геометрически, и на стадии $n$ суммарная длина покрытия ведёт себя как $(1/2{)}^n$ — процесс, сходящийся к нулю. Значит $Q\cap [c,d]$ имеет меру нуль.⁵

Счётное плотное множество может иметь меру нуль: <<плотно расположено>> и <<велико по мере>> — разные вопросы о процессе.

Канторово множество

Ещё резче этот разрыв виден на канторовом множестве. Его строят трисекцией: из отрезка убирают среднюю треть, из каждого остатка — снова среднюю треть, и так далее; на стадии $n$ остаётся $2^n$ отрезков длины $3^{-n}$, суммарной длины $(2/3{)}^n$. Эта суммарная длина — покрывающий процесс, сходящийся к нулю, поэтому канторово множество имеет меру нуль.⁶ Но канторово множество, в отличие от рациональных точек, классически несчётно — имеет мощность континуума. В настоящей процессной линии доказана лишь его мера нуль; несчётность берётся как классическое и структурное чтение — через двоичные ветвления стадий, в духе несчётности процессов (Глава 4.4), — а отдельной Rocq-теоремы о мощности именно канторова множества здесь не используется.

Несчётно — но меры нуль. Это не парадокс, а разведение двух вопросов: счёт спрашивает, сколько различимых процессов помещается во множество, а мера — какую суммарную ширину они занимают. Канторово множество классически несчётно по первому вопросу и доказуемо нулево по второму. Смешать их — ошибка категории, той же природы, что и прочие диагностики тома.

Три множества выстраивают полную картину: рациональные точки (счётны, мера нуль), канторово множество (несчётно, мера нуль), отрезок целиком (несчётен, мера $d-c$). Мощность и мера независимы — ни одна не определяет другую; обе суть ответы на разные вопросы о процессах, населяющих континуум.

Что теряется без Аксиомы Выбора — и почему это не потеря

Классическая теория меры знает множества, которым меру приписать нельзя — множество Витали, — и парадоксальные разбиения шара (Банах–Тарский), удваивающие объём. Оба построения опираются на одно и то же: на завершённую совокупность всех подмножеств континуума и на внешний выбор представителя из каждого класса эквивалентности — то есть на Аксиому Выбора над готовой тотальностью.

В нашем порядке ни того, ни другого нет как онтологического носителя. Завершённой совокупности всех подмножеств P4 не актуализирует; внешний выбор представителя из несчётного семейства классов — ровно та операция над завершённой бесконечностью, которую ToS заменяет конструктивным свидетелем (L4: существование $\to$ предъявление), а здесь предъявить нечего. Поэтому исходные условия построений Витали и Банаха–Тарского в этой рамке не возникают, и сами построения не суть объекты настоящей теории меры.

Это не отдельная метатеорема невозможности, а диагноз отсутствия нужного носителя: парадоксальные конструкции не запрещены особым законом — им просто не из чего собраться.

И это не потеря. Всё содержательное — мера интервалов, инвариантность, меры нуль, сходимость накопления, теоремы сходимости (Глава 6.4) — работает без Аксиомы Выбора. Исчезает лишь то, что и было постулатом о завершённой неконструктивной тотальности: ровно тот слой, который порождал парадоксы, а не теоремы. Отказ от него не обедняет теорию меры, а очищает её.

Мера на всём процессном континууме

Остаётся вопрос о мере на всём континууме, а не на отдельном отрезке. Здесь ToS остаётся верен себе: <<вся прямая>> не есть завершённый объект, поэтому и мера на ней — не функция на готовой совокупности, а процесс. Меру множества $A$ на всей прямой естественно читать как процесс его мер на растущих отрезках $[-N,N]$: на каждом $N$ величина конечна и доступна, а <<мера на всём континууме>> — роль-предел этого расширяющегося процесса.

Это остаётся программой в том же смысле, что и завершённое счётное объединение: конечные приближения (мера на $[-N,N]$) доказуемы, а завершённый предельный объект не актуализируется. Содержательно ничего не теряется — любой конкретный вопрос о мере касается ограниченной области и решается на конечной стадии $N$.

E/R/R-разбор: мера Лебега как Правило на континууме

Разбор в порождающем порядке

Каркас задан в начале главы (§ «E/R/R-каркас главы»); здесь разворачиваем его с таблицей и проверкой корректности. Разберём расширенную систему — меру Лебега на процессном континууме — в терминах E/R/R, продолжая разбор Главы 6.1. Оговорка об уровне прежняя: <<система меры на континууме>> — содержательная интерпретация конструкции, а не объект, буквально объявленный в коде. Ведём разбор в порождающем порядке Rules $\to$ Roles $\to$ Elements.

Rules (Правила, $\leftrightarrow$ L5). Помимо правила приписывания $\mu =I(\chi )$ и его сохранений (Глава 6.1), на континууме добавляются: инвариантность к сдвигу и масштабу (мера зависит лишь от ширины); правило <<счётное $\Rightarrow$ нуль>> (множество с покрывающим процессом, сходящимся к нулю, имеет меру нуль); правило накопления для объединений (сходимость частичных сумм). Универсальный слой — законы L1–L5 и P4, запрещающий завершённые тотальности; именно он, а не особый запрет, исключает носителей для Витали и Банаха–Тарского.

Roles (Роли, $\leftrightarrow$ L4). <<Мера нуль>> — роль-предел покрывающего процесса; <<измеримое на континууме>> — роль различимого множества; <<мера на всём континууме>> — роль-предел расширяющегося процесса по $[-N,N]$. Существенна и несуществующая роль: <<неизмеримое множество Витали>> не находит носителя — для неё нет элемента, который её занял бы.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Носители конечны на каждой стадии: меры интервалов $(d-c)$, длины покрытий $(1/2{)}^n$ и $(2/3{)}^n$, частичные суммы и меры на $[-N,N]$. Завершённые объекты — бесконечное объединение, вся прямая, совокупность всех подмножеств — к элементам не принадлежат.

Компонент	Что фиксирует	E/R/R
инвариантность; <<счётное $\Rightarrow$ нуль>>; накопление объединений	КАК правило-мера ведёт себя на континууме	Rules ($L5$)
мера нуль; измеримое; мера на $[-N,N]$; (отсутствующая роль Витали)	ЗАЧЕМ значимы носители; чего носителя нет	Roles ($L4$)
$d-c$; $(1/2{)}^n$, $(2/3{)}^n$; частичные суммы	ЧТО есть на каждой стадии (конечно, P4)	Elements ($L1$, P4)

Что даёт разбор

{ Капстон главы — диагностика <<что теряется без AC>>. Витали и Банах–Тарский суть роли без носителя: классическая теория отводит им место, но место это требует носителя — завершённой совокупности всех подмножеств и внешнего выбора, — а под P4 такого носителя нет. Отсюда их отсутствие не есть пробел теории: это прямое структурное следствие того, что континуум у ToS населён процессами, а не завершёнными объектами. Та же диагностика, что вела весь том: брать роль (меру нуль, измеримость, несчётность) за объект — смешение категорий; населять континуум завершёнными подмножествами вместо процессов — то же смешение на уровне всей теории меры.}

Положительная же часть — ровно та, что доказана: мера интервала и её инвариантность, меры нуль счётного и канторова множеств как сходящиеся процессы, накопление меры для объединений. Этого достаточно, чтобы перейти к функциям: следующая глава вводит измеримые функции и интеграл Лебега как процесс, опираясь на ту же ступенчатую основу, и доводит понятие <<почти всюду>> до классов, перекликающихся с точкой-классом Главы 4.3.

---

---

Часть: Часть VI. Меры и интегрирование · Том: «Математика»

Понятия: Парадокс

Навигация: ← Глава 1. Мера как процесс приписывания · Глава 3. Измеримые функции и интеграл Лебега →

Footnotes

1. measure_translation: $\mu ([a,a+w])=\mu ([b,b+w])$ (мера зависит лишь от ширины $w$); measure_scale: $\mu ([0,k])=k$. Плюс measure_point_zero (вырожденный интервал имеет меру нуль). Все — в LebesgueMeasure.v, 0 аксиом. ↩

2. measure_additive в LebesgueMeasure.v (случай двух примыкающих интервалов); процессный аналог — q_measure_additive в ProcessMeasureTheory.v. ↩

3. sigma_additive_converges (ProcessSigmaAdditive.v), цена — L3. Подробнее — § (см. соответствующую главу) Главы 6.1. ↩

4. Нижняя грань по всем покрытиям — завершённая операция над бесконечной совокупностью; в процессном прочтении её заменяет конкретный покрывающий процесс с явной убывающей оценкой (см. § «Множества меры нуль: счётное и канторово»), а не взятие точной грани над готовой тотальностью. ↩

5. Доказано: покрывающий процесс $(1/2{)}^n$ сходится к нулю как процесс, rationals_cover_to_zero (ProcessRationalsNull.v, 0 аксиом). Именно счётность (нумерация из Главы 3.3) делает суммарный бюджет покрытия суммируемым. ↩

6. Доказано: процесс покрытия $(2/3{)}^n$ сходится к нулю, cantor_measure_zero (ProcessCantorMeasure.v, 0 аксиом). ↩