Is the set of all topological spaces bigger than the set of all metric space?

As others have mentioned, the collection of all metric spaces and the collection of all topological spaces both form proper classes, so we can't reason about their size using cardinality.

A similar question that can be answered is: given a set $X$, are there more topologies on $X$ than metrics on $X$?

To this end, given a set $X$, let $T(X)$ be the set of topologies on $X$ and let $M(X)$ be the set of metrics on $X$. (For simplicity, let's say $X$ is infinite.) Then $M(X) \subseteq \mathbb{R}^{X \times X}$; and $|\mathbb{R}^{X \times X}| = 2^{|X|}$, so there are at most $2^{|X|}$ metrics on $X$; but (as in this answer) there are $2^{2^{|X|}}$ topologies on $X$.

Since $2^{|X|} < 2^{2^{|X|}}$ for all sets $X$, it follows that on any infinite set there are strictly more topologies than metrics.

Interestingly, exactly the opposite is true for finite sets: if $X$ is finite then there are uncountably many metrics on $X$ but only finitely many topologies on $X$.


The class of all sets is bijective to the class of all metric spaces. Because every set can be injectively mapped to a metric space via the trivial metric and since every metric space is a pair of sets there is a injective map from the the class of all metric spaces back to the class of all sets.

Likewise since the class of all topological spaces is a subclass of the class of all sets there is a bijection between it and the class of all metric spaces.

This answer depends on Bernstein-Schröder theorem holding for proper classes. This is unprovable in ZFC because ZFC has no concept of a proper class (or bijections between classes). However this is true in systems that have definitions for proper classes and mappings between them.


$\mathscr{T}$ and $\mathscr{M}$ are proper classes in ZFC, not sets. (They're also proper classes in set theories that can talk about proper classes explicitly — von Neumann-Godel-Bernays set theory and Morse-Kelley set theory.)

In fact the two classes can be put in 1-1 correspondence: see the answer by Q the Platypus, which points out that the Schroeder-Bernstein construction applied to injections $V \leftrightarrows \mathscr{M}$ will work to yield a bijection $V \xrightarrow{\sim} \mathscr{M}$, and similarly for $\mathscr{T}$.

Neither of these classes can be bijected with a cardinal: a cardinal is a set, and by the Axiom of Replacement, the image of a set under a function is also a set. So $card(\mathscr{T})$ and $card(\mathscr{M})$ are simply undefined.

There are topologies which are not induced by metrics — that is, there are spaces that are not metrizable. In that sense, $\mathscr{T}$ is larger than $\mathscr{M}$ — more precisely, $\mathscr{T}$ properly includes the class of topologies induced by members of $\mathscr{M}$.