BranchesHistoryHelpLogin
Welcome guest
You're not logged in.
339 users online, thereof 0 logged in

Theorem: Continuous Functions Mapping Compact Domains to Real Numbers Take Maximum and Minimum Values on these Domains

Let $X$ be a metric spaces, $D\subset X$ be a compact subset and $f:D\mapsto \mathbb R$ a continuous function mapping the domain $D$ to the real numbers $\mathbb R$. Then there are points \(p,q\in X\), for which the function $f$ takes the maximum and the minimum values of the image $f(D)$, formally $$\exists p,q\in X:~f(p)=\max(f(D)),\quad f(q)=\min(f(D)).$$

| | | | | created: 2017-03-11 21:19:38 | modified: 2017-03-12 13:44:50 | by: bookofproofs | references: [582]

1.Proof: (related to "Continuous Functions Mapping Compact Domains to Real Numbers Take Maximum and Minimum Values on these Domains")

2.Corollary: Continuous Functions Mapping Compact Domains to Real Numbers are Bounded

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

[582] Forster Otto: “Analysis 2, Differentialrechnung im \(\mathbb R^n\), Gew√∂hnliche Differentialgleichungen”, Vieweg Studium, 1984