A | B | C | D | E | F | G | H | CH | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
In calculus and real analysis, absolute continuity is a smoothness property of functions that is stronger than continuity and uniform continuity. The notion of absolute continuity allows one to obtain generalizations of the relationship between the two central operations of calculus—differentiation and integration. This relationship is commonly characterized (by the fundamental theorem of calculus) in the framework of Riemann integration, but with absolute continuity it may be formulated in terms of Lebesgue integration. For real-valued functions on the real line, two interrelated notions appear: absolute continuity of functions and absolute continuity of measures. These two notions are generalized in different directions. The usual derivative of a function is related to the Radon–Nikodym derivative, or density, of a measure. We have the following chains of inclusions for functions over a compact subset of the real line:
and, for a compact interval,
- continuously differentiable ⊆ Lipschitz continuous ⊆ absolutely continuous ⊆ bounded variation ⊆ differentiable almost everywhere.
Absolute continuity of functions
A continuous function fails to be absolutely continuous if it fails to be uniformly continuous, which can happen if the domain of the function is not compact – examples are tan(x) over [0, π/2), x2 over the entire real line, and sin(1/x) over (0, 1. But a continuous function f can fail to be absolutely continuous even on a compact interval. It may not be "differentiable almost everywhere" (like the Weierstrass function, which is not differentiable anywhere). Or it may be differentiable almost everywhere and its derivative f ′ may be Lebesgue integrable, but the integral of f ′ differs from the increment of f (how much f changes over an interval). This happens for example with the Cantor function.
Definition
Let be an interval in the real line . A function is absolutely continuous on if for every positive number , there is a positive number such that whenever a finite sequence of pairwise disjoint sub-intervals of with satisfies[1]
then
The collection of all absolutely continuous functions on is denoted .
Equivalent definitions
The following conditions on a real-valued function f on a compact interval are equivalent:[2]
- f is absolutely continuous;
- f has a derivative f ′ almost everywhere, the derivative is Lebesgue integrable, and for all x on ;
- there exists a Lebesgue integrable function g on such that for all x in .
If these equivalent conditions are satisfied, then necessarily any function g as in condition 3. satisfies g = f ′ almost everywhere.
Equivalence between (1) and (3) is known as the fundamental theorem of Lebesgue integral calculus, due to Lebesgue.[3]
For an equivalent definition in terms of measures see the section Relation between the two notions of absolute continuity.
Properties
- The sum and difference of two absolutely continuous functions are also absolutely continuous. If the two functions are defined on a bounded closed interval, then their product is also absolutely continuous.[4]
- If an absolutely continuous function is defined on a bounded closed interval and is nowhere zero then its reciprocal is absolutely continuous.[5]
- Every absolutely continuous function (over a compact interval) is uniformly continuous and, therefore, continuous. Every (globally) Lipschitz-continuous function is absolutely continuous.[6]
- If f: → R is absolutely continuous, then it is of bounded variation on .[7]
- If f: → R is absolutely continuous, then it can be written as the difference of two monotonic nondecreasing absolutely continuous functions on .
- If f: → R is absolutely continuous, then it has the Luzin N property (that is, for any such that , it holds that , where stands for the Lebesgue measure on R).
- f: I → R is absolutely continuous if and only if it is continuous, is of bounded variation and has the Luzin N property. This statement is also known as the Banach-Zareckiǐ theorem.[8]
- If f: I → R is absolutely continuous and g: R → R is globally Lipschitz-continuous, then the composition g ∘ f is absolutely continuous. Conversely, for every function g that is not globally Lipschitz continuous there exists an absolutely continuous function f such that g ∘ f is not absolutely continuous.[9]
Examples
The following functions are uniformly continuous but not absolutely continuous:
- The Cantor function on (it is of bounded variation but not absolutely continuous);
- The function:on a finite interval containing the origin.
The following functions are absolutely continuous but not α-Hölder continuous:
- The function f(x) = xβ on , for any 0 < β < α < 1
The following functions are absolutely continuous and α-Hölder continuous but not Lipschitz continuous:
- The function f(x) = √x on , for α ≤ 1/2.
Generalizations
Let (X, d) be a metric space and let I be an interval in the real line R. A function f: I → X is absolutely continuous on I if for every positive number , there is a positive number such that whenever a finite sequence of pairwise disjoint sub-intervals of I satisfies:
then:
The collection of all absolutely continuous functions from I into X is denoted AC(I; X).
A further generalization is the space ACp(I; X) of curves f: I → X such that:[10]
for some m in the Lp space Lp(I).
Properties of these generalizationsedit
- Every absolutely continuous function (over a compact interval) is uniformly continuous and, therefore, continuous. Every Lipschitz-continuous function is absolutely continuous.
- If f: a,b → X is absolutely continuous, then it is of bounded variation on a,b.
- For f ∈ ACp(I; X), the metric derivative of f exists for λ-almost all times in I, and the metric derivative is the smallest m ∈ Lp(I; R) such that:[11]Analytika
Antropológia
Aplikované vedy
Bibliometria
Dejiny vedy
Encyklopédie
Filozofia vedy
Forenzné vedy
Humanitné vedy
Knižničná veda
Kryogenika
Kryptológia
Kulturológia
Literárna veda
Medzidisciplinárne oblasti
Metódy kvantitatívnej analýzy
Metavedy
Metodika
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok.
Podrobnejšie informácie nájdete na stránke Podmienky použitia.
www.astronomia.sk | www.biologia.sk | www.botanika.sk | www.dejiny.sk | www.economy.sk | www.elektrotechnika.sk | www.estetika.sk | www.farmakologia.sk | www.filozofia.sk | Fyzika | www.futurologia.sk | www.genetika.sk | www.chemia.sk | www.lingvistika.sk | www.politologia.sk | www.psychologia.sk | www.sexuologia.sk | www.sociologia.sk | www.veda.sk I www.zoologia.sk