Глава 1. Бесконечно малое как процесс

Где стоит часть

После функции-как-процесса (Часть XVI), дискретной математики и информации (Часть XVII) и процессной иерархии (Часть XVIII) том делает шаг за границу финитизации — туда, где классическая математика строит гипердействительные числа, бесконечно малые и принцип переноса через неглавный ультрафильтр. ToS утверждает: это процессная математика в role-limit-упаковке.

Флагман части: всё реальное содержание нестандартного анализа переразмещается на процессы. Бесконечно малое — это процесс $\delta =1/(n+1)$, а не «исчезающе малое число»; гипердействительные — role-limit-замыкание ростков-процессов, и неконструктивность сидит ровно в ОДНОЙ точке: максимизация фильтра Фреше (ко-конечного, конструктивного) до неглавного ультрафильтра (всеведение). Эта глава строит Element-ядро — кольцо ростков БЕЗ ультрафильтра.

{ Раз система онтологична, она обязана для каждой «заграничной» конструкции вынести вердикт: Element-ядро (реальное содержание, процессно-выразимое, 0 аксиом); role-limit-инструмент (реальная организующая роль, но неконструктивная упаковка — устранимая опалубка); или иллюзорное (консистентно в ZFC, но без референта и применения — ToS называет и растворяет, Глава 6). Часть проходит конструкции нестандартного анализа с этим вердиктом; начинаем с самого ядра — бесконечно малого.}

Направление не изобретено ToS: бесконечно малые через фильтр Фреше, без ультрафильтра — в близком духе традиции Шмиден–Лаугвица ($\Omega$-исчисление, 1958). Вклад ToS — переразмещение НА ПРОЦЕССЫ $N\to Q$, машинная проверка Element-ядра, делители нуля как след отсутствующего ультрафильтра и привязка к границе финитизации. Индекс $n$ здесь пробегает натуральный тип от нуля (конвенция инструмента): ${\delta }_n=1/(n+1)$, то есть $1,\frac{1}{2},\frac{1}{3},\dots$ Завершённой бесконечности и $R$ как первичного объекта нет — только процессы и их роли.

Бесконечно малое — это процесс

Возьмём ${\delta }_n=1/(n+1)$: $1,\frac{1}{2},\frac{1}{3},\dots$ Это процесс, конечно- актуальный на каждой стадии (P4): на стадии $n$ перед нами конкретное рациональное число, не завершённый объект. У него два разных статуса, которые классическая интуиция путает.

Как элемент $\delta$ ненулев: $1/(n+1)\ne 0$ при каждом $n$ — и даже как росток $\delta \nsim 0$ (нет хвоста, на котором ${\delta }_n=0$). Как роль $\delta$ бесконечно мал: для всякого стандартного $\epsilon >0$ начиная с некоторого $n$ выполнено $|{\delta }_n|<\epsilon$¹.

Здесь и растворяется старая загадка «бесконечно малое — это нуль или нет?». Ненулевость — факт об элементах (${\delta }_n\ne 0$); бесконечная малость — роль (поведение процесса в пределе). Они не противоречат друг другу, потому что относятся к разным уровням: $\delta$ не число с парадоксальным свойством, а процесс. Тот же ход в следующей главе строго растворит парадокс Беркли о «призраке исчезнувшей величины»: призрак — это операция тени, берущаяся в конце, а не подмена нуля.

Кольцо ростков: $\omega \cdot \delta =1${omega·delta=1} и след отсутствующего ультрафильтра

Процессы $N\to Q$ складываются и умножаются поточечно, а отождествляются ростками — по фильтру Фреше: $x\sim y$, если $x_n=y_n$ при всех $n\ge N$ для некоторого $N$ (ко-конечное совпадение). Это правило задано конструктивно: оно не требует выбора на $2^N$ и не отбирает одну из двух бесконечных частей (хотя для произвольных процессов это и не тотальный булев решатель). Работаем с ростками на setoid-уровне — процессы по модулю $\sim$, с операциями, согласованными с $\sim$ (конгруэнтными); явный quotient-тип не нужен, и ультрафильтр не используется. Это и есть кольцо ростков $Q^N/\text{Фреше}$.

$\delta$ обратим в кольце ростков: его обратный представитель — процесс ${\omega }_n=n+1$ ($1,2,3,\dots$, бесконечно большое), и $\omega \cdot \delta \sim 1$². Бесконечно большое и бесконечно малое — взаимно обратные процессы; никакой мистики, обычное $1/(n+1)\cdot (n+1)=1$.

Но кольцо ростков — именно кольцо, а не поле: в нём есть делители нуля. Индикатор чётных $E_n=[n\text{ чётно}]$ и индикатор нечётных $O_n=[n\text{ нечётно}]$ оба ненулевы как ростки (каждый равен $1$ бесконечно часто), но их произведение поточечно нулевое: $E\cdot O\sim 0$³.

Делители нуля — машинный СЛЕД отсутствующего ультрафильтра. Ультрафильтр решил бы «велико множество чётных ИЛИ множество нечётных», отождествив один из $E,O$ с $1$, другой с $0$ — и тем устранив этот конкретный делитель нуля. Без этого решения оба ненулевые, а произведение нулевое. Неразрешённость «что велико» — это и есть role-limit-зазор (Глава 3); поле требует его закрыть (Глава 4).

Бесконечно малые образуют идеал

Бесконечно малые ведут себя как «пренебрежимое» алгебраически: сумма двух бесконечно малых бесконечно мала, и произведение конечного на бесконечно малое бесконечно мало⁴. То есть бесконечно малые образуют идеал в кольце конечных ростков — алгебраический хребет понятия «пренебрежимо мало», на котором стоит вся техника $\infty$-малых: отбросить бесконечно малую поправку — значит факторизовать по этому идеалу. Капстоун главы собирает четыре факта — $\delta$ ненулево-и-$\infty$-мало, $\omega \cdot \delta =1$, делители нуля, идеал — в одно машинно проверенное утверждение⁵.

E/R/R-разбор: росток как система

Разберём кольцо ростков по E/R/R в порождающем порядке Rules $\to$ Roles $\to$ Elements.

Rules (L5). Удерживающее правило — ростковое равенство (фильтр Фреше): $x\sim y$ при ко-конечном совпадении. Кольцевые операции поточечны и согласованы с $\sim$ (конгруэнтны). Роли читаются по eventual-поведению процесса, а не по отдельным значениям.

Roles (L4). Росток-класс; три роли по поведению процесса: конечное — ограниченный процесс, бесконечно большое — неограниченный, бесконечно малое — стремящийся к нулю (в стандартном $\epsilon$-смысле). $\delta$ — канон бесконечно малого, $\omega$ — бесконечно большого (обратный к $\delta$ в кольце). Обратимость — роль единицы; делитель нуля — роль зазора.

Elements (L1 + P4). Носители — процессы $N\to Q$, конечно-актуальные на каждой стадии: ${\delta }_n=1/(n+1)$, ${\omega }_n=n+1$, индикаторы чёт/нечёт. Завершённого «бесконечно малого числа» нет — только процесс.

{ Проверка сформированности. Правило — ростковое равенство; роли — бесконечно малое / конечное / бесконечно большое; элементы — рациональные процессы; пересечений нет. Сам $\delta$ — полная E/R/R-система: правило-спуск $n\mapsto 1/(n+1)$ (архимедово убывание), роль «$<$ всякого стандартного $\epsilon$», элементы — рациональные значения.}

Что даёт разбор. Он растворяет загадку бесконечно малого: $\delta$ ненулево (элемент) и $\infty$-мало (роль) — это не парадокс, а два уровня одного процесса. И он называет границу: кольцо ростков — Element-ядро (разрешимо, 0 аксиом); поле ${}^{\ast }R$ (тотальный порядок, полный перенос) требует закрыть зазор делителей нуля внешним ультрафильтром — role-limit, и это горизонт Главы 4. Делители нуля — честная цена «кольца, а не поля»: машинный след того самого неразрешённого различения.

Бесконечно малое построено как процесс. В следующей главе — тень (стандартная часть) и производная через бесконечно малое: одна операция $\mathrm{st}$, на которой стоит всё исчисление, и строгое растворение парадокса Беркли.

---

---

Часть: Часть XIX. Нестандартный анализ над процессами · Том: «Математика»

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

Навигация: ← Глава 5. Синтез: иерархия есть процесс — Часть XVIII · Глава 2. Тень, производная, интеграл: исчисление как одна операция st →

Footnotes

1. delta $=1/(n+1)$, delta_nonzero ($\delta \nsim 0$ как росток), delta_infinitesimal (роль $\infty$-малого: $\forall \epsilon >0\exists N\forall n\ge N|{\delta }_n|<\epsilon$), определение g_infinitesimal (в GermInfinitesimal). Машинно проверено, 0 аксиом. ↩

2. omega $=n+1$, omega_infinite (роль $\infty$-большого), omega_delta_one ($\omega \cdot \delta \sim 1$ как ростки). Машинно проверено, 0 аксиом. ↩

3. even_ind, odd_ind, zero_divisors_exist: $E\nsim 0$, $O\nsim 0$, но $E\cdot O\sim 0$. Машинно проверено, 0 аксиом. ↩

4. infinitesimal_add (замкнутость по сложению) и finite_times_infinitesimal (конечное $\times \infty$-малое $=\infty$-малое), при определениях g_finite/g_infinitesimal (в GermInfinitesimal). Машинно проверено, 0 аксиом. ↩

5. germ_ring_infinitesimal_summary (в GermInfinitesimal): свод Element-ядра. Машинно проверено, 19 Qed, 0 аксиом. ↩