Every $L_q$ function as a product of $L_p$ and $L_r$ functions

Question

Let $(X, \alpha, \mu)$ be a finite measure space. In the context of a measure theory course, I heard that every function $f \in L_q(\mu)$ can be written as a product of functions $g \in L_p(\mu)$ and $h \in L_s(\mu)$ where $$\frac{1}{q} = \frac{1}{p} + \frac{1}{s}$$ holds. I thought about how to prove that but all I know is how to estimate various inclusions, i.e. $L_q(\mu) \subseteq L_p(\mu)$, for $1\leq p < q \leq \infty $ in the case of $\mu(X) < \infty$. What is the idea here?

Answer 1

The idea is that $|f|^q=|f|^{\frac{ps}{s+p}}$. Therefore one can define $g=f|f|^{\frac{s}{s+p}−1}$ and $h=|f|^{\frac{p}{s+p}}$. They belong respectively to $L_p$ and $L_s$ and their product is $f$. We can also observe that the hypotesis of $X$ having finite measure was not used.