1
$\begingroup$

It is well-known that if there is a function $f: \Omega \subset \mathbb R^n \rightarrow X$ with $\Omega$ open and $X$ is a Hilbert space, then continuity of $f$ implies also Bochner measurability of $f$.

I was wondering whether this is also true if $\Omega$ is an open subset of a Hilbert space.

Does it hold if we additionally assume $f$ to be linear?

$\endgroup$

1 Answer 1

5
$\begingroup$

Can you specify which $\sigma$-algebra and measure you have on $\Omega$? Bochner measurability is defined as being the limit a.e. of measurable finitely valued functions. By Pettis' Theorem this is the same as being weakly measurable and almost separably valued.

Now take a non-separable $\Omega\subset X$ and let $f$ be the identity. Then $f$ is not separably valued, but it might be almost separably valued, depending on the measure.

On the other hand, if $\Omega$ is separable, then every continuous function is separably valued. The weak measurability then depends on the $\sigma$-algebra on $\Omega$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.