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

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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

## 1 Answer

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

-

(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
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 22, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8970338702201843, "perplexity_flag": "head"}