π-base: IDs 700-799
IDs 700-799
702
(Locally injectively path connected ∧ ¬ Discrete) ¬ Biconnected
Added:
Mar 21, 2026
Difficulty:
If not discrete, there exists a non-isolated point . Let be its injectively path connected nbd, which must contain some . Let be an injective path from to . Then and are connected and disjoint.
703
Arc connected Injectively path connected
Added:
Mar 21, 2026
Difficulty:
An arc is, by definition, an embedding (hence, injective).
704
Locally arc connected Locally injectively path connected
Added:
Mar 21, 2026
Difficulty:
An arc is, by definition, an embedding (hence, injective).
757
Empty Locally -Euclidean
Added:
Mar 12, 2026
Difficulty:
Every is homeomorphic to .
782
(Discrete ∧ Finite) Has a cofinite topology
Added:
Mar 12, 2026
Difficulty:
The complement of any set must be finite.
793
Countable sets are discrete Strongly KC
Added:
Mar 27, 2026
Difficulty:
If is infinite, let countably infinite, which must be discrete, so for is a countable cover with no finite subcover. Thus, countably compact sets must be finite, which are closed, as is (T221).