Les fonctions semi-continues dans Vespace des ensembles fermés *) Casimir Kuratowski (Lmém) Dioprs M. Baire ene fonetin fl) A valore rn ot ite venience mmpéearement an pot 4) rage la eondltion lim y= entre lim up fs.) > fle Ta otion de semicon dont aon alone nous servi ii ‘ut toot alt analogue & elle, mais eagcerne Ie cas ob Ia fone inet come valeuey dee tovreniembles fede (000- Teen, que fon ‘frien lore nite tepals semble yy 1) ol aynble Li A,* a imite topo loggn inttiare ‘emplei dx terme ysom-conasits* oat juss, cate antes, par le fat mane que fon démontre anne fagon tata dk ‘mesure: fie) saat soe fenoon dont lea valeurs appardencest yt lt os PL te a ee 1,1 8 4, mh tame 9 dy CAC: 9) seb eel a pt fr Eu oh oe Po te wn omy a tae em Fonctions semi-continues 48 terval ob, Ie semicotinié (epicure rep. iaflrere) tion fle) guiraut » la su-dootinats do Te fnetion le. Nboossith Soi (y)eJy) 2a, ot y=lim ye Tact de pronver gna pour safaamest geno (90 dane {pee flag Ory pr lion de Sy exe au sl qr Feely |< le fouetion tack interment i existe one {limay La dra igang, pout» vfamsest gat jem nel G08 om sonnet quo gre Sy Flea. Seftisance. Sejpasne qu le fntion Fat at pus wai contaue iftiaroment su push. On a pr coogeent ye FC2 PElim',pnone Li Fe Lexie don oo wie dni bln aie que eb Fala tO, done qu yromed (Fay) dh Gea moe Com, at par le ate (9) coteget (ar Ne pat 89). ge spprtuat hy, on en tal que Toe tone J, sen pt overt. ‘8, Seml-eontinulté ot fontions de Tre classe. Lemme, i let valeae dole fonetin fe) aperien ‘pace compact et i pont chayue apbire orate 2, Tensamble Bi flee Hot un Gy, le tion fa) eat de Toe cla. Be fle M tant un cutemble ford attrac, i exit, «8 vevta da thlorbme da Bo152 6. Kuratowsle ak do aphtes do rapoo < tin. Par conniquet, El/a}e 1a] et un 6, o¢ Maly, Ueosenble B(fleleM) Somme dat TB fie Lah eh doe v8 Gy ‘Thdrime, Les fovton somites apprtonent 2 le Ere ane, Démonstration 4 baci ecole forme ache ext do Yospace si, dna Yepace 2%, se able fornde do contre A ot 20 rayon 1. Eo ayabolr: 8) Kee (4, HSH UC HA) XC RVAY ton Tags de pourer gue Teemble EAs) el ext un Gi, Nos tons non wevie A on Bt de In wAthde rslaton dew cater Bordinaesexpite don lo a. 17 doc Joan 1. FG) et wmicontsue supérieuremeat Ba ompnyatTopiratar logge 7 pour Msgner quel que sits on atl smle > par dine Miglin oigng peat romper Fndaioa XC Y* pa” allleed)-¥ee 2), gui girl A UTeezone X) + (re FI, fo aymbole ++ a sigoat Ia ome logue Ha tenst compte de formulas (4) (0), Ton remglaon Xp 2a) ies Fa) m (Ty ened) + +2eeMep(le sa) ly neo Fe) + ye RAD. P(e) tat foend (lon N, Yememble 2 |< Ten éeuomeat Hen et encore de mbm Gen apron B-2(+4 Fe) (esl <9) (voir Fond. Mth 12, 1 268 (6). Dot Sa sndet saute (hp. 254(8) gue Tense EUree8j on a2 meee 2. F(a) et somisoniage infurieurement 1 ian salon (2) FORM UCH SAA & FIC RAY icm Fonclions semi-continues. 188 Doe: Fla) me (ly one A) + iy Sy Fe EAB) By - exe yey (a ere a Ho 2 iene Se Sp ume Bg + + Hye St Fla)] eo mn Gy, Poor prover ‘qe Yeoemble Te oo Oe Be mtr ga RIC ah mk On, oo ne stn a Fla) tot woe fonction semiconaue iafreuremest & Rap em ‘enbleformé abitave, Tesemblo B(¥(a}C 2) est fea (on ef 1 condition FaJCR estas LAF()CE eta condi lim, 0 FlayC Li Flex) ed P(e), ce gu goave qu estemble BURCH) et ford), CCovolatre, Las pists de dizonnutd une fonction soni-om tinue count wn Ble Pde Tre ctigore. Done, i Tease ta est imple, Fememie de pnts de etna dee da is (Car oo propa apprtnnent&abegu fonction de cla 4. Opdeations sur les fonetion ‘Nowe allows ao08 tiation ne promt aucune dient: o ho ai 2 mtn Do feb 2 (= 1-20), 412} dagen el pte te ete ta on154 ©. Kuratowelt: o La(44 Bm bed, $a B, (©) Ua(AByC Ladera, poe glaelowen: LaF ALC Had, (9) de EAB, CIi( det B plan gtelmet: FLAASCUAZ AL co) Lid, le B,CHilA, By ‘Thera ver Poon. 1) 86 es) sotsombconinus upirirennt pi la sme Fe) (Fat dalonet Sci, wth, s—linsy, On «: LaFe)CA) et Lae) 66 Par comignt frm 2 Lal Fi) + GlesIC Re)+ Gh @ 9 2) chase ds fons) et wemicontiue infirm x poi foto ZA) Ft glen. Sri, cme eaprannt, elim Ons poar cbse ‘Ble\CLPjan Dike tse eompe de 0): PRla)C SUB a) CUR Aly, done 6; FRGCUBAG) = USF Dibee fon soaog la frmele) implgn fo Worin sr la maipication, Le padi (oui) de fntion soit mplrcronet a8 point Fa dae oka la frase (0) enteioe by {hero a la otra, Si (smote tnt eet priwement (pon) In forton FC) = GR) (erp noi) atv efriaromant Les deux premiers thirines etraeat fo Corie Laine den mite derek (aot) de fone fine smi-crtes mpsriearemet (nftearonet) et omc smtirene (afar Gare apponat F=) DF (2)D.-y ona Lim a) — IY, 0 mappa Fy(a)CH0IC.y 004 Lim Fe) = FFE) Applications, 5, Inversion des fonctions continues. Décompost- tone semi-continues, Suit =f) abe fovaton contin, lai ur Fapace compas 3 icm Fonctions semi-continues 165 Powe F[e)— Ble = fly) Ua fosotion Fe) oot combeotinue sae ‘périeurenent, Oot a, on effet Piquivalonce: AD) (ye) (em fih dod RiyeFle)=Ble— fai) oe derior covonblo Guat frmé (en vets dole ontinié de i Yoseton fon on coon, en tenant compte du thor. du 83, Thaclion F et sucostnve epérieeroment nversereat, ait Fs) une fo inten hd. qu Fndgaliéx-b eatate Ia formal Hap fte)=0; 1a foetion 7 die par I formule (11) et otinue Eee, Pape Je dork prést Teoamble Eye Ya) et fermd. I neat dove de mtsne de Tomemble B[efigh, On on conlat (Vepace 37 ‘ompaidon somone (epériatenen) su espace en tranche) On appelle alos tite dtennporiion en wus-easenble dirjins sana) gen eri den co ‘eapond woe tothe qui cotiont lane do eto site. On prove’ ‘que déeomponiio seni contave wt ree nce qu'une désom iyly of ot aoe fxeion v0 convésablemant chi, Dipréa oe qui préble tout db Compontion sal cootings eat ae le forme Sfee 3Fo, F dant ‘un fontion vemi-onsnae repéleuoment b valears dsjontes Lee eorlsre dw NB conduit bln colin avast: ea spp ‘uot tranche de coatnuits ow texncbe 7 tlle ite ooavongete de texoches In canton T+ Lis. Tim Til tease do satin constannt (Uae Peace dos traaebee) om eovemble Gy dense 8. Opérations sur des ensembles fermés (non-vides) sitwés dana wn expace compact ¥ “Le prude dows mains Zoe XY ett unt fenton se cont saptricoremtt. 9) nes rig ye aleetedvett Mah hin 6p 887 3 Salted sharon sean on na tec de Ped, aa Xp 198 0 st Hilly Seam Mah 18 (eo Nae S60, 108156 ©. Kuratowaki Posons, en ee, G(X, F)=—=X et H(X, Y)— ¥. Chacone de cen Jou batons tat fridemmon onnunon told hr le walpeaton (84 ae Ie podsit GUE, YX, ¥)—=-7 ‘ot sea aotine mplinreot. heat romequer gos Ia fonon X-Y (oat lee guests oe glen appatonest 1 Teapace 29) sat ae gu wor tenble des ope (tl que X= Yop 0 (Cenemble 3 et Term aes eure ombiatsire® 7X). Le prdsit X-Y weet pau ane fonction onions, me Flivement aux variable xp. net; ok, notamment 7 Soterrale OL, Y Tentenble compost ew dens exist, X, tervals If; i vest Lin XV) FUlin Kye. Be cot lesomne HEY af tnjnrs we fo fon cna, ome on ait retest dee door threes ‘sr Yad ‘ise fiom alg, lo Arte sr Ie etutonimpligue 00 le fonction X=Y et embsantine infericroment (a, Gate daeninn seme hls de People wivnks 97 Finale, Ype= Hatervale (1/33) = 8,4.) ‘De 1k tous eonlacon gue ls frntre um eneBle, FFU) MX-YEE at we fantom de durin lan, mine sapere ‘onde due fvotcn de promi sane Pr X)= GLX.) 4.60, N=X-Y eH) FE LVaseable 8 = E(-9—T 0) ob Kememble dX poe leegel la fnetion F(X) et dia, tun G, (dann Peapace 294 Bs ost, dxigoan Peneemble de couple (X,Y) tela que X-Y =O OC ahigoant lo cole (X, F—H) il vent B= BCC}, r, Voneeuble @ tat fern tI onion OLX) ant de Le Sle raste que Teeentle 8 et vo Gy Tipors de rosarguer que la fone lion de Tre slasve. Sal, sotammash 9/—Ueoseble. parfait ‘ot-den de Cantor, Ta tamlle don enemblen X tele que Fr(X)-$0 ot que X coniont deus peat a moion Evdemament fat an G.I sat dose ae proorer gu ‘iaton do aon againest Or, 97 tant O-dimeninsel, ensemble X eat le produit a ‘site Teomenbles X,, forage ot cavers simullanément, dove tele icm Fonctions semi-continues 187 que FHA)—O. Sets pete), eX pts, @ Apparent © X, ot West paw ‘esmarguons ean que ft dried un wile et wwe foetion se dnt dv (tat pour Pan en eft, D(x} o Teenie pote» ie g2e Wack eek acl Oe tide ee tig par X! le dérivé de-X): Xa IT F,(X), doe X* = Lie FX) our power que X* ib fnsin 6 dine sm, 3 calf ne dn denote un f(t) omen crea Tones on bt (patsy iy Xi Ls So sce tpl satnioe Testes Gare oy apie 0 Iimsscts espe Hate pvr pene Pid pots front grand Of Tipps gue et) ens Tease gat eres looted esos] (KLeR), 1 disiga. + Ie fale des consi; K ot Z prcournt £. Te ls que ® tant on eaaon compact, 1 famile der conte a ethvents enw Gy (Gelaivmant & Teapce 25, “Bo flo. la wmme dast ane fonetise castioua, Teommble B(C=K 1) eat lornh. Voonomble Gat fermé ot le pro-158 ©. Kuratowaki Ast uot une fate do Ie che, Feoromble B(KZ <2) ot retivemest A Peosmble 4+ (2 dlsignash come, anpartraat, Teoseable E(XY440), et dove wn @reiivest Vespace 2© (qxingye 2-4 ot form) On co eutle suns quo Teosbe (BORA D4 ULeR) eu un 0 ot en east compe nti que Yenpace ot cumjat te dee forwale 36 eis Ae Fuad. Mth 1, p. 354 (@) Is conlaton demandde, rial. do th qo to famile der comer don chaque our contin twice! ean Gy, Bo ee, vg il de com ian 0 te gue (@C.0) (Qe) (9 et avira}; dove apr te tdorie gfadal de Peed, Math 17, p. 204 (UD, {ails comiddte et us Gy (Cet. drvitre enalusion permet Wralaer te cline der den- Ate. On apple ann chaque eontine plain (= image contigs fun lateral) qui ne contiot astute eourbe simple fermés. Or, cn pours falemet') qo i fala doe deodriteseolaede aro cals Gr ents pliant shaq os cootinn et wlebdrest. 1a fami des contiaue plasioos Cant sn Fy, ln famile des tndis, comme prodit Pun Fg et Tun 04, aa an Fy 8, Arce. Courben simples fermées. Image bicotsus dan intrralle) pact fie care anise gu ne condastaaean point de azlGeton, (els rorins & dire gue HZ ot AF dant toe sos-outinus de ke end tale que KLAY-$0, Tun dens at eoteon dane In sue due dx atzen (Car, on car de ptt do ramiation, il existe tools ares KZ et A ayant que co pois en commun, — le eo ig ot na he eat ow lot ‘wel et state wor ua iotrvall due tar ehague re) (On anal Tegeealener cae wo. (18) (oe dedi Der ware) I (Lob MCD) CLM 0) + SOCEM LCE HM) + MCRD), icm Fonctions.semi-continues. 159 Lenmemble E(XCY) Stat forms, om rit pa pine que Fone sealed ee ccn et en [| 8 Op Ba ‘Seo at roe, pn ho get aie ty pvr hace Kemps) Bo wait ae tnate yr ete Send et on Pao ot acne do Ea tn Fa oar dene uo lr Spl frm coi Pa act do prover gw mena gree So ral (eat tee romp pr or tan Pe sone ot rte tape fr yn Soke st eit ork saps sogunshrm sn ae opt Bion ean pe © cee tn ot SOE IG, se vert pr i oeptte wre sar taare'@ en al 9 ocamy © et MEEESE ETLG Wr geet dnc tr goo pp SLSR, Eats afin far eae ot do fo TACT hen dee pu ne ton at is wr 2 ote out pt soso nt ae ln SIRE ur atu so comme vit hon 5) ate matin dat AM Manner,