Dense approximation under a weak-type maximal bound
ID: dense-approximation-under-a-weak-type-maximal-bound
Suppose linear operators and on a normed space satisfy , where has weak type with a normed domain, and all relevant suprema are measurable. If almost everywhere on a dense subspace, the same holds for every input. For a fixed approximation , the limiting error is at most . The measure where it exceeds is at most , which tends to zero as the approximation improves. This is a convergence-to-a-specified-limit version of almost-everywhere convergence from weak-type domination.
New to topics? Read the docs here!