19
$\begingroup$

Question. Suppose $m>n$ are positive integers. Is there a one-to-one $f: \Bbb{R}^m \to \Bbb{R}^n$ such that the graph $\Gamma_f$ of $f$ is closed in $\Bbb{R}^{m+n}$?

Remark 1. The answer to the above question is well-known to be negative by basic results in topological dimension theory if the condition that $\Gamma_f$ is closed is strengthened to the continuity of $f$.

Remark 2. By elementary topology, a function $f$ from a compact Hausdorff space $X$ to a compact Hausdorff space $Y$ is continuous iff $\Gamma_f$ is closed in $X \times Y$. This fact can be used to show that the answer to the above question is also negative if in the statement of the question, $\Bbb{R}$ is replaced by $[0,1]$, i.e., $f$ is stipulated to be a function from $[0, 1]^m$ to $[0,1]^n$.

$\endgroup$
3
  • $\begingroup$ Won't the restriction of $f$ to $[0,1]^m$ be injective and with a closed graph? $\endgroup$
    – Asaf Karagila
    Commented Aug 2, 2018 at 17:02
  • $\begingroup$ Asaf: yes, it indeed is. I fixed Remark 2 to say that a function whose domain and co-domain are both compact Hausdorff spaces and whose graph is closed is continuous. $\endgroup$
    – Ali Enayat
    Commented Aug 2, 2018 at 17:17
  • $\begingroup$ @AsafKaragila I forgot to thank you! $\endgroup$
    – Ali Enayat
    Commented Aug 2, 2018 at 17:17

1 Answer 1

20
$\begingroup$

There is no such function.

Suppose $f: \mathbb R^m \rightarrow \mathbb R^n$ is an injective function with $\Gamma_f$ closed in $\mathbb R^{m+n}$. For each $i \in \mathbb N$, let $K_i = f^{-1}([-i,i]^n)$.

I claim that each $K_i$ is closed and nowhere dense in $\mathbb R^m$.

$K_i$ is closed because it is the projection onto $\mathbb R^m$ of the set $\Gamma_f \cap (\mathbb R^m \times [-i,i]^n)$, which is closed in $\mathbb R^m \times [-i,i]^n$, and the projection of a closed subspace of $X \times Y$ onto $X$ is always closed when $Y$ is compact.

To see that $K_i$ is nowhere dense, suppose $C$ is a closed subset of $K_i$. Notice that $\Gamma_f \cap (C \times [-i,i]^n)$ is closed in $C \times [-i,i]^n$, and it is the graph of the function $f \!\restriction\! C$. In particular, $f \!\restriction\! C$ is a function into a compact Hausdorff space, and $\Gamma_{f \restriction C}$ is closed. By the closed graph theorem (the one alluded to in the question), $f \!\restriction\! C$ is continuous. This implies that $K_i$ is nowhere dense: otherwise (because we already know $K_i$ is closed) there is a closed ball $C \subseteq K_i$, in which case $f \!\restriction\! C$ is a continuous injection from a topological copy of $[0,1]^m$ into $[0,1]^n$. As the OP already mentioned, this is impossible. (This is because a continuous injection on $C$ would be an embedding (because $C$ is compact), and one cannot embed $[0,1]^m$ into $[0,1]^n$ when $m > n$.)

The Baire Category Theorem now provides us with a contradiction. Because each $K_i$ is nowhere dense, it is impossible to have $\mathbb R^m = \bigcup_{i \in \mathbb N}K_i$. On the other hand, $\mathbb R^m = \bigcup_{i \in \mathbb N}K_i$ is implied by the definition of the $K_i$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .