Springer Monographs in Mathematics
For other titles published in this series, go to http://www.springer.com/series/3733 Olli Martio • Vladimir Ryazanov • Uri Srebro • Eduard Yakubov
Moduli in Modern Mapping Theory
With 12 Illustrations
123 Olli Martio Vladimir Ryazanov University of Helsinki Institute of Applied Mathematics Helsinki and Mechanics of National Academy Finland of Sciences of Ukraine olli.martio@helsinki.fi Donetsk Ukraine [email protected]
Uri Srebro Eduard Yakubov Technion - Israel Institute H.I.T. - Holon Institute of Technology of Technology Holon Haifa Israel Israel [email protected] [email protected]
ISSN: 1439-7382 ISBN: 978-0-387-85586-8 e-ISBN: 978-0-387-85588-2 DOI 10.1007/978-0-387-85588-2
Library of Congress Control Number: 2008939873
c Springer Science+Business Media, LLC 2009 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connec- tion with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
Printed on acid-free paper springer.com Dedicated to 100 Years of Lars Ahlfors Preface
The purpose of this book is to present modern developments and applications of the techniques of modulus or extremal length of path families in the study of map- pings in Rn, n ≥ 2, and in metric spaces. The modulus method was initiated by Lars Ahlfors and Arne Beurling to study conformal mappings. Later this method was extended and enhanced by several other authors. The techniques are geomet- ric and have turned out to be an indispensable tool in the study of quasiconformal and quasiregular mappings as well as their generalizations. The book is based on rather recent research papers and extends the modulus method beyond the classical applications of the modulus techniques presented in many monographs.
Helsinki O. Martio Donetsk V. Ryazanov Haifa U. Srebro Holon E. Yakubov 2007 Contents
1 Introduction and Notation ...... 1
2 Moduli and Capacity ...... 7 2.1 Introduction ...... 7 2.2 Moduli in Metric Spaces...... 7 2.3 Conformal Modulus ...... 11 2.4 Geometric Definition for Quasiconformality ...... 13 2.5 Modulus Estimates ...... 14 2.6 Upper Gradients and ACCp Functions ...... 17 n 2.7 ACCp Functions in R and Capacity ...... 21 2.8 Linear Dilatation ...... 25 2.9 Analytic Definition for Quasiconformality ...... 31 2.10 Rn as a Loewner Space ...... 34 2.11Quasisymmetry...... 40
3 Moduli and Domains ...... 47 3.1 Introduction ...... 47 3.2 QED Exceptional Sets ...... 48 3.3 QED Domains and Their Properties ...... 52 3.4 UniformandQuasicircleDomains...... 55 3.5 Extension of Quasiconformal and Quasi-Isometric Maps ...... 62 3.6 Extension of Local Quasi-Isometries ...... 69 3.7 Quasicircle Domains and Conformal Mappings ...... 71 3.8 On Weakly Flat and Strongly Accessible Boundaries ...... 73
∈ 1 4 Q-Homeomorphisms with Q Lloc ...... 81 4.1 Introduction ...... 81 4.2 Examples of Q-homeomorphisms...... 82 n−1 4.3 Differentiability and KO(x, f ) ≤ Cn Q (x) a.e...... 83 1,1 4.4 Absolute Continuity on Lines and Wloc ...... 86 4.5 LowerEstimateofDistortion...... 89 x Contents
4.6 Removal of Singularities ...... 90 4.7 Boundary Behavior ...... 91 4.8 Mapping Problems ...... 92
5 Q-homeomorphisms with Q in BMO ...... 93 5.1 Introduction ...... 93 5.2 MainLemmaonBMO...... 94 5.3 Upper Estimate of Distortion ...... 96 5.4 Removal of Isolated Singularities ...... 97 5.5 On Boundary Correspondence ...... 97 5.6 Mapping Problems ...... 99 5.7 SomeExamples...... 101
6 More General Q-Homeomorphisms ...... 103 6.1 Introduction ...... 103 6.2 Lemma on Finite Mean Oscillation ...... 104 6.3 On Super Q-Homeomorphisms...... 108 6.4 Removal of Isolated Singularities ...... 109 6.5 Topological Lemmas ...... 114 6.6 On Singular Sets of Length Zero ...... 118 6.7 Main Lemma on Extension to Boundary ...... 121 6.8 Consequences for Quasiextremal Distance Domains ...... 123 6.9 On Singular Null Sets for Extremal Distances ...... 125 6.10 Applications to Mappings in Sobolev Classes ...... 126
7RingQ-Homeomorphisms ...... 131 7.1 Introduction ...... 131 7.2 On Normal Families of Maps in Metric Spaces ...... 132 7.3 Characterization of Ring Q-Homeomorphisms...... 135 7.4 EstimatesofDistortion...... 137 7.5 On Normal Families of Ring Q-Homeomorphisms...... 141 7.6 On Strong Ring Q-Homeomorphisms...... 142
8 Mappings with Finite Length Distortion (FLD) ...... 145 8.1 Introduction ...... 145 8.2 Moduli of Cuttings and Extensive Moduli ...... 147 8.3 FMD Mappings ...... 149 8.4 FLD Mappings ...... 152 8.5 Uniqueness Theorem ...... 154 8.6 FLD and Q-Mappings ...... 156 8.7 OnFLDHomeomorphisms...... 159 8.8 OnSemicontinuityofOuterDilatations...... 164 8.9 On Convergence of Matrix Dilatations ...... 169 8.10 Examples and Subclasses ...... 172 Contents xi
9LowerQ-Homeomorphisms ...... 175 9.1 Introduction ...... 175 9.2 On Moduli of Families of Surfaces ...... 176 9.3 Characterization of Lower Q-Homeomorphisms...... 180 9.4 EstimatesofDistortion...... 183 9.5 Removal of Isolated Singularities ...... 184 9.6 On Continuous Extension to Boundary Points ...... 185 9.7 OnOneCorollaryforQEDDomains...... 186 9.8 On Singular Null Sets for Extremal Distances ...... 186 9.9 LemmaonClusterSets...... 187 9.10 On Homeomorphic Extensions to Boundaries ...... 190
10 Mappings with Finite Area Distortion ...... 193 10.1 Introduction ...... 193 10.2 Upper Estimates of Moduli ...... 194 10.3 On Lower Estimates of Moduli ...... 198 10.4 Removal of isolated singularities ...... 199 10.5 Extension to Boundaries ...... 200 10.6 Finitely Bi-Lipschitz Mappings ...... 202
11 On Ring Solutions of the Beltrami Equation ...... 205 11.1 Introduction ...... 205 11.2 Finite Mean Oscillation ...... 207 11.3 Ring Q-HomeomorphismsinthePlane ...... 211 11.4DistortionEstimates...... 216 11.5 General Existence Lemma and Its Corollaries ...... 224 11.6 Representation, Factorization and Uniqueness Theorems ...... 228 11.7Examples...... 232
12 Homeomorphisms with Finite Mean Dilatations ...... 237 12.1 Introduction ...... 237 12.2 Mean Inner and Outer Dilatations ...... 239 12.3 On Distortion of p-Moduli ...... 242 12.4 Moduli of Surface Families Dominated by Set Functions ...... 244 12.5 Alternate Characterizations of Classical Mappings ...... 247 12.6 Mappings (α,β)-Quasiconformal in the Mean ...... 249 12.7 Coefficients of Quasiconformality of Ring Domains ...... 251
13 On Mapping Theory in Metric Spaces ...... 257 13.1 Introduction ...... 257 13.2 Connectedness in Topological Spaces ...... 259 13.3 On Weakly Flat and Strongly Accessible Boundaries ...... 262 13.4 On Finite Mean Oscillation With Respect to Measure ...... 263 13.5 On Continuous Extension to Boundaries ...... 267 13.6 On Extending Inverse Mappings to Boundaries ...... 270 13.7 On Homeomorphic Extension to Boundaries ...... 271 xii Contents
13.8 On Moduli of Families of Paths Passing Through Point ...... 272 13.9 On Weakly Flat Spaces ...... 274 13.10 On Quasiextremal Distance Domains ...... 277 13.11 On Null Sets for Extremal Distance ...... 280 13.12 On Continuous Extension to Isolated Singular Points ...... 283 13.13 On Conformal and Quasiconformal Mappings ...... 288
A Moduli Theory ...... 291 A.1 OnSomeResultsbyGehring...... 291 A.2 The Inequalities by Martio–Rickman–Vais¨ al¨ a...... 301¨ A.3 The Hesse Equality ...... 304 A.4 The Shlyk Equality ...... 317 A.5 The Moduli by Fuglede ...... 324 A.6 The Ziemer Equality ...... 331
B BMO Functions by John–Nirenberg ...... 345
References ...... 351
Index ...... 365 Chapter 1 Introduction and Notation
Mapping theory started in the 18th century. Beltrami, Caratheodory, Christoffel, Gauss, Hilbert, Liouville, Poincare,´ Riemann, Schwarz, and so on all left their marks in this theory. Conformal mappings and their applications to potential theory, math- ematical physics, Riemann surfaces, and technology played a key role in this devel- opment. During the late 1920s and early 1930s, Grotzsch,¨ Lavrentiev, and Morrey in- troduced a more general and less rigid class of mappings that were later named quasiconformal. Very soon quasiconformal mappings were applied to classical prob- lems like the covering of Riemann surfaces (Ahlfors), the moduli problem of Rie- mann surfaces (Teichmuller),¨ and the classification problem for simply connected Riemann surfaces (Volkovyski). Quasiconformal mappings were later defined in higher dimensions (Lavrentiev, Gehring, Vais¨ al¨ a)¨ and were further extended to quasiregular mappings (Reshetnyak, Martio, Rickman, and Vais¨ al¨ a).¨ The quasireg- ular mappings need not be injective and in many aspects are similar to analytic func- tions. The monographs [1,22,36,110,176,187,190,256,260,315,316,327–329] give a comprehensive account of the aforementioned theory and its more recent achieve- ments. Recently generalizations of quasiconformal mappings, mappings of finite distor- tion, have been studied intensively; see, e.g., the papers [19,45,46,54,79,111,115– 117, 124, 132, 133, 145, 147–149, 153–156, 195, 196, 231–233, 237, 248–251] and the monograph [134]. Quasisymmetry has a natural interpretation in metric spaces and quasiconformality from a more analytic point of view has also been studied in these spaces; see, e.g., [21, 33, 107, 112, 201, 312]. These theories can be applied to mappings in the Carnot and Heisenberg groups; see, e.g., [108, 109, 166, 167, 197, 199, 221, 238, 314, 324–326]. The method of the modulus of a path family, or equivalently the method of ex- tremal length, which was initiated by Ahlfors and Beurling in [5] for the study of conformal mapping, is one of the main tools in the theory of quasiconformal and quasiregular mappings. The conformal modulus can be used to define quasiconfor- mal mappings in the plane and in space. It has also been employed in metric measure
O. Martio et al., Moduli in Modern Mapping Theory, Springer Monographs in Mathematics, DOI 10.1007/978-0-387-85588-2 1, c Springer Science+Business Media, LLC 2009 2 1 Introduction and Notation spaces, now called Loewner spaces; see [107] and [112]. However, it has not been used very much to study mappings of finite distortion and related mappings. The reason is that extremal metrics are more difficult to find and the estimates for the modulus of a path family become more complicated than in the quasiconformal case. In spite of these drawbacks, the modulus method has certain advantages since it is naturally connected to the metric and geometric behavior of the mapping. In this monograph the modulus method is applied to the generalizations of quasi- conformal mappings. The main goal is to study the classes of mappings with distor- tion of moduli dominated by a given measurable function Q. Functions Q like BMO 1 (bounded mean oscillation), FMO (finite mean oscillation), Lloc, etc. are included and the principal tool is the modulus method. We concentrate on basic properties like differentiability, boundary behavior, removability of singularities, normal fam- ilies, convergence, mapping problems, and distortion estimates. We now recall the definition of the (conformal) modulus of a path family in Rn, n ≥ 2, and some of the basic inequalities. Let Γ be a path family in Rn, n ≥ 2. A Borel function ρ : Rn → [0,∞] is called admissible for Γ , abbr. ρ ∈ admΓ ,if ρ ds ≥ 1 (1.1) γ for each γ ∈ Γ . Recall also that the (conformal) modulus of Γ is the quantity M(Γ )= inf ρn(x) dm(x), (1.2) ρ∈adm Γ Rn where dm(x) corresponds to the Lebesque measure in Rn. By the classical geometric definition of Vais¨ al¨ a¨ (see, e.g., 13.1 in [316]), a ho- meomorphism f between domains D and D in Rn, n ≥ 2, is K-quasiconformal, abbr. K-qc mapping,if
M(Γ )/K ≤ M( fΓ ) ≤ KM(Γ ) (1.3) for every path family Γ in D. A homeomorphism f : D → D is called quasiconfor- mal, abbr. qc,if f is K-quasiconformal for some K ∈ [1,∞), i.e., if the distortion of the moduli of path families under the mapping f is bounded. By Theorem 34.3 in [316], a homeomorphism f : D → D is quasiconformal if and only if M( fΓ ) ≤ KM(Γ ) (1.4) for some K ∈ [1,∞) and for every path family Γ in D. In other words, it is sufficient to verify that M( fΓ ) sup < ∞, (1.5) M(Γ ) 1 Introduction and Notation 3
D’ Rn f fГ Rn g
D
Г fg
Figure 1 where the supremum is taken over all path families Γ in D for which M(Γ ) and M( fΓ ) are not simultaneously 0 or ∞. Then it is also
M(Γ ) sup < ∞. (1.6) M( fΓ )
Gehring was the first to note that the suprema in (1.5) and (1.6) remain the same if we restrict ourselves to families of paths connecting the boundary components of rings in D; see [73] or Theorem 36.1 in [316]. Thus, the geometric definition of a K-quasiconformal mapping by Vais¨ al¨ a¨ is equivalent to Gehring’s ring definition. Moreover, condition (1.6) has been shown to be equivalent to the statement that f is ACL (absolutely continuous on lines), a.e. differentiable, and
f (x)n ess sup < ∞, (1.7) J(x, f ) where f (x) denotes the matrix norm of the Jacobian matrix f (x) of the mapping f , i.e., max{| f (x)h| : h ∈ Rn,|h| = 1}, and J(x, f ) its determinant at a point x ∈ D [here the ratio is equal to 1 if f (x)=0]. Furthermore, it turns out that the suprema in (1.6) and (1.7) coincide; see Theorem 32.3 in [316]. The given three properties of f form the analytic definition for a quasiconformal mapping that is equivalent to the above geometric definition; see Theorem 34.6 in [316]. In the light of the interconnection between conditions (1.3) and (1.4), the follow- ing concept is a natural extension of the geometric definition of quasiconformality; Rn ≥ → ∞ see, e.g., [204–209]. Let D be a domain in , n 2, and let Q : D [1, ] be a measurable function. We say that a homeomorphism f : D → Rn = Rn {∞} is a Q-homeomorphism if M( fΓ ) ≤ Q(x) · ρn(x) dm(x) (1.8) D 4 1 Introduction and Notation for every family Γ of paths in D and every admissible function ρ for Γ . This concept is related in a natural way to the theory of the so-called moduli with weights; see, e.g., [7, 8, 228, 229, 306]. Note that the estimate of type (1.8) was first established in the classical quasi- conformal theory. Namely, in [190], p. 221, for quasiconformal mappings in the complex plane, the authors show that M( fΓ ) ≤ K(z) · ρ2(z) dxdy, (1.9) C where | f | + | f | K(z)= z z (1.10) | fz|−|fz| is a (local) maximal dilatation of the mapping f at a point z. We later used inequality (1.9) in the study of the so-called BMO-quasiconformal mappings in the plane when
K(z) ≤ Q(z) ∈ BMO; (1.11) see, e.g., [271–274]. Next, Lemma 2.1 in [26] shows that for quasiconformal map- pings in space, n ≥ 2, n M( fΓ ) ≤ KI(x, f )ρ (x) dm(x), (1.12) D where KI stands for the inner dilatation of f at x; see (1.16) ahead. Finally, we have come to the above general conception of a Q-homeomorphism.
An introduction to the main techniques in the geometric theory of quasiconformal mappings can be found in Chapters 2 and 3. Chapter 4 is devoted to the basic theory of space Q-homeomorphisms f for Q ∈ 1 Lloc. Differentiability a.e., absolute continuity on lines, estimates from below for distortion, removability of isolated singularities, extension to the boundary of the inverse mappings, and other properties are considered. Chapter 5 includes estimates of distortion, removability of isolated singularities, theorems on continuous and homeomorphic extension to regular boundaries, and other results on Q-homeomorphisms for Q in the BMO class, where BMO refers to functions with bounded mean oscillation introduced by John–Nirenberg. Results on Q-homeomorphisms for Q in the FMO class (finite mean oscillation) and in more general classes are given in Chapter 6. Analogies of the Painleve theorem on removability of singularities of length zero and applications of the theory of Q- 1,n homeomorphisms to mappings in the Sobolev class Wloc are presented. Extensions of the quasiconformal theory to ring and lower Q-homeomorphisms and their applications to mappings with finite length and area distortion are found in Chapters 7–10. Existence theorems of ring Q-homeomorphisms in the plane case 1 Introduction and Notation 5 are given in Chapter 11. Some results on mappings quasiconformal in the mean related to the modulus techniques are contained in Chapter 12. Chapter 13 contains the theory of Q-homeomorphisms in general metric spaces with measures. The Appendix at the end of the book includes the basic facts in the theory of moduli themselves.
Throughout this book, Rn denotes the n-dimensional Euclidean space, where | | 2 2 n we use the Euclidean norm x = x1 + ...+ xn for points x =(x1,...,xn). B (x,r) denotes the open ball in Rn with center x ∈ Rn and radius r ∈ (0,∞), i.e., Bn(x,r)= {y ∈ Rn : |x − y| < r} and Sn−1(x,r) is its boundary sphere, i.e., Sn−1(x,r)={y ∈ Rn : |x − y| = r}. We also let Bn(r)=Bn(0,r), Bn = Bn(1), and Sn−1 = ∂Bn. In what follows, Rn = Rn {∞} is the one-point compactification of Rn, i.e., Rn is a space obtained from Rn by joining only one “ideal” element ∞, which is called infinity and whose neighborhood base is formed by sets containing the com- plements of balls in Rn together with ∞. We use in Rn = Rn {∞} the spherical (chordal) metric h(x,y)=|π(x)−π(y)|, where π is the stereographic projection of Rn n 1 1 Rn+1 onto the sphere S ( 2 en+1, 2 ) in : |x − y| h(x,y)= , x = ∞ = y, (1.13) 1 + |x|2 1 + |y|2 1 h(x,∞)= . 1 + |x|2
Thus, by definition, h(x,y) ≤ 1 for all x and y ∈ Rn. Note that h(x,y) ≤|x − y| for all x,y ∈ Rn and h(x,y) ≥|x − y|/2 for all x and y ∈ Bn.Thespherical (chordal) diameter of a set E ⊂ Rn is
h(E)= sup h(x,y). (1.14) x,y∈E
Given a mapping f : D → Rn with partial derivatives a.e., f (x) denotes the Ja- cobian matrix of f at x ∈ D if it exists, J(x)=J(x, f )=det f (x) is the Jacobian of f at x, and | f (x)| is the operator norm of f (x), i.e., | f (x)| = max{| f (x)h| : h ∈ Rn,|h| = 1}. We also let l( f (x)) = min{| f (x)h| : h ∈ Rn,|h| = 1}. The outer dilatation of f at x is defined by ⎧ ⎨⎪ | f (x)|n |J(x, f )| if J(x, f ) = 0, KO(x)=KO(x, f )= 1iff (x)=0, (1.15) ⎩⎪ ∞ otherwise, the inner dilatation of f at x by 6 1 Introduction and Notation ⎧ ⎨⎪ |J(x, f )| l( f (x))n if J(x, f ) = 0, KI(x)=KI(x, f )= 1iff (x)=0, (1.16) ⎩⎪ ∞ otherwise, and the maximal dilatation, or in short the dilatation,of f at x by
K(x)=K(x, f )=max(KO(x),KI(x)). (1.17)
n−1 n−1 Note that KI(x) ≤ KO(x) and KO(x) ≤ KI(x) ; see, e.g., Section 1.2.1 in [256], and, in particular, KO(x),KI(x), and K(x) are simultaneously finite or infi- nite. K(x, f ) < ∞ a.e. is equivalent to the condition that a.e. either det f (x) > 0or f (x)=0. Recall that a (continuous) mapping f : D → Rn is absolutely continuous on lines, abbr. f ∈ ACL, if, for every closed parallelepiped P in D whose sides are perpendicular to the coordinate axes, each coordinate function of f |P is absolutely continuous on almost every line segment in P that is parallel to the coordinate axes. Note that, if f ∈ ACL, then f has the first partial derivatives a.e. ∈ 1,1 In particular, f is ACL if f Wloc . In general, mappings in the Sobolev classes 1,p ∈ ∞ p Wloc , p [1, ), with generalized first partial derivatives in Lloc can be characterized p as mappings in ACLloc, i.e. mappings in ACL whose usual first partial derivatives are locally integrable in the degree p; see, e.g., [215], p. 8. Later on, for given sets A,B, and C in Rn, Δ(A,B,C) denotes a collection of all paths γ : [0,1] → Rn joining A and B in C, i.e., γ(0) ∈ A, γ(1) ∈ B, and γ(t) ∈ C for all t ∈ (0,1). Moreover, we use the abbreviation Δ(A,B) for the case C = Rn. Chapter 2 Moduli and Capacity
2.1 Introduction
In this chapter, we mainly follow the notes [201]; cf. also [107, 110, 112]. These notes are intended to be an introduction to the basic techniques in the geometric the- ory of quasiconformal maps. The main emphasis is on the concept of the p-modulus of a family of paths. The purpose is to relate this concept to other definitions of qua- siconformality. An excellent account can be found in [316]. However, we have tried to develop the tools of quasiconformal theory beyond the usual Euclidean space Rn. Such a development is rather recent. Quasisymmetric maps were considered by Tukia and Vais¨ al¨ a¨ [311] in metric spaces and quasiconformality was characterized in local terms by Heinonen and Koskela [112]. The definitions of quasiconformal- ity and the treatment of their equivalence in Rn very much follow the presentation in [316]. The concept of quasisymmetry is more thoroughly treated in [107]. The treatment of linear dilatation offers novel features. We hope that graduate students will find these tools applicable in new situations; see, e.g., Chapter 13. The theory of quasiconformal maps essentially belongs to real analysis. This is very evident in Chapters 2 and 5–8, although no hard real analysis is needed. The reference list is relatively short here. Further references can be found in the books [107] and [110] and in the paper [112].
2.2 Moduli in Metric Spaces
The length-area method was first used in the theory of conformal mappings. The name “extremal length” was used by Ahlfors and Beurling; see [5]. The name “mod- ulus” or “p-modulus” is now widely used. The general theory for the p-modulus and the connections to function spaces was developed by Fuglede [64]. There is a similar theory of capacities of condensers.
O. Martio et al., Moduli in Modern Mapping Theory, Springer Monographs in Mathematics, DOI 10.1007/978-0-387-85588-2 2, c Springer Science+Business Media, LLC 2009 8 2 Moduli and Capacity
Paths and line integrals. Let (X,d) be a metric space. A path γ in X is a continuous map γ : [a,b] → X. Sometimes we also consider “paths” γ that are defined on open intervals (a,b) of R. The theory for these is similar. The length of a path γ : [a,b] → X is
n l(γ)=sup ∑ d(γ(ti),γ(ti+1)), i=1 where the supremum is over all sequences a = t1 ≤ t2 ≤ ··· ≤ tn ≤ tn+1 = b.If the interval is not closed, then we define the length of γ to be the supremum of the lengths of all closed subcurves of γ. A curve γ is rectifiable if its length is finite, and a path γ is locally rectifiable if all of its closed subcurves are rectifiable. However, usually we assume that all paths are closed and nondegenerate, i.e., γ([a,b]) is not a point, unless otherwise stated. Two important concepts are associated with a rectifiable path γ : [a,b] → X:the length function Sγ : [a,b] → R and parameterization by arc length. The length function is defined as
Sγ (t)=l(γ|[a,t]), a ≤ t ≤ b, and the path γ˜ : [0,l(γ)] → X is the unique 1-Lipschitz continuous map such that
γ = γ˜ ◦ Sγ .
In particular, l(γ˜|[0,t]) = t, 0 ≤ t ≤ l(γ), and γ is obtained from γ˜ by an increasing change of parameter. The path γ˜ is called the parameterization of γ by arc length. For the construction of γ˜, see [316]. If γ : [a,b] → X is a path, then the set
|γ| = {γ(t) : t ∈ [a,b]} is called a locus of the path. Often we shall not distinguish between a path and its locus, although this is dangerous in many occasions. We recall that a set J ⊂ X is a (closed) arc if it is homeomorphic to some interval [a,b]. For an arc J, the length (possibly infinite) is well defined: it is independent of the parameterization of J. In the theory of quasiconformal maps, mostly arcs or Jordan curves (homeomorphic images of the unit circle) are used, but paths are important in the theory of nonhomeomorphic quasiconformal maps (quasiregular maps) since the image of an arc need not be an arc; see, e.g., [210, 256, 260, 328]. Given a rectifiable curve γ in X, the line integral over γ of a Borel function ρ : X → [0,∞] is l(γ) ρ ds = ρ(γ˜(t)) dt . γ 0 Sometimes we write this as 2.2 Moduli in Metric Spaces 9 ρ |dx|. γ If γ is only locally rectifiable, then we set ρ ds = sup ρ ds, γ γ where the supremum is taken over all rectifiable subcurves γ : [a,b] → X of γ.If X = Rn and a path γ : [a,b] → X has an absolutely continuous representation (this means that each coordinate function γi : [a,b] → R, i = 1,...,n,ofγ is absolutely continuous), then the line integral over γ is