Gramaphone Magazine Honors Wojciech Kocyan Emerging from ...
Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of...
Transcript of Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of...
![Page 1: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/1.jpg)
Wallman representations of hyperspaces
Wojciech Stadnicki (University of Wroc law)
January 31, 2013Winter School, Hejnice
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 2: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/2.jpg)
C-spaces
We say X is a C -space (or X has property C ) if for each sequenceU1,U2, . . . of open covers of X , there exists a sequence V1,V2, . . .,such that:
each Vi is a family of pairwise disjoint open subsets of X
Vi ≺ Ui (Vi refines Ui , i.e. ∀ V ∈ Vi ∃U ∈ Ui V ⊆ U)⋃∞i=1 Vi is a cover of X
finite dimension ⇒ property C ⇒ weakly infinite dimension
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 3: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/3.jpg)
C-spaces
We say X is a C -space (or X has property C ) if for each sequenceU1,U2, . . . of open covers of X , there exists a sequence V1,V2, . . .,such that:
each Vi is a family of pairwise disjoint open subsets of X
Vi ≺ Ui (Vi refines Ui , i.e. ∀ V ∈ Vi ∃U ∈ Ui V ⊆ U)⋃∞i=1 Vi is a cover of X
finite dimension ⇒ property C ⇒ weakly infinite dimension
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 4: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/4.jpg)
Theorem (Levin, Rogers 1999)
If X is a metric continuum of dimension ≥ 2 then its hyperspaceC (X ) is not a C -space.
Theorem
Suppose X is a 1-dimensional hereditarily indecomposable metriccontinuum. Then either dim C (X ) = 2 or C (X ) is not a C -space.
Question
Are above theorems true for non-metric continua?Answer: Yes.
Reduce the non-metric case to the metric one by applyingLowenheim-Skolem teorem. Then use the already known theorems.This approach was presented by K. P. Hart on the Winter Schoolin 2012.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 5: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/5.jpg)
Theorem (Levin, Rogers 1999)
If X is a metric continuum of dimension ≥ 2 then its hyperspaceC (X ) is not a C -space.
Theorem
Suppose X is a 1-dimensional hereditarily indecomposable metriccontinuum. Then either dim C (X ) = 2 or C (X ) is not a C -space.
Question
Are above theorems true for non-metric continua?Answer: Yes.
Reduce the non-metric case to the metric one by applyingLowenheim-Skolem teorem. Then use the already known theorems.This approach was presented by K. P. Hart on the Winter Schoolin 2012.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 6: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/6.jpg)
Theorem (Levin, Rogers 1999)
If X is a metric continuum of dimension ≥ 2 then its hyperspaceC (X ) is not a C -space.
Theorem
Suppose X is a 1-dimensional hereditarily indecomposable metriccontinuum. Then either dim C (X ) = 2 or C (X ) is not a C -space.
Question
Are above theorems true for non-metric continua?
Answer: Yes.
Reduce the non-metric case to the metric one by applyingLowenheim-Skolem teorem. Then use the already known theorems.This approach was presented by K. P. Hart on the Winter Schoolin 2012.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 7: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/7.jpg)
Theorem (Levin, Rogers 1999)
If X is a metric continuum of dimension ≥ 2 then its hyperspaceC (X ) is not a C -space.
Theorem
Suppose X is a 1-dimensional hereditarily indecomposable metriccontinuum. Then either dim C (X ) = 2 or C (X ) is not a C -space.
Question
Are above theorems true for non-metric continua?Answer: Yes.
Reduce the non-metric case to the metric one by applyingLowenheim-Skolem teorem. Then use the already known theorems.This approach was presented by K. P. Hart on the Winter Schoolin 2012.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 8: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/8.jpg)
For a compact space X consider the lattice 2X which consists of allclosed subsets of X .
Each (distributive and separative) lattice L corresponds to theWallman space wL, which consists of all ultrafilters on L.For a ∈ L let a = {u ∈ wL : a ∈ u}. We define the topology in wLtaking the family {a : a ∈ L} as a base for closed sets.If L is a countable (normal) lattice then wL is a compact metricspace.
Fact
Let L be a sublattice of 2X . The function q : X → wL given byq(x) = {a ∈ L : x ∈ a} is a continuous surjection.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 9: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/9.jpg)
For a compact space X consider the lattice 2X which consists of allclosed subsets of X .
Each (distributive and separative) lattice L corresponds to theWallman space wL, which consists of all ultrafilters on L.
For a ∈ L let a = {u ∈ wL : a ∈ u}. We define the topology in wLtaking the family {a : a ∈ L} as a base for closed sets.If L is a countable (normal) lattice then wL is a compact metricspace.
Fact
Let L be a sublattice of 2X . The function q : X → wL given byq(x) = {a ∈ L : x ∈ a} is a continuous surjection.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 10: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/10.jpg)
For a compact space X consider the lattice 2X which consists of allclosed subsets of X .
Each (distributive and separative) lattice L corresponds to theWallman space wL, which consists of all ultrafilters on L.For a ∈ L let a = {u ∈ wL : a ∈ u}. We define the topology in wLtaking the family {a : a ∈ L} as a base for closed sets.
If L is a countable (normal) lattice then wL is a compact metricspace.
Fact
Let L be a sublattice of 2X . The function q : X → wL given byq(x) = {a ∈ L : x ∈ a} is a continuous surjection.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 11: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/11.jpg)
For a compact space X consider the lattice 2X which consists of allclosed subsets of X .
Each (distributive and separative) lattice L corresponds to theWallman space wL, which consists of all ultrafilters on L.For a ∈ L let a = {u ∈ wL : a ∈ u}. We define the topology in wLtaking the family {a : a ∈ L} as a base for closed sets.If L is a countable (normal) lattice then wL is a compact metricspace.
Fact
Let L be a sublattice of 2X . The function q : X → wL given byq(x) = {a ∈ L : x ∈ a} is a continuous surjection.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 12: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/12.jpg)
For a compact space X consider the lattice 2X which consists of allclosed subsets of X .
Each (distributive and separative) lattice L corresponds to theWallman space wL, which consists of all ultrafilters on L.For a ∈ L let a = {u ∈ wL : a ∈ u}. We define the topology in wLtaking the family {a : a ∈ L} as a base for closed sets.If L is a countable (normal) lattice then wL is a compact metricspace.
Fact
Let L be a sublattice of 2X . The function q : X → wL given byq(x) = {a ∈ L : x ∈ a} is a continuous surjection.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 13: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/13.jpg)
Definition
A property P is elementarily reflected if:for any compact space X with the property P and for any L ≺ 2X
its Wallman representation wL also has P.
Definition
A property P is elementarily reflected by submodels if:for any compact space X with the property P and for any L ≺ 2X
of the form L = 2X ∩M, where 2X ∈M and M≺ H(κ) (for alarge enough regular κ), its Wallman representation wL also has P.
Connectedness is elementarily reflected.
The dimension dim is elementarily reflected (includingdim =∞).
Hereditary indecomposability is elementarily reflected.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 14: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/14.jpg)
Definition
A property P is elementarily reflected if:for any compact space X with the property P and for any L ≺ 2X
its Wallman representation wL also has P.
Definition
A property P is elementarily reflected by submodels if:for any compact space X with the property P and for any L ≺ 2X
of the form L = 2X ∩M, where 2X ∈M and M≺ H(κ) (for alarge enough regular κ), its Wallman representation wL also has P.
Connectedness is elementarily reflected.
The dimension dim is elementarily reflected (includingdim =∞).
Hereditary indecomposability is elementarily reflected.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 15: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/15.jpg)
Definition
A property P is elementarily reflected if:for any compact space X with the property P and for any L ≺ 2X
its Wallman representation wL also has P.
Definition
A property P is elementarily reflected by submodels if:for any compact space X with the property P and for any L ≺ 2X
of the form L = 2X ∩M, where 2X ∈M and M≺ H(κ) (for alarge enough regular κ), its Wallman representation wL also has P.
Connectedness is elementarily reflected.
The dimension dim is elementarily reflected (includingdim =∞).
Hereditary indecomposability is elementarily reflected.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 16: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/16.jpg)
If dimX ≥ 2 then C (X ) is not a C -space:
Suppose dim X ≥ 2. Take countable M≺ H(κ) such that2X , 2C(X ) ∈M. Let L = 2X ∩M and L∗ = 2C(X ) ∩M. Then wL,wL∗ are metric continua. Moreover, dim wL = dim X ≥ 2.By the result of M. Levin and J. T. Rogers, Jr. for metriccontinua, we obtain C (wL) is not a C -space.
Lemma
1 The space wL∗ is homeomorphic to C (wL).
2 Property C is elementarily reflected.
By Lemma (1) wL∗ is not a C -space.By Lemma (2), neither is C (X ).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 17: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/17.jpg)
If dimX ≥ 2 then C (X ) is not a C -space:
Suppose dim X ≥ 2. Take countable M≺ H(κ) such that2X , 2C(X ) ∈M.
Let L = 2X ∩M and L∗ = 2C(X ) ∩M. Then wL,wL∗ are metric continua. Moreover, dim wL = dim X ≥ 2.By the result of M. Levin and J. T. Rogers, Jr. for metriccontinua, we obtain C (wL) is not a C -space.
Lemma
1 The space wL∗ is homeomorphic to C (wL).
2 Property C is elementarily reflected.
By Lemma (1) wL∗ is not a C -space.By Lemma (2), neither is C (X ).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 18: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/18.jpg)
If dimX ≥ 2 then C (X ) is not a C -space:
Suppose dim X ≥ 2. Take countable M≺ H(κ) such that2X , 2C(X ) ∈M. Let L = 2X ∩M and L∗ = 2C(X ) ∩M. Then wL,wL∗ are metric continua. Moreover, dim wL = dim X ≥ 2.
By the result of M. Levin and J. T. Rogers, Jr. for metriccontinua, we obtain C (wL) is not a C -space.
Lemma
1 The space wL∗ is homeomorphic to C (wL).
2 Property C is elementarily reflected.
By Lemma (1) wL∗ is not a C -space.By Lemma (2), neither is C (X ).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 19: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/19.jpg)
If dimX ≥ 2 then C (X ) is not a C -space:
Suppose dim X ≥ 2. Take countable M≺ H(κ) such that2X , 2C(X ) ∈M. Let L = 2X ∩M and L∗ = 2C(X ) ∩M. Then wL,wL∗ are metric continua. Moreover, dim wL = dim X ≥ 2.By the result of M. Levin and J. T. Rogers, Jr. for metriccontinua, we obtain C (wL) is not a C -space.
Lemma
1 The space wL∗ is homeomorphic to C (wL).
2 Property C is elementarily reflected.
By Lemma (1) wL∗ is not a C -space.By Lemma (2), neither is C (X ).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 20: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/20.jpg)
If dimX ≥ 2 then C (X ) is not a C -space:
Suppose dim X ≥ 2. Take countable M≺ H(κ) such that2X , 2C(X ) ∈M. Let L = 2X ∩M and L∗ = 2C(X ) ∩M. Then wL,wL∗ are metric continua. Moreover, dim wL = dim X ≥ 2.By the result of M. Levin and J. T. Rogers, Jr. for metriccontinua, we obtain C (wL) is not a C -space.
Lemma
1 The space wL∗ is homeomorphic to C (wL).
2 Property C is elementarily reflected.
By Lemma (1) wL∗ is not a C -space.By Lemma (2), neither is C (X ).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 21: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/21.jpg)
If dimX ≥ 2 then C (X ) is not a C -space:
Suppose dim X ≥ 2. Take countable M≺ H(κ) such that2X , 2C(X ) ∈M. Let L = 2X ∩M and L∗ = 2C(X ) ∩M. Then wL,wL∗ are metric continua. Moreover, dim wL = dim X ≥ 2.By the result of M. Levin and J. T. Rogers, Jr. for metriccontinua, we obtain C (wL) is not a C -space.
Lemma
1 The space wL∗ is homeomorphic to C (wL).
2 Property C is elementarily reflected.
By Lemma (1) wL∗ is not a C -space.By Lemma (2), neither is C (X ).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 22: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/22.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 23: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/23.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X .
Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 24: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/24.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik).
Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 25: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/25.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X .
Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 26: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/26.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space.
So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 27: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/27.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 28: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/28.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L.
Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 29: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/29.jpg)
Property C is elementarily reflected (proof):
Let X be a C -space, 2X the lattice of its closed subsets andL ≺ 2X . Suppose U1,U2, . . . is a sequence of finite open covers ofwL, consisting of basic sets (i.e. for all Uik ∈ Ui there is Fik ∈ L
such that Uik = wL \ Fik). Define U ′ik = X \ Fik andU ′i = {U ′i1,U ′i2, . . . ,U ′iki}. Then U ′1,U ′2, . . . is a sequence of opencovers of X . Hence, there exists a finite sequence V ′1,V ′2, . . . ,V ′n offinite families as in the definition of a C -space. So we have:2X |= ∃G11, . . . ,G1m1 ,G21, . . .G2m2 , . . . , Gn1, . . . ,Gnmn such that:
(1)∧n
i=1
(∧1≤j<j ′≤mi
(Gij ∪ Gij ′ = X
))(2)
∧ni=1
(∧mij=1
(∨kij ′=1
(Gij ∩ Fij ′ = Fij ′
)))(3)
⋂ni=1
⋂mij=1 Gij = ∅.
By elementarity such sets Gij exist in L. Take Vij = wL \ Gij andVi = {Vi1,Vi2, . . . ,Vimk
}. Then V1,V2, . . . ,Vn are families ofpairwise disjoint sets (by (1)), open in wL. For i ≤ n the family Virefines Ui (by (2)) and
⋃ni=1 Vi is a cover of wL (by (3)).
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 30: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/30.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).Let Ku ∈ C (X ) be the only point in
⋂u.
So Ku is a subcontinuum of X .Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 31: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/31.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).Let Ku ∈ C (X ) be the only point in
⋂u.
So Ku is a subcontinuum of X .Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 32: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/32.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).
Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).Let Ku ∈ C (X ) be the only point in
⋂u.
So Ku is a subcontinuum of X .Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 33: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/33.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).
Let Ku ∈ C (X ) be the only point in⋂
u.So Ku is a subcontinuum of X .Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 34: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/34.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).Let Ku ∈ C (X ) be the only point in
⋂u.
So Ku is a subcontinuum of X .
Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 35: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/35.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).Let Ku ∈ C (X ) be the only point in
⋂u.
So Ku is a subcontinuum of X .Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.
Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 36: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/36.jpg)
Remark
Similarily one can prove that chainability is elementarily reflected.
The space wL∗ is homeomorphic to C (wL) (sketch of proof):
We will find a homeomorphism h : wL∗ → C (wL).Let u∗ ∈ wL∗. Extend it to an ultrafilter u on 2C(X ).Let Ku ∈ C (X ) be the only point in
⋂u.
So Ku is a subcontinuum of X .Define h(u∗) = q[Ku], where q : X → wL is the continuoussurjection given by q(x) = {a ∈ L : x ∈ a}.Then h does not depend on the choice of Ku and it is ahomeomorphism.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 37: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/37.jpg)
Proposition
Being not a C -space is elementarily reflected by submodels.
Let X be a non-C -space, M≺ H(κ), such that 2X ∈M andL = 2X ∩M. There is a sequence (Ui )∞i=1 ∈ H(κ) wittnessing thatX is not a C -space. Hence, H(κ) models the following sentence ϕ:
There exists a sequence (Fi )∞i=1 of finite subsets of 2X such that⋂
Fi = ∅ for each i and for no m ∈ N and G1, . . . ,Gm finitesubsets of 2X , the following conditions hold simultaneously:
for j ≤ m and distinct G ,G ′ ∈ Gj their union G ∪ G ′ = X ,
for j ≤ m and G ∈ Gj there exists F ∈ Fj such that F ⊆ G ,⋂(G1 ∪ . . . ∪ Gm) = ∅.
By elementarity M |= ϕ. Therefore such a sequence (Fi )∞i=1 exists
inM. Each Fi is finite, so Fi ⊆ L. Define U ′i = {wL \ F : F ∈ Fi}.The sequence (U ′i )∞i=1 witnesses that wL is not a C -space.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 38: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/38.jpg)
Proposition
Being not a C -space is elementarily reflected by submodels.
Let X be a non-C -space, M≺ H(κ), such that 2X ∈M andL = 2X ∩M.
There is a sequence (Ui )∞i=1 ∈ H(κ) wittnessing thatX is not a C -space. Hence, H(κ) models the following sentence ϕ:
There exists a sequence (Fi )∞i=1 of finite subsets of 2X such that⋂
Fi = ∅ for each i and for no m ∈ N and G1, . . . ,Gm finitesubsets of 2X , the following conditions hold simultaneously:
for j ≤ m and distinct G ,G ′ ∈ Gj their union G ∪ G ′ = X ,
for j ≤ m and G ∈ Gj there exists F ∈ Fj such that F ⊆ G ,⋂(G1 ∪ . . . ∪ Gm) = ∅.
By elementarity M |= ϕ. Therefore such a sequence (Fi )∞i=1 exists
inM. Each Fi is finite, so Fi ⊆ L. Define U ′i = {wL \ F : F ∈ Fi}.The sequence (U ′i )∞i=1 witnesses that wL is not a C -space.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 39: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/39.jpg)
Proposition
Being not a C -space is elementarily reflected by submodels.
Let X be a non-C -space, M≺ H(κ), such that 2X ∈M andL = 2X ∩M. There is a sequence (Ui )∞i=1 ∈ H(κ) wittnessing thatX is not a C -space. Hence, H(κ) models the following sentence ϕ:
There exists a sequence (Fi )∞i=1 of finite subsets of 2X such that⋂
Fi = ∅ for each i and for no m ∈ N and G1, . . . ,Gm finitesubsets of 2X , the following conditions hold simultaneously:
for j ≤ m and distinct G ,G ′ ∈ Gj their union G ∪ G ′ = X ,
for j ≤ m and G ∈ Gj there exists F ∈ Fj such that F ⊆ G ,⋂(G1 ∪ . . . ∪ Gm) = ∅.
By elementarity M |= ϕ. Therefore such a sequence (Fi )∞i=1 exists
inM. Each Fi is finite, so Fi ⊆ L. Define U ′i = {wL \ F : F ∈ Fi}.The sequence (U ′i )∞i=1 witnesses that wL is not a C -space.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 40: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/40.jpg)
Proposition
Being not a C -space is elementarily reflected by submodels.
Let X be a non-C -space, M≺ H(κ), such that 2X ∈M andL = 2X ∩M. There is a sequence (Ui )∞i=1 ∈ H(κ) wittnessing thatX is not a C -space. Hence, H(κ) models the following sentence ϕ:
There exists a sequence (Fi )∞i=1 of finite subsets of 2X such that⋂
Fi = ∅ for each i and for no m ∈ N and G1, . . . ,Gm finitesubsets of 2X , the following conditions hold simultaneously:
for j ≤ m and distinct G ,G ′ ∈ Gj their union G ∪ G ′ = X ,
for j ≤ m and G ∈ Gj there exists F ∈ Fj such that F ⊆ G ,⋂(G1 ∪ . . . ∪ Gm) = ∅.
By elementarity M |= ϕ. Therefore such a sequence (Fi )∞i=1 exists
inM. Each Fi is finite, so Fi ⊆ L. Define U ′i = {wL \ F : F ∈ Fi}.The sequence (U ′i )∞i=1 witnesses that wL is not a C -space.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 41: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/41.jpg)
Proposition
Being not a C -space is elementarily reflected by submodels.
Let X be a non-C -space, M≺ H(κ), such that 2X ∈M andL = 2X ∩M. There is a sequence (Ui )∞i=1 ∈ H(κ) wittnessing thatX is not a C -space. Hence, H(κ) models the following sentence ϕ:
There exists a sequence (Fi )∞i=1 of finite subsets of 2X such that⋂
Fi = ∅ for each i and for no m ∈ N and G1, . . . ,Gm finitesubsets of 2X , the following conditions hold simultaneously:
for j ≤ m and distinct G ,G ′ ∈ Gj their union G ∪ G ′ = X ,
for j ≤ m and G ∈ Gj there exists F ∈ Fj such that F ⊆ G ,⋂(G1 ∪ . . . ∪ Gm) = ∅.
By elementarity M |= ϕ. Therefore such a sequence (Fi )∞i=1 exists
inM. Each Fi is finite, so Fi ⊆ L. Define U ′i = {wL \ F : F ∈ Fi}.The sequence (U ′i )∞i=1 witnesses that wL is not a C -space.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 42: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/42.jpg)
Fact
A normal space X is weakly infinite dimensional if and only if it isa 2-C -space.
Definition
For m ≥ 2 we say X is an m-C -space if for each sequenceU1,U2, . . . of open covers of X such that |Ui | ≤ m, there exists asequence V1,V2, . . ., such that:
each Vi is a family of pairwise disjoint open subsets of X
Vi ≺ Ui (Vi refines Ui , i.e. ∀ V ∈ Vi ∃U ∈ Ui V ⊆ U)⋃∞i=1 Vi is a cover of X
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 43: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/43.jpg)
2-C -spaces ⊇ 3-C -spaces ⊇ . . . ⊇ n-C -spaces ⊇ . . . ⊇ C -spaces
Corollary
Weak infinite dimension is elementarily reflected.
Strong infinite dimension is elementarily reflected bysubmodels.
Corollary
If there exist a compact space which is weakly infinite dimensionalbut fails to be a C -space, then there exists such a space which ismetric.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 44: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/44.jpg)
2-C -spaces ⊇ 3-C -spaces ⊇ . . . ⊇ n-C -spaces ⊇ . . . ⊇ C -spaces
Corollary
Weak infinite dimension is elementarily reflected.
Strong infinite dimension is elementarily reflected bysubmodels.
Corollary
If there exist a compact space which is weakly infinite dimensionalbut fails to be a C -space, then there exists such a space which ismetric.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces
![Page 45: Wojciech Stadnicki (University of Wroc law) January 31 ... · Wallman representations of hyperspaces Wojciech Stadnicki (University of Wroc law) January 31, 2013 Winter School, Hejnice](https://reader031.fdocuments.in/reader031/viewer/2022021720/5c78d03109d3f2d2178bad89/html5/thumbnails/45.jpg)
2-C -spaces ⊇ 3-C -spaces ⊇ . . . ⊇ n-C -spaces ⊇ . . . ⊇ C -spaces
Corollary
Weak infinite dimension is elementarily reflected.
Strong infinite dimension is elementarily reflected bysubmodels.
Corollary
If there exist a compact space which is weakly infinite dimensionalbut fails to be a C -space, then there exists such a space which ismetric.
Wojciech Stadnicki (University of Wroc law) Wallman representations of hyperspaces