# Some results over thin-thick sets in cone locally convex spaces

- Murat Cancan
^{1}Email author

**2011**:48

https://doi.org/10.1186/1687-1812-2011-48

© Cancan; licensee Springer. 2011

**Received: **3 February 2011

**Accepted: **5 September 2011

**Published: **5 September 2011

## Abstract

In this article, it is investigated some concepts of normed space like norming, thin-thick sets in cone locally convex spaces. It is also worked some impacts of thick sets over the uniform quasi-boundedness principles in cone locally convex spaces such that weak*-bounded sets are strong*-bounded iff the space is a *B* - *M* space. It is demonstrated that these principles emerge under some weaker conditions with aim to thick sets. Moreover, it is displayed that the concept of thick is a duality invariant, that is, all suitable topologies for some cone locally convex space have the same thick sets.

### Keywords

*B*-

*M*space cone locally convex space norming set thin-thick set uniform quasi-boundedness principle

## 1 Introduction

It has been described thin-thick sets for normed spaces in [1]. Therein, it is showed that there is an open mapping principle connected with thick sets in study of [1]. It is presented a wide survey for thick sets in [2, 3]. In this studies it is unveiled some impacts of thick sets on certain operator spaces and also indicated that the boundedness and surjectivity results can be taken from this property.

*B*(*X*) and *S*(*X*) denote a closed unit ball and sphere of some normed space *X*, respectively. A set *U* ⊂ *X* such that $\underset{f\in S\left({X}^{*}\right)}{inf}\underset{x\in U}{sup}\left|f\left(x\right)\right|\ge \delta $, for some *δ* > 0, means norming for *X**, the continuous dual of *X*. A set *A* means thick if for every representation of *A* as the union of an increasing sequence of sets, $A=\bigcup _{n=1}^{\infty}{A}_{n},\left({A}_{n}^{+}\right)$, there exists an index *m* such that *A*_{
m
} is norming. The set *A* means thin if it is not thick. Moreover, a set *V* ⊂ *X** satisfying $\underset{x\in S\left(X\right)}{inf}\underset{f\in V}{sup}\left|f\left(x\right)\right|\ge \delta $, for some *δ* > 0, means norming for *X* or *w**-norming. A set *B* means *w**-thick if for every representation of *B* as the union of an increasing sequence of sets, $B=\bigcup _{n=1}^{\infty}{B}_{n},\left({B}_{n}^{+}\right)$, there exists an index *m* such that *B*_{
m
} is *w**-norming [2, 3]. The definitions of the norming and *w**-norming sets are also qualified as follows [3].

*L*1) Let

*X*be a normed space,

*A*⊂

*X*and

*B*⊂

*X**.

- (i)
*A*is norming for*X** iff $\overline{co}\left(\pm A\right)\supseteq \delta B\left(X\right)$ for some*δ*> 0. - (ii)
*B*is norming for*X*iff ${\overline{co}}^{{w}^{*}}\left(\pm B\right)\supseteq \delta B\left({X}^{*}\right)$ for some*δ*> 0.

A subset *A* of a normed linear space *X* means to have the boundedness property if for every normed space *Y*, every family (*T*_{
α
} ) in *L*(*X*, *Y*), the space of all continuous linear operators from *X* into *Y*, which is pointwise bounded on *A*, is bounded. It is evidenced in [2] a strong uniform boundedness principle valid on all Banach spaces for the thick sets. As an practice of this result it is given in [2] to a special case of the classical Banach-Steinhauss theorem; videlicet, suppose Γ is a subset of *L*(*X*, *Y*) and *B* is a thick subset of *S*(*X*). If Γ(*x*) = {*Tx* : *T* ∈ Γ} is a bounded subset of *Y* for each *x* ∈ *B*, then Γ is a bounded subset of *L*(*X*, *Y*). The usual Banach-Steinhauss theorem is a special status of this result since every second category set is thick. Latterly, it is given a new property of thick sets by dint of weak integrability of Banach space valued measurable functions in [4]. It is also expressed thick sets by the agency of boundedness of vector measures, and clarify what case this concept is about the theory of barrelled spaces.

*clc*, for short) spaces. Openly, the uniform boundedness principles in Banach spaces can tackle in two different forms in

*clc*-spaces:

- (i)
weak*-bounded sets are equicontinuous iff

*X*is barrelled, - (ii)

These two different forms coexist in quasi-barrelled spaces since strong*-bounded sets are equicontinuous in this status. It is represented that these principles happen under some weaker conditions through the medium of thick sets.

On the other hand, the fixed point, computer science and endpoint theory, concerning various single-valued and set-valued contractions, nonlinear contractions and asymptotic contractions in uniform, locally convex (*lc*, for short) and metric spaces and in cone metric spaces, goes back to the original works by Banach [7]. Recently, renewed interest in this theory which is play a very important for many research areas as well as in function analysis arose also in different areas as applied mathematics.

*X*be a real Banach space. A subset

*K*of

*X*means a closed convex pointed cone iff:

- (i)
*K*is closed, nonempty, and*K*≠ {0}, - (ii)
*r*_{1},*r*_{2}∈*R*,*r*_{1},*r*_{2}≥ 0,*x*,*y*∈*K*⇒*r*_{1}*x*+*r*_{2}*y*∈*K*, - (iii)
*x*∈*K*and -*x*∈*K*⇒*x*= 0.

Given a cone *K* ⊂ *X*, we can define a partial ordering ≤ with respect to *K* by *x* ≤ *y* iff *y* - *x* ∈ *K*. We write *x* < *y* to indicate that *x* ≤ *y* but *x* ≠ *y*, while *x << y* will stand for *y* - *x* ∈ *intK*, *intK* denotes the interior of *K*.

In most of the proofs in [8–11] cones are required to be restricted to a special case, namely to normal cones. The cone *K* means normal if there is a constant number *k* > 0 such that for all *x*, *y* ∈ *X*, 0 ≤ *x* ≤ *y* implies ||*x*|| ≤ *k* ||*y*||. The least positive number satisfying the above inequality means the normal constant of *K*.

*T*1) Let

*X*be a vector space over

*R*and let

*E*be an ordered Banach space with cone

*K*where

*I*is a index set:

- (i)
The family

*Q*= {*q*_{ α }:*X*→*E*,*α*∈*I*} means to be a*Q*-family of cone seminorms on*X*(*Q*-family, for short) if the following three conditions hold:

(*i**) ∀*α* ∈ *I*, ∀*x* ∈ *X*, {0 ≼ *q*_{
α
} (*x*) ∧ *x* = 0 ⇒ *q*_{
α
} (*x*) = 0};

(*ii**) ∀*α* ∈ *I*, ∀*λ* ∈ *R*, ∀*x* ∈ *X*, {*q*_{
α
} (*λx*) = |*λ*|*q*_{
α
} (*x*)}; and

*iii**) ∀

*α*∈

*I*, ∀

*x*,

*y*∈

*X*, {

*q*

_{ α }(

*x*+

*y*) ≼

*q*

_{ α }(

*x*) +

*q*

_{ α }(

*y*)}.

- (ii)
If

*Q*is a*Q*-family, then the pair (*X*,*Q*) means a*clc*space. - (iii)
A

*Q*-family*Q*means to be separating if:

*i**) ∀

*x*∈

*X*, {

*x*≠ 0 ⇒ ∃

*α*∈

*I*, {0 ≺

*q*

_{ α }(

*x*)}}.

- (iv)
If a

*Q*-family*Q*is separating, then the pair (*X*,*Q*) means a Hausdorff*clc*-space (*hclc*space, for short) [12].

In this study, it is investigated thin-thick sets of *clc* spaces endowed with a important place in the fixed point with endpoint theory and being a natural generalization of *lc* spaces.

## 2 Extensions and some important results

**Definition 2.1**. For a subset *A* of a *clc*-space *X* (*T* 1), the polar of *A*, written $\u0226$, is {*f* ∈ *X**: |*f*(*x*)| ≼ 1, for all *x* ∈ *A*}. In dual sense, for *A* ⊂ *X**, $\u0226=\left\{x\in X:\left|f\left(x\right)\right|\preccurlyeq \phantom{\rule{2.77695pt}{0ex}}1,\phantom{\rule{2.77695pt}{0ex}}for\phantom{\rule{2.77695pt}{0ex}}all\phantom{\rule{2.77695pt}{0ex}}f\in A\right\}$. For all *A*, $\u0226$ is absolutely convex and closed in any suitable topology for *X** and *Ä* is the absolutely convex closure of *A*. For the definition of the strong-topology (strong*-topology) *β*(*X*, *X**) (*β*(*X**, *X*)) of *X*(*X**), it can be refered to [5, 6]. If *X* is a normed space, *β*(*X**, *X*) is (equivalent to) the norm topology in *X** on the strength of [5, 6]. However, *β*(*X*, *X**) need not be the norm topology for *X* even if *X* is a normed space where the Mackey (*M*, for short)-topology *τ*(*X*, *X**) is the norm topology for *X* in this status. Note that *τ*(*X*, *X**) is the strongest *clc*-topology (for *X*) suitable with the dual pair (*X*, *X**). Let *T* be a *clc*-topology for *X* and *S* be a subset of (*X*, *T*)*. Then *S* is equicontinuous iff $\u1e60$ is a neighborhood of 0. In dual sense, $\dot{U}$ is equicontinuous whenever *U* is a neighborhood of 0. In a seminormed space *X*, a set *S* ⊂ *X** is equicontinuous iff it is norm bounded. In this case, the equicontinuity is a generalization of the uniform boundedness. A barrelled space is a *hclc*-space in which every barrel is a neighborhood of 0. Remember that a barrel is an absolutely convex absorbing closed set. The initial perspective of barrelled spaces was in reply to the question of finding an internal qualification of spaces where the uniform boundedness principle holds. The reply is given by the following characterization by virtue of [5, 6].

**Theorem 2.1**. Let

*X*be a

*clc*-space. Then the following three conditions are equivalent:

- (i)
For any

*clc*-space*Y*, every pointwise bounded family*S*of continuous linear maps from*X*to*Y*is equicontinuous. - (ii)
Every weak*-bounded subset of

*X** is equicontinuous. - (iii)
*X*is barrelled.

It is an important property of a barrelled space that its topology is the strong-topology on the strength of [6]. A *hclc*-space means quasi-barrelled if every bornivorous barrel is a neighborhood of 0. Nonforget that a bornivorous is a set which absorbs all bounded sets. The natural embedding of a *hclc*-space *X* into *X*** = [*X**, *β*(*X**, *X*)]* is the map $\widehat{x}$ where $\widehat{x}\left(f\right)=f\left(x\right)$ for *f* ∈ *X**. It is a homeomorphism iff X is quasi-barrelled. A *hclc*-space is *X* quasi-barrelled iff all strong*-bounded sets are equicontinuous. A *hclc*-space *X* means semireflexive if *X* = *X***, that is, the natural embedding is onto *X***. It means reflexive if the natural embedding is a homeomorphism of *X* onto *X***. Thus reflexive means semireflexive and quasi-barrelled. A *hclc*-space means a *B* - *M* space if all its bounded sets are strongly bounded.

Now we proceed by the extended definition of norming sets in *clc*-spaces.

**Definition 2.2**. Let *X* be a vector space and *T* be a *clc*-topology for *X*. A set *A* ⊂ *X* means *T*-norming for (*X*, *T*)* whenever ${\overline{co}}^{T}\left(\pm A\right)$, the absolutely convex closure of *A*, includes a *T*-neighborhood of 0.

**Remark 2.1**. Let *T* be normable, that is, (*X*, *T*) be a normed space. Then *T* is characterized by balls, and so finding some *δ* > 0 such that ${\overline{co}}^{T}\left(\pm A\right)\supseteq \delta B\left(X\right)$ is a sufficient condition for the definition of a norming set. Moreover, let *X* be a dual space of a normed space *Y* with the *w**-topology. Then, by the definition, a set *A* ⊂ *X* = *Y** is *w**-norming for ${\left(X,{w}^{*}\right)}^{*}=Y\mathsf{\text{iff}}{\overline{co}}^{{w}^{*}}\left(\pm A\right)$ includes a *w**-neighborhood *U* of 0. But, *U* is also a norm-neighborhood of 0 in *X* and hence ${\overline{co}}^{{w}^{*}}\left(\pm A\right)\supseteq \delta B\left({Y}^{*}\right)$ for some *δ* > 0. Thus, Definition 2.2 includes earlier definitions of both norming and *w**-norming sets by means of (*L* 1). The other definitions of [13] like strong and strong*-norming sets are derived from Definition 2.2 taking *T* as *M*, strong and strong*-topology, respectively.

**Definition 2.3**. Let *X* be a vector space and *T* be a *clc*-topology for *X*. A set *A* ⊂ *X* means *T*-thick if for every representation of *A* as the union of an increasing sequence of sets, $A=\bigcup _{n=1}^{\infty}{A}_{n},\left({A}_{n}^{+}\right)$, there exists an index *m* such that *A*_{
m
} is *T*-norming for (*X*, *T*)*. The set *A* means *T*-thin if it is not *T*-thick.

We see to benefit using only the words norming, thin-thick whenever *T* is clear from the context.

It can see easily as in [2, 5] that a set in a *clc*-space which is of the second category is thick.

**Theorem 2.2**. For a *clc*-space *X*, all suitable topologies for *X* have the same norming sets. Hence, thick concept is a duality invariant.

**Proof**. This comes from the fact that the closures of convex sets in all suitable topologies are the same, that is, a closed convex set is a duality invariant. Also it is possible to express it on the strength of both [14] and [5, 6]. Hence with this result it is subjointed an argument to the list of duality invariants as presented in [5, 6]. It is well known that the strong-topology *β*(*X*, *X**) may not be suitable even if *X* is a normed space.

There is some examples of normed spaces as [5, 6] such that the strong-topology is strictly larger than the *M*-topology.

Now, we give an example of a set which is strong-norming but is not *M*-norming.

**Example 2.1**. Let

*X*=

*C*

_{00}[-1, 1], the set of real continuous functions on the interval [-1, 1], each of which vanishes on a neighborhood of 0, with the sup norm || . ||

_{∞}. For each

*n*∈

*N*,

*f*

_{ n }(

*x*) =

*nx*(1/

*n*) is a continuous linear functional on

*X*since |

*f*

_{ n }(

*x*)| ≼ ||

*x*||

_{∞}. Let

*A*= {

*x*∈

*X*: |

*x*(1/

*n*)| ≼ 1/

*n*} and $B={\left\{{f}_{n}\right\}}_{n=1}^{\infty}\cup \left\{0\right\}$. Then $A=\u1e02=\left\{x:\left|{f}_{n}\left(x\right)\right|=\left|nx\left(1/n\right)\right|\preccurlyeq 1\right\}$. The set

*B*is

*w**-bounded in

*X**. Since the set of

*w**-bounded sets is the polar family for the strong-topology like [14, 15],

*A*is a strong-neighborhood of 0 and hence is strong-norming. However,

*A*is not

*M*-norming. Let us prove this. Since the

*M*-topology

*τ*(

*X*,

*X**) is the strongest suitable topology for

*X*, ${\overline{co}}^{\tau \left(X,{X}^{*}\right)}\left(\pm A\right)=A$. But

*A*is not a

*M*-neighborhood of 0. To prove this assertion, let us assume that

*A*is a

*τ*(

*X*,

*X**)-neighborhood of 0. In a normed space,

*M*-topology is the norm topology, and so

*A*is a || . ||

_{∞}-neighborhood of 0. Hence,

*A*must contain

*δB*(

*X*) for some

*δ*> 0. But this is not the case. Indeed, consider the function

*x*: [-1, 1] →

*R*,

Then *x* ∈ *δB*(*X*) while *x* ∉ *A*. This proves the claim. For dual spaces, *w**-topology is not suitable with the strong*-topology, in general. Hence, we cannot expect *w**-thick sets to be strong*-thick up to semireflexivity.

**Theorem 2.3**. In a semireflexive *hclc*-space *X*, *w**-thick sets are strong*-thick.

**Proof**. It is expressed from [5, 6] that a *hclc*-space *X* is semireflexive iff the *w**-topology is suitable with the strong*-topology. Hence the result follows from Theorem 2.2.

**Remark 2.2**. (*i*) Theorem 2.3 is a generalization of a general conjecture where for a reflexive Banach space *X*, *w**-thick sets are (norm) thick in *X**. This comes from the facts that (*i**) the norm topology of the dual is equivalent to the strong*-topology and (*ii**) a Banach space is reflexive iff it is semireflexive from [5, 6]. (*ii*) For a *clc*-space *X*, the uniform boundedness principles for a Banach space appear in two different forms: (*i**) *w**-bounded sets are equicontinuous iff *X* is barrelled; (*ii**) *w**-bounded sets are strong*-bounded iff *X* is a *B* - *M* space. These two different forms coexist in quasi-barrelled spaces since strong*-bounded sets are equicontinuous in this case. Remember that a quasi-barrelled *B* - *M* space is a barrelled space.

Now, let us inspect some impacts of thick sets using these principles. The following theorems extend the main results of [2, 5] in these respects.

**Theorem 2.4**. Let (*X*, *T*) be a *B* - *M* space and *A* be a thick subset of *X*. Suppose that *B* ⊂ *X** is pointwise bounded on *A*, i.e., the set *B*(*x*) = {*f*(*x*): *f* ∈ *B*} is bounded in *R* for each *x* ∈ *A*. Then *B* is strong*-bounded.

**Proof**. Since *X* is a *B* - *M* space, so also is *X**. Hence, if we show that *B* is a *w**-bounded then we have that *B* is also strong*-bounded. Let *A*_{
n
} = {*x* ∈ *A* : |*f* (*x*)| ≼ *n*, for each *f* in *B*}, so that each *A*_{
n
} = [(1/*n*)*B*]^{•} ∩ *A* and $A=\bigcup _{n=1}^{\infty}{A}_{n},\left({A}_{n}^{+}\right)$. Since *A* is thick, there is a positive integer *m* such that *A*_{
m
} is norming for (*X*, *T*)*. Then ${\overline{co}}^{T}\left(\pm {A}_{m}\right)$ includes a neighborhood of 0. But ${\overline{co}}^{T}\left(\pm {A}_{m}\right)\subseteq {\left[\left(1/m\right)B\right]}^{\bullet}$ since a polar is an absolutely convex and closed set. This implies [(1/*m*)*B*]^{•} is a neighborhood of 0 in (*X*, *T*) and hence (1/*m*)*B* is an equicontinuous set in (*X*, *T*)*. This implies *B* is a weak*-bounded set in (*X*, *T*)*.

**Definition 2.4**. A subset *A* of a *clc*-space *X* means to have the equicontinuity property if for every *clc*-space *Y*, every family (*T*_{
α
} ) ⊂ *L*(*X*, *Y*) which is pointwise bounded on *A* is equicontinuous.

**Theorem 2.5**. Let *A* be a thick subset of a *clc*-space *X*. Then the following three conditions are equivalent: (*i*) *A* has the equicontinuity property for *clc*-spaces; (*ii*) *A* has the equicontinuity property for *R*; (*iii*) *X* is barrelled.

**Proof**. (*i*) ⇒ (*ii*) is obvious. For (*ii*) ⇒ (*iii*), let *A* have the equicontinuity property for *R*. This means that a set *B* ⊂ *X** which is pointwise bounded on *A* is equicontinuous. Suppose *U* ⊂ *X* is a barrel and $f\in \dot{U}$. Pick some *x* ∈ *X*, and let *ε* > 0 so that *εx* ∈ *U*. Then |*f*(*x*)| = (1/*ε*)|*f*(*εx*)| ≼ 1/*ε*. Hence $\dot{U}$ is *w**-bounded since *x* is arbitrary. This implies, clearly, that $\dot{U}$ is pointwise bounded on *A*, and hence equicontinuous by the hypothesis. Moreover, $U=\ddot{U}$ because *U* is absolutely convex. Thus, it is a neighborhood of 0 since it is the polar of an equicontinuous set, whence *X* is barrelled. For (*iii*) ⇒ (*i*), let *Y* be a *clc*-space and *S* be any subset of *L*(*X*, *Y*) such that *S*(*x*) = {*T*(*x*): *T* ∈ *L*(*X*, *Y*)} is bounded in *Y* for each *x* ∈ *A*. In a similar way to the proof of Theorem 2.4 shows that *S* is pointwise bounded on the whole space, and hence equicontinuous from Theorem 2.1.

## Declarations

## Authors’ Affiliations

## References

- Kadets MI, Fonf VP:
**Two theorems on the massiveness of the boundary in a reflexive Banach space.***Funct Anal Appl*1983,**17:**227–228.MathSciNetView ArticleGoogle Scholar - Nygaard O:
**Approximation boundedness surjectivity.**In*Dr Scient Thesis*. University of Bergen; 2001.Google Scholar - Nygaard O:
**Boundedness and surjectivity in normed spaces.***Int J Math Math Sci*2002,**32:**149–165. 10.1155/S0161171202011596MathSciNetView ArticleGoogle Scholar - Abrahamsena TA, Nygaard O, Poldvere M:
**On weak integrability and boundedness in Banach spaces.***J Math Anal Appl*2006,**314**(1):67–74.MathSciNetView ArticleGoogle Scholar - Yilmaz Y:
**Thin and thick sets in locally convex spaces.***Nonlinear Anal*2007,**67:**1440–1444. 10.1016/j.na.2006.07.028MathSciNetView ArticleGoogle Scholar - Wilansky A:
*Modern Methods in Topological Vector Spaces.*McGraw-Hill, New York; 1978.Google Scholar - Banach S:
**Sur les opérations dans les ensembles abstraits et leurs applications aux équations intégrales.***Fund Math*1922,**3:**133–181.Google Scholar - Abbas M, Rhoades BE:
**Fixed and periodic point results in cone metric space.***Appl Math Lett*2009,**22:**511–515. 10.1016/j.aml.2008.07.001MathSciNetView ArticleGoogle Scholar - Abbas M, Jungck G:
**Common fixed point results for noncommuting mappings without continuity in cone metric spaces.***J Math Anal Appl*2008,**341:**416–420. 10.1016/j.jmaa.2007.09.070MathSciNetView ArticleGoogle Scholar - Abdeljawad T:
**Completion of cone metric spaces.***Hacettepe J Math Stat*2010,**39**(1):67–74.MathSciNetGoogle Scholar - Long-Guang H, Xian Z:
**Cone metric spaces and fixed point theorems of contractive mappings.***J Math Anal Appl*2007,**332:**1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleGoogle Scholar - Wlodarczyk K, Plebaniak R, Dolinski M:
**Cone uniform, cone locally convex and cone metric spaces, endpoints, set-valued dynamic systems and quasi-asymptotic contractions.***Nonlinear Anal*2009,**71:**5022–5031. 10.1016/j.na.2009.03.076MathSciNetView ArticleGoogle Scholar - Mackey GW:
**On infinite-dimensional linear spaces.***Trans Am Math Soc*1945,**57:**155–207. 10.1090/S0002-9947-1945-0012204-1MathSciNetView ArticleGoogle Scholar - Köthe G:
**Topological Vector Spaces I.***Springer*1969.Google Scholar - Nygaard O:
**A strong uniform boundedness principle in Banach spaces.***Proc Am Math Soc*2001,**129:**861–863. 10.1090/S0002-9939-00-05607-0MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.