π-Base Topology és una base de dades comunitària de contraexemples topològics.
La base de dades té:
- Espais topològics
- Teoremes topològics.
- Propietats topològiques.
- Referències (Llibres, Articles, Fòrums).
Informació dins de l'aplicació:
- Descripcions d'espais, teoremes i propietats.
- Propietats que són (i no) satisfetes per un espai determinat.
- Converses de teoremes per als quals un espai donat és un contraexemple.
- Donada una propietat, quins espais la satisfan i no la satisfan.
- Contraexemples per a la inversa d'un teorema donat. Si el contrari és cert, es dóna una prova o referència.
- Espais que compleixen una fórmula lògica determinada formada amb propietats (cerca per fórmula).
- Referències.
Data d'actualització:
31 d’ag. 2025