18 views

Uploaded by Leandro Az

- LECTURE 6
- Limit & Continuity PPT
- UCB Math 104 Introduction to Analysis.pdf
- INTRODUCTION TO METRIC SPACES
- Some metric spaces
- d 011321626
- Lion and Man
- 52338-Exercicios Sobre Limites
- Math 114 PSet 3
- Limits Problems
- 1801.08199.pdf
- Hh Focusontheory Sectioni
- real_98f.pdf
- Fundamental Engineering Maths 2
- riemann integral.pdf
- continuity CONVEX.pdf
- The Calculus
- Free eBooks Download
- Chee4362 Hw
- Net

You are on page 1of 4

ERRETT BISHOP1

1. Introduction. Rudin [7] and Carleson [4] have independently proved that if 5 is a closed set of Lebesgue measure 0 on the unit

circle

L = {z: | z\ = 1}

and if / is a continuous function on L then there exists a continuous

function F on

D = {z: \z\

g 1}

which is analytic on D L such that F(z)=f(z) for all z in 5. It is the purpose of this paper to generalize this theorem. Before stating the generalization, we remark that the Rudin-Carleson theorem is closely related to a theorem of F. and M. Riesz, which states that any (finite, complex-valued, Baire) measure on L which is orthogonal to all continuous functions F on D which are analytic on DL is absolutely continuous with respect to Lebesgue measure dd on L. The proofs of the two theorems show that the results of RudinCarleson and of F. and M. Riesz are closely related. We shall state an abstract theorem which shows that the Rudin-Carleson theorem is a direct consequence of the F. and M. Riesz theorem. This abstract theorem will permit an automatic generalization of the RudinCarleson result to any situation to which the F. and M. Riesz result can be generalized. The theorem to be proved reads as follows:

Theorem 1. Let C(X) be the uniformly-normed Banach space of all continuous complex-valued functions on a compact Hausdorff space X. Let Bbea closed subspace of C(X). Let B1 consist of all (finite, complexvalued, Baire) measures p on X such that ffdp = Q for all f in B. Let p be the regular Borel extension of the Baire measure p. Let S be a closed subset of X with the property that p(T) =0/or every Borel subset T of S and every p in B1. Let f be a continuous complex-valued function on S and A a positive function on X such that \f(x)\ <A(x) for all x in S. Then there exists F in B with \ F(x) | <A(x) for all x in X and F(x)

If X is taken to be the set L defined above and B is taken to be those functions in C(L) which are restrictions to L of functions in

Received by the editors December 13, 1960.

1 This work was supported by the Sloan Foundation.

140

A GENERAI RUDIN-CARLESONTHEOREM

141

C(D) analytic on DL, then by the F. and M. Riesz result any closed subset S of L of Lebesgue measure 0 satisfies the hypotheses of

Theorem 1. Therefore from Theorem 1 the Rudin-Carleson theorem follows. By a general F. and M. Riesz theorem we mean a theorem to the effect that for certain closed subspaces B of certain C(X) there exists a non-negative measure po on X with respect to which all measures in BL are absolutely continuous. From Theorem 1 it follows that to each such general F. and M. Riesz theorem corresponds a general

Rudin-Carleson theorem, which states that if 5 is a closed subset of X with po(S) =0 then every continuous function on S is the restriction to S of some function in B. There are various general F. and M. Riesz theorems which exist in the literature. We mention three of these. (1) Bochner [3] and Helson and Lowdenslager [5] have proved an F. and M. Riesz theorem for X = LXL, where B is the subspace of LXL generated by all functions zmwn with (m, n) belonging to a sector of lattice points of opening greater than r. Here p0 is Lebesgue measure on LXL. (2) Bishop [l; 2] has proved a general F. and M. Riesz theorem for the boundary X of a compact set C in the complex plane whose complement is connected. Here B consists of all continuous functions on X which have extensions to C analytic on CX. (3) Wermer [9] and Royden [6] (see also Rudin [8]) have proved a general F. and M. Riesz theorem for X the boundary of a finite Riemann surface 7?. Here B again is the set of continuous functions on X which can be extended to be analytic on 7? and continuous on

XU7?.

2. Proof of Theorem 1. We first prove a lemma from which the proof of Theorem 1 will be trivial.

Lemma. Assume that \f(x)\ <r<l

hypotheses of Theorem

Proof. Let Ur be the set of all g in B of norm less than r. Let <b be the restriction mapping of B into C(S). The lemma states that fE<p(Ui). We begin by showing that / V where V, is the closure of <p(Ur). Assume otherwise. It follows from one of the many variants of the Hahn-Banach theorem that there exists a bounded linear func-

tional a on C(S) with a(f) > 1 and | a(h) | < 1 for all h in VT.By the

Riesz representation theorem, there exists a measure pi on S such that

142

ERRETT BISHOP

[February

gdpi = a(g)

/

on B by (g) =a(<p(g)).

Since <p(g)EVT for all g in U, it follows that \(g)\ <1 for all g in

Z7r so that ||/3||r-1. By the Hahn-Banach theorem and the Riesz representation theorem it follows that there exists a measure p2 on

X with ||ju2||r~l and /3(g) =Jgdpi for all g in 73. Thus the measure

p = Pi Pi

is in 73x. Also

contradicting the fact that p. vanishes on all subsets of S. This contradiction shows that/ Fr, so that there exists Pi in B with ||Pi|| <r and |/(x) Pi(x)| <X/2 for all x in S, where \ir. If we write fi(x)=f(x) Fi(x), it follows by the result just proved, with / re-

placed

by /i,

that

there

exists

P2 in B with

by induction

||P2||<X/2

and

|/i(x) P2(x)| <X/4 for all x in 5. Thus quence {Fn) of functions in B with

we find a se-

and

2,

k-l

n 2, x 5.

00

F = E P.

n-1

so

||P|| <r+12

n-2

2-"+1X = r + X = 1.

Clearly also P(x) =/(x) for all x in S. This proves the lemma. Proof of Theorem 1. Let 730be the closed subspace

{g:AgEB}

of C(X). Then

1962]

143

Bi = {Ap:pEBX}.

Thus P(T) =0 for all Borel sets TES and all v in B. It follows from

the lemma that there exists F0 in B0 with ||Fo||<l and Fo(x)

= (A(x))-J/(x) for all x in S. Let F be the element AF0 of B. Thus I F(x)\ < |A(x)| for all x in X and F(x) =A(x)F0(x) =f(x) for all x in 5. This completes the proof. References

1. Errett Bishop, The structure of certain measures, Duke Math. J. vol. 25 (1958)

pp. 283-290.

2. -, Boundary measures of analytic differentials, Duke Math. J. vol. 27

(1960)pp. 331-340.

3. Salomon Bochner, Boundary values of analytic functions in several variables and

4. Lennart Carleson, Representations of continuous functions, Math. Z. vol. 66

5. Henry Helson and David Lowdenslager, Prediction theory and Fourier series in

6. Halsey Royden, The boundary values of analytic and harmonic functions, O.O.R.

7. Walter Rudin, Boundary values of continuous analytic functions, Proc. Amer.

8. -, Analyticity and the maximum modulus principle, Duke Math. J. vol. 20

9. John Wermer, Subalgebras of the algebra of all complex-valued continuous func-

University of California, Berkeley

- LECTURE 6Uploaded byleorefasol
- Limit & Continuity PPTUploaded byEmilyn Gan
- UCB Math 104 Introduction to Analysis.pdfUploaded byk2444633
- INTRODUCTION TO METRIC SPACESUploaded byhyd arnes
- Some metric spacesUploaded byTytus Metrycki
- d 011321626Uploaded byIOSRjournal
- Lion and ManUploaded byastrovltv
- 52338-Exercicios Sobre LimitesUploaded bypaulogomes125
- Math 114 PSet 3Uploaded byCheryl Fox
- Limits ProblemsUploaded byabhi858
- 1801.08199.pdfUploaded byCarlos Faz
- Hh Focusontheory SectioniUploaded byankur
- real_98f.pdfUploaded byAnonymous Rr4j4Fb
- Fundamental Engineering Maths 2Uploaded byLuong Mga
- riemann integral.pdfUploaded bynm
- continuity CONVEX.pdfUploaded byGeorge Protopapas
- The CalculusUploaded byafgoadfg08as
- Free eBooks DownloadUploaded byAmanda Tate
- Chee4362 HwUploaded byHa Eun Kim
- NetUploaded byMuthumanikandan Hariraman
- ISM_T11_C02_CUploaded byDavid Andres
- Theory open Quantum SystemUploaded bydolmanc666
- Peng, Zhu, Generalized VQEPUploaded byro_shanti9020
- Introduction to Linear TransformationUploaded bypanbuu
- 1-s2.0-S1110256X16300049-mainUploaded byAnonymous PufNjg
- TRIGO.docxUploaded byizzatisafee
- 02_MathreviewUploaded bymushahid980
- Topology, Section 19Uploaded byMason Keller
- Math 450Uploaded byOntheissues Dot Org
- benyaminiUploaded byLucas Capelli

- Linear Functionals - S. MrówkaUploaded byLeandro Az
- 137-209-1-SMUploaded byAngelito Mogollon
- David Hilbert. La búsqueda de la certidumbre.Uploaded byLeandro Az
- David Hilbert. La búsqueda de la certidumbre.Uploaded byLeandro Az
- MAN_DR_Hamiltoniana.pdfUploaded byLeandro Az
- Manual Servicio Bomba Ksb MegachemUploaded byFrancisco Pulgar Pizarro
- Mantenimiento programadoUploaded byLeandro Az
- Pigna Sobre M. MorenoUploaded byLeandro Az
- 201608 Full IssueUploaded byLeandro Az
- Notices of AMS 2016Uploaded byLeandro Az
- Einstein, Hilbert and Equations of GravitationUploaded byLeandro Az
- Einstein, Hilbert and Equations of GravitationUploaded byLeandro Az
- criteriosdeconvergenciaparaseries-120619234633-phpapp02Uploaded byRomel Huaraca Paredes
- criteriosdeconvergenciaparaseries-120619234633-phpapp02Uploaded byRomel Huaraca Paredes
- anafunap2Uploaded byLeandro Ribeiro
- The UnforgivenUploaded byLeandro Az
- Orígenes de.la.Teoria.de.DistribucionesUploaded byAnonymous TlGnQZv5d7
- Etnocentrismo.rtfUploaded byLeandro Az
- Teoria. Segunda Parte_2016Uploaded byLeandro Az
- On Integrals Related to and Extensions of the Lebesgue Integrals - T. H. Hildebrandt (AMS, 1917)Uploaded byLeandro Az
- La Demostración Elemental de TNPUploaded byLeandro Az
- Undertaker With FireUploaded byLeandro Az
- Ejercicio de programacion linealUploaded byLeandro Az
- pág 33-40Uploaded byLeandro Az
- Another Proof of 6ζ(2)=π^2 Using Double Integrals - Daniele Ritelli (AMM, v120, n7, 2013)Uploaded byLeandro Az
- Preliminaries PDEUploaded byLeandro Az
- Carta de Serge Lang a Mordell y Siegel Smf Gazette 63-17-36Uploaded byLeandro Az
- Sistema en ParaleloUploaded byLeandro Az
- Tratamientos Tópicos de La PsoriasisUploaded byLeandro Az
- Jean Pierre SerreUploaded byCarlos Pérez

- Mordell WeilUploaded bythonguyen
- Manoeuvring Simulation of the MUN Explorer AUV Based on the Empirical Hydrodynamics of Axi-symmetric Bare HullsUploaded byali_naghedifar
- SESSION_03_Emitters_in_Maya.pdfUploaded byNguyễn Huỳnh
- Div Sample1 2008Uploaded bySaifulahmed49
- Free Geometry Worksheets Unit4Uploaded byKuo Garol Sarong
- trigidentities1.pdfUploaded byWidi Toss Muda Purwodadi
- Engineering Grpaphics First YearUploaded byRambabuDara
- 013391545X_section2.5-2.6Uploaded byAtef Naz
- C.G. CalculationUploaded byraveemakwana
- 119004243-Chapter-13Uploaded byYash Shah
- GeometryTheoremAbbreviation[1]Uploaded byDouglas Li
- rovenski[1]Uploaded byLeo Kuts
- robo3_3.pdfUploaded byDebabrata Paul
- 157318-november-2012-question-paper-12.pdfUploaded byprsara1975
- Questions for Math RelayUploaded bysir jj
- test12.pdfUploaded byCarlo
- Latihan soal IntegralUploaded byHendarwin Darwin
- Mohr CircleUploaded byJade Louise Patolilic
- IGO2015 Solutions EnglishUploaded byJulio Armando Rivera
- Principles of Dynamics4Uploaded byChristien Marie
- selfieometry projectUploaded byapi-387894196
- 9780199573660_chapter1Uploaded byAnkita Shukla
- MathUploaded byErUmeshGandhas
- Bits Matematics MockUploaded byAnonymous ktNyZT
- Ty Geometery 1970_textUploaded bySaul Mejia
- Physics CPP-FIITJEEUploaded bysanits591
- precalc 4 1bUploaded byapi-194723815
- Viscous Fluid Flow between Moving Parallel PlatesUploaded byJerry_008
- Pete L. Clark-General Topology [Lecture Notes] (2016)Uploaded byDennis Diaz Trujillo
- C_Solving a Word Problem Using the Law of SinesUploaded bycitisolo