WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Uniform convergence

Revision #947 → #1648 · back to history

addedUniform convergence (informal)a451c210f517
addedUniform convergence1162d5c9ccad
addedCauchy criterion for uniform convergence999a66f593f9
addedUniform (supremum) metric characterization8f8d8ee7fd69
addedLocally uniformly convergentc79965136075
addedUniform convergence into a metric spacee38eca57182d
addedUniform convergence of nets into a uniform space7c905323c2f9
addedUniform convergence (hyperreal)025a6c41ea09
addedBasic example: x^n vs x^n on [0,1]7281552eb8a3
addedPointwise but not uniformly convergent sequenced370beec15cb
addedUniform convergence of exponential series205b6da70a1e
addedWeierstrass M-test6546c7045759
addedUniform convergence implies local uniform convergence8bff702f0e2c
addedLocal uniform convergence implies compact convergence08e7ea54aff3
addedLocal uniform and compact convergence agree on locally compact spaces608886e21f84
addedUniform convergence iff uniformly Cauchy (complete image)862cbd50d50b
addedDini's theoremc4620b77a0f2
addedEquicontinuous pointwise-convergent sequence converges uniformly8a9a69eefee3
addedUniform limit theoremdbadc716fcd8
addedUniform convergence and differentiation6705ee4500e1
addedUniform convergence and Riemann integration1ef6ebaad468
addedUniform limit of analytic functions is analyticd7587a7d7f36
addedPointwise, uniform, and absolute convergence of seriesb269ebe278b0
addedUniformly convergent series of continuous functionsfb8c5409886e
addedTerm-by-term integration of uniformly convergent series693732e0db08
addedC[0,1] with supremum norm is a Banach space329ea2516644
addedCompleteness of C[0,1]a2fb24296a08
addedC(X) is a Banach space for compact Hausdorff Xe687c19a7f5d
addedBounded functions with sup norm form a Banach spaceea53adce13b6
addedL^infinity and its relation to uniform convergence2bc93e4844ec
addedAlmost uniform convergence7ba7a0f9a766
addedEgorov's theorem9970088b7a8f
addedAlmost uniform convergence implies a.e. convergence and convergence in measure3f3766791a76