Boundary Functions and Sets of Curvilinear Convergence for Continuous Functions

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 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) -*■ (x) as z -> x along y.Let 5 be another metric space.We shall say that a function 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 n^>-

is of honorary Baire class ^ 2(S, M) if (i) domain = 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 (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 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 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