Az inverzlimesz gazdagsága

Az el®z®ekben említettük, hogy az inverzlimesz mindig létezik, legfeljebb az lehet a kérdés, hogy az inverzlimesz mikor nem az üres halmaz. Intuitíven szemlélve rögtön láthatjuk, hogy az egyik kulcskérdés az f_ij függvények tulajdonsága. Ha f_ij-k nem ráképezések (szürjekciók, onto-k), akkor könnyen tudunk olyan inverzrendszert deniálni, melynek az inverzlimesze üres halmaz.

60. deníció. Egy(I,≤)el®rendezett halmazt jobbról (balról) irányított halmaznak mondunk, ha minden két-elem¶ részhalmazának van halmazbeli fels® (alsó) korlátja.

61. példa. Legyen(I,≤)indexhalmaz a természetes számok halmazaN, és legyenX_n= (¹_n,0)

∀n∈N. Legyenfnm=idXm ∀(n≤m), ekkorP = lim←−(Xn,N, fnm|n≤m) =∅.

Bizonyítás. P = lim←−(Xn,N, fnm|n≤m) elemei konstans sorozatok lehetnek, de tetsz®leges kons-tansc-hez, ∃n∈N, hogyc /∈(¹_n,0), tehátlim←−(X_n,N, f_nm|_n≤m) =∅. Q.E.D.

A fenti példa azt mutatja, hogy ha úgy deniálunk inverzrendszert, hogy az dobálja" el az elemeket, akkor kiüríthetjük az inverzlimeszt. A szubjektivitás megakadályozza az ilyen csúnyaságokat".

Könnyen látható, hogy attól még, hogy egy inverzrendszerben f_ij-k nem szürjektívek, attól még lehet az inverzlimesz nemüres halmaz (lásd a 62. példát).

62. példa. Legyen(I,≤)indexhalmaz a természetes számok halmazaN, a szokásos rendezéssel, és legyen Xn= [_n¹,0]∀n∈I. Legyenfnn+1=idXn+1. Ekkor lim←−(Xi,(I,≤), f_ij|i≤j) ={0}.

Bizonyítás. Lásd a 61. példát. Q.E.D.

Az a kérdés, hogy szürjektív inverzrendszer esetében lehet-e az inverzlimesz az üres halmaz, az messze nem ilyen egyszer¶ kérdés. Lássuk az erre vonatkozó ellenpéldát Bourbaki [17]-tól.

63. példa. Létezik szürjektív inverzrendszer, aminek az inverzlimesze az üres halmaz.

64. deníció. Legyen(I,≤) nemüres felfelé (jobbról) irányított halmaz, melynek nincs legna-gyobb eleme. LegyenF ⊆I, hogyF elemei a következ® formájúak (n∈N)x= (i₁, i₂, . . . , i2n−1, i2n), és ezen elemek a következ®ket tudják (k, m∈N):

1. i2m−1 < i2m,m≤n, 2. i2m−1 i2k−1,k < m≤n.

65. deníció. Legyenek r(x) =i2n−1,s(x) =i2n, és nevezzükn-t azx hosszának.

66. segédtétel. F nemüres ∀n∈N.

Bizonyítás. (Teljes indukcióval). Legyen n = 1, ekkor két-elem¶ halmazunk van, ki tudunk választani megfelel® két elemeket (I felfelé irányított és nincs legnagyobb eleme). Legyen ez a halmazA₁.

A következ® lépésben vegyünk I egy elemét úgy, hogy a 64. denícióban a 2. feltétel teljesüljön (ezt megtehetjük, hiszenI-nek nincs legnagyobb eleme). Legyen az így kiválasztott elemi3. Ekkori2,i3kételem¶ halmaz, van fels® korlátjuki4, hogyi3 < i4 (itt is kell, hogyI-nek nincs legnagyobb eleme). Ez a négyelem¶ halmaz megfelel a 64. deníció 1. és 2. feltételének.

Jelöljük ezt a halmaztA2-vel.

Legyen A_n halmaz, melyre teljesül a 64. deníció 1. és 2. feltétele. Ekkor b®vítsük ezt a halmazt, úgy ahogyan azt A1 esetében tettük, de x∈An esetén i1 szerepét vegye át r(x) ési2

szerepét pedig vegye át s(x). Az így kapott A_n+1 halmaz szintén megfelel a 64. deníció 1. és

2. feltételének, tehát kész is vagyunk. Q.E.D.

67. deníció. Legyen Ej = {x∈F |r(x) =j}. Ekkor a 66. segédtétel miatt Ej 6= ∅ ∀j ∈ I esetén.

Legyen f_jk :E_k−→E_j j ≤k a következ®: ∀x= (i₁, i₂, . . . , k, i_2n)∈E_k-ra, legyen f_jk(x) = (i1, i2, . . . , i2m−2, j, i2m), aholm= min{t∈N|j≤i2t−1}, (tehát x elejéb®l" csinálunk egyEj

elemet).

68. segédtétel. A 67. denícióban megadott

(E_i,(I,≤), f_ij|_i≤j) (4.1) rendszer inverzrendszer.

Bizonyítás. Lássuk el®ször a 45. deníció 1. pontját: legyen j, k, l ∈ I tetsz®legesen rögzí-tett, hogy j ≤ k ≤ l, és legyen x = (i1, i2, . . . , i2n−2, l, i2n) ∈ El szintén tetsz®legesen rögzí-tett. Ekkor f_jl(x) = (i₁, i₂, . . . , i_2mj−2, j, i_2mj) ahol m_j = min{t∈N|j≤i2t−1}. f_kl(x) = (i1, i2, . . . , i2mk−2, k, i2mk), ahol mk = min{t∈N|k≤i2t−1}. mk minimalitása miatt k el®tt nincs márk≤i2t−1 tulajdonságú páratlan index¶ elem. F tulajdonsága a 64. deníció 2. pont-ja, és j ≤ k miatt teljesül imj imk, tehát fjk ◦fkl(x) = (i1, i2, . . . , i2mj−2, j, i2mj) = fjl(x).

Mivel j, k, l, ésx tetsz®legesek voltak, így kész is vagyunk.

A 45. deníció 2. pontjának belátása: Legyen j ∈ I, és x = (i1, i2, . . . , j, i2n) ∈ Ej

tetsz®legesen rögzítettek. (I,≤)felfelé irányított, így≤reexív. Ekkor a 64. deníció 2. pontja miatt, nem létezik l∈I páratlan index¶ elem, melyre l≤j, tehát j = min{t∈N|j ≤i2t−1},

így x=f_jj(x). Q.E.D.

69. segédtétel. f_ij-k szürjektívek.

Bizonyítás. Legyenek j, k ∈ I j ≤ k tetsz®legesen rögzítettek, illetve legyen x = (i1, i2, . . . , i2n−2, j, i_2n)∈E_j szintén tetsz®legesen rögzített. Legyeni^?∈I, hogy k < i^?, ilyen elem létezik, mivel I felfelé irányított és nincs legnagyobb eleme. Legyen y = (i1, i2, . . . , i2n−2, j, i2n, k, i^?). Ekkor y∈E_k ⊆F. Szintén könnyen látható, hogy x=f_jk(y). Mivelx tetsz®legesen választott

volt, így kész is vagyunk. Q.E.D.

70. segédtétel. Ha xj ∈Ej-hez és x_k∈E_k-hoz ∃l∈I, hogy j ≤l és k≤l, továbbá ∃x_l ∈E_l, hogy x_j =f_jl(x_l) és x_k=f_kl(x_l), és ráadásulx_j és x_k hossza megegyezik, akkor s(x_j) =s(x_k), tehát xj és x_k utolsó elemei megegyeznek.

Bizonyítás. A 65. és a 67. deníció miatt r(xj) = j, s(xj) = i_2n(j), r(xk) = k, s(xk) = i_2n(k), ahol i_2n(j) x_j utolsó komponense, és i_2n(k) x_k utolsó komponense. Mivelx_j ésx_k hossza

megegyezik, így h = 2n(j) = 2n(k). Látható, hogy s(x_j) =i_h(j) =i_h(l) = i_h(k) = s(x_k), ahol

i_h(m) xm h-adik komponensem=j, k, l. Q.E.D.

71. deníció. Legyen(I,≤)el®rendezett halmaz, ekkorA⊆I halmaz konális, ha∀x∈I-hez

∃y∈A(x-t®l függ®), hogy x≤y.

72. állítás. Ha y ∈ lim←−(Ei,(I,≤), f_ij|_i≤j) (tehát a (4.1) inverzrendszer esetén lim←−(Ei,(I,≤), f_ij|_i≤j)6=∅), akkor A ${s(x_j)∈I | ∃j∈I, hogy x_j =p_j(y)} halmaz megszámlálhatóan végte-len és konális(I,≤)-ben.

Bizonyítás. Megszámlálhatóság: A 65. denícióból tudjuk, hogy az egyes kezd®szeletek, xi-k hosszai megszámlálhatóan sokan vannak (természetes számok). Ekkor(I,≤) irányított halmaz mivolta, a 45. deníció, és a 69. segédtétel miatt teljesülnek a 70. segédtétel feltételei, tehát a hosszak halmazának számossága nem kisebb, mint azs(x_j)-k számossága (card(A)≤card(N)).

A 66. segédtétel miattA-nak végtelen sok eleme van, tehátA ekvipotensN-nel.

Konalitás: Legyen tetsz®leges j ∈ I, ekkor a 64. deníció 1. pontja miatt j < s(p_j(y)),

ahols(pj(y))∈A. Q.E.D.

Most pedig megadunk egy konkrét I halmazt, mely megfelel az eddig feltett feltételeknek.

73. következmény. LegyenI¹ egy nem megszámlálhatóS halmaz véges halmazainak rendszere.

Ekkor(I,≤)felfelé irányított halmaz a tartalmazás relációval, és nincs maximális eleme. (I,≤) -nek azonban nincs megszámlálható konális részhalmaza, tehát erre az (I,≤)-re a fent deniált lim←−(E_i,(I,≤), f_ij|_i≤j) =∅.

Bizonyítás. (I,≤) tulajdonságai könnyen láthatóak, kivéve a konális részhalmazra vonatkozó állítást.

(Indirekt) Legyen A megszámlálhatóan végtelen konális részhalmaza I-nek. Ekkor az A legalább egy elemének, α ∈A-nak, végtelen sok (s®t nem megszámlálható) egy elem¶ halmazt kell tartalmaznia, különbenAnem lenne konális(I,≤)-ben. Ebben az esetben azonbanα /∈I,

ami ellentmondás. Q.E.D.

Bizonyítás. A 63. példa bizonyítása. A 72. állításból következik, hogylim←−(E_i,(I,≤), f_ij|_i≤j) =

∅. Q.E.D.

1Lehetne I egy nem megszámlálható halmaz megszámlálható halmazainak rendszere, vagy hasonlóan egy meg-számlálhatónál nagyobb számosságú halmaz kisebb számosságú halmazainak rendszere is.

A 63. példa mutatja, hogy f_ij-k szürjektivitása nem elégséges feltétele az inverzlimesz ne-mürességének, tehát a szürjektivitást tovább kell er®síteni.

74. deníció. Az (Xi,(I,≤), f_ij|i≤j) inverzrendszer sorozatmaximális (s.m., sequentially ma-ximal), ha tetsz®leges i₁ ≤ i₂ ≤ . . . ∈ I sorozatra, és tetsz®leges x_in ∈ X_in-re, hogy x_in = f_inin+1(x_in+1) ∀n-re,∃x∈lim←−(X_i,(I,≤), f_ij|i≤j), hogyp_in(x) =x_in ∀n.

A sorozatmaximalitás tulajdonságot Bochner [14] vezette be.

Látható, hogy egy sorozatmaximális inverzrendszerben fij-k szürjektívek. A sorozatmaxi-malitás, mint a következ®kben látni fogjuk elégséges, de nem szükséges feltétele az inverzlimesz nemürességének.

A sorozatmaximalitás feltétel automatikusan teljesül ha f_ij-k koordináta leképezések (lásd a 75. segédtételt).

75. segédtétel. Az (Xi,(I,≤), f_ij|_i≤j) inverzrendszer, ahol Xi = Q

j∈I j≤i

Xj, Xi 6=∅ ∀i∈I-re, és f_ij =pr_ij ∀(i≤j). Ekkor(X_i,(I,≤), f_ij|_i≤j) sorozatmaximális.

Bizonyítás. Látható, hogylim←−(X_i,(I,≤), f_ij|_i≤j) =Q

i∈IX_i, tehát teljesül a 74. deníció tulaj-donsága, így (Xi,(I,≤), f_ij|_i≤j)inverzrendszer sorozatmaximális. Q.E.D.

A sorozatmaximalitás feltétel szintén automatikusan teljesül topologikus inverzrendszerben ahol az alapterek nemüres kompakt halmazok, és f_ij-k szürjektívek (lásd a 76. segédtételt).

76. segédtétel. Az ((X_i, τ_i),(I,≤), f_ij|_i≤j) topologikus inverzrendszer, ahol (I,≤) felfelé irá-nyított halmaz, és(Xi, τi)-k nemüres kompakt topologikus terek (Hausdor), ekkor a topologikus inverzlimesz nemüres kompakt topologikus tér. Ha ráadásul f_ij-k szürjektívek is, akkor az in-verzrendszer sorozatmaximális.

Bizonyítás. A Tyihonov-tétel miattX =Q

i∈IX_i kompakt (Hausdor), nemüres.

Legyen Gij ${x ∈X |pi(x) =fij ◦pj(x)}|_i≤j. Mivel fij-k folytonosak és Xi-k Hausdor topologikus terek, ezértG_ij-k zárt halmazok∀(i≤j). Xkompakt halmaz, tehátG_ij-k kompakt halmazok ∀(i ≤ j). Az inverzrendszer deníciója miatt ∀m ∈ N-re ∩^m_n=1 = Gⁿ_ij 6= ∅ (itt kell (I,≤) felfelé irányítottsága). A véges metszet tulajdonság miatt ekkor ∩_i≤jG_ij 6= ∅, tehát P =∩_i≤jGij 6=∅.

Legyen i₁ ≤ i₂ ≤ . . . ∈ I egy tetsz®leges sorozat, és legyen x_in ∈ X_in, hogy x_in = finin+1(xin+1) ∀n. LegyenC $∩_np⁻¹_in ({x_in}), ekkor fij-k szürjektivitása,pi-k folytonossága, és

Xkompaktsága miattC6=∅kompakt halmaz. Azt is tudjuk, hogy∀m∈N-reC∩(∩^m_l=1G^l_ij)6=∅, tehát C∩(∩i≤jGij)6=∅. Legyen ∃x∈C∩(∩i≤jGij) tetsz®leges, ekkorxin =pin(x) ∀n. Mivel i₁≤i₂ ≤. . .∈I tetsz®legesen választott sorozat volt, így kész is vagyunk. Q.E.D.

A 76. segédtételben (I,≤) felfelé irányítottsága ártatlan feltételnek t¶nik, pedig nem az.

Ennek a ténynek az illusztrálására nézzük a következ® példát:

77. példa. Legyen I = {i₁, i₂, i₃, i₄}, hogy i₃ ≤ i₁, i₃ ≤ i₂, i₄ ≤ i₁, i₄ ≤ i₂, i₁ ne legyen relációban i2-vel, és i3 ne legyen relációbani4-gyel.

X_i1 = X_i2 = X_i3 = X_i4 = {1,2}. Ekkor X_in a diszkrét topológiával kompakt tér n = 1,2,3,4.

Legyen f_i3i1 =id_Xi

1,f_i3i2 =id_Xi

2,f_i4i2 =id_Xi

2, ésf_i4i1(x) =







1, ha x= 2

2 különben .

Könnyen látható, hogy lim←−(X_i,(I,≤), f_ij|_i≤j) =∅.

A fent tárgyalt esetekben nem kell tartanunk attól, hogy az inverzlimesz nem lesz elég nagy ahhoz, hogy valamiféle értelmes" mérhet® struktúrát deniáljunk rajta.

Az inverzlimesz gazdagságának biztosításához egy másik feltételcsoport is használatos az irodalomban. Ez a feltételcsoport az inverzrendszer I indexhalmazára, és az f_ij leképezésekre tett feltételek.

A következ® eredmény M. M. Rao [68] 274. oldaláról való.

78. állítás. Legyen(X_i,(I,≤), f_ij|_i≤j) inverzrendszer aholX_i6=∅ ∀i∈I, ekkor ha a következ®

két pont közül az egyik feltételei teljesülnek, akkorX= lim←−(Xi,(I,≤), f_ij|i≤j)6=∅, ésXi =pi(X)

∀i∈I.

1. fij-k szürjektívek, (I,≤) felfelé irányított, és (I,≤)-nek van megszámlálható számosságú konális részhalmaza,

2. (Xi,(I,≤), f_ij|_i≤j) inverzrendszer sorozatmaximális.

Bizonyítás. 1. pont: Könnyen látható, hogy elég azNindexhalmazon megmutatni, hogy X₁= p1(P).

Legyenx₁ ∈X₁tetsz®leges. Ekkorf_ij-k szürjektivitása miatt,∃x₂ ∈X₂, hogyx₁ =f₁₂(x₂). Ezt az érvelést követve deniálunk pontok egy sorozatát, hogyxn∈Xn, ésxn=fnn+1(xn+1)∀n (teljes indukció). x_n=f_nm(x_m) ∀(n≤m), így x∈lim←−(X_i,(N,≤), f_ij|_i≤j). Mivelx₁ tetsz®leges volt, így X1 =p1(X).

2. pont: A 74. deníció közvetlen következménye. Q.E.D.

79. megjegyzés. A 78. állítás 1. és 2. pontjai nem összevethet®ek.

A 77. példa jól illusztrálja az a 78. állítás 1. feltételben (I,≤) felfelé irányítottságának fontosságát.

80. példa. Inverzrendszer ahol f_ij-k szürjektívek, (I,≤) felfelé irányított, (I,≤)-nek van megszámlálható számosságú konális részhalmaza, de nem sorozatmaximális.

Ezen példa ötlete Millington & Sion [57]-tól való.

Legyen X =`² ⊆ R^N, a valós számsorozatok terének egy részhalmaza az kxk $p

Σ^∞_n=1x²_n normával, mint normált tér. Legyene₁ az a sorozat, melynek els® eleme 1, a többi0. Értelem-szer¶enen az a sorozat, melynek n-ik eleme 1, a többi 0. Világos, hogy (Lin({e₁, e2, . . . , en}), k k) altere(X,k k)-nek∀n.

Legyenek (^? a duálist jelöli) Ω1 = Lin^?({e₁}) Ω₂ = Lin^?({e₁, e₂})

...

Ω_n = Lin^?({e₁, e₂, . . . , e_n}) ...

Ωω = X^?

Látható, hogy az indexhalmaznak (N∪ {ω}) van legnagyobb eleme ω.

Legyen fij : Ωj →Ωi i≤j, hogyfij(λ)$λ|_{Lin({e1,e2,...,ei})} és ∀λ∈Lin^?({e₁, e2, . . . , ej}). 81. segédtétel. fij-k szürjektívek.

Bizonyítás. Legyen n tetsz®leges, és legyen λ ∈ Ωn szintén tetsz®leges. Ekkor λ folytonos, tehát korlátos, így a Hahn-Banach-tétel értelmében kiterjeszthet® korlátos, így folytonos lineáris funkcionállá Ωω-en. Mivelnésλtetsz®leges volt, így kész is vagyunk. Q.E.D.

Bizonyítás. 80. példa bizonyítása. A 81. lemma miattfij-k szürjektívek,N∪ωteljesen rendezett és megszámlálható.

Legyen λ^? lineáris funkcionál X-en, hogyλ^?(en) =n ∀n. Ekkor λ^?|_Lin({e

1,e2,...,en}) ∈ Ωn ∀n, de λ^? nem korlátos, így nem is folytonos, tehátλ^?∈/ Ω. Q.E.D.

82. megjegyzés. Hap_i-k szürjektívek, akkorlim←−(X_i,(I,≤), f_ij|_i≤j)6=∅.

83. megjegyzés. Vegyük észre, hogy nekünk a véleményrangsorok elemzésekor az indexhalmaz felfelé irányított és van megszámlálható konális részhalmaza. Így elég fij-k szürjektivitására koncentrálni.

A 78. állítás két feltételének különbségét a Bochner-tétel (135. tétel), a Prohorov-tétel (140.

tétel) és a Bourbaki-tétel (142. tétel) összehasonlítása, ugyan egy más szempontból, de szintén megmutatja.

Látható, hogy fij-k szürjektivitása nem feltétele az inverzlimesz nemürességének (lásd a 62.

példát). f_ij-k szürjektivitása azonban sokszor elvárható", így a hangsúly az inverzrendszer más tulajdonságain van.

A 78. állítás 1. pontja f_ij-k szürjektívitását kombinálja az indexhalmaz tulajdonságaival, annak érdekében, hogy pi-k szürjektívek legyenek. Ha elhagyjuk fij-k szürjektívitását, akkor nem tudjuk biztosítani az inverzlimesz nemürességét (lásd a 61. példát).

84. megjegyzés. Ahhoz, hogy a mérték inverzlimeszen valószín¶ségi mértéket tudjunk deniál-ni nem csak, hogy nem üresnek kell lendeniál-nie az inverzlimesznek, hanem nem szabad összemosdeniál-nia"

különböz® mérték¶ halmazokat. Ehhez nem elégséges, hap_i-k szürjektívek, további tulajdonsá-gokat is fel kell tennünk a mérték inverzrendszerr®l. Ennek illusztrálására lásd a 93. példát.

A sorozatmaximalitás segítségével biztosítható pi-k szürjektivitása. A sorozatmaximalitás azonban nem szükséges feltétele a p_i-k szürjektivitásának (lásd a 80. példát).

Millington & Sion [57] gyengítette a sorozatmaximalitás fogalmát, mely általánosítást majd-nem sorozat maximalitásrnak nevezzük.

85. deníció. Az ((X_i,M_i, µ_i),(I,≤), f_ij|_i≤j) mérték inverzrendszer majdnem sorozatmaxi-mális (almost s.m., almost sequentially maximal),

ha tetsz®leges i₁ ≤i₂≤. . .∈I sorozathoz∃A_in ⊆X_in halmazok, hogy

• f_i⁻¹

nim(A_in)⊆A_im ∀(n≤m),

• µ^?_i

n(A_in) = 0 ∀n, aholµ^?_i

n(Z) = infZ⊆A∈A_iµ_in(A) ∀Z ∈ P(X_in)küls® mérték ∀n,

ha xin ∈ Xin \Ain, xin = finin+1(xin+1) ∀n, akkor ∃x ∈ P = lim←−(Xi,(I,≤), f_ij|i≤j), hogy x_in =p_in(x)∀n.

86. megjegyzés. Minden sorozatmaximális mérték inverzrendszer majdnem sorozatmaximális is.

Egy mérték inverzrendszer kb. akkor majdnem sorozatmaximális, ha negligálható halma-zoktól eltekintve sorozatmaximális.

A következ® példa egy olyan mérték inverzrendszert mutat be, mely nem sorozatmaximális, de majdnem sorozatmaximális és van mérték inverzlimesze.

87. példa. Legyen(I,≤)indexhalmaz a természetes számok halmazaNa szokásos rendezéssel, és legyen Xn = [_n¹,0]∀n∈ I, legyen továbbáfnm =id_Xm. Ekkor ({0}, δ₀) = lim←−((Xn, B(Xn), δ₀),(N,≤), f_nm|n≤m), aholδ₀ a 0-ra koncentrált Dirac-mérték.

Bizonyítás. A 62. példában láttuk, hogy lim←−(X_n,(N,≤), f_nm|_n≤m) = {0}. Mivel δ₀ mérték minden n-re, így a limeszben isδ0 van.

Az f_nm-k nem szürjektívek, így ((X_n, B(X_n), δ₀),(N,≤), f_nm|_n≤m) nem sorozatmaximális.

Mivel az elhagyott pontok(Xn\{0})mértékeδ0(Xn\{0}) = 0∀n, ésf_nm⁻¹((Xn\{0}) = (X_m\{0}

∀(n≤m), így((X_n, B(X_n), δ₀),(N,≤), f_nm|_n≤m) majdnem sorozatmaximális. Q.E.D.

A 78. állításban láttuk, hogy miként biztosítható az inverzlimesz megfelel® gazdagsága.

Most ezt általánosítjuk mérték inverzrendszerek esetén.

88. deníció. ((Xi,M_i, µ_i),(I,≤), f_ij|_i≤j) mérték inverzrendszer esetén pi-k majdnem szür-jektívek, ha µ^?_i(X_i \p_i(X)) = 0 ∀i ∈ I, ahol µ^?_i(Z) = infZ⊆A∈M_iµ_i(A) ∀Z ∈ P(X_i) küls®

mérték ∀i.

Tudjuk, hogy hapi-k majdnem szürjektívek, akkorlim←−(Xi,(I,≤), f_ij|i≤j)6=∅, depi-k majd-nem szürjektivitása ellenére megtörténhet, hogy a mérték inverzrendszer különböz® mérték¶

halmazokat összemos" (lásd a 93. példát).

89. segédtétel. Ha ((X_i,M_i, µ_i),(I,≤), f_ij|i≤j) mérték inverzrendszer majdnem sorozatmaxi-mális, akkorpi-k majdnem szürjektívek.

Bizonyítás. Legyeni tetsz®leges, rögzített. Az((Xi,M_i, µ_i),(I,≤), f_ij|_i≤j) mérték inverzrend-szer majdnem sorozatmaximalitás, ekkor a 78. állítás miatt p_i(X) ⊇ (X_i \A_i) (ahol A_i a 85.

denícióból való), ígyµ^?_i(Xi\p_i(X)) = 0. Mivelitetsz®legesen választott voltµ^?_i(Xi\p_i(X)) = 0

∀i. Q.E.D.

A következ® állítás a 76. segédtétellel analóg.

90. segédtétel. Tetsz®leges

(((X_i, τ_i), B(X_i, τ_i), µ_i),(I,≤), f_ij|_i≤j) (4.2) Baire-mérték inverzrendszer esetén, ahol(I,≤)felfelé irányított halmaz,(X_i, τ_i)nemüres, kom-pakt topologikus tér ∀i, a (4.2) mérték inverzrendszer majdnem sorozatmaximális.

Bizonyítás. A 76. segédtételb®l következik, hogy P = lim←−((Xi, τi),(I,≤), f_ij|_i≤j)6=∅ kompakt halmaz. Tudjuk, hogyp_i(P)⊆X_i kompakt halmaz∀i, ésf_ij⁻¹(p_i(P))⊇p_j(P)∀(i≤j). Szintén a 76. segédtételb®l következik, hogy a (pi(P),(I,≤),fˆij|_pj(P)) inverzrendszer sorozatmaximális (hiszenp_i(P)-k kompaktak ésfˆ_ij|_p

j(P)-k szürjektívek). Vegyük észre, hogy haµ_i?(p_i(P)) = 1∀i, aholµ_i? a µ_i generálta bels® mérték, akkor kész is vagyunk, hiszen közvetlenül alkalmazhatjuk a majdnem sorozatmaximalitás denícióját.

Indirekt tegyük fel, hogy ∃i^? ∈ I, hogy µ_i^?_?(pi(P)) = α < 1. Ekkor ∃B_i^? ∈ B(Xi^?, τi^?), hogy B_i^? ⊇ (X_i^? \p_i^?(P)) és µ_i?(B_i^?) = 1−α > 0. Mivel µ_i? Baire-mérték, így reguláris, tehát Xi^? kompaktsága miatt kompakt reguláris, tehát∃A_i^? kompakt halmaz, hogy Ai^? ⊆Bi^?

ésµ_i?(A_i^?) =β >0, továbbáA_i^?∩(X_i^?\p_i^?(P))6=∅. Legyen Ai $











f_i⁻¹?i(A_i^?), ha i^? ≤i fii^?(Ai^?), ha i≤i^?

f_ij(A_j) különben, ahol i≤j ési^? ≤j

. A denícióból következik, hogy Ai 6= ∅ kompakt halmaz ∀i (a nemürességhez kell µ_i?(Ai^?) = β > 0), és fij(Aj) = Ai

∀(i≤j), ekkor

(Ai,(I,≤),fˆij|_Aj) (4.3)

a 76. segédtétel miatt sorozatmaximális inverzrendszer. Legyen x_i^? ∈ A_i^? ∩(X_i^? \p_i^?(P)) tetsz®leges, rögzített. Ekkor (4.3) sorozatmaximalitása miatt ∃x ∈ A = lim←−(A_i,(I,≤), f_ij|_Aj), hogy xi^? =pi^?|_A(x). Azt is tudjuk azonban, hogy pi(x) ∈Ai ⊆ Xi ∀i, tehát x ∈ P, de ekkor

x_i^?∈P_i^?(P), ami ellentmondás. Q.E.D.

91. megjegyzés. A 90. segédtételben a Baire-mérték inverzrendszer reguláris Borel-mérték (ami ebben az esetben Radon-mérték) inverzrendszerre cserélhet®.

A következ® állításban azt mutatjuk meg, hogy az eddigi feltételek, fogalmak segítségével mire mehetünk egy tisztán mérték inverzrendszer vizsgálatának kapcsán.

92. állítás. Ha((X_i,M_i, µ_i),(I,≤), f_ij|_i≤j)majdnem sorozatmaximális mérték inverzrendszer, ahol(I,≤)felfelé irányított halmaz, akkor(P,A, µ) =w−lim←−((Xi,M_i, µ_i),(I,≤), f_ij|i≤j)gyenge mérték inverzlimesz létezik és egyértelm¶.

Bizonyítás. A mérhet® struktúrát P-n p⁻¹_i -ek deniálják. Ez a struktúra algebra, hiszen le-gyenA₁, A₂, . . . , A_n halmazok M-ben, ekkor(I,≤) irányított halmaz volta miatt ∃i∈I, hogy p⁻¹_i (B1) =A1, p⁻¹_i (B2) =A2, . . . , p⁻¹_i (Bn) =An,B1, B2, . . . , Bn∈ M_i. De M_i σ-algebra, és pi

mérhet®, ígyA algebra.

Deniáljukµ-t,µ(p⁻¹_i (B)) =µ_i(B)∀i∈I,B ∈ M_i. A majdnem sorozatmaximalitás feltétel miatt p_i-k majdnem szürjektívek, így µjól deniált. Tegyük fel az ellenkez®jét, tehát, hogy µ nem egyértelm¶. Ekkor ∃A ∈ M_i és ∃B ∈ M_j, hogy p⁻¹_i (A) = p⁻¹_j (B), de µ_i(A) 6= µ_j(B). Ekkor azonbanp_i-k majdnem szürjektivitása, és(I,≤) felfelé irányítottsága miatt∃k∈I, hogy f_ik⁻¹(A) =f_jk⁻¹(B), de µ_k(C)6=µ_k(C), aholC =f_ik⁻¹(A) =f_jk⁻¹(B), ami ellentmondás.

µadditivitásának bizonyítása a következ®: legyenekA₁, A₂, . . . , A_npáronként diszjunkt hal-mazokA-ban, ekkor(I,≤)irányított halmaz volta miatt∃i∈I, hogyp⁻¹_i (B1) =A1, p⁻¹_i (B2) = A₂, . . . , p⁻¹_i (B_n) = A_n,B₁, B₂, . . . , B_n ∈ M_i, . De M_i σ-algebra, µ_i σ-additív, ésp_i mérhet®,

így µAalgebrán additív. Q.E.D.

Összefoglalva az eddig leírtakat, ha mérték inverzrendszert vizsgálunk, akkor két megkerül-hetetlen problémába ütközünk bele:

1. milyen sok mérhet® halmaz van az inverzlimeszben,

2. létezik-e a kívánt mérték az inverzlimesz mérhet® halmazain, tehát µ σ-additív-e az el®z®

állításban (a 92. segédtételben).

A 77. példában láttuk, hogy (I,≤) felfelé irányítottsága fontos tulajdonság. A követke-z® példa azt illusztrálja, hogy a sorozatmaximalitás/majdnem sorozatmaximalitás feltétel nem váltja ki (I,≤) felfelé irányítottságát, tehát a 92. állításban nem hagyható el (I,≤) felfelé irányítottsága.

93. példa. LegyenI ={i₁, i2, i3, i4}.

Legyen i₃ ≤ i₁, i₃ ≤ i₂, i₄ ≤ i₁, i₄ ≤ i₂, i₁ ne legyen relációban i₂-vel, és i₃ ne legyen relációban i4-gyel.

Legyenek X_i1 =X_i2 ={1,2,3,4},X_i3 =X_i4 ={1,2}.

Legyenek

Könnyen látható, hogy (X_i,(I,≤), f_ij|_i≤j) inverzrendszer sorozatmaximális.

Legyenek

94. megjegyzés. A gyenge mérték inverzlimesz létezésével kapcsolatban megállapíthatjuk, hogy ha a mérték inverzrendszer majdnem sorozatmaximális, akkor p_i-k majdnem szürjektí-vek, és így az inverzlimesz nem üres. Ekkor azonban még el®fordulhat, hogy különböz® mérték¶

halmazokat összemos a mérték inverzrendszer. Ha azonban feltesszük még, hogy (I,≤) index-halmaz felfelé irányított, akkor a gyenge mérték inverzlimesz már létezik.

95. megjegyzés. A 92. állításban nem csak létezést, hanem egyértelm¶séget is kimondtunk.

A kés®bbi fejezetekben, az alkalmazás során látjuk majd, hogy az egyértelm¶ség szintén nagyon fontos kérdés.

In document Pintér Miklós (Pldal 49-61)