広義積分の一様収束

任意の $\varepsilon>0$ に対し $c\in[a,\omega)$ が存在し、すべての $b\in(c,\omega)$ とすべての $t\in J$ について $\bigl|\int_b^\omega f(x,t)\,dx\bigr|<\varepsilon$ が成り立つとき、$\int_a^\omega f(x,t)\,dx$ は $J$ 上一様収束するといいます。