Brouwerin kiintopistelause

Brouwerin kiintopistelause on matematiikan useista kiintopistelauseista ehkä kaikkein tärkein ja se on nimetty alankomaalaisen matemaatikon Luitzen Egbertus Jan Brouwerin mukaan. Kyseessä on erittäin vahva matemaattinen tulos, sillä kiintopisteen olemassaolon oletuksena on vain n-ulotteinen suljettu yksikkökuula, joka kuvautuu jatkuvasti itselleen. Lauseen 1-ulotteinen tapaus on triviaali (käytänössä Bolzanon lause), mutta ei ole itsestään selvää, että tulos pätee kaikissa Euklidisen avaruuden ulottuvuuksissa. Lauseen ehdot ovat selvästi välttämättömiä, jatkuvuus ja suljettu kuula (hieman yleisemmin kompakti ja konveksi joukko), mutta tulos ei suoraan päde ääretönulotteisille avaruuksille ja tämä voidaan osoittaa sopivalla vastaesimerkillä. Brouwerin kiintopistelause on Euklidista avaruutta karakterisoiva topologinen ominaisuus, ja tuloksella on paljon sovelluksia useilla matematiikan osa-alueilla.

Tulos

"Jokaisella jatkuvalla kuvauksella Euklidisen avaruuden suljetulta yksikkökuulalta itselleen on olemassa kiintopiste."

Jatkuvalla kuvauksella $f:\bar{B}^n \rightarrow \bar{B}^n$ on olemassa $x\in \bar{B}^n$ siten, että $f(x)=x$.

Lähteet

• Zeidler, Eberhard: Nonlinear Functional Analysis and its Applications: I: Fixed-Point Theorems.