π-Base Topology는 토폴로지 반례의 커뮤니티 데이터베이스입니다.
데이터베이스에는 다음이 있습니다.
- 위상 공간
- 위상 이론.
- 토폴로지 속성.
- 참고 문헌(도서, 기사, 포럼).
앱 내부 정보:
- 공간, 정리 및 속성 설명.
- 주어진 공간에 의해 충족되는(그리고 충족되지 않는) 속성.
- 주어진 공간이 반례인 정리의 역.
- 어떤 공간이 그것을 만족하고 충족하지 않는 속성이 주어졌을 때.
- 주어진 정리의 역에 대한 반례. 그 반대가 참이면 증거 또는 참조가 제공됩니다.
- 속성으로 구성된 주어진 논리식을 만족하는 공간(수식으로 검색).
- 참조.