Intereting Posts

Axiom of Choice and Right Inverse
Evaluation of $\sqrt{\frac12+\sqrt{\frac14+\sqrt{\frac18+\cdots+\sqrt{\frac{1}{2^n}}}}}$
Showing $\int_E f=\lim_{n\to\infty}\int_E f_n$ for all measurable $E$
How to find surface normal of a triangle
$a,b,c$ are positive reals and distinct with $a^2+b^2 -ab=c^2$. Prove $(a-c)(b-c)<0$
Prove that $\|UVU^{-1}V^{-1}-I\|\leq 2\|U-I\|\|V-I\|$
What's the point of eta-conversion in lambda calculus?
Prime powers, patterns similar to $\lbrace 0,1,0,2,0,1,0,3\ldots \rbrace$ and formulas for $\sigma_k(n)$
Injective Cogenerators in the Category of Modules over a Noetherian Ring
$C_c^{\infty}(\mathbb R^n)$ is dense in $W^{k,p}(\mathbb R^n)$
Ways to Choose Three Adjacent Elements from a Set
$M_m = 0$ for all maximal ideals $m \subset R$ implies $M=0$?
Maximal Hamming distance
The derivative of a linear transformation
Classification of prime ideals of $\mathbb{Z}/(f(X))$

$\bf{\text{(Pettis Measurability Theorem)}}$ Let $(\Omega,\Sigma,\mu)$ be a $\sigma$-finite measure. The following are equivalent for $f:\Omega\to X$.

(i) $f$ is $\mu$-measurable.

(ii) $f$ is weakly $\mu$-measurable and $\mu$-essentially separately valued.

- First theorem in Topological vector spaces.
- Gradient Estimate - Question about Inequality vs. Equality sign in one part
- $\ell^p\subseteq\ell^q$ for $0<p<q<\infty$ and $\|\cdot\|_p<\|\cdot\|_q$
- A few questions about the Hilbert triple/Gelfand triple
- weak* continuous linear functional is in the predual
- How do you show that $f(x) = e^{-x^2}$ is in the Schwartz space $\mathcal{S}(\Bbb{R})$?

(iii) $f$ is Borel measurable and $\mu$-essentially separately valued.

$\bf{\text{Relevant Definitions:}}$

A function $f:\Omega\to X$ is simple if it assumes only finitely many values. That is, there exists subsets $E_{1}, … , E_{n}$ of $\Omega$ and scalars $x_{1}, … , x_{n}\in X$ such that $f = \sum_{i=1}^{n}\chi_{E_{i}}x_{i}$.

If the sets $E_{i}$ can be chosen from $\Sigma$, then $f$ is $\mu$-measurable simple.

A function $f:\Omega\to X$ is $\mu$-measurable if it is the limit of a sequence of $\mu$-measurable simple functions (almost everywhere).

A function $f:\Omega\to X$ is $\mu$-essentially separately valued if there exists $E\in \Sigma$ such that $\mu(\Omega\backslash E) = 0$ and $f(E)\subset Y$ for some separable subspace $Y$ of $X$.

$\bf{\text{My Question:}}$

Since the scalar field is one-dimensional and thus separable, every scalar function on $\Omega$ is $\mu$-essentially separately valued.

Therefore by the Pettis Measurability Theorem, Borel measurability and $\mu$-measurability are equivalent for scalar valued functions. But the example $\chi_{F}$, for any $F\notin \Sigma$, $\mu(F)= 0$ seems to contradict this fact for incomplete spaces, as the function $\chi_{F}$ is not Borel measurable when $F\notin \Sigma$, but *is* $\mu$-measurable as the almost everywhere limit of the sequence $f_{n} = 0$.

I am led to suspect, unless I have an error in my reasoning above, that completeness of $\mu$ may be needed for the Pettis Measurability Theorem somewhere?

- Definition of Equivalent Norms
- Space Sobolev $W^{m,p}$ complete
- Why does the Continuum Hypothesis make an ideal measure on $\mathbb R$ impossible?
- Is this an inner product on $L^1$?
- When is $L^1 = (L^\infty)^\ast$?
- If $Q$ is an operator on a Hilbert space with $Qe_n=λ_ne_n$ for all $n$, then $Q^{-\frac 12}e_n=\frac 1{\sqrt{λ_n}}e_n$ for all $n$ with $λ_n>0$
- The $ l^{\infty} $-norm is equal to the limit of the $ l^{p} $-norms.
- Is a uniquely geodesic space contractible? II
- The adjoint of finite rank operator is finite rank
- Are $L^\infty$ bounded functions closed in $L^2$?

Completeness of $\mu$ is required for this version of the Pettis measurability theorem.

In the proof of the direction $(ii)\Rightarrow (iii)$, as in the definition of $\mu$-essentially separately valued, there is a set $E\in\Sigma$, $\mu(\Omega \backslash \Sigma) = 0$ such that $f(E)\subset Y$ for a separable subspace $Y$ of $X$. There is a reduction to the case where $f(\Omega)\subset Y$, as changing the values of $f$ on a $\mu$-null set does not harm weakly $\mu$-measurability or Borel measurability.

This last claim is only true for Borel measurability if $\mu$ is complete. And thus the reduction is not valid without that assumption, as the counter example in my question (supplied by Norbert) shows.

- Uniformly distributed points distance question
- Tricky proof that the weighted average is a better estimate than the un-weighted average:
- How unique is $e$?
- $\displaystyle\sum_{k=0}^n \frac{\cos(k x)}{\cos^kx} = ?$
- Has the $\Gamma$-like function $f_p(n) = 1^{\ln(1)^p} \cdot 2^{\ln(2)^p} \cdot \ldots \cdot n^{\ln(n)^p} $ been discussed anywhere?
- Showing that $T(n)=2T(+17)+n$ has a solution in $O(n \log n)$
- Can $18$ consecutive integers be separated into two groups,such that their product is equal?
- Does $M_n^{-1}$ converge for a series of growing matrices $M_n$?
- True vs. Provable
- Infinitely many numbers not expressible in the form $a^n+b^n+c^n$
- Help evaluating a gamma function
- Can all circles of radius $1/n$ be packed in a unit disk, excluding the circle of radius $1/1$?
- Understanding a proof of Komlós's theorem
- For a compact covering space, the fibres of the covering map are finite.
- Maximal ideal in commutative ring