Skip to main content
1 of 3
rpotrie
  • 3.9k
  • 24
  • 27

I am not sure if this works, but I believe that if $X$ is compact, one can prove that if $f^{-1}(y)$ is compact connected and of diameter bigger or equal to $\delta>0$ for every $y\in f(X)$ then $dim(f(X))< dim(X)$.

The proof goes by induction in the dimension of $f(X)$: If it is zero, it is clear (since every compact connected set of diameter bigger than $0$ has dimension $\geq 1$.

Assuming it holds for $k < n$ consider $f(X)$ of dimension $n$ and consider countably many disjoint subsets of dimension $n-1$, so, the preimage has dimension at least $n$. Assuming that $X$ has dimension $\leq n$ we get countably many disjoint open sets contradicting the compacity of $X$.

rpotrie
  • 3.9k
  • 24
  • 27