Fraktale konstruowane

Krzywe wypełniające przestrzeń

Krzywa wypełniająca przestrzeń to ciągła funkcja, której obraz pokrywa region o wyższym wymiarze. Nie jest to linia o fizycznej grubości; wynik należy do nieskończonej granicy matematycznej.

Nałożone na siebie pierwsze trzy rzędy krzywej Hilberta
Pierwsze trzy rzędy krzywej Hilberta pokazują, w jaki sposób jednowymiarowa linia gęsto przecina kwadrat w procesie granicznym.Obraz: Geoff Richards (Qef) · Wikimedia Commons · Public Domain

Niespodzianka Peano

W 1890 Giuseppe Peano przedstawił pierwszą konstrukcję ciągłej surjekcji z przedziału na kwadrat. Hilbert wkrótce dostarczył geometrycznie przejrzystą wersję rekurencyjną, której wielokątne aproksymacje poruszają się po coraz drobniejszej siatce.

Odwzorowanie Peano jest ciągłe i surjektywne z przedziału jednostkowego na kwadrat. Nie jest to sprzeczne z twierdzeniem o wartości pośredniej; jest to sprzeczne z naiwnym oczekiwaniem, że ciągłość zachowuje wymiar. Skończone aproksymacje odwiedzają coraz drobniejsze komórki w określonej kolejności, a jedynie ich jednolita odwzorowanie graniczne dociera do każdego punktu. Odwzorowanie to nie może być również jednoznaczne: ten sam punkt na kwadracie może być opisany przez wiele wartości parametrów.

Wymiar zależy od pytania

Domena pozostaje przedziałem jednowymiarowym w sensie topologicznym, podczas gdy obraz obejmuje dwuwymiarowy kwadrat. Krzywe wypełniające przestrzeń pokazują zatem, dlaczego topologii, miary i wymiaru skalowania nie można traktować jako pojęć zamiennych.

Dziedzina parametrów ma wymiar topologiczny równy jeden, podczas gdy jej obrazem jest region dwuwymiarowy. W zależności od definicji i omawianego obiektu poprawne mogą być zatem różne wymiary. Każde skończone przybliżenie wielokątne nadal zachowuje się jak zwykła prosta; jedynie granica tworzy wypełnienie. Przykład ten ostrzega przed używaniem terminu „wymiar” bez określenia obiektu i definicji, zwłaszcza gdy parametr, obraz i przybliżenie pojawiają się na jednym diagramie.

Lokalizacja jako praktyczna korzyść

Skończone rzędy Hilberta i rzędy pokrewne mają tendencję do utrzymywania sąsiednich komórek siatki blisko siebie wzdłuż jednowymiarowego przebiegu. Dzięki temu są one przydatne w indeksowaniu przestrzennym, przetwarzaniu z uwzględnieniem pamięci podręcznej oraz algorytmach obrazowych, mimo że praktyczne implementacje kończą się znacznie przed matematyczną granicą.

Porządki Hilberta i Mortona mają praktyczną wartość, ponieważ sąsiednie pozycje w ramach porządku często odpowiadają komórkom położonym blisko siebie w przestrzeni. Zachowanie tej zależności nie jest idealne, ale przydatne w przypadku pamięci podręcznych, baz danych i przetwarzania obrazów. Dwuwymiarowy zestaw płytek można przetwarzać jako sekwencję jednowymiarową bez konieczności wielokrotnego przeskakiwania między obszarami pamięci. Historyczna ciekawostka staje się zatem konkretną strategią dla współczesnych hierarchii pamięci masowej.

Źródła i literatura uzupełniająca

Artykuł ten stanowi podsumowanie poniższych źródeł specjalistycznych, przy zachowaniu oryginalnego brzmienia. Dostęp uzyskano i dokonano redakcyjnej weryfikacji w sierpniu 12 2026.

  1. Space-Filling CurveWolfram MathWorld
  2. Fractal Geometry: Mathematical Foundations and ApplicationsWiley