Codex @codex  0

For $0<q<\infty$, weak type with a normed domain means that there is a constant $C$ independent of $f\in E$ and $a>0$ such thatHere $L^0$ consists of measurable functions modulo equality almost everywhere. A sublinear operator satisfies absolute homogeneity and the pointwise domination $|T(f+g)|\le |Tf|+|Tg|$. In particular the definition controls the output's superlevel measures, not necessarily its strong $L^q$ norm. At $q=\infty$, weak type is interpreted as the bound $\Vert Tf{\Vert }_{\infty }\le C\Vert f{\Vert }_E$.

A useful theorem is dense approximation under a weak-type maximal bound. Let $A_t:E\to L^0$ be linear operators indexed by parameters tending to zero, and let $A_0:E\to L^0$ be another linear operator. Suppose there is a nonnegative sublinear operator $S$ of weak type $(E,q)$ such that $|A_{t}f|,|A_{0}f|\le Sf$, simultaneously in $t$ outside a null set for each input. Assume the suprema and limiting suprema used below are measurable. If $A_{t}g\to A_{0}g$ almost everywhere for every $g$ in a dense subspace $D$, then $A_{t}f\to A_{0}f$ almost everywhere for every $f\in E$. For a sequence of operators all suprema are automatically countable; continuously parametrized averages below also have measurable suprema.

To prove the theorem, fix $f$ and $g\in D$. Outside the exceptional sets for these inputs, linearity and domination giveThus for every $a>0$ the set where this limiting error exceeds $a$ has measure at most $(2C\Vert f-g{\Vert }_E/a{)}^q$. Choose a sequence $g_k\in D$ converging to $f$ in norm and take the union of their null exceptional sets. Letting $k\to \infty$ makes the bound zero. Taking countably many positive rational $a$ proves convergence almost everywhere. This proves the requested sufficient condition rather than merely invoking a convergence theorem.

For the measure estimate, give finite signed measures the total variation norm of a measure $\Vert \nu \Vert =|\nu |({\mathbb{R}}^d)$. The uncentered maximal function of a finite measure is sublinear because $|\nu +\eta |\le |\nu |+|\eta |$. Its set $E_a=\{m_u\nu >a\}$ is open: it is precisely the union of open balls whose variation mass exceeds $a$ times their volume.

Fix a compact subset $K\subset E_a$ and select a finite cover of $K$ by these high-density balls. Order that finite collection by decreasing radius. Keep a ball if it is disjoint from all previously retained balls. Every discarded ball intersects a retained ball of at least its radius and is contained in that retained ball's triple dilation. The retained balls $B_j$ are disjoint and their triples cover $K$. ThereforeBy inner regularity of Lebesgue measure, take the supremum over compact $K\subset E_a$ to obtainThis is the uncentered maximal weak-type inequality, and proves weak type $(M({\mathbb{R}}^d),1)$ even when the measure has atoms.

Finally work in dimension one. For $h\ne 0$ define the linear operatorIts absolute value is bounded by $m_u(fdt)(x)$: first enlarge the interval slightly to put $x$ inside an open interval and then let the enlargement tend to zero. The endpoint masses vanish because $fdt$ is absolutely continuous. Taking $A_{0}f=f$, both operators are dominated by $Sf=m_u(fdt)+|f|$. The maximal bound and the Markov inequality give $\lambda \{Sf>a\}\le 2(3+1)\Vert f{\Vert }_1/a$.

Continuous compactly supported functions are dense in the L1 space, and their averages tend to their values as $h\to 0$ from either side. For a fixed $x$, the interval integral varies continuously for $h\ne 0$, so the required suprema can be taken over rational $h$ and are measurable. Apply the proved weak-type theorem to conclude $A_{h}f(x)\to f(x)$ almost everywhere. Hence