Zornova lema pre druhákov

[Martin Sleziak]

Dnes sme poriadne spravili dôkaz, ktorý som minule na konci stručne naznačil: Pre funkcie $\mathbb R^n\to\mathbb R$ platí, že borelovsky merateľné funkcie sú presne najmenšia množina funkcií obsahujúca všetky spojité a uzavretá na bodové limity.