π-Негізгі топология топологиялық қарсы мысалдардың қауымдастық дерекқоры болып табылады.
Деректер базасында:
- Топологиялық кеңістіктер
- Топологиялық теоремалар.
- Топологиялық қасиеттер.
- Әдебиеттер (кітаптар, мақалалар, форумдар).
Қолданба ішіндегі ақпарат:
- Кеңістік, теорема және қасиеттерді сипаттау.
- Берілген кеңістік қанағаттандыратын (және емес) сипаттар.
- Берілген кеңістік қарсы мысал болатын теоремалардың қарама-қарсылары.
- Кеңістіктері қанағаттандыратын және қанағаттандырмайтын мүлік берілген.
- Берілген теоремаға қарама-қарсы мысалдар. Керісінше ақиқат болса, дәлел немесе сілтеме беріледі.
- Қасиеттер арқылы құрылған берілген логикалық формуланы қанағаттандыратын кеңістіктер (формула бойынша іздеу).
- Анықтамалар.
Жаңартылған күні
2025 ж. 31 там.