On the c0-extension property
Transcript of On the c0-extension property
![Page 1: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/1.jpg)
On the c0-extension property
Claudia CorreaUniversidade Federal do ABC – Brazil
This research was partially supported by FAPESP grants2018/09797-2 and 2019/08515-6
48th Winter School in Abstract Analysis,Svratka, Czech Republic, 11-18 January 2020
1 / 58
![Page 2: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/2.jpg)
Sobczyk’s theorem
QuestionLet X and Z be Banach spaces, Y be a closed subspace of X andT : Y → Z be a bounded operator. Does T admit a bounded andlinear extension T̃ : X → Z?
X
∃T̃?
��Y?�
OO
T // Z
Answer: No.
2 / 58
![Page 3: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/3.jpg)
Sobczyk’s theorem
QuestionLet X and Z be Banach spaces, Y be a closed subspace of X andT : Y → Z be a bounded operator. Does T admit a bounded andlinear extension T̃ : X → Z?
X
∃T̃?
��Y?�
OO
T // Z
Answer: No.
3 / 58
![Page 4: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/4.jpg)
Sobczyk’s theorem
Theorem (Phillips–1940)
The identity operator of c0 does not admit a bounded and linearextension defined on `∞.
`∞
c0?�
OO
Id // c0
4 / 58
![Page 5: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/5.jpg)
Sobczyk’s theorem
Theorem (Sobczyk–1941)
If X is a separable Banach space, then every c0-valued boundedoperator defined on a closed subspace of X admits a bounded andlinear extension defined on X .
X
∃T̃
��Y?�
OO
∀T // c0
The heart of Sobczyk’s theorem is the weak-star metrizability ofthe closed dual unit ball of the separable Banach space X .
5 / 58
![Page 6: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/6.jpg)
Sobczyk’s theorem
Theorem (Sobczyk–1941)
If X is a separable Banach space, then every c0-valued boundedoperator defined on a closed subspace of X admits a bounded andlinear extension defined on X .
X
∃T̃
��Y?�
OO
∀T // c0
The heart of Sobczyk’s theorem is the weak-star metrizability ofthe closed dual unit ball of the separable Banach space X .
6 / 58
![Page 7: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/7.jpg)
Sobczyk’s theorem
NotationGiven a Banach space X , we write:
BX∗ = {α ∈ X ∗ : ‖α‖ ≤ 1}.
We denote by w∗ the weak-star topology on X ∗.
PropositionA Banach space X is separable if and only if BX∗ is w∗-metrizable.
7 / 58
![Page 8: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/8.jpg)
Sobczyk’s theorem
NotationGiven a Banach space X , we write:
BX∗ = {α ∈ X ∗ : ‖α‖ ≤ 1}.
We denote by w∗ the weak-star topology on X ∗.
PropositionA Banach space X is separable if and only if BX∗ is w∗-metrizable.
8 / 58
![Page 9: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/9.jpg)
The c0-extension property
Definition (Claudia and Daniel–2014)
We say that a Banach space X has the c0-extension property(c0-EP) if every c0-valued bounded operator defined on a closedsubspace of X admits a c0-valued bounded extension defined on X .
ExampleEvery separable Banach space has the c0-EP.The space `∞ does not have the c0-EP.
QuestionIs there a nonseparable Banach space with the c0-EP?
Answer: Yes. Every Hilbert space has the c0-EP.
9 / 58
![Page 10: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/10.jpg)
The c0-extension property
Definition (Claudia and Daniel–2014)
We say that a Banach space X has the c0-extension property(c0-EP) if every c0-valued bounded operator defined on a closedsubspace of X admits a c0-valued bounded extension defined on X .
ExampleEvery separable Banach space has the c0-EP.
The space `∞ does not have the c0-EP.
QuestionIs there a nonseparable Banach space with the c0-EP?
Answer: Yes. Every Hilbert space has the c0-EP.
10 / 58
![Page 11: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/11.jpg)
The c0-extension property
Definition (Claudia and Daniel–2014)
We say that a Banach space X has the c0-extension property(c0-EP) if every c0-valued bounded operator defined on a closedsubspace of X admits a c0-valued bounded extension defined on X .
ExampleEvery separable Banach space has the c0-EP.The space `∞ does not have the c0-EP.
QuestionIs there a nonseparable Banach space with the c0-EP?
Answer: Yes. Every Hilbert space has the c0-EP.
11 / 58
![Page 12: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/12.jpg)
The c0-extension property
Definition (Claudia and Daniel–2014)
We say that a Banach space X has the c0-extension property(c0-EP) if every c0-valued bounded operator defined on a closedsubspace of X admits a c0-valued bounded extension defined on X .
ExampleEvery separable Banach space has the c0-EP.The space `∞ does not have the c0-EP.
QuestionIs there a nonseparable Banach space with the c0-EP?
Answer: Yes. Every Hilbert space has the c0-EP.
12 / 58
![Page 13: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/13.jpg)
The c0-extension property
Definition (Claudia and Daniel–2014)
We say that a Banach space X has the c0-extension property(c0-EP) if every c0-valued bounded operator defined on a closedsubspace of X admits a c0-valued bounded extension defined on X .
ExampleEvery separable Banach space has the c0-EP.The space `∞ does not have the c0-EP.
QuestionIs there a nonseparable Banach space with the c0-EP?
Answer: Yes. Every Hilbert space has the c0-EP.
13 / 58
![Page 14: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/14.jpg)
WCG Banach spaces
DefinitionWe say that a Banach space is weakly compactly generated(WCG) if it contains a weakly compact subset that is linearly dense.
PropositionEvery separable Banach space is WCG.Every reflexive Banach space is WCG. Thus every Hilbertspace is WCG.c0(I ) is WCG, for every set I .
TheoremEvery WCG Banach space has the c0-EP.
14 / 58
![Page 15: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/15.jpg)
WCG Banach spaces
DefinitionWe say that a Banach space is weakly compactly generated(WCG) if it contains a weakly compact subset that is linearly dense.
PropositionEvery separable Banach space is WCG.
Every reflexive Banach space is WCG. Thus every Hilbertspace is WCG.c0(I ) is WCG, for every set I .
TheoremEvery WCG Banach space has the c0-EP.
15 / 58
![Page 16: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/16.jpg)
WCG Banach spaces
DefinitionWe say that a Banach space is weakly compactly generated(WCG) if it contains a weakly compact subset that is linearly dense.
PropositionEvery separable Banach space is WCG.Every reflexive Banach space is WCG. Thus every Hilbertspace is WCG.
c0(I ) is WCG, for every set I .
TheoremEvery WCG Banach space has the c0-EP.
16 / 58
![Page 17: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/17.jpg)
WCG Banach spaces
DefinitionWe say that a Banach space is weakly compactly generated(WCG) if it contains a weakly compact subset that is linearly dense.
PropositionEvery separable Banach space is WCG.Every reflexive Banach space is WCG. Thus every Hilbertspace is WCG.c0(I ) is WCG, for every set I .
TheoremEvery WCG Banach space has the c0-EP.
17 / 58
![Page 18: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/18.jpg)
WCG Banach spaces
DefinitionWe say that a Banach space is weakly compactly generated(WCG) if it contains a weakly compact subset that is linearly dense.
PropositionEvery separable Banach space is WCG.Every reflexive Banach space is WCG. Thus every Hilbertspace is WCG.c0(I ) is WCG, for every set I .
TheoremEvery WCG Banach space has the c0-EP.
18 / 58
![Page 19: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/19.jpg)
Tommaso Russo at the 47th Winter School
19 / 58
![Page 20: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/20.jpg)
WLD Banach spaces
DefinitionWe say that a Banach space X is weakly Lindelöf determined(WLD) if (BX∗ ,w∗) is a Corson compactum.
RemarkRecall that a compact space is metrizable if and only if it embedshomeomorphically in Rω.
DefinitionWe say that a compact space K is a Corson compactum if thereexists a set I such that K embeds homeomorphically in
Σ(I ) = {f ∈ R I : supp(f ) is countable}.
20 / 58
![Page 21: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/21.jpg)
WLD Banach spaces
DefinitionWe say that a Banach space X is weakly Lindelöf determined(WLD) if (BX∗ ,w∗) is a Corson compactum.
RemarkRecall that a compact space is metrizable if and only if it embedshomeomorphically in Rω.
DefinitionWe say that a compact space K is a Corson compactum if thereexists a set I such that K embeds homeomorphically in
Σ(I ) = {f ∈ R I : supp(f ) is countable}.
21 / 58
![Page 22: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/22.jpg)
WLD Banach spaces
DefinitionWe say that a Banach space X is weakly Lindelöf determined(WLD) if (BX∗ ,w∗) is a Corson compactum.
RemarkRecall that a compact space is metrizable if and only if it embedshomeomorphically in Rω.
DefinitionWe say that a compact space K is a Corson compactum if thereexists a set I such that K embeds homeomorphically in
Σ(I ) = {f ∈ R I : supp(f ) is countable}.
22 / 58
![Page 23: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/23.jpg)
WLD Banach spaces
PropositionEvery WCG Banach space is WLD.
Theorem (Claudia–2019)
Every WLD Banach space has the c0-EP.
23 / 58
![Page 24: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/24.jpg)
WLD Banach spaces
PropositionEvery WCG Banach space is WLD.
Theorem (Claudia–2019)
Every WLD Banach space has the c0-EP.
24 / 58
![Page 25: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/25.jpg)
WLD Banach spaces
PropositionEvery WCG Banach space is WLD.
Theorem (Claudia–2019)
Every WLD Banach space has the c0-EP.
25 / 58
![Page 26: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/26.jpg)
Going beyond WLD spaces
Proposition (Claudia and Daniel–2014)
The space C [0, ω1] has the c0-EP.
QuestionIs the space C [0, ω1] WLD?
Answer: No.
QuestionWhat does the space C [0, ω1] have in common with the WLDspaces?
Answer: If X = C [0, ω1] or X is WLD, then (BX∗ ,w∗) ismonolithic.
26 / 58
![Page 27: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/27.jpg)
Going beyond WLD spaces
Proposition (Claudia and Daniel–2014)
The space C [0, ω1] has the c0-EP.
QuestionIs the space C [0, ω1] WLD?
Answer: No.
QuestionWhat does the space C [0, ω1] have in common with the WLDspaces?
Answer: If X = C [0, ω1] or X is WLD, then (BX∗ ,w∗) ismonolithic.
27 / 58
![Page 28: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/28.jpg)
Going beyond WLD spaces
Proposition (Claudia and Daniel–2014)
The space C [0, ω1] has the c0-EP.
QuestionIs the space C [0, ω1] WLD?
Answer: No.
QuestionWhat does the space C [0, ω1] have in common with the WLDspaces?
Answer: If X = C [0, ω1] or X is WLD, then (BX∗ ,w∗) ismonolithic.
28 / 58
![Page 29: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/29.jpg)
Going beyond WLD spaces
Proposition (Claudia and Daniel–2014)
The space C [0, ω1] has the c0-EP.
QuestionIs the space C [0, ω1] WLD?
Answer: No.
QuestionWhat does the space C [0, ω1] have in common with the WLDspaces?
Answer: If X = C [0, ω1] or X is WLD, then (BX∗ ,w∗) ismonolithic.
29 / 58
![Page 30: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/30.jpg)
Going beyond WLD spaces
Proposition (Claudia and Daniel–2014)
The space C [0, ω1] has the c0-EP.
QuestionIs the space C [0, ω1] WLD?
Answer: No.
QuestionWhat does the space C [0, ω1] have in common with the WLDspaces?
Answer: If X = C [0, ω1] or X is WLD, then (BX∗ ,w∗) ismonolithic.
30 / 58
![Page 31: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/31.jpg)
Going beyond WLD spaces
DefinitionWe say that a compact and Hausdorff space K is monolithic ifevery closed and separable subspace of K is metrizable.
PropositionEvery Corson compactum is monolithic. Therefore, if X isWLD, then (BX∗ ,w∗) is monolithic.
(Claudia–2019) If X = C [0, ω1], then (BX∗ ,w∗) is monolithic.
QuestionLet X be a Banach space. If (BX∗ ,w∗) is monolithic, then X hasthe c0-EP?
31 / 58
![Page 32: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/32.jpg)
Going beyond WLD spaces
DefinitionWe say that a compact and Hausdorff space K is monolithic ifevery closed and separable subspace of K is metrizable.
PropositionEvery Corson compactum is monolithic. Therefore, if X isWLD, then (BX∗ ,w∗) is monolithic.
(Claudia–2019) If X = C [0, ω1], then (BX∗ ,w∗) is monolithic.
QuestionLet X be a Banach space. If (BX∗ ,w∗) is monolithic, then X hasthe c0-EP?
32 / 58
![Page 33: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/33.jpg)
Going beyond WLD spaces
DefinitionWe say that a compact and Hausdorff space K is monolithic ifevery closed and separable subspace of K is metrizable.
PropositionEvery Corson compactum is monolithic. Therefore, if X isWLD, then (BX∗ ,w∗) is monolithic.
(Claudia–2019) If X = C [0, ω1], then (BX∗ ,w∗) is monolithic.
QuestionLet X be a Banach space. If (BX∗ ,w∗) is monolithic, then X hasthe c0-EP?
33 / 58
![Page 34: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/34.jpg)
Going beyond WLD spaces
DefinitionWe say that a compact and Hausdorff space K is monolithic ifevery closed and separable subspace of K is metrizable.
PropositionEvery Corson compactum is monolithic. Therefore, if X isWLD, then (BX∗ ,w∗) is monolithic.
(Claudia–2019) If X = C [0, ω1], then (BX∗ ,w∗) is monolithic.
QuestionLet X be a Banach space. If (BX∗ ,w∗) is monolithic, then X hasthe c0-EP?
34 / 58
![Page 35: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/35.jpg)
Going beyond WLD spaces
Theorem (Claudia–2019)
Let X be a Banach space. If (BX∗ ,w∗) is monolithic, then X hasthe c0-EP.
35 / 58
![Page 36: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/36.jpg)
The amazing C (K ) world
Open Problem
Let K be a compact and Hausdorff space. When(BC(K)∗ ,w
∗) ismonolithic?
Remark
If(BC(K)∗ ,w
∗) is monolithic, then K is monolithic.
DefinitionWe say that a compact and Hausdorff space K has Property (M)if every measure in M(K ) has separable support.
36 / 58
![Page 37: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/37.jpg)
The amazing C (K ) world
Open Problem
Let K be a compact and Hausdorff space. When(BC(K)∗ ,w
∗) ismonolithic?
Remark
If(BC(K)∗ ,w
∗) is monolithic, then K is monolithic.
DefinitionWe say that a compact and Hausdorff space K has Property (M)if every measure in M(K ) has separable support.
37 / 58
![Page 38: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/38.jpg)
The amazing C (K ) world
Open Problem
Let K be a compact and Hausdorff space. When(BC(K)∗ ,w
∗) ismonolithic?
Remark
If(BC(K)∗ ,w
∗) is monolithic, then K is monolithic.
DefinitionWe say that a compact and Hausdorff space K has Property (M)if every measure in M(K ) has separable support.
38 / 58
![Page 39: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/39.jpg)
The amazing C (K ) world
Proposition (Claudia–2019)
If K is a monolithic compact space with Property (M), then(BC(K)∗ ,w
∗) is monolithic.
Corollary
If K is a monolithic compact space with Property (M), then C (K )has the c0-EP.
Example
Every metrizable compact space has Property (M).Every Eberlein compactum has Property (M).
39 / 58
![Page 40: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/40.jpg)
The amazing C (K ) world
Proposition (Claudia–2019)
If K is a monolithic compact space with Property (M), then(BC(K)∗ ,w
∗) is monolithic.
Corollary
If K is a monolithic compact space with Property (M), then C (K )has the c0-EP.
Example
Every metrizable compact space has Property (M).Every Eberlein compactum has Property (M).
40 / 58
![Page 41: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/41.jpg)
The amazing C (K ) world
Proposition (Claudia–2019)
If K is a monolithic compact space with Property (M), then(BC(K)∗ ,w
∗) is monolithic.
Corollary
If K is a monolithic compact space with Property (M), then C (K )has the c0-EP.
Example
Every metrizable compact space has Property (M).
Every Eberlein compactum has Property (M).
41 / 58
![Page 42: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/42.jpg)
The amazing C (K ) world
Proposition (Claudia–2019)
If K is a monolithic compact space with Property (M), then(BC(K)∗ ,w
∗) is monolithic.
Corollary
If K is a monolithic compact space with Property (M), then C (K )has the c0-EP.
Example
Every metrizable compact space has Property (M).Every Eberlein compactum has Property (M).
42 / 58
![Page 43: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/43.jpg)
The amazing C (K ) world
QuestionIf K is a Corson compactum, then C (K ) has the c0-EP?
43 / 58
![Page 44: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/44.jpg)
The amazing C (K ) world
QuestionIf K is a Corson compactum, then C (K ) has the c0-EP?
44 / 58
![Page 45: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/45.jpg)
The amazing C (K ) world
Theorem (Argyros, Mercourakis and Negrepontis–1988)
Assume MA + ¬CH. Every Corson compactum has Property (M).
Corollary
Assume MA + ¬CH. If K is a Corson compactum, then C (K ) hasthe c0-EP.
Theorem (Argyros, Mercourakis and Negrepontis–1988)
Assume CH. There exists a Corson compactum without Property(M).
45 / 58
![Page 46: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/46.jpg)
The amazing C (K ) world
Theorem (Argyros, Mercourakis and Negrepontis–1988)
Assume MA + ¬CH. Every Corson compactum has Property (M).
Corollary
Assume MA + ¬CH. If K is a Corson compactum, then C (K ) hasthe c0-EP.
Theorem (Argyros, Mercourakis and Negrepontis–1988)
Assume CH. There exists a Corson compactum without Property(M).
46 / 58
![Page 47: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/47.jpg)
The amazing C (K ) world
Theorem (Argyros, Mercourakis and Negrepontis–1988)
Assume MA + ¬CH. Every Corson compactum has Property (M).
Corollary
Assume MA + ¬CH. If K is a Corson compactum, then C (K ) hasthe c0-EP.
Theorem (Argyros, Mercourakis and Negrepontis–1988)
Assume CH. There exists a Corson compactum without Property(M).
47 / 58
![Page 48: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/48.jpg)
The amazing C (K ) world
Theorem (Claudia–2019)
If K is the Corson compact space built by Argyros, Mercourakisand Negrepontis under CH, then C (K ) does not have the c0-EP.
Sketch of the proof:C (K ) contains an isomorphic copy of `1(ω1).(Claudia–2019) `1(ω1) does not have the c0-EP.The c0-EP is hereditary for closed subspaces.
Corollary
The existence of a Corson compactum K such that C (K ) does nothave the c0-EP is independent from the axioms of ZFC .
48 / 58
![Page 49: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/49.jpg)
The amazing C (K ) world
Theorem (Claudia–2019)
If K is the Corson compact space built by Argyros, Mercourakisand Negrepontis under CH, then C (K ) does not have the c0-EP.
Sketch of the proof:C (K ) contains an isomorphic copy of `1(ω1).
(Claudia–2019) `1(ω1) does not have the c0-EP.The c0-EP is hereditary for closed subspaces.
Corollary
The existence of a Corson compactum K such that C (K ) does nothave the c0-EP is independent from the axioms of ZFC .
49 / 58
![Page 50: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/50.jpg)
The amazing C (K ) world
Theorem (Claudia–2019)
If K is the Corson compact space built by Argyros, Mercourakisand Negrepontis under CH, then C (K ) does not have the c0-EP.
Sketch of the proof:C (K ) contains an isomorphic copy of `1(ω1).(Claudia–2019) `1(ω1) does not have the c0-EP.
The c0-EP is hereditary for closed subspaces.
Corollary
The existence of a Corson compactum K such that C (K ) does nothave the c0-EP is independent from the axioms of ZFC .
50 / 58
![Page 51: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/51.jpg)
The amazing C (K ) world
Theorem (Claudia–2019)
If K is the Corson compact space built by Argyros, Mercourakisand Negrepontis under CH, then C (K ) does not have the c0-EP.
Sketch of the proof:C (K ) contains an isomorphic copy of `1(ω1).(Claudia–2019) `1(ω1) does not have the c0-EP.The c0-EP is hereditary for closed subspaces.
Corollary
The existence of a Corson compactum K such that C (K ) does nothave the c0-EP is independent from the axioms of ZFC .
51 / 58
![Page 52: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/52.jpg)
The amazing C (K ) world
Theorem (Claudia–2019)
If K is the Corson compact space built by Argyros, Mercourakisand Negrepontis under CH, then C (K ) does not have the c0-EP.
Sketch of the proof:C (K ) contains an isomorphic copy of `1(ω1).(Claudia–2019) `1(ω1) does not have the c0-EP.The c0-EP is hereditary for closed subspaces.
Corollary
The existence of a Corson compactum K such that C (K ) does nothave the c0-EP is independent from the axioms of ZFC .
52 / 58
![Page 53: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/53.jpg)
Scattered spaces
Proposition
Every scattered compact space has Property (M).
Corollary
If K is a monolithic scattered compact space, then C (K ) has thec0-EP.
Open Problem
If K is a scattered compact space such that C (K ) has the c0-EP,then K is monolithic?
53 / 58
![Page 54: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/54.jpg)
Scattered spaces
Proposition
Every scattered compact space has Property (M).
Corollary
If K is a monolithic scattered compact space, then C (K ) has thec0-EP.
Open Problem
If K is a scattered compact space such that C (K ) has the c0-EP,then K is monolithic?
54 / 58
![Page 55: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/55.jpg)
Scattered spaces
Proposition
Every scattered compact space has Property (M).
Corollary
If K is a monolithic scattered compact space, then C (K ) has thec0-EP.
Open Problem
If K is a scattered compact space such that C (K ) has the c0-EP,then K is monolithic?
55 / 58
![Page 56: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/56.jpg)
Scattered spaces
Theorem (Claudia–2019)
Let K be a scattered compact space with height at most ω + 1. IfC (K ) has the c0-EP, then K is monolithic.
56 / 58
![Page 57: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/57.jpg)
57 / 58
![Page 58: On the c0-extension property](https://reader033.fdocuments.us/reader033/viewer/2022061101/629b39d71db4d34a526c2f24/html5/thumbnails/58.jpg)
Bibliography I
A. Argyros, S. Mercourakis, and S. Negrepontis.Functional-analytic properties of corson-compact spaces.Studia Math., 89:197–229, 1988.
C. Correa.On the c0-extension property.https://arxiv.org/pdf/1912.08564.pdf.
C. Correa and D. V. Tausk.Compact lines and the sobczyk property.J. Func. Anal., 266 (9):5765–5778, 2014.
58 / 58