Difference between revisions of "Smooth function"
(Importing text file) |
(TeX) |
||
| Line 1: | Line 1: | ||
| + | {{TEX|done}} | ||
A function for which each value of the argument is a smooth point (cf. [[Smooth point of a function|Smooth point of a function]]). A smooth function can be discontinuous. If a smooth function is continuous on an interval, the set of its points of differentiability is dense in the interval and has the cardinality of the continuum. There exist continuous smooth functions on the real axis that are not almost-everywhere differentiable. A smooth function has a derivative at each point of local extremum; as a result, the basic theorems of differential calculus, the theorems of Rolle, Lagrange, Cauchy, Darboux, etc., remain valid for smooth continuous functions. | A function for which each value of the argument is a smooth point (cf. [[Smooth point of a function|Smooth point of a function]]). A smooth function can be discontinuous. If a smooth function is continuous on an interval, the set of its points of differentiability is dense in the interval and has the cardinality of the continuum. There exist continuous smooth functions on the real axis that are not almost-everywhere differentiable. A smooth function has a derivative at each point of local extremum; as a result, the basic theorems of differential calculus, the theorems of Rolle, Lagrange, Cauchy, Darboux, etc., remain valid for smooth continuous functions. | ||
| Line 4: | Line 5: | ||
====Comments==== | ====Comments==== | ||
| − | Notice that any additive function | + | Notice that any additive function $f$ (i.e. $f(x+y)=f(x)+f(y)$ for all $x$ and $y$) is smooth. There exist additive functions that are continuous at no point. |
| − | The notion of a smooth function as introduced above is a rather uncommon one. Usually "smooth function" means "sufficient often differentiable function" , most often | + | The notion of a smooth function as introduced above is a rather uncommon one. Usually "smooth function" means "sufficient often differentiable function", most often $C^\infty$-function (infinitely often differentiable function); it can also mean "having modulus of smoothness satisfying certain growth conditions" (cf. also [[Smoothness, modulus of|Smoothness, modulus of]]). |
Latest revision as of 06:02, 22 August 2014
A function for which each value of the argument is a smooth point (cf. Smooth point of a function). A smooth function can be discontinuous. If a smooth function is continuous on an interval, the set of its points of differentiability is dense in the interval and has the cardinality of the continuum. There exist continuous smooth functions on the real axis that are not almost-everywhere differentiable. A smooth function has a derivative at each point of local extremum; as a result, the basic theorems of differential calculus, the theorems of Rolle, Lagrange, Cauchy, Darboux, etc., remain valid for smooth continuous functions.
Comments
Notice that any additive function $f$ (i.e. $f(x+y)=f(x)+f(y)$ for all $x$ and $y$) is smooth. There exist additive functions that are continuous at no point.
The notion of a smooth function as introduced above is a rather uncommon one. Usually "smooth function" means "sufficient often differentiable function", most often $C^\infty$-function (infinitely often differentiable function); it can also mean "having modulus of smoothness satisfying certain growth conditions" (cf. also Smoothness, modulus of).
Smooth function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Smooth_function&oldid=12211