Urysonin lemma

Urysonin lemma topologiassa kuuluu seuraavasti: Olkoon $X$ $T_{4}$-avaruus ja $A,B\subset X$ erillisiä suljettuja joukkoja. Tällöin on olemassa sellainen jatkuva funktio $f:X\to [0,1]$, että $fA=\{0\}$ ja $fB=\{1\}$. Toisin sanoen funktio saa arvon 0 kaikissa joukkoon A ja arvon 1 kaikissa joukkoon B kuuluvissa pisteissä.

Urysonin lemman avulla voidaan todistaa muun muassa Urysonin metristyslause, jonka mukaan jokainen säännöllinen avaruus, jolla on numeroituva kanta, on metristyvä, sekä Tietzen jatkolause, joka osoittaa erään kriteerin sille, milloin avaruuden osajoukossa määritelty jatkuva funktio voidaan laajentaa koko avaruuteen.

Aiheesta muualla

• PlanethMath: Proof of Urysohn's lemma (englanniksi)