intermediate value theorem

Information about intermediate value theorem

In Mathematical analysis, the intermediate value theorem is either of two theorems of which an account is given below.

Intermediate value theorem

Intermediate Value Theorem

The intermediate value theorem states the following: If y=f(x) is continuous on [a,b], and N is a number between f(a) and f(b), then there is at least 1 c ∈ [a,b] such that f(c) = N.

Suppose that $\text{[math]}$ is an interval [a,b] in the real numbers R and that $\text{[math]}$ is a continuous function. Then the image set $\text{[math]}$ is also an interval, and either it contains [f(a),f(b)], or it contains [f(b),f(a)]; that is,

$\text{[math]}$ ,

$\text{[math]}$ .

It is frequently stated in the following equivalent form: Suppose that $\text{[math]}$ is continuous and that u is a real number satisfying f(a) < u < f(b) or f(a) > u > f(b). Then for some c ∈ [a,b], f(c) = u.

This captures an intuitive property of continuous functions: given f continuous on [1,2], if f(1) = 3 and f(2) = 5 then f must be equal to 4 somewhere between 1 and 2. It represents the idea that the graph of a continuous function can be drawn without lifting your pencil from the paper.

The theorem depends on the completeness of the real numbers. It is false for the rational numbers Q. For example, the function f(x) = x^2 - 2, x ∈ Q satisfies $\text{[math]}$ . However there is no rational number $\text{[math]}$ such that $\text{[math]}$ .

Proof

We shall prove the first case $\text{[math]}$ ; the second is similar.

Let $\text{[math]}$ . Then $\text{[math]}$ is non-empty (since $\text{[math]}$ ) and bounded above by $\text{[math]}$ . Hence by the completeness property of the real numbers, the supremum $\text{[math]}$ exists. We claim that $\text{[math]}$ .

Suppose first that $\text{[math]}$ . Then $\text{[math]}$ , so there is a $\text{[math]}$ such that $\text{[math]}$ whenever $\text{[math]}$ , since $\text{[math]}$ is continuous. But then $\text{[math]}$ whenever $\text{[math]}$ (i.e. $\text{[math]}$ for $\text{[math]}$ in $\text{[math]}$ ). Thus $\text{[math]}$ is an upper bound for $\text{[math]}$ , a contradiction since we assumed that $\text{[math]}$ was the least upper bound and $\text{[math]}$ .

Suppose next that $\text{[math]}$ . Again, by continuity, there is a $\text{[math]}$ such that $\text{[math]}$ whenever $\text{[math]}$ . Then $\text{[math]}$ for $\text{[math]}$ in $\text{[math]}$ and there are numbers $\text{[math]}$ greater than $\text{[math]}$ for which $\text{[math]}$ , again a contradiction to the definition of $\text{[math]}$ .

We deduce that $\text{[math]}$ as stated.

History

For $\text{[math]}$ above, the statement is also known as Bolzano's theorem; this theorem was first stated by Bernard Bolzano, together with a proof which used techniques which were especially rigorous for their time but which are now regarded as non-rigorous.

Generalization

The intermediate value theorem can be seen as a consequence of the following two statements from topology:

If $\text{[math]}$ and $\text{[math]}$ are topological spaces, $\text{[math]}$ is continuous, and $\text{[math]}$ is connected, then $\text{[math]}$ is connected.
A subset of $\text{[math]}$ is connected if and only if it is an interval.

Example of use in proof

The theorem is rarely applied with concrete values; instead, it gives some characterization of continuous functions. For example, let $\text{[math]}$ for $\text{[math]}$ continuous over the real numbers. Also, let $\text{[math]}$ be bounded (above and below). Then we can say $\text{[math]}$ at least once. To see this, consider the following:

Since $\text{[math]}$ is bounded, we can pick $\text{[math]}$ and $\text{[math]}$ . Clearly $\text{[math]}$ and $\text{[math]}$ . If $\text{[math]}$ is continuous, then $\text{[math]}$ is also continuous. Since $\text{[math]}$ is continuous, we can apply the intermediate value theorem and state that $\text{[math]}$ must take on the value of 0 somewhere between $\text{[math]}$ and $\text{[math]}$ . This result proves that any continuous bounded function must cross the function, $\text{[math]}$ .

Converse is false

Suppose $\text{[math]}$ is a real-valued function defined on some interval $\text{[math]}$ , and for every two elements $\text{[math]}$ and $\text{[math]}$ in $\text{[math]}$ and $\text{[math]}$ such that $\text{[math]}$ . Does $\text{[math]}$ have to be continuous? The answer is no; the converse of the intermediate value theorem fails. As an example, take the function $\text{[math]}$ for $\text{[math]}$ , and $\text{[math]}$ . This function is not continuous as the limit when $\text{[math]}$ gets close to 0 does not exist; yet the function has the above intermediate value property. Another, more complicated example is given by the Conway base 13 function.

Historically, this intermediate value property has been suggested as a definition for continuity of real-valued functions; this definition was not adopted.

Darboux's theorem states that all functions that result from the differentiation of some other function on some interval have the intermediate value property (even though they need not be continuous).

Implications of theorem in real world

The theorem implies that on any great circle around the world, the temperature, pressure, elevation, carbon dioxide concentration, or anything else that varies continuously, there will always exist two antipodal points that share the same value for that variable.

Proof: Take $\text{[math]}$ to be any continuous function on a circle. Draw a line through the center of the circle, intersecting it at two opposite points $\text{[math]}$ and $\text{[math]}$ . Let $\text{[math]}$ be the difference $\text{[math]}$ . If the line is rotated 180 degrees, the value $\text{[math]}$ will be obtained instead. Due to the intermediate value theorem there must be some intermediate rotation angle for which $\text{[math]}$ , and as a consequence $\text{[math]}$ at this angle.

This is a special case of a more general result called the Borsuk–Ulam theorem.

The theorem also underpins the explanation of why rotating a wobbly table will bring it to stability (subject to certain easily-met constraints)[1]

Intermediate value theorem of integration

The intermediate value theorem of integration is derived from the mean value theorem and states:

If $\text{[math]}$ is a continuous function on some interval $\text{[math]}$ , then the signed area under the function on that interval is equal to the length of the interval $\text{[math]}$ multiplied by some function value $\text{[math]}$ such that $\text{[math]}$ . I.e.,

$\text{[math]}$

Intermediate value theorem of derivatives

If $\text{[math]}$ is a differentiable real-valued function on $\text{[math]}$ , then the (first order) derivative $\text{[math]}$ has the intermediate value property, though $\text{[math]}$ might not be continuous.

External links

Intermediate value Theorem - Bolzano Theorem at cut-the-knot

Analysis has its beginnings in the rigorous formulation of calculus. It is the branch of mathematics most explicitly concerned with the notion of a limit, whether the limit of a sequence or the limit of a function.
..... Click the link for more information.

In algebra, an interval is a set that contains every real number between two indicated numbers and may contain the two numbers themselves. Interval notation is the notation in which permitted values for a variable are expressed as ranging over a certain interval; "" is an
..... Click the link for more information.

In mathematics, the real numbers may be described informally as numbers that can be given by an infinite decimal representation, such as 2.4871773339…. The real numbers include both rational numbers, such as 42 and −23/129, and irrational numbers, such as π and
..... Click the link for more information.

In mathematics, a continuous function is a function for which, intuitively, small changes in the input result in small changes in the output. Otherwise, a function is said to be discontinuous.
..... Click the link for more information.

function expresses dependence between two quantities, one of which is given (the independent variable, argument of the function, or its "input") and the other produced (the dependent variable, value of the function, or "output").
..... Click the link for more information.

In mathematics, a rational number is a number which can be expressed as a ratio of two integers. Non-integer rational numbers (commonly called fractions) are usually written as the vulgar fraction , where b is not zero.
..... Click the link for more information.

In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set. A special use of the term refers to complete partial orders or complete lattices.
..... Click the link for more information.

supremum of S, if it exists, is the least element of T that is greater than or equal to each element of S. Consequently, the supremum is also referred to as the least upper bound, lub or LUB.
..... Click the link for more information.

Bernard (Bernhard) Placidus Johann Nepomuk Bolzano (September 5 1781 – December 18, 1848) was a Bohemian mathematician, theologian, philosopher, logician and antimilitarist of German mother tongue.
..... Click the link for more information.

Topology (Greek topos, "place," and logos, "study") is a branch of mathematics that is an extension of geometry. Topology begins with a consideration of the nature of space, investigating both its fine structure and its global structure.
..... Click the link for more information.

For a general, non-technical overview of the subject, see .

Topological spaces are mathematical structures that allow the formalization of concepts such as convergence, connectedness and continuity.
..... Click the link for more information.

connectedness is used to refer to various properties meaning, in some sense, "all one piece". When a mathematical object has such a property, we say it is connected; otherwise it is disconnected.
..... Click the link for more information.

In mathematics, the concept of a "limit" is used to describe the behavior of a function as its argument either "gets close" to some point, or as it becomes arbitrarily large; or the behavior of a sequence's elements as their index increases indefinitely.
..... Click the link for more information.

The Conway base 13 function is a function created by British mathematician John H. Conway as a counterexample to the converse of the intermediate value theorem. In other words, even though Conway's function f is not continuous, if f(a
..... Click the link for more information.

Darboux's theorem is a theorem in real analysis, named after Jean Gaston Darboux. It states that all functions which result from the differentiation of other functions have the intermediate value property: the image of an interval is also an interval.
..... Click the link for more information.

derivative is a measurement of how a function changes when the values of its inputs change. Loosely speaking, a derivative can be thought of as how much a quantity is changing at some given point.
..... Click the link for more information.

In mathematics, a Darboux function, named for Gaston Darboux (1842-1917), is a real-valued function f which has the "intermediate value property": on the interval between a and b, f assumes every real value between f(a) and
..... Click the link for more information.

Great circle is a circle on the surface of a sphere.
Great Circle is also a fictional organization from Andromeda Nebula, a novel by Ivan Yefremov

A great circle
..... Click the link for more information.

trillion fold).]]

Temperature is a physical property of a system that underlies the common notions of hot and cold; something that is hotter generally has the greater temperature. Temperature is one of the principal parameters of thermodynamics.
..... Click the link for more information.

Pressure (symbol: p) is the force per unit area applied on a surface in a direction perpendicular to that surface.

Gauge pressure is the pressure relative to the local atmospheric or ambient pressure.
..... Click the link for more information.

elevation of a geographic location is its height above a fixed reference point, often the mean sea level. Elevation, or geometric height, is mainly used when referring to points on the Earth's surface, while altitude or geopotential height
..... Click the link for more information.

Carbon dioxide is a chemical compound composed of two oxygen atoms covalently bonded to a single carbon atom. It is a gas at standard temperature and pressure and exists in Earth's atmosphere in this state.
..... Click the link for more information.

The word antipode can be used to mean either the point on the surface of the earth or another celestial body that is diametrically opposite to a given point (usually used as a plural in this sense), or the exact opposite or contrary of something.
..... Click the link for more information.

INTErnational Gamma-Ray Astrophysics Laboratory (INTEGRAL) is detecting some of the most energetic radiation that comes from space. It is the most sensitive gamma ray observatory ever launched.
..... Click the link for more information.

secant joining the endpoints of the interval [a, b] is parallel to the tangent at c.]] In calculus, the mean value theorem states, roughly, that given a section of a smooth curve, there is a point on that section at which the derivative
..... Click the link for more information.

Area is a quantity expressing the size of a figure in the Euclidean plane or on a 2-dimensional surface. Points and lines have zero area, although there are space-filling curves.
..... Click the link for more information.

cut-the-knot is an educational website maintained by Alexander Bogomolny and devoted to popular exposition of a great variety of topics in mathematics. The site has won more than 20 awards from scientific and educational publications ^[1]
..... Click the link for more information.

This article is copied from an article on Wikipedia.org - the free encyclopedia created and edited by online user community. The text was not checked or edited by anyone on our staff. Although the vast majority of the wikipedia encyclopedia articles provide accurate and timely information please do not assume the accuracy of any particular article. This article is distributed under the terms of GNU Free Documentation License.

EnglishInfo