What topological properties are trivially/vacuously satisfied by any indiscrete space?

Question

A space $X$ is indiscrete provided its topology is $\{\emptyset,X\}$. With such a restrictive topology, such spaces must be examples/counterexamples for many other topological properties. Then my question is:

Question: What topological properties are trivially/vacuously satisfied by any indiscrete space?

Answer 1

Separation properties

Any indiscrete space is perfectly normal (disjoint closed sets can be separated by a continuous real-valued function) vacuously since there don't exist disjoint closed sets. But on the other hand, the only T0 indiscrete spaces are the empty set and the singleton.

Metrizability

Only the empty and singleton indiscrete spaces are metrizable, but every indiscrete space is compatible with the pseudometric $d(x,y)=0$ for all $x,y$.

Covering properties

Any indiscrete space is compact since its only open cover is finite to begin with ($\{X\}$).

Topological size

Every basis for an indiscrete space is finite ($\Rightarrow$ countable), so it is second-countable and therefore separable.

Connectedness

$X$ is the only nonempty clopen set, so indiscrete spaces are connected. They are also:

• Strongly connected, that is, the only continuous functions $f:X\to\mathbb R$ are constant.
• Hyperconnected, that is, all nonempty open sets intersect
• Ultraconnected, that is, all nonempty closed sets intersect
• Path connected since all maps [from $\mathbb R$] to $X$ are continuous. This strengthens to arc connected if the space has the cardinality of the reals or greater (as arc connected requires injectivity).

Answer 2

From wikipedia A topological space is termed an indiscrete space if it satisfies the following equivalent conditions:

1/It has an empty subbasis.

2/It has a basis comprising only the whole space.

3/The only open subsets are the whole space and the empty subset.

4/The only closed subsets are the whole space and the empty subset.

5/The space is either an empty space or its Kolmogorov quotient is a one-point space.

Answer 3

Indiscrete spaces are trivially second countable and regular. So they witness the necessity of "Hausdorff" in Urysohn's metrization theorem: "Every second countable Hausdorff regular space is metrizable."

Answer 4

Connectedness (which can be defined as "$O$ clopen implies $O=\emptyset$ or $O=X$", but in the indiscrete case, clopen can be even replaced by just open...).

Path-connectedness (as every map with codomain an indiscrete space is continuous automatically, so any function can be a path..).

Regular and normal as there are no closed sets to separate from disjoint closed sets or points outside..

Being first countable (and second countable) obviously, as well as Lindelöf, compact, countably compact etc. as there is but one open cover which is already finite.