Let $m > 0$ be fixed. If $x=(x_{0},x_{1},x_{2},x_{3})$ and $y = (y_{0},y_{1},y_{2},y_{3})$ are elements of $\mathbb{R}^{4}$, we denote the Lorentz inner product by: $$ x\cdot \tilde{y} := x_{0}y_{0}-x_{1}y_{1}-x_{2}y_{2}-x_{3}y_{3}$$ Let $H_{m}$ be defined by: $$ H_{m} := \{x \in \mathbb{R}^{4}: \hspace{0.1cm} \mbox{$x\cdot \tilde{x} = x_{0}^{2}-x_{1}^{2}-x_{2}^{2}-x_{3}^{2} = m^{2}$ and $x_{0} > 0$}\}$$ This is a measurable subset of $\mathbb{R}^{4}$. Hence, we can consider $H_{m}$ equipped with its Borel $\sigma$-algebra, which is simply the set of all Borel subsets of $\mathbb{R}^{4}$ which are also subsets of $H_{m}$. Next, define $j_{m}: H_{m} \to \mathbb{R}^{3}$ by $j_{m}(x_{0},x_{1},x_{2},x_{3}) = (x_{1},x_{2},x_{3})$. This is a projection map, so it's measurable. Finally, define a measure for each measurable subset $E$ of $H_{m}$ by: $$\Omega_{m}(E) := \int_{j_{m}(E)}\frac{d^{3}{\bf{x}}}{\sqrt{m^{2}+|{\bf{x}}|^{2}}} $$ where I denoted by ${\bf{x}} = (x_{1},x_{2},x_{3})$ and $|{\bf{x}}|^{2} = x_{1}^{2}+x_{2}^{2}+x_{3}^{2}$.

Let $\Lambda \in \mathscr{P}_{+}^{\uparrow}$ be a Lorentz measure, i.e. a linear transformation $\Lambda: \mathbb{R}^{4} \to \mathbb{R}^{4}$ with $\operatorname{det} \Lambda = 1$ and satisfying: $$(\Lambda x)\cdot \widetilde{(\Lambda y)} = x\cdot \tilde{y} $$ for every $x,y \in \mathbb{R}^{4}$.

By the above condition, $H_{m}$ is invariant under $\mathscr{P}_{+}^{\uparrow}$, that is, if $\Lambda \in \mathscr{P}_{+}^{\uparrow}$ then $\Lambda(H_{m}) \subseteq H_{m}$. Additionally, it is known that $\Omega_{m}$ is also invariant under $\mathscr{P}_{+}^{\uparrow}$, i.e. $$\Omega_{m}(\Lambda E) = \Omega_{m}(E)$$ holds for every $\Lambda \in \mathscr{P}_{+}^{\uparrow}$ and $E$ measurable. There is a proof of this result in Reed & Simon - Vol II. In their proof, they consider the measure: $$\Omega_{m}^{f}(E) = \int_{h(E)} \frac{f(y)d{\bf{x}}dy}{\sqrt{m^{2}+|{\bf{x}}|^{2}}}$$ where $h: (x_{0},{\bf{x}}) \mapsto ({\bf{x}}, x\cdot \tilde{x})$ and construct a sequence $f_{n}$ in $C_{0}^{\infty}(0,\infty)$ which converges to $\delta(y-m)$.

**Question:** Simon and Reed mention that an alternative proof of the invariance of $\Omega_{m}$ under $\mathscr{P}_{+}^{\uparrow}$ can be obtained in a straightfoward way by computing the action of $\Lambda \in \mathscr{P}_{+}^{\uparrow}$ on $H_{m}$. It seems reasonable to me that a more straightfoward proof exists, but I couldn't find it myself and I don't understand exactly what Reed & Simon meant with their statement. Do you know what is this straightfoward approach to prove the invariance of $\Omega_{m}$?