Глава 1. Мера как процесс приписывания

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

Открытие Части VI

Часть V довела одномерный анализ на процессах до конца: метрику, топологию и компактность, непрерывность, производную как процесс уточнения наклона, интеграл как процесс накопления и связавшую их основную теорему, а затем — первый закон многомерного интегрирования, теорему Фубини. Всюду один и тот же приём: то, что классический анализ берёт как завершённый объект (предел, площадь, мера), ToS берёт как процесс, доводимый до любой нужной точности, но не объявляемый готовым.

Часть VI применяет этот приём к мере и интегрированию по Лебегу — и применяет его в самом чувствительном месте. Именно здесь классическая теория традиционно опирается на Аксиому Выбора: на ней стоят неизмеримые множества Витали, парадокс Банаха–Тарского, существование <<достаточной>> мажоранты в теоремах сходимости. Вопрос Части VI прямой: что из теории меры остаётся, если Аксиомы Выбора нет? Ответ, который мы будем разворачивать главу за главой, — остаётся всё содержательное, а исчезает лишь то, что и без того было не построением, а постулатом о завершённой неконструктивной тотальности.

Что эта глава утверждает — и что нет

Честность с самого начала. Настоящая глава не строит общую $\sigma$-алгебру измеримых множеств и не доказывает теорему о продолжении меры с алгебры на $\sigma$-алгебру: ни того, ни другого в нашей конструкции нет, и, как выяснится, ни то, ни другое не нужно. Доказано здесь иное и более скромное по виду, но более прочное по основанию: мера интервала есть интеграл его индикатора; неотрицательность, конечная аддитивность и монотонность меры суть следствия этой конструкции, а не наложенные на меру аксиомы; счётная аддитивность — это утверждение о сходимости процесса частичных сумм мер, и в таком прочтении она доказана.¹

Граница проходит ровно по линии P4. Конечное и процессное ядро доказывается без единой аксиомы; шаг, на котором монотонный ограниченный процесс объявляется сходящимся, опирается на Закон Исключённого Третьего (L3); а завершённое счётное объединение как готовый объект — то, чего ToS не актуализирует вовсе. Это не пробел изложения, а позиция: мера есть процесс приписывания, а не функция на завершённом множестве. Эту фразу глава и разворачивает.

Чтобы держать эти границы в поле зрения, различим три уровня строгости. Первый — точная мера интервалов через ступенчатый интеграл: здесь всё доказано без аксиом. Второй — процессные чтения меры и $\sigma$-аддитивности (мера как sup-процесс, сходимость частичных сумм): доказаны именно эти процессные утверждения, при явно названной цене (L3). Третий — общая мера Лебега на всех измеримых множествах как завершённый формальный объект — содержательная интерпретация и направление следующего слоя, а не уже построенная теория. Первые два уровня глава ведёт как доказанные, третий — как честно помеченную программу.

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

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

Rules (Правила, $\leftrightarrow$ L5). Мера есть интеграл индикатора, $\mu (A)=I({\chi }_A)$; неотрицательность, конечная аддитивность, монотонность и счётная аддитивность (монотонный ограниченный процесс сходится).

Roles (Роли, $\leftrightarrow$ L4). <<Измеримое>> — роль различимого множества; <<мера>> — роль приписанного значения; предел $\mu ({⨆}_k{A}_k)$ — роль-предел процесса накопления.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Рациональные меры $\mu (A_k)$, ступенчатые индикаторы, частичные суммы $S_n$; завершённая бесконечность — вне элементов (P4).

Мера из интеграла, а не из $\sigma$-алгебры

Разворот учебникового порядка

Учебник вводит меру первой: задаётся $\sigma$-алгебра $\Sigma$ <<измеримых множеств>>, на ней — функция $\mu :\Sigma \to [0,\infty ]$, и лишь затем, поверх меры, строится интеграл. Этот порядок предполагает $\Sigma$ данной заранее — завершённой совокупностью всех множеств, которым уже приписана мера. Именно в эту предпосылку и встроена Аксиома Выбора: чтобы говорить о множествах, которым меру приписать нельзя (Витали), нужно сперва иметь завершённую тотальность всех подмножеств, из которой такое множество <<выбирается>>.

ToS идёт обратным путём, следуя линии Бишопа–Чена: сначала интеграл, мера из него.² Интеграл уже построен в Части V как процесс накопления над ℚ. Мера множества $A$ определяется как интеграл его индикатора — характеристической функции ${\chi }_A$, равной единице на $A$ и нулю вне его:

$$\mu (A)=I({\chi }_A).$$

Мера — это не разметка заранее данного множества, а правило: проинтегрируй индикатор. Область, на которой правило работает, сама очерчивается процессом, а не дана готовой $\sigma$-алгеброй.

Интервал: мера без предела

Для интервала $[c,d]$ индикатор ${\chi }_{[c,d]}$ уже есть ступенчатая функция — ступень высотой $1$ на $[c,d]$. Его интеграл не требует никакого предельного перехода: это площадь прямоугольника со сторонами $1$ и $d-c$. Поэтому

$$\mu ([c,d])=I({\chi }_{[c,d]})=1\cdot (d-c)=d-c,$$

и это равенство доказано как точное тождество над ℚ, без аксиом.³ Длина $d-c$ здесь не постулируется как <<мера интервала>>, а вычисляется из интеграла; совпадение с наивной длиной — результат, а не определение.

Измеримое есть различимое

Что значит <<множество $A$ измеримо>> в этом порядке? Не <<принадлежит заранее данной $\sigma$-алгебре>>, а: его индикатор приближается ступенчатыми функциями — то есть границу $A$ можно сколь угодно точно очертить конечными рациональными данными. Это в точности тот смысл <<различимости>>, который проходит через весь настоящий том: измеримое — то, что процесс конечных приближений способен отделить от своего дополнения.⁴

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

Оговорим формальный статус. В коде этот тезис реализован пока на базовом интервальном/ступенчатом уровне: построены характеристические ступенчатые функции интервалов и мера интервала. Общий предикат <<множество $A$ измеримо тогда и только тогда, когда его индикатор приближается ступенчатыми функциями>> для произвольного множества — это содержательное чтение и направление следующего слоя, а не уже полностью построенная в этом файле теория.⁵

Отсюда сразу видно, почему в этом порядке нет места неизмеримому множеству как <<исключению>>: неизмеримость Витали — не свойство какого-то конкретно предъявленного множества, а утверждение о завершённой совокупности всех подмножеств, которой у ToS попросту нет. К этому мы вернёмся в Главе 6.2; здесь важно лишь, что вопрос <<а вдруг $A$ неизмеримо?>> в нашем порядке не предшествует мере, а снимается вместе с отказом от завершённой тотальности.

Неотрицательность и конечная аддитивность

Неотрицательность как следствие, не аксиома

В аксиоматике Каратеодори неотрицательность $\mu (A)\ge 0$ постулируется — это первая аксиома меры. В нашем порядке постулировать нечего: индикатор ${\chi }_A$ неотрицателен, интеграл неотрицательной ступенчатой функции неотрицателен, значит $\mu (A)=I({\chi }_A)\ge 0$ по построению.⁶ То же и с прочими <<аксиомами меры>>: на интервальном/ступенчатом уровне соответствующие свойства меры оказываются теоремами о конструкции.

Структурная неотрицательность (в сквозной нумерации мотивов тома — M4): свойства меры не навязаны ей извне списком аксиом, а прослеживаются в самом правиле приписывания.

Конечная аддитивность, монотонность, точка

Для двух примыкающих интервалов $[a,b]$ и $[b,c]$ индикатор объединения есть сумма индикаторов, а интеграл аддитивен — поэтому их суммарная мера равна $\mu ([a,c])$. Это базовый случай конечной аддитивности; общая аддитивность для произвольного списка непересекающихся интервалов была бы естественным расширением той же схемы.⁷ Монотонность столь же прозрачна: если $A\subseteq B$, то ${\chi }_A\le {\chi }_B$ поточечно, а интеграл сохраняет порядок, значит $\mu (A)\le \mu (B)$. Наконец, мера точки равна нулю: вырожденный интервал $[a,a]$ даёт прямоугольник нулевой ширины.

Параллельно в процессной линии есть инфраструктура меры как процесса: процессы индикаторов, рациональная интервальная мера $q_{m}easure=d-c$, внешние покрытия и предикаты множества меры нуль.⁸ Это не единый факторизованный объект <<мера Лебега>> в общем виде, а набор мостов, позволяющих читать меру как процесс приближения к числу, — в духе P4.

Счётная аддитивность как сходимость процесса

Где прячется бесконечность

Счётная ($\sigma$-) аддитивность — сердце теории меры: для счётного семейства попарно непересекающихся множеств $A_1,A_2,A_3,\dots$

$$\mu \left(\underset{k}{⨆}{A}_k\right)=\sum _k\mu (A_k).$$

Здесь сразу две завершённые бесконечности: завершённое счётное объединение ${⨆}_k{A}_k$ слева и завершённая сумма ряда справа. Классика берёт обе как готовые объекты. ToS не берёт ни одной как готовой — и именно поэтому может сказать о $\sigma$-аддитивности нечто точное, а не постулировать её.

Накопление меры как монотонный ограниченный процесс

Прочтём равенство как утверждение о процессе накопления. Частичная сумма

$$S_n=\sum _{k<n}\mu (A_k)$$

есть мера объединения первых $n$ кусков — конечная величина, доступная на каждой стадии. Поскольку каждая $\mu (A_k)\ge 0$, последовательность $S_n$ монотонно растёт.⁹ Если все $A_k$ лежат в одном ограниченном интервале $[c,d]$ (как и бывает на практике), то их непересекающиеся куски в сумме не перекрывают $[c,d]$, и потому $S_n\le d-c$ для всех $n$: процесс ограничен.

{ А монотонный ограниченный процесс над ℚ сходится — образует Коши-последовательность.¹⁰ Таким образом, доказуемое ядро $\sigma$-аддитивности в нашем прочтении есть теорема: процесс частичных сумм мер сходится.}

$\sigma$-аддитивность — это не равенство двух завершённых бесконечностей, а сходимость процесса частичных сумм мер. Предел, который классика записывает как $\mu ({⨆}_k{A}_k)$, есть роль — значение, к которому процесс сходится; чтение его как меры счётного объединения есть содержательная роль процесса, а не построенный объект завершённого объединения.

Честная цена

Цена ровно одна и она названа. Шаг <<монотонный ограниченный процесс сходится>> — классический: он опирается на Закон Исключённого Третьего (L3){} в том же смысле, в каком на нём стоит теорема о монотонной сходимости процессов (monotone_bounded_Cauchy в процессной арифметике).¹¹ Завершённое же объединение ${⨆}_k{A}_k$ как самостоятельный объект — то, чего ToS не строит: оно осталось бы актуальной бесконечностью, запрещённой P4. Но для содержания теории оно и не нужно: всё, что говорит $\sigma$-аддитивность, выражено сходимостью процесса $S_n$, а сходимость доказана.

Доменно-явная мажоранта — метод Части VI

Есть место, где Аксиома Выбора входит в теорию меры тише, чем в Витали, и потому опаснее — теоремы сходимости. Их формулировки то и дело начинаются словами <<пусть существует интегрируемая мажоранта $g$, такая что $|f_n|\le g$…>> — и в классическом изложении эта $g$ нередко добывается неконструктивно, <<по существованию>>.

ToS обращает молчаливое существование в явный параметр. Мажоранта $g$ — не <<какая-то существующая функция>>, а данная, предъявленная гипотезой функция; теорема говорит о паре $(f_n,g)$, где $g$ показана, а не вызвана к существованию.¹² Это прямое применение P4 в форме <<существование $\to$ свидетель>> (L4): где классика выбирает мажоранту из завершённой совокупности, ToS требует её построить и предъявить.

Доменно-явная мажоранта — сквозной метод Части VI: всякий раз, когда классика молча выбирает контролирующий объект, ToS делает его явным параметром конструкции.

Этот приём — не оговорка ради чистоты, а то, что делает теоремы сходимости конструктивными без Аксиомы Выбора. В Главе 6.4 он несёт всю теорему о мажорированной сходимости: имея $g$ как параметр, остаётся чисто конструктивная оценка $|I(f_n)-I(f)|\le I(|f_n-f|)$ и сжатие невязки — и тогда сходимость интегралов следует без единой аксиомы.¹³

Мера Лебега против объёма Жордана

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

Разница между ней и мерой Лебега — ровно один шаг: от конечного накопления к счётному, то есть к сходящемуся процессу из § «Счётная аддитивность как сходимость процесса». И этот шаг содержателен. Рассмотрим рациональные точки отрезка — множество $Q\cap [c,d]$. По Жордану оно неизмеримо: изнутри его не накрыть ни одним интервалом положительной длины (между любыми двумя рациональными есть иррациональный процесс, точку которого рациональные не заполняют), а снаружи конечными интервалами меньше всей длины $d-c$ не накрыть. Внутренняя и внешняя оценки не сходятся — объём Жордана не определён.

Мера же Лебега, в процессном прочтении, даёт $Q\cap [c,d]$ нуль. Причина — именно счётность: рациональные можно занумеровать (Глава 3.3), а тогда $k$-ю точку можно накрыть интервалом длины, убывающей геометрически, так что суммарная длина покрытия есть процесс, сходящийся к нулю.¹⁴

Лебег сильнее Жордана ровно там, где конечное накопление сменяется сходящимся процессом. <<Мера Лебега за пределами Жордана>> — это <<процесс за пределами конечного>>.

И здесь видна цена и выгода отказа от завершённой тотальности сразу. Счётное множество $Q\cap [c,d]$ <<несчётно мало>> по мере, хотя <<плотно>> по расположению: мера и мощность отвечают на разные вопросы о процессе, и смешивать их — ошибка категории. Это та же диагностика, что вела Часть IV.

E/R/R-разбор: мера как Правило

Постановка

Разберём построенную систему — меру на процессном континууме — в терминах E/R/R. Сделаем оговорку об уровне сразу: <<система меры>> здесь — содержательная интерпретация конструкции (интеграл индикатора плюс процесс накопления), а не объект, буквально объявленный в коде как System. Разбор — онтологическое осмысление структуры главы и чтение авторской E/R/R-шапки опорных файлов,¹⁵ а не приписывание коду новых формальных утверждений.

Напомним принятое в томе различение: аббревиатура E/R/R задаёт эпистемический порядок (Elements $\to$ Roles $\to$ Rules, от наблюдаемого к глубинному), а порождающий (онтологический) порядок обратен: Rules $\to$ Roles $\to$ Elements. Эпистемически глава шла от наблюдаемых величин (длины, суммы) к законам; ведём разбор в порождающем порядке.

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

Rules (Правила, $\leftrightarrow$ L5). В основании — само правило приписывания: мера есть интеграл индикатора, $\mu (A)=I({\chi }_A)$. Над ним — правила, которые это приписывание удерживают: структурная неотрицательность, конечная аддитивность, монотонность по включению и — на процессном уровне — правило, что монотонный ограниченный процесс частичных сумм сходится (счётная аддитивность). Универсальный слой этих правил — законы L1–L5 (в частности, L3, оплачивающий сходимость); конкретный слой — именно формула $\mu =I(\chi )$ и доменно-явная мажоранта.

Roles (Роли, $\leftrightarrow$ L4). Правила задают роли. <<Быть измеримым>> — роль множества: его индикатор различим конечными приближениями. <<Мера множества>> — роль значения, которое приписывает правило. <<Предел $\mu ({⨆}_k{A}_k)$>> — роль-предел, занимаемая процессом накопления $S_n$. Ни одна из этих ролей не есть готовый объект: это функции в системе, места, которые элементы занимают по отношению к правилу.

Elements (Элементы, $\leftrightarrow$ L1$+$P4). Роли подбирают носителей. Носители здесь конечны на каждой стадии: рациональные значения мер $\mu (A_k)$, характеристические ступенчатые функции, частичные суммы $S_n$. Под P4 ни один элемент не есть завершённая бесконечность — актуальны лишь конечные приближения; <<значение>> системы (предел) не актуализируется как элемент, актуализируется процесс к нему.

Компонент	Что фиксирует	E/R/R
$\mu (A)=I({\chi }_A)$; аддитивность; <<монотонно-ограниченное сходится>>	КАК организовано приписывание меры и его сохранение	Rules ($L5$)
измеримость (различимость); мера множества; предел накопления	ЗАЧЕМ значимы носители: места в системе	Roles ($L4$)
$\mu (A_k)\in Q$; ступенчатые $\chi$; частичные суммы $S_n$	ЧТО есть на каждой стадии (конечно, P4)	Elements ($L1$, P4)

Проверка сформированности и что даёт разбор

{ Система сформирована корректно: каждый компонент попадает ровно в одну E/R/R-категорию, и нет самоотнесения (P1). Существенно, чего здесь нет: правило $\mu =I(\chi )$ не берёт своим элементом <<совокупность всех измеримых множеств>>. Завершённой $\sigma$-алгебры в качестве носителя не существует — область правила очерчивается различимостью, стадия за стадией, а не дана готовой тотальностью. Именно отсутствие такого самоотнесения (мера как элемент собственной области) объясняет, почему в этой рамке не появляются исходные условия классических построений Витали и Банаха–Тарского: завершённая тотальность всех подмножеств и внешний выбор представителей. Поэтому эти конструкции не суть объекты настоящей теории меры. Это не отдельная метатеорема невозможности, а диагноз отсутствия нужного носителя.}

Что даёт разбор. Он переводит центральную фразу главы на язык структуры: мера — это Правило (процесс приписывания), измеримость — это Роль (различимость), а числовые меры и частичные суммы — Элементы (конечные на каждой стадии). Брать меру как <<функцию на завершённом множестве>> значит ставить никогда не завершаемую область Правила на место готового Элемента-тотальности — смешение категорий, того же рода, что <<число как объект>> вместо роли-количества (Часть II), <<точка как объект>> вместо класса (Глава 4.3), <<несчётность как свойство множества>> вместо правила о процессах (Глава 4.4). Потеря Аксиомы Выбора здесь не обедняет теорию — она лишь убирает то, что и было постулатом о завершённой тотальности, оставляя всё конструктивное нетронутым.

Следующая глава применяет это правило к самому процессному континууму: строит меру Лебега на интервалах и их объединениях, доводит до меры нуль счётных и канторова множеств и проясняет, что именно теряется без Аксиомы Выбора и почему это не потеря.

---

---

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

Понятия: Формализация

Навигация: ← Глава 7. Теорема Фубини на процессах — Часть V · Глава 2. Мера Лебега на процессном континууме →

Footnotes

1. Опорные файлы — LebesgueMeasure.v (каталог src/analysis/ Rocq-репозитория ToS, 20 доказанных утверждений, 0 Admitted, 0 аксиом) и ProcessSigmaAdditive.v (каталог src/process/, 5 утверждений). Имена лемм, приводимые в сносках ниже, — из них. ↩

2. Шапка LebesgueMeasure.v: <>, <<we COMPUTE integrals, then DEFINE measure>> — разворот стандартного порядка <<мера $\to$ интеграл>>. ↩

3. В коде мера интервала определена как интеграл индикатора, а отдельная лемма сводит её к $d-c$ одним тактическим шагом ring. Соответствующие утверждения — measure_interval и measure_interval_eq. ↩

4. Шапка LebesgueMeasure.v: <<measurability $=$ distinguishability: a set is measurable when its characteristic function is approximable by step functions. No sigma-algebras, no AC, no completed infinities.>> ↩

5. LebesgueMeasure.v строит characteristic_step, measure_interval и их свойства; формула <<measurability $=$ distinguishability>> присутствует там как авторский тезис-направление, а не как доказанный общий предикат измеримости. ↩

6. Утверждение measure_nonneg в LebesgueMeasure.v (0 аксиом). ↩

7. Доказанная лемма measure_additive даёт случай двух примыкающих интервалов: $\mu ([a,b])+\mu ([b,c])=\mu ([a,c])$. Также measure_monotone и measure_point_zero (мера вырожденного интервала $[a,a]$ равна нулю). Все — 0 аксиом. ↩

8. В ProcessMeasureTheory.v: measure_process (процесс индикатора), q_measure_additive, q_measure_monotone, предикат различимости на стадии $n$ measurable_at, а также внешние оценки и предикаты множества меры нуль. ↩

9. Частичная сумма мер — partial_measure; её монотонность — partial_measure_monotone, а partial_measure_le даёт монотонность меры по включению: больше кусков — не меньше меры. ↩

10. Это и доказано: при неотрицательных $\mu (A_k)$ и общей ограниченности частичных сумм процесс $S_n$ есть Коши-процесс — утверждение sigma_additive_converges (ProcessSigmaAdditive.v), опирающееся на monotone_bounded_Cauchy из процессной арифметики. ↩

11. В Rocq это аксиома classic; Print Assumptions для sigma_additive_converges показывает её и только её — никаких новых аксиом. Это та же зависимость, что у теоремы о монотонной сходимости (Глава 6.4). ↩

12. В коде доминирование — предикат dominated, берущий мажоранту $g$ явным аргументом: $\forall kx,|f_k(x)|\le g(x)$. Это и есть <<доменно-явная мажоранта>>. ↩

13. Редукция мажорированной сходимости — process_dct (ProcessDCT.v), 0 аксиом: движок и <<конверт>>-мажоранта доказаны конструктивно, а единственный неконструктивный шаг (сходимость невязок к нулю) вынесен в явную гипотезу-вход. ↩

14. Это доказано как процессное утверждение: суммарная длина покрытия на стадии $n$ ведёт себя как $(1/2{)}^n$ и сходится к нулю — rationals_cover_to_zero (ProcessRationalsNull.v, 0 аксиом). Тот же приём даёт меру нуль и для канторова множества — cantor_measure_zero (ProcessCantorMeasure.v). Полную формализацию этого перехода для обоих множеств разворачивает следующая глава. ↩

15. Шапки дают разметку прямо: LebesgueMeasure.v — Elements: характеристические ступенчатые функции, мера как интеграл; Roles: мера интервалов, аддитивность, монотонность; Rules: $\mu (A)=I({\chi }_A)$, мера из интегрирования, не из $\sigma$-алгебр. ProcessSigmaAdditive.v — Rules: неотрицательность $\Rightarrow$ рост, конечная масса $\Rightarrow$ ограниченность $\Rightarrow$ Коши. ↩