On behaviour of holomorphically contractible systems under non-monotonic sequences of sets

The new results concerning the continuity of holomorphically contractible systems treated as set functions with respect to non-monotonic sequences of sets are given. In particular, continuity properties of Kobayashi and Carathéodory pseudodistances, as well as Lempert and Green functions with respect to sequences of domains converging in the Hausdorff metric are delivered.


Introduction.
It is known that both Carathéodory and Kobayashi pseudodistances depend continuously on increasing and decreasing sequences of domains (in the latter case, adding some regularity assumptions on the limiting domain; cf. [3] and references therein). The pseudodistances mentioned above are particular examples of a wider class of holomorphically contractible systems, i.e. systems of functions D running through all domains in all C n 's, such that d D is forced to be p, the hyperbolic distance on D, the unit disc on the plane and all holomorphic mappings are contractions with respect to the system (d D ) (cf. Definition 2.1). The question about the behaviour of holomorphically contractible systems under not necessarily monotonic sequences of sets seems to be natural and important. In the present note, inspired by [1], we shall give a very general result stating the continuity of holomorphically contractible systems under the sequences of domains convergent with respect to the Hausdorff distance (for two nonempty bounded sets A, B it is defined as where for a set S and a positive number ε, the set S (ε) := s∈S B(s, ε) is the ε-envelope of S; B(x, r) denotes the open Euclidean ball of center x and radius r). Namely, our main result reads as follows: be a holomorphically contractible system, and let D ⊂ C m be a bounded domain. Assume that there exist two sequences (I n ) n∈N , and if for each compact K ⊂ D there exists an n 0 ∈ N such that for any n ≥ n 0 , K ⊂ D n .
In particular, we get the results in this spirit for Carathéodory and Kobayashi pseudodistances as well as for Green and Lempert functions (cf. Corollaries 2.3, 2.4, and 2.6). We believe they are interesting in their own right.
In [1] all the results are settled in the context of complex Banach spaces, yet under a strong assumption about the convexity of the approximating domains together with the limiting one. Our results are free from this restrictive assumption.
In Section 2 we give the formal definition of a holomorphically contractible system and both list and prove the corollaries from Theorem 1.
where D runs over all domains in C n with arbitrary n, is called a holomorphically contractible system if the following two conditions are satisfied: 3. Kobayashi pseudodistance:    Proof. By [4] we know that the Green function is continuous with respect to increasing sequensces of domains. Therefore, (I n ) n∈N may be chosen as some exhausting sequence of smoothly bounded strictly pseudoconvex relatively compact open subsets of D. Also, using results of [5], it is clear that the good candidate for the "exterior" sequence is (E n ) n∈N := (D n ) n∈N .

Proof of Theorem 1.1.
Proof of Theorem 1.1. There exists an m 1 ∈ N such that for m ≥ m 1 we have We may choose the smallest possible such m 1 . In what follows, we shall construct two sequences of sets, Then for n large enough, z, w ∈ L n and d Un (z, w) ≤ d Dm 1 +n−1 (z, w) ≤ d Ln (z, w).
Finally, letting n → ∞ and using the assumptions concerning continuity of the system (d D ) with respect to monotonic sequences of domains (I n ) n∈N , (E n ) n∈N , we reach the conclusion of Theorem 1.1. Let us pass to the construction. Let L 1 := I 1 , U 1 := E 1 . We proceed as follows: Choose the smallest m 2 ∈ N such that for any m ≥ m 2 we have There are two cases to be considered: We define L 2 = · · · = L s := I 1 , L s+1 := I 2 . Further, as U 2 we choose a domain relatively compact in E 1 , containing in its interior E 2 ∪ m1+s−1 l=m1+1 D l . Inductively, for k = 2, . . . , s, a domain U k is chosen as a domain relatively compact in U k−1 , containing in its interior E 2 ∪ m1+s−1 l=m1+k−1 D l . Finally, we put U s+1 := E 2 .
Suppose we have constructed domains L 1 ⊂ · · · ⊂ L r and U 1 ⊂⊂ · · · ⊂⊂ U r such that L j ⊂ D