- Research Article
2
- 10.1090/s0002-9947-1969-0243078-8
Boundary functions and sets of curvilinear convergence for continuous functions
- Jan 01, 1969
- Transactions of the American Mathematical Society
- T J Kaczynski
Let D be the open unit disk in the complex plane, and let C be its boundary, the unit circle.If x £ C, then by an arc at x we mean a simple arc y with one end point at x such that y-{x}£ö.If/is a function mapping D into some metric space M, then the set of curvilinear convergence of/is defined to be {x e C: there exists an arc y at x and there exists a point p e M such that f(z) ->p as z -»■ x along y}.If ^ is a function whose domain is a subset F of the set of curvilinear convergence of/ then <f> is called a boundary function for/if, and only if, for each x e E there exists an arc y at x such that/(z) -*■ <f>(x) as z -> x along y.Let 5 be another metric space.We shall say that a function <f> is of Baire class ^ 1(5, M) if (i) domain <£ = S, (ii) range ^ £ M, and(iii) there exists a sequence {<£"} of continuous functions, each mapping S into M, such that <f>n^>-<p pointwise on 5. We shall say that (f> is of honorary Baire class ^ 2(S, M) if (i) domain <f> = S, (ii) range ^£M, and (iii) there exists a countable set TVs 5 and there exists a function y!r of Baire class ^ 1(5, M) such that <f>(x) = tp(x) for every xe S-N.It is known that if/is a continuous function mapping F into the Riemann sphere, then the set of curvilinear convergence off is of type Fa6, and any boundary function for/is of honorary Baire class ^2(C, Riemann sphere).(See [3], [4], [5], [6],[9].) J. E. McMillan [6] posed the following problem.If A is a given set in C of type Fao, and if </> is a function of honorary Baire class Ú2(A, Riemann sphere), does there always exist a continuous function / mapping D into the Riemann sphere such that A is the set of curvilinear convergence of/ and <f> is a boundary function for /?The purpose of this paper is to give an affirmative answer to McMillan's question.However, the corresponding question for real-valued functions remains open.(See Problems 1 and 2 at the end of this paper.)In proving our result, we first give a proof under the assumption that <j> is a bounded complexvalued function, and we then use a certain device to transfer the theorem to the Riemann sphere.As we shall indicate in an appendix, the same device can be
Read more