Implicit Function Theorem
It can be shown that if R(x, y) is given by a smooth submanifold M in R2, and (a, b) is a point of this submanifold such that the tangent space there is not vertical (that is ), then M in some small enough neighbourhood of (a, b) is given by a parametrization (x, f(x)) where f is a smooth function. In less technical language, implicit functions exist and can be differentiated, unless the tangent to the supposed graph would be vertical. In the standard case where we are given an equation
the condition on R can be checked by means of partial derivatives.
Read more about this topic: Implicit Function
Famous quotes containing the words implicit, function and/or theorem:
“The true colour of life is the colour of the body, the colour of the covered red, the implicit and not explicit red of the living heart and the pulses. It is the modest colour of the unpublished blood.”
—Alice Meynell (1847–1922)
“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (1889–1951)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)