Arxiv:1804.05199V1 [Math.GN] 14 Apr 2018 00MSC: 2010 Keywords: Nfr Space Uniform Every Inya Orsadteato N[] Ecito Fteto the of Description a [2]

arXiv:1804.05199v1 [math.GN] 14 Apr 2018 00MSC: 2010 Keywords: nfr space uniform every inyA orsadteato n[] ecito fteto the of description A [2]. in author the and Morris A. Sidney ftetplg ffe tvs free of topology the of form epciey So respectively. rpitsbitdt Elsevier to submitted Preprint form h retplgclvco pc (tvs) space vector topological free The Abstract ftespace the If in X h ettermw ieasmlrcntuto ftetopolo the of construction similar a give we theorem next the W Then X mapping fatplgclvco space vector topological a of h relclycne pc over space convex locally free the operator X otnosmap continuous is eepanorconstruction. our explain we First . . , V olwn 2,the [2], Following suethat Assume ecito ftetopology the of description A fzr in zero of mi address: Email V ( X P ( W n X uhthat such ) n ∈ xss suiu pt smrhs ftplgclvco s vector topological of isomorphism to up unique is exists, ) eateto ahmtc,BnGro nvriyo h Ne the of University Ben-Gurion Mathematics, of Department ∈ otisasbe fteform the of subset a contains ecito ftetplg ffe oooia etrspa vector topological free of topology the of description A f i ¯ N N sahmoopimo h oooia space topological the of homeomorphism a is : ϕ retplgclvco space vector topological free 1 X 20,4A0 54H11 43A40, 22A05, n each and n V n X V X ∈ X ( ( sdsrt,Poao hwdi 4 httefamily the that [4] in showed Protasov discrete, is X N X X V f [email protected] sabs tzero at base a is ϕ sgvni 1.I hsnt egv iia u ipe n c and simpler but similar a give we note this In [1]. in given is ) ( .Tk sequence a Take ). 1 sa rirr yhnffsaeadtk aacdadabsorb and balanced a take and space Tychonoff arbitrary an is from X n W → X retplgclvco space vector topological free ( = ) 1 E x + = = X ∈ W with m n X V [ V ∈ oatplgclvco space vector topological a to X ∈ 1 X N ( N ⊆ ,µ hoeafunction a choose , X S ( V µ µ S f n vraTcoo space Tychonoff a over ) W X ( n X n X m := =1 µ µ µ = and ) 0 := X X n otnosmap continuous a and ) and t for m f S Gabriyelyan) (S. ¯ n [  of ∈ n eoeby denote and x ◦ { tx N n µ µ µ W L V W i V hoe . f[]sosta o l yhnffspaces Tychonoff all for that shows [2] of 2.3 Theorem . X : ( S ( : ( n .Gabriyelyan S. n X x X n h family the and , X +1 x 1 } n ( = ) n + o nfr space uniform a for ) vraTcoo space Tychonoff a over ) ∈ ∈ ∈ + N · · · X X W V fblne n bobn egbrod fzero of neighborhoods absorbent and balanced of V ϕ and + ( n and X n X +1 S ,ν ∈ µ vraTcoo space Tychonoff a over ) µ µ ν ν m | ⊆ X X | t R
t ≤ | n ,where ), W E > X X and ≤ | 0 n N . X ie iet nqecniuu linear continuous unique a to rise gives b ϕ uhthat such i X for n gy ϕ ν ν ν e,Be-hv,PO 5,Israel 653, P.O. Beer-Sheva, gev, 1 noisiaein image its onto = ( X n := x ooyo h retvs free the of pology ( 1 n µ µ ) µ i x V h oooyof topology the  X X X { n ∈ X conv( N . ) of : N sgvni eto f[] In [1]. of 5 Section in given is X savco pc ihabasis a with space vector a is o all for X X where , W ae,i asoffadthe and Hausdorff is paces, V falsbesof subsets all of n ( V → sdfie n tde by studied and defined is X otisasbe fthe of subset a contains : ) o yhnffspace Tychonoff a for ) n V V X ( ≤ N X N ∈ sapi consisting pair a is m := V uhta every that such ) errdescription learer n neighborhood ent V ( ) ( oebr9 2018 9, November X { X X , 1 .Let ). ces } , V and ) 2 sabs at base a is ( . . . , V X X vra over ) } L fthe of L For . ( ( X X (1) ), ) 0 for ν X (where conv(V ) is the convex hull of V ). If X is arbitrary, observe that every Wn defines an entourage Vn := {(x,y) : x − y ∈ Wn} of the universal uniformity UX of the uniform space X. Therefore W contains a subset of the form m Vn := tn(xn − yn) : |tn|≤ 1 and (xn,yn) ∈ Vn for all n ≤ m . (2) ∈N ∈N (n=1 ) nX m[ X Combining (1) and (2) we obtain that every balanced and absorbent neighborhood W of zero in 1 N V N N (X) contains a subset of the form n∈N Vn + n∈N ϕn X, where {Vn}n∈ ∈ UX and {ϕn}n∈ ∈ RX . It turns out that the converse is also true. >0 P P Theorem 1. The family

1 N RX B = Vn + X : {Vn}n∈N ∈UX , {ϕn}n∈N ∈ >0 ( ∈N ∈N ϕn ) nX nX forms a neighbourhood base at zero of V(X), and the family

BL = {conv(W ) : W ∈ B}, where conv(W ) is the convex hull of W , is a base at zero of L(X).

Proof. We prove the theorem in two steps.

Step 1. We claim that the family B is a base of some vector topology T on VX . Indeed, by construction each set W ∈ B is balanced and absorbent. So, by Theorem 4.5.1 of [3], we have to 1 ′ ′ 1 check only that for every W = V + X ∈B there is a W = V + ′ X ∈ n∈N n n∈N ϕn n∈N n n∈N ϕn ′ ′ N ′ ′ B such that W + W ⊆ W . For every n ∈ , choose Vn ∈ UX such that Vn ⊆ V2n−1 ∩ V2n and ′ RX ′ P P N P P ϕn ∈ >0 such that ϕn ≥ max{ϕ2n−1, ϕ2n}. Then for every m ∈ we obtain the following: if ′ |tn|, |sn|≤ 1 and (xn,yn), (un, vn) ∈ Vn, then m m tn(xn − yn)+ sn(un − vn)= t1(x1 − y1)+ s1(u1 − v1)+ · · · + tm(xm − ym)+ sm(um − vm) n=1 n=1 X X 2m ∈ tn(xn − yn) : |tn|≤ 1 and (xn,yn) ∈ Vn for all n ≤ 2m , (n=1 ) X 1 and if |t |, |s |≤ ′ and x ,y ∈ X, then n n ϕn(x) n n

m m tnxn + snyn = t1x1 + s1y1 + · · · + tmxm + smym n n X=1 X=1 2m 1 ∈ t x : x ∈ X and |t |≤ for all n ≤ 2m . n n n n ϕ (x ) (n=1 n n ) X These inclusions easily imply W ′ + W ′ ⊆ W . 1 Step 2. We claim that T = µX . Indeed, if x ∈ X and W = n∈N Vn + n∈N ϕn X ∈ B, then x + W contains the neighborhood V [x] := {y ∈ X : (x,y) ∈ V } of x in X. Hence the identity map 1 1 P P δ : X → (VX , T ), δ(x) = x, is continuous. Therefore T ≤ µX by the definition of µX . We show that T ≥ µX .

2 Given any circled and absorbent neighborhood U of zero in µX , choose symmetric neighborhoods U0,U1,... of zero in µX such that [−1, 1]U0 + [−1, 1]U0 ⊆ U and

[−1, 1]Uk + [−1, 1]Uk + [−1, 1]Uk ⊆ Uk−1, k ∈ N.

Since UX is the universal uniformity and X is a subspace of V(X) by Theorem 2.3 of [2], for every n ∈ N we can choose Vn ∈ UX such that y − x ∈ Un for every (x,y) ∈ Vn. For every n ∈ N and each x ∈ X choose λ(n,x) > 0 such that

[−λ(n,x), λ(n,x)]x ⊆ Un,

RX N N and set ϕn(x) := [1/λ(n,x)] + 1. Then ϕn ∈ >0 for every n ∈ . Then for every m ∈ we obtain the following: if |tn|≤ 1 and (xn,yn) ∈ Vn for all n ≤ m, then

m tn(xn − yn) ∈ [−1, 1]U1 + · · · + [−1, 1]Um ⊆ U0, n X=1 1 and if |tn|≤ ϕn(xn) for n = 1,...,m, then

m tnxn ∈ [−1, 1]U1 + · · · + [−1, 1]Um ⊆ U0. n=1 X 1 Therefore n∈N Vn + n∈N ϕn X ⊆ U. Thus T ≥ µX and hence T = µX . Finally, the definition of the topology ν X of L(X) and Proposition 5.1 of [2] imply that the P P family WL is a base at zero of ν X .

Remark 2. RX In Theorem 1 we consider arbitrary functions ϕ ∈ >0. However, these functions can be chosen from the poset Cω(X) of all ω-continuous real-valued functions on a uniform space X. We refer the reader to Section 5 of [1] for details.

References

[1] T. Banakh, A. Leiderman, ωω-dominated function spaces and ωω-bases in free objects in topological algebra, Topology Appl. 241 (2018), 203–241.

[2] S.S. Gabriyelyan, S.A. Morris, Free topological vector spaces, Topology Appl. 223 (2017), 30–49.

[3] L. Narici, E. Beckenstein, Topological vector spaces, Second Edition, CRC Press, New York, 2011.

[4] I. Protasov, Maximal vector topologies, Topology Appl. 159 (2012), 2510–2512.

3