You are on page 1of 2
COLLOQUIUM MATHEMATICUM 4A -RBMARK OF LINEAR PONOTIONADS 5 MROWRA qwaRsam, 1, Mowit() proves tbe following theorem: Damon. Tat be completly reylareptcs and O(E) the a of al sentnaous reatatued functions om X. Then each. Waar” peo ‘anclioal gefsed on CU) can be vrten fhe form n= 9+ ot a) (ohne Bay soy Bae oad pol of X on an 6 ae fil el umber ‘The Mevitt proot is aed on the theory of intel represastation of tantina, wih ix eveoped in he paper quoted In the geet oper we ioe © quite elementary proot of the abwve thine Explanations: Br nas ual we sndatand is ‘Sy Lauper shut von” Sen choi u's be papas i Stow wt supene tthe seat gone pty te Oe ‘epic lhe baghteutod stm ou Tne eat Sal we i leah amen spe samba oad SUE Gi ene ‘ste, tpl wale st 1) ending Sa ali ns ‘ity thew a) ene FU Tuners. Bech tiear poosinous funtional dint on OL) cam 4 coord ta Kinaar pooninus furaonl y* tend om F(Z) Proof. at be any member of F(X). Denote by R the faily of all, sets af the farm g(T) whee U's a naighbourhod of. Snes the insaroee tion af any two ulghbourhoods of sagan a nelghourhoode (and thus ‘outine a member of (2), th family 5s eotre, On the other hand, sean EEO er ion af onions, Psinsn for any 8> 0 there exists a neighbourhood Tot f each tht the sot 90) in of dlmoter =, Indeed, snes yi preastinious, we ena find xamber £50 and pons pees Py Ht X such that (1) oth <8 for each A 6m OLE) with Ip < for Nor let U=(p:(ole0—H(0 <2}. TU is nighboorhood of f and if gus, are any tauare of OZ) Irng in U, the, in vias of 1h ta) —9i09| = lta. <8 ‘Therefore, by the welviown Bet chore, thee exit 9 number «| ‘hich tongs to each member of OF cous, this number « astisios fhe folowing endion: (2) for any 8> 0, tore erie @ ighboarhood of f owrh dat Ie(h) mul <8 Jor aah momber Bef O(2) ying én Ty ‘moreover, the nuanber ae uniquely determined by property (2). ow Ie (8) UD a, etre etnies (2), om os (9) i arti nF) ihe snc ately eb tue a at hry in i penntn Ths ae pred vite sn may tru ta eo id fat thw (ute bag td em Oot {SS cium eee te ‘root of theorem: edie pt nt hwo Iucatep, Foray pin we data yy terse fn etapa pit 2s totaal pod cot el tov fn wt fe ttn nn th ney pp Shanta aca ne nie ad Tt hte fen hte by in) wf) =O orp 5,5 Mh ay inal ofan Byte, (ace des tate nan ora bay Be riinhotiiahewe baad Witheis 6S cnn Sua lop. Sop jos member P(X) at De" ve tt sam ep nde sy toed pl ree ener oe tad crs, cua ning Osa hak Ri Mast a tpt B= Py ia he ple pay aay aun Mary ko i Mow a bt net RS) — sod Wet B= fit fPetmgf. Then ZyC*(0), whence 08) = 0. Bat p(t} mayf(p be-+aefloal—plPh Aad therefor 2 = afl obey sod the theorem ‘alone, (Of couse, this theorem audits proot remain valid in “the comple Ripe pr Me Raion 0 1868

You might also like