Hello, friends! Let us define the(adsbygoogle = window.adsbygoogle || []).push({}); external measureof the set ##A\subset \mathbb{R}^n## as $$\mu^{\ast}(A):=\inf_{A\subset \bigcup_k P_k}\sum_k m(P_k)$$where the infimum is extended to all the possible covers of ##A## by finite or countable families of ##n##-paralleliped ##P_k=\prod_{i=1}^n I_i##$, where ##I_i## is of the form ##[a_{i,k},b_{i,k}]## or ##(a_{i,k},b_{i,k})## or ##(a_{i,k},b_{i,k}]## or ##[a_{i,k},b_{i,k})##, with ##a_{i,k}\le b_{i,k}##, whose measure is defined as $$m(P_k):=\prod_{i=1}^n(b_{i,k}-a_{i,k}).$$

I am intuitively inclined to believe that, if ##T\in\text{End}(\mathbb{R}^3)## is a unitary transformation, then $$\mu^{\ast}(A)=\mu^{\ast}(T(A))$$but I have no idea how we can prove it.

Is that so and, if it is, how can it be proved?

I ##\infty##-ly thank any answerer!

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# I Lebesgue measure under orthogonal transofrmation

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Lebesgue measure under | Date |
---|---|

I N-dimensional Lebesgue measure: def. with Borel sets | Jun 19, 2016 |

Second derivatives of magnetic potential | Feb 23, 2016 |

What is meant when $\sigma$ is said to be discriminatory? | Mar 30, 2015 |

Real analysis exam problem | Dec 29, 2014 |

Measurability and Lebesgue integral of complex functions | Oct 18, 2014 |

**Physics Forums - The Fusion of Science and Community**