π-base: IDs 700-799

IDs 700-799

702

(Locally injectively path connected ∧ ¬ Discrete)   ⟹  \implies ¬ Biconnected

Added:

Mar 21, 2026

Difficulty:

If not discrete, there exists a non-isolated point xx. Let VV be its injectively path connected nbd, which must contain some y≠xy \ne x. Let f:[0,1]→Xf : [0, 1] \to X be an injective path from xx to yy. Then f([0,1/2))f([0, 1/2)) and f((1/2,1])f((1/2, 1]) are connected and disjoint.

703

Arc connected   ⟹  \implies Injectively path connected

Added:

Mar 21, 2026

Difficulty:

An arc is, by definition, an embedding (hence, injective).

704

Locally arc connected   ⟹  \implies Locally injectively path connected

Added:

Mar 21, 2026

Difficulty:

An arc is, by definition, an embedding (hence, injective).

757

Empty   ⟹  \implies Locally 11-Euclidean

Added:

Mar 12, 2026

Difficulty:

Every p∈∅p \in \emptyset is homeomorphic to R\R.

782

(Discrete ∧ Finite)   ⟹  \implies Has a cofinite topology

Added:

Mar 12, 2026

Difficulty:

The complement of any set must be finite.

793

Countable sets are discrete   ⟹  \implies Strongly KC

Added:

Mar 27, 2026

Difficulty:

If AA is infinite, let B⊆AB \subseteq A countably infinite, which must be discrete, so {x}\{x\} for x∈Bx \in B is a countable cover with no finite subcover. Thus, countably compact sets must be finite, which are closed, as XX is T1T_1 (T221).