TheoremBase

Proof

Let f:[a,b]→Rf:[a,b]\to\mathbb R be continuous. Since [a,b][a,b] is compact, its image f([a,b])f([a,b]) is compact in R\mathbb R, hence closed and bounded. Therefore M:=sup⁡f([a,b])M:=\sup f([a,b]) and m:=inf⁡f([a,b])m:=\inf f([a,b]) are finite and belong to f([a,b])f([a,b]). So there exist xM,xm∈[a,b]x_M,x_m\in[a,b] with f(xM)=Mf(x_M)=M and f(xm)=mf(x_m)=m. Thus ff attains both a maximum and a minimum on [a,b][a,b].

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…