Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID 795016, 7 pages http://dx.doi.org/10.1155/2014/795016

Research Article The Tensor Product Representation of Polynomials of Weak Type in a DF-Space

Masaru Nishihara1 and Kwang Ho Shon2

1 Department of Computer Science and Engineering, Faculty of Information Engineering, Fukuoka Institute of Technology, Fukuoka 811-0295, Japan 2 Department of , College of Natural Sciences, Pusan National University, Busan 609-735, Republic of Korea

Correspondence should be addressed to Kwang Ho Shon; [email protected]

Received 15 December 2013; Accepted 19 February 2014; Published 27 March 2014

Academic Editor: Zong-Xuan Chen

Copyright Β© 2014 M. Nishihara and K. H. Shon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

𝑛 Let 𝐸 and 𝐹 be locally convex spaces over C and let 𝑃( 𝐸; 𝐹) be the space of all continuous 𝑛-homogeneous polynomials from 𝐸 to 𝐹.Wedenoteby⨂𝑛,𝑠,πœ‹πΈ the 𝑛-fold symmetric tensor product space of 𝐸 endowed with the projective topology. Then, it is well 𝑛 known that each polynomial π‘βˆˆπ‘ƒ(𝐸; 𝐹) is represented as an element in the space 𝐿(⨂𝑛,𝑠,πœ‹πΈ; 𝐹) of all continuous linear mappings 𝑛 from ⨂𝑛,𝑠,πœ‹πΈ to 𝐹. A polynomial π‘βˆˆπ‘ƒ(𝐸; 𝐹) is said to be of weak type if, for every 𝐡 of 𝐸, 𝑝|𝐡 is weakly continuous 𝑛 on 𝐡.Wedenoteby𝑃𝑀( 𝐸; 𝐹) the space of all 𝑛-homogeneous polynomials of weak type from 𝐸 to 𝐹. In this paper, in case that 𝐸 𝑛 is a DF space, we will give the tensor product representation of the space 𝑃𝑀( 𝐸; .𝐹)

1. Notations and Preliminaries by B(𝐸) thefamilyofallboundedsubsetsof𝐸. We denote by σΈ€  ‖‖𝐡 the on 𝐸 defined by In this section, we collect some notations, some definitions, σ΅„© σ΅„© 󡄨 󡄨 σ΅„©π‘₯σΈ€ σ΅„© = {σ΅„¨βŸ¨π‘₯, π‘₯σΈ€ βŸ©σ΅„¨ ;π‘₯∈𝐡}, and some basic properties of locally convex spaces which we σ΅„© 󡄩𝐡 sup 󡄨 󡄨 (3) use throughout this paper. σΈ€  Let 𝐸1 and 𝐸2 be complex vector spaces. Then the pair for every 𝐡∈B(𝐸).Thestrong topology on 𝐸 is the topology σΈ€  ⟨𝐸1,𝐸2⟩ is called a dual pair if there exists a bilinear form: on 𝐸 defined by the set of {β€– ‖𝐡;𝐡 ∈ B(𝐸)} on σΈ€  σΈ€  σΈ€  𝐸 . Wedenote by 𝐸𝛽 the locally convex space 𝐸 endowed with (π‘₯1,π‘₯2) 󳨀→ ⟨π‘₯1,π‘₯2⟩((π‘₯1,π‘₯2) ∈𝐸1 ×𝐸2) σΈ€ σΈ€  σΈ€  (1) the strong topology. We denote by 𝐸 the of 𝐸𝛽.Let 𝐴 be a subset of 𝐸. We denote by 𝐴 the topological closure of satisfying the following conditions: σΈ€ σΈ€  σΈ€ σΈ€  σΈ€  the subset 𝐴 of πΈβŠ‚πΈ for the topology 𝜎(𝐸 ,𝐸 ).Thepolar 𝐴∘ 𝐴 (1) If ⟨π‘₯1,π‘₯2⟩=0for every π‘₯2 ∈𝐸2, π‘₯1 =0. set of is defined by

(2) If ⟨π‘₯1,π‘₯2⟩=0for every π‘₯1 ∈𝐸1, π‘₯2 =0. 󡄨 󡄨 ∘ σΈ€  σΈ€  󡄨 σΈ€  󡄨 𝐴 ={π‘₯ ∈𝐸; sup σ΅„¨βŸ¨π‘₯, π‘₯ βŸ©σ΅„¨ ≀1}. (4) π‘₯∈𝐴 We denote by 𝜎(𝐸1,𝐸2) (resp., 𝜎(𝐸2,𝐸1))thetopologyon𝐸1 𝐸 ∘∘ (resp., 2) defined by the subset of seminorms: We denote by 𝐴 the bipolar set of 𝐴 for the dual pair σΈ€ σΈ€  σΈ€  σΈ€  󡄨 󡄨 󡄨 󡄨 ⟨𝐸 ,𝐸 ⟩.Asubset𝑆 of 𝐸 is said to be equicontinuous if there {σ΅„¨βŸ¨β‹…, π‘₯2βŸ©σ΅„¨ ;π‘₯2 ∈𝐸2}(resp.{σ΅„¨βŸ¨π‘₯1,β‹…βŸ©σ΅„¨ ;π‘₯1 ∈𝐸1}) . ∘ 󡄨 󡄨 󡄨 󡄨 (2) exists a neighborhood 𝑉 of 0 in 𝐸 such that π‘†βŠ‚π‘‰. 𝐸 𝑐𝑠(𝐸) Let be a locally convex space. We denote by the set Lemma 1. Let 𝑀 beaboundedsubsetofalocallyconvexspace of all nontrivial continuous seminorms on 𝐸.Thetopology σΈ€  𝐸. Then the following statements hold: 𝜎(𝐸, 𝐸 ) on 𝐸 is called the of 𝐸 and the topology σΈ€  σΈ€  βˆ— σΈ€  ∘∘ 𝜎(𝐸 ,𝐸)on 𝐸 is called the weak topology of 𝐸 . We denote (1) 𝑀=𝑀 if 𝑀 is absolutely convex. 2 Abstract and Applied Analysis

σΈ€ σΈ€  σΈ€  (2) 𝑀 is compact with the topology 𝜎(𝐸 ,𝐸 ). 2. The Extension of Polynomial Mappings of σΈ€ σΈ€  Weak Type (3) 𝐸 = β‹ƒπ‘€βˆˆB(𝐸) 𝑀. σΈ€ σΈ€  In this section, we will give basic properties of polynomial (4) Let 𝐴 be an equicontinuous subset of 𝐸 for the dual σΈ€ σΈ€  σΈ€  mappings on locally convex spaces and discuss the extension pair ⟨𝐸 ,𝐸 ⟩. Then there exists an absolutely convex ∘∘ of weak type on locally convex spaces. For more detailed bounded subset 𝑀 of 𝐸,suchthatπ΄βŠ‚π‘€ . properties of polynomials on locally convex spaces, see 𝐸 𝐹 (1) π‘€βŠ‚π‘€βˆ˜βˆ˜ π‘€βˆ˜βˆ˜ 𝜎(𝐸󸀠󸀠,𝐸󸀠) π‘€βŠ‚ Dineen [1, 2]andMujica[3]. Let and be locally convex Proof. Since and is -closed, 𝑛 𝐿 (𝑛𝐸; 𝐹) π‘€βˆ˜βˆ˜ π‘€βˆ˜βˆ˜ βŠ‚ 𝑀 π‘₯σΈ€ σΈ€  βˆ‰ 𝑀 spaces and let be a positive integer. We denote by π‘Ž .Weshallshow . We assume that 0 . 𝑛 𝐸𝑛 σΈ€ σΈ€  σΈ€ σΈ€  the space of all -linear mappings from the product space 𝐸 σΈ€ σΈ€  σΈ€  𝐸 𝑛 We denote by 𝜎(𝐸 ,𝐸 ) the locally convex space endowed of 𝑛-copies of 𝐸 into 𝐹 and denote by πΏπ‘Žπ‘€( 𝐸; 𝐹) the space σΈ€ σΈ€  σΈ€  σΈ€ σΈ€  σΈ€  σΈ€  σΈ€  with the topology 𝜎(𝐸 ,𝐸 ).Since(𝐸𝜎(𝐸󸀠󸀠,𝐸󸀠)) =𝐸and of all 𝑛-linear mappings, which are 𝜎(𝐸, 𝐸 )-continuous on σΈ€ σΈ€  σΈ€  𝐸𝑛 𝐸𝑛 𝐹 𝑀 is 𝜎(𝐸 ,𝐸 )-closed absolutely convex, by Hahn-Banach bounded subsets of ,fromtheproductspace into .A σΈ€  σΈ€  𝑝:𝐸 →𝐹 𝑛 theorem there exists π‘₯ ∈𝐸 such that mapping is called an -homogeneous polynomial from 𝐸 into 𝐹 if there exists an 𝑛-linear mapping 𝑒 from 𝐸 󡄨 󡄨 󡄨 σΈ€ σΈ€  σΈ€  󡄨 into 𝐹 such that sup σ΅„¨βŸ¨π‘₯ ,π‘₯ βŸ©σ΅„¨ ≀1, π‘₯σΈ€ σΈ€ βˆˆπ‘€ (5) 𝑃 (π‘₯) =𝑒(π‘₯,...,π‘₯) , (8) 󡄨 󡄨 σ΅„¨βŸ¨π‘₯σΈ€ σΈ€ ,π‘₯σΈ€ βŸ©σ΅„¨ >1. 󡄨 0 󡄨 for every π‘₯∈𝐸.If𝑝 is an 𝑛-homogeneous polynomial from 𝐸 into 𝐹, there exists uniquely a symmetric 𝑛-linear σΈ€  ∘ σΈ€ σΈ€  ∘∘ 𝑒 𝑃 (𝑛𝐸; 𝐹) 𝑛 Thus, it is valid that π‘₯ ∈ 𝑀 and π‘₯0 βˆ‰ 𝑀 .Thuswehave mapping . We denote by π‘Ž the space of all - ∘∘ ∘∘ ∘∘ ∘∘ homogeneous polynomials from 𝐸 into 𝐹. We denote by 𝑀 βŠ‚ 𝑀.Since𝑀 βŠ‚ 𝑀 , 𝑀 βŠ‚ 𝑀.Hence,wehave𝑀= 𝑛 𝑛 ∘∘ 𝑃( 𝐸; 𝐹) (resp., 𝐿( 𝐸; )thespaceofallcontinuous𝐹) 𝑛- 𝑀 . σΈ€ σΈ€  σΈ€  homogeneous polynomials from 𝐸 (resp., all continuous 𝑛- (2) We denote by Ξ“(𝑀) the 𝜎(𝐸 ,𝐸 )-closed absolutely 𝑛 𝑛 linear mappings from 𝐸 )into𝐹. We denote by π‘ƒπ‘Žπ‘€( 𝐸; 𝐹) convex hull of the set 𝑀. By the statement (1) we have σΈ€  the space of all 𝜎(𝐸, 𝐸 )-continuous polynomials on each 𝐸 Ξ“ (𝑀) =π‘€βˆ˜βˆ˜. bounded subset of .Weset (6) 𝑛 𝑛 𝑛 𝑃𝑀 ( 𝐸; 𝐹) =𝑃( 𝐸; 𝐹)π‘Žπ‘€ βˆ©π‘ƒ ( 𝐸; 𝐹) , ∘ (9) The 𝑀 is an absolutely convex neighborhood of 0 𝑛 𝑛 𝑛 σΈ€  σΈ€ σΈ€  σΈ€  𝐿𝑀 ( 𝐸; 𝐹) =𝐿( 𝐸; 𝐹) βˆ©πΏπ‘Žπ‘€ ( 𝐸; 𝐹) . in 𝐸𝛽. Therefore, Ξ“(𝑀) is a 𝜎(𝐸 ,𝐸 )-closed equicontinuous σΈ€ σΈ€  σΈ€ σΈ€  σΈ€  𝑛 subset of 𝐸 . By Banach-Alaoglu theorem, Ξ“(𝑀) is 𝜎(𝐸 ,𝐸 )- A polynomial belonging to 𝑃𝑀( 𝐸; 𝐹) is said to be of weak σΈ€ σΈ€  σΈ€  compact. Since π‘€βŠ‚Ξ“(𝑀), 𝑀 is also 𝜎(𝐸 ,𝐸 )-compact. type. σΈ€ σΈ€  (3) It is clear that β‹ƒπ‘€βˆˆB(𝐸) π‘€βŠ‚πΈ .Weshallshowthat σΈ€ σΈ€  σΈ€ σΈ€  σΈ€ σΈ€  Lemma 2. Let 𝐸 and 𝐹 be locally convex spaces and let 𝑒 be 𝐸 βŠ‚β‹ƒ 𝑀.Letπ‘₯ be a point of 𝐸 . Then, there exists 𝑛 π‘€βˆˆB(𝐸) an 𝑛-linear mapping belonging to 𝐿𝑀( 𝐸; .Let𝐹) 𝐴1,...,𝐴𝑛 be 𝑉 0 𝐸󸀠 |⟨π‘₯, π‘₯σΈ€ σΈ€ βŸ©| ≀ 1 an open neighborhood of in 𝛽 such that absolutely convex bounded subsets of 𝐸.Letπ‘Žπ‘– be any point of σΈ€  σΈ€ σΈ€  σΈ€  for every π‘₯βˆˆπ‘‰. By the definition of the space 𝐸𝛽 there exists 𝜎(𝐸 ,𝐸 )-closure 𝐴𝑖 of 𝐴𝑖 for each 𝑖 with 2≀𝑖≀𝑛.Wedenote σΈ€ σΈ€  σΈ€ σΈ€  σΈ€  an absolutely convex bounded subset π‘€βˆˆB(𝐸) such that by Nπ‘€βˆ— (𝐸 )(0) the system of all 𝜎(𝐸 ,𝐸 )-neighborhoods of 0 ∘ σΈ€ σΈ€  σΈ€ σΈ€  𝑀 βŠ‚π‘‰. Thus, by the statement (1) we have in 𝐸 .Then,forany𝛼 ∈ 𝑐𝑠(𝐹) there exists π‘‰βˆˆNπ‘€βˆ— (𝐸 )(0) such that σΈ€ σΈ€  ∘ ∘∘ π‘₯ βˆˆπ‘‰ βŠ‚π‘€ = 𝑀. (7) 𝛼(𝑒(π‘₯1,...,π‘₯𝑛)) < 1, (10)

σΈ€ σΈ€  for every (π‘₯1,...,π‘₯𝑛) ∈ (π‘‰βˆ©π΄1)Γ—((π‘Ž2 +𝑉)∩𝐴2)Γ—β‹…β‹…β‹…Γ—((π‘Žπ‘› + Thus, we have 𝐸 =β‹ƒπ‘€βˆˆB(𝐸) 𝑀. σΈ€ σΈ€  𝑉) ∩ 𝐴𝑛). (4) Since 𝐴 is an equicontinuous subset of 𝐸 , there exists 𝑉 0 𝐸󸀠 π΄βŠ‚π‘‰βˆ˜ 𝑉 a neighborhood of in 𝛽 such that .Since is a Proof. Weshallprovethislemmabyinductionon𝑛.Let𝑛= 0 𝐸󸀠 neighborhood of in 𝛽, there exists an absolutely convex 1. Then, the conclusion of this lemma is true since 0∈𝐴1 ∘ σΈ€  σΈ€ σΈ€  σΈ€  bounded subset 𝑀 of 𝐸 such that 𝑀 βŠ‚π‘‰.Thus,wehave and 𝜎(𝐸, 𝐸 ) is the induced topology of the topology 𝜎(𝐸 ,𝐸 ) ∘ ∘∘ π΄βŠ‚π‘‰ βŠ‚π‘€ .Thiscompletestheproof. onto 𝐸. We suppose that the conclusion of this lemma is true for π‘›βˆ’1 all mappings belonging to 𝐿𝑀( 𝐸; .𝐹) And we assume that AfilterF ={𝐹𝛼} of a locally convex space 𝐸 is called a 𝑛 for π‘’βˆˆπΏπ‘€( 𝐸; ,𝐹) the conclusion is not true. Then, there Cauchy filter if for every neighborhood π‘ˆ of 0 there exists an σΈ€ σΈ€  exists 𝛼 ∈ 𝑐𝑠(𝐹) such that for every π‘‰βˆˆNπ‘€βˆ— (𝐸 )(0) there 𝐹∈F such that {π‘₯βˆ’π‘¦;π‘₯,π‘¦βˆˆπΉ}βŠ‚π‘ˆ. A locally convex space is a point: 𝐸 is said to be complete if any Cauchy filter on 𝐸 converges to 𝐸 a point of . There exists the smallest complete locally convex (π‘₯1𝑉,π‘₯2𝑉,...,π‘₯𝑛𝑉)∈(π‘‰βˆ©π΄1)Γ—((π‘Ž2 +𝑉)∩𝐴2) space 𝐸̃ containing 𝐸 as a subspace. The locally convex space (11) Γ—β‹…β‹…β‹…Γ—((π‘Ž +𝑉)∩𝐴 ), 𝐸̃ is called the completion of 𝐸. 𝑛 𝑛 Abstract and Applied Analysis 3

satisfying for every (𝑧1,𝑧3 ...,𝑧𝑛) ∈ (π‘Š(π‘›βˆ’1)∩𝐴1)Γ—((π‘Ž3 +π‘Š(π‘›βˆ’1))∩ 𝐴3) Γ— β‹… β‹… β‹… Γ— ((π‘Žπ‘› +π‘Š(π‘›βˆ’1))βˆ©π΄π‘›).Thenwehave 𝛼 (𝑒 (π‘₯1𝑉,π‘₯2𝑉,...,π‘₯𝑛𝑉)) β‰₯1. (12) 𝛼(𝑒(π‘₯1π‘Š(π‘›βˆ’1),π‘₯2π‘Š(π‘›βˆ’1) βˆ’π‘₯2π‘Š(π‘›βˆ’2),...,π‘₯π‘›βˆ’1π‘Š(π‘›βˆ’1) σΈ€  Since 𝑒 is 𝜎(𝐸, 𝐸 )-continuous at (0,0,...,0) on each βˆ’π‘₯ ,π‘₯ βˆ’π‘₯ )) 𝑛 σΈ€  π‘›βˆ’1π‘Š(1) π‘›π‘Š(π‘›βˆ’1) π‘›π‘Š absolutely convex bounded subset of 𝐸 and 𝜎(𝐸, 𝐸 ) is the σΈ€ σΈ€  σΈ€  induced topology of 𝜎(𝐸 ,𝐸 ) onto 𝐸, there exists π‘Šβˆˆ β‰₯𝛼(𝑒(π‘₯1π‘Š(π‘›βˆ’1),π‘₯2π‘Š(π‘›βˆ’1),...,π‘₯π‘›π‘Š(π‘›βˆ’1))) σΈ€ σΈ€  Nπ‘€βˆ— (𝐸 )(0) such that (21) βˆ’ βˆ‘ 𝛼(𝑒(π‘₯ ,π‘₯ ,...,π‘₯ )) 1π‘Š(π‘›βˆ’1) 2π‘Š(π‘˜2) π‘›π‘Š(π‘˜π‘›) 1 (π‘˜ )∈𝐾 𝛼 (𝑒 (π‘₯ ,π‘₯ ,...,π‘₯ )) ≀ 𝑖 1 2 𝑛 4 (13) 1 1 β‰₯1βˆ’(2π‘›βˆ’1 βˆ’1)Γ— β‰₯ , 2𝑛 2 for every π‘₯𝑖 ∈2(π‘Šβˆ©π΄π‘–) with 1≀𝑖≀𝑛.Wechoosea decreasing sequence π‘Š βŠƒ π‘Š(1) βŠƒ π‘Š(2) βŠƒ β‹… β‹… β‹… βŠƒ π‘Š(π‘›βˆ’1) σΈ€ σΈ€  where 𝐾={(π‘˜2,...,π‘˜π‘›); π‘˜π‘– ∈{π‘›βˆ’1,π‘›βˆ’π‘–},𝑖=2,...,𝑛}\{(π‘›βˆ’ of elements of Nπ‘€βˆ—(𝐸 )(0) by the process of (𝑛 βˆ’ 1) steps as 1,...,π‘›βˆ’1)}and π‘Š(0) = π‘Š. follows. If we set At the first step, we consider the (𝑛 βˆ’ 1)-linear mapping: (𝑦1,𝑦2,...,𝑦𝑛)= (π‘₯1π‘Š(π‘›βˆ’1),π‘₯2π‘Š(π‘›βˆ’1) βˆ’π‘₯2π‘Š(π‘›βˆ’2),..., (𝑧1,...,π‘§π‘›βˆ’1) 󳨀→ 𝑒 (𝑧1,...,π‘§π‘›βˆ’1,π‘₯π‘›π‘Š) , (14) (22) π‘₯π‘›π‘Š(π‘›βˆ’1) βˆ’π‘₯π‘›π‘Š), π‘›βˆ’1 belonging to 𝐿𝑀( 𝐸; .𝐹) By the assumption of induction, σΈ€ σΈ€  we have there exists π‘Š(1) ∈ Nπ‘€βˆ— (𝐸 )(0) with π‘Š(1) βŠ‚ π‘Š such that 1 𝛼(𝑒(𝑦 ,...,𝑦 )) β‰₯ , 1 1 𝑛 𝛼(𝑒(𝑧 ,...,𝑧 ,π‘₯ )) ≀ 2 1 π‘›βˆ’1 π‘›π‘Š 𝑛 (15) 2 (23) (𝑦1,𝑦2,...,𝑦𝑛)∈ (π‘Šβˆ©π΄1)Γ—{2(π‘Šβˆ©π΄2)} for every (𝑧1,...,π‘§π‘›βˆ’1) ∈ (π‘Š(1) ∩ 𝐴1) Γ— ((π‘Ž2 + π‘Š(1)) ∩ 𝐴2)Γ— Γ—β‹…β‹…β‹…Γ—{2(π‘Šβˆ©π΄π‘›)} . β‹… β‹… β‹… Γ— ((π‘Žπ‘›βˆ’1 + π‘Š(1)) ∩ π΄π‘›βˆ’1). (π‘›βˆ’1) Atthesecondstep,weconsiderthe -linear mapping This is a contradiction by13 ( ). This completes the proof.

(𝑧1,...,π‘§π‘›βˆ’2,𝑧𝑛) 󳨀→ 𝑒 (𝑧1,...,π‘§π‘›βˆ’2,π‘₯π‘›βˆ’1π‘Š(1),𝑧𝑛) (16) Lemma 3. Let 𝐸 be a locally convex space, let 𝐹 be a complete π‘›βˆ’1 𝑒 𝑛 belonging to 𝐿𝑀( 𝐸; .𝐹) By the assumption of induction, locally convex space and let be an -linear mapping belonging σΈ€ σΈ€  𝐿 (𝑛𝐸; 𝐹) 𝐴 ,...,𝐴 there exists π‘Š(2) ∈ Nπ‘€βˆ— (𝐸 )(0) with π‘Š(2) βŠ‚ π‘Š(1) such to 𝑀 .Let 1 𝑛 be absolutely convex bounded 𝐸 𝜎(𝐸󸀠󸀠,𝐸󸀠) that subsets of . Then there exists a -continuous mapping 𝑒̃𝐴 ×⋅⋅⋅×𝐴 from 𝐴1 ×⋅⋅⋅×𝐴𝑛 into 𝐹 such that 𝑒̃𝐴 ×⋅⋅⋅×𝐴 =𝑒on 1 𝐴 1 ×⋅⋅⋅×𝐴𝑛 1 𝑛 𝛼(𝑒(𝑧 ,...,𝑧 ,π‘₯ ,𝑧 )) ≀ 1 𝑛. 1 π‘›βˆ’2 π‘›βˆ’1π‘Š(1) 𝑛 2𝑛 (17) σΈ€ σΈ€  σΈ€  Proof. Let π‘Žπ‘– be any point of the 𝜎(𝐸 ,𝐸 )-closure 𝐴𝑖 of 𝐴𝑖 for for every point (𝑧1,...,π‘§π‘›βˆ’2,𝑧𝑛) of each 𝑖 with 1≀𝑖≀𝑛. At first, we shall show that a filter of 𝐹 F (π‘Ž ,...,π‘Ž )= {𝑒((π‘Ž +𝑉)∩𝐴 ,...,(π‘Ž +𝑉)∩𝐴 ); (π‘Š (2) ∩𝐴1)Γ—((π‘Ž2 +π‘Š(2))∩𝐴2) 1 𝑛 1 1 𝑛 𝑛 σΈ€ σΈ€  Γ—β‹…β‹…β‹…Γ—((π‘Žπ‘›βˆ’2 +π‘Š(2))βˆ©π΄π‘›βˆ’2) Γ— ((π‘Žπ‘› +π‘Š(2))βˆ©π΄π‘›). π‘‰βˆˆNπ‘€βˆ— (𝐸 ) (0)} (18) (24) Repeating this process, at the (𝑛 βˆ’ 1)th step, we consider (𝑛 βˆ’ 1) is a Cauchy filter. Let 𝛼 be an arbitrary continuous seminorm the -linear mapping: σΈ€ σΈ€  of 𝐹.ByLemma 2 there exists π‘‰βˆˆNπ‘€βˆ— (𝐸 )(0) such that (𝑧 ,𝑧 ,...,𝑧 )󳨀→𝑒(𝑧,π‘₯ ,𝑧 ,...,𝑧 ), 1 3 𝑛 1 2π‘Š(π‘›βˆ’2) 3 𝑛 (19) 1 𝛼 (𝑒 (π‘₯1,π‘₯2,...,π‘₯𝑛)) < , (25) π‘›βˆ’1 𝑛 belonging to 𝐿𝑀( 𝐸; .𝐹) By the assumption of induction, σΈ€ σΈ€  there exists π‘Š(π‘›βˆ’1) ∈ Nπ‘€βˆ— (𝐸 )(0) with π‘Š(π‘›βˆ’1) βŠ‚ π‘Š(π‘›βˆ’2) for every point (π‘₯1,π‘₯2,...,π‘₯𝑛) of such that 𝑛 𝑛 1 ⋃ (∏ ((𝛾 π‘Ž +2𝑉)∩2𝐴 )) , 𝛼(𝑒(𝑧 ,π‘₯ ,𝑧 ,...,𝑧 )) ≀ 𝑖𝑗 𝑗 𝑗 (26) 1 2π‘Š(π‘›βˆ’2) 3 𝑛 2𝑛 (20) 𝑖=1 𝑗=1 4 Abstract and Applied Analysis

𝑛 σΈ€ σΈ€  σΈ€ σΈ€  σΈ€  where 𝛾𝑖𝑗 =1(𝑖=𝑗)ΜΈ and 𝛾𝑖𝑗 = 0 (𝑖 = 𝑗).Then,wehave (3) There exists π‘βˆˆπ‘ƒΜƒ π‘Ž( 𝐸 ;𝐹)such that 𝑝̃ is 𝜎(𝐸 ,𝐸 )- σΈ€ σΈ€  continuous on each equicontinuous subset of 𝐸 and 𝛼(𝑒(π‘₯1,π‘₯2,...,π‘₯𝑛)βˆ’π‘’(𝑦1,𝑦2,...,𝑦𝑛)) 𝑝|𝐸=𝑝̃ . 𝑝 ≀ 𝛼 (𝑒1 (π‘₯ βˆ’π‘¦1,π‘₯2,...,π‘₯𝑛)) (4) is weakly uniformly continuous on every bounded subset of 𝐸. +𝛼(𝑒(𝑦1,π‘₯2 βˆ’π‘¦2,π‘₯3,...,π‘₯𝑛)) Proof. We shall show that (1) implies (3). There exists a (27) 𝑛 +𝛼(𝑒(𝑦1,𝑦2,π‘₯3 βˆ’π‘¦3,π‘₯4,...,π‘₯𝑛)) symmetric 𝑛-linear mapping 𝑒 from 𝐸 into 𝐹 such that 𝑝(π‘₯) = 𝑒(π‘₯,...,π‘₯) for every π‘₯∈𝐸.Bythepolarization +β‹…β‹…β‹…+𝛼(𝑒(𝑦,𝑦 ,...,𝑦 ,π‘₯ βˆ’π‘¦ )) 𝑛 1 2 π‘›βˆ’1 𝑛 𝑛 formula, we have π‘’βˆˆπΏπ‘€( 𝐸, .By𝐹) Lemma 4 there exists π‘’βˆˆπΏΜƒ (𝑛𝐸󸀠󸀠;𝐹) 𝑒|𝐸̃ 𝑛 =𝑒 𝑒̃ 𝜎(𝐸󸀠󸀠,𝐸󸀠) 1 π‘Ž with such that is - ≀𝑛× =1, continuous on 𝐴1 ×⋅⋅⋅×𝐴𝑛 for all absolutely convex bounded 𝑛 𝑛 σΈ€ σΈ€  subsets 𝐴1,...,𝐴𝑛 of 𝐸.Wedefineπ‘βˆˆπ‘ƒΜƒ π‘Ž( 𝐸 ;𝐹)by 𝑝(π‘₯)Μƒ = 𝑛 𝑒(π‘₯,...,π‘₯)Μƒ π‘₯βˆˆπΈσΈ€ σΈ€  𝑝̃ for every (π‘₯1,...,π‘₯𝑛), (𝑦1,...,𝑦𝑛)βˆˆβˆπ‘–=1((π‘Žπ‘– +𝑉)βˆ©π΄π‘–).Thus, for every .ByLemma 1, satisfies all (3) the filter F(π‘Ž1,...,π‘Žπ‘›) is a Cauchy filter. Since 𝐹 is complete required conditions of the statement . ∘∘ and Hausdorff, there exists uniquely the limit point of the (3) implies (2) since 𝑀 is equicontinuous for every filter F(π‘Ž1,...,π‘Žπ‘›) for every (π‘Ž1,...,π‘Žπ‘›)∈𝐴1 ×⋅⋅⋅×𝐴𝑛. absolutely convex bounded subset 𝑀 of 𝐸. 𝑒̃ (π‘Ž ,...,π‘Ž ) We shall show that (2) implies (4).Let𝐴 be a bounded We denote by 𝐴1×⋅⋅⋅×𝐴𝑛 1 𝑛 the limit point of the filter subset of 𝐸. We denote by 𝑀 theabsolutelyconvexhull F(π‘Ž1,...,π‘Žπ‘›) for every (π‘Ž1,...,π‘Žπ‘›)∈𝐴1 Γ— β‹…β‹…β‹… Γ— 𝐴𝑛.Then σΈ€ σΈ€  σΈ€  of 𝐴 in 𝐸.Then,𝑀 is a bounded subset of 𝐸,andπ΄βŠ‚ 𝑒̃𝐴 ×⋅⋅⋅×𝐴 defines 𝜎(𝐸 ,𝐸 )-continuous mapping from 𝐴1 Γ— σΈ€ σΈ€  σΈ€  1 𝑛 𝑀.Bystatement(2), there exists a 𝜎(𝐸 ,𝐸 )-continuous ⋅⋅⋅×𝐴𝑛 into 𝐹 with Μƒ Μƒ mapping 𝑝𝑀 from 𝑀 into 𝐹 such that 𝑝𝑀 =𝑝on 𝑀. σΈ€ σΈ€  σΈ€  Since by Lemma 1 𝑀 is 𝜎(𝐸 ,𝐸 )-compact, 𝑝̃ is uniformly 𝑒̃𝐴 ×⋅⋅⋅×𝐴 =𝑒 on 𝐴1 ×⋅⋅⋅×𝐴𝑛. (28) 𝑀 1 𝑛 σΈ€ σΈ€  σΈ€  Μƒ 𝜎(𝐸 ,𝐸 )-continuous on 𝑀.Since𝑝𝑀 =𝑝on 𝐴, 𝑝 is weakly This completes the proof. uniformly continuous on 𝐴. This implies (4).Itisclearthat (4) implies (1).Thiscompletestheproof. Lemma 4. Let 𝐸 be a locally convex space, let 𝐹 be a complete locally convex space, and let 𝑒 be an 𝑛-linear mapping belonging 𝑛 𝑛 σΈ€ σΈ€  𝑛 3. The Tensor Product Representation of to 𝐿𝑀( 𝐸; .𝐹) Then, there exists π‘’βˆˆπΏΜƒ π‘Ž( 𝐸 ;𝐹)with 𝑒|𝐸̃ =𝑒 σΈ€ σΈ€  σΈ€  such that 𝑒̃ is 𝜎(𝐸 ,𝐸 )-continuous on 𝐴1 Γ— β‹…β‹…β‹… Γ— 𝐴𝑛 for all Polynomials in Locally Convex Spaces absolutely convex bounded subsets 𝐴1,...,𝐴𝑛 of 𝐸. 𝑛 For any π‘’βˆˆπΏπ‘Ž( 𝐸; ,weset𝐹) Proof. By Lemma 3 for all absolutely convex bounded subsets 1 𝐴 ,...,𝐴 𝐸 𝜎(𝐸󸀠󸀠,𝐸󸀠) 𝑠 (𝑒) (π‘₯ ,...,π‘₯ )= βˆ‘ 𝑒(π‘₯ ,...,π‘₯ ) 1 𝑛 of , there exists a -continuous mapping 1 𝑛 𝑛! 𝜎(1) 𝜎(𝑛) (30) 𝑒̃ 𝐴 ×⋅⋅⋅×𝐴 𝐹 𝑒̃ =𝑒 𝐴 Γ—β‹…β‹…β‹…Γ— πœŽβˆˆπ‘†π‘› 𝐴1×⋅⋅⋅×𝐴𝑛 from 1 𝑛 to with 𝐴1×⋅⋅⋅×𝐴𝑛 on 1 𝐴 𝐴 ,...,𝐴 ,𝐡 ,...,𝐡 𝑛.If 1 𝑛 1 𝑛 are absolutely convex bounded 𝑛 for every (π‘₯1,...,π‘₯𝑛)∈𝐸,where𝑆𝑛 is the permutation group subsets of 𝐸 with 𝐴𝑖 ∩ 𝐡𝑖 =0ΜΈ for 1≀𝑖≀𝑛,wehave of degree 𝑛.Then,𝑠(𝑒) is a symmetric 𝑛-linear mapping from 𝑛 𝑒̃ = 𝑒̃ 𝐸 to 𝐹 satisfying 𝐴1×⋅⋅⋅×𝐴𝑛 𝐡1×⋅⋅⋅×𝐡𝑛 (29) 𝑒 (π‘₯,...,π‘₯) =𝑠(𝑒)(π‘₯,...,π‘₯) on (𝐴1 ×⋅⋅⋅×𝐴𝑛)∩(𝐡1 ×⋅⋅⋅×𝐡𝑛).Thus,byLemma 1,we (31) 󸀠󸀠𝑛 can define an n-linear mapping 𝑒̃ from 𝐸 into 𝐹 by setting 𝑠 𝑛 for every π‘₯∈𝐸. We denote πΏπ‘Ž( 𝐸; 𝐹) by the space of all 𝑒=Μƒ 𝑒̃𝐴 ×⋅⋅⋅×𝐴 on 𝐴1 Γ— β‹…β‹…β‹… Γ— 𝐴𝑛 for all absolutely convex 𝑛 1 𝑛 symmetric 𝑛-linear mappings from 𝐸 to 𝐹.LetΞ” 𝑛 be the bounded subsets 𝐴1,...,𝐴𝑛 of 𝐸.Then,themapping𝑒̃ 𝑛 mapping from 𝐸 into 𝐸 defined by satisfies all required conditions of this lemma. This completes the proof. Ξ” 𝑛 (π‘₯) = (π‘₯,...,π‘₯) for every π‘₯∈𝐸. (32)

The following theorem is proved by Aron et al. [4], 𝑛 For any π‘’βˆˆπΏπ‘Ž( 𝐸; ,𝐹) we define an 𝑛-homogeneous GonzalezΒ΄ and GutierrezΒ΄ [5], Honda et al. [6]. βˆ— polynomial Ξ” 𝑛(𝑒) by Theorem 5. Let 𝐸 be a locally convex space and let 𝐹 be a 𝑛 βˆ— complete locally convex space. Let π‘βˆˆπ‘ƒ(E;𝐹).Then,the Ξ” 𝑛 (𝑒) =π‘’βˆ˜Ξ”π‘›. (33) following statements are equivalent. 𝑛 The mapping (1) π‘βˆˆπ‘ƒπ‘€( 𝐸; .𝐹) βˆ— 𝑠 𝑛 𝑛 (2) For each absolutely convex bounded subset 𝑀 of 𝐸, 𝑝 Ξ” 𝑛 :πΏπ‘Ž ( 𝐸; 𝐹)π‘Ž 󳨀→𝑃 ( 𝐸; 𝐹) (34) σΈ€ σΈ€  σΈ€  ∘∘ can be extended 𝜎(𝐸 ,𝐸 )-continuously to 𝑀 ,where ∘∘ σΈ€ σΈ€  σΈ€  𝑀 is the bipolar set of 𝑀 for the dual pair ⟨𝐸 ,𝐸 ⟩. is surjective. Abstract and Applied Analysis 5

𝑛 Theorem 6 (polarization formula). Let π‘βˆˆπ‘ƒπ‘Ž( 𝐸; 𝐹) and let For any π‘₯1 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑛 ∈ ⨂𝑛𝐸,weset 𝑠 𝑛 βˆ— π‘’βˆˆπΏπ‘Ž( 𝐸; .If𝐹) Ξ” 𝑛(𝑒) =,then 𝑝 1 𝑠(π‘₯1 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑛)= βˆ‘ π‘₯𝜎(1) βŠ—β‹…β‹…β‹…βŠ—π‘₯𝜎(𝑛). 𝑛 𝑛! (42) 1 πœŽβˆˆπ‘†π‘› 𝑒 (π‘₯ ,...,π‘₯ ) = βˆ‘ πœ– β‹…β‹…β‹…πœ– 𝑝 (βˆ‘πœ– π‘₯ ) . 1 𝑛 2𝑛𝑛! 1 𝑛 𝑖 𝑖 (35) ⨂ 𝐸 ⨂ 𝐸 πœ–π‘–=Β±1 𝑖=1 We denote by 𝑛,𝑠 the subspace of 𝑛 generated by 𝑠(π‘₯1 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑛), π‘₯𝑖 ∈𝐸.Thespace⨂𝑛,𝑠𝐸 is called the 𝑛-fold βˆ— 𝐸 ⨂ 𝐸 By the above polarization formula, the mapping Ξ” 𝑛 : symmetric tensor product space of . Elements of 𝑛,𝑠 are 𝑠 𝑛 𝑛 𝑛 πΏπ‘Ž( 𝐸; 𝐹)π‘Ž →𝑃 ( 𝐸; 𝐹) is a linear isomorphism. called -symmetric tensors. Clearly, every tensor of the form π‘₯βŠ—β‹…β‹…β‹…βŠ—π‘₯ We denote by ⨂𝑛𝐸 the 𝑛-fold tensor product space of 𝐸. is a symmetric tensor. Moreover, each element 𝑛 πœƒ ⨂ 𝐸 Let 𝑖𝑛 be the linear mapping from 𝐸 into ⨂𝑛𝐸 defined by in 𝑛,𝑠 can be expressed as a finite sum (not necessarily unique) of the form 𝑖𝑛 (π‘₯1,...,π‘₯𝑛)=π‘₯1 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑛 (36) βˆ‘π‘₯ βŠ—β‹…β‹…β‹…βŠ—π‘₯. 𝑖 𝑖 (43) 𝑛 𝑛 𝑖 for every (π‘₯1,...,π‘₯𝑛)∈𝐸.Foranyπ‘’βˆˆπΏπ‘Ž( 𝐸; ,𝐹) there exists π‘–βˆ—(𝑒) ∈ 𝐿 (⨂ 𝐸; 𝐹) 𝑛 βˆ— aunique 𝑛 π‘Ž 𝑛 such that the diagram For any π‘βˆˆπ‘ƒπ‘Ž( 𝐸; ,𝐹) there exists a unique 𝑗𝑛 (𝑝) ∈ πΏπ‘Ž(⨂𝑛,𝑠𝐸; 𝐹) such that the diagram u p En F E F

βˆ— (37) in i (u) (44) n βˆ— 𝛿n jn (p) ⨂ E n ⨂ E n,s commutes. The mapping commutes. The mapping

π‘–βˆ— :𝐿 (𝑛𝐸; 𝐹) 󳨀→𝐿 (⨂𝐸; 𝐹) βˆ— 𝑛 𝑛 π‘Ž π‘Ž (38) 𝑗𝑛 :π‘ƒπ‘Ž ( 𝐸; 𝐹) σ³¨€β†’πΏπ‘Ž (⨂𝐸; 𝐹) (45) 𝑛 𝑛,𝑠 𝑛 𝑛 𝑠 𝑛 is a linear isomorphism. Each element of ⨂𝑛𝐸 has a repre- is a linear isomorphism. Let 𝑃( 𝐸; ,𝐹) 𝐿( 𝐸; ,and𝐹) 𝐿 ( 𝐸; 𝐹) sentation of the form be, respectively, the spaces of continuous 𝑛-homogeneous 𝐸 𝐹 𝑛 β„“ polynomials from into and the continuous symmetric - linear mappings from 𝐸 into 𝐹. The restrictions βˆ‘π‘₯𝑖,1 βŠ—π‘₯𝑖,2 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑖,𝑛. (39) βˆ— 𝑛 𝑛 𝑖=1 Ξ” 𝑛 :𝐿(𝐸; 𝐹) 󳨀→ 𝑃( 𝐸; 𝐹) , βˆ— 𝑠 𝑛 𝑛 However, this representation will never be unique. We Ξ” 𝑛 :𝐿 ( 𝐸; 𝐹) 󳨀→ 𝑃( 𝐸; 𝐹) , (46) denote by 𝛿𝑛 the mapping of 𝐸 into ⨂𝑛𝐸 defined by 𝑠:𝐿(𝑛𝐸; 𝐹)𝑠 󳨀→𝐿 (𝑛𝐸; 𝐹) 𝛿𝑛 (π‘₯) =π‘₯βŠ—β‹…β‹…β‹…βŠ—π‘₯ (40) are well-defined. For each 𝛼 ∈ 𝑐𝑠(𝐸) and πœƒ=βˆ‘π‘– π‘₯𝑖 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑖 ∈ for every π‘₯∈𝐸. ⨂𝑛,𝑠𝐸,weset

Proposition 7. Amapping𝑝:𝐸is →𝐹 an 𝑛-homogeneous 𝑛 𝑛 πœ‹π›Ό,𝑛 (πœƒ) = inf {βˆ‘π›Ό(π‘₯𝑖) |πœƒ=βˆ‘π‘₯𝑖 βŠ—β‹…β‹…β‹…βŠ—π‘₯𝑖}. (47) polynomial if and only if there exists π‘‡βˆˆπΏπ‘Ž( 𝐸; 𝐹) such that 𝑖 𝑖 the diagram πœ‹π›Ό,𝑛 is a seminorm on ⨂𝑛,𝑠𝐸. We define the πœ‹-topology Ξ” or the projective topology on ⨂ 𝐸 as the locally convex E n En 𝑛,𝑠 topology generated by {πœ‹π›Ό,𝑛}π›Όβˆˆπ‘π‘ (𝐸).Wedenoteby⨂𝑛,𝑠,πœ‹πΈ the

space endowed with πœ‹-topology and denote by ⨂𝑛,𝑠,πœ‹πΈ the completion ⨂𝑛,𝑠,πœ‹πΈ. Then, the following is valid (cf. Dineen p [2]). 𝛿n u (41) Proposition 8. Let 𝐸 be a locally convex space, then we have

𝐿(𝑛𝐸; 𝐹)⨂ ≅𝐿( 𝐸; 𝐹) , 𝑛.πœ‹ ⨂ E F (48) n T 𝐿𝑠 (𝑛𝐸; 𝐹) ≅𝐿(⨂𝐸; 𝐹) ≅𝑃(𝑛𝐸; 𝐹) . commutes. 𝑛.𝑠,πœ‹ 6 Abstract and Applied Analysis

σΈ€ σΈ€  σΈ€ σΈ€  σΈ€ σΈ€  σΈ€  Let E(𝐸 ) be the family of all equicontinuous subsets of An 𝑛-homogeneous polynomial 𝑝 on 𝐸 is 𝜎(𝐸 ,𝐸 )- σΈ€ σΈ€  σΈ€ σΈ€  σΈ€  σΈ€ σΈ€  𝐸 with respect to the dual pair ⟨𝐸 ,𝐸 ⟩. We denote by Oπ‘€βˆ—,πœ– continuous on every equicontinuous subsets of 𝐸 if and only σΈ€ σΈ€  σΈ€ σΈ€  the family of subsets of 𝐸 defined by if 𝑝 is πœπ‘€βˆ—,πœ–-continuous on 𝐸 .Thus,byPropositions9 and 11, we have the following theorem. σΈ€ σΈ€  Oπ‘€βˆ—,πœ– = {𝑉|π‘‰βŠ‚πΈ ,π‘‰βˆ©π‘€are Theorem 13. If an 𝑛-homogeneous polynomial 𝑝 on 𝐸 is of σΈ€ σΈ€  σΈ€  σΈ€ σΈ€  𝑝 𝜏 𝐸 𝜎(𝐸 ,𝐸 ) -open in 𝑀 for all π‘€βˆˆE (𝐸 )}. weaktypeifandonlyif is π‘œ-continuous in and continuous on 𝐸 with the initial topology of 𝐸.

(49) Then, we can obtain the following topological tensor σΈ€ σΈ€  productrepresentationofpolynomialsofweaktype. We denote by πœπ‘€βˆ—,πœ– the topology on 𝐸 such that the family of all πœπ‘€βˆ—,πœ–-open sets coincides with Oπ‘€βˆ—,πœ–.ByTheorem 5,the Theorem 14. Let 𝐸 be a DF space, then we have following is valid. 𝐿(⨂𝐸 ;𝐹)∩𝐿(⨂𝐸; )≅𝑃 (𝑛𝐸; 𝐹) Proposition 9. 𝑛 𝑝 𝐸 𝜏0 F 𝑀 (53) A -homogeneous polynomial on is of 𝑛,π‘ πœ‹ 𝑛,π‘ πœ‹ weak type if and only if there exists a πœπ‘€βˆ—,πœ–-continuous 𝑛- Μƒ σΈ€ σΈ€  Μƒ homogeneous polynomial 𝑝 on 𝐸 such that 𝑝=𝑝on 𝐸. for every complete locally convex space 𝐹.

𝜏 βˆ— However, in general, the topology 𝑀 ,𝛽 is not a locally A topological space 𝑋 is called a π‘˜-space if its topology convex topology (cf. KomuraΒ― [7]). is localized on its compact set;, that is, π‘ˆβŠ‚π‘‹is open if and only if π‘ˆβˆ©πΎis open in 𝐾,withtheinducedtopology,for 𝐸 Definition 10. A locally convex space is called a DF-space if each compact subset 𝐾 of 𝑋.Amappingfromaπ‘˜-space into it contains a countable fundamental system of bounded sets a topological space is continuous if and only if its restriction and if the intersection of any sequence of absolutely convex to each compact set is continuous. neighborhoods of 0 which absorbs all bounded sets is itself a Let 𝑒 beamappingfromalocallyconvexspace𝐸 into neighborhood of 0. a locally convex space 𝐹.If𝐸 is a π‘˜-space and if 𝑒 is σΈ€  𝜎(𝐸, 𝐸 )-continuousoneveryboundedsubsetof𝐸,then𝑒 Grothendieck [8, 9] proved that the of a is continuous on 𝐸 with the initial topology of 𝐸.Thus,we metrizable locally convex space is a DF-space and the strong obtain the following theorem. dual space of a DF-space is a FrechetΒ΄ space. All Banach spaces are DF-spaces. The following result is Theorem 15. If 𝐸 is a DF space and a π‘˜-space, then we have known. Proposition 11 𝐸 𝐿(⨂𝐸 ;𝐹)≅𝑃 (𝑛𝐸; 𝐹) (Banach-Dieudonnetheorem).Β΄ Let be a 𝜏0 𝑀 (54) σΈ€  𝑛,π‘ πœ‹ metrizable locally convex space. Then, the topology πœπ‘€βˆ—,πœ– on 𝐸 is the topology of uniform convergence on all compact sets in 𝐸. for every complete locally convex space 𝐹. Proof. The proof is on KotheΒ¨ [10,Β§21–10]. If 𝐸 is a , then 𝐸 is a DF-space and a π‘˜-space. σΈ€  Thus, we have the following corollary. If 𝐸 is a DF space, then 𝐸𝛽 is a FrechetΒ΄ space. Therefore, by Proposition 11 the following is valid. Corollary 16. If 𝐸 is a Banach space, then we have σΈ€ σΈ€  Proposition 12. The topology πœπ‘€βˆ—,πœ– on 𝐸 is the topology of 𝐸󸀠 𝐿(⨂𝐸 ;𝐹)≅𝑃 (𝑛𝐸; 𝐹) uniform convergence on all compact sets in . 𝜏0 𝑀 (55) 𝑛,π‘ πœ‹ σΈ€ σΈ€  We denote by 𝛼𝐾 the seminorm on 𝐸 defined by for every complete locally convex space 𝐹. 󡄨 󡄨 σΈ€ σΈ€  󡄨 σΈ€ σΈ€  σΈ€  󡄨 σΈ€  𝛼𝐾 (π‘₯ )=sup {σ΅„¨βŸ¨π‘₯ ,π‘₯ βŸ©σ΅„¨ |π‘₯ ∈𝐾} (50) Conflict of Interests σΈ€  for every compact subsets 𝐾 of 𝐸 . We denote by 𝜏0 the locally 𝛽 The authors declare that there is no conflict of interests 𝐸󸀠󸀠 convex topology on defined by the set of seminorms: regarding the publication of this paper. σΈ€  {𝛼𝐾 |𝐾is every compact set of 𝐸 }. (51) Acknowledgments

We denote by 𝐸𝜏 the locally convex space 𝐸 defined the set 0 KwangHoShonwassupportedbyBasicScienceResearch of seminorms: Program through the National Research Foundation of Korea {𝛼 | |𝐾 𝐸󸀠}. (NRF) funded by the Ministry of Science and ICT and Future 𝐾 𝐸 is every compact set of (52) Planning (2013R1A1A2008978). Abstract and Applied Analysis 7

References

[1] S. Dineen, Complex Analysis in Locally Convex Spaces,vol.57 of North-Holland Mathematics Studies,North-Holland,Ams- terdam, The Netherlands, 1981. [2] S. Dineen, Complex Analysis on Infinite-Dimensional Spaces, Springer Monographs in Mathematics, Springer, London, UK, 1999. [3] J. Mujica, Complex Analysis in Banach Spaces,vol.120ofNorth- Holland Mathematics Studies,North-Holland,Amsterdam,The Netherlands, 1986. [4] R. M. Aron, C. Herves,Β΄ and M. Valdivia, β€œWeakly continuous mappings on Banach spaces,” Journal of ,vol. 52,no.2,pp.189–204,1983. [5] M. GonzalezandJ.M.GutiΒ΄ errez,Β΄ β€œFactorization of weakly continuous holomorphic mappings,” Studia Mathematica,vol. 118, no. 2, pp. 117–133, 1996. [6]T.Honda,M.Miyagi,M.Nishihara,andM.Yoshida,β€œOn poynomials of weak type on locally convex spaces,” in Pro- ceedings 4th International Colloquium on Finite or Infinite Dimensional Complex Analysis, pp. 173–179, 1996. [7] Y. Komura,Β― β€œSome examples on linear topological spaces,” Mathematische Annalen,vol.153,pp.150–162,1964. [8] A. Grothendieck, β€œSur les espaces (𝐹)et(𝐷𝐹),” Summa Brasilian Mathematics,vol.3,pp.57–123,1954. [9] A. Grothendieck, Topological Vector Spaces,GordonandBreach Science, New York, NY, USA, 1973. [10] G. Kothe,Β¨ Topological Vector Spaces. I, Springer, New York, NY, USA, 1983. Advances in Advances in Journal of Journal of Operations Research Decision Sciences Applied Mathematics Algebra Probability and Statistics Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

The Scientific International Journal of World Journal Differential Equations Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

Submit your manuscripts at http://www.hindawi.com

International Journal of Advances in Combinatorics Mathematical Physics Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

Journal of Journal of Mathematical Problems Abstract and Discrete Dynamics in Complex Analysis Mathematics in Engineering Applied Analysis Nature and Society Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014

International Journal of Journal of Mathematics and Mathematical Discrete Mathematics Sciences

Journal of International Journal of Journal of Function Spaces Stochastic Analysis Optimization Hindawi Publishing Corporation Hindawi Publishing Corporation Volume 2014 Hindawi Publishing Corporation Hindawi Publishing Corporation Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 http://www.hindawi.com http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014 http://www.hindawi.com Volume 2014