# I have somehow confused myself with this fairly straightforward proof. We need to show that &#x0

I have somehow confused myself with this fairly straightforward proof. We need to show that $\lambda f$ is a measurable function on $\left(S,\mathcal{S}\right)$, i.e. that for any $c\in \mathbb{R}:\left\{s\in S:f\left(s\right)\le c\right\}\subset S$. If $\lambda \ne 0$, then the claim follows immediately from the measurability of $f$, namely as $c/\lambda \in \mathbb{R}$ it follows that $\left\{s\in S:f\left(s\right)\le c/\lambda \right\}=\left\{s\in S:\lambda f\left(s\right)\le c\right\}$
But then, if $\lambda =0,\lambda f=0$ and I am not sure how to convince myself that $\lambda f$ is measurable.
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

Aryanna Caldwell
If $\lambda =0$, then your function $\lambda f=0$ is identically 0. The inverse image of any measurable set containing 0 is $S$ and of any set not containing 0 is the empty set. Both of these are measurable.
###### Did you like this example?
aggierabz2006zw
$f:S\to \mathbb{R}$ measurable function.
$g:\mathbb{R}\to \mathbb{R}$ defined by $g\left(x\right)=\lambda x$ , $\lambda \in \mathbb{R}$ , is continuous.
Hence, $g\circ f=\lambda f$ is measurable.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 69, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}