Baire classes of affine vector-valued functions Ond rej Kalenda and - - PowerPoint PPT Presentation

baire classes of affine vector valued functions
SMART_READER_LITE
LIVE PREVIEW

Baire classes of affine vector-valued functions Ond rej Kalenda and - - PowerPoint PPT Presentation

Baire classes of affine vector-valued functions Ond rej Kalenda and Ji r Spurn y Toposym 2016 25th July 2016 Ond rej Kalenda and Ji r Spurn y Baire classes of affine vector-valued functions Compact convex sets If


slide-1
SLIDE 1

Baire classes of affine vector-valued functions

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y

Toposym 2016

25th July 2016

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-2
SLIDE 2

Compact convex sets

If K is a compact Hausdorff space, then:

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-3
SLIDE 3

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K,

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-4
SLIDE 4

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-5
SLIDE 5

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K. X . . . a compact convex set in a locally convex (Hausdorff) space. A(X, R) . . . affine continuous real functions on X.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-6
SLIDE 6

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K. X . . . a compact convex set in a locally convex (Hausdorff) space. A(X, R) . . . affine continuous real functions on X. If µ ∈ M1(X), then barycenter r(µ) satisfies f(r(µ)) =

  • X f dµ (= µ(f)), f ∈ A(X, R).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-7
SLIDE 7

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K. X . . . a compact convex set in a locally convex (Hausdorff) space. A(X, R) . . . affine continuous real functions on X. If µ ∈ M1(X), then barycenter r(µ) satisfies f(r(µ)) =

  • X f dµ (= µ(f)), f ∈ A(X, R).

Also, µ represents r(µ).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-8
SLIDE 8

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K. X . . . a compact convex set in a locally convex (Hausdorff) space. A(X, R) . . . affine continuous real functions on X. If µ ∈ M1(X), then barycenter r(µ) satisfies f(r(µ)) =

  • X f dµ (= µ(f)), f ∈ A(X, R).

Also, µ represents r(µ). The barycenter exists and it is unique.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-9
SLIDE 9

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K. X . . . a compact convex set in a locally convex (Hausdorff) space. A(X, R) . . . affine continuous real functions on X. If µ ∈ M1(X), then barycenter r(µ) satisfies f(r(µ)) =

  • X f dµ (= µ(f)), f ∈ A(X, R).

Also, µ represents r(µ). The barycenter exists and it is unique. If µ, ν ∈ M+(X), then µ ≺ ν if µ(k) ≤ ν(k) for all k convex continuous.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-10
SLIDE 10

Compact convex sets

If K is a compact Hausdorff space, then: M+(K) . . . Radon measures on K, M1(K) . . . probability Radon measures on K. X . . . a compact convex set in a locally convex (Hausdorff) space. A(X, R) . . . affine continuous real functions on X. If µ ∈ M1(X), then barycenter r(µ) satisfies f(r(µ)) =

  • X f dµ (= µ(f)), f ∈ A(X, R).

Also, µ represents r(µ). The barycenter exists and it is unique. If µ, ν ∈ M+(X), then µ ≺ ν if µ(k) ≤ ν(k) for all k convex continuous. µ ∈ M+(X) is maximal if it is ≺-maximal.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-11
SLIDE 11

Simplices

Theorem (Choquet, Bishop, de Leeuw) For each x ∈ X there exists a maximal measure µ ∈ M1(X) with r(µ) = x.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-12
SLIDE 12

Simplices

Theorem (Choquet, Bishop, de Leeuw) For each x ∈ X there exists a maximal measure µ ∈ M1(X) with r(µ) = x. If X is metrizable, then this measure satisfies µ(X \ ext X) = 0.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-13
SLIDE 13

Simplices

Theorem (Choquet, Bishop, de Leeuw) For each x ∈ X there exists a maximal measure µ ∈ M1(X) with r(µ) = x. If X is metrizable, then this measure satisfies µ(X \ ext X) = 0. x ∈ ext X if and only if ∀a, b ∈ X∀t ∈ (0, 1): ta + (1 − t)b = x = ⇒ a = b = x.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-14
SLIDE 14

Simplices

Theorem (Choquet, Bishop, de Leeuw) For each x ∈ X there exists a maximal measure µ ∈ M1(X) with r(µ) = x. If X is metrizable, then this measure satisfies µ(X \ ext X) = 0. x ∈ ext X if and only if ∀a, b ∈ X∀t ∈ (0, 1): ta + (1 − t)b = x = ⇒ a = b = x. Definition X is a simplex if for each x ∈ X there is only one maximal measure µ ∈ M1(X) with r(µ) = x.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-15
SLIDE 15

Simplices

Theorem (Choquet, Bishop, de Leeuw) For each x ∈ X there exists a maximal measure µ ∈ M1(X) with r(µ) = x. If X is metrizable, then this measure satisfies µ(X \ ext X) = 0. x ∈ ext X if and only if ∀a, b ∈ X∀t ∈ (0, 1): ta + (1 − t)b = x = ⇒ a = b = x. Definition X is a simplex if for each x ∈ X there is only one maximal measure µ ∈ M1(X) with r(µ) = x. Example If K is a compact space, then X = M1(K) is a simplex.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-16
SLIDE 16

Harmonic functions

Let U ⊂ Rd be open and bounded.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-17
SLIDE 17

Harmonic functions

Let U ⊂ Rd be open and bounded. Let H = {f ∈ C(U): △f = 0 on U}.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-18
SLIDE 18

Harmonic functions

Let U ⊂ Rd be open and bounded. Let H = {f ∈ C(U): △f = 0 on U}. Then X = {x∗ ∈ H∗ : x∗ ≥ 0, x∗ = 1} is a simplex.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-19
SLIDE 19

Baire classes

Let K be a set, L a topological space and F a family of mappings from K to L. We define the Baire classes of mappings as follows.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-20
SLIDE 20

Baire classes

Let K be a set, L a topological space and F a family of mappings from K to L. We define the Baire classes of mappings as follows. Let (F)0 = F.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-21
SLIDE 21

Baire classes

Let K be a set, L a topological space and F a family of mappings from K to L. We define the Baire classes of mappings as follows. Let (F)0 = F. Assuming that α ∈ [1, ω1) is given and that (F)β have been already defined for each β < α, we set

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-22
SLIDE 22

Baire classes

Let K be a set, L a topological space and F a family of mappings from K to L. We define the Baire classes of mappings as follows. Let (F)0 = F. Assuming that α ∈ [1, ω1) is given and that (F)β have been already defined for each β < α, we set (F)α = {f : K → L; there exists a sequence (fn) in

  • β<α

(F)β such that fn → f pointwise}.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-23
SLIDE 23

Baire classes

Let K be a set, L a topological space and F a family of mappings from K to L. We define the Baire classes of mappings as follows. Let (F)0 = F. Assuming that α ∈ [1, ω1) is given and that (F)β have been already defined for each β < α, we set (F)α = {f : K → L; there exists a sequence (fn) in

  • β<α

(F)β such that fn → f pointwise}. If K and L are topological spaces, by Cα(K, L) we denote the set (C(K, L))α, where C(K, L) is the set of all continuous functions from K to L.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-24
SLIDE 24

Baire classes

Let K be a set, L a topological space and F a family of mappings from K to L. We define the Baire classes of mappings as follows. Let (F)0 = F. Assuming that α ∈ [1, ω1) is given and that (F)β have been already defined for each β < α, we set (F)α = {f : K → L; there exists a sequence (fn) in

  • β<α

(F)β such that fn → f pointwise}. If K and L are topological spaces, by Cα(K, L) we denote the set (C(K, L))α, where C(K, L) is the set of all continuous functions from K to L. If X is a compact convex set and L is a convex subset of a locally convex space, by Aα(X, L) we denote (A(X, L))α, where A(X, L) is the set of all affine continuous functions defined on X with values in L.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-25
SLIDE 25

Vector integration (Pettis approach)

If (X, A, µ) is a measure space with µ finite, F a locally convex space and f : X → F,

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-26
SLIDE 26

Vector integration (Pettis approach)

If (X, A, µ) is a measure space with µ finite, F a locally convex space and f : X → F, then f is µ-integrable if τ ◦ f ∈ L1(µ) for each τ ∈ F ∗, for each B ⊂ A µ-measurable there exists an element xB ∈ F such that τ(xB) =

  • B

τ ◦ f dµ, τ ∈ F ∗.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-27
SLIDE 27

Vector integration (Pettis approach)

If (X, A, µ) is a measure space with µ finite, F a locally convex space and f : X → F, then f is µ-integrable if τ ◦ f ∈ L1(µ) for each τ ∈ F ∗, for each B ⊂ A µ-measurable there exists an element xB ∈ F such that τ(xB) =

  • B

τ ◦ f dµ, τ ∈ F ∗. It is clear that the element xB is uniquely determined, we denote it as

  • B f dµ.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-28
SLIDE 28

Vector integration (Pettis approach)

If (X, A, µ) is a measure space with µ finite, F a locally convex space and f : X → F, then f is µ-integrable if τ ◦ f ∈ L1(µ) for each τ ∈ F ∗, for each B ⊂ A µ-measurable there exists an element xB ∈ F such that τ(xB) =

  • B

τ ◦ f dµ, τ ∈ F ∗. It is clear that the element xB is uniquely determined, we denote it as

  • B f dµ.

Lemma If K is a compact space, µ ∈ M+(K), F a Fr´ echet space and f : K → F bounded Baire measurable, then f is µ-integrable.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-29
SLIDE 29

Vector integration (Pettis approach)

If (X, A, µ) is a measure space with µ finite, F a locally convex space and f : X → F, then f is µ-integrable if τ ◦ f ∈ L1(µ) for each τ ∈ F ∗, for each B ⊂ A µ-measurable there exists an element xB ∈ F such that τ(xB) =

  • B

τ ◦ f dµ, τ ∈ F ∗. It is clear that the element xB is uniquely determined, we denote it as

  • B f dµ.

Lemma If K is a compact space, µ ∈ M+(K), F a Fr´ echet space and f : K → F bounded Baire measurable, then f is µ-integrable. Baire sets is the σ-algebra generated by cozero sets.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-30
SLIDE 30

Strongly affine functions

Definition If X is a compact convex set, F a locally convex space, then f : X → F is strongly affine if

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-31
SLIDE 31

Strongly affine functions

Definition If X is a compact convex set, F a locally convex space, then f : X → F is strongly affine if for each µ ∈ M1(X), f is µ-integrable and f(r(µ)) =

  • X f dµ (= µ(f)).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-32
SLIDE 32

Strongly affine functions

Definition If X is a compact convex set, F a locally convex space, then f : X → F is strongly affine if for each µ ∈ M1(X), f is µ-integrable and f(r(µ)) =

  • X f dµ (= µ(f)).

If f is strongly affine, then f is affine and bounded.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-33
SLIDE 33

Strongly affine functions of the first Baire class

Theorem (Choquet, Mokobodzki) f ∈ C1(X, R) affine, then f is strongly affine and in A1(X, R).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-34
SLIDE 34

Strongly affine functions of the first Baire class

Theorem (Choquet, Mokobodzki) f ∈ C1(X, R) affine, then f is strongly affine and in A1(X, R). Theorem If F is a locally convex space, then any affine f ∈ C1(X, F) is strongly affine.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-35
SLIDE 35

Strongly affine functions of the first Baire class

Theorem (Choquet, Mokobodzki) f ∈ C1(X, R) affine, then f is strongly affine and in A1(X, R). Theorem If F is a locally convex space, then any affine f ∈ C1(X, F) is strongly affine. Theorem If F is a Banach space with a bounded approximation property. Then any affine f ∈ C1(X, F) is in A1(X, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-36
SLIDE 36

Strongly affine functions of the first Baire class

Theorem (Choquet, Mokobodzki) f ∈ C1(X, R) affine, then f is strongly affine and in A1(X, R). Theorem If F is a locally convex space, then any affine f ∈ C1(X, F) is strongly affine. Theorem If F is a Banach space with a bounded approximation property. Then any affine f ∈ C1(X, F) is in A1(X, F). Example If E is separable reflexive Banach space without the compact approximation property, X = (BE, w) and f : X → E is identity, then f ∈ C1(X, F) \

α<ω1 Aα(X, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-37
SLIDE 37

Strongly affine scalar functions of higher classes

Example (Choquet) There exists an affine function in C2(X, R) that is not strongly affine.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-38
SLIDE 38

Strongly affine scalar functions of higher classes

Example (Choquet) There exists an affine function in C2(X, R) that is not strongly affine. Theorem (Talagrand) There exists a compact convex set X and a strongly affine function f ∈ C2(X, R) such that f / ∈

α<ω1 Aα(X, R).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-39
SLIDE 39

Dilation mapping on simplices

Theorem Let X be a simplex. Then the mapping T : X → M1(X), x → δx, is strongly affine and in A1(X, M1(X)).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-40
SLIDE 40

Dilation mapping on simplices

Theorem Let X be a simplex. Then the mapping T : X → M1(X), x → δx, is strongly affine and in A1(X, M1(X)). δx is the unique maximal measure with r(δx) = x.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-41
SLIDE 41

Strongly affine mappings on simplices

Theorem Let X be a simplex, F be a Fr´ echet space, 1 ≤ α < ω1 and f ∈ Cα(X, F) be strongly affine.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-42
SLIDE 42

Strongly affine mappings on simplices

Theorem Let X be a simplex, F be a Fr´ echet space, 1 ≤ α < ω1 and f ∈ Cα(X, F) be strongly affine. Then f ∈ A1+α(X, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-43
SLIDE 43

The Dirichlet problem on simplices

Theorem Let X be a simplex with ext X being Lindel¨

  • f, α ∈ [0, ω1), F a Fr´

echet space and f : ext X → F a bounded mapping from Cα(ext X, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-44
SLIDE 44

The Dirichlet problem on simplices

Theorem Let X be a simplex with ext X being Lindel¨

  • f, α ∈ [0, ω1), F a Fr´

echet space and f : ext X → F a bounded mapping from Cα(ext X, F). Then f can be extended to a mapping from A1+α(X, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-45
SLIDE 45

The Dirichlet problem on simplices

Theorem Let X be a simplex with ext X being Lindel¨

  • f, α ∈ [0, ω1), F a Fr´

echet space and f : ext X → F a bounded mapping from Cα(ext X, F). Then f can be extended to a mapping from A1+α(X, F). Theorem Let X be a simplex, K ⊂ ext X a compact subset, F a Fr´ echet space and f a bounded mapping in Cα(K, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-46
SLIDE 46

The Dirichlet problem on simplices

Theorem Let X be a simplex with ext X being Lindel¨

  • f, α ∈ [0, ω1), F a Fr´

echet space and f : ext X → F a bounded mapping from Cα(ext X, F). Then f can be extended to a mapping from A1+α(X, F). Theorem Let X be a simplex, K ⊂ ext X a compact subset, F a Fr´ echet space and f a bounded mapping in Cα(K, F). Then f can be extended to a mapping from Aα(X, cof(K)).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-47
SLIDE 47

The Dirichlet problem on simplices

Theorem Let X be a simplex with ext X being Lindel¨

  • f, α ∈ [0, ω1), F a Fr´

echet space and f : ext X → F a bounded mapping from Cα(ext X, F). Then f can be extended to a mapping from A1+α(X, F). Theorem Let X be a simplex, K ⊂ ext X a compact subset, F a Fr´ echet space and f a bounded mapping in Cα(K, F). Then f can be extended to a mapping from Aα(X, cof(K)). Theorem Let K be a compact subset of a completely regular topological space Z, F be a Fr´ echet space and f : K → F be a bounded mapping in Cα(K, F). Then there exists a mapping h: Z → F in Cα(Z, F) extending f such that h(Z) ⊂ cof(K).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-48
SLIDE 48

Affine Jayne-Rogers selection result

Theorem Let X be a simplex, F a Fr´ echet space and Φ: X → F an upper semicontinuous set-valued mapping with nonempty closed values and bounded range.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-49
SLIDE 49

Affine Jayne-Rogers selection result

Theorem Let X be a simplex, F a Fr´ echet space and Φ: X → F an upper semicontinuous set-valued mapping with nonempty closed values and bounded range. If the graph of Φ is convex, then Φ admits a selection in A2(X, F).

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-50
SLIDE 50

Affine Jayne-Rogers selection result

Theorem Let X be a simplex, F a Fr´ echet space and Φ: X → F an upper semicontinuous set-valued mapping with nonempty closed values and bounded range. If the graph of Φ is convex, then Φ admits a selection in A2(X, F). Φ is upper semicontinuous if {x ∈ X : Φ(x) ⊂ U} is open in X for each U ⊂ F open.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-51
SLIDE 51

Affine Jayne-Rogers selection result

Theorem Let X be a simplex, F a Fr´ echet space and Φ: X → F an upper semicontinuous set-valued mapping with nonempty closed values and bounded range. If the graph of Φ is convex, then Φ admits a selection in A2(X, F). Φ is upper semicontinuous if {x ∈ X : Φ(x) ⊂ U} is open in X for each U ⊂ F open. Example There are simplices X1, X2 and upper semicontinuous mappings Γi : Xi → R with closed values, bounded range and convex graph for i = 1, 2 such that the following assertions hold:

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-52
SLIDE 52

Affine Jayne-Rogers selection result

Theorem Let X be a simplex, F a Fr´ echet space and Φ: X → F an upper semicontinuous set-valued mapping with nonempty closed values and bounded range. If the graph of Φ is convex, then Φ admits a selection in A2(X, F). Φ is upper semicontinuous if {x ∈ X : Φ(x) ⊂ U} is open in X for each U ⊂ F open. Example There are simplices X1, X2 and upper semicontinuous mappings Γi : Xi → R with closed values, bounded range and convex graph for i = 1, 2 such that the following assertions hold: (i) X1 is metrizable and Γ1 admits no affine Baire-one selection. (ii) X2 is non-metrizable and Γ2 admits no affine Borel selection.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions

slide-53
SLIDE 53

Thank you for your attention.

Ondˇ rej Kalenda and Jiˇ r´ ı Spurn´ y Baire classes of affine vector-valued functions