Intereting Posts

Projection of the third dual of a Banach space onto the first dual
Natural isomorphisms and the axiom of choice
Educational Math Software
A question about the fixed point and group action.
Prove a Poincare-Like Inequality
Tensor equations. Can I change an equation from covariant to contravariant?
Bipartite graph. average degree. Euler circuit.
Expectation of the maximum of gaussian random variables
Show that the $k$th forward difference of $x^n$ is divisible by $k!$
Global sections of the projective space
Proving $~\sum_\text{cyclic}\left(\frac{1}{y^{2}+z^{2}}+\frac{1}{1-yz}\right)\geq 9$
Property of critical point when the Hessian is degenerate
When can you switch the order of limits?
Seems that I just proved $2=4$.
Simplyfying the equation

Given a $\sigma$-finite measure $\mu$ on a set $X$ is it possible to formulate a topology on the space of functions $f:X \rightarrow \mathbb{R}$ that gives convergence $\mu$-almost everywhere?

I can’t seem to find any way to write this and am suspecting that no such topology exists! Is this true? If so, is there some generalisation of a topological space where one can make sense of convergence without having open sets?

Any comments, references or tips would be greatly appreciated.

- Relationship between rate of convergence and order of convergence
- The Jeep Problem and Nash's Friends
- Does the frontier of an open set have measure zero (in $\mathbb{R}^n$)?
- Property of sum $\sum_{k=1}^{+\infty}\frac{(2k+1)^{4n+1}}{1+\exp{((2k+1)\pi)}}$
- Is there a difference between allowing only countable unions/intersections, and allowing arbitrary (possibly uncountable) unions/intersections?
- Sufficient and necessary condition for strictly monotone differentiable functions

- Prove that an annulus is not simply connected?
- Equivalent form of prime number theorem
- The image of a second-countable space by a closed continuous mapping with compact fibers is second-countable
- If $\lim_{x\to\infty}(f(x)+f'(x))=L$ show that $\lim_{x\to\infty} f(x) = L$ and $\lim_{x\to\infty} f'(x) = 0$
- ELI5: Riemann-integrable vs Lebesgue-integrable
- Evaluate $\lim\limits_{n\to\infty}(1+x)(1+x^2)\cdots(1+x^{2n}),|x|<1$
- Orbits of properly discontinuous actions
- Topological vector space locally convex
- Functions on P(R) - are there examples?
- If A is an infinite set and B is at most countable set, prove that A and $A \cup B$ have the same cardinality

Given I understand you correctly (topologize almost everywhere convergence), we can show that this is not possible. If we have a topological space, then we have convergence of a sequence if and only if every subsequence has a further convergent subsequence and so on.

So pick a sequence that converges in measure but not almost everywhere. There is a theorem that states that every subsequence of this also converges in the same measure. So it has a subsequence that converges almost everywhere (by another theorem). But the original sequence does not converge almost everywhere so we cannot have convergence in a topology.

Should I add more detail?

I was looking for a proof myself, I found this standard example.

Let $[0,1]$ be given the Lebesgue measure. The vector space $L^\infty([0,1])$ cannot be given a topological vector space structure.

Let $(f_n)$ be a sequence of function which converges in measure to zero but fails to converge a.e.; define the sequence $f_1^1, f_1^2, f_2^2, f_1^3, f_2^3, \dotsc$ where

$$ f_m^n(x) =

\begin{cases}

1 & \frac{m-1}{n} \leq x \leq \frac{m}{n} \\

0 & \text{otherwise}

\end{cases} $$

and $m$ is enumerated from 1 to $n$.

So we have

\begin{align*}

f_1 &= 1_{[0,1]} \\

f_2 &= 1_{[0,\frac{1}{2}]} , \quad f_3 = 1_{[\frac{1}{2}, 1]} \\

f_4 &= 1_{[0,\frac{1}{3}]} , \quad f_5 = 1_{[\frac{1}{3}, \frac{2}{3}]}, \quad \dotsc

\end{align*} Therefore $\mu(f_n \neq 0) \rightarrow 0$ as $n\rightarrow \infty$, hence $f_n$ converges in measure. Note that $\mu$ is a probability measure, and $\sum_n \mu(f_n \neq 0) = \infty$. By Borel-Cantelli, $\mu(f_n \neq 0 \ \text{i.o.}) = 1$. Hence $f_n$ does not converge to zero a.e.

Suppose a topology exists for a.e. convergence. Since $(f_n)$ fails to converge to zero, there must be a neighborhood $U_0$ which $f_n$ is outside i.o. Let $(f_{n_k})$ be a subsequence of terms outside of $U_0$. Any subsequence ${f_{n_k}}$ converges in measure, it has a further subsequence that converges a.e. to zero. But this subsequence is eventually in $U_0$, contradicting the choice that $(f_{n_k})$ is outside $U_0$. Therefore the topology cannot exist.

- General Topology and Basis definition
- What is a geometric explanation of complex integration in plain English?
- How do I transform the equation based on this condition?
- Ring theory notation question
- Big Bang Theory Reference to Formal Logic
- Show the inverse of a bijective function is bijective
- Making Tychonoff Corkscrew in Counterexamples in Topology rigorous?
- Selfadjointness of the Dirac operator on the infinite-dimensional Hilbert space
- Number of arrangements of red, blue, and green balls in which a maximum of three balls of the same color are placed in the five slots
- Finding the convergence
- Suppose A,B and C are sets. Prove that if A ⊆ B, then A-C ⊆ B-C
- Neighborhood base at zero in a topological vector space
- Does a Dedekind cut define a real number into existence?
- integer partitions
- If a nonnegative function of $x_1,\dots,x_n$ can be written as $\sum g_k(x_k)$, then the summands can be taken nonnegative