Lebesgue dimension of images Given a map of topological spaces $f:X\rightarrow Y$. Assume, that $X$ has finite Lebesgue dimension. I am wondering, what dim$(f(X))$ might be. Of course, if $f$ is a homeomorphism onto its image, then it's just dim$(X)$. On the other hand there are the space filling curves, that show, that the dimension might increase. So I am wondering, whether there is any nice condition for $f$ (such as open, closed, proper etc), that guarantees, that dim$(f(X))\le$dim$(X)$.
 A: Some results from Engelking's dimension theory book:
If $f: X \mapsto Y$ is a closed, continuous and surjective function between normal spaces $X$ and $Y$, and $\forall y \in Y: | f^{-1}[{y}] | \le k$ for some integer $k \ge 1$, then $\dim(Y) \le \dim(X) + (k-1)$. 
If $f: X \mapsto Y$ is an open, continuous and surjective function between a weakly paracompact space $X$ and a normal space $Y$ with finite fibres, then $\dim(X) = \dim(Y)$.
If $f: X \mapsto Y$ is an open, continuous and surjective function between a locally compact normal space $X$ and a weakly paracompact normal space $Y$ such that all fibres are at most countable, then $\dim(Y) \le \dim(X)$.
If $f: X \mapsto Y$ is an open-and-closed, continuous and surjective function between a locally compact normal space $X$ and a paracompact space $Y$ such that all fibres are at most countable, then $\dim(Y) \le \dim(X)$.
In the other direction:
If $f: X \mapsto Y$ is a closed, continuous function between a normal space $X$ and a paracompact space $Y$ such that the dimension of the fibres is at most 0 (this includes the empty fibres of dimension -1), then $\dim(X) \le \dim(Y)$.
weakly paracompact includes Hausdorff, and is called metacompact or point-paracompact by other authors: every open cover has a point-finite refinement.
A: One result of this kind:  if $X$ is zero-dimensional and $f$ is at most $n$ to one, then $\dim f(X) \le n-1$.  This is if and only if... Given $Y$ of dimension $m$, there is a zero-dimensional $X$ and surjection $f \colon X \to Y$ that is at most $m+1$ to one.
A: 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$. 
EDIT: I have recently found this paper were the notion of cell-like mapping is discussed. There it is shown that this result does not hold unless more hypothesis are added. There is a nice discusion on the possibility of a cell-like mapping increasing dimension. See section 3.
