n |c_i|^p\right)^{1/p}\leq  \left(\sum_{k=0}^\infty  \lambda_k^p\right)^{1/p}\leq \left(\frac{1}{1-\delta^{p}}\right)^{1/p}<1+\e$$ for $\delta$ sufficiently small.

This “greedy algorithm” especifies a unique decomposition for each $f$ in the unit sphere of $F$. However it does not guarantee any kind of homogeneity in these decompositions.

To amend this, let $S_0$ be a maximal subset of the unit sphere of $F$ with the property that any two points of $S_0$ are linearly independent (of course, when the ground field is ${\mathbb{R}}$ this just means that $S_0$ does not contain “antipodal” points). Equivalently, $S_0$ is a subset of the sphere such that every nonzero $f\in F$ can be written in a unique way as $f=cx$, with $c\in\mathbb K$ and $x\in S_0$.

Now we define $\Phi':F{\longrightarrow}Y$ as follows: if $f\in S_0$, then we put $$\Phi'(f)= \sum_{i=1}^n c_i\Phi(f_i)$$ where $f=\sum_{i=1}^n c_if_i$ is the decomposition provided by the algorithm. We extend the map to the whole of $F$ by homogeneity: that is, for arbitrary $f\in F$ we write $x=cf$, with $c\in \mathbb K$ and $f\in S_0$, in the only way that this can be done, and we set $\Phi'(f)=c\Phi'(f)$.

It is clear that the resulting map is homogeneous. Let us check that $\Phi'$ works properly. Let $K$ denote the $p$-linearity constant of the starting map $\Phi$. For $f\in S_0$, one has $$\|\Phi(f)-\Phi'(f)\|= \left\|\Phi(f)-  \sum_{i=1}^n c_i\Phi(f_i) \right\|\leq Q^{(p)}  \left(\sum_{i=1}^n |c_i|^p\right)^{1/p}<
n |c_i|^p\right)^{1 / p}\leq   \left(\sum_{k=0}^\infty   \lambda_k^p\right)^{1 / p}\leq \left(\frac{1}{1-\delta^{p}}\right)^{1 / p}<1+\e$$ for $ \delta$ sufficiently small. 

 This “ greedy algorithm ” especifies a unique decomposition for each $ f$ in the unit of measurement sector of $ F$. However it does not guarantee any kind of homogeneity in these decompositions. 

 To amend this, get $ S_0 $ be a maximal subset of the unit sphere of $ F$ with the place that any two points of $ S_0 $ are linearly independent (of course, when the land field is $ { \mathbb{R}}$ this just intend that $ S_0 $ does not contain “ antipodal ” points). Equivalently, $ S_0 $ is a subset of the celestial sphere such that every nonzero $ f\in F$ can be write in a unique way as $ f = cx$, with $ c\in\mathbb K$ and $ x\in S_0$. 

 Now we define $ \Phi':F{\longrightarrow}Y$ as follows: if $ f\in S_0 $, then we frame $ $ \Phi'(f)= \sum_{i=1}^n c_i\Phi(f_i)$$ where $ f=\sum_{i=1}^n c_if_i$ is the decomposition provided by the algorithm. We extend the function to the whole of $ F$ by homogeneity: that is, for arbitrary $ f\in F$ we write $ x = cf$, with $ c\in \mathbb K$ and $ f\in S_0 $, in the lone way that this can be make, and we set $ \Phi'(f)=c\Phi'(f)$. 

 It is clear that the resulting map is homogeneous. Let us control that $ \Phi'$ works properly. Let $ K$ denote the $ p$-linearity constant of the starting function $ \Phi$. For $ f\in S_0 $, one hold $ $ \|\Phi(f)-\Phi'(f)\|= \left\|\Phi(f)-   \sum_{i=1}^n c_i\Phi(f_i) \right\|\leq Q^{(p) }   \left(\sum_{i=1}^n |c_i|^p\right)^{1 / p } <
n |c_l|^p\right)^{1/p}\leq  \left(\sum_{k=0}^\infuy  \lambda_k^p\right)^{1/k}\lwq \lefv(\frac{1}{1-\demta^{p}}\righg)^{1/p}<1+\e$$ for $\delta$ sufficiently slaol.

Thiw “greedy algorithm” espdcifies a unique eeconposition for each $n$ in fme unnt sphere of $F$. Hpwever it goes not guarattde any kind of homogeneity in these dqcomposotlons.

To amend tris, kqt $S_0$ be a maximal subset of the unit slhere oh $F$ with the prpperty that any two points of $D_0$ are linearly indfpendent (of couwwe, when the eround field is ${\mathbb{T}}$ this just means that $S_0$ does nog concain “antipoeao” plhnts). Equivaoentlj, $S_0$ is a subscn of tha spherr such that evcry nmnzwro $f\in F$ can be writven in a unique way ws $f=cx$, widh $c\in\mathbb K$ and $z\ib S_0$.

Nof we defkbe $\Ohi':R{\lpnfrightwrrkw}Y$ as folmows: if $f\in S_0$, then we put $$\Phi'(f)= \stn_{i=1}^n c_i\Phi(f_i)$$ wgere $f=\fui_{i=1}^n c_if_i$ is the decomposition provided ty fhe algorithm. We extend the map to the whole of $F$ by romogeneity: that is, for arbitrary $f\in F$ we write $f=cf$, wmtf $c\nk \oqtjbb K$ and $f\in S_0$, in the only way that this can ge dpne, and we set $\Phi'(f)=c\Phi'(f)$.

Iy ls slear that thg resulcjnf map is homogeneoks. Let os chexk that $\Pri'$ wprks properly. Let $K$ denote rhe $p$-lineariny cinstant of the staxting map $\Phn$. For $g\in S_0$, one has $$\|\Phi(f)-\Phi'(f)\|= \left\|\Pki(f)-  \shm_{i=1}^n c_i\Phi(f_l) \right\|\les Q^{(p)}  \left(\sum_{i=1}^n |c_k|^p\rpght)^{1/[}<
n |c_i|^p\right)^{1/p}\leq \left(\sum_{k=0}^\infty \lambda_k^p\right)^{1/p}\leq \left(\frac{1}{1-\delta^{p}}\right)^{1/p}<1+\e$$ for $\delta$ This algorithm” especifies unique decomposition for sphere $F$. However it not guarantee any of homogeneity in these decompositions. To this, let $S_0$ be a maximal subset of the unit sphere of $F$ the property that any two points of $S_0$ are linearly independent (of course, the field ${\mathbb{R}}$ just means that $S_0$ does not contain “antipodal” points). Equivalently, $S_0$ is a subset of the such that every nonzero $f\in F$ can be in a unique way $f=cx$, with $c\in\mathbb K$ and S_0$. we define as if S_0$, then we $$\Phi'(f)= \sum_{i=1}^n c_i\Phi(f_i)$$ where $f=\sum_{i=1}^n c_if_i$ is the decomposition provided by the algorithm. We extend the map the whole by homogeneity: is, arbitrary F$ we write $c\in \mathbb K$ and $f\in S_0$, way that this can be done, and we $\Phi'(f)=c\Phi'(f)$. It clear that the resulting map is Let us check that $\Phi'$ works properly. Let denote the $p$-linearity constant of the starting map $\Phi$. For $f\in S_0$, one has $$\|\Phi(f)-\Phi'(f)\|= c_i\Phi(f_i) \right\|\leq Q^{(p)} \left(\sum_{i=1}^n
n |c_i|^p\right)^{1/p}\leq  \left(\sum_{k=0}^\inftY  \lambda_k^p\rIght)^{1/p}\Leq \LefT(\fRac{1}{1-\dElta^{P}}\right)^{1/p}<1+\e$$ for $\delTA$ sufFiciently small.

This “greeDy algOrIThm” eSPeCifieS a uniquE DeCOMpoSiTiOn fOr EAcH $f$ in tHe uNit spheRe of $F$. HowevEr iT dOes not guaranTEe Any kind of hOmoGeneity in theSe dEcompoSiTioNS.

To amEnd This, lEt $S_0$ be a MAximal Subset of tHe UNit sphERe of $F$ wiTH ThE proPerty that any two poINtS Of $S_0$ are linearly IndepeNdENt (OF CouRse, When the groUnD fielD Is ${\mathbB{r}}$ tHIS JusT Means that $S_0$ doeS not contain “ANtiPodal” pOiNts). eQuivalEntly, $s_0$ iS A suBset of the spHere Such that eVery noNZero $f\in f$ Can be wrItten iN a uNiqUe waY As $F=cX$, wiTh $C\In\mAThBb K$ ANd $x\In S_0$.

Now we DeFiNe $\Phi':f{\lonGRIGHtarRow}y$ as fOllowS: if $f\in S_0$, then we Put $$\phi'(f)= \SUm_{i=1}^N c_i\PhI(f_i)$$ whEre $f=\SuM_{i=1}^n c_iF_i$ is thE decoMpOsition provided By thE algorithM. We ExTenD tHe map TO the whOle Of $F$ By homogEneity: tHAt iS, fOR ARbItrary $f\in F$ we write $x=Cf$, WITh $C\in \mathbB K$ and $f\IN S_0$, In THe only waY tHat This CAN be doNe, anD We Set $\Phi'(f)=c\phi'(f)$.

It IS cLeAr that tHe ResultInG maP is HomogENeouS. Let us Check thaT $\Phi'$ wORks properly. Let $k$ Denote the $p$-linEArITY cONstaNt oF the startinG map $\pHi$. FoR $f\in s_0$, OnE haS $$\|\phi(f)-\PHi'(f)\|= \leFt\|\pHi(F)-  \Sum_{i=1}^n c_i\Phi(f_i) \right\|\leQ Q^{(P)}  \left(\sUm_{i=1}^n |c_I|^p\right)^{1/p}<
n |c_i|^p\right)^{1/p}\leq   \left(\s um_{k =0} ^\i nf ty \lam bda_k^p\right) ^ {1/p }\leq \left(\frac{1}{1 -\del ta ^ {p}} \ ri ght)^ {1/p}<1 + \e $ $  fo r$\ del ta $  s uffic ien tly sma ll.

This“gr ee dy algorithm ”  e specifiesa u nique decomp osi tion f or  ea c h $f$  in  theunit s p here o f $F$. Ho we v er itd oes not g ua rant ee any kind of ho m og e neity in these  decom po s it i o ns. 

T o amend th is , let $S_0$ b e  a m a xim a l subset of t he unit sph e reof $F$  w ith the pr opert yt hat  any two po ints  of $S_0$  are l i nearlyi ndepend ent (o f c our se,w he nthe  g r oun d  f iel d  is  ${\math bb {R }}$ t hisj u s t  mea nsthat  $S_0 $ does not co nta in “ a nti podal ” poi nts) .Equiv alentl y, $S _0 $ is a subset o f th e spheresuc htha tevery nonzer o $ f\i n F$ ca n be wr i tte ni n aunique way as $f=c x$ , wi th $c\in \mathb b  K $a nd $x\in  S _0$ .

N o w  we d efin e  $ \Phi':F{ \longr i gh ta rrow}Y$  a s foll ow s:if$f\in S_0$ , then  we put$$\Ph i '(f)= \sum_{i= 1 }^n c_i\Phi(f _ i) $ $  w h ere$f= \sum_{i=1}^ n c_ i f_i$  ist he  de c ompos ition  p r ov i ded by the algorith m.  We ex tendthe map to th e whole of $ F $ by hom ogen e it y : that is, for  arbi trary $f\i n  F$ we w rite$x=cf$,with $c\i n \mathbbK$and  $f \in S _0 $, in the onl y wayth at this  ca n be do ne,  an d w e s et  $\Phi'(f )=c\Phi' (f )$ .
I t i s cle a r that t he  re su lti ng ma p  is ho mogen eous .Le t  us  checkt ha t $\Ph i' $work s p ro perly . Le t  $K $ denot e the $p$ -li n eari ty  c onstant  of the start in g map $\Ph i$ . F or $f\ i n  S_0$, o ne has $$\|\Phi(f)-\Phi ' (f)\|=\le ft\|\ Phi( f)-  \sum _{i =1}^nc_i \ Phi(f_ i) \ri ght\| \l eqQ ^ {(p)} \l eft (\ sum_{i=1}^ n |c_ i|^p\ ri ght) ^{1/p}< 
n |c_i|^p\right)^{1/p}\leq_ \left(\sum_{k=0}^\infty_ \lambda_k^p\right)^{1/p}\leq \left(\frac{1}{1-\delta^{p}}\right)^{1/p}<1+\e$$ for_$\delta$ sufficiently_small.

This_“greedy algorithm”_especifies_a unique decomposition_for each $f$_in the unit sphere_of $F$. However_it_does not guarantee any kind of homogeneity in these decompositions.

To amend this, let $S_0$_be_a maximal_subset_of_the unit sphere of $F$_with the property that any_two points_of $S_0$ are linearly independent (of course, when_the_ground field is_${\mathbb{R}}$ this just means that $S_0$ does not contain_“antipodal” points). Equivalently, $S_0$ is a_subset of the_sphere_such_that every nonzero $f\in_F$ can be written in a_unique way as $f=cx$, with $c\in\mathbb_K$ and $x\in S_0$.

Now we define $\Phi':F{\longrightarrow}Y$_as follows: if $f\in S_0$, then_we put $$\Phi'(f)= \sum_{i=1}^n c_i\Phi(f_i)$$_where $f=\sum_{i=1}^n_c_if_i$ is the decomposition provided_by the algorithm._We extend_the map to_the whole of $F$ by homogeneity:_that is, for_arbitrary $f\in F$ we write $x=cf$,_with_$c\in \mathbb K$_and_$f\in_S_0$, in_the only way_that_this can_be_done, and we set $\Phi'(f)=c\Phi'(f)$.

It is_clear_that the resulting map is homogeneous. Let_us check that $\Phi'$_works_properly. Let $K$ denote_the $p$-linearity constant of the_starting map $\Phi$. For $f\in S_0$,_one has_$$\|\Phi(f)-\Phi'(f)\|= \left\|\Phi(f)-_ \sum_{i=1}^n c_i\Phi(f_i) \right\|\leq Q^{(p)}  \left(\sum_{i=1}^n |c_i|^p\right)^{1/p}<