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)$.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
3
1
|
||||||||||||||
|
|
6
|
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. |
||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
1
|
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. |
|||||||||||
|
|
1
|
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. |
|||
|
|
