Skip to main content
removed capitals from title; edited tags
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Dimension Perserving Non-Linear Mappreserving non-linear map

Let $F:\mathbb{R}^n\to\mathbb{R}^n$ be a continuous non-linear map, and let $A$ be a connected subset of $\mathbb{R}^n$ with $\text{dim}(A)=d\leq n$. When can we say that the dimension of the image, $\text{dim}(F(A))$, is also $d$? In other words, when does the map $F$ perservepreserve dimension?

A non-example would be some sort of non-linear projection that embeds a set into a lower dimensional space.

I think that if $F$ is injective thanthen this would be sufficient, but it also seems that we could weaken this significantly. For instance, maybe something along the lines of $F^{-1}(y)$ has at most countable cardinality for all $y\in\mathbb{R}^n$, although I am not sure how to guarantee this for a non-linear map.

If $F$ were measure perserving than-preserving then I think this would also be sufficient, but again somewhat overkill. In my case it is fine if $F$ changes the measure, so long as it doesn't change the dimension.

Dimension Perserving Non-Linear Map

Let $F:\mathbb{R}^n\to\mathbb{R}^n$ be a continuous non-linear map, and let $A$ be a connected subset of $\mathbb{R}^n$ with $\text{dim}(A)=d\leq n$. When can we say that the dimension of the image, $\text{dim}(F(A))$, is also $d$? In other words, when does the map $F$ perserve dimension?

A non-example would be some sort of non-linear projection that embeds a set into a lower dimensional space.

I think that if $F$ is injective than this would be sufficient, but it also seems that we could weaken this significantly. For instance, maybe something along the lines of $F^{-1}(y)$ has at most countable cardinality for all $y\in\mathbb{R}^n$, although I am not sure how to guarantee this for a non-linear map.

If $F$ were measure perserving than I think this would also be sufficient, but again somewhat overkill. In my case it is fine if $F$ changes the measure, so long as it doesn't change the dimension.

Dimension-preserving non-linear map

Let $F:\mathbb{R}^n\to\mathbb{R}^n$ be a continuous non-linear map, and let $A$ be a connected subset of $\mathbb{R}^n$ with $\text{dim}(A)=d\leq n$. When can we say that the dimension of the image, $\text{dim}(F(A))$, is also $d$? In other words, when does the map $F$ preserve dimension?

A non-example would be some sort of non-linear projection that embeds a set into a lower dimensional space.

I think that if $F$ is injective then this would be sufficient, but it also seems that we could weaken this significantly. For instance, maybe something along the lines of $F^{-1}(y)$ has at most countable cardinality for all $y\in\mathbb{R}^n$, although I am not sure how to guarantee this for a non-linear map.

If $F$ were measure-preserving then I think this would also be sufficient, but again somewhat overkill. In my case it is fine if $F$ changes the measure, so long as it doesn't change the dimension.

Source Link

Dimension Perserving Non-Linear Map

Let $F:\mathbb{R}^n\to\mathbb{R}^n$ be a continuous non-linear map, and let $A$ be a connected subset of $\mathbb{R}^n$ with $\text{dim}(A)=d\leq n$. When can we say that the dimension of the image, $\text{dim}(F(A))$, is also $d$? In other words, when does the map $F$ perserve dimension?

A non-example would be some sort of non-linear projection that embeds a set into a lower dimensional space.

I think that if $F$ is injective than this would be sufficient, but it also seems that we could weaken this significantly. For instance, maybe something along the lines of $F^{-1}(y)$ has at most countable cardinality for all $y\in\mathbb{R}^n$, although I am not sure how to guarantee this for a non-linear map.

If $F$ were measure perserving than I think this would also be sufficient, but again somewhat overkill. In my case it is fine if $F$ changes the measure, so long as it doesn't change the dimension.