MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## absolute continuity on $R^{n}$

I know the definition of absolute continuity if there is a function $f:(a,b)\rightarrow R$. I wonder what is an analogy of this concept if we have a function $f:A\rightarrow R$, where $A\subset R^{n}$ is open set.

-

I guess it may depend on exactly which property of absolutely continuous functions you think is most important to keep, or to put it another way, exactly which definition you prefer in one dimension. For me the most commonly useful property of absolutely continuous functions is that they map sets of Lebesgue measure zero to sets of Lebesgue measure zero.

Pulling in roughly equal parts from my memory of real analysis and what Wikipedia and EoM tell me, the story seems to be that a function $f\colon [a,b] \to \mathbb{R}$ is absolutely continuous if and only if all three of the following hold (Banach–Zaretskii theorem):

1. $f$ is continuous;
2. $f$ is of bounded variation;
3. the Luzin N property holds: if $E$ has Lebesgue measure $0$, then so does $f(E)$.

Each of these 3 properties generalises to higher dimensions. The first and third are immediate; the second requires a slightly different definition of variation than in one dimension, but is a completely standard thing.

Thus one could say that a function $f\colon \mathbb{R}^m \to \mathbb{R}^n$ is "absolutely continuous" if those three properties hold, and to me this seems a very reasonable generalisation of the usual definition. (Of course one could extend this to maps between smooth manifolds, where you also have a notion of zero volume.)

This seems to be different from the definition that Malý uses in the paper Tapio Rajala referred to in his answer. From a quick glance at that paper, there seem to be a number of different generalisations out there, and this seems to be another example of the phenomenon wherein various notions that are distinct in higher dimensions happen to all coincide in the lowest-dimensional case, so that you can generalise some aspects of the familiar setting, but not all. Which generalisation is useful depends on what your purpose is.

-
 Notice also, that all the three properties listed by Vaughn make perfect sense for example in PI-spaces (metric spaces with a doubling measure and a local Poincaré inequality). So, one could go beyond the case of smooth manifolds. Of course one could also take the definition by Malý to the metric space setting. – Tapio Rajala Feb 1 2012 at 12:44

There is a generalization of absolute continuity for mappings $f \colon A \to \mathbb{R}^d$. This is called $n$-absolute continuity. It was introduced by Jan Malý in Absolutely continuous functions of several variables. J. Math. Anal. Appl. 231 (1999) 492$-$508.

A mapping $f\colon A \to \mathbb{R}^d$ is called $n$-absolutely continuous if for every $\epsilon > 0$ there exists $\delta > 0$ such that for any disjoint finite family $\{B_i\}$ of closed balls in $A$ we have $$\sum_i \mathcal{L}^n(B_i) < \delta \quad\Longrightarrow\quad \sum_i \left(\text{osc}_{B_i}(f)\right)^n < \epsilon.$$

-