Topologia cyfrowa w przestrzeniach dyskretnych
Topologia cyfrowa to dział topologii, który bada struktury topologiczne w przestrzeniach dyskretnych, takich jak siatki punktów (piksele w 2D lub woksele w 3D). Jej celem jest opisanie, w jaki sposób punkty są ze sobą połączone, na podstawie jasno określonych relacji sąsiedztwa.
W tym kontekście zbiory otwarte definiuje się poprzez relacje łączności między punktami. To, co uznajemy za „połączenie", zależy od przyjętego modelu sąsiedztwa, na przykład łączności 4 lub 8 w przestrzeni dwuwymiarowej oraz łączności 6, 18 i 26 w przestrzeni trójwymiarowej.
Topologia cyfrowa ma szerokie zastosowanie w przetwarzaniu obrazów, grafice komputerowej oraz widzeniu maszynowym. Umożliwia bowiem przeniesienie klasycznych pojęć topologicznych do świata danych dyskretnych, takich jak obrazy cyfrowe.
Zbiory otwarte w topologii cyfrowej
Zbiór \(U\) nazywamy otwartym, jeśli dla każdego punktu \(x \in U\) wszystkie jego punkty sąsiednie, określone przez wybrany model łączności, również należą do \(U\).
Pojęcie sąsiedztwa zależy od tego, jak definiujemy łączność między punktami. W praktyce oznacza to różne sposoby „patrzenia" na otoczenie punktu. Na przykład:
W strukturze cyklicznej (pierścieniowej) każdy punkt ma dokładnie dwóch sąsiadów. Mówimy wtedy o łączności typu 2.
W przestrzeni dwuwymiarowej punkt może mieć czterech sąsiadów (łączność 4), czyli w kierunkach północ, południe, wschód i zachód, albo ośmiu sąsiadów (łączność 8), gdy uwzględnimy także kierunki diagonalne.
W przestrzeni trójwymiarowej liczba sąsiadów może wynosić 6, 18 lub 26, w zależności od przyjętego modelu łączności.
Przykład
Rozważmy zbiór punktów ułożonych na cyfrowym okręgu, czyli w przestrzeni dyskretnej z łącznością 2.
Każdy punkt ma tutaj dwóch bezpośrednich sąsiadów: jednego po lewej i jednego po prawej stronie.
Dla przykładu punkt 2 sąsiaduje z punktami 1 i 3.
W takiej sytuacji zbiór \(U\) jest otwarty wtedy i tylko wtedy, gdy każdy sąsiad dowolnego punktu należącego do \(U\) również należy do tego zbioru.
To pojęcie jest dyskretnym odpowiednikiem ciągłości i spójności znanych z topologii klasycznej.
Różnice między topologią cyfrową a topologią dyskretną
Choć obie topologie są definiowane na przestrzeniach dyskretnych, różnią się one w istotny sposób:
- Topologia dyskretna
Każdy podzbiór zbioru \(X\) jest zbiorem otwartym. - Topologia cyfrowa
Zbiór jest otwarty tylko wtedy, gdy spełnia warunki łączności między punktami.
Gdzie tkwi kluczowa różnica?
W topologii dyskretnej każdy podzbiór jest otwarty. W topologii cyfrowej otwarte są wyłącznie te zbiory, które spełniają określone warunki sąsiedztwa.
Oznacza to, że topologia cyfrowa jest bardziej restrykcyjna i nie każdy podzbiór jest w niej otwarty.
Na przykład zbiór składający się z dwóch izolowanych pikseli, które nie są ze sobą połączone, nie jest zbiorem otwartym w topologii cyfrowej, choć w topologii dyskretnej byłby uznany za otwarty.
Podsumowując, topologia cyfrowa opisuje rzeczywiste relacje połączeń między punktami w przestrzeni cyfrowej, podczas gdy topologia dyskretna traktuje każdy punkt jako niezależny element, pomijając relacje sąsiedztwa.
Przykład
Rozważmy zbiór punktów \(\{1, 2, 3, 4\}\) ułożonych w strukturę cykliczną, z łącznością 2.
- Zbiór \(\{1, 2\}\) jest otwarty w topologii cyfrowej, ponieważ punkty 1 i 2 są sąsiadami.
- Zbiór \(\{1, 3\}\) nie jest otwarty, ponieważ punkty 1 i 3 nie są bezpośrednio połączone.
W topologii dyskretnej oba zbiory byłyby otwarte, ponieważ każdy podzbiór spełnia tam definicję otwartości.
Uwaga. W tej samej przestrzeni metrycznej dyskretnej \(\{1, 2, 3, 4\}\) topologia cyfrowa jest bardziej restrykcyjna, ponieważ wymaga spełnienia warunku łączności.
I tak dalej.
