Davorin Lešnik: Urisonov univerzalni metrični prostor
Date of publication: 16. 12. 2008
Topology seminar
V ponedeljek, 22. decembra 2008 ob 12. uri v predavalnici 3.07 na Jadranski 21
Urisonov metrični prostor je poln separabilen metrični prostor z lastnostjo, da lahko izometrije vanj razširjamo s končnih podmnožic na celoten poljuben separabilen metrični prostor. Med drugim to pomeni, da je Urisonov prostor univerzalen: vsak separabilen metrični prostor se izometrično vloži vanj.
Urison je dokazal, da Urisonov univerzalni metrični prostor obstaja in da je enoličen do izometričnega izomorfizma. Na seminarju si bomo ogledali eno od možnih konstrukcij (drugačno od Urisonove originalne). Skonstruirali bomo števno različico univerzalnega prostora, dejanski Urisonov prostor pa bo njena napolnitev.
