Zermelo Ernst

Zermelo Ernst

Zermelo 〈zèrmëlo〉 Ernst [STF] (Berlino 1871 - Friburgo 1953) Prof. di matematica nell'univ. di Zurigo (1910). ◆ [ALG] Postulato di Z. o assioma della scelta: già formulato in precedenza da G. Peano, afferma che, data una classe composta da infiniti insiemi M, N, R, ecc., è sempre possibile scegliere da ogni insieme della classe un elemento particolare e di formare con gli elementi così scelti un nuovo insieme S. Qualche perplessità è suscitata in alcuni matematici dall'arbitrarietà della scelta, che li induce a rifiutare il procedimento di Z. inteso come possibilità di infinite scelte arbitrarie. ◆ [ALG] Teorema di Z. o del buon ordinamento: ogni insieme può essere ben ordinato. La dimostrazione data da Z. di questo teorema nel 1904 si fonda sull'assioma della scelta; nel 1915 F. Hartogs dimostrò che tale assioma e il teorema di Z. sono equivalenti.