Twierdzenie o punkcie stałym Brouwera

Co się właśnie stało?

„Mieszałeś" dysk — ciągle przekształcałeś koło w siebie (obrót plus ściskanie, jak wir w kubku kawy). Jak byś nie kręcił suwakiem, w polu przesunięć zawsze zostaje jeden punkt, w którym wektor jest zerowy: to punkt stały $x^\ast$, który przechodzi sam na siebie. Właśnie to gwarantuje twierdzenie Brouwera.

Twierdzenie o punkcie stałym Brouwera:

Każde ciągłe przekształcenie dysku (koła) — a ogólniej dowolnej zwartej, wypukłej figury — w siebie ma co najmniej jeden punkt stały. Formalnie: dla każdego ciągłego $f\colon D\to D$ istnieje punkt $x^\ast\in D$, taki że

Pełny dowód podał holenderski matematyk Luitzen E. J. Brouwer w 1911 r. To jeden z fundamentalnych wyników topologii.

Namacalne ilustracje:

Gdy mieszasz kawę w kubku (dowolnie, byle ciągle, bez „rozrywania" cieczy), zawsze istnieje przynajmniej jeden punkt płynu, który po zamieszaniu wróci dokładnie na swoje pierwotne miejsce. Podobnie: jeśli położysz mapę okolicy płasko gdziekolwiek w obrębie tej okolicy, zawsze będzie na niej dokładnie jeden punkt „jesteś tutaj" — leżący idealnie nad odpowiadającym mu miejscem w terenie.

Dlaczego to ważne:

Twierdzenie ma ogromne znaczenie teoretyczne: jest kluczowe w ekonomii (dowód istnienia równowagi rynkowej — Arrow, Debreu), w teorii gier (istnienie równowagi Nasha!), w równaniach różniczkowych i analizie. To piękny przykład, jak abstrakcyjna topologia gwarantuje istnienie czegoś (punktu stałego) bez wskazywania, gdzie dokładnie się on znajduje — „dowód istnienia" bez „konstrukcji".

Po co Ci to na maturze:

Temat wykracza poza podstawę programową — to topologia i przekształcenia. Warto go znać jako wzorcowy przykład dowodu istnienia: warunek $f(x)=x$ dla ciągłego $f\colon D\to D$ zawsze ma rozwiązanie, choć twierdzenie nie mówi, którym punktem ono jest.

Zapamiętaj: każde ciągłe przekształcenie dysku w siebie ma co najmniej jeden punkt stały $f(x)=x$ — niezależnie od tego, jak „miesza".