ΘρϵηΠατπ

Uniform Convergence Equivalence In Terms of Lim Sup
Suppose that Sn and a sequence of functions (fk):1C(S,m), then fkf if and only if eventualy we have fkfCb(S,Rm) for all k sufficiently large and limkfkf=0
Dini's
If f and fn are continuous functions on [a,b] such that fnfn+1 for all n1 and if fnpwf then fnuniff

We first prove that for any x0[a,b] and ϵ+ there exists some integer N1 and r+ such that |xx0|r|gN(x)|ϵ where gn(x)=f(x)fn(x)

This follows from a few facts, we first start with continuity of f,fn, specifically at x0 and therefore using ϵ we obtain some δ1+ such that f(B(x0,δ1))B(gn(x0),ϵ), similarly we have a δ2+ such that f(B(x0,δ2))B(f(x0),ϵ), then also we know that since fnpwf then since it's true at x0 and using ϵ we obtain some K1 such that for all nK we have |fn(x0)|f(x0)ϵ

Now we combine using the triangle inequality, so let ϵ+ , then let r=min(δ1,δ2) so that we obtain the inequalities mentioned in the previous paragraph, and we get some K1 as mentioned in the previous paragrah, then |gK(x)|=|f(x)fK(x)||f(x)f(x0)|+|f(x0)fK(x0)|+|fK(x0)fK(x)|3ϵ

With that out of the way suppose for the sake of contradiction that fn doesn't convege uniformly to f, since ffn is eventually bounded then this is equivalent to limnffn=d+

Since gn is continuous as the sum of continuous functions and has compact domain then by EVT, we know that it attains its max and min, and therefore there exists a xk[a,b] such that ffk=gk(xk), so we have limkgk(xk)=d, and note that this means that for any ϵ+ there is some J1 such that for all jJ we have |gj(xj)d|<ϵ which implies that dϵgj(xj).

Since xk is in a compact set it has a convergent subsequence xnkx[a,b]. Now recall the fact we proved initially, by using dϵ we know that there is some N1 such that gN(x)<dϵ, now at the same time the inequality discussed in the previous paragraph also holds on the subsequence (this is because if a sequence goes somewhere, then any subsequence must also go there), namely we have some J1 such that for all jJ dϵgnj(xnj) but then there is some i such that ni>max(N,J) and therefore gi<gN and so chaining inequalities we have dϵgni(xxi)gN(x)dϵ which is a contradiction, and therefore fnuniff