§1 Базовые теоретико-множественные конструкции
Все математические структуры строятся из нескольких фундаментальных кирпичиков теории множеств. Перечислим их справочно.
Упорядоченная пара
Ключевое свойство\(\langle x, y \rangle \stackrel{\rm def}{=} \{\{x\},\{x,y\}\}\)
Главное свойство: \(\langle a,b\rangle = \langle c,d\rangle \Leftrightarrow a=c \wedge b=d\)
Основа для декартовых произведений и всех отношений
Декартово произведение
Конструкция\(A \times B \stackrel{\rm def}{=} \{\langle x,y\rangle \mid x\in A,\; y\in B\}\)
\(n\)-арное: \(A_1 \times \cdots \times A_n\); однородное \(A^n\)
Строит «координатные» пространства, графики функций
Функция
ОтображениеВсюду определённое однозначное отношение \(f \subseteq A\times B\)
Биекция = инъекция + сюръекция
Образ \(f[X]\), прообраз \(f^{-1}[Y]\), композиция \(g\circ f\)
Отношение эквивалентности
РазбиениеРефлексивное + симметричное + транзитивное
Класс: \([x]_{\sim} = \{y\in X \mid x\sim y\}\)
Фактор-множество: \(X/{\sim} = \{[x]_\sim \mid x\in X\}\)
Строит \(\mathbb{Z}, \mathbb{Q}, \mathbb{R}\) через классы эквивалентности
Звезда Клини
Бесконечное объединение\(X^* = \bigcup_{n=0}^{\infty} X^n = X^0 \cup X \cup X^2 \cup \cdots\)
Множество всех конечных слов над алфавитом \(X\)
Тексты: \(\Sigma^*\); многочлены: \(K[x]\) на носителе \(K^*\)
Порядки
Иерархия
Предпорядок: рефл. + транз.
Частичный порядок: антисимм. предпорядок
Линейный порядок: связный ч.п.
Вполне упорядоченное: \(\forall X\neq\emptyset\;\exists\text{min}\)
Ординалы: \(\omega, \omega^2, \varepsilon_0,\ldots\)
Свойства бинарных отношений
| Свойство | Формула | Пример |
|---|---|---|
| Рефлексивность | \(\forall x:\; xRx\) | \(\leq\) на \(\mathbb{R}\) |
| Симметричность | \(xRy \to yRx\) | \(=\), \(\sim\) |
| Транзитивность | \(xRy \wedge yRz \to xRz\) | \(<\), делимость |
| Антисимметричность | \(xRy \wedge yRx \to x=y\) | \(\subseteq\) на \(\mathcal{P}(X)\) |
| Связность | \(\forall x,y:\; xRy \vee yRx \vee x=y\) | \(\leq\) на \(\mathbb{Z}\) |
| Однозначность | \(xRy \wedge xRz \to y=z\) | Функция \(f\) |
§2 Аналитическая структура
Само по себе множество (носитель) аморфно. Чтобы превратить его в математическое пространство, на него навешивается структура — слоями, снизу вверх.
Аналитическая структура — это кортеж \[\mathcal{M} = \langle M,\; \Sigma,\; \mathcal{T},\; \Phi \rangle,\] где \(M\) — домен (носитель), \(\Sigma\) — алгебраическая сигнатура, \(\mathcal{T}\) — топологический слой (системы подмножеств), \(\Phi\) — метрический слой (функционалы в числовое поле).
0. Домен \(M\)
Исходное множество — носитель структуры. Сам по себе аморфен.
1. Алгебраический слой \(\Sigma\)
Внутренние операции \(f:M^n\to M\), внешние операции \(R\times M\to M\), отношения \(P\subseteq M^n\), константы.
2. Топологический слой \(\mathcal{T}\)
Системы подмножеств \(\mathcal{T}\subseteq\mathcal{P}(M)\): топология \(\tau\), \(\sigma\)-алгебра, фильтры.
3. Метрический слой \(\Phi\)
Функционалы \(F:X\to\mathbb{K}\) (\(\mathbb{R}\) или \(\mathbb{C}\)): метрика, норма, мера, скалярное произведение.
Как алгебраическая структура: векторное пространство \(\langle\mathbb{R}^3,+,\cdot\rangle\). Есть только векторы и операции над ними — ни близости, ни длины.
Как аналитическая структура: банахово пространство \(\langle\mathbb{R}^3,+,\cdot,\|\cdot\|\rangle\). Добавление нормы порождает метрику, а с ней — непрерывность, дифференцируемость, интегрируемость.
§3 Аналитические слои: сравнительная таблица
Каждый слой добавляет новую «семантику» поверх предыдущих. Таблица показывает тип объекта, ключевые свойства и характерные примеры.
| Слой | Тип объекта | Ключевые свойства / понятия | Характерные примеры |
|---|---|---|---|
|
Множественный Домен \(M\) |
Просто множество — носитель |
Само по себе аморфно: нет операций, нет близости, нет измерений. |
\(\mathbb{R}\), \(\mathbb{Z}\), \(\{0,1\}^\omega\), \(\mathcal{P}(X)\), Слова \(\Sigma^*\) |
|
Алгебраический Сигнатура \(\Sigma\) |
Внутренние операции: \(f: M^n \to M\) Внешние операции: \(R\times M\to M\) Отношения: \(P\subseteq M^n\) Константы: \(c\in M\) |
Динамика: элементы порождают новые элементы того же домена. Внешние операции связывают структуру с числовой «шкалой». |
Группа: \((G,\cdot)\) Кольцо: \((\mathbb{Z},+,\cdot)\) Вект. пространство: \((V,+,\cdot_\mathbb{R})\) Решётка: \((\mathcal{P}(X),\cup,\cap)\) Алгебра Линд.–Тарск.: \((\mathcal{B}/{\sim},\wedge,\vee,\neg)\) |
|
Топологический \(\mathcal{T}\subseteq\mathcal{P}(M)\) |
Топология \(\tau\): откр. мн-ва \(\sigma\)-алгебра: измер. мн-ва Фильтр \(\mathcal{F}\): «большинство» Ультрафильтр: факторизация |
«Текстура» пространства — близость без линейки. Топология задаётся системой подмножеств, а не числом. |
Метрич. топол.: открытые шары \(B(x,\varepsilon)\) Дискретная: \(\tau=\mathcal{P}(M)\) Антидискретная: \(\tau=\{\emptyset,M\}\) Проб. пространство: \(\sigma\)-алгебра событий \(\mathcal{F}\) Стоун: ультрафильтры как точки \(\beta\mathbb{N}\) |
|
Метрический \(\Phi: X\to\mathbb{K}\) |
Метрика: \(d:M^2\to\mathbb{R}_{\geq 0}\) Норма: \(\|{\cdot}\|:M\to\mathbb{R}_{\geq 0}\) Скал. произведение: \(\langle{\cdot,\cdot}\rangle:M^2\to\mathbb{K}\) Мера: \(\mu:\mathcal{T}\to\overline{\mathbb{R}}_{\geq 0}\) |
Проецирует структуру на числовую шкалу: расстояние, объём, вероятность, энергия. |
Метрич. пр-во: \((\mathbb{R}^n, d_{\rm eucl})\) Банахово: \((C[0,1],\|f\|_\infty)\) Гильбертово: \((L^2,\langle f,g\rangle)\) Мера Лебега: \(\lambda:\mathcal{B}(\mathbb{R})\to\overline{\mathbb{R}}\) Вероятность: \(\mathbb{P}:\mathcal{F}\to[0,1]\) |
Реальные математические модели сочетают все четыре слоя. Гильбертово пространство \(L^2\): носитель — классы эквивалентности функций (факторизация); алгебра — сложение (вект. пр-во); функционал — скалярное произведение \(\langle f,g\rangle\); топология — порождена нормой \(\|f\| = \sqrt{\langle f,f\rangle}\).
§4 Взаимодействие слоёв: пример
Слои — не изолированные полки, а взаимосвязанные механизмы. Проследим, как объект одного слоя порождает новые объекты в другом, на примере понятия пути.
Рассмотрим путь — непрерывное движение точки \(\gamma:[0,1]\to M\).
- Топологический слой \(\mathcal{T}\): задаёт само понятие непрерывности \(\gamma\) — без него путь просто не существует как математический объект.
- Реляционный слой \(\Sigma\): отождествляет перепараметризованные пути \(\gamma \sim \gamma\circ\varphi\) — даёт геометрическую форму (траекторию), независимую от скорости движения.
- Метрический слой \(\Phi\): измеряет длину пути \(\ell(\gamma) = \int_\gamma ds\).
- Алгебраический слой \(\Sigma\): классы деформируемых петель образуют фундаментальную группу \(\pi_1(X,x_0)\) — пространство само стало алгебраической структурой.
Слои порождают друг друга: топологический объект порождает алгебраическую надструктуру.
В теоретической механике и теории поля: слой функционалов задаёт действие \(S[\gamma]\), а слой предикатов формулирует закон природы как \(\delta S[\gamma] = 0\). Физический закон — предикат, наложенный на функционал: природа выбирает экстремальные траектории.