Arxiv:1708.03127V2 [Math.FA] 14 Oct 2020 Σ Slwrsm-Otnoswrt H Relative the W.R.T

Home , Convex conjugate, Duality (optimization)

arXiv:1708.03127v2 [math.FA] 14 Oct 2020 σ slwrsm-otnoswrt h relative the w.r.t. semi-continuous lower is space otnosi t extension its if continuous ea be L topology weak the nne Let inance. fte ge loteeyhr.Cnie on Consider everywhere. almost agree they if h ektopology weak n rvn t qiaec oaFnhlMra yeda re dual type Fenchel-Moreau a to equivalence its proving and eicniut seblw seuvln oteFenchel-M the to equivalent tion is below) (see semi-continuity oteeyhr equality, everywhere most larger a oeutermcnb ple.Mr rcsl,w rtexten first we precisely, More applied. be can theorem Moreau where oacniinldaiypiigon pairing duality conditional a to eto falmaual functions measurable all of lection 2010 cnwegd .J n .K r upre yDGgatKU-27 grant DFG by supported are Shanghai K. from s M. and is AF0710020 J. D. number A. 115501 S. Finance” acknowledged. Scientists” in Young comments. Uncertainty International helpful and for for referee Fund anonymous ”Research an thank We ,y x, s ECE-OEUTERMFOR THEOREM FENCHEL-MOREAU A 0 lwrsm-otniyi ucett extend to sufficient is semi-continuity -lower h dai oetn h leri n oooia structur topological and algebraic the extend to is idea The hsatcecnrbtst etrdaiyb rvdn no a providing by duality vector to contributes article This mdls erfrt 3 ,5 1.W alafunction a call We 11]. 5, 4, [3, to refer we -modules, i ahmtc ujc Classification. Subject Mathematics σ ( L ω fiiemauesae ( space, measure -finite L e od n hae:FnhlMra hoe,vco dual vector theorem, analysis Fenchel-Moreau functional conditional phrases: extension, and words conditi Key a on based is analysis. functional proof conditional The and everywhere. almost pointwise pc falsrnl esrbefntoswt ausin values with functions measurable strongly all of space ocp fsal oe eicniut hc ssont be to shown representation is dual a which of semi-continuity tence lower stable of concept f Abstract. faletne elvle ucin na on functions real-valued extended all of := ) s 0 0 ( L : ( X X Y 0 AULDAEU SA ANSA,ADMCALKUPPER MICHAEL AND JAMNESHAN, ASGAR DRAPEAU, SAMUEL mdl otx nsc a htacniinlvrino th of version conditional a that way a such in context -module fse ucin ihvle in values with functions step of ) stesaeo l togymaual functions measurable strongly all of space the is ) h → ,y x, f : L ¯ σ X 0 ( s hr ( where , ω ( eetbihaFnhlMra hoe o rprcne fun convex proper for theorem Fenchel-Moreau a establish We L ) → σ i 0 ( ( loteverywhere. almost ,Y X, X L f ¯ ) ( 0 L , ,Y, X, x eapoe ovxfnto.W rv htsal lower stable that prove We function. convex proper a be sup = ) .Fradsuso ftplge ncniinlstig or settings conditional in topologies of discussion a For ). f f 0 s ∗ ( Y ( ose ucin ie by given functions step to h· ,Y, X, · y , sup = ) )wihcnb iwda h odtoa nlgeof analogue conditional the as viewed be can which )) ∈ ·i L f sada aro aahsae and spaces Banach of pair dual a is ) 0 ( 1. x x ( h· 62,0C0 46B22. 03C90, 46A20, Y L sup = ) Ω : , ) Introduction 0 {h ·i ( x X ulpi fBnc pcsand spaces Banach of pair dual a ) ,y x, ∈ → X ) y × {h 1 R ∈ σ − i σ L s x, fiiemauesae eitouethe introduce We space. measure -finite {±∞} ∪ L 0 ( ( X L L f Y ¯ 0 f i− ·i ( 0 ) 0 : ∗ Y ( {h sasbe of subset a is ( X h re fams vrweedom- everywhere almost of order the X y .W osdron consider We ). ,y x, ) ) f 08.Tegat”seseto Risk of ”Assessment grant The 10184. → } L , ( hr w fte r identified are them of two where , L x , − i ¯ x 0 0 L ) ¯ VLE FUNCTIONS -VALUED } ( f f Y 0 Y ioTn nvriyi gratefully is University Tong Jiao s potdb S fCiagrant China of NSF by upported ∗ 40/2-1. stecne ojgt and conjugate convex the is and , ( oasal proper stable a to ( f ∈ ra yeda representa- dual type oreau )tplg ntc htthe that (notice ))-topology P y ino oe semi-continuity lower of tion rsnain e (Ω Let presentation. qiaett h exis- the to equivalent ) X, : nletninresult extension onal } h ult pairing duality the d k t,semi-continuous ity, where , X L x h· y k 0 , 1 → ·i ( Ω : of e L ¯ X A 0 sunderstood is k ) epoethat prove We )). L L ¯ := ) stespace the is L → 0 0 f ( 0 Y ( σ : X Y sthe is ) s P X ctions lwrsemi- -lower h stable the ) ouoal- modulo L ¯ k Fenchel- e L 0 → f 0 ( h col- the -convex x , L k ¯ F (1.1) )1 0 h· µ , , A to ·i k ) 2 SAMUELDRAPEAU,ASGARJAMNESHAN,ANDMICHAELKUPPER

0 0 0 0 and σs(L (X),L (Y ))-lower semi-continuous function F : L (X) → L¯ . Building on a conditional version of the Fenchel-Moreau theorem, we ﬁnd the conditional dual representation F (x)= sup {hx,yi− F ∗(y)}, x ∈ L0(X), (1.2) y∈L0(Y ) for a conditional convex conjugate F ∗ : L0(Y ) → L¯0. Finally, by restricting (1.2) to X, we derive at the representation (1.1). In optimization Fenchel-Moreau duality is an important result for strong duality and related regularity conditions, see [9] for vector optimization results based on the Fenchel-Moreau duality in this work. Our Fenchel-Moreau theorem cannot be obtained from scalarization techniques [2, 1], set-valued methods [6, 7, 17] or vector-space techniques [20, 13]. The module approach in [16, 4] cannot be applied since a Banach space is a priori not an L0-module. A similar approach to ours is taken in [15] with the tools of Boolean-valued analysis [14], albeit in the context of norm topologies. For further results in vector and conditional duality, we refer to [2, 10, 8, 18, 19]. The remainder of this article is organized as follows. In Section 2 we introduce the setting and prove the main extension result. In Section 3 we derive a vector-valued Fenchel-Moreau theorem.

2. Extension of stable lower semi-continuous functions 0 0 ¯0 2.1. Preliminaries. Let L , L++ and L denote the spaces of all measurable functions on a σ-finite measure space (Ω, F,µ) with values in R, R++ and [−∞, +∞], where two of them are identified if they agree almost everywhere (a.e.). In particular, all equalities and inequalities in L¯0 are understood in the a.e. sense. Every nonempty subset C of L¯0 has a least upper bound sup C := esssup C and a greatest lower bound inf C := ess inf C in L¯0 with respect to the a.e. order. Throughout all functions on Ω are assumed to be (strongly) measurable and we 0 identify functions which agree a.e.. Given a set Z, we denote by Ls(Z) the space of all step functions zk1A :Ω → Z, where (zk) is a sequence in Z, (Ak) is a partition Pk k of Ω, and k zk1Ak denotes the function which is equal to zk for almost all ω ∈ Ak. P 0 If Z is partially ordered we consider on L (Z) the partial order xk1A ≥ yl1B s Pk k Pl l whenever xk ≥ yl for all k, l with µ(Ak ∩ Bl) > 0. Given a function f from Z to a set ˜ 0 0 ˜ Z, its extension to step functions fs : Ls(Z) → Ls(Z) is defined by

f z 1 := f(z )1 . X k Ak X k Ak k k A set H of functions on Ω is called stable (under countable concatenations) if it is non-empty and hk1A ∈ H for every sequence (hk) in H and every partition (Ak) Pk k of Ω. A stable family (hi)i∈I in H is a family (hi) in H indexed by a stable set I of functions on Ω such that

hi 1A = hP i 1 X k k k k Ak k for every sequence (ik) in I and every partition (Ak) of Ω. A stable net (hα) in H is a stable family indexed by a stable set of functions with values in a directed set. If the directed set is N the stable net (hn) is a stable sequence in which case the index set 0 N equals Ls( ). A stable family (hm) is a stable ﬁnite family if it is indexed by a stable 0 N 0 N set of the form {m ∈ Ls( ) : 1 ≤ m ≤ n} for some n ∈ Ls( ). Let I and (Hi), i ∈ I, A FENCHEL-MOREAU THEOREM FOR L¯0-VALUEDFUNCTIONS 3

be stable sets of functions on Ω. Then (Hi)i∈I is called a stable family of stable sets if

Hi 1A := hi 1A : hi ∈ Hi = HP i 1 X k k n X k k k k o k k Ak k k for every sequence (ik) in I and every partition (Ak) of Ω.

Remark 2.2. Given a stable family of stable sets (Hi)i∈I there exists a stable family (hi)i∈I such that hi ∈ Hi for all i ∈ I. This follows by the same arguments as in [3, Theorem 2.26], where the statement is shown within conditional set theory. 2.3. Stable lower semi-continuity. Let (X,Y, h·, ·i) be a dual pair of Banach spaces such that (i) |hx,yi| ≤ kxkkyk for all x ∈ X and y ∈ Y , and (ii) both norm-closed unit balls are weakly closed. Examples. a) Let X be a Banach space, Y its topological dual space endowed with the operator norm and hx,yi := y(x). b) Let X = Lp and Y = Lq on a finite measure space (S, S,ν) with 1 ≤ p,q ≤∞ and 1/p + 1/q ≤ 1 and hf, gi := fgdν. RS c) Let X = Bb(S) be the Banach space of bounded measurable functions on a measurable space (S, S) endowed with the supremum norm, Y = M(S) the Banach space of finite signed measures endowed with the total variation norm and hf,µi := fdν. RS d) Let X = Cb(S) be the Banach space of bounded continuous functions on a com- pletely regular Hausdorff space endowed with the supremum norm, Y = Mr(S) the Banach space of finite signed inner regular measures on the Borel σ-algebra of S endowed with the total variation norm and hf,µi := fdν. RS We denote by L0(X) and L0(Y ) the spaces of all strongly measurable functions on 0 0 Ω with values in X and Y . We understand X as a subset of Ls(X) ⊂ L (X) via 0 the embedding x 7→ x1Ω. Recall that the norm of X extends to L (X) by kxk := 0 0 limn→∞ kxnk ∈ L , where (xn) is a sequence in Ls(X) such that xn → x a.e.. In 0 0 0 particular, for every x ∈ L (X) and each r ∈ L++ there existsx ˜ ∈ Ls(X) such that kx − x˜k ≤ r. Similarly, the duality pairing h·, ·i can be extended from X × Y to 0 0 0 L (X) × L (Y ) by setting hx,yi := limn→∞hxn,yni ∈ L , where (xn) is a sequence in 0 0 Ls(X) such that xn → x a.e. and (yn) is a sequence in Ls(Y ) such that yn → y a.e.. Observe that |hx,yi| ≤ kxkkyk (2.1) for all x ∈ L0(X) and y ∈ L0(Y ). Next, we endow L0(X) with a topological structure given by the following neighborhood base. For every x ∈ L0(X), define r 0 0 V(x) := V (x): r ∈ L , (y ) ≤ ≤ stable finite family in L (Y ) , n (ym)1≤m≤n ++ m 1 m n o where V r (x) := {x˜ ∈ L0(X): |hx˜ − x,y i| ≤ r for all 1 ≤ m ≤ n}. (ym)1≤m≤n m 0 We notice that V(x) is a stable family of stable sets. Indeed, for each r ∈ L++ and 0 r 0 every stable finite family (y ) ≤ ≤ in L (Y ) the set V (x) in L (X) is stable. m 1 m n (ym)1≤m≤n 0 N 0 0 For every n = j nj1Aj ∈ Ls( ), r ∈ L++ and y1,y2, ··· ∈ L (Y ) the stable set r P V (x) is determined through the element (r, nj ,y1,y2,...,yn , 0, 0,... )1A (ym)1≤m≤n Pj j j in the space of all strongly measurable functions on Ω with values in the Banach space of 4 SAMUELDRAPEAU,ASGARJAMNESHAN,ANDMICHAELKUPPER

∞ sequences (r,n,y1,y2,... ) ∈ R × R × l (Y ) with ﬁnite norm k(r,n,y1,y2,... )k := |r| +

|n| +supj kyjk. Denoting by I the stable set of all j(r, nj ,y1,y2,...,ynj , 0, 0,... )1Aj 0 N 0 P 0 for n = j nj1Aj ∈ Ls( ), r ∈ L++ and y1,y2, ···∈ L (Y ), one has V(x) = (Vi(x))i∈I P r where Vi(x) = V (x) for i = (r, nj,y1,y2,...,yn , 0, 0,... )1A . This shows (ym)1≤m≤n Pj j j that V(x) = (Vi(x))i∈I is a stable family of stable sets. In the following we frequently view V(x) as a set of functions on Ω by identifying it with the stable set I. The topology induced by the neighborhood base V(x) is referred to as a stable topol- 0 0 ogy and is denoted by σs(L (X),L (Y )) or simply by σs. Stable topologies are in- troduced in [3] within conditional set theory, we refer to [11] for their connection to 0 0 (ǫ, λ)-topologies and L -topologies. In this topology a stable net (xα) in L (X) con- 0 verges to x if and only if |hxα − x,yi| → 0 a.e. for all y ∈ L (Y ). Moreover, a stable 0 subset C of L (X) is closed if and only if x ∈ C for every stable net (xα) in C which converges to x.

0 Deﬁnition 2.4. A function f : X → L¯ is called σs-lower semi-continuous, if f(x) ≤ 0 lim infα fs(xα) for every stable net (xα) in Ls(X) which converges to x ∈ X. The function f is said to be proper convex, if f(x) > −∞ for all x ∈ X and f(x′) ∈ L0 for some x′ ∈ X, as well as f(λx + (1 − λ)˜x) ≤ λf(x) + (1 − λ)f(˜x) for every λ ∈ R with 0 ≤ λ ≤ 1 and all x, x˜ ∈ X. Proposition 2.5. For a function f : X → L¯0 the following properties are equivalent.

(i) f is σs-lower semi-continuous. 0 (ii) f(x) = supV ∈V(x) inf{fs(˜x):x ˜ ∈ V ∩ Ls(X)} for all x ∈ X. 0 ¯0 (iii) The sublevel set {x ∈ Ls(X): fs(x) ≤ a} is closed for each a ∈ L . Proof. By stability the properties (i) and (ii) can equivalently be formulated for all 0 x ∈ Ls(X). (i) ⇒ (ii): Fix x ∈ X. Obviously, one has

0 d := sup inf{fs(˜x):x ˜ ∈ V ∩ Ls(X)}≤ f(x). V ∈V(x)

0 On the other hand, ﬁx ε ∈ L++ and consider the stable family of stable sets

0 x ∈ V ∩ L (X): inf arctan(fs(˜x)) + ε ≥ arctan(fs(x)) . n s 0 o x˜∈V ∩Ls(X) V ∈V(x)

0 By Remark 2.2, there exists a stable family (xV )V ∈V(x) such that xV ∈ V ∩ Ls(X) and

inf arctan(fs(˜x)) + ε ≥ arctan(fs(xV )) 0 x˜∈V ∩Ls(X) for all V ∈ V(x). Since the stable index set V(x) is ordered by reverse inclusion, the family (xV )V ∈V(x) is a stable net which by construction converges to x. By σs-lower semi-continuity of f it follows that

arctan(d) ≥ lim inf arctan(fs(xV )) − ε ≥ arctan(f(x)) − ε. V ∈V(x)

0 (ii) ⇒ (iii): Let a ∈ L¯ and (xα) be a stable net with fs(xα) ≤ a which converges 0 to x ∈ Ls(x). Then one has 0 fs(x)= sup inf{fs(˜x):x ˜ ∈ V ∩ Ls(X)}≤ lim inf fs(xα) ≤ a. V ∈V(x) α A FENCHEL-MOREAU THEOREM FOR L¯0-VALUEDFUNCTIONS 5

0 (iii) ⇒ (i): Let (xα) be a stable net in Ls(X) which converges to x ∈ X. By Remark 0 2.2, there exists for every ε ∈ L++ a stable subnet (xβ) of (xα) such that

arctan(fs(xβ)) ≤ lim inf arctan(fs(xα)) + ε α

for all β. Since xβ → x it follows that arctan(f(x)) ≤ lim infα arctan(fs(xα)) + ε, showing that f is σs-lower semi-continuous. Remark 2.6. Let X = Y = L2 on (0, 1] endowed with the Lebesgue measure on its Borel σ-algebra, and consider the identity map id : L2 → L2. Although the sublevel set {x ∈ L2 : id(x) ≤ a} is σ(L2,L2)-closed for each a ∈ L¯0, the identity map id is not σs-lower semi-continuous. Indeed, ﬁx V r (0) ∈V(0), and notice that (ym)1≤m≤n 0 2 sup |hx,ymi| ≤ kxk sup kymk for all x ∈ Ls(L ) 1≤m≤n 1≤m≤n

by (2.1). We can assume that r/ sup1≤m≤n kymk ≥ r˜ for a constant r˜ > 0, otherwise we partition (0, 1] = Ak and carry out the following argument on each Ak. Then, Sk there exists a sequence (cl) in R which converges to +∞ such that l k r 0 2 N xl = xl 1 k−1 k ∈ V(y ) (0) ∩ Ls(L ) for all l ∈ , X ( l , l ] m 1≤m≤n k=1 k 2 where x = −cl1 k−1 k ∈ L for all 1 ≤ k ≤ l. On the other hand, since ids(xl)= −cl l ( l , l ] for all l ∈ N, it follows that 0 2 id(0) = 0 > −∞ = sup inf ids(˜x):x ˜ ∈ V ∩ Ls(L ) . V ∈V(0) In particular, the identity id does not have an extension in the sense of Theorem 2.9 below.

2.7. Extension result. Our goal is to extend a σs-lower semi-continuous function f : X → L¯0 to a stable function F : L0(X) → L¯0. We need the following definitions. Definition 2.8. A function F : L0(X) → L¯0 is called 0 (i) stable, if F ( xk1A )= F (xk)1A for every sequence (xk) in L (X) and Pk k Pk k each partition (Ak) of Ω, (ii) σs-lower semi-continuous, if F (x) ≤ lim infα F (xα) for every stable net (xα) in L0(X) converging to x ∈ L0(X), (iii) L0-linear, if F is L0-valued and F (λx+x ˜)= λF (x)+F (˜x) for all x, x˜ ∈ L0(X) and λ ∈ L0, (iv) L0-proper convex, if F (x) > −∞ for all x ∈ L0(X) and F (x′) ∈ L0 for some x′ ∈ L0(X), as well as F (λx + (1 − λ)˜x) ≤ λF (x) + (1 − λ)F (˜x) for every λ ∈ L0 with 0 ≤ λ ≤ 1 and all x, x˜ ∈ L0(X). Next, we state the main extension result. 0 Theorem 2.9. For every σs-lower semi-continuous function f : X → L¯ there exists a 0 0 stable, σs-lower semi-continuous function F : L (X) → L¯ which satisfies F |X = f. Moreover, if f is proper convex, then this extension can be chosen L0-proper convex. Proof. Define 0 0 F (x):= sup inf{fs(˜x):x ˜ ∈ V ∩ Ls(X)}, x ∈ L (X). V ∈V(x) 6 SAMUELDRAPEAU,ASGARJAMNESHAN,ANDMICHAELKUPPER

Notice that for every x ∈ L0(X) and V r (x) ∈V(x) it follows from (2.1) that (ym)1≤m≤n

sup |hxk − x,ymi| ≤ kxk − xk sup kymk→ 0 1≤m≤n 1≤m≤n 0 for every sequence (xk) in Ls(X) such that xk → x a.e., which shows that V r (x) ∩ L0(X) 6= ∅. (ym)1≤m≤n s

Hence, F is a well-deﬁned stable function since fs is a stable function on the stable set 0 V ∩Ls(X). Moreover, it follows from Proposition 2.5 that F is an extension of f. That F satisﬁes the desired properties is shown in the following two steps. 0 0 Step 1. We show that F is σs-lower semi-continuous. Fix x ∈ L (X) and ε ∈ L++. There exists V = V r (x) in V(x) such that (ym)1≤m≤n 0 arctan(F (x)) − ε ≤ inf{arctan(fs(˜x)):x ˜ ∈ V ∩ Ls(X)}. Fix z ∈ V r/2 (x). For V˜ = V r/2 (z) ∈ V(z) it follows from the triangle (ym)1≤m≤n (ym)1≤m≤n ˜ ˜ 0 0 inequality that V ⊆ V . Since V ∩ Ls(X) ⊆ V ∩ Ls(X), we obtain ˜ 0 arctan(F (x)) − ε ≤ inf{arctan(fs(˜z)):z ˜ ∈ V ∩ Ls(X)} so that arctan(F (x)) − ε ≤ arctan(F (z)). 0 ε This shows that for every ε ∈ L++ there exists V ∈V(x) such that arctan(F (x))−ε ≤ arctan(F (z)) for all z ∈ V ε. Hence arctan(F (x)) − ε ≤ sup inf{arctan(F (z)): z ∈ V }. V ∈V(x)

By letting ε ↓ 0, and since supV ∈V(x) inf{arctan(F (z)): z ∈ V } ≤ arctan(F (x)) is trivially satisﬁed, it follows from the strict monotonicity of arctan that F (x)= sup inf{F (z): z ∈ V }. V ∈V(x) 0 In particular, F (x) ≤ lim infα F (xα) for every stable net (xα) in L (X) which converges to x ∈ L0(X). Step 2. We show that F is L0-proper convex when f is proper convex. Since F is an extension of f there exists x′ ∈ X ⊂ L0(X) such that F (x′)= f(x′) ∈ L0. 0 R Note that for every λ ∈ Ls( ) with 0 ≤ λ ≤ 1 it follows from convexity 0 fs(λx + (1 − λ)z) ≤ λfs(x) + (1 − λ)fs(z), for all x, z ∈ Ls(X). 0 0 R Fix x, z ∈ L (X) and λ ∈ Ls( ) with 0 ≤ λ ≤ 1. Let V = V r (λx + (1 − λ)z) ∈V(λx + (1 − λ)z), (ym)1≤m≤n W = V r (x) ∈V(x), and W ′ = V r (z) ∈V(z). (ym)1≤m≤n (ym)1≤m≤n 0 ′ 0 0 Forx ˜ ∈ W ∩ Ls(X) andz ˜ ∈ W ∩ Ls(X) it follows that λx˜ + (1 − λ)˜z is in V ∩ Ls(X), which shows that

0 0 ′ 0 inf{fs(˜x):x ˜ ∈ V ∩Ls(X)}≤ inf{fs(λx˜+(1−λ)˜z):x ˜ ∈ W ∩Ls(X), z˜ ∈ W ∩Ls(X)} 0 ′ 0 ≤ inf{λfs(˜x) + (1 − λ)fs(˜z):x ˜ ∈ W ∩ Ls(X), z˜ ∈ W ∩ Ls(X)} 0 ′ 0 = λ inf{fs(˜x):x ˜ ∈ W ∩ Ls(X)} + (1 − λ)inf{fs(˜z):z ˜ ∈ W ∩ Ls(X)}, A FENCHEL-MOREAU THEOREM FOR L¯0-VALUEDFUNCTIONS 7

where we employ the convention −∞+∞ =+∞. Hence, for every V ∈V(λx+(1−λ)z) there exist W ∈V(x) and W ′ ∈V(z) such that

0 inf{fs(˜x):x ˜ ∈ V ∩ Ls(X)} 0 ′ 0 ≤ λ inf{fs(˜x):x ˜ ∈ W ∩ Ls(X)} + (1 − λ)inf{fs(˜z):z ˜ ∈ W ∩ Ls(X)}. By taking the supremum on both sides of the previous inequality, one obtains F (λx + (1 − λ)z) ≤ λF (x) + (1 − λ)F (z). The last inequality also holds for λ ∈ L0 with 0 ≤ λ ≤ 1 by approximating λ with step 0 R functions in Ls( ) and using the σs-lower semi-continuity of F . By way of contradiction, suppose there exist x ∈ L0(X) and A ∈ F with µ(A) > 0 0 0 0 such that F (x)= −∞ on A. Let x0 ∈ L (X) with F (x0) ∈ L . From L -convexity we have F (λx0 + (1 − λ)x)= −∞ on A for all 0 ≤ λ< 1. Since λx0 + (1 − λ)x converges to x0 as λ tends to 1, it follows from σs-lower semi-continuity that F (x0)= −∞ on A which is a contradiction.

3. Fenchel-Moreau type duality for vector-valued functions We consider the setting of the previous section. Let (X,Y, h·, ·i) be a dual pair of Banach spaces such that |hx,yi| ≤ kxkkyk for all x ∈ X and y ∈ Y , and both norm- closed unit balls are weakly closed. Recall that h·, ·i extends to L0(X) × L0(Y ) with values in L0, and satisfies |hx,yi| ≤ kxkkyk for all x ∈ L0(X) and y ∈ L0(Y ). The next result shows that (L0(X),L0(Y ), h·, ·i) is an L0-dual pair. Lemma 3.1. The functions y 7→ hx, ·i : L0(Y ) → L0 and x 7→ h·,yi : L0(X) → L0 are stable and L0-linear for all x ∈ L0(X) and y ∈ L0(Y ). Moreover, for every x ∈ L0(X) with µ(x = 0) = 0 there exists y ∈ L0(Y ) such that µ(hx,yi = 0) = 0, and symmetrically, for every y ∈ L0(Y ) with µ(y = 0) = 0 there exists x ∈ L0(X) such that µ(hx,yi = 0) = 0. Proof. We only show the separation argument. To that end, fix x ∈ L0(X) with 0 µ(x = 0) = 0. Then there exists r ∈ L with r = rk1A for a sequence (rk) in ++ Pk k (0, ∞) and a partition (Ak) of Ω such that 01A ∈/ C3r(x)1A for all A ∈ F with µ(A) > 0, 0 s 0 where C3r(x) := {x˜ ∈ L (X): kx˜−xk≤ 3r}. Further, there exists x ∈ Ls(X) such that s s kx − x k≤ r. By the triangle inequality, 01A 6∈ C2r(x )1A for all A ∈ F with µ(A) > 0. s s s We can assume that x and r are defined on the same partition, i.e. x = k xk1Ak , by changing if necessary to a common refinement. Then it holds P C (xs)= x˜ ∈ L0(X):x ˜1 ∈ C (xs )1 for all k . 2r Ak 2rk k Ak X s s Since C2rk (xk) := {x˜ ∈ X : kx˜−xkk≤ 2rk} is σ(X,Y )-closed in X, by strong separation there exist yk ∈ Y \ {0} and a constant δk > 0 such that

inf hx,y˜ ki≥ δk > 0 x˜∈CX (xs ) 2rk k for all k. It follows that inf hx,y˜ i≥ δ > 0, (3.1) s x˜∈Cr(x ) s where y := k yk1Ak and δ := k δk1Ak . Indeed, letx ˜ ∈ Cr(x ) and (˜xn) be a stable P 0 P n s sequence in Cr(˜x) ∩ Ls(X) with kx˜n − x˜k→ 0 a.e.. We have kx˜l − xkk≤ 2rk whenever 8 SAMUELDRAPEAU,ASGARJAMNESHAN,ANDMICHAELKUPPER

n n µ(Ak ∩ B ) > 0, wherex ˜n = x˜ 1Bn . From the stability of the extended duality l Pl l l pairing h·, ·i we obtain

n hx˜ ,yi = hx˜ ,y i1 ∩ n ≥ δ > 0, n X l k Ak Bl k,l so that hx,y˜ i = hx˜ − xñ,yi + hxñ,yi ≥ hx˜ − xñ,yi + δ → δ > 0, s which shows (3.1). Since x ∈ Cr(x ) we conclude µ(hx,yi = 0) = 0. In view of the previous result conditional functional analysis becomes applicable. By an adaptation of the classical results for dual pairs, it follows from the conditional fun- damental theorem of duality (see e.g. [12, Corollarly 4.48] in the setting of conditional set theory; for an adaptation to the present L0-setting, see [11, Proposition 6.6]) that 0 0 0 0 0 every σs(L (X),L (Y ))-continuous, L -linear function h : L (X) → L is of the form 0 0 0 0 0 h·,yi for some y ∈ L (Y ). In particular, the L -dual space of (L (X),σs(L (X),L (Y ))) can be identified with L0(Y ). As a consequence, an application of a conditional version of the Fenchel-Moreau theorem, see e.g. [11, Theorem 6.3.], yields that every L0-proper 0 0 convex, stable, σs-lower semi-continuous function F : L (X) → L¯ has the dual representation F (x)= sup {hx,yi− F ∗(y)}, x ∈ L0(X), (3.2) y∈L0(Y ) 0 ∗ 0 for the L -convex conjugate F (y) := supx∈L0(X){hx,yi− F (x)} for all y ∈ L (Y ). Now we are ready to state our main result. 0 Theorem 3.2. Let f : X → L¯ be a proper convex function. Then f is σs-lower semi- continuous if and only if it has the representation f(x)= sup {hx,yi− f ∗(y)} for all x ∈ X, (3.3) y∈L0(Y ) where f ∗ : L0(Y ) → L¯0 is given by f ∗(y) := sup {hx,yi− f(x)} . x∈X

Proof. Suppose that f is σs-lower semi-continuous. It follows from Theorem 2.9 that 0 0 0 there exists an L -proper convex σs-lower semi-continuous extension F : L (X) → L¯ . By (3.2), one obtains F (x)= sup {hx,yi− F ∗(y)}, x ∈ L0(X), y∈L0(Y ) for the L0-convex conjugate F ∗(y)= sup {hx,yi− F (x)}, y ∈ L0(Y ). x∈L0(X) Since f ∗(y) = sup{hx,yi− f(x)}≤ sup {hx,yi− F (x)} = F ∗(y) (3.4) x∈X x∈L0(X) and hx,yi− f ∗(y) ≤ f(x) for all y ∈ L0(Y ), one has f(x)= F (x)= sup {hx,yi− F ∗(y)}≤ sup {hx,yi− f ∗(y)}≤ f(x) y∈L0(Y ) y∈L0(Y ) for all x ∈ X. A FENCHEL-MOREAU THEOREM FOR L¯0-VALUEDFUNCTIONS 9

Conversely, suppose that f satisﬁes the representation (3.3). Let (xα) be a stable 0 net in Ls(X) which converges to x. Sincex ˜ 7→ hx,y˜ i is σs-lower semi-continuous on 0 0 Ls(X) for all y ∈ L (Y ), it follows that f(x)= sup {hx,yi− f ∗(y)} y∈L0(Y ) ∗ ≤ lim inf sup {hxα,yi− f (y)} α y∈L0(Y )

= lim inf fs(xα), α 0 where in the last equality we used that (3.3) also holds for fs on Ls(X) by stability. This shows that f is σs-lower semi-continuous. 0 Remark 3.3. Let f : X → L¯ be a proper convex, σs-lower semi-continuous function. Then the extension F in Theorem 2.9 is maximal in the sense that G ≤ F for every L0- ∗ ∗ proper convex, σs-lower semi-continuous extension G of f. In fact, we have F ≤ G by the same argumentation as in (3.4), and therefore F (x)= sup {hx,yi− F ∗(y)}≥ sup {hx,yi− G∗(y)} = G(x), (3.5) y∈L0(Y ) y∈L0(Y ) where the last equality follows from (3.2).

References [1] R. Bot and S. Grad. Duality for vector optimization problems via a general scalarization. Opti- mization, 60:1269–1290, 2011. [2] R. Bot, S. Grad and G. Wanka. Duality in Vector Optimization. Springer Berlin Heidelberg, 2009. [3] S. Drapeau, A. Jamneshan, M. Karliczek and M. Kupper. The algebra of conditional sets, and the concepts of conditional topology and compactness. J. Math. Anal. Appl., 437(1):561–589, 2016. [4] D. Filipović, M. Kupper and N. Vogelpoth. Separation and duality in locally L0-convex modules. J. Funct. Anal., 256:3996–4029, 2009. [5] T. Guo. Relations between some basic results derived from two kinds of topologies for a random locally convex module. J. Funct. Anal., 258:3024–3047, 2010. [6] A. H. Hamel. A duality theory for set-valued functions I: Fenchel conjugation theory. Set-Valued Var. Anal., 17:153–182, 2009. [7] A. H. Hamel and A. Löhne. Lagrange duality in set optimization. J. Optim. Theory Appl., 161(2):368–397, 2014. [8] F. Heyde and A. Löhne. Geometric duality in multiple objective linear programming. SIAM J. Optim., 19:836–845, 2008. [9] S.-M. Grad and A. Jamneshan. A perturbational duality approach in vector optimization. In preparation. [10] J. Jahn. Vector Optimization. Springer, 2004. [11] A. Jamneshan and J. M. Zapata. On compactness in L0-modules. Preprint, 2017. [12] M. Karliczek. Elements of conditional optimization and their applications to order theory. Ph.D. thesis, Humboldt-Universität zu Berlin, 2014. [13] S. Koshi and N. Komuro. A generalization of the Fenchel-Moreau theorem. Proc. Japan Acad. Ser. A Math. Sci., 59(5):78–181, 1983. [14] A. G. Kusraev and S. S. Kutateladze. Boolean Valued Analysis. Mathematics and Its Applications. Springer Netherlands, 2012. [15] A. G. Kusraev and S. S. Kutateladze. Kantorovich spaces and optimization. J. Math. Sci. (N.Y.), 133(4):1449–1455, 2006. [16] S. S. Kutateladze. Convex analysis in modules. Sib. Math. J., 22(4):118–128, 1981. [17] A. Löhne and C. Tammer. A new approach to duality in vector optimization. Optimization, 56(1- 2):221–239, 2007. [18] J. Orihuela and J. M. Zapata. Stability in locally L0-convex modules and a conditional version of James’ compactness theorem. J. Math. Anal. Appl., 452(2):1101–1127, 2017. 10 SAMUELDRAPEAU,ASGAR JAMNESHAN,ANDMICHAELKUPPER

[19] J. M. Zapata. Versions of Eberlein-Smulianˇ and Amir-Lindenstrauss theorems in the framework of conditional sets. Appl. Anal. Discrete Math., 10(2):231–261, 2016. [20] J. Zowe. A duality theorem for a convex programming problem in order complete vector lattices. J. Math. Anal. Appl., 50:273–287, 1975.

Shanghai Jiao Tong University, Shanghai Advanced Institute of Finance Email address: [email protected]

Department of Mathematics and Statistics, University of Konstanz Email address: [email protected]