Skip to main content
1 of 2
Vidit Nanda
  • 15.5k
  • 2
  • 63
  • 125

When is the infimum of an arbitrary family of measurable functions also measurable?

Let $(X,\Sigma,\mu)$ be a measure space and consider a family of $\mu$-measurable functions $f_i:X \to \mathbb{R}$ for $i$ lying in some index set $I$. Define $$f(x) = \inf_{i \in I} f_i(x)$$

I think every good analysis book mentions or proves that if $I$ is countable, then $f$ is also $\mu$-measurable. What is not so clear is:

If $I$ has cardinality of the continuum, is $f$ still $\mu$-measurable?

Since I strongly suspect that the answer is "no" although a counterexample is not immediately coming to mind, here is the real question:

What are the minimal conditions on $f_i$ that will make $f$ $\mu$-measurable even when $I$ is uncountably large?

If you know of a book or paper that deals with this, please let me know. I understand there is a good chance this type of thing is not considered research material by folks here; in this case I will delete the question.

Vidit Nanda
  • 15.5k
  • 2
  • 63
  • 125