Skip to main content
2 of 2
Commonmark migration

Yes, because you can extend any continuous mapping defined on $K$ to the whole space $\mathbb R^d$ so that it is locally Lipschitz outside $K$. Now the graph of $F$ on $X \setminus K$ has the same dimension as $X \setminus K$.

Overly complicated way to construct the extension:

First take a Whitney decomposition of $Q\setminus K$, where $Q \subset \mathbb R^d$ is some dyadic cube containing $K$. Then enumerate the decomposition cubes $Q_i$ so that the diameter of $Q_i$ is decreasing. Next iteratively define $F$ on $Q_i$ as follows: For each corner $x$ of the cube $Q_i$ define $F(x)$ to be the value of $F$ at one of the points on $$K \cup \bigcup_{j < i} Q_j$$ which is closest to $x$ and then extend $F$ piecewise linearly to $Q_i$.

Tapio Rajala
  • 3.3k
  • 1
  • 21
  • 25