Properties

Because of the nature of their range, real valued functions can be characterized using some special features.

Also consider properties of functions over ordered semigroups described elsewhere.

Topological properties

Limits, continuity, smoothness, steepness. See topology ref.

Limits

See topology ref. Left and right handed limits. ± as limits.

Limits of sums, products, quotients. Squeeze or pinching theorem: If f(x)g(x)h(x), and if limxaf(x)=limxah(x)=b, limxag(x)=b.

f:F to F: Find limits

Try Substitution, factorization, rationalization.

L’Hopital rule: If ltxcf(x)=ltxcg(x)=0,L=limxcf(x)g(x)=f(x)g(x): from definitions or from generalized mean value thm: define f(c) = g(c) = 0, so derivatives exist around c; as L,g(x)0.

Closed functional f

All sublevel sets of f are closed. Equivalently, the epigraph is closed. \why

Consider/ visualize the epigraph: If f is continuous, dom(f) is closed, then f is closed. Also, if f is continuous, dom(f) is open, f is closed iff f converges to along every sequence converging to bd(dom(f)). \why

Continuity

See topology ref.

If f,g are continuous, then f+g, fg, f/g are continous.

Absolute continuity of f:Rm to Rn

More powerful/ specialized than uniform continuity.

ϵ0,d0: finite sequence of pairwise disjoint sub-intervals (xk,yk) : k|ykxk|<δk|f(yk)f(xk)|<ϵ. This can be extended to f:RmX for any topological space X.

Simple discontinuity

Upper and lower limits exist, but different: x. Non-simple disc: f(x): 1 if xQ, 0 else.

Fixing discontinuities. limx0sinxx=1.

Extreme value existence, boundedness

(Weierstrass) If real valued f is continuous over compact (closed and bounded in R) S=[x1,x2], it attains maximum and minimum value somewhere in S.

Proof

As S compact, f(S) compact [See topology ref.]. So f closed and bounded. By LUB property of R, supf=M; take dn: Mn1f(dn)M; so f(dn)M; by Bolzano Weierstrass take convergent subseq (dnk)d; dS as S closed; as f cont, so f(d)=M.

If S not compact, there can be: unbounded but cont f: S=(0,1),f(x)=x1; cont f without max: f(x) = x on (0,1); cont but not uniformly cont: S=(0,1),f(x)=x1.

Intermediate value theorem

If continuous f(x):[a, b] R , \ u[f(a),f(b)],c[a,b]:f(c)=u: [a,b] connected, so f([a,b]) connected.