Akademska digitalna zbirka SLovenije - logo
ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Metric spaces in synthetic topology
    Bauer, Andrej ; Lešnik, Davorin, 1983-
    Obravnavamo relacijo med sintetičnim pristopom topologiji, v kateri je vsaka množica opremljena z intrinsično topologijo, in konstruktivno teorijo metričnih prostorov. Povežemo sintetično kompaktnost ... Cantorjevega prostora z Brouwerjevim principom Fan. Dokažemo, da se intrinsične in metrične topologije separabilnih metričnih prostorov skladajo, če se skladajo za Baireov prostor. V ruskem konstruktivizmu se poveza med sintetično in metrično topologijo poruši, saj že zelo preprost poln popolnoma omejen metrični prostorni kompakten, njegova intrinsična topologija pa je strogo finejša od metrične. Nasprotno pa se v Brouwerjevem intuicionizmu sintetična in metrična topologija in kompaktnost ujemata.
    Source: Third workshop on formal topology : special issue (Vol. 163, issue 2, 2012, str. 87-100)
    Type of material - conference contribution
    Publish date - 2012
    Language - english
    COBISS.SI-ID - 16073305