MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Can we extend a continuous function with keeping Hausdorff dimension?

Let X be a compact subset of R^d, and K be a compact subset of X, such that Dim_H(X)=Dim_H(K). Let F be a continuous function on K, Can we extend F from K to X, with keeping the continuous and the Hausdorff dimension of the gragh.

-
 What is the range of the function $F$? Is it also Euclidean space? Without specifying the range, the "Hausdorff dimension of the graph" makes no sense. – Lee Mosher Jun 26 at 16:30 Yes,I am sorrry, I mean taht F is a real-valued continuous function. – luka Jun 27 at 3:36

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$.
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$.
 (Please note that one has to be careful with the above construction: for example one should not select cubes to the decomposition which agree with the boundary of $K$ at other points besides the corners, one has to make sure that the extension agree on faces etc. All these things should be doable, but I left such details out.) – Tapio Rajala Jun 27 at 6:35