One-Sided Extendability and p-Continuous Analytic Capacities

Using complex methods combined with Baire’s Theorem, we show that one-sided extendability, extendability, and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to introduce the p-continuous analytic capacity and variants of it, p∈{0,1,2,…}∪{∞}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$p\in \{0,1,2, \ldots \}\cup \{\infty \}$$\end{document}, for compact or closed sets in C\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {C}$$\end{document}. We use these capacities in order to characterize the removability of singularities of functions in the spaces Ap\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ A^p $$\end{document}.


Introduction
In [3] it is proven that the set X of nowhere analytic functions in C ∞ ([0, 1]) contains a dense and G δ subset of C ∞ ([0, 1]). In [2] using Fourier methods it is shown that X is itself a dense and G δ subset of C ∞ ([0, 1]). Furthermore, combining the above methods with Borel's Theorem [8] and a version of Michael's Selection Theorem [12] the above result has been extended to C ∞ (γ ), where γ is any analytic curve. In the case where γ is the unit circle T every function f ∈ C ∞ (T ) can be written as a sum f = g + w where g belongs to A ∞ (D) and is holomorphic on the open unit disk D and very smooth up to the boundary and w has similar properties in D c . Now if we assume that f is extendable somewhere towards one side of T , say in D c , then because w is regular there, it follows that g ∈ A ∞ (D) is extendable. But the phenomenon of somewhere extendability has been proven to be a rare phenomenon in the Fréchet space A ∞ (D) [9]. It follows that the phenomenon of one-sided somewhere extendability is a rare phenomenon in C ∞ (T ) or more generally in C p (γ ), p ∈ {∞} ∪ {0, 1, 2, . . .} for any analytic curve γ [2]. After the preprint [2] has been circulated, P. Gautier noticed that the previous result holds more generally for Jordan arcs without the assumption of analyticity of the curve. Indeed, applying complex methods appearing in the last section of [2] we prove this result. It suffices to use the Oswood-Caratheodory Theorem combined with Montel's Theorem and the Poisson integral formula applied to the boundary values of bounded holomorphic functions in H ∞ (D). In fact this complex method is most natural to our considerations of extendability, real analyticity, and one-sided extendability. The proofs are simplified, and the results hold under much more general assumptions than the assumptions imposed by the Fourier method. This complex method is developed in the present paper. In Sect. 4, we prove that extendability and real analyticity are rare phenomena in various spaces of functions on locally injective curves γ . For the real analyticity result, we assume that γ is analytic and the result holds in any C k (γ ), k ∈ {0, 1, 2, 3, . . .} ∪ {∞} endowed with its nature topology. For the other results, the phenomena are proven to be rare in C k (γ ) provided that the locally injective curve γ has smoothness at least of degree k. In Sect. 5, initially, we consider a finite set of disjoint curves γ 1 , γ 2 , . . . , γ n . Then in the case where γ 1 , γ 2 , . . . , γ n are disjoint Jordan curves in C bounding a domain of finite connectivity, we consider the spaces A p ( ), p ∈ {0, 1, 2, 3, . . .}∪{∞} which by the maximum principle can be seen as function spaces on ∂ = γ * 1 ∪· · ·∪γ * n . In these spaces we show that the above phenomena of extendability or real analyticity are rare. For the real analyticity result, we assume analyticity of ∂ , but for the extendability result we do not need to assume any smoothness of the boundary. In Sect. 6, we consider the one-sided extendability from a locally injective curve γ and we prove that this is a rare phenomenon in various spaces of functions. We construct a denumerable family G n of Jordan domains G containing in their boundary a non-trivial arc J of the image γ * of γ , such that each other domain with similar properties contains some G n . We show that the phenomenon of extendability is rare for each domain G. Then by denumerable union (or intersection of the complements), we obtain our result with the aid of Baire's Category Theorem. We mention that the one-sided extendability of a function f : γ * → C is meant as the existence of a function F : G ∪ J → C which is holomorphic on the Jordan domain G, continuous on G ∪ J and such that on the arc J of γ * we have F| J = f | J . Such notions of one-sided extendability have been considered in [4] and the references therein, but in the present article and [2] it is, as far as we know, the first time where the phenomenon is proven to be rare. At the end of Sect. 6, we prove similar results on one-sided extendability on the space A p ( ), where is a finitely connected domain in C bounded by a finite set of disjoint Jordan curves γ 1 , γ 2 , . . . , γ n . Now the extension F of a function f ∈ A p ( ) has to coincide with f only on a non-trivial arc of the boundary of , not on an open subset of . Certainly if the continuous analytic capacity of ∂ is zero, the latter automatically happens, but not in general. In Sect. 7, we consider a domain in C, a compact subset L of , and we study the phenomenon of extendability of a function f ∈ A p ( \ L) to a function F in A p ( ). There is a dichotomy. Either for every f this is possible or generically for all f ∈ A p ( \ L) this fails. In order to characterize when each horn of the above dichotomy holds we are led to define the p-continuous analytic capacity a p (L) ( p ∈ {0, 1, 2, 3, . . .} ∪ {∞}), where a 0 (L) is the known continuous analytic capacity a 0 (L) = a(L) [7]. The study of the above capacities and variants of it is done in Sect. 3. For p = 1, the p-continuous analytic capacity a 1 is distinct from the continuous analytic capacity a 0 = a. In particular if K 1/3 is the usual Cantor set lying on [0, 1] and L = K 1/3 ×K 1/3 , then a 0 (L) > 0, but a 1 (L) = 0. This means that for any open set U containing L there exists a function in A(U \ L) which is not holomorphic on U , but if the derivative of a function in A(U \ L) extends continuously on L, then the function is holomorphic on U . Generic versions of this fact imply that A 1 (U \ L) is of first category in A 0 (U \ L) = A(U \ L). If we replace the spaces A p with theÃ p spaces of Whitney type, then the extension on L is equivalent to the fact that the interior of L is void. Thus we can define the continuous analytic capacitiesã p (L) which vanish if and only if the interior of L is empty. We prove what is needed in Sect. 7. More detailed study of those capacities will be done in future papers; for instance, we can investigate the semiadditivity of a p , whether the vanishing of a p on a compact set L is a local phenomenon and whether replacing the continuous analytic capacity a by the Ahlfors analytic capacity γ we can define capacities γ p satisfying the analogous properties. Certainly the spaces A p ( ) will be replaced by H ∞ p ( ), the space of holomorphic functions on such that for every l ∈ N, l ≤ p the derivative f (l) of order l is bounded on . We will also examine if a dichotomy result as in Sect. 7 holds for the spaces H ∞ p ( ) in the place of A p ( ). All these in future papers. In Sect. 2, some preliminary geometry of locally injective curves is presented; for instance, a curve is real analytic if and only if real analyticity of a function on the curve is equivalent to holomorphic extendability of the function on disks centered on points of the curve. We also show that if the map γ defining the curve is a homeomorphism with non-vanishing derivative, then the spaces C k (γ ), k ∈ {0, 1, 2, 3, . . .} ∪ {∞} are independent of the particular parametrization γ and depend only on the image γ * of γ . Thus in some cases it makes sense to write C k (∂ ) and prove generic results in these spaces. Finally, we mention that some of the results of Sect. 5 are valid for analytic curves γ ; that is, they hold when we use a conformal parametrization of γ . Naturally comes the question whether these results remain true if we change the parametrization of the curve; in particular what happens if we consider the parametrization with respect to the arc length s? Answering this question was the motivation of [10] where it is proven that arc length is a global conformal parameter for any analytic curve. Thus the results of Sect. 5 remain true if we use the arc length parametrization. Finally, we mention that in the present paper we start with qualitative categorical results, which lead us to quantitative notions as the p-continuous analytic capacity a p and the p-analytic capacity γ p . A preliminary version of this paper can be found in [1], where some proofs are more detailed than in the present paper.

Preliminaries
In most of our results it is important what is the degree of smoothness of a curve and the relation of real analyticity of functions on a curve with the holomorphic extendability of them around the curve. That is why we present here some basic results concerning locally injective curves in C.
Unless otherwise specified I is an interval and X is an interval or the unit circle.
In this way C k (γ ) becomes a Banach space if k < +∞ and X is compact. Otherwise it is a Fréchet space. In every case, Baire's Theorem is at our disposal.

Definition 2.3
Let γ : I → C be a continuous and locally injective function. We will say that the curve γ is analytic at t 0 ∈ I if there exist an open set t 0 ∈ V ⊆ C, a real number δ > 0 with (t 0 − δ, t 0 + δ) ∩ I ⊂ V , and a holomorphic and injective function F : V → C such that F| (t 0 −δ,t 0 +δ) = γ | (t 0 −δ,t 0 +δ) . If γ is analytic at every t ∈ I , we will say that γ is an analytic curve.

Lemma 2.4
Let t 0 ∈ I and γ : I → C be a continuous and locally injective function. We suppose that for every function f : I → C items (1) and (2) are equivalent: 1. There exists a power series of a real variable ∞ n=0 a n (t − t 0 ) n , a n ∈ C with positive radius of convergence r > 0 and δ ∈ (0, r ], which coincides with f on (t 0 − δ, t 0 + δ) ∩ I .

There exists a power series of a complex variable G
b n ∈ C with positive radius of convergence s > 0 and ∈ (0, s] such that Then γ is analytic at t 0 . Proof Implication (2) ⇒ (1) will only be used to prove that γ is differentiable on an open interval that contains t 0 . We start by considering β > 0 and J = (t 0 −β, t 0 +β)∩I .
) and so by (2) ⇒ (1) we obtain that there exists 0 < δ < β such that for some constants a n ∈ C and for every t for some constants b n ∈ C for every t ∈ (t 0 − , t 0 + ). Differentiation of the above equation at t = t 0 yields the relation 1 = b 1 γ (t 0 ) which implies that b 1 = 0. The power series ∞ n=0 b n (z − γ (t 0 )) n has a positive radius of convergence and so there and h is holomorphic and injective.

Remark 2.5
The above proof shows that if γ in Lemma 2.4 belongs to C 1 (I ), then the conclusion of the lemma is true even if we only assume that (1) ⇒ (2) is true.
The following lemma is the inverse of Lemma 2.4.

Lemma 2.6
Let t 0 ∈ I and γ : I → C be a continuous and locally injective function, which is analytic at t 0 , and f : I → C. Then the following are equivalent: 1. There exists a power series of a real variable ∞ n=0 a n (t − t 0 ) n , a n ∈ C with positive radius of convergence r > 0 and δ ∈ (0, r ] which coincides with f on (t 0 − δ, t 0 + δ) ∩ I .

There exists a power series of a complex variable G
Proof Let us start with the following observation. Since γ is an analytic curve at t 0 there is an open disk D(t 0 , ε) ⊆ C, where ε > 0 and a holomorphic and injective function : Choose a > 0 with a < ε such that (D(t 0 , a)) ⊆ D(γ (t 0 ), s). The function G • : D(t 0 , a) → C is holomorphic. Therefore, there are a n ∈ C, n ∈ N such that and consequently Definition 2.7 Let γ : I → C be a locally injective curve and z 0 = γ (t 0 ), t 0 ∈ I . A function f : γ * → C belongs to the class of non-holomorphically extendable at (t 0 , z 0 = γ (t 0 )) functions if there are no open disk D(z 0 , r ), r > 0, and η > 0 and a holomorphic function F : and F(γ (t)) = f (γ (t)) for all t ∈ (t 0 −η, t 0 +η)∩ I . Otherwise, f is holomorphically extendable at (t 0 , z 0 = γ (t 0 )).

Definition 2.8
Let γ : I → C be a continuous map and t 0 ∈ I . A function f : γ * → C is real analytic at (t 0 , z 0 = γ (t 0 )) if there exist δ > 0 and a power series ∞ n=0 a n (t − t 0 ) n with a radius of convergence > δ > 0, such that f (γ (t)) = ∞ n=0 a n (t − t 0 ) n for The following proposition associates the phenomenon of real analyticity and that of holomorphically extendability. Proposition 2.9 Let γ : I → C be an analytic curve at t 0 and t 0 ∈ I . A function f : γ * → C is real analytic at (t 0 , z 0 = γ (t 0 )) if and only if f is holomorphically extendable at (t 0 , z 0 = γ (t 0 )).
Proof At first we will prove direction ⇒:. If f is real analytic at (t 0 , z 0 = γ (t 0 )), then from Lemma 2.6 Thus the function f is holomorphically extendable at (t 0 , z 0 = γ (t 0 )). Next we prove direction ⇐: If f is extendable at (t 0 , z 0 = γ (t 0 )), then there are r > 0 and a holomorphic function F : for every t ∈ (t 0 − , t 0 + ) ∩ I and for some > 0. Let for every t ∈ (t 0 − , t 0 + ) ∩ I and as a result, again from Lemma 2.6, we conclude that f is real analytic at (t 0 , z 0 = γ (t 0 )), because the curve γ is analytic at t 0 .
The following theorem is a consequence of Lemma 2.4 and Proposition 2.9. Theorem 2.10 Let γ : I → C be a continuous and locally injective curve and t 0 ∈ I . Then γ is analytic at t 0 if and only if for every function f : γ * → C the following are equivalent: Now we will examine a different kind of differentiability.

Definition 2.11
Let γ : X → C be a continuous and injective curve. We define the derivative of a function f : if the above limit exists and is a complex number. Inductively, we define

Definition 2.12
Let γ : X → C be a homeomorphism onto γ * . A function f : exists and is continuous for Finally, a function f : γ * → C belongs to the class C ∞ (γ * ) if d k f dz k (γ (t)) exists and is continuous for every t ∈ X and for every k ∈ {1, 2, 3, . . .}. Let also (X n ), n ∈ {1, 2, 3, . . .} be an increasing sequence of compact subsets of γ * such that In this way C k (γ * ) becomes a Banach space if k < ∞ and I is compact. Otherwise, C k (γ * ) is a Fréchet space.
Proof The function f : γ * → C with f (γ (t)) = γ (t) for t ∈ X belongs to the class C k (γ * ) and therefore the function γ = f • γ : X → C belongs to the class C k (X ). Now we will prove the converse of the previous proposition. If γ ∈ C k (X ), then C k (X ) = C k (γ * ) • γ . In order to do so we need the following lemma which will also be useful to us later. Its proof is straightforward and thus omitted, but the interested reader can find a proof in [1]. Lemma 2.14 Let X be an interval I ⊂ R or the unit circle T , γ ∈ C k (X ), k ∈ {1, 2, . . . } ∪ {∞} and f ∈ C k (γ * ) and g = f • γ . Then g ∈ C k (X ) and there exist polynomials P j,i defined on C i , such that where the derivatives of γ are with respect to the real variable t in the case X = I and with respect to the complex variable t, |t| = 1 in the case X = T .
Proof By Lemma 2.14 we have that C k (X ) ⊃ C k (γ * ) • γ . We proceed by proving for t 0 ∈ X which implies that the function dg dz is continuous and hence g ∈ C 1 (γ * ).
Assume that the assertion holds for some k.
for t 0 ∈ X . From the induction hypothesis, we obtain that f • γ −1 ∈ C k (γ * ). It is also true that γ ∈ C k (X ). It follows immediately that dg dz ∈ C k (γ * ) or equivalently g ∈ C k+1 (γ * ) and the proof is complete for every finite k. The case k = ∞ follows from the case of finite k.

Proposition 2.16
Let γ be a homeomorphism defined on X of class C k (X ) and γ (t) = 0 for every t ∈ X . Then the spaces C k (γ ) and C k (γ * ) share the same topology.
Proof At first we will prove the proposition in the special case where X is a compact interval I ⊂ R or the unit circle T and k = ∞. In order to do so we will find In addition, We also notice that We will prove inductively that and thus N 1 = 1 s 1 . Assume that the assertion holds for every 1 ≤ j ≤ i < k. Using our induction hypothesis and equation (1), we find from the reverse triangle inequality It follows immediately from the above that even in the case where X is any type of interval I ⊂ R and/or k = ∞ the respective topologies of the spaces C k (γ ) and Combining Propositions 2.13, 2.15, and 2.16, we obtain the following theorem.
In addition, the spaces C k (γ ) and C k (γ * ) share the same topology. Remark 2.18 One can prove a slightly stronger statement than that of Theorem 2.17. We need not assume

Remark 2.19
With the definition of the derivative as in the Definition 2.12, we can define the spaces C k (E) for more general sets E ⊂ C but it may occur that the space C k (E) is not complete. Theorem 2.17 shows that if γ is a homeomorphism and γ (t) = 0 for t ∈ X , then C k (γ ) ≈ C k (γ * ). Therefore, we obtain the following corollary.

Continuous Analytic Capacities
In this section, we present a few facts for the notion of continuous analytic capacity [7] that we will need in Sects. 5 and 7. Section 7 leads us to generalize this notion and thus define the notion of p-continuous analytic capacity.
and f has a continuous extension on U , where the closure of U is taken in C. By Tietze's extension Theorem, the extensions in both previous definitions can be considered as extensions on the whole of C ∪ {∞} without increase of the original norm f ∞ .
the continuous analytic capacity of L.
It is well known [7] We consider an arbitrary f ∈ A( ∪ {∞}). Since f can be continuously extended over L, it belongs to C(U ) ∩ H (U \ L) and thus to H (U ). Therefore, f is analytic in C and continuous in C ∪ {∞} and hence it is constant.
Thus a(L) = 0. Now assume a(L) = 0 and we consider any There exist two closed curves γ 1 and γ 2 in U so that γ 1 surrounds L and γ 2 surrounds γ 1 . We define the analytic functions Then the function g which equals φ 2 − f in the interior of γ 2 and φ 1 in the exterior of γ 1 is well defined and belongs to A( ∪ {∞}). Therefore g is constant and thus f is analytic in the interior of γ 2 . Hence f ∈ H (U ).
Due to the local nature of the proof of the next theorem, we shall state a few facts about the so-called Vitushkin's localization operator [5].
Let U ⊂ C be open and f ∈ C(C) ∩ H (U ). Let also g ∈ C 1 (C) have compact support. We define the function The function G is continuous in Proof One direction is immediate from Theorem 3.4 and Definition 3.5 and hence we assume that a(L) = 0. We consider an arbitrary open set U ⊂ C which intersects L and an arbitrary f ∈ C(U ) ∩ H (U \ L) and we shall prove that f extends analytically over U ∩ L. Now L may not be contained in U but since analyticity is a local property we shall employ Vitushkin's localization operator.
We also consider the restriction F of f in D(z 0 , 3δ) and we extend F so that it is continuous in C ∪ {∞}. We define as in (2) the function Theorem 3.7 [7] If L is a Jordan arc with locally finite length, then a(L) = 0. The same holds for any countable union of such curves. Therefore, line segments, circular arcs, analytic curves, and boundaries of convex sets are all of zero continuous analytic capacity.

Definition 3.8 Let U be an open subset of C and
Definition 3.9 Let be the complement in C of a compact set and where the closure of is taken in C.
If L is a closed subset of C, then we define Obviously, a 0 (L) = a(L).
If L is a closed subset of C then we define It is obvious that a p (L) and a p (L) are decreasing functions of p.
The following theorem corresponds to Theorem 3.4.
This is supposed to hold uniformly for z, w in compact subsets of U . Analogously, if is the complement in C of a compact set, then a function f belongs to the classÃ Note that, since f ∈ H (U ), relation (3) is automatically true for z ∈ U and thus the "point" of the definition is when z ∈ ∂U .
If p is finite, It is easy to see thatÃ p (U ) with this norm is complete. If p is infinite, then using the norms for the finite cases in the standard way,Ã ∞ (U ) becomes a Fréchet space.
There is a fundamental result of Whitney [13] saying that if f ∈Ã p (U ), then f can be extended in C in such a way that the extended f belongs to C p (C) and that the partial derivatives of f of order ≤ p in C are extensions of the original partial derivatives of f in U .
In the case p = ∞, the norm f Ã p (U ) is replaced by the distance from f to 0 in the metric space structure ofÃ ∞ (U ).
If L is a closed subset of C, then we definẽ It turns out that in the case p ≥ 1, there is a simple topological characterization of the compact sets L withã p (L) = 0. Conversely, let L have empty interior and let f belong toÃ 1 ( ∪ {∞}). Then f is analytic in and at every z ∈ L, we have Thus f is analytic at z (with derivative equal to f (z)) and hence analytic in all of C.
Proof Due to the last theorem, it is enough to find a compact L with empty interior and withã 0 (L) = a(L) > 0. This set L is a Cantor type set. We consider a sequence (a n ) with 0 < a n < 1 2 for every n = 1, 2, 3, . . . and construct a sequence (L n ) of decreasing compact sets as follows. L 0 is the unit square [0, 1] × [0, 1] and L 1 is the union of the four squares at the four corners of L 0 with side length equal to a 1 . We then continue inductively. If L n is the union of 4 n squares each of sidelength equal to l n = a 1 · · · a n , then each of these squares produces four squares at its four corners each of side length equal to a 1 · · · a n a n+1 . The union of these new squares is L n+1 .
We denote I n,k , k = 1, . . . , 4 n , the squares whose union is L n . Finally, we define It is clear that L is a totally disconnected compact set. The area of L n equals |L n | = 4 n (a 1 · · · a n ) 2 = (2a 1 · · · 2a n ) 2 .

Now we assume that
Under this condition, we find that the area of L equals Then it is well known [7] that the function f is not identically equal to 0 and henceã 0 (L) = a(L) > 0.

Remark 3.18
The latter part of the above proof shows that if a compact set L (not necessarily of Cantor type) has strictly positive area, then a(L) > 0, which is a wellknown fact [7].
The problem of the characterization of the compact sets L with a p (L) = 0 seems to be more complicated.
We will show that there is a compact set L such that a 0 (L) and a 1 (L) are essentially different, i.e., a 0 (L) > 0 and a 1 (L) = 0.

Theorem 3.19
There is a compact subset L of C such that a 1 (L) = 0 < a 0 (L).
Proof We consider the same Cantor type set L which appeared in the proof of the previous theorem. We keep the same notations.
We now take any f which belongs to Let z 0 ∈ . Then there is n 0 such that z 0 / ∈ L n for all n ≥ n 0 . By Cauchy's formula, for every n ≥ n 0 , we have where γ n,k is the boundary curve of the square I n,k . Let z n,k be any point of inside I n,k (for example, the center of the square). It is geometrically obvious that for every z ∈ γ n,k there is a path (consisting of at most two line segments) γ with length l(γ ) ≤ 2l n joining z and z n,k and contained in (with the only exception of its endpoint z).
where n → 0 uniformly for z ∈ γ n,k and for k = 1, . . . , 4 n . Therefore, where δ 0 is the distance of z 0 from L n 0 . Thus from (4) we obtain This holds for all n ≥ n 0 and hence f (z 0 ) = 0 for all z 0 ∈ . We proved that the only element f of A 1 ( ∪ {∞}) with f (∞) = 0 is the zero function and thus a 1 (L) = 0.
We will now see a different proof of the above theorem. The proof is longer from the previous one, but it provides a more general result. Proof It is known [6,14] that there exists a function g continuous on S 2 and holomorphic off L, such that For the second statement we first observe that the area of L is 0, as where each L n is the union of 4 n squares of area 9 −n . We will prove that a 1 (L) = 0 or equivalently that every function in , ε > 0, and ϕ ε = ε −2 χ ε , where χ ε is the characteristic function of the square S ε with center at 0 and sides parallel to the axes with length ε. It is easy to see from the continuity of f that the convolutions f * ϕ ε belong to C 1 (C) and converge uniformly on D(0, 2) to f as ε → 0.
on . Let (a, b) ∈ and h ∈ R * . Then It is easy to see that for almost every (x, y) ∈ S ε and every h ∈ R, the segment ] is a subset of . Thus from Mean Value Theorem for almost every (x, y) ∈ S ε and every h ∈ R * , there exists q ∈ R, such that as h converges to 0. Using the Dominated Convergence Theorem, we obtain (5). Similarly Since the Cauchy-Riemann equations are satisfied for f almost everywhere, we have that Thus the Cauchy-Riemann equations are satisfied for every f * ϕ ε on . Since the interior of L is void, the set is dense in C. From the continuity of the partial derivatives of every f * ϕ ε on C, the Cauchy-Riemann equations are satisfied for every f * ϕ ε on C, which implies that every f * ϕ ε is entire. Finally, f * ϕ ε converge uniformly on D(0, 2) to f , as ε → 0, which implies that f is holomorphic on D(0, 2) and hence entire.

Remark 3.21
The above proof also shows that if L is a compact subset of C of zero area and if for almost every line ε which is parallel to the x-axis and for almost every line ε which is parallel to the y-axis, ε ∩ L = ∅, then a 1 (L) = 0. In fact, it suffices that these intersections are finite for a dense set of ε parallel to the x-axis and for a dense set of ε parallel to the y-axis.

Real Analyticity on Analytic Curves
Let L ⊂ C be a closed set without isolated points. We denote by C(L) the set of continuous functions f on L. This space endowed with the topology of uniform convergence on the compact subsets of L is a complete metric space and thus Baire's Theorem is at our disposal. For the second part of the theorem, let us assume that A(M, z 0 , r ) does not have empty interior. Then there is a function f in the interior of A(M, z 0 , r ), a compact set K ⊂ L and δ > 0 such that Theorem, there is a subsequence (F k n ) of (F n ) which converges uniformly to a function F on the compact subsets of D(z 0 , r ) which is holomorphic on D(z 0 , r ) and bounded by M. Because F k n → f at D(z 0 , r ) ∩ L we have that F| D(z 0 ,r )∩L = f | D(z 0 ,r )∩L and so f ∈ A(M, z 0 , r ). Therefore A(M, z 0 , r ) is a closed subset of C(L).
If A(M, z 0 , r ) does not have empty interior, then there exists a function f in the interior of A (M, z 0 , r ), a compact set K ⊂ L and δ > 0 such that A( f, K , δ) ⊂ A (M, z 0 , r ). We choose 0 < a < δ inf z∈K |z − w|. We notice that this is possible for z ∈ L belongs to A(M, z 0 , r ) and therefore has a holomorphic and bounded extension H on D(z 0 , r ), such that H | D(z 0 ,r )∩L = h| D(z 0 ,r )∩L . However, there is a holomorphic function F :   The proof of the above results can be used to prove similar results at some special cases. Let γ : I → C be a continuous and locally injective curve, where I is an interval in R of any type. The symbol γ * will be used instead of γ (I ). It is obvious that γ * has no isolated points.
Since γ ∈ C k (I ) the open disk D(z 0 , r ) is not contained in γ * (see Proposition 6.2) and thus there is w ∈ D(z 0 , r )\γ * . Similar to the proof of Lemma 4.1, A(M, z 0 , r, η, l) is a closed subset of C l (γ ).
If A(M, z 0 , r, η, l) does not have empty interior, then there is a function f in the interior of A(M, z 0 , r, η, l), b ∈ {0, 1, 2, . . . }, a compact set K ⊂ I , and δ > 0 such that This is possible because w / ∈ γ * and γ ( for z ∈ γ * belongs to A(M, z 0 , r, η, l), since γ ∈ C k (I ).  Proof Let t n ∈ I , n = 1, 2, 3, . . . be a dense sequence in I . Then the class of nowhere holomorphically extendable functions of C k (γ ) coincides with the intersection over every n of the classes of non-holomorphically extendable at (t n , z n = γ (t n )) functions of C l (γ ). Since the classes of non-holomorphically extendable at (t n , z n = γ (t n )) functions of C l (γ ) are dense and G δ subsets of C l (γ ) according to Theorem 4.7, it follows that the class of nowhere holomorphically extendable functions of C l (γ ) is a dense and G δ subset of C l (γ ) from Baire's Theorem.
We intend to prove results about real analyticity using results about nonextendability. At first we notice that Proposition 2.9 and Theorem 4.9 immediately prove the following theorems.    Proof The map S : C k (γ ) → C k (δ) defined by S(g) = g • −1 , g ∈ C k (γ ) is a surjective isometry. Also a function g ∈ C k (γ ) is nowhere analytic if and only if S(g) is nowhere analytic. Theorem 4.11 combined with the above facts yields the result.

Corollary 4.14 Assume that J is an interval and γ (t) = t or J = R and γ (t) = e it .
Let X denote the image of γ and : X → C be a homeomorphism of X on (X ) ⊂ C and δ = • γ . Then the set of functions f ∈ C k (δ), k ∈ {0, 1, 2, . . . } ∪ {∞} which are nowhere analytic is a G δ and dense subset of C k (δ).
Proof The curve γ is an analytic curve defined on an interval. The result follows from Proposition 4.13.

Remark 4.15
According to Corollary 4.14 for any Jordan curve or Jordan arc δ with a suitable parametrization generically on C k (δ), k ∈ {0, 1, 2, . . . } ∪ {∞} every function is nowhere analytic. In fact this holds for all parametrizations of δ * and the spaces C k (δ) are the same for all parametrizations so that δ is a homeomorphism between the unit circle T or [0, 1] and δ * (see Preliminaries).

Extendability of Functions on Domains of Finite Connectivity
We start this section with the following general fact. Its proof is skipped, but the interested reader can find one in [1].
Proof Let A i be the class of nowhere holomorphically extendable functions of C p i (γ i ). Then the set A 1 × · · · × A n coincides with the class of nowhere holomorphically extendable functions of C p 1 ,..., p n (γ 1 , . . . , γ n ). It follows from Theorem 4.9 that the sets A 1 , . . . , A n are dense and G δ subsets of C p 1 (γ 1 ), . . . , C p n (γ n ), respectively, which combined with Proposition 5.1 implies that the class A 1 × · · · × A n is a dense and G δ subset of C p 1 ,..., p n (γ 1 , . . . , γ n ).
From now on, we will consider that p 1 = p 2 = · · · = p n . As we did for the spaces C p 1 ,..., p n , we will prove analogue generic results in the space A p ( ), where is a planar domain bounded by the disjoint Jordan curves γ 1 , . . . , γ n . More specifically, we will define the following spaces.

Remark 5.8
In particular cases it is true that A p ( ) is included in C p (∂ ) as a closed subset. We will not examine now under which more general sufficient conditions this remains true.  Let also A(r, z 1 , d, M) be the set of A p ( ) functions f for which there exists a holomorphic function F on D(z 0 , r ), such that |F(z)| ≤ M for every z ∈ D(z 0 , r ) and F| D(z 1 ,d) = f | D(z 1 ,d) . We will first show that A (r, z 1 , d, M) is a closed subset of A p ( ) with empty interior.
Let ( f n ) n≥1 be a sequence in A(r, z 1 , d, M) converging in the topology of A p ( ) to a function f of A p ( ). Then, there are holomorphic functions F n : z 1 ,d) . By Montel's Theorem there is a subsequence (F k n ) of (F n ) which converges uniformly on the compact subsets of D(z 0 , r ) to a function F which is holomorphic and bounded by M on D(z 0 , r ). A(r, z 1 , d, M) is a closed subset of A p ( ).
Following the strategy of Theorem 4.7, if A has non-empty interior, then there exist f ∈ A(r, z 1 , d, M), l ∈ {0, 1, 2, . . . } and > 0, such that We choose w ∈ D(z 0 , r ) \ and 0 < δ small enough such that the function h(z) = Thus, according to Baire's Theorem, the class of non-holomorphically extendable at z 0 functions of A p ( ) is dense and G δ .

functions of A p ( ) in the sense of Riemann surfaces is a dense and G δ subset of A p ( ).
Proof Let z l , l = 1, . . . be a dense sequence of ∂ . The class A(z l ) of nonholomorphically extendable at z l functions of A p ( ) in the sense of Riemann surface is a dense and G δ subset of A p ( ) from Theorem 5.11. Notice that the set ∞ l=1 A(z l ) coincides with the class of nowhere holomorphically extendable functions of A p ( ) in the sense of Riemann surfaces and from Baire's Theorem is a dense and G δ subset of A p ( ).
Remark 5.14 In [9] it has been also proved that the class of nowhere holomorphically extendable functions of A ∞ ( ) in the sense of Riemann surfaces is a dense and G δ subset of A ∞ ( ). The method in [9] comes from the theory of Universal Taylor Series and is different from the method in the present paper. Now we will examine a different kind of extendability.  D(z 0 , r ), r > 0, and η > 0 and a holomorphic function F : D(z 0 , r ) → C, such that γ i ((t 0 −η, t 0 +η)∩ I i ) ⊂ D(z 0 , r ) and F(γ i (t)) = f (γ i (t)) for all t ∈ (t 0 − η, t 0 + η) ∩ I i . This holds true because of the following observations: 1. For some constant η > 0, we can find r > 0 such that D(z 0 , r ) ∩ γ * i ⊆ γ i ((t 0 − η, t 0 + η) ∩ I i ). This follows from the fact that the disjoint compact sets γ i [I i \ (t 0 − η, t 0 + η)] and {z 0 } have a strictly positive distance. 2. For some constant r > 0 we can find η > 0 such that r ), because of the continuity of the map γ i .
The above remark remains valid for t 0 = a i or t 0 = b i , because a Jordan curve gamma can also be parametrized on [a i + ε, b i + ε].  A(r, M), a number b ∈ {0, 1, 2, . . . }, and δ > 0 such that Then similar to the proof of Theorem 4.7 choosing w ∈ D(z 0 , r ) \ and a small enough, we are led to a contradiction. Thus A(r, M) has empty interior.
Notice that the set coincides with the class of non-holomorphically extendable at z 0 functions of A p ( ) and Baire's Theorem implies that this set is a dense and G δ subset of A p ( ). Proof The proof is similar to the proof of Theorem 4.9, taking into account the statement of Theorem 5.17.

Remark 5.20
If the continuous analytic capacity of the boundary of is zero, then Definition 5.10 implies Definition 5.15. Now as in Sect. 4, we will associate the phenomenon of non-extendability with that of real analyticity on the spaces A p ( ).

Definition 5.21
Let n ∈ {1, 2, . . . } and let be a bounded domain in C defined by disjoint Jordan curves γ 1 , . . . , γ n . A function f : → C is real analytic at (t 0 , γ i (t 0 )), At this point we observe that if is a bounded domain in C defined by disjoint Jordan curves γ 1 , . . . , γ n and f ∈ A p ( ), then the analogous of Proposition 2.9 under the above assumptions holds true, since nothing essential changes in its proof. So, we have the following proposition:

Remark 5.25
We recall that for an analytic Jordan curve γ defined on [0, 1] there exist 0 < r < 1 < R and a holomorphic injective function : D(0, r, R) → C, such that γ (t) = (e it ), where D(0, r, R) = {z ∈ C : r < |z| < R}. This yields a natural parametrization of the curve γ * ; the parameter t is called a conformal parameter for the curve γ * . Theorem 5.24 holds if each of the Jordan curves γ 1 , . . . , γ n is parametrized by such a conformal parameter t. Naturally one asks if the same result holds for other parametrizations; for instance, does Theorem 5.24 remain true if each γ 1 , . . . , γ n is parametrized by arc length? This was the motivation of [10], where it is proved that arc length is a global conformal parameter for any analytic curve. Thus Theorem 5.24 remains also true if arc length is used as a parametrization for each analytic curve γ i .

One-Sided Extendability
In this section, we consider one-sided extensions from a locally injective curve γ . For instance, if γ * is homeomorphic to [0, 1], one can find an open disk D and an open arc J of γ * separating D to two components D + and D − . Those are Jordan domains containing in their boundaries a subarc J of γ . We will show that generically in C k (γ ) every function h cannot be extended to a function F : ∪ J → C continuous on ∪ J and holomorphic on , where = D + or = D − . That is, the one-sided extendability is a rare phenomenon in C k (γ ), provided that γ is of class at least C k . In order to prove this fact we need the following lemmas, which are well known in algebraic topology. The interested reader can find their proofs in [1]. Proposition 6.2 implies the following. Corollary 6.3 Let γ : I → C be a continuous and locally injective curve and be a Jordan domain whose boundary contains an arc γ ([t 1 , t 2 ]), t 1 < t 2 , t 1 , t 2 ∈ I of γ * . Then the set \ γ * is non-empty.
Let γ : I → C be a continuous and locally injective curve defined on the interval I ⊂ R. Naturally, one asks if a Jordan domain as in Corollary 6.3 exists. Our goal is to construct denumerably many such Jordan domains, so that every , as in Corollary 6.3, contains one of these domains and then use Baire's Category Theorem.
Proof Let be a homeomorphism of D ∪ J ⊂ C on ∪ γ (t 1 , t 2 ), which is also holomorphic on , where J = {e it : 0 < t < 1}. This is possible because of the Caratheodory-Osgood Theorem. Let also A(k, , M) be the set of functions f ∈ C k (γ ) for which there exists a continuous function F : ∪γ ((t 1 , t 2 )) → C, F ∞ ≤ M, such that F is holomorphic on and F| γ ((t 1 ,t 2 )) = f | γ ((t 1 ,t 2 )) .
First, we will prove that A(k, , M) is a closed subset of C k (γ ). Let ( f n ) n≥1 be a sequence in A(k, , M) converging in the topology of C k (γ ) to a function f ∈ C l (γ ).
This implies that f n converges uniformly on the compact subsets of γ * to f . Then for n = 1, 2, . . . there exist continuous functions F n : ∪γ ((t 1 , t 2 )) → C, F n ∞ ≤ M, such that F n are holomorphic on and F n | γ ((t 1 ,t 2 )) = f n | γ ((t 1 ,t 2 )) . If G n = F n • , g n = f n • and g = f • for n = 0, 1, 2, . . . , it follows that g n converges uniformly on the compact subsets of J to g. Also, the functions G n are holomorphic and bounded by M on D. By Montel's Theorem, there exists a subsequence of (G n ), (G k n ) which converges uniformly on the compact subsets of D to a function G which is holomorphic and bounded by M on D. Without loss of generality, we assume that (G n ) = (G k n ). Now it is sufficient to prove that for any circular sector K , which has boundary [0, e ia ] ∪ [0, e ib ] ∪ e it : a ≤ t ≤ b , 0 < a < b < 1, the sequence (G n ) converges uniformly on K , because then the limit of (G n ), which is equal to g at the arc J and equal to G on the remaining part of the circular sector K , will be a continuous function. In order to do so we will prove that (G n ) forms a uniformly Cauchy sequence on K . Since each G n is a bounded holomorphic function on D, we know that for every n the radial limits of G n exist almost everywhere on the unit circle and so we can consider the respective functions g n defined almost everywhere on the unit circle which are extensions of the previous g n . These g n are also bounded by M.
Let ε > 0. Using the identity G n (re iθ ) = 1 2π Our strategy is to split the integral into two parts. We choose 0 < δ < min{1 − b, a} and pick r 0 ∈ (0, 1) such that sup δ≤|t|≤π P r (t) < ε 8M for every r ∈ [r 0 , 1). Then (G n ) is a uniformly Cauchy sequence on K ∩ {z ∈ C : |z| ≤ r 0 }, and thus there exists n 1 such that for every n, m ≥ n 1 , In addition, as g n converges uniformly to g on J there exists n 2 , such that for every n, m ≥ n 2 , sup z∈J |g n (z) − g m (z)| < ε 4 . Consequently, for n, m ≥ max{n 1 , n 2 }, θ ∈ [a, b], and r ∈ (r 0 , 1), we obtain Therefore |G n (re iθ ) − G m (re iθ )| ≤ ε 2 and by the continuity of the functions G n on D ∪ J , making r → 1 − we find that |G n (e iθ ) − G m (e iθ )| ≤ ε 2 for every θ ∈ [a, b]. It follows immediately that (G n ) is a uniformly Cauchy sequence on the circular sector K and thus the set A(k, , M) is a closed subset of C k (γ ).
If A(k, , M) does not have empty interior, then there exists a function f in the interior of A(k, , M), a compact set L ⊂ I and δ > 0 such that A(k, , M).
From Corollary 6.3, we can find w ∈ \ γ * . We choose 0 < a < δ min{ inf , t ∈ I belongs to A(k, , M) and therefore has a continuous and bounded extension H on ∪ γ ((t 1 , t 2 )) with H | γ ((t 1 ,t 2 )) = h| γ ((t 1 ,t 2 )) which is holomorphic on . Then the function H • is continuous and bounded on D ∪ J and holomorphic on D. It is easy to see that . Then | J = 0 and by Schwarz Reflection Principle is extended holomorphically on Therefore because = 0 on J , by analytic continuation, As a result H • is not bounded on D which is absurd. Thus A(k, , M) has empty interior. Definition 6.5 Let γ : I → C be a locally injective map and t 0 ∈ I • , where I • is the interior of I in R. A function f : γ * → C is non-one-sided holomorphically extendable at (t 0 , γ (t 0 )) if there is no pair of a Jordan domain , such that ∂ contains an arc of γ * , γ ([t 1 , t 2 ]), t 1 < t 0 < t 2 , t 1 , t 2 ∈ I and a continuous function F : ∪ γ ((t 1 , t 2 )), which is holomorphic on and F| γ ((t 1 ,t 2 )) = f | γ ((t 1 ,t 2 )) . Proof Let be a Jordan domain whose boundary contains an arc γ ([t 1 , t 2 ]), of γ * , where t 1 < t 0 < t 2 . A(k, , M) denotes the set of functions f ∈ C k (γ ) for which there is a continuous function F : ∪γ ((t 1 , t 2 )), which is holomorphic on , bounded by M and F| γ ((t 1 ,t 2 )) = f | γ ((t 1 ,t 2 )) . Let G n , n ≥ 1 be the denumerably many Jordan domains constructed above.
From Proposition 6.4, the sets A(k, G n , M) are closed subsets of C k (γ ) with empty interior. We will prove that the class of non-one-sided holomorphically extendable at (t 0 , γ (t 0 )) functions of C k (γ ) coincides with the set A(k, G n , M)), and thus Baire's Theorem will imply that the above set is a dense and G δ subset of C k (γ ).
Obviously, the set contains the class of non-one-sided holomorphically extendable at (t 0 , γ (t 0 )) functions of C k (γ ). Conversely, let be a Jordan domain whose boundary contains an arc γ ([t 1 , t 2 ]), t 1 < t 0 < t 2 , t 1 , t 2 ∈ I . Let also f ∈ C k (γ ), for which there is a continuous function F : ∪ γ ((t 1 , t 2 )), which is holomorphic on and F| γ ((t 1 ,t 2 )) = f | γ ((t 1 ,t 2 )) . From the construction of the aforementioned Jordan domains G n , we can find a Jordan domain G n 0 such that G n 0 is contained in . It easily follows that F| G n 0 is bounded by some number M = 1, 2, 3, . . . and thus f belongs to A(k, G n 0 , M). Therefore the class of non-one-sided holomorphically extendable at (t 0 , γ (t 0 )) functions of C k (γ ) is a subset of the set which combined with the above completes the proof. Definition 6.7 Let γ : I → C be a locally injective map on the interval I ⊂ R. A function f : γ * → C is nowhere one-sided holomorphically extendable if there is no pair of a Jordan domain , such that ∂ contains an arc of γ * , γ ([t 1 , t 2 ]), t 1 < t 2 , t 1 , t 2 ∈ I and a continuous function F : ∪ γ ((t 1 , t 2 )), which is holomorphic on and F| γ ((t 1 ,t 2 )) = f | γ ((t 1 ,t 2 )) . Proof Let t n ∈ I • , n = 1, 2, . . . be a sequence which is dense in I . Then the class of nowhere one-sided holomorphically extendable functions of C k (γ ) coincides with the intersection of the classes of non-one-sided holomorphically extendable at (t n , γ (t n )) functions of C k (γ ), which is from Theorem 6.6 and Baire's Theorem a dense and G δ subset of C k (γ ).
Proof Similar to the proof of Theorem 5.4.
The following theorem is a simple combination of proofs similar to those of Proposition 6.4 and Theorem 6.6. Theorem 6.14 Let p ∈ {0, 1, . . . }∪{∞}, n ∈ {1, 2, . . . } and be a bounded domain in C defined by disjoint periodic Jordan curves γ i : R → C. Let also t 0 ∈ R. The class of non-one-sided holomorphically extendable at (t 0 , γ i 0 (t 0 )) outside functions of A p ( ) is a dense and G δ subset of A p ( ). Definition 6.15 Let n ∈ {1, 2, . . . } and be a bounded domain in C defined by disjoint periodic Jordan curves γ i : R → C. A function f : → C is nowhere onesided holomorphically extendable outside if f is non-one-sided holomorphically extendable at (t 0 , γ i 0 (t 0 )) outside for every t 0 ∈ R and i 0 = 1, 2, . . . , n. Remark 7.2 If the interior of L in C is non-empty, then there always exists a function f 0 ∈ A p (G) for which there does not exist a function F 0 ∈ A p ( ), such that F 0 | G = f 0 | G .

Remark 7.3
From the previous results, we have a dichotomy: Either every f ∈ A p (G) has an extension in A p ( ) or generically all functions f ∈ A p (G) do not admit any extension in A p ( ). The first case holds if a p (L) = 0 and the second case if a p (L) > 0 (Theorem 3.12). Proof We will first prove that the set E M, p,U,L ,z 0 ,r is a closed subset of A p (U \ L). Let ( f n ) n≥1 be a sequence in E M, p,U,L ,z 0 ,r converging in the topology of A p (U \ L) to a function f ∈ A p (U \ L). Without of loss of generality we assume that U is bounded. This implies that f n converges uniformly on U \ L to f and that there exists a sequence (F n ) n≥1 in H (D(z 0 , r )) such that F n | (U \L)∩D(z 0 ,r ) = f n | (U \L)∩D(z 0 ,r ) and F ∞ ≤ M for every n ≥ 1. By Montel's Theorem there exists a subsequence of (F n ), (F k n ), which converges uniformly on the compact subsets of D(z 0 , r ) to a function F which is holomorphic and bounded by M on D(z 0 , r ). Since F k n converges to f on (U \ L) ∩ D(z 0 , r ), the functions f and F are equal on (U \ L) ∩ D(z 0 , r ). Thus f belongs to E M, p,U,L ,z 0 ,r and E M, p,U,L ,z 0 ,r is a closed subset of A p (U \ L).
If there exists f 0 ∈ A p (U \ L) which is not extendable at z 0 , the interior of E M, p,U,L ,z 0 ,r is void in A p (U \ L), the proof of which is similar to the proof of Theorem 7.1.
Here we have another dichotomy which is a local version of the first one. In what follows, we compare two notions: local extendability and existence of a holomorphic extension. At first, we examine the case of a compact set L with empty interior. Proof If there exists a holomorphic extension F of f on U , then obviously f is extendable at every z 0 ∈ ∂ L = L.
Conversely, if f is extendable at every z 0 ∈ L, then for every z 0 ∈ L there is a holomorphic function F z 0 defined on D(z 0 , r z 0 ) ⊆ U such that F z 0 | (U \L)∩D(z 0 ,r z 0 ) = f | (U \L)∩D(z 0 ,r z 0 ) . Let z 1 , z 2 ∈ L with V = D(z 1 , r z 1 ) ∩ D(z 2 , r z 2 ) = ∅. Since L • = ∅, V \ L is a non-empty open set, F z 1 , F z 2 are holomorphic on the domain V and coincide with f on V \ L. By analytic continuation, F z 1 = F z 2 on V . So, the function F defined on U such that F(z) = F z (z) for every z ∈ L and F(z) = f (z) for every z ∈ U \ L is a holomorphic extension of f on U . Obviously, if f ∈ A p (U \ L), then F ∈ A p (U ). Remark 7.9 Whenever L • = ∅, the equivalence of Proposition 7.8 is not true. Indeed if w ∈ L • = ∅, then the holomorphic function f (z) = 1 z−w for z ∈ U \ L cannot be extended to a holomorphic function on U , but it is extendable at every z 0 ∈ ∂ L.
We consider again a compact set L ⊆ C and an open set U ⊆ C, such that L ⊆ U and a p ∈ {0, 1, 2, . . .} ∪ {∞}. Now we want to find a similar connection between a p (L) and a p (L ∩ D(z 0 , r )); that is, is the condition a p (L) = 0 equivalent to the condition a p (L ∩ D(z 0 , r )) = 0 for all z 0 ∈ L?
If we suppose that L • = ∅, then there exist z 0 and r > 0 such that D(z 0 , r ) ⊆ L. Thus a p (L) and a p (L ∩ D(z 0 , r )) are strictly positive.
So, we need not assume that L • = ∅, since it follows from both the conditions a p (L) = 0 and a p (L ∩ D(z 0 , r )) = 0 for every z 0 ∈ L and for some r = r z 0 > 0. Also, the first condition obviously implies the second one.
Probably Theorem 3.6 holds even for p ≥ 1. Specifically, if a p (L) = 0 and V is an open set, then every function g ∈ A p (V \ L) belongs to A p (V ). This leads us to believe that the above conditions are in fact equivalent. However, this will be examined in future papers.