Ideal Convergence and Completeness of a Normed Space

: We aim to unify several results which characterize when a series is weakly unconditionally Cauchy (wuc) in terms of the completeness of a convergence space associated to the wuc series. If, additionally, the space is completed for each wuc series, then the underlying space is complete. In the process the existing proofs are simpliﬁed and some unanswered questions are solved. This research line was originated in the PhD thesis of the second author. Since then, it has been possible to characterize the completeness of a normed spaces through different convergence subspaces (which are be deﬁned using different kinds of convergence) associated to an unconditionally Cauchy sequence.


Introduction
A sequence (x n ) in a Banach space X is said to be statistically convergent to a vector L if for any ε > 0 the subset {n : x n − L > ε} has density 0. Statistical convergence is a summability method introduced by Zygmund [1] in the context of Fourier series convergence. Since then, a theory has been developed with deep and beautiful results [2] by different authors, and moreover at the present time this theory does not present any symptoms of abatement. The theory has important applications in several branches of Applied Mathematics (see the recent monograph by Mursaleen [3]).
It is well known that there are results that characterize properties of Banach spaces through convergence types. For instance, Kolk [4] was one of the pioneering contributors. Connor, Ganichev and Kadets [5] obtained important results that relate the statistical convergence to classical properties of Banach spaces.
The aim of this paper originates in the PhD thesis of the second author [6] who discovered a relationship between properties of a normed space X and some sequence spaces which are called convergence spaces associated to a weakly unconditionally Cauchy series. Notice that these sequence spaces associated to a weakly unconditionally Cauchy series (in brief wuc series) were defined originally [6] in terms of the norm topology and the usual weak topology of the space. Since then, these kinds of results have been investigated in several convergence spaces associated with a weakly unconditionally Cauchy series using different types of convergence [7][8][9][10][11][12]. In fact, several questions remain unsolved for different kinds of convergence. For instance, A-statistical convergence and A-strong convergence (where A is a non-negative matrix) were introduced by Connors in [13]. Theorem 3.5 in [12] remains open for p ∈ (0, 1) and Theorems 3.1, 3.5 and 5.1 in [12] remains unsolved in the A-statistical convergence setting.
In this paper we aim to unify some known results. In the process we pull together much of what is known about this topic and we will simplify some of their existing proofs. As a consequence we provide an unified point of view which allows us to solve several unsolved questions. In fact, we will obtain results in the context of ideal convergence. We will show that under reasonable conditions on a given non-trivial ideal, the studied properties do not depend on the ideal that we use to define the convergence spaces associated to the wuc series. This allows us to extend our results for an arbitrary summability method that shares some kind of ideal-convergence on the realm of all bounded sequences. This will allow us to unify the known results and obtain answers to some unresolved questions.
The paper is organized as follows. In Section 2, we will study the convergence induced by an ideal I ⊂ P (N), (that is, the I-convergence), which will provide the general framework of our results in Section 3. Next we will review some basic properties and some preliminary results about I-convergence that we will use later. Section 3 deals with the space of I-summability (which we will denote by S I (∑ i x i )) associated to a weakly unconditionally Cauchy series ∑ i x i . It is shown that for any non-trivial regular ideal I, a series ∑ i x i is weakly unconditionally Cauchy if and only if S I (∑ i x i ) is complete. Moreover, if this equivalence is true for each series in a normed space X, then the space X must be complete. There is a counterpart of the above results for the weak topology, and moreover, we were able to extend these results for certain general summability methods. Finally, for the w * -topology of X we will characterize when a series ∑ i f i in the dual space X * is wuc, and this characterization incorporates general summability methods. Moreover, this result is sharpened when the space X is barrelled. The paper concludes with a brief section on applications.

Some Preliminary Results
Next we will see the general framework where we will prove our results. Let (X, d) be a metric space. A summability method ρ on X is a rule to assign limits to a sequence, that is, it is a map ρ : D ρ ⊂ X N → X. A summability method ρ is said to be regular if for each convergent sequence (x n ) in X, that is, lim n→∞ x n = x 0 , we have that ρ((x n )) = x 0 .
Let us denote by P (N) the power set of N. Let us consider I ⊂ P (N) an arbitrary family of subsets of N. We will say that I is a non-trivial ideal if 1. I = ∅ and I = P (N). 2. If A, B ∈ I then A ∪ B ∈ I. 3. If A ⊂ B and B ∈ I then A ∈ I. 4. Additionally we say that I is regular (or admissible) if it contains all finite subsets.
We will say that a sequence (x n ) ⊂ X is I-convergent to L (in short we wil denote L = Ilim n→∞ x n or x n I −→ L) if for any ε > 0 the subset Let us observe that if I is the set of all finite subsets of N then we recover the usual convergence. And if I ⊂ J then I-convergence implies J -convergence. In particular, usual convergence implies I-convergence for a regular ideal. Thus, eventually constant sequences I-converge for a regular ideal I.
In general, uniqueness of the limit is not true for I-convergence. However when I is non-trivial, then an ideal I defines a summability method. Essentially, we need to show that the limit, when it exists, is unique. Proposition 1. Let X be a metric space and let I be a non-trivial ideal. Suppose that for a sequence (x n ) we have Ilim n→∞ x n = L 1 and Ilim n→∞ x n = L 2 , then L 1 = L 2 .
We will say that sequence (x n ) is I-Cauchy if for each ε > 0 there exists k ∈ N such that the subset The following result is an extension of Fridy's result [14], that was proved in [15] and it will be used later.
Theorem 1 (Dems). Assume that I ⊂ B(N) is a non-trivial ideal.
(i) If X is a complete metric space then every I-Cauchy sequence in X is I-convergent in X.
(ii) Assume that I is a no-trivial regular ideal. Then, if every I-Cauchy sequence in X is I-convergent in X then X must be complete.
Now if X is a normed space, given a non-trivial ideal I, analogously we can define the weak-I convergence for a sequence (x n ) n . A sequence (x n ) n is said to be weak-I convergent to L ∈ X (in short wIlim n→∞ x n = L) if for any f ∈ X * and for any ε > 0 the subset Let us observe that a sequence (x n ) ⊂ X is weak-I-convergent to L ∈ X if and only if for every weak-neighbourhood U of L the set {n ∈ N : x n / ∈ U} belongs to I. Clearly we have: Assume that I is a non-trivial ideal. If Ilim n→∞ x n = L then wIlim n→∞ x n = L.
The following result is a simple test to show that a sequence (x n ) has no weak-I limit.
Proposition 3. Assume that I is a non-trivial regular ideal. Suppose that for a sequence (x n ) there exists f ∈ X * such that lim n→∞ f (x n ) = ∞ then (x n ) does not weak I-converge to any L ∈ X.
Proof. Let f ∈ X * such that lim n→∞ f (x n ) = ∞. Then, given ε > 0, the subset has a finite complement. Hence, since I is regular, N ∈ I, a contradiction.

Main Results
Throughout this section X will denote a real normed space. (The main results of this section can be easily recovered for the complex case.) A series ∑ i x i in a normed space X is said to be weakly Let ∑ i x i be a series in a Banach space X, let us define a i x i is I-convergent endowed with the supremum norm. This space will be called the I-convergence space associated to the series ∑ i x i . The following result characterizes the completeness of the space S I ∑ i x i .

Theorem 2.
Let X be a Banach space and let I ⊂ P (N) be a non-trivial regular ideal. The following conditions are equivalent: 1. ∑ i x i is a weakly unconditionally Cauchy series (wuc).
Proof. Let us show that (1) ⇒ (2). Since ∑ x i is wuc, the following supremum is finite: According to Theorem 1 (ii), since I is non-trivial, regular and X is complete, the sequence S 0 n is I-convergent if and only if it is I-Cauchy. Thus, we want to show that for any ε > 0 there exists k 0 ∈ N such that the subset On the other hand, since lim therefore, we obtain that for all m ≥ m 0 and for all j ∈ N, Now, let us observe that since a m 0 ∈ S I , we have that (S m 0 j ) is I-convergent. On the other hand, since I is regular we have equivalently that (S m 0 j ) is a I-Cauchy. Thus, for each ε > 0 there exists k 0 ∈ N such that the subset Now, let us observe that if S I (∑ i x i ) is a complete space, it contains the space of eventually zero sequences c 00 and therefore we have (2) ⇒ (3).
Then by Proposition 3 we have that ∑ n i=1 a i x i does not I-converge to any L ∈ X. Therefore (a i ) / ∈ S I (∑ i x i ), a contradiction.

Remark 1.
For future references, let us observe that in the proof of Theorem 2, the completeness is used only in the implication (1) ⇒ (2).
Next, we will try to describe a general frame for Theorem 2. We wish to extend Theorem 2 for a general convergence method ρ. However, we need to place some limits on the properties of ρ. Definition 1. Let ρ : D ρ ⊂ X N → X be a summability method on a metric space X. We will say that ρ is a natural summability method if there exists a non-trivial regular ideal I ⊂ P (N) such that That is, in the realm of all bounded sequences the convergence method ρ is equivalent to the summability method induced by a non-trivial regular ideal I.

Remark 2.
Let us mention that the above situation occurs very often. For instance, a classical example of natural summability method is the strong w p -Cesàro summability (0 < p < ∞), thanks to a beautiful result by Connor [16]. Let us recall that a sequence (x n ) n ⊂ X is strong w p -convergent to L ∈ X if lim n→∞ 1 n ∑ n i=1 x n − L p = 0. Connor established in [16], that if a sequence is strong w p -convergent then it is statistical convergent. Moreover, in the realm of all bounded sequences both convergence methods are equivalent. It is also well known that statistical convergence is a special case of ideal convergence.
Given a convergence method ρ for series in a normed space X we define abstractly the ρ-sequence space associated to a series ∑ i x i as follows: The proof of the following Corollary follows essentially the ideas of Theorem 2 and it is essentially trivial using the equivalence between ρ-convergence and ideal convergence for bounded series. Corollary 1. Let X be a Banach space and let ρ a natural summability method. Then, the following conditions are equivalent: 1. ∑ i x i is a weakly unconditionally Cauchy series (wuc). Proof. If X is complete then Theorem 2 shows that S I (∑ i x i ) is complete for each wuc series ∑ i x i .
Conversely, let us suppose that X is not complete. Then, there exists a series ∑ i x i with x i ≤ 1 i2 i such that ∑ i x i = x * * ∈ X * * \ X. Since X * * is a Banach space with the dual topology, if S n = ∑ n i=1 x i then sup y * ≤1 |y * (S n ) − x * * (y * )| → 0, that is, ∑ i y * (x i ) = x * * (y * ), for all y * ≤ 1.
Set y i = ix i . Since y i ≤ 1 2 i , we obtain that ∑ i y i is absolutely convergent, hence ∑ i y i is a wuc series. We claim that ∑ n i=1 1 i y i is not I-convergent in X. On the contrary, let us suppose that ∑ n i=1 1 i y i is I-convergent to L ∈ X. Thus, according to Proposition 2 for each y * ∈ X * with y * ≤ 1, we have that ∑ n i=1 1 i y * (y i ) I-converges to y * (L). Therefore, according to Proposition 1, we have the uniqueness of the limit, that is, x * * (y * ) = y * (L) for all y * ≤ 1. Hence x * * = L ∈ X, a contradiction. Therefore ∑ n i=1 1 i y i is not I convergent to any L ∈ X. Finally, since ∑ i y i is wuc and ∑ n i=1 1 i y i is not I convergent we have that 1 n ∈ c 0 but 1 n / ∈ S I (∑ i x i ) which is a contradiction with (3) in Theorem 2 (see also Remark 1), and the proof is complete.
Let us observe that the opposite implication of the next Corollary does not use the naturality of ρ in its full generality, thus for the converse implication, it is possible to refine the hypothesis; basically we need only to guarantee the uniqueness of some limits.

Corollary 2. Let ρ be a natural summability method. A normed space X is complete if and only if S
Proof. The first implication follows directly using Corollary 1. For the converse implication, let I be the ideal which guarantees the naturality of ρ. Let us suppose that X is not complete, then using the construction made in Theorem 3 there exists (x n ), with x n ≤ 1 n2 n , such that ∑ x n = x * * ∈ X * * \ X which implies that ∑ n y * (x n ) = x * * (y * ) for all y * ≤ 1.
If we consider the series ∑ n y n where y n = nx n , we have that ∑ n y n is wuc. We claim that S n = ∑ n i=1 1 i y i does not ρ-converge to any L ∈ X. Suppose on the contrary that S n ρ −→ L, since {S n } is bounded we have S n I −→ L. But the last assertion is not possible, according to Proposition 1, for all y * ∈ X * , we have that y * (L) = x * * (y * ), that is L = x * * ∈ X. Therefore, S n = ∑ i 1 i x i does not ρ-converge in X, however 1 i ∈ c 0 , this implies that c 0 is not contained in S ρ (∑ x i ), which contradicts Corollary 1. Theorem 2 has a counterpart for the weak topology in X. For an ideal I we can define the weak-I convergence space associated to a wuc series ∑ i x i : The proof of the following results mimics the proof of Theorem 2, we include it for the sake of completeness.
Theorem 4. Let I be a non-trivial and regular ideal. On a real Banach space X, the following conditions are equivalents: Proof. Let us show that (1) ⇒ (2). Since ∑ x i is wuc, the following supremum is finite: ) for all f ∈ X * . We claim that (z m ) is a Cauchy-sequence (convergence in norm). Indeed, let us fix ε > 0. There exists k 0 ∈ N such that a m − a 0 ∞ < ε 4H , for all m ≥ k 0 . Let us suppose that p, q ∈ N satisfy p, q ≥ k 0 . Let f 0 ∈ S X * (here S X * denotes the unit sphere in X * ) such that z p − z q = f 0 (z p − z q ). The vectors f 0 (z p ) and f 0 (z q ) are respectively I-limits of the sequences f 0 (S . Therefore, since I is non-trivial, there exist integers n k (in fact there exists an increasing sequence (n k )) such that We can suppose without loss that a p − a q = 0 otherwise there exists a subsequence of (a m ) which is constant, therefore we have trivially that a 0 ∈ S wI (∑ i x i ). Let us observe that for all n ∈ N therefore, Hence, using the equation z p − z q = f 0 (z p − z q ), the inequalities (2) and (4), and the triangular inequality we get z p − z q ≤ ε for all p, q ≥ k 0 as desired.
Using the same argument used when obtaining inequalities (3) and (4), if a m − a 0 ≤ ε 4H then for all f ∈ S X * and for all n ∈ N we get that Finally, since X is complete, let z 0 be the limit of the Cauchy sequence (z m ). We will show that for every f ∈ S x * , we have that f (S 0 n ) I −→ f (z 0 ). Indeed, let ε > 0, we wish to show that By Equation (5) Thus, if n ∈ A then: that is, we have show that A ⊂ B, that is, we get Statement (6), and this proves that a 0 ∈ S wI (∑ i x i ), as we desired. Now, let us observe that if S wI (∑ i x i ) is a complete space, it contains the space of eventually zero sequences c 00 and therefore we get (2) ⇒ (3). Finally, (3) ⇒ (1) follows by a similar argument like in Theorem 2, and this finishes the proof.
Let ρ be a summability method in R. We say that a sequence (x n ) in a normed space X is wρ-convergent to L ∈ X if for every f ∈ X * , we have that f (L) is the ρ-limit of the sequence ( f (x n )).
As a consequence of Theorem 4 we obtain the following result.

Corollary 3.
Let ρ be a natural summability method, then on a Banach space, the following conditions are equivalent: Finally, let us consider a summability method ρ : R N → R ∪ {±∞}. We say that ρ is regular in its full sense, if for each (x n ) n such that lim n→∞ x n = x, x ∈ R ∪ {±∞}, we have that x n ρ −→ x. The summability method ρ defines a natural summability method on the dual of a normed space . Thus ρ defines the following subspaces of ∞ .
The following result characterizes when a series in the dual space X * is wuc, when a Banach space X is barrelled.
Theorem 5. Let ρ be a full regular summability method in R. Let ∑ f i be a series in the dual space X * of a real normed space X. Let us consider the following conditions: 3. For all x ∈ X and M ⊂ N, the series ∑ i∈M f i (x) is ρ-convergent.
is pointwise bounded. Suppose on the contrary that there exists x 0 such that ∑ ∞ i=1 | f i (x 0 )| = ∞. Then we can decompose M + = {i ∈ N : f i (x 0 ) > 0} and M − = {i : f i (x 0 ) < 0}. Then either ∑ i∈M + f i (x 0 ) or ∑ i∈M − (− f i (x 0 )) diverges to infinity, since ρ is full regular, we have that ) does not ρ converges to any element, which is a contradiction with (3).

Some Applications
In this section we will see how the results on Section 3 unify the known results and how they can help us to anwer some open questions. Given a convergence method ρ for series in a normed space X we define abstractly the ρ-sequence space associated to a wuc-series ∑ i x i as follows Let us consider the following statements. Statement A. For a Banach space X, the following conditions are equivalent: Let ∑ x * i be a series in the dual space X * of a normed space X. In the following conditions we have (i) ⇒ (ii) ⇒ (iii). If X is barrelled, then (iii) ⇒ (i).
For all x ∈ X and M ⊂ N, the series ∑ i∈M x * i is ρ-convergent.
Norm Topology. It was established in [6], Theorems 2.1 and 2.2, that Statements A and B are valid when ρ is the norm convergence in X. When ρ is the weak convergence in X, this was obtained in [6], Lemma 3.1, Theorems 3.2 and 3.4. Statement C, was also proved in [6] Theorem 4.1. Let us mention that all results in [6] can be obtained from the results in Section 3, if we take the ideal I f in of the finite subsets of N.
Statistical Convergence and Strong w p -Cesàro Convergence. Statements A-C were obtained for ρ=the statistical convergence in [11] and more recently if ρ = strong w p -convergence in X ( [12] Theorem 3.1, and Theorem 3.4 (only for p ≥ 1). A sequence (x n ) in a normed space X is said to be weakly-w p convergent to L ∈ X if for every f ∈ X * we have lim n→∞ ∑ n i=1 | f (x i )− f (L)| p n = 0. The statements A-C were also obtained for the weak-w p convergence (see [12] Theorem 4.1). Let us remark that the methods of proof in [12] cannot cover Statement B for 0 < p < 1, this was an open question posed at [12]. Let us denote by d the usual density defined on the subsets of natural numbers. It is well known that the statistical convergence is a kind of ideal convergence, where the ideal is defined by I d = {A ⊂ N, : d(A) = 0}. On the other hand, it is well known by a result by J. Connor ([16]) that the strong Cesàro convergence is naturally defined, that is, there is an ideal (in this case the ideal is I d ) such that on the realm of all bounded sequences, the Strong Cesàro convergence and the I d -convergence are equivalents. Moreover, if a sequence converges w p strong to some limit L then the sequence also converges statistically to the same limit. Therefore all results in [11,12] can be obtained from the results in Section 3. Moreover, we solve the questions in [12] proving Theorem 3.4 for 0 < p < 1.

A-Statistical Convergence and A-Strong Convergence.
Let us consider a matrix A = (α ij ) (i,j)∈N×N with non-negative entries. A sequence (x i ) in the space X is said to be A-strong summable to L ∈ X, if lim n ∑ j α nj x j − L = 0. Also, the sequence (x j ) is said to be A-statistically convergent to L if for any ε > 0 lim n→∞ ∑ j x j −L ≥ε α nj = 0.