arxiv: v1 [math.fa] 16 Dec 2009 (1 ) Á L Ψ2

arXiv:0912.3133v1 [math.FA] 16 Dec 2009

fun tion spa es whi h ontain

c

0

Pas al Lefèvre, Daniel Li,

Hervé Queéle , Luis Rodríguez-Piazza

Abstra t. Weprodu eseveralsituationswheresomenaturalsubspa esof las-si al Bana hspa esoffun tionsovera ompa tabeliangroup ontainthe spa e

c

0

.

Mathemati sSubje t Classi ation. Primary: 43A46,46B20;Se ondary: 42A55,42B35,43A07,46E30

Key-words. otype; Hilbert set; invariant mean; Orli z spa e;

q

-Rider set; Riemann-integrablefun tion;Rosenthalset; set ofuniform onvergen e;Sidon set;

p

-Sidonset.

1 Introdu tion

Let

G

bea ompa tabeliangroupand

Γ = b

G

itsdualgroup. Itisafamiliar themein Harmoni Analysis to omparethe thinness properties of asubset

Λ

⊆ Γ

withtheBana hspa epropertiesofthespa e

X

Λ

,where

X

isaBana h spa eofHaar-integrablefun tionson

G

and

X

Λ

isthesubspa eof

X

onsisting of the

f

∈ X

whose spe trum lies in

Λ

:

f (γ) = 0

b

if

γ /

∈ Λ

. We refer to Kwapie«-Peª zy«ski's lassi alpaper[17℄ forsu hinvestigations.

Itisknownthat,denotingby

Ψ

2

theOrli zfun tion

e

x

2

− 1

:

(1)

If

L

Ψ

2

Λ

= L

2

Λ

,then

Λ

isaSidonset(Pisier[35℄,Théorème6.2);

(2)

If

C

Λ

hasanite otype,then

Λ

isaSidonset (Bourgain-Milman[3℄). Re allthat

Λ

isaSidonset ifevery ontinuousfun tionon

G

withspe trumin

Λ

hasanabsolutely onvergentFourierseries.

Inapreviouspaper, weproved,among otherfa ts,the followingextension of

(1)

([19℄,Theorem2.3):

(1

′

₎

If

L

Ψ

2

Λ

has otype

2

,then

Λ

isaSidonset;

Wealsoshowedthefollowingvariantof

(2)

([19℄,Theorem1.2):

(2

′

₎

If

U

Λ

hasanite otype,then

Λ

isaSidonset,

where

U = U (T)

isthespa eofthe ontinuousfun tions onthe ir legroup

T

whoseFourierseries onvergesuniformly on

T

.

Inthiswork,westudywhataretheimpli ationson

Λ

ofthefa t thatsome Bana hspa e

X

Λ

ontains,ornot,thespa e

c

0

. Inparti ular,weshallextend

(1

′

₎

and

(2

′

₎

.

Thepaperisorganizedasfollows. InSe tion2,weshowthatif

ψ

isanOrli z fun tionwhi hviolatesthe

∆

2

- ondition,inastrongsense:

lim

x→+∞

ψ(2x)

ψ(x)

= +

∞

(whi h is the ase of

Ψ

2

), and if

X

0

is alinear subspa eof

L

∞

on whi h the norms

k k

2

and

k k

ψ

arenotequivalent,thenthe losure

X

of

X

0

in

L

ψ

ontains

c

0

. Itfollowsthat if

Λ

is notaSidonset, then

L

Ψ

2

Λ

ontains

c

0

, anda fortiori thatif

L

Ψ

2

Λ

hasanite otype,then

Λ

isaSidonset, whi hgeneralizes

(1

′

₎

. In Se tion 3, weextend

(2

′

₎

by showingthat: If

Λ

is not aset of uniform onvergen e(i.e. if

U

Λ

6= C

Λ

),then

U

Λ

does ontain

c

0

. Inparti ular,if

U

Λ

has anite otype,then

U

Λ

=

C

Λ

,so

C

Λ

hasanite otypeand therefore,in view of

(2)

,

Λ

is aSidon set. This explains whythe proof of

(2

′

₎

in [19℄ mimi ked BourgainandMilman's.

InSe tion 4,weuse thenotionof invariant meanin

L

∞

_(G)

. Wesay that

Λ

is a Lust-Piquard set if, for every fun tion

f

∈ L

∞

Λ

, the produ t

γf

of

f

with every hara ter

γ

∈ Γ

has aunique invariant mean. Of ourse, if every

f

∈ L

∞

Λ

is ontinuous(i.e.

Λ

isaRosenthalset),then

Λ

isaLust-Piquardset. F.Lust-Piquard([27℄) showedthat there areLust-Piquardsets whi h are not Rosenthalsets, and, morepre isely,that

Λ = P

∩ (5Z + 2)

, where

P

is theset oftheprimenumbers,isaLust-Piquardsetsu hthat

C

Λ

ontains

c

0

(if

Λ

isa Rosenthalset,

C

Λ

annot ontain

c

0

). We onstru thereanotherkindofbig Lust-Piquardset

Λ

, namely aHilbert set. Then

C

Λ

ontains

c

0

by aresultof these ond-namedauthor([22℄,Theorem2).

InSe tion5,weinvestigateunderwhi h onditionsthespa e

C

Λ

is omple-mented in

L

∞

Λ

. We onje ture that this happens only if

C

Λ

= L

∞

Λ

, i.e.

Λ

is aRosenthalset. We areonly ableto showthat, under that onditionof om-plementation,

C

Λ

does not ontain

c

0

, and, moreover, every

f

∈ L

∞

Λ

whi h is Riemann-integrableisa tuallyin

C

Λ

.

Notation. Throughoutthis paper,

G

isa ompa tabeliangroup,and

Γ = b

G

is its (dis rete) dual group. The Haar measure of

G

is denoted by

m

, and integrationwith respe tto

m

by

dt

or

dx

. Weshallwrite thegroupstru ture of

Γ

additively, so that, for

γ

∈ Γ

, the hara ter

(

−γ) ∈ Γ

is the fun tion

γ

∈ C(G)

. When

G

is the ir le group

T = R/2πZ

, we identify, asusual, the

hara ter

e

n

: t

7→ e

int

withthe integer

n

∈ Z

, and so the dual group

Γ

to

Z

; theHaarmeasure isthen

dt/2π

.

For

f

∈ L

1

_(G)

,theFourier oe ientof

f

at

γ

∈ Γ

is

f (γ) =

b

R

G

f (t) γ(t) dt

.

If

X

is alinearfun tion subspa eof

L

1

_(G)

, wedenote by

X

Λ

thesubspa eof those

f

∈ X

forwhi htheFourier oe ientsvanishoutsideof

Λ

.

Whenwesaythat aBana hspa e

X

ontainsaBana h spa e

Y

,wemean that

X

ontainsa( losed)subspa eisomorphi to

Y

.

Aknowledgements. This work was partly supported by a Pi asso proje t (EGIDE-MCYT)betweenthefren handspanishgovernments.

suggestionstoimprovethewriting.

2 Subspa es of Orli z spa es

Let

ψ

be an Orli z fun tion, that is, an in reasing onvex fun tion

ψ : [0, +

_{∞ [→ [0, +∞ [}

su hthat

ψ(0) = 0

and

ψ(+

∞) = +∞

. Weshallassume

that

ψ

violatesthe

∆

2

- ondition,in thefollowingstrongsense:

lim

x→+∞

ψ(2x)

ψ(x)

= +

∞ .

(

∗

)

Let

(Ω,

A, P)

beaprobabilityspa e. TheOrli zspa e

L

ψ

_(Ω)

isthespa eof allthe(equivalen e lassesof)measurablefun tions

f : Ω

→ C

forwhi hthere isa onstant

C

≥ 0

su hthat

Z

Ω

ψ

 |f(t)|

C



dP(t)

_{≤ 1}

andthen

kfk

ψ

istheleastpossible onstant

C

.

Observethat

(

∗)

impliesthatthereexists

a > 0

su hthat

ψ(2t)

≥ 4 ψ(t)

for every

t

≥ a

. Hen e,forall

n

≥ 0

,onehas

ψ(2

n

_a)

_{≥ 4}

n

_ψ(a)

. Itfollowsthat,for

2

n

_a

_{≤ x < 2}

n+1

_a

,wehave

ψ(x)

_{≥ ψ(2}

n

_a)

≥ 4

n

_ψ(a)

≥

 x

_2a



2

ψ(a) = C x

2

.

Hen e

ψ(x)

≥ C x

2

forevery

x

≥ a

, andsothenorm

k k

ψ

isstrongerthan the normof

L

2

.

Theorem2.1 Supposethat

ψ

isanOrli zfun tionasabove. Let

X

0

bealinear subspa eof

L

∞

_(Ω)

onwhi h thenorms

k k

2

and

k k

ψ

arenotequivalent. Then thereexistsin

X

0

asequen ewhi hisequivalent, inthe losure

X

of

X

0

for the norm

k k

ψ

,tothe anoni al basis of

c

0

.

Proof. Werst remarkthat,thanks to

(

∗)

, we an hoose, forea h

n

≥ 1

, a positivenumber

x

n

su h that

ψ

x

2



≤

₂

1

n

ψ(x) ,

∀x ≥ x

n

.

Sin e

ψ

in reases,wehaveforevery

x

≥ 0

:

ψ

 x

2



≤

₂

1

n

ψ(x) + ψ(x

n

) .

Next,

ψ

is ontinuoussin eitis onvex. Hen ethereexists

a > 0

su hthat

ψ(a) = 1

. Then,sin e

ψ

isin reasing,wehave,forevery

f

∈ L

∞

_(Ω)

:

Z

Ω

ψ



a

|f|

kfk

∞



dP

_{≤ 1 ,}

andso

kfk

ψ

≤ (1/a) kfk

∞

.

Now,let

α

n

,

n

≥ 1

,bepositivenumberslessthan

a/2

su hthat

P

n≥1

α

n

<

a

. Weshall onstru tindu tivelyasequen eoffun tions

f

n

∈ X

0

,with

kf

n

k

ψ

=

1

,andasequen eofpositivenumbers

β

n

≤ 1/2

n

su hthat:

(i)

P({|f

n

| > α

n

}) ≤ β

n

,forevery

n

≥ 1

;

(ii) ifweset

M

1

= 1

and,for

n

≥ 2

:

M

n

= ψ

kf

1

k

∞

+

_{· · · + kf}

n−1

k

∞

2



,

then

M

n

+ ψ(x

n

)

β

n

≤ 1/2

n

;

(iii) forevery

n

≥ 1

,

kg

n

k

ψ

≥ 1/2

,with

g

n

= f

n

1I

{|f

n

|>α

n

}

. Forthis, westartwith

β

1

su hthat

1 + ψ(x

1

)

β

1

= 1/2

. Sin ethenorms

k k

ψ

and

k k

2

arenotequivalenton

X

0

,thereisan

f

1

∈ X

0

with

kf

1

k

ψ

= 1

and

P({|f

1

| > α

1

}) ≤ β

1

. Supposenowthat

f

1

, . . . , f

n−1

and

β

1

, . . . , β

n−1

havebeen

onstru ted. We hoosethen

β

n

≤ 1/2

n

inorderthat

M

n

+ ψ(x

n

)

β

n

≤ 1/2

n

.

Sin ethenorms

k k

ψ

and

k k

2

arenotequivalenton

X

0

, we annd

f

n

∈ X

0

su hthat

kf

n

k

ψ

= 1

and

kf

n

k

2

issosmallthat

P({|f

n

| > α

n

}) ≤ β

n

.

Sin e

kf

n

−g

n

k

ψ

≤ (1/a) kf

n

−g

n

k

∞

≤ α

n

/a

,wehave

kg

n

k

ψ

≥ kf

n

k

ψ

−α

n

/a

≥

1/2

,andthat nishesthe onstru tion. Now, onsider

g =

+∞

X

n=1

|g

n

| .

Set

A

n

=

{|f

n

| > α

n

}

and,for

n

≥ 1

:

B

n

= A

n

\

[

j>n

A

j

.

Wehave

P lim sup A

n

= 0

, be ause

P

n≥1

P(A

n

)

≤

P

n≥1

β

n

< +

∞

. Now

g

vanishesoutof

S

n≥1

B

n

∪ lim sup A

n

and

R

B

n

ψ(

|g

n

|) dP ≤

R

Ω

ψ(

|f

n

|) dP ≤ 1

.

Z

Ω

ψ

|g|

4



dP =

+∞

X

n=1

Z

B

n

ψ

|g|

4



dP

≤

+∞

X

n=1

Z

B

n

1

2



ψ

 kf

1

k

∞

+

· · · + kf

n−1

k

∞

2



+ ψ

|g

n

|

2



dP

by onvexityof

ψ

andbe ause

g

j

= 0

on

B

n

for

j > n

≤

1

₂

+∞

X

n=1

M

n

P(A

n

) +

1

2

+∞

X

n=1

1

2

n

Z

B

n

ψ(

_|g

n

|) dP +

1

2

+∞

X

n=1

ψ(x

n

) P(A

n

)

≤

1

₂

+∞

X

n=1

M

n

+ ψ(x

n

)

β

n

+

1

2

+∞

X

n=1

1

2

n

≤ 1 .

Hen e

g

∈ L

ψ

_(Ω)

.

It followsthattheseries

P

n≥1

g

n

isweaklyun onditionallyCau hyin

X

. Sin e

kg

n

k

ψ

≥ 1/2

,ithas,bytheBessaga-Peª zy«ski'stheorem,asubsequen e whi h is equivalent tothe anoni albasis of

c

0

. Thesameis truefor

(f

n

)

n≥1

sin e

+∞

X

n=1

kf

n

− g

n

k

ψ

≤

1

a

+∞

X

n=1

kf

n

− g

n

k

∞

≤

1

a

+∞

X

n=1

α

n

< 1 .

Thatendstheproof.



Of ourse, theproof showsthat the assumption that thenorm

k k

ψ

is not equivalent to

k k

2

an be repla ed bythe non-equivalen e of

k k

ψ

with many othernorms. Weonlyusedthefa tthatthetopologyof onvergen einmeasure isnotequivalenton

X

0

tothetopologydened by

k k

ψ

.

Whenweapplythis resulttotheprobabilityspa e

(G, m)

,weget(see[19℄, Theorem2.3):

Theorem2.2 Let

ψ

beasinTheorem2.1andlet

G

bea ompa tabeliangroup. Then,for

Λ

⊆ Γ = b

G

,either

L

ψ

Λ

has otype2, orit ontains

c

0

. In parti ular, either

Λ

is a Sidon set and

L

Ψ

2

Λ

= L

2

Λ

, or

L

Ψ

2

Λ

ontains

c

0

(andsoithasno nite otype).

Proof.Observethatwhen

L

ψ

Λ

6= L

2

Λ

,thenorms

k k

ψ

and

k k

2

arenotequivalent on

X

0

=

P

Λ

,thesubspa eof thetrigonometri polynomialswhosespe trumis ontainedin

Λ

. Sotherstpartfollowsdire tlyfromTheorem2.1. These ond onefollowsfrom Pisier's hara terizationofSidonsets([35℄,Théorème6.2):

Λ

isaSidonsetifandonlyif

L

Ψ

2

Λ

= L

2

Λ

.



Remark.Itisprovedin[19℄,Theorem2.3,that

Λ

isa

Λ(ψ)

-set(i.e.

L

ψ

Λ

= L

2

Λ

) when

L

Ψ

2

Λ

⊆ L

ψ

Λ

⊆ L

2

Λ

and

L

ψ

Λ

has otype2.

Afun tion

f

∈ C(T)

issaidtohaveauniformly onvergentFourierseriesif

kS

k

(f )

− fk

∞

−→

k→+∞

0

,where

S

k

(f ) =

k

X

j=−k

b

f (j) e

j

.

The spa e

U (T)

of uniformly onvergent Fourier series is the spa e of all

su h

f

∈ C(T)

. Withthenorm

kfk

U

= sup

k≥1

kS

k

(f )

_k

∞

,

U (T)

be omesaBana hspa e.

Aset

Λ

⊆ Z

issaidto beasetof uniform onvergen e(

U C

-set)if

U

Λ

=

C

Λ

aslinearspa es. Theyarethenisomorphi asBana hspa es. Thereexist sets

Λ

whi h are not

U C

-sets, but for whi h

C

Λ

doesnot ontain

c

0

(for instan e, aRosenthalset whi h ontainsarbitrarilylongarithmeti alprogressions[38℄). For

U

Λ

thesituation isdierent;wehave:

Theorem3.1 If

Λ

isnot a

U C

-set, then

U

Λ

ontains

c

0

. Corollary3.2 If

U

Λ

hasanite otype, then

Λ

is aSidonset.

Proof. If

U

Λ

hasanite otype,it annot ontain

c

0

. Hen e

U

Λ

isisomorphi to

C

Λ

. It follows that

C

Λ

has a nite otype, and so

Λ

is a Sidon set, by

Bourgain-Milman'stheorem [3℄.



Remark.Thisresultwasprovedin[19℄,Theorem1.2,byadaptingtheproofof BourgainandMilman. Nowitbe omes learwhythisproofhappenedtomimi theoriginalone.

ProofofTheorem3.1. Sin e

Λ

isnota

U C

-set,thereexistsatrigonometri polynomial

P

1

∈ C

Λ

su h that

kP

1

k

U

= 1

and

kP

1

k

∞

≤ 1/2

. Let

N

1

≥ 2

su h that

P

c

1

(n) = 0

for

|n| ≥ N

1

. Thespa es

U

Λ\Λ∩{−N

1

+1,...,0,...,N

1

−1}

and

C

Λ\Λ∩{−N

1

+1,...,0,...,N

1

−1}

remainnon-isomorphi ,andsowe annda trigono-metri polynomial

P

2

su h that

P

c

2

(n) = 0

for

|n| ≤ N

1

− 1

with

kP

2

k

U

= 1

and

kP

2

k

∞

≤ 1/4

. Carryingonthis onstru tion,wegetasequen eofintegers

2

_{≤ N}

1

< N

2

<

· · ·

andasequen eoftrigonometri polynomials

P

l

∈ C

Λ

su h

that

kP

l

k

U

= 1

,

kP

l

k

∞

≤ 1/2

l

and

P

b

l

(n) = 0

for

n /

∈ {±N

l−1

, . . . ,

±(N

l

− 1)}

.

Forea h

k

≥ 1

,let

l

k

su hthat

N

l

k

≤ k < N

l

k

+1

. Wehave,when

L

≥ l

k

+ 1

:

S

k



_X

L

l=1

a

l

P

l



∞

≤

l

k

X

l=1

a

l

P

l

∞

+

ka

l

k

+1

S

k

(P

l

k

+1

)

k

∞

≤ max

_1≤j≤l

k

|a

j

|

l

k

X

l=1

kP

l

k

∞

+

|a

l

k

+1

| kP

l

k

+1

k

U

≤ 2 max{|a

1

|, . . . , |a

l

k

|, |a

l

k

+1

|, . . . , |a

L

|} .

Theinequality

S

k

P

L

l=1

a

l

P

l

_∞

≤ 2 max{|a

1

|, . . . , |a

l

k

|, |a

l

k

+1

|, . . . , |a

L

|}

re-mainstriviallytruefor

L

≤ l

k

,be auseinthis ase

S

k

P

L

l=1

a

l

P

l

=

P

L

l=1

a

l

P

l

. Thereforeweget

L

X

l=1

a

l

P

l

_U

≤ 2 max{|a

1

|, . . . , |a

L

|} .

Itfollowsthat theseries

P

l≥1

P

l

is weaklyun onditionallyCau hy. Sin eitis obviouslynot onvergent,

U

Λ

ontainsasubspa eisomorphi to

c

0

by Bessaga-Peª zy«ski'stheorem (see[6℄,pages4445,Theorem6andTheorem 8).



Remark 1. There isthe strongernotionof

CU C

-set.

Λ

⊆ Z

isa

CU C

-set if

P

k

2

j=k

1

f (j) e

b

j

− f

∞

k

1

−→

→−∞

k

2

→+∞

0

forevery

f

∈ C

Λ

. Obviously,forsubsets of

N

,

thetwonotions oin ide. Theorem 3.1 is not valid for

CU C

-sets: let

H

be a Hadamardla unary sequen e. Then

Λ = H

− H

is nota

CU C

-set (Fournier [8℄),but itis

U C

andRosenthal,sothat

U

Λ

=

C

Λ

doesnot ontain

c

0

.

However, it is not known whether

C

Λ

1

∪Λ

2

la ks

c

0

whenever this is true for

C

Λ

1

and

C

Λ

2

. If werepla e the spa e

C(G)

by

U (T)

, the answer is in the negative. Indeed, J. Fournier shows ([8℄), ompleting Soardi and Travaglini's work [43℄, that there exist two

U C

-sets

Λ

1

, Λ

2

⊆ Z

, whi h are Rosenthalsets,

but

Λ

1

∪ Λ

2

= H + H

− H

isnot

U C

. Therefore

U

Λ

1

=

C

Λ

1

and

U

Λ

2

=

C

Λ

2

do not ontain

c

0

,though

U

Λ

1

∪Λ

2

ontains

c

0

.

Remark2.

U C

-sets

Λ

forwhi h

C

Λ

ontains

c

0

are onstru tedin[24℄. Remark 3. We stated Theorem 3.1 for uniform onvergen e be ause it is the lassi al ase. A tually, J. Fournier ([8℄, page 72) and S. Hartman ([13℄, page107)introdu ed thespa e

L

1

− UC

asthe setof all

f

∈ L

1

_(T)

forwhi h

kS

k

(f )

− fk

1

−→

k→+∞

0

. Itisnormedby

kfk

U L

1

= sup

k≥1

kS

k

(f )

k

1

.

Λ

issaidto bean

L

1

− UC

-setif

(L

1

− UC)

Λ

= L

1

Λ

. Thesameproofasaboveshowsthatif

(L

1

− UC)

Λ

6= L

1

Λ

,then

(L

1

− UC)

Λ

ontains

c

0

. Moregenerally,let

Λ

⊆ Z

and

let

X

beaBana hspa e ontained,asalinearsubspa e,in

L

1

_(T)

su hthatthe linearspa egenerated by

X

∩ Λ

isdense in

X

. We andene

X

− UC

in an obviousway,andwehave: if

X

− UC

isnotisomorphi to

X

,thenit ontains

Wegiveanother onsequen eofTheorem3.1. Re all(see[30℄)that

Λ

⊆ Γ

is aRieszset ifeverymeasurewithspe trumin

Λ

isabsolutely ontinuous,with respe ttotheHaarmeasure(inshort,

M

Λ

= L

1

Λ

).

Corollary3.3 If

U

Λ

doesnot ontain

c

0

,then

Λ

isaRieszset.

Proof. If

U

Λ

6⊇ c

0

,then

U

Λ

=

C

Λ

, byTheorem3.1, andso

C

Λ

6⊇ c

0

. Itfollows thenthat

Λ

isaRiesz set (F. Lust-Piquard[25℄, her rstThéorème 3.1). Let usre allwhy. For

µ

∈ M

Λ

, the onvolutionoperator

C

µ

: f

∈ C(G) 7→ f ∗ µ ∈

C

Λ

⊆ C(G)

isweakly ompa t,be ause

C(G)

hasPeª zy«ski'sproperty

(V )

and

C

Λ

6⊇ c

0

. Itsadjointoperator

ν

∈ M(G) 7→ ν ∗ µ ∈ M

Λ

isalsoweakly ompa t. Hen e,if

(K

j

)

j

is anapproximateunit forthe onvolution,thereis asequen e

(j

n

)

n

su hthat

K

j

n

∗ µ

isweakly onvergent. Sin e

K

j

∗ µ

onvergesweak-star to

µ

,itfollowsthat

µ

∈ L

1

Λ

.



Remark. Anotherproof an begiven,without usingTheorem 3.1, but using

that

U (T)

hasPeª zy«ski'sproperty

(V )

(Sa one[42℄,Theorem2.2;for

U

N

(T)

,

seeBourgain[1℄,Lemme2andLemme3,andSa one[41℄,Theorem4.1). Then, asbefore,

K

j

n

∗ µ

isweakly onvergent,in

U (T)

∗

thistime. Sothereare onvex ombinationswhi h onvergein thenorm of

U (T)

∗

. Butthenthey onvergein thenormof

U

N

(T)

∗

,andso

u

∈ L

1

_(G)

(seeD.Oberlin[33℄,page310). Notethat Oberlin'sargument(aswellasBourgain'sone)dependsonCarleson'sTheorem (via[47℄).

4 Invariant means and Hilbert sets

Aninvariantmean

M

on

L

∞

_(G)

isa ontinuouslinearfun tionalon

L

∞

_(G)

su h that

M (1I) =

kMk = 1

and

M (f

x

) = M (f )

for every

f

∈ L

∞

_(G)

. The Haarmeasure

m

denesan invariantmean,andW. Rudin ([40℄)showedthat, forinnite ompa tabeliangroups

G

,therealwaysexistotherinvariantmeans on

L

∞

_(G)

. Afun tion

f

∈ L

∞

_(G)

hasauniqueinvariantmeanif

M (f ) = b

f (0)

for everyinvariant mean

M

on

L

∞

_(G)

. Every ontinuous fun tion (or, even, everyRiemann-integrablefun tion: [39℄,page38,or[44℄)hasauniqueinvariant mean.

Denition4.1 A subset

Λ

of

Γ = b

G

is alled a Lust-Piquardset if

γf

has a uniqueinvariant meanfor every

f

∈ L

∞

Λ

andevery

γ

∈ Γ

.

In other words,

Λ

is aLust-Piquard set if for everyinvariantmean

M

on

L

∞

_(G)

andevery

f

∈ L

∞

Λ

,onehas:

M (γf ) = b

f (

−γ).

In[26℄ (andthenin [21℄;see also[28℄),F. Lust-Piquard alled themtotally ergodi sets. Weuseadierent namebe ause J.Bourgain([2℄,2.I, page206), usedtheterminologyergodi set foranotherproperty(seealso[24℄).

Notethat itis requiredthat theinvariantmeansagreeon

S

γ∈Γ

L

∞

Λ−γ

,and notonly on

L

∞

Λ

, be ausethe invariant means may oin ide on

L

∞

Λ

for trivial reasons; for instan e, all the invariant means are equal to

0

on

L

∞

2Z+1

(sin e

f (x + 1/2) =

−f(x)

for

f

∈ L

∞

2Z+1

). It is learthat if

Λ

is aLust-Piquardset, then

Λ

− γ

isalsoaLust-Piquardsetforevery

γ

∈ Γ

.

It is obvious that every Rosenthal set is a Lust-Piquard set (sin e every ontinuousfun tion hasauniqueinvariantmean),anditis shownin [21℄ that everyLust-Piquardset is aRiesz set. Onthe other hand,Y. Katznelson(see [39℄,pages3738)provedthat

N

isnotaLust-Piquardset.

F.Lust-Piquard([27℄,Theorem2andTheorem4)showedthat

Λ = P

∩(5Z+

2)

,where

P

istheset oftheprimenumbers,istotallyergodi (a Lust-Piquard set,withourterminology)although

C

Λ

ontains

c

0

.

Inthefollowingtheorem, wegiveanother exampleof su h asituation. Let us re all that

H

⊆ Z

is a Hilbert set if there exist two sequen es of integers

(p

n

)

n≥1

and

(q

n

)

n≥1

,with

q

n

6= 0

,su h that

H =

[

n≥1



p

n

+

n

X

k=1

ε

k

q

k

; ε

1

, . . . , ε

n

= 0 or 1

.

Itisshownin [22℄,Theorem2,that

C

H

ontains

c

0

when

H

isaHilbert set. Theorem4.2 ThereexistsaHilbertset

H

⊆ N

whi h isaLust-Piquardset.

Webeginwithalemma,whi h isimpli itin [27℄,proofofTheorem4. Lemma4.3 The family of Lust-Piquard sets in

Γ

is lo alizable for the Bohr topology.

Let us re all that the Bohr topology of a dis rete abelian group

Γ

is the topologyofpointwise onvergen e,when

Γ

isseenasasubsetof

C(G)

;itisalso the naturaltopology on

Γ

asa subset of the dual group of

G

d

, the group

G

withthedis retetopology. A lass

F

ofsubsetsof

Γ

islo alizable for the Bohr topology if

Λ

∈ F

wheneverforevery

γ

∈ Γ

thereisaneighbourhood

V

γ

of

γ

for theBohrtopologysu hthat

Λ

∩ V

γ

∈ F

. ThisnotionisduetoY.Meyer([30℄).

Forthesakeof ompleteness,weshallgiveaproof.

ProofofLemma4.3. Wearegoingtoprovethatif

V

γ

isaneighbourhoodof

γ

_{∈ Γ}

su h that

Λ

∩ V

γ

is aLust-Piquardset, then

γf

hasauniqueinvariant meanforevery

f

∈ L

∞

Λ

,andthatwill provethelemma. Bythe regularityof thealgebra

L

1

_(G

d

) = ℓ

1

(G) =

M

d

(G)

, there exists a

dis retemeasure

ν

∈ M

d

(G)

su h that

bν(γ) = 1

and

bν = 0

outside

V

γ

. Sin e

(γf )

∗ (γν) ∈ L

∞

(Λ∩V

γ

)−γ

,andsin e

(Λ

∩ V

γ

)

− γ

isaLust-Piquardset,wehave:

M (γf )

∗ (γν)

=

[(γf )

\

∗ (γν)](0) = b

f (γ)

bν(γ) = b

f (γ).

But

γν

isadis retemeasure,andwehave,foreverydis retemeasure

µ

:

for every

g

∈ L

∞

_(G)

and every invariant mean

M

. This is so sin e, if

µ =

P

k

a

k

δ

x

k

,with

P

k

|a

k

| < +∞

,wehave

M (µ

_{∗ g) =}

X

k

a

k

M (g

x

k

) =

X

k

a

k

M (g).

Hen e

M (γf ) = b

f (γ)

,asrequired.



ProofofTheorem4.2. Wearegoingto onstru taHilbertset

H

⊆ N

whi h isdis retein

Z

fortheBohrtopology. Forsu h aset, thereis,forevery

k

∈ Z

, someBohr-neighbourhood

V

k

of

k

su hthat

H

∩V

k

isnite. Therefore,wehave

L

∞

H∩V

k

=

C

H∩V

k

,andso

H

∩ V

k

isaLust-Piquardset.

Let

(d

n

)

n≥0

beastri tlyin reasingsequen eof positiveintegerssu hthat:

d

n

| d

n+1

,

n

≥ 0 ,

+∞

X

n=0

2

n+1

d

n

< 1 .

Forevery

k

∈ Z

, onsider:

V (k) = k + d

|k|

Z ,

whi hisaBohr-neighbourhoodof

k

.

Now, wearegoing toshowthatwe an hoose,for every

n

≥ 0

, aninteger

r

n

∈ {0, 1, 2, . . . , d

n

− 1}

su hthat, if

H

n

= d

n

+ r

n

+

n

n−1

_X

l=0

ε

l

d

l

; ε

l

= 0 or 1

o

,

then

H

p

∩ V (k) = ∅

forevery

k

∈ Z

andevery

p >

|k|

. Theset

H =

S

n≥0

H

n

will bethe required set.

We are going to do this by indu tion. First, we may hoose an arbitrary

r

0

∈ {0, 1, 2, . . . , d

0

− 1}

,andweset

H

0

=

{d

0

+ r

0

}

. Supposenowthatwehave

found

r

1

, r

2

, . . . , r

p−1

su hthattheprevious onditionsarefullled:

H

j

∩ V (k) = ∅ ,

for 1

≤ j ≤ p − 1 , |k| < j .

Tond

r

p

,note that

m

∈ H

p

∩ V (k)

ifandonlyif

m

_{∈ k + d}

|k|

Z

(1)

andthereexist

ε

0

, ε

1

, . . . , ε

p−1

∈ {0, 1}

su hthat

m = d

p

+ r

p

+

p−1

X

l=0

Sin e, for

0

≤ l < p

, one has

d

l

| d

l+1

| · · · | d

p

, onditions

(1)

and

(2)

are equivalentto

r

p

≡ 0 (mod d

0

)

,for

k = 0

,and,for

1

≤ l = |k| < p

,to:

k

_{≡ r}

p

+

|k|−1

X

j=0

ε

j

d

j

(mod d

|k|

) .

Forea hsu h

k

(

0

≤ |k| < p

),thereare

d

p

d

|k|

· 2

|k|

possible hoi esfor

r

p

. As

d

p

d

0

+ 2

p−1

X

l=1

2

l

d

p

d

l

≤

d

p

d

0

+ 2

+∞

X

l=1

2

l

d

p

d

l

< d

p

,

by hypothesis, we an nd an

r

p

∈ {0, 1, . . . , d

p

− 1}

su h that the set

H

p

onstru tedfrom itveries

H

p

∩ V (k) = ∅

for

|k| < p

. That endstheproof.



Remark 1. Someparti ular Hilbert sets are the

IP

-sets, i.e. the sets

F

for whi hthere existsasequen e

(p

n

)

n≥1

ofintegerssu hthat

F =

n

n

X

k=1

ε

k

p

k

; ε

1

, . . . , ε

n

= 0 or 1 , n

≥ 1

o

.

Question. Doesthereexistan

IP

-set

F

whi hisaLust-Piquardset?

Everypointofan

IP

-set

F

isnon-isolatedin

F

(see[10℄,Theorem2.19;note that everypointof an

IP

-set is inside the translation by this pointof a

sub-IP

-set). Thereforewe annot useanargumentsimilarto that ofthe previous theorem. Hilbert sets and

IP

-setsare dierent in several ways. Forinstan e, everyset

Λ

⊆ Z

whi hhasapositiveuniformdensity ontainsaHilbertset([14℄, Theorem11.11;[22℄,Theorem4),butnotne essarilyan

IP

-set([14℄,Theorem 11.6;[32℄,page151). Anotherdieren eisthat

C

Λ

neverhastheUn onditional Metri Approximation Property if

Λ

⊆ Z

is an

IP

-set ([23℄, Proposition 11), but anhavethispropertywhen

Λ

isaHilbertset ([23℄,Theorem10).

Remark2. Let

F

bea lassofsubsetsof

Γ

,whi h ontainsallthenitesets, and whi h is lo alizable for the Bohr topology. It follows from the proof of Theorem4.2thatsu ha lassmust ontainsomeHilbert sets. Inparti ular

F

hasto ontain sets

Λ

su h that

Λ

ontainsparallelepipeds of arbitrarily large dimensions. Notethatthislastassertionisa tuallyimpli itin[27℄. Indeed,by Diri hlet'stheorem,

P

n∈P∩(5Z+2)

1

n

= +

∞

, and by [31℄, Corollary2, we have

P

n∈Λ

1

n

< +

∞

when

Λ

does not ontain parallelepipeds of arbitrarily large

dimensions. It isknownthatthesetsbelongingto thefollowing lasses annot ontainparallelepipedsofarbitrarilylargedimensions:

a)

Λ(p)

-sets (see[31℄,Theorem3,and[9℄, Theorem4); b)

U C

-sets([9℄,Theorem4);

)

p

-Sidonsets([15℄,Lemma 1);

d) stationarysets([18℄, Proposition2.5);

e)

q

-Ridersets(see[24℄or[19℄forthedenition). Notethat,for

1

≤ q < 4/3

,

q

-Ridersetsare

p

-Sidonsets,forevery

p > q/(2

− q)

(see[20℄),andsothe result is in ). For

4/3

≤ q < 2

, there is no expli it published proof of that,andthereforeweshallgiveoneinProposition4.4,afterthisRemark.

Hen ethese lassesarenotlo alizablefortheBohrtopology.

Thisremarkshowsthatthereisnohopeto onstru tsetsoftheabove lasses bywayoflo alization.

Proposition 4.4 If

Λ

is a

q

-Rider set,

1

≤ q < 2

, then

Λ

annot ontain parallelepipeds ofarbitrarily largedimensions.

Proof. A Sidon set (with onstant lessthan

10

, say) inside aparallelepiped

P

of size

2

n

annot ontainmorethan

C n log n

elements([16℄, Chapter6,Ÿ3, Theorem 5, page71), whereas if

P

were ontainedin a

q

-Rider set, it should ontainaquasi-independent(hen eSidonwith onstantlessthan

10

)setofsize atleast

C 2

εn

,with

ε = (2

− q)/q

([36℄,or[37℄,Teorema2.3).



NotethatanotherproofofProposition4.4isimpli itin[15℄. Indeedtheproof givenin[15℄,Lemma1,that

p

-Sidonsetssharethispropertyonlyusesthefa t, provedin[4℄,Eq.

(9)

,thatif

Λ

isa

p

-Sidonset,then,with

α = 2p/(3p

−2)

,there is a onstant

C > 0

su h that

kfk

r

≤ C

√

_r

k b

f

_k

α

for all

r

≥ 2

(equivalently:

kfk

Ψ

2

≤ C

′

k b

f

_k

α

)forevery

f

∈ C

Λ

. Nowthefourth-namedauthorprovedthat theseinequalities hara terize

p

-Ridersets([36℄;seealso[37℄,Teorema2.3).

5 Complemented subspa es

Sin e

Λ

is a Rosenthal set if

L

∞

Λ

=

C

Λ

, it is naturalto ask whether

Λ

is a Rosenthal set if there exists a proje tion from

L

∞

Λ

onto

C

Λ

. We have not beenableto answerthis, evenifthisproje tionwere tohavenorm

1

(see[12℄, wherethe onditionthat thespa edoesnot ontain

ℓ

1

is ru ial),but wehave apartial result. Re all thatitis notknownwhether

C

Λ

6⊇ c

0

impliesthat

Λ

is aRosenthalset.

Theorem5.1 Let

Λ

⊆ Γ

be su h that there exists a surje tive proje tion

P : L

∞

Λ

→ C

Λ

. Then

C

Λ

does not ontain

c

0

. Moreover, every Riemann-integrable fun tion in

L

∞

Re allthatafun tion

h : G

→ C

isRiemann-integrable ifitisboundedand almost everywhere ontinuous. A tually, the last assertion of the proposition meansthateveryelementof

L

∞

Λ

whi h ontainsaRiemann-integrablefun tion ontainsalsoa ontinuousone.

Proof.1)By[22℄,Proposition14,if

C

Λ

ontains

c

0

,thereisasequen e

(f

n

)

n≥1

in

C

Λ

,whi hisequivalenttothe anoni albasisof

c

0

,andwhose

w

∗

linearspan

F

in

L

∞

Λ

isisomorphi to

ℓ

∞

. Therestri tion

P

|F

isaproje tionfrom

F

onto asubspa eof

C

Λ

whi h ontains

E = span

{f

n

; n

≥ 1}

.

Observethat

E

is aseparablesubspa eof

C

Λ

. Sothere exists a ountable subset

Λ

1

⊆ Λ

su hthat

E

⊆ C

Λ

₁

. Moreover,thereexistsa ountablesubgroup

Γ

0

⊆ Γ

su hthat

Λ

1

is ontainedin

Γ

0

. Taking

Λ

0

= Λ

∩ Γ

0

,wehave

E

⊆ C

Λ

₀

, and

C

Λ

0

isaseparablespa e.

Theset

Γ

0

beingasubgroup, thereexists ameasure

µ

on

G

whoseFourier transformis

µ = 1I

b

Γ

0

. Themap

f

7→ f ∗ µ

givesaproje tionfrom

C

Λ

onto

C

Λ

0

, and Sob zyk's theorem givesa proje tion from

C

Λ

0

onto

E

. Sothere exists a proje tionfrom

F

≃ ℓ

∞

onto

E

≃ c

0

,whi hisa ontradi tion.

2)Werstassumethatthegroup

G

ismetrizable,sothat

C(G)

isseparable. Let

RI

Λ

bethesubspa eof

L

∞

Λ

onsisting ofRiemann-integrablefun tions (morepre isely: theelementsof

L

∞

Λ

whi hhaveaRiemann-integrable represen-tative).

Considertherestri tionof

P

to

RI

Λ

. For

f

∈ RI

,theset

{x 7→ ξ(f

x

) ; ξ

∈ L

∞

(G)

∗

,

kξk ≤ 1}

isstable ([46℄, Theorem15-6 )). Let

µ

∈ (C

Λ

)

∗

,and set

ϕ(x, y) = P

∗

_µ

y

)(f

x

)

for

x, y

∈ G

. The map

x

∈ G 7→ f

x

∈ L

∞

_(G)

is s alarly measurable ([45℄, Theorem16)and

y

7→ P

∗

_µ

y

is ontinuousforthe

w

∗

-topology. Moreover

{x 7→

(P

∗

_µ

y

)(f

x

) ; y

∈ G}

is stable, so by [46℄, Theorem 10-2-1,

ϕ

is measurable.

Measurabilityrefershereto the ompletion ofthe produ tmeasure

m

⊗ m

on

G

_{× G}

, so in orderto dedu e that themap

x

∈ G 7→ ϕ(x, x) = (P

∗

_µ

x

)(f

x

)

is measurable,weneedthefollowinglemma(notethatour

ϕ

isbounded). Lemma5.2 Let

G

beametrizable ompa t abelian group, and

ϕ : G

× G → C

afun tion su hthat:

1)

ϕ

∈ L

∞

_(G

× G)

;

2)the map

y

7→ ϕ(x, y)

is ontinuous,for every

x

∈ G

.

Then themap

x

7→ ϕ(x, x)

ismeasurable.

Proof.

G

being metrizable, there exists a bounded sequen e

(f

n

)

n

in

L

1

_(G)

su hthat

g(0) = lim

n→∞

Z

G

f

n

g dm ,

forevery

g

∈ C(G)

. (3)

Thissequen e

(f

n

)

n

representsanapproximateidentity.

Forevery

n

, thefun tion

(x, y)

7→ f

n

(x

− y)ϕ(x, y)

is integrablein

G

× G

. Dene

F

n

(x) =

Z

G

f

n

(x

− y) ϕ(x, y) dm(y) =

Z

G

f

n

(t) ϕ(x, x

− t) dm(t).

ByFubini'stheorem

F

n

isdenedalmosteverywhere,and isintegrable. So

F

n

ismeasurable,forevery

n

. Thelemmafollowssin e,by

(3)

,

ϕ(x, x) = lim

n→∞

F

n

(x) ,

forevery

x

∈ G

.



The fa t that the map

x

∈ G 7→ (P

∗

_µ

x

)(f

x

) = < µ,



P (f

x

)



_−x

>

is

mea-surablemeans,sin e

µ

is arbitrary, that

x

7→



P (f

x

)



_−x

∈ C

Λ

is s alarly mea-surable. Sin e wehave assumed that

C(G)

is separable, this map is strongly measurable,byPettis'smeasurabilitytheorem([7℄,IIŸ1,Theorem2). Nowwe showedinthebeginningoftheproofthat

C

Λ

doesnot ontain

c

0

;so aresultof J.Diestel[5℄(see[7℄,II,Ÿ3,Theorem7)saysthatthismapisPettis-integrable, whi hmeansthatifwedene

Qf

using

< Qf, µ > =

Z

G

< f

x

, P

∗

(µ

x

) > dx ,

forevery

µ

∈ (C

Λ

)

∗

,then

Q

maps

RI

Λ

into

C

Λ

,andnotonlyintoitsbidual(see the denition of Pettis-integrability in [7℄, II, Ÿ3,page 53, Denition 2, or in [46℄,Denition 4-2-1).

Thus

Q

isaproje tionfrom

RI

Λ

onto

C

Λ

su hthat

Q(f

x

) = (Qf )

x

forevery

f

∈ RI

Λ

andevery

x

∈ G

.

Wewanttoprovethat

Qf = f

forevery

f

∈ RI

Λ

, andforthat wehaveto

see that

Qf(γ) = b

c

f (γ)

forevery

γ

∈ Γ

. Butit su es to showthat

Qf (0) =

c

b

f (0)

, sin e, after repla ing

Λ

by

(Λ

− γ)

and

Q

by

Q

γ

: L

∞

Λ−γ

→ C

Λ−γ

, with

Q

γ

(g) = γQ(γg)

,wethengetfor

f

∈ RI

Λ

with

g = γf

:

c

Qf(γ) = [γ(Qf )]

_{b(0) = d}

Q

γ

g(0) =

bg(0) = d

(γf )(0) = b

f (γ) .

So,let

f

∈ RI

Λ

. EveryRiemann-integrablefun tionhasauniqueinvariant mean([39℄, Lemma7;[44℄);hen ethereare([39℄, Propositionpage38; or[26℄, Proposition 1) onvex ombinations

P

k∈I

n

c

n,k

f

x

n,k

,

c

n,k

> 0

,

P

k∈I

n

c

n,k

= 1

, of

translates of

f

whi h onverge in norm to the onstant fun tion

f (0) 1I

b

. We have:

Q

 X

k∈I

n

c

n,k

f

x

n,k



−→

n→+∞

Q bf(0)1I = bf(0)1I.

But

Q

P

k∈I

n

c

n,k

f

x

n,k

=

P

_k∈I

_n

c

n,k

(Qf )

x

n,k

,and itsFourier oe ientat

0

is:

X

k∈I

n

c

n,k

Qf(0) = c

c

Qf(0) .

Therefore

Qf(0) = b

c

f (0)

.



3)Inordertonishtheproof, wehavetoexplainwhywemayassumethat

G

ismetrizable.

Let

Λ

beasinthetheorem, and

f

∈ RI

Λ

. Asexplainedin theproofof the rstpartof the theorem, there exists a ountable subgroup

Γ

0

⊆ Γ

su h that

f

_{∈ RI}

Λ

0

,for

Λ

0

= Λ

∩ Γ

0

,andthereexistsaproje tionfrom

L

∞

Λ

0

onto

C

Λ

Let

H

betheannihilatorof

Γ

0

; that is,

H

isthefollowing losedsubgroup of

G

:

H = Γ

⊥

0

=

{x ∈ G ; γ(x) = 1, ∀γ ∈ Γ

0

}.

Thequotientgroup

G/H

ismetrizablesin eitsdualgroup

Γ

0

is ountable.Let

π

H

denotethequotientmapfrom

G

onto

G/H

. Itisknownthatthatthemap

g

7→ g ◦ π

H

givesanisometryfrom

L

∞

Λ

0

(G/H)

onto

L

∞

Λ

0

(G)

sending

C

Λ

₀

(G/H)

onto

C

Λ

0

(G)

.

Inorder to nishour redu tionto themetrizable asewe onlyhaveto see that this isometry sends

RI

Λ

0

(G/H)

onto

RI

Λ

0

(G)

. It is easyto see, via the

map

g

7→ g ◦ π

H

, that having aRiemann-integrablefun tion

g : G/H

→ C

is

thesameashavingaRiemann-integrablefun tion

g : G

→ C

withtheproperty

g(x+h) = g(x)

,forevery

x

∈ G

andevery

h

∈ H

. Thereforetheaboveisometry

sends

RI

Λ

0

(G/H)

into

RI

Λ

0

(G)

. Thesurje tivityofthismapisa onsequen e ofthefollowingproposition:

Proposition 5.3 Let

f : G

→ C

be a Riemann-integrable fun tion su h that

b

f (γ) = 0

,forevery

γ

∈ Γ \ Γ

0

. Then thereexistsaRiemann-integrablefun tion

g : G

_{→ C}

su hthat:

a)

f = g

almost everywhere;

b)

g(x) = g(x + h)

,for all

x

∈ G

andfor all

x

∈ H

.

Proof. We an and we will assume that

f

is in fa t real valued. Take an in reasingsequen e

(K

n

)

n

of ompa t subsetsof

G

su h that, if

B =

S

n

K

n

, then:

i) f

is ontinuousateverypointof

B

;

ii) m(G

\ B) = 0

.

Using the ompa tnessof

K

n

andthe ontinuityof

f

on

B

, one annd a neighbourhood

W

n

of

0

su hthat

|f(x) − f(x + y)| ≤

_n

1

,

forevery

x

∈ K

n

,and every

y

∈ W

n

. (4)

Let

(V

n

)

n

beade reasingsequen eofopensymmetri neighbourhoodsof

0

su hthat

V

n

+ V

n

⊆ W

n

,forevery

n

. Forevery

n

,dene

f

n

as:

f

n

(x) =

1

m(V

n

)

Z

V

n

f (x

− y) dm(y) ,

x

∈ G.

f

n

isa ontinuousfun tion sin eitisthe onvolutionof

f

and

ψ

n

=

1

m(V

n

)

1I

V

n

.

Wealsohave

c

f

n

(γ) = b

f (γ)c

ψ

n

(γ) = 0 ,

forall

γ

∈ Γ \ Γ

0

.

Thenthe ontinuousfun tion

f

n

onlydependsonthe lassesin

G/H

;that is,

g(x) =

1

2



lim sup

n→∞

f

n

(x) + lim inf

n→∞

f

n

(x)



,

x

∈ G.

It is lear that

g(x) = g(x + h)

, for all

x

∈ G

and for all

h

∈ H

. Sin e

V

n

⊆ W

n

, we have from

(4)

that

|f

n

(x)

− f(x)| ≤ 1/n

, for all

x

∈ K

n

. If

x

_{∈ B =}

S

_n

K

n

, then there exists

N

su h that

x

∈ K

n

, for all

n

≥ N

.

Therefore

|f

n

(x)

− f(x)| ≤ 1/n

, for all

n

≥ N

, and

g(x) = f (x)

. So

f = g

almosteverywhere.

In order to nish theproofweare going to see that everypoint of

B

is a pointof ontinuityof

g

, andso

g

isRiemann-integrable. Let

x

bein

B

. Given

ε > 0

, there exists

N

su h that

1/N

≤ ε

and

x

∈ K

n

, for all

n

≥ N

. Weare

goingto prove

|g(x) − g(x + y)| ≤ ε,

forevery

y

∈ V

N

. (5)

So

g

willbe ontinuousat

x

.

Take

n

≥ N

, and

y

∈ V

N

. Forevery

z

∈ V

n

wehave

x + y + z

∈ W

N

,and

|f(x) − f(x + y + z)| ≤ 1/N

. Bythedenitionof

f

n

weget

|f(x) − f

n

(x + y)

| ≤

1/N

,forevery

n

≥ N

. Thenweobtain

(5)

easily,sin e

f (x) = g(x)

.



Remarks. 1) A tually theproofshows that if

Λ

is aLust-Piquardset and if thereexistsasurje tiveproje tion

Q : L

∞

Λ

→ C

Λ

whi h ommuteswith transla-tions,then

Λ

isaRosenthalset.

2) Talagrand's work [45℄ uses Martin's axiom, and, in [46℄, another ax-iom, alled

L

. Buttheseaxiomsdonotinterveneintheresultsweuse(theyare neededto obtainRiemann-integrability from theweakmeasurabilityof trans-lations: see[46℄,Theorem15-4).

3)F.Lust-PiquardandW.S ha hermayer([29℄,CorollaryIV.4and Propo-sitionIV.15;seealso[11℄,TheoremV.1,CorollaryVI.18,andExampleVIII.10) showedthat if

L

1

_(G)/L

1

Γ\(−Λ)

doesnot ontain

ℓ

1

(whi h is equivalentto

L

∞

Λ

havingtheweakRadon-Nikodymproperty[46℄,Corollary(7-3-8)),then

L

∞

Λ

=

RI

Λ

. Hen e

Λ

must be aRosenthal set if

L

∞

Λ

has the weak Radon-Nikodym propertyandthereexistsaproje tionfrom

L

∞

Λ

onto

C

Λ

. However,adire tproof isavailable. Foramoregeneralresult,see [11℄,ExamplefollowingProposition VII.6.

4) Therstpartoftheproofis thesameastheoneused byA.Peª zy«ski ([34℄,Cor. 9.4(a))toshowthat

A(D) =

C

N

isnot omplementedin

H

∞

_{= L}

∞

N

. Question. When

Λ

is not a Rosenthal set, or, merely when

C

Λ

ontains

c

0

, howbig an

L

∞

Λ

/

C

Λ

be?

Referen es

[1℄ J. Bourgain, Quelques propriétés linéaires topologiques de l'espa e des séries de Fourier uniformément onvergentes, Séminaire d'Initiation à

l'Analyse (G.Choquet, M. Rogalski, J. Saint-Raymond), 1982/83, n

◦

14, UniversitéPierre etMarieCurie,ParisVI(1983).

[2℄ J. Bourgain,An approa h topointwiseergodi theorem, Le ture Notesin Math. 1317(1988)204223.

[3℄ J.BourgainandV.Milman,Di hotomiedu otypepourlesespa es invari-ants,C.R.A.S. Paris300(1985)263266.

[4℄ M. Bo

˙z

ejko and T.Pytlik, Sometypes ofla unary Fourierseries, Colloq. Math.25(1972)117124.

[5℄ J.Diestel,Appli ationsofweak ompa tnessandbasestove tormeasures andve torialintegration,RevueRoumaineMath.PuresetAppl.18(1973) 211224.

[6℄ J.Diestel,Sequen esandSeriesinBana hSpa es,GraduateTextsinMath. 92,Springer-Verlag(1984).

[7℄ J. Diestel and J. J. Uhl Jr, Ve tor Measures, Math. Surveys 15, Amer. Math. So .,Providen e(1977).

[8℄ J.J.F.Fournier,Two

U C

-setswhoseunionisnota

U C

-set,Pro . Amer. Math. So . 84(1982)6972.

[9℄ J. Fournierand L.Pigno, Analyti andarithmeti propertiesof thin sets, Pa i J. Math.105(1983)115141.

[10℄ H. Furstenberg, Re urren e in ergodi theory and ombinatorial number theory,M.B.PorterLe tures,Prin eton UniversityPress,Prin eton,N.J. (1981).

[11℄ N.Ghoussoub,G.Godefroy,B.MaureyandW.S ha hermayer,Some topo-logi al and geometri al stru tures in Bana h spa es, Mem. Amer. Math. So .70(1987),n

◦

378.

[12℄ G. Godefroy, Existen e and uniqueness of isometri preduals: a survey, Contemporary Math.85(1989)131193.

[13℄ S. Hartman, Some problems and remarks on relative multipliers, Colloq. Math. 54(1987)103111.

[14℄ N.Hindman,UltraltersandCombinatorialNumberTheory,Le tureNotes in Math.n

◦

751,pages119184,Springer(1979).

[15℄ G.W.JohnsonandG.S.Woodward,On

p

-Sidonsets,IndianaUniv.Math. J. 24(1974)161167.

[16℄ J.-P.Kahane,Somerandomseriesoffun tions,Se ondedition,Cambridge studiesin adv.math.5,CambridgeUniv.Press(1985).

lation invariant spa es of fun tions on ompa t abelian groups, Math. Na hri hten94(1980)303340.

[18℄ P.Lefèvre,Onsomepropertiesofthe lassofstationarysets,Colloq.Math. 76(1998)118.

[19℄ P. Lefèvre, D. Li, H. Queéle and L. RodríguezPiazza, La unary Sets and Fun tion Spa es with nite otype,Journal Fun t. Anal. 188 (2002) 272291.

[20℄ P. Lefèvreand L.RodríguezPiazza,

p

-Rider sets are

q

-Sidonsets, Pro . Amer.Math. So . 131(2003)18291838.

[21℄ D. Li,A lassofRieszsets,Pro . Amer. Math.So .119(1993)889892. [22℄ D. Li,On Hilbert sets and

C

Λ

(G)

-spa es withno subspa eisomorphi to

c

0

,Colloq. Math.68(1995)6777.

[23℄ D. Li,ComplexUn onditionalMetri ApproximationPropertyfor

C

Λ

(T)

-spa es,Studia Math.121(1996)231247.

[24℄ D. Li, H.Queéle and L.RodríguezPiazza,Somenewthin sets in Har-moni Analysis,Journald'Analyse Mathématique86(2002)105138. [25℄ F. Lust-Piquard, Propriétés géométriques des sous-espa es invariants par

translation de

L

1

_(G)

et

C(G)

, Séminaire sur lagéométrie des espa esde Bana h19771978,exposé26,E olePolyte hnique,Palaiseau(1978). [26℄ F. Lust-Piquard, Eléments ergodiques et totalement ergodiques dans

L

∞

_(G)

, StudiaMath. 69(1981)191225.

[27℄ F. Lust-Piquard, Bohr lo al properties of

C

Λ

(T)

, Colloq. Math. 58 (1989) 2938.

[28℄ F. Lust-Piquard,Means on

CV

p

(G)

-subspa esof

CV

p

(G)

with

RN P

and S hurproperty,AnnalesInst.Fourier39(1989)9691006.

[29℄ F. Lust-Piquardand W. S ha hermayer,Fun tions in

L

∞

_(G)

and asso i-ated onvolutionoperators,Studia Math.93(1989)109136.

[30℄ Y. Meyer, Spe tres desmesures et mesures absolument ontinues, Studia Math. 30(1968)8799.

[31℄ I.M.Miheev, Trigonometri serieswithgaps,Anal.Math.9(1983)4355. [32℄ M. B. Nathanson, Sumsets Contained in Innite Setsof Integers,Journ.

Combin. Theory,Series A28(1980)150-155.

[33℄ D. Oberlin, A Rudin-Carleson theorem for uniformly onvergent Taylor series, Mi higanMath.J. 27(1980)309313.

operators,Regional onferen eseriesinmath.30,Amer.Math.So .(1977). [35℄ G. Pisier, Surl'espa e de Bana h desséries de Fourieraléatoires presque sûrement ontinues, Séminaire sur la géométrie des espa es de Bana h 19771978,exposés1718,E olePolyte hnique,Palaiseau(1978).

[36℄ L.RodríguezPiazza,Cara térisationdesensembles

p

-Sidonp.s.,C.R.A.S. Paris305(1987)237240.

[37℄ L. RodríguezPiazza, Rango y propiedades de medidas ve toriales. Con-juntos

p

-Sidonp.s.,Thesis,UniversidaddeSevilla(1991).

[38℄ H. P. Rosenthal,On Trigonometri SeriesAsso iated with Weak

∗

Closed Subspa esofContinuousFun tions,Journ.Math.Me h.17(1967)485-490. [39℄ L.A.RubelandA.L.Shields,Invariantsubspa esof

L

∞

and

H

∞

,Journal für diereineundangew. Math.272(1975)3244.

[40℄ W. Rudin,Invariantmeanson

L

∞

,Studia Math.44(1972)219227. [41℄ S. Sa one, ThePeª zy«ski property for tight subspa es, J. Fun t. Anal.

148(1997)86116.

[42℄ S. Sa one, Fun tion theoryin spa esof uniformly onvergentFourier se-ries,Pro . Amer.Math. So . 128(2000)18131823.

[43℄ P.M.SoardiandG.Travaglini,Onsetsof ompletelyuniform onvergen e. Colloq. Math.45(1981)317320.

[44℄ M.Talagrand,Somefun tionswithauniqueinvariantmean,Pro . Amer. Math. So . 82(1981)253256.

[45℄ M.Talagrand,Closed onvexhullofsetofmeasurablefun tions, Riemann-measurablefun tionsandmeasurabilityoftranslations,Ann.Inst.Fourier 32(1982)3969.

[46℄ M. Talagrand, Pettis integralandmeasure theory, Memoirs Amer. Math. So .51(1984)n

◦

307.

[47℄ S.A.Vinogradov,Convergen ealmosteverywhereofFourierseriesof fun -tions in

L

2

and thebehaviour of the oe ientsof uniformly onvergent Fourierseries,Soviet Math. Dokl.17(1976)13231327.

P.LefèvreetD.Li,Universitéd'Artois,LaboratoiredeMathématiquesdeLens, Fa ulté des S ien es Jean Perrin, Rue Jean Souvraz, S.P.18, 62307 LENS Cedex, FRANCE

pas al.lefevreeuler.univ-artois.fr daniel.lieuler.univ-artois.fr

Laboratoire A.G.A.T., U.F.R.de Mathématiques, 59655VILLENEUVE D'ASCQCedex,FRANCE queagat.univ-lille1.fr

LuisRodríguez-Piazza, Universidad de Sevilla, Fa ultad de Matemati as, Dpto deAnálisis Matemáti o, Apartadode Correos1160,41080SEVILLA,SPAIN piazzaus.es