Question about "equivalent" definitions for small inductive dimension of topological spaces

Yes, you are right. As I know small inductive dimension is usually defined only for regular spaces. Similary large inductive dimension is usually defined only for normal spaces and covering dimension only for completely regular spaces.

Also note that for being zero-dimensional the conditions are always equivalent and it implies regularity.


$\DeclareMathOperator{\ind}{ind}$Of course, if I'd simply thought about it a bit more before posting, I'd not have asked the question in the first place. Ah, well. Hopefully, this will help other users in the future.

To distinguish between the two versions of small inductive dimension, I will let $\ind(\cdot)$ represent the initially presented version, and $\ind'(\cdot)$ represent the alternate version.

Proposition: Given an integer $n\ge-1$, the following are equivalent.

  • $\ind(X)\le n$--meaning that for every point $x\in X$ and for every open set $U$ such that $x\in U,$ there exists an open $V$ with $x\in V$ such that $\overline V\subseteq U$ and $\ind(\partial V)\le n-1.$
  • The space $X$ is regular, and $\ind'(X)\le n$--meaning that $X$ has a basis $\mathcal B$ such that for every $U\in\mathcal B$ we have $\ind'(\partial U)\le n-1$.

Proof: We proceed inductively on $n$, with the $n=-1$ case immediate. Suppose that $n$ is the least integer greater than or equal to $-1$ for which we have not yet concluded that the proposition holds.

On the one hand, suppose $\ind(X)\le n,$ and let $$\mathcal B:=\{V\subseteq X:V\text{ open and }\ind(\partial V)\le n-1\}.$$ By inductive hypothesis, $\ind'(\partial V)\le n-1$ for each $V\in\mathcal B,$ and it is readily shown from $\ind(X)\le n$ that $\mathcal B$ is a basis for the topology on $X$. Also, taking any $x\in X$ and any open $U$ with $x\in U,$ there is an open $V$ with $x\in V$ and $\overline V\subseteq U$, and so $X$ is regular. [Poster's note: I can't believe I missed that.]

On the other hand, suppose that $X$ is regular, and $\ind'(X)\le n.$ Take any $x\in X$ and any open $U$ with $x\in U$. Since $X$ is regular and $x$ lies in the open set $U,$ then there is some open $W$ such that $x\in W$ and $\overline W\subseteq U$. Since $x$ lies in the open set $W$ and $\mathcal B$ is a basis for the topology on $X,$ then there is some $V\in\mathcal B$ such that $x\in V\subseteq W$. Then $\overline V\subseteq\overline W\subseteq U$, and since $V\in\mathcal B,$ then $\ind'(\partial V)\le n-1.$ By inductive hypothesis, $\ind(\partial V)\le n-1.$ Thus, $\ind(X)\le n$. $\Box$