2
$\begingroup$

Let $(\mathbb{N}, \mathcal{P}\mathbb{N}, \mu)$ be the measure space on the natural numbers with $\mu$ as the counting measure. Let $(Y, \mathcal{Y}, \nu)$ be an arbitrary measure space.

I want to show that $f: \mathbb{N} \times Y \to \mathbb{R}$ is measurable iff each section $f_n$ is $\mathcal{Y}$-measurable. In this context, a section $f_n: Y \to \mathbb{R}$ is defined via $f_n(y) = f(n,y), \quad y \in Y$ where $f: \mathbb{N} \times Y \to \mathbb{R}$.

Thoughts:

Given that $f$ is a measurable function, there's a theorem that allows me to conclude that every section of $f$ is measurable so the forward direction is done. For the backward direction, assuming each $f_n$ is $\mathcal{Y}$-measurable I have that $f_n^{-1}(\alpha, \infty] \in \mathcal{Y}$ for each $n \in \mathbb{N}$ and want to show this yields for $f^{-1}(\alpha, \infty] \in \mathcal{P}\mathbb{N} \times \mathcal{Y}.$

I know that I can write $f^{-1}(\alpha, \infty] = \{(n,y): f(n,y) > \alpha\}.$

Any ideas on how to prove this direction? General tips/strategies would be much appreciated.

  • 0
    @PinkElephants Could you elaborate on this fabulous hint? It was something I thought would be true, but I'm just not seeing it..2012-12-03

1 Answers 1

1

If $S\subset Y$ is measureable, then $\{n\}\times S\subset \mathbb{N}\times Y$ is measurable for all $n\in\mathbb{N}$ (it is a product of the measurable sets $\{n\}\subset \mathbb{N}$ and $S\subset Y$). Therefore $ f^{-1}((\alpha,\infty])=\bigcup_n \{n\}\times f_n^{-1}((\alpha,\infty]) $ is a countable union of measurable sets, so is measurable.

  • 0
    I do! Very clever. Thanks so much for your help.2012-12-03