Baire-Type Properties in Metrizable c 0 ( Ω , X )

: Ferrando and Lüdkovsky proved that for a non-empty set Ω and a normed space X , the normed space c 0 ( Ω , X ) is barrelled, ultrabornological, or unordered Baire-like if and only if X is, respectively, barrelled, ultrabornological, or unordered Baire-like. When X is a metrizable locally convex space, with an increasing sequence of semi-norms {(cid:107) . (cid:107) n ∈ N } deﬁning its topology, then c 0 ( Ω , X ) is the metrizable locally convex space over the ﬁeld K (of the real or complex numbers) of all functions f : Ω → X such that for each ε > 0 and n ∈ N the set { ω ∈ Ω : (cid:107) f ( ω ) (cid:107) n > ε } is ﬁnite or empty, with the topology deﬁned by the semi-norms (cid:107) f (cid:107) n = sup {(cid:107) f ( ω ) (cid:107) n : ω ∈ Ω } , n ∈ N . Ka¸kol, López-Pellicer and Moll-López also proved that the metrizable space c 0 ( Ω , X ) is quasi barrelled, barrelled, ultrabornological, bornological, unordered Baire-like, totally barrelled, and barrelled of class p if and only if X is, respectively, quasi barrelled, barrelled, ultrabornological, bornological, unordered Baire-like, totally barrelled, and barrelled of class p . The main result of this paper is that the metrizable c 0 ( Ω , X ) is baireled if and only if X is baireled, and its proof is divided in several lemmas, with the aim of making it easier to read. An application of this result to closed graph theorem, and two open problems are also presented.


Introduction
Let Ω be a non-empty set, X a locally convex space over the field K (of real or complex numbers), cs(X) the family of all continuous seminorms in X, 1 (X) the space of all absolutely summable sequences in X, namely endowed with the family of seminorms • p : p ∈ cs(X) , and c 0 (Ω, X) the locally convex space over K of all functions f : Ω → X such that for each ε > 0 and p ∈ cs(X) the set {ω ∈ Ω : p( f (ω)) > ε} is finite or empty, with the topology defined by the semi-norms f p = sup{p( f (ω)) : ω ∈ Ω}, p ∈ cs(X).
In particular, c 0 (Ω) := c 0 (Ω, K) and for Ω = N, c 0 (X) := c 0 (N, X) and c 0 := c 0 (N, K).It was proved in [1] that c 0 (X) is quasibarrelled if and only if X is quasibarrelled and its strong dual satisfies the condition (B) of Pietsch and that if, in addition, X is complete in the sense of Mackey, then c 0 (X) is barrelled if and only if X is quasibarrelled and its strong dual satisfies condition (B) of Pietsch.In this case, X is barrelled.Through a clever use of a sliding-hump technique, it was proved in [2] that, even in the absence of completeness in the sense of Mackey, c 0 (X) is barrelled if and only if X is barrelled and its strong dual satisfies condition (B) of Pietsch.Recall that X has the property (B) of Pietsch if for any bounded set B in 1 (X) there exists an absolutely convex bounded set B in X such that the normed space X B formed by the linear hull of B endowed with Minkowski functional p B of B verifies that B is contained in the unit ball of the normed space 1 (X B ), i.e., Metrizable locally convex spaces as well as dual metric locally convex spaces verify the property (B) of Pietsch ([3]).
Ferrando and Lüdkowsky proved in [4] that for a normed space X the space c 0 (Ω, X) is barrelled, ultrabornological, or unordered Baire-like (see [5]) if and only if X is, respectively, barrelled, ultrabornological, or unordered Baire-like.It was proved in [6] that for a locally convex metrizable space X the space c 0 (Ω, X) is quasi barrelled, barrelled, ultrabornological, bornological, unordered Baire-like, totally barrelled, and barrelled of class p if and only if X is, respectively, quasi barrelled, barrelled, ultrabornological, bornological, unordered Baire-like, totally barrelled, and barrelled of class p.The normed space of all continuous functions vanishing at infinity defined on a locally compact topological space with values in a normed space and endowed with the supremum norm topology is barrelled if and only if X is barrelled; this result was obtained in [7], answering a question posed by J. Horváth.
The linear subspace l ∞ 0 of the sequence space l ∞ of finite-valued sequences in the field K is of the first Baire category [8].Independently, Dieudonné ( [9], p. 133) and Saxon [10] proved that l ∞ 0 is barrelled.Schachermayer extended this result by proving that the linear hull l ∞ 0 (A) of the characteristic functions X A , with A ∈ A, and where A is a ring of subsets of Ω, endowed with the supremum norm topology, is barrelled if and only if the vector space ba(A), of all bounded finitely additive scalar measures defined on A equipped with the supremum norm topology, verifies the Nikodým boundedness theorem, see ( [11], p. 80).
Furthermore, if A is a σ-algebra, the space l ∞ 0 (A) is barrelled, see ( [11], p. 80) and [12].Valdivia [13] improved this result: If (E n ) n is an increasing sequence of vector subspaces of l ∞ 0 (A) covering l ∞ 0 (A), then there is an E n barrelled and dense in l ∞ 0 (A).From this property, suprabarrelled spaces are defined, also known as (db) spaces in [14,15].Interesting applications of suprabarrelled spaces can be found in [13,16] and ( [17], Chapter 9).A natural generalization of suprabarrelled spaces are p-barrelled spaces.Let N ≤p := p k=1 N k , N <∞ := ∞ k=1 N k and recall, see [18] and ( [19], Definition 3.2.1)that a p-net in a vector space All topological spaces are supposed to be Hausdorff and space will be used as an abbreviation of locally convex space, when misunderstanding is not possible.A locally convex space E is called p-barrelled if given a p-net W = E t : t ∈ N ≤p there is a t ∈ N p such that E t is barrelled and dense in E (see [19], Definition 3.2.2).Note that suprabarrelled spaces are 1-barrelled spaces.We refer the reader to [20] for several applications of pbarrelled spaces, particularly in vector measures.The locally convex space E is ℵ 0 -barrelled if it is p-barrelled, for each p ∈ N (see [19], Definition 4.1.1)and E is baireled if each linear web W = {E t : t ∈ N <∞ } in E admits a strand formed by dense barrelled subspaces of E, i.e., there exists a sequence (n i : i ∈ N) such that E n 1 n 2 •••n i is a barrelled and dense subspace of E, for each i ∈ N (see [21], Definition 1 and Theorem 1).It was proved in [22] that for a σ-algebra A the space l ∞ 0 (A) is baireled.Other related properties can be found in [23] and references therein.
In this paper, it is assumed that the locally convex space X is metrizable, denoting by { .n ∈ N} an increasing sequence of semi-norms defining the topology of X, i.e., for every x ∈ X, we have that x n ≤ x n+1 , n ∈ N.Then, the locally convex space c 0 (Ω, X) is metrizable and its topology is defined by the semi-norms f n = sup{ f (ω) n : ω ∈ Ω}, n ∈ N and f ∈ c 0 (Ω, X).Now for every f ∈ c 0 (Ω, X), its support, i.e., supp and, by definition, for each ε > 0 and n ∈ N the set {ω ∈ Ω : f (x) n > ε} is finite or empty.
The aim of the paper is to characterize those spaces c 0 (Ω, X) which are baireled.We will prove that c 0 (Ω, X) is baireled if and only if X is baireled (Theorem 2).In order to do this, we need the characterization for c 0 (Ω, X) to be barrelled obtained in ([6], Corollary 2.4).For the sake of completeness, we will remind readers of this characterization in Section 2.
If Γ is a subset of Ω, we denote by c 0 (Γ, X) the linear subspace of c 0 (Ω, X) consisting of all functions f such that f (Ω \ Γ) = {0}.By V , we denote the linear hull of a subset V of a linear space X, and, if V is absolutely convex and bounded, then V V is the normed space formed by V , endowed with the norm defined by the functional of Minkowski of V.
Recall that an absolutely convex bounded set V in X is a Banach disk if the normed space V V is a Banach space, and that a locally convex space X is barrelled (quasibarrelled) if every closed absolutely convex and absorbing (and bornivorous) subset of E is a neighborhood of zero.Barrelled spaces are just the locally convex spaces that verify the Banach-Steinhaus boundedness theorem.Todd and Saxon [5] discovered an applicable and natural generalization of Baire spaces to locally convex spaces: A locally convex space X is called unordered Baire-like, if every sequence of absolutely convex and closed subsets of X covering X contains a member which is a neighborhood of zero.Finally, a locally convex space X is totally barrelled if for every sequence of subspaces (X n ) n∈N of X covering X, there is some X p which is barrelled and its closure is finite-codimensional in X, see ([19], Definition 1.4.1) and [24].Note that Baire ⇒ Unordered Baire-like ⇒ Totally barrelled ⇒Baireled ⇒ ℵ 0 -barrelled ⇒ p + 1-barrelled ⇒ p-barrelled ⇒ Baire-like ⇒ barrelled⇒ quasibarrelled.

Revisiting Barrelledness in c 0 (Ω, X)
It is well known that, if ϕ : E → F is a continuous linear map from a Banach space E into a locally convex space F and D is the open unit ball of E, then the normed space This well known property is used in the following lemmas.
Lemma 1 ([6], Lemma 2.1).Let X be a metrizable locally convex space and ( f n ) n a bounded sequence in c 0 (Ω, X) such that the set {n ∈ N : f n (ω) = 0} is finite or empty for every ω ∈ Ω.
Then, ( f n ) n is contained in a Banach disk.In particular, if Ω = N and supp( f n ) ⊂ N {1, 2, ..., n}, for each n ∈ N, then also ( f n ) n is contained in a Banach disk.
Proof.The boundedness implies that M p = sup f n p : n ∈ N is finite for each p ∈ N.
Then, for each {ξ n : n ∈ N} ∈ l 1 , the inequality implies the continuity of the map ϕ : From Lemma 1, it follows that, if T is an absolutely convex subset of c 0 (Ω, X) that absorbs its Banach disks, then there exists in Ω a countable subset ∆ and a natural number .. The boundedness of { f n : n ∈ N} and Lemma 1 implies that there exists k ∈ N such that { f n : n ∈ N} ⊂ kT, which yields to the contradiction f k ∈ kT.Lemma 2 ([6], Lemma 2.1).Let T be an absolutely convex subset of c 0 (Ω, X) that absorbs its Banach disks.Then, there exists in Ω a finite subset ∆ and a natural number n such that T absorbs Proof.By the observation preceding this lemma, it is enough to prove that, if T is an absolutely convex subset of c 0 (N, X) that absorbs its Banach disks, then there exists m ∈ N such that T absorbs Otherwise, there exists f n ∈ c 0 (N {1, 2, ..., n}, X) nT, with f n n ≤ 1, for each n ∈ N. By Lemma 1, there is h ∈ N such that { f n : n ∈ N} ⊂ hT and we reach the contradiction f h ∈ hT.
The above lemmas nicely apply to get the following characterization of barrelled c o (Ω, X).
Theorem 1 ([6], Corollary 2.4a).Let X be a metrizable locally convex space and Ω a non void set.Then, c 0 (Ω, X) is barrelled if and only if X is barrelled.
Conversely, if T is a barrel in c 0 (Ω, X) and B is a Banach disk in c 0 (Ω, X), it is obvious that T contains a neighborhood of zero in the Banach space B B , hence there exists a λ > 0 such that λB ⊂ T.Then, by Lemma 2, there exists in Ω a finite subset ∆ such that T contains a neighborhood of zero in c 0 (Ω ∆, X).Hence, if X is barrelled, T also contains a neighborhood of c 0 (Ω, X) because the space c 0 (Ω, X) is isomorphic to the product c 0 (Ω ∆, X) × X ∆ , and X ∆ is barrelled.
The analogous result of Theorem 1 for quasibarrelled, ultrabornological, bornological, unordered Baire like, totally barrelled, and barrelled spaces of class p are provided in ([6], Corollaries 2.4 and 2.5 and Theorem 3.7).The unordered Baire-like and the totally barrelled results need in their proofs the preceding lemmas and the following nice result ( [5], Theorem 4.1): If the union of two countable families F and G of linear subspaces of a linear space E covers E, then one of them covers E. In fact, assume that there exists x ∈ ∪{F i : F i ∈ F }, with x / ∈ ∪ G j : G j ∈ G , and there exists y ∈ ∪ G j : G j ∈ G , with y / ∈ ∪{F i : F i ∈ F }.As the subset {x + t(y − x) : t ∈ R} is uncountable, we may suppose that there exists is a linear subspace.In particular, for t = 1, we obtain that y ∈ F i m , in contradiction with y / ∈ ∪{F i : F i ∈ F }.The fact that c 0 (Ω, X) is barrelled of class p if and only if X is barrelled of class p, for each p ∈ N, implies directly that c 0 (Ω, X) is ℵ 0 -barrelled if and only if X is ℵ 0 -barrelled.

Baireledness
In this section, we prove that the space c 0 (Ω, X) is baireled if and only if X is baireled.Recall that a locally convex space E is baireled if each linear web in E contains a strand formed by Baire-like spaces [26] and that, if E is metrizable, then E is baireled if each linear web in E contains a strand formed by barrelled spaces.
Let T be a non-void subset of N <∞ := ∪{N s : s ∈ N} and let t = (t 1 , t 2 , . . ., t p ) be an element of T. The element t(i) := (t 1 , t 2 , . . ., t i ), if 1 i p, and t(i) := ∅ if i > p, and the set T(i) := {t(i) : t ∈ T} are named the section of length i of t and T, respectively.With this notation, a sequence (t n : n ∈ N) formed by elements of N <∞ is a strand if t n+1 (n) = t n (n), for each n ∈ N. A non-void subset T of N <∞ is increasing if, for each t = (t 1 , t 2 , . . ., t p ) ∈ T, there exists p scalars t i i verifying t i < t i i , for 1 i p, such that (t 1 1 ) ∈ T(1) and (t 1 , t 2 , . . ., t i−1 , t i i ) ∈ T(i), 1 < i ≤ p.If s = (s 1 , s 2 , . . ., s q ) ∈ N <∞ then (t, s) := (t 1 , t 2 , . . ., t p , s 1 , s 2 , . . ., s q ) The following definition provides a particular type of increasing subsets U of N <∞ considered in ([27], Definition 1) and named NV-trees, reminding readers of O.M. Nikodým and M. Valdivia.

Definition 1.
An NV-tree is a non-void increasing subset T of N <∞ without strands and such that, for each t = (t 1 , t 2 , . . ., t p ) ∈ T, the set {s ∈ N <∞ : (t, s) ∈ T} is empty.
The last condition means that elements of an NV-tree T do not have proper continuation in T.An NV-tree T is an infinite subset of N if and only if T = T(1).The sets N i , i ∈ N\{1}, and the set ∪{(i, N i ) : i ∈ N} are non trivial NV-trees.
If T is an increasing subset of N <∞ and {E u : u ∈ N <∞ } is a linear web in a space E, then (E u(1) ) u∈T is an increasing covering of B, and for each u = (u 1 , u 2 , . . ., u p ) ∈ T and each i < p the sequence (B u(i)×n ) u(i)×n∈T(i+1) is an increasing covering of B u(i) .In particular, if T is an NV-tree, then E = ∪{E t : t ∈ T} because T does not contain strands.
By definition, a locally convex space E is non baireled if there exists a linear web {E t : t ∈ N <∞ } without a strand formed by Baire-like spaces.In particular, a metrizable barrelled locally convex space E is non baireled if there exists a linear web without a strand formed by barrelled spaces because a metrizable space is barrelled if and only if it is Baire-like.
Note that, if (E n 1 , n 1 ∈ N) is an increasing covering of a metrizable barrelled space E then, since E is Baire-like, we may suppose, without loss of generality that all subspaces Therefore, for a linear web {E t : t ∈ N <∞ } in a metrizable barrelled locally convex space E that is not baireled, we may suppose that every E n 1 is dense and barrelled or that every E n 1 is dense and not barrelled, for each n 1 ∈ N. The preceding process continues inductively only when we get barrelled spaces, i.e., if the dense subspace E n 1 is barrelled, then we may suppose that E n 1 n 2 , n 2 ∈ N, is a sequence of dense subspaces such that for all E n 1 n 2 , n 2 ∈ N, are not barrelled, or all E n 1 n 2 , n 2 ∈ N, are barrelled; in the first case, the inductive process stops and, in the second case, we continue with the increasing sequence (E n 1 n 2 n 3 , n 3 ∈ N).As the linear web {E t : t ∈ N <∞ } does not contain a strand formed by barrelled spaces, then this natural induction produces a NV-tree T, such that, for each t = (n 1 , n 2 , • • • , n p ) ∈ T the space E t is dense in E and not barrelled, and E t(i) is barrelled, for each i < p.
The following lemmas are part of the proof of Theorem 2. Therefore, those lemmas consider that E = c 0 (Ω, X), with X metrizable.Moreover, we will suppose that the metrizable space c 0 (Ω, X) is barrelled and not baireled, hence c 0 (Ω, X) has a linear web {E t : t ∈ N <∞ } without a strand formed by Baire-like spaces.With the preceding induction, we obtain a NV-tree T, such that, for each t = (n 1 , n 2 , • • • , n p ) ∈ T, we have that E n 1 n 2 ...n p is a non barrelled dense subspace of c 0 (Ω, X), hence there exists a barrel and • • • and finally A NV-tree T 1 contained in a NV-tree T is cofinal in In the following four lemmas, we suppose the following conditions hold: (H): X is a metrizable locally convex space such that c 0 (Ω, X) is barrelled but not baireled, being {E t : t ∈ N <∞ } a linear web in c 0 (Ω, X) without a strand formed by barrelled spaces and T the NV-tree such that for each t ∈ T there exists a barrel T t in E t which is not a neighborhood of zero in E t and E t is a dense subspace of c 0 (Ω, X).
With these barrels T t , with t = (n 1 , n 2 , ..., n p ) ∈ T, we form the sets Lemma 3. Assume conditions (H) hold and let F be a linear subspace of E, τ a locally convex topology in F finer (or equal) than the topology induced by E, and such that (F, τ) is baireled.Then, there exists m 1 ∈ N such that F ⊂ S n 1 for n 1 ≥ m 1 .
In particular, if D is a Banach disk contained in E, there exists m Proof.By definition of baireled, it follows that, if (E n , n ∈ N) is an increasing covering of a baireled space E, then there exists a set N 1 cofinal in N such that E n is baireled and dense in E, for each n ∈ N 1 (see ([21], Theorem 1) adding the trivial fact that, if a baireled space H is dense in the space G, then G is baireled).Hence, there exists an NV-tree T 1 that is cofinal in T such that {F ∩ E t : t ∈ T 1 } is a family of baireled dense subspaces of (F, τ).Then, for each t ∈ T 1 , the set F ∩ T t is a neighborhood of zero in F ∩ E t endowed with the topology induced by τ, hence, by denseness, F ∩ T t (F,τ) is a neighborhood of zero in (F, τ), Lemma 4. If conditions (H) hold, there exists in Ω a countable subset ∆ (possibly empty) and Proof.Assume the conclusion fails.Then, we can find f 1 ∈ c 0 (Ω, X) such that f 1 1 ≤ 1 and f 1 / ∈ S 1 .Since the set ∆ 1 = supp( f 1 ) is countable, we deduce that c 0 (Ω \ ∆ 1 , X) S 2 and we find and, by Lemma 1, this sequence is contained in a Banach disk D.Then, by Lemma Proof.Applying Lemma 4, it is enough to prove this lemma for Ω = N.It is necessary to prove the existence of an i ∈ N such that c 0 (N {1, 2, ..., i}, X) ⊂ S i .Suppose this is not true.Then, by induction, we find a sequence ( f n ) n in c 0 (N, X) such that f i ∈ c 0 (N {1, 2, ..., i}, X) S i with f i i ≤ 1.It is clear that and, by Lemma 1, this sequence is contained in a Banach disk D. By Lemma 3, there exists S p such that { f n : n ∈ N} ⊂ D ⊂ S p , in contradiction with f p / ∈ S p .Lemma 6.Let us suppose that conditions (H) hold.If X is baireled, then there exists a NV-tree Proof.It is obvious that we only need to prove that there exists n 1 such that c 0 (Ω, X) = S n 1 .
By Lemma 5, it is enough to show that, given a finite subset ∆ of Ω, there exists m 1 such that c 0 (∆, X) ⊂ S m 1 .However, this follows from Lemma 3 and the trivial facts that c 0 (∆, X) and X ∆ are isomorphic and that the finite product of baireled spaces is baireled ([21], Proposition 7).
Theorem 2. Let X be a metrizable locally convex space and Ω a non void set.Then, c 0 (Ω, X) is baireled if and only if X is baireled.
Proof.Assume that X is baireled and that the metrizable space c 0 (Ω, X) is not baireled.Then, by Theorem 1, the space c 0 (Ω, X) is barrelled, hence there exists a linear T-web W := {E t : t ∈ T(i), i ∈ N} in c 0 (Ω, X) consisting of dense subspaces such that, for each t ∈ T, there exists a barrel T t in E t which is not a neighborhood of zero in E t .By Lemma 6, there is t ∈ T such that c 0 (Ω, X) = T t E and the barrelledness implies that T t E is a neighborhood of zero in c 0 (∆, X).Then, we get the contradiction that E t ∩ T t E = T t is a neighborhood of zero in E t .Therefore, the assumption that X baireled implies that c 0 (Ω, X) is baireled.The converse follows from the trivial facts that for p ∈ Ω the quotient is isomorphic to X and that the baireledness is inherited by quotients ([21], 5 Permanence properties of Baireled spaces).
We apply Theorem 2 to get the following closed graph theorem for baireled spaces.
Theorem 3. Let X be a metrizable baireled locally convex space and let F be a locally convex space that contains a linear web {F t : t ∈ N <∞ } such that F t admits a topology τ t finer than the topology induced by F so that (F t , τ t ) is a Fréchet space, for each t ∈ N <∞ .Let f be a linear map from c 0 (Ω, X) into F with closed graph.There exists in N <∞ a strand (t n : n ∈ N) such that f is a continuous mapping from c 0 (Ω, X) into (F t n , τ t n ), for each n ∈ N.
Proof.Let E t := f −1 (F t ) for each t ∈ N <∞ .By Theorem 2, there exists a strand (t n : n ∈ N) such that each E t n is barrelled and dense in c 0 (Ω, X).The map f restricted to f −1 (F t ) has closed graph.By ( [28], Theorems 1 and 14), this restriction admits a continuous extension U to c 0 (Ω, X) with values in (F t , τ t ) and clearly f = U.
This theorem is correct if we replace "Fréchet space, for each t ∈ N <∞ " by "Γ r -space, for each t ∈ N <∞ " (see [28]).Recall that every B r -space, in particular every Fréchet space, is a Γ r -space.Reference [29] contains very interesting properties.

Open Problems
Problem 1.Let X be a metrizable Baire locally convex space.Is c 0 (Ω, X) a Baire space?
The converse is true because, if X is not a Baire space, then X is not a space of the second Baire category, and if (A n ) n is a sequence of closed subsets of X with empty interior covering X and p is a fixed point of Ω the sets B n = { f ∈ c 0 (Ω, X) : f (p) ∈ A n }, n ∈ N, define a cover of c 0 (Ω, X) of closed sets with empty interior.Hence, for such X, the space c 0 (Ω, X) is not Baire.
Let Ω be a Hausdorff completely regular space and X be a locally convex space.Then, C c (Ω, X) denotes the linear space of continuous functions on Ω with values in X, endowed with the compact-open topology.In 1954, Nachbin and Shirota characterized the spaces Ω for which C c (Ω) := C c (Ω, R) is barrelled and bornological; in 1958, Warner characterized the spaces Ω for which C c (Ω) is quasibarrelled ( [30], Propositions 2.15 and 2.16).Mendoza solved in [31] the corresponding problems for barrelled and quasibarrelled spaces C c (Ω, X), proving that, if X contains an infinite compact subset, then C c (Ω, X) is barrelled [resp.quasibarrelled] if and only if C c (Ω) and X are barrelled [resp.quasibarrelled] and such that the strong dual of X has the property (B) of Pietsch.

Problem 2 .
Characterize when C c (Ω, X) is p-barrelled, ℵ 0 -barrelled or baireled.Author Contributions: The authors S.L.-A., M.L.-P., S.M.-L.contributed equally to this work.All authors have read and agreed to the published version of the manuscript.
3, there exists S p such that { f n : n ∈ N} ⊂ D ⊂ S p , in contradiction with f p / ∈ S p .Assume conditions (H) hold.Then, there exists in Ω a finite subset ∆ (possibly empty) and m 1 ∈ N such that c 0