Kategoria Lusternika-Sznirelmanna

Rys historyczny

Kategoria Lusternika-Sznirelmanna została zdefiniowana na początku lat trzydziestych XX wieku przez dwóch matematyków rosyjskich: Łazara Lusternika i Lwa Sznirelmana. Posłużyła im ona do udowodnienia słynnego twierdzenie Lusternika-Sznirelmanna, szacującego z dołu liczbę punktów krytycznych rzeczywistych funkcji gładkich określonych na gładkich rozmaitościach.

Definicja

Kategorią Lusternika-Sznirelmanna zbioru $A\subseteq X$ w przestrzeni topologicznej $X$ nazywamy najmniejszą taką liczbę naturalną $n$ (o ile istnieje), że:

$A\subseteq \bigcup _{i=0}^{n}U_{i},$

gdzie każdy zbiór $U_{i}$ jest otwarty i ściągalny w $X.$ Stosujemy przy tym oznaczenie

$cat_{X}A=n.$

Jeśli takie $n$ nie istnieje, to przyjmujemy $cat_{X}A=\infty .$

Ponadto $cat_{X}X$ oznaczamy $catX$ i nazywamy po prostu kategorią przestrzeni $X.$

Pokrycie $U_{0},\dots ,U_{n}$ nazywamy wtedy kategoryjnym.

Kategoria Lusternika-Sznirelmanna została pierwotne zdefiniowana przy pomocy zbiorów domkniętych, a nie otwartych, ale jak się okaże obie kategorie są równe dla dosyć sporej klasy przestrzeni topologicznych.

Podstawowe własności

Wprost z definicji kategorii wynika, że ma ona następujące własności:

• $cat_{X}A=0$ wtedy i tylko wtedy, gdy $A$ jest ściągalny w $X;$
• $catX=0$ wtedy i tylko wtedy, gdy $X$ jest ściągalna;
• jeśli $A\subseteq B,$ to $cat_{X}A\leqslant cat_{X}B;$
• $cat_{X}(A\cup B)\leqslant cat_{X}A+cat_{X}B+1;$
• $cat(A\cup B)\leqslant catA+catB+1,$ o ile $A,B$ są otwarte w $A\cup B;$
• jeśli $f:X\to Y$ jest homeomorfizmem, to $cat_{X}A=cat_{Y}f(A);$

dla $A,B\subseteq X.$

Przykłady

$cat\mathbb {S} ^{n}=1$ dla każdego $n\in \mathbb {N} ,$ gdyż sfery nie są ściągalne, a każdą można przedstawić w postaci sumy $\mathbb {S} ^{n}\backslash \{x_{1}\}\cup \mathbb {S} ^{n}\backslash \{x_{2}\},$ gdzie $x_{1}\neq x_{2}.$

W podobny bardzo łatwy sposób można pokazać, że bukiet dowolnej ilości sfer, z których każda ma wymiar dodatni całkowity ma kategorię równą 1.

Powyższe rozważania można uogólnić na produkt złączony szerszej klasy przestrzeni topologicznych. Mianowicie jeśli $X$ oraz $Y$ są normalnymi, łukowo spójnym przestrzeniami z niezdegenerowanymi punktami bazowymi, to:

$cat(X\vee Y)=\max\{catX,catY\}.$

$cat\mathbb {T} ^{n}=n,$ gdzie $\mathbb {T} ^{n}$ oznacza n-wymiarowy torus. W jedną stronę jest to trywialne. Niech $x_{0},\dots ,x_{n}$ będą różnymi punktami sfery $\mathbb {S} ^{1}.$ Wtedy

$\mathbb {T} ^{n}=\bigcup _{i=0}^{n}(\mathbb {S} ^{1}\backslash \{x_{i}\})^{n},$

a każdy z tych zbiorów jest ściągalny jako homeomorficzny z $(0;1)^{n},$ co daje nierówność $cat\mathbb {T} ^{n}\leqslant n.$

Przykładem przestrzeni mającej nieskończoną kategorię jest dowolna nieskończona przestrzeń dyskretna. Natomiast mogą istnieć przestrzenie, których kategoria jest nieskończona bo nie mają one otwartego pokrycia zbiorami ściągalnymi. Przykładem takiej przestrzeni jest pawie oczko, tj. suma okręgów stycznych wewnętrznie w punkcie $(0,0)$ o promieniach równych ${\frac {1}{n}}$ dla $n\in \mathbb {N} ^{+}.$ Wtedy każdy zbiór otwarty zawierający punkt $(0,0)$ nie może być ściągalny, gdyż zawiera nieskończenie wiele wspomnianych okręgów.

Ponadto mamy:

$cat\mathbb {R} P^{n}=n,$

$cat\ \mathbb {C} P^{n}=n.$

Homotopijna niezmienniczość

Kategoria Lusternika-Szniremanna jest niezmiennikiem homotopijnym co wynika wprost z następującego twierdzenia:

Jeśli przestrzeń topologiczna $X$ homotopijnie dominuje nad $Y,$ to $catX\geqslant catY.$

Dowód:

Niech $U_{0},U_{1},\dots ,U_{n}$ będzie pokryciem kategoryjnym przestrzeni X. Skoro X dominuje nad Y, to istnieją takie odwzorowania ciągłe $f:X\to Y$ oraz $g:Y\to X,$ że $fg\simeq id_{Y}.$ Zbiory $U_{i}$ są ściągalne w X dla $i=0,1,\dots ,n$ zatem dla każdego $i$ istnieje homotopia

$\varphi _{i}:U_{i}\times I\to X$

taka, że $\varphi _{i}(x,0)=x$ oraz $\varphi _{i}(x,1)=a_{i}$ dla pewnego $a_{i}\in X.$ Niech teraz $V_{i}=g^{-1}(U_{i})$ dla $i=0,1,\dots ,n.$ Zbiory $V_{i}$ są otwarte w $Y$ oraz $\bigcup \limits _{i=1}^{n}V_{i}=Y.$ Wystarczy więc pokazać, że są one ściągalne w $Y.$ Ponieważ $fg\simeq id_{Y},$ to istnieje homotopia

$H:Y\times I\to Y$

taka, że $H(y,0)=y$ oraz $H(y,1)=fg(y)$ dla każdego $y\in Y.$ Zdefiniujmy teraz dla każdego $i=0,1,\dots ,n$ funkcję $G_{i}:V_{i}\times I\to Y$ następująco

$G_{i}(y,t)={\begin{cases}H(y,2t)&{\textrm {dla\ }}y\in V_{i},0\leqslant t\leqslant {\frac {1}{2}},\\f\varphi _{i}[g(y),2t-1]&{\textrm {dla\ }}y\in V_{i},{\frac {1}{2}}\leqslant t\leqslant 1.\end{cases}}$

Funkcja ta jest ciągła oraz zauważmy, że $G_{i}(y,0)=y$ i $G_{i}(y,1)=f(a_{i})$ dla każdego $y\in V_{i}$ oraz $i=0,1,\dots ,n.$ Tak więc funkcje $G_{i}$ ustalają ściągnięcie $V_{i}$ w $Y,$ zatem $V_{0},V_{1},\dots ,V_{n}$ jest otwartym pokryciem przestrzeni $Y$ zbiorami ściągalnymi w $Y.$ Z tego mamy, że $catX\geqslant catY.$

Rzeczy przydatne do obliczania

Jedną z podstawowych technik służącą do obliczania kategorii jest stosowanie tzw. ciągów kategoryjnych, tj. ciąg otwartych podzbiorów przestrzeni $X$ $A_{0},\dots ,A_{k}$ nazywamy kategoryjnym długości dla zbioru otwartego $U\subseteq X,$ jeśli:

1) $A_{k}=U,$

2) $A_{0}\subseteq A_{1}\subseteq \dots \subseteq A_{k}$

3) zbiory $A_{0},A_{1}\backslash A_{0},\dots ,A_{k}\backslash A_{0}$ są zawarte w pewnych otwartych i ściągalnych w $X$ zbiorach.

Zachodzi przy tym twierdzenie:

Jeśli $X$ jest łukowo spójna oraz $U\subseteq X$ jest otwarty, to zbiór $U$ posiada otwarty ciąg kategoryjny w $X$ wtedy i tylko wtedy, gdy $cat_{X}U\leqslant k.$

Często przy obliczaniu kategorii przydatne są grupy kohomologii singularnych danej przestrzeni. Wykorzystuje się tzw. długość kohomoligczną przestrzeni topologicznej, którą definiujemy jako największą liczbę naturalną taką, że istnieją $a_{0},\dots ,a_{n}\in H^{*}(X,P)$ takie, że:

$a_{0}\smile \dots \smile a_{n}\neq 0.$ I stosujemy oznaczenie $cuplong_{P}X=n.$

Mamy przy tym twierdzenie:

Dla dowolnego pierścienia przemiennego z jedynką P zachodzi $catX\geqslant cuplong_{P}X.$

Stąd przykładowo natychmiast otrzymujemy oszacowanie z dołu kategorii $n$-wymiarowego torusa.

Związki z wymiarem oraz iloczynem

Niektóre związki kategorii z wymiarem oraz iloczynem kartezjańskim można zawrzeć w następujących twierdzeniach:

Jeśli $X,Y$ są łukowo spójne oraz takie, że $X\times Y$ jest T_5 (tj. każda podprzestrzeń $X\times Y$ jest normalna), to $catX\times Y\leqslant catX+catY.$

Jeśli $X$ jest łukowo spójną, ośrodkową przestrzenią metryczną oraz $catX<\infty ,$ to

$catX\leqslant \dim X.$

Analogiczne twierdzenie zachodzi jeśli X jest łukowo spójna oraz parazwarta.

Zastosowania

Kategoria Lusternika-Sznirelmanna ma zastosowania w topologii algebraicznej, różniczkowej oraz w geometrii różniczkowej. Jest stosowana m.in. przy badaniu geodezyjnych zamkniętych. Jednak jej chyba najważniejszym zastosowaniem jest szacowanie z dołu ilości punktów krytycznych na gładkich i zwartych rozmaitościach. Mianowicie jeśli M jest gładką i zwartą rozmaitością, a $f:M\to \mathbb {R}$ funkcją klasy $C^{1},$ to

${\overline {\overline {Critf}}}\geqslant catX+1,$

gdzie $Critf$ oznacza zbiór punktów krytycznych funkcji $f.$

Pewne modyfikacje

Kategoria domknięta

Jak zostało wspomniane na początku kategoria Lusternika-Sznirelmanna została pierwotnie zdefiniowana przy pomocy zbiorów domkniętych, a nie otwartych. Jeżeli w definicji kategorii zbiory otwarte zamienimy na domknięte, to otrzymamy definicję kategorii domkniętej, którą oznaczamy $cat^{cl}.$

Podobnie jak w przypadku zwykłej kategorii także domknięta jest niezmiennkiem homotopijnym (dowód jest analogiczny).

Ponadto dla normalnych absolutnych retraktów otoczeniowych obie kategorie są równe. A więc i dla przestrzeni mających typ homotopii ANR-a (w szczególności dla CW-kompleksów).

Kategoria geometryczna

W definicji kategorii o zbiorach otwartych zakładamy, że są one ściągalne w przestrzeni w której liczymy kategorię. Można się zastanawiać dlaczego by nie rozważać definicji, w której o zbiorach będziemy zakładać, że są ściągalne w sobie.Taką kategorię nazywamy geometryczną i oznaczamy $gcat.$

Jednak taka kategoria ma dużą wadę, mianowicie nie jest niezmennikiem homotopijnym. Jako przykład przyjmijmy $X=\mathbb {S} ^{2}\vee \mathbb {S} ^{1}\vee \mathbb {S} ^{1},$ a za $Y$ sferę $\mathbb {S} ^{2}$ ze zidentyfikowanymi trzema różnymi punktami. Oczywiście obie przestrzenie są homotopijnie równoważne, lecz $gcatX=1,$ podczas gdy $gcatY=2.$

Bibliografia

• R.H. Fox, On the Lusternik-Schnirelmann category, „Annals of Mathematics” 42 (1941), 333-370.
• Samuel Eilenberg, Tudor Ganea, On the Lusternik-Schnirelmann category of abstract groups, „Annals of Mathematics”, 2nd Ser., 65 (1957), no. 3, 517–518.
• F. Takens, The minimal number of critical points of a function on compact manifolds and the Lusternik-Schnirelmann category, „Inventiones Mathematicae” 6 (1968), 197–244.
• Tudor Ganea, Some problems on numerical homotopy invariants, „Lecture Notes in Math” 249 (Springer, Berlin, 1971), s. 13–22 MR0339147
• Ioan James, On category, in the sense of Lusternik-Schnirelmann, „Topology” 17 (1978), 331–348.
• Kathryn Hess, A proof of Ganea’s conjecture for rational spaces, „Topology” 30 (1991), no. 2, 205–214. MR1098914
• Norio Iwase, Ganea’s conjecture on Lusternik-Schnirelmann category, in „Bulletin of the London Mathematical Society”, 30 (1998), no. 6, 623–634 MR1642747
• Norio Iwase, A_∞-method in Lusternik-Schnirelmann category, „Topology” 41 (2002), no. 4, 695–723. MR1905835
• Lucile Vandembroucq, Fibrewise suspension and Lusternik-Schnirelmann category, „Topology” 41 (2002), no. 6, 1239–1258. MR1923222
• Octav Cornea, Gregory Lupton, John Oprea, Daniel Tanré, Lusternik-Schnirelmann category, „Mathematical Surveys and Monographs”, 103. American Mathematical Society, Providence, RI, 2003 ISBN 0-8218-3404-5.