π-Base Topology е общностна база данни от топологични контрапримери.
Базата данни има:
- Топологични пространства
- Топологични теореми.
- Топологични свойства.
- Референции (книги, статии, форуми).
Информация в приложението:
- Описания на пространство, теорема и свойства.
- Свойства, които са (и не са) удовлетворени от дадено пространство.
- Конверси на теореми, за които дадено пространство е контрапример.
- Даден имот, който пространствата удовлетворяват и не го удовлетворяват.
- Контрапримери за обратното на дадена теорема. Ако обратното е вярно, се дава доказателство или препратка.
- Пространства, които удовлетворяват дадена логическа формула, формирана със свойства (търсене по формула).
- Препратки.
Актуализирано на
31.08.2025 г.