Криві, що заповнюють простір
Крива, що заповнює простір, — це неперервна функція, зображення якої охоплює область вищого виміру. Це не дріт із фізичною товщиною; результат належить до нескінченної математичної межі.
Несподіванка Пеано
У 1890 Джузеппе Пеано надав першу конструкцію неперервного сюр'єктивного відображення з інтервалу на квадрат. Гільберт незабаром запропонував геометрично прозору рекурсивну версію, полігональні апроксимації якої охоплюють дедалі більш дрібну сітку.
Відображення Пеано є неперервним і сюр’єктивним з одиничного інтервалу на квадрат. Воно не суперечить теоремі про проміжні значення; воно суперечить наївному очікуванню, що неперервність зберігає розмірність. Скінченні наближення відвідують дедалі дрібніші комірки у заданому порядку, і лише їхнє рівномірне граничне відображення досягає кожної точки. Відображення також не може бути однозначним: кілька значень параметрів можуть описувати одну й ту саму точку на квадраті.
Розмірність залежить від питання
Домен залишається одновимірним інтервалом у топологічному сенсі, тоді як зображення охоплює двовимірний квадрат. Отже, криві, що заповнюють простір, демонструють, чому топологію, міру та масштабний вимір не можна розглядати як взаємозамінні поняття.
Область параметрів має топологічний вимір, що дорівнює одиниці, тоді як її зображення є двовимірною областю. Отже, залежно від визначення та об’єкта, що розглядається, правильними можуть бути різні значення виміру. Кожна скінченна полігональна апроксимація все одно поводиться як звичайна пряма; лише граничне значення заповнює область. Цей приклад застерігає від вживання терміна «вимір» без уточнення об’єкта та визначення, особливо коли параметр, зображення та апроксимація з’являються на одній діаграмі.
Локальність як практична перевага
Кінцеві порядки Гільберта та пов’язані з ними порядки, як правило, утримують сусідні комірки сітки близько одна до одної вздовж одновимірного обходу. Це робить їх корисними для просторового індексування, обробки з урахуванням кешу та алгоритмів обробки зображень, хоча практичні реалізації зупиняються далеко до математичної межі.
Порядки Гільберта та Мортона мають практичну цінність, оскільки сусідні позиції в порядку часто відповідають просторово сусіднім коміркам. Збереження не є досконалим, але корисним для кеш-пам’яті, баз даних та обробки зображень. Двовимірний набір плиток можна обробляти як одновимірний масив без багаторазових переходів між ділянками пам’яті. Таким чином, історична цікавинка стає конкретною стратегією для сучасних ієрархій зберігання даних.
Джерела та додаткова література
Ця стаття узагальнює наступні спеціалізовані джерела в оригінальній формулюванні. Ознайомлено та редакційно перевірено 12 серпня 2026.
- Space-Filling CurveWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Продовжуйте цю ідею
Коли криві стали «патологічними»
Чому неперервні, ніде не гладкі та просторозаповнювальні криві порушували класичну інтуїцію — а згодом стали ключовими прикладами.
Крива дракона
Зустрічайте дракона Хейвея — рекурсивну криву, утворену складанням паперу, границя якої заповнює простір, не перетинаючи саму себе.
Губка Менгера
Дослідіть тривимірний аналог килима Сєрпінського з нульовим граничним об’ємом та необмеженою складністю поверхні.