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)$.

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) + (k1)$. 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 openandclosed, 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 pointparacompact by other authors: every open cover has a pointfinite refinement. 


One result of this kind: if $X$ is zerodimensional and $f$ is at most $n$ to one, then $\dim f(X) \le n1$. This is if and only if... Given $Y$ of dimension $m$, there is a zerodimensional $X$ and surjection $f \colon X \to Y$ that is at most $m+1$ to one. 


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 $n1$, 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 celllike 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 celllike mapping increasing dimension. See section 3. 

