Symmetric-decreasing rearrangement of a function

Question

I'm studying section 3.3 of Analysis by Lieb and Loss, about symmetric-decreasing rearrangement of functions.

Let $A\subset \mathbb{R}^n$ a Borel set of finite Lebesgue measure. They define $A^*$ to be the ball centered at 0 with the same measure that $A$.

The symmetric-decreasing rearrangement of a measurable function $f:\mathbb{R}^n \to \mathbb{R}$ is then defined by

$$f^*(x):=\int_0^{\infty} \chi_{\{|f|>t\}^*}(x)dt,$$

by comparison to the "layercake" representation of $f$, namely $$f(x)=\int_0^{\infty} \chi_{\{f>t\}}(x)dt.$$

They say that it is then an obvious property that

$$\{x: f^*(x)>t\}=\{x: |f(x)|>t\}^* .$$

But I can't see why/how...

Answer 1

Hint 1: show that if $t_1 > t_2$, then $\{ |f| > t_1\}^* \subseteq \{ |f| > t_2\}^*$.

Hint 2: use this to show that if $y\in \{ |f| > t \}^*$, then $y \in \{|f| > s\}^*$ for every $0 \leq s \leq t$. Notice that this implies that $f^*(y) \geq t$ by the definition.

Hint 3: use hint 1 again to show that if $y\not\in \{|f| > t\}^*$, $$ \sup \left\{ s \geq 0 ~~|~~ y \in \{|f| > s\}^*\right\} \leq t $$ this implies in particular $f^*(y) \leq t$ (why?).