Difference between revisions of "Location of Roots Theorem"
m (Location of roots theorem moved to Location of Roots Theorem: cap) |
m |
||
Line 24: | Line 24: | ||
*[[Bolzano's intermediate value theorem]] | *[[Bolzano's intermediate value theorem]] | ||
*[[Continuity]] | *[[Continuity]] | ||
+ | |||
+ | [[Category:Theorems]] |
Revision as of 11:04, 11 June 2008
The location of roots theorem is one of the most intutively obvious properties of continuous functions, as it states that if a continuous function attains positive and negative values, it must have a root (i.e. it must pass through 0).
Statement
Let be a continuous function such that and . Then there is some such that .
Proof
Let
As , is non-empty. Also, as , is bounded
Thus has a least upper bound, $\begin{align}\sup A& =u\in A.\end{align}$ (Error compiling LaTeX. Unknown error_msg)
If :
As is continuous at , such that , which contradicts (1).
Also if :
is continuous imples such that , which again contradicts (1) by the Gap lemma.
Hence, .