Completeness of Ordered Fields and a Trio of Classical Series Tests

and Applied Analysis 3 Aswe shall see inTheorem6 in the final section, the validity of either of the tests of Dedekind orDirichlet in an ordered field is equivalent to the Cauchy completeness of the field. In a similar vein, it was recently confirmed in [15] that a normed linear space is a Banach space precisely when a suitable vector version of Dedekind’s test holds and, moreover, that a unital normed algebra is a Banach algebra if and only if an algebra version of Dedekind’s test is valid. 3. Sequences of Bounded Variation The set of all sequences of elements of the ordered field F having bounded variation will be denoted by bVF . Examples abound. Indeed, sequences that are monotone and bounded automatically have bounded variation: if (an)n∈N is increasing, for example, with |an| ≤ K for all n ∈ N, then


Introduction
The main theorems of calculus derive their validity from the completeness property of the real numbers, but the extent of the interconnectedness of the theorems themselves is continuing to come into sharper focus.The "real analysis in reverse" program, as described in [1], is shedding light on the fact that so many of the theorems of real analysis are actually equivalent reformulations of the notion of completeness and hence of one another.In addition to [1], the flurry of recent articles [2][3][4][5][6][7][8][9] is dedicated to the study of abstract ordered fields, particularly the various ways in which the Archimedean and completeness properties are manifested.
An ordered field F has the Archimedean property if the canonically embedded copy of the natural numbers is not bounded above.Equivalent expressions of the Archimedean property are many, and several of the articles cited above treat them.Discussions of completeness center around Dedekind completeness and Cauchy completeness.The former means that F has the supremum property; namely, every nonempty subset of F that is bounded above has a least upper bound in F; the latter, also called sequential completeness, entails the convergence of all Cauchy sequences in F.
The ordered field F is topologized by the basic open intervals (, ) = { ∈ F :  <  < }, for all elements ,  ∈ F, while the absolute value function for F is defined by || = max{−, } for all  ∈ F. Absolute value works in conjunction with the order topology to lend a familiar meaning to analytic aspects of F. For example, a sequence (  ) of elements of F converges to  ∈ F if, for every positive element  in F, there is a natural number  for which |  −| <  whenever  ≥ .The definition of a Cauchy sequence in F also parallels its counterpart from real analysis.
It is easy to prove that a field that is Dedekind complete has the Archimedean property, and it is well known that a field that is Dedekind complete is also Cauchy complete.Moreover, if an Archimedean ordered field is Cauchy complete, then it must be Dedekind complete (CA35 of [3] or Sections 1-2 of [8]); such a field is, up to isomorphism, the field R of real numbers.Behind all this, of course, is Cantor's classical construction of the real numbers as the Cauchy completion of the rationals ( [10]).A remarkable fact about ordered fields with the Archimedean property is that they are precisely those that are isomorphic to subfields of R (Theorem 3.5 of [5] or Section 4 of [1]).
Series tests are among the many theorems from calculus that have been considered in the classification of ordered fields.An elementary example from the Classroom Capsule [6] exposes the equivalence of the geometric series test and We document the connection between completeness and these two series tests in the following theorem which may be viewed as a modest complement to the main result of [2].Theorem 1 will be an important tool in this article.Proof.The fact that the absolute convergence test characterizes Cauchy completeness for ordered fields is proven in the article [2].
The validity of the comparison test in fields that are Cauchy complete follows by noting that convergence of the series ∑   implies that its sequence (  ) of partial sums is convergent and hence Cauchy.The sequence (  ) of partial sums of the series ∑   is therefore also Cauchy, from which the convergence of the series ∑   follows from the Cauchy completeness of the field.
Finally, to see that the absolute convergence test holds whenever the comparison test does, observe that, for all , the inequalities are true in F, setting the stage for the comparison test to ensure that the series ∑(  +|  |) converges.Since also ∑ −|  | converges, it follows that ∑   converges.
Theorem 1 refines a result of [8] on the characterization of Dedekind complete ordered fields in terms of the Archimedean property together with either (b) or (c).
The equivalence of statements (a) and (b) of Theorem 1 appears mutatis mutandis in functional analysis where it is known that a normed linear space is a Banach space if and only if the absolute convergence test for series is valid (Theorem 2.8 of [11] or Statement (VIII) of [12]).
Our goal in the present article is to involve the series tests of Dirichlet, Dedekind, and Abel in the taxonomy of ordered fields.The classical versions of these may be found, for example, in [13] or [14], but each has meaning in the more general abstract context.We devote Section 2 to their statements and a short discussion of them.Like the absolute convergence test and the comparison test, Dirichlet's, Dedekind's, and Abel's tests are connected with completeness in the sense of both Dedekind and Cauchy.These relationships are detailed in Sections 4 and 5. Along the way, we explore the role of sequences of bounded variation in ordered fields.

The Series Tests of Dirichlet, Dedekind, and Abel
The hypothesis of Dedekind's test calls for the sequence (  ) to have bounded variation which, in the setting of the ordered field F, means that there is an element  ∈ F for which the inequality ∑  =1 | +1 −   | ≤  holds for all  ∈ N. We will treat sequences of bounded variation in some detail in the next section.Without further ado, here is the trio of series tests under consideration for an arbitrary ordered field.
Dirichlet's Test.If ∑   is a series whose partial sums form a bounded sequence and (  ) is a decreasing sequence that converges to 0, then the series ∑     converges.
Dedekind's Test.If ∑   is a convergent series and (  ) is a sequence of bounded variation, then the series ∑     converges.
Abel's Test.If ∑   is a convergent series and (  ) is a monotone convergent sequence, then the series ∑     converges.
Dirichlet's test is recognizable as a generalization of Leibniz's alternating series test from calculus (Theorem 3.4.2 of [14]) and, as Apostol mentions in Section 8.15 of [13], these three tests are useful tools when one is confronted with the task of trying to determine convergence of real series that do not converge absolutely.Moreover, as Knopp points out in Section 5.5 of [14], a common feature of the tests in this trio is that they all allow conclusions to be drawn about the series ∑     from assumptions concerning the series ∑   and the sequence (  ).Knopp remarks that such tests may be construed as "comparison tests in the extended sense," and he also includes a few applications and examples of them.
It turns out that Abel's test can be inferred from Dedekind's test, since, as explained in the next section, every monotone convergent sequence has bounded variation.A moment's reflection reveals that Abel's test is also a corollary of Dirichlet's test.Indeed, the sequence of partial sums of a convergent series ∑   is bounded, so attention needs only to be directed to the stipulation that (  ) is a monotone convergent sequence.If (  ) is decreasing and its limit is , then the auxiliary sequence given by   =   −  is also decreasing, and it converges to 0. Dirichlet's test thus ensures that the series ∑     converges.The convergence of the series ∑     follows easily from algebraic properties of convergent series.The case that (  ) is increasing with limit  is handled analogously, since this time the sequence (−  ) decreases to 0.
None of the series tests of Dedekind, Dirichlet, or Abel is, on its own, strong enough to imply Dedekind completeness for an ordered field F in which it holds.If F is Archimedean, however, and any of these three tests is in force, then it will follow from Theorem 3 that F is Dedekind complete.The linchpin is a contractive-type property for certain sequences in Archimedean ordered fields which is detailed in Lemma 4.
As we shall see in Theorem 6 in the final section, the validity of either of the tests of Dedekind or Dirichlet in an ordered field is equivalent to the Cauchy completeness of the field.In a similar vein, it was recently confirmed in [15] that a normed linear space is a Banach space precisely when a suitable vector version of Dedekind's test holds and, moreover, that a unital normed algebra is a Banach algebra if and only if an algebra version of Dedekind's test is valid.

Sequences of Bounded Variation
The set of all sequences of elements of the ordered field F having bounded variation will be denoted by V F .Examples abound.Indeed, sequences that are monotone and bounded automatically have bounded variation: if (  ) ∈N is increasing, for example, with which shows that (  ) ∈N has bounded variation.Sequences of bounded variation are always bounded since, for any  ∈ N, But, in general, there is no relationship between V F and the set  F of convergent sequences in F. For example, in any Archimedean ordered field, the sequence converges to 0, but it does not have bounded variation, whereas, in any non-Archimedean ordered field, it has bounded variation but does not converge.In fact, in a non-Archimedean ordered field, any sequence of rational numbers has bounded variation.Like their counterparts in the realm of functions on an interval (see Section 6.7 of [13]), sequences of bounded variation admit a Jordan decomposition.Specifically, a sequence (  ) ∈N in V F may be resolved into the difference of two bounded increasing sequences (  ) ∈N and (  ) ∈N in a canonical way.Indeed, it is easily verified that this is accomplished by the choice   = (V  +   )/2 and   = (V  −   )/2 for all  ∈ N, where V 1 = 0 and V  = ∑ −1 =1 | +1 −   | for all  ≥ 2. Since, by Proposition 4 of [9], the Archimedean property of an ordered field F is characterized by the condition that all increasing sequences that are bounded above are Cauchy sequences, the Jordan decomposition now reveals that F has the Archimedean property if and only if every sequence of bounded variation in F is a Cauchy sequence.
Moreover, if every sequence of bounded variation in F happens to converge, then, because we have seen that every monotone bounded sequence lies in V F , the monotone convergence theorem holds for F. The monotone convergence theorem is a stalwart among the statements that are equivalent to Dedekind completeness (CA13 of [3] or Section 1 of [8]), so we conclude that a field for which the inclusion V F ⊆  F holds must be Dedekind complete.
The hypotheses for Abel's test seem to vary slightly in the literature.The version we work with follows Theorem 8.29 of [13] in requiring a convergent series ∑   and a monotone convergent sequence (  ).However, in the statement of Abel's test that is Theorem 5.5.1 of [14], the series ∑   is still required to be convergent, whereas the sequence (  ) is only assumed to be monotone and bounded.The two versions are equivalent precisely when the underlying field is R.Moreover, on account of the Jordan decomposition, it turns out that, in any field, the latter version is equivalent to Dedekind's test.
As we see, facts about sequences of bounded variation may often be deduced from properties of monotone sequences.Though they find themselves somewhat overshadowed by monotone sequences, sequences of bounded variation still play a role in analysis.It turns out that Dedekind's test is the easier half of the result that says that the topological dual space of the Banach space  R of all real sequences (  ) for which the associated series ∑   converges may be identified with V R (Exercise IV.13.12 of [16]).Sequences of bounded variation rear their heads again in the related context of summability theory: in order that an infinite matrix defines a transformation that maps  R into  R , one of the necessary and sufficient conditions is that each of its rows is in V R (Theorem 5.6.1 of [14] or Exercise II.4.45 of [16]).

Lemma 2. If the ordered field F is Cauchy complete, then the series tests of Dirichlet, Dedekind, and Abel all hold.
Proof.The identity for summation by parts due to Abel (Theorem 8.27 of [13]), a well-known analogue for integration by parts in a Riemann-Stieltjes integral, carries over to the setting of an abstract field (or, in fact, of any ring) verbatim: for elements  1 , . . .,   and  1 , . . .,   of F and   = ∑  =1   for  = 1, . . ., , the following equality holds: As in the classical approach, it seems natural to deduce the convergence of the series ∑     by establishing the convergence of the two sequences on the right hand side of the preceding formula.
In the case of Dirichlet's test, this method turns out to be successful in an arbitrary Cauchy complete field, thanks to Theorem 1. Indeed, the hypotheses of Dirichlet's test easily ensure that (   +1 ) and ∑ | +1 −   | both converge.Hence, if  denotes a positive upper bound on the sequence of partial sums (  ), then the series ∑ ∞ =1 | +1 −  | converges.By Theorem 1, we obtain the convergence of the series ∑ ∞ =1 |  ( +1 −   )| from the comparison test and then the desired convergence of the series ∑ ∞ =1   ( +1 −   ) from the absolute convergence test.
However, more work is needed for Dedekind's test, since the convergence of sequences of bounded variation is guaranteed only in the setting of a Dedekind complete ordered field.We therefore separate the following two cases.
If the Cauchy complete field F happens to be Archimedean, then F is Dedekind complete, and we are in the classical setting F = R for which Dedekind's and Abel's tests are, of course, immediate from the preceding partial summation formula.
It thus remains to address the case that F is non-Archimedean.Since the hypotheses for Dedekind's and Abel's tests ensure that   → 0 as  → ∞ and that the sequence (  ) is bounded, we have that     → 0 as  → ∞.Convergence of the series ∑     thus follows from part (b) of the main theorem of [2].

Dedekind Completeness and Series Tests
We now involve the trio of series tests in a list of statements about an ordered field that are equivalent to Dedekind completeness.
Theorem 3.For an ordered field F, the following statements are equivalent: (e) F is Archimedean and Dedekind's test holds.
(f) F is Archimedean and Abel's test holds.
As indicated in the previous section, the equivalence of statements (a) and (b) is well known, and the equivalence of (b) and (c) is clear from the Jordan decomposition for sequences of bounded variation.
Because a field that is Dedekind complete is Archimedean and Cauchy complete, the implications (a) ⇒ (d) and (a) ⇒ (e) follow from Lemma 2. The implications (d) ⇒ (f) and (e) ⇒ (f) are consequences of the fact that Dirichlet's test and Dedekind's test both imply Abel's test, as detailed toward the end of Section 2.
It thus remains to establish that (f) ⇒ (b).Our proof will be based on the following result.Lemma 4. Let  be a positive element of the Archimedean ordered field F, and let (  ) ∈N be a strictly increasing bounded sequence in F. Then there exists a subsequence (   ) ∈N such that Proof.By the characterization of Archimedean fields mentioned earlier, we may and do assume that F is a subfield of R. Then there exists an element  ∈ R for which   →  as  → ∞.The inductive choice of the desired subsequence will be straightforward once we know that for every  ∈ N there exists some  ∈ N with  >  such that the estimate holds for all  ∈ N with  > .For this, fix  ∈ N, and note that whenever  ∈ N satisfies  >  the inequality ( +1 −   ) ≤ (  −   ) automatically holds.Now, take  ∈ N so large that  >  and  −   < ( +1 −   ).Then, for all  ∈ N with  > , we obtain To complete the proof of the lemma, we choose  1 = 1 and then, by induction, a sequence of integers   ∈ N with   <  +1 such that the a priori estimate holds for all  ∈ N and  ∈ N with  >  +1 .Once a subsequence (   ) ∈N with the preceding property has been chosen, for each  ∈ N we may take  =  +2 to conclude that the sequence satisfies the conclusion of the lemma.
We mention in passing that the preceding result remains valid for increasing, rather than strictly increasing, sequences provided that the strict inequality < in the assertion is replaced by ≤.Indeed, this is obvious in the case of an increasing sequence that is eventually constant, while every increasing bounded sequence that fails to be eventually constant admits a strictly increasing subsequence to which Lemma 4 may be applied.
We are now ready to finish the proof of Theorem 3.
Proof of () ⇒ ().Suppose that F is an Archimedean ordered field for which Abel's test holds, and consider an arbitrary increasing bounded sequence (  ) ∈N in F. To see that this sequence converges in F, we may suppose that it is not eventually constant and thus admits a strictly increasing subsequence.Since an increasing sequence converges in F precisely when it contains a convergent subsequence, we may, without loss of generality, assume that (  ) ∈N is actually strictly increasing.We then apply Lemma 4 with the choice  = 1/4 to obtain a subsequence (   ) ∈N for which for all  ∈ N. As before, it suffices to show that this subsequence converges in F. This will now be established by an application of Abel's test and the Archimedean property for the field F. For this, we introduce for all  ∈ N. Because F is Archimedean, we know from [6] that the geometric series (12) Abstract and Applied Analysis 5 converges in F.Moreover, the choice of the subsequence (   ) ∈N ensures that and therefore 0 <  +1 < (1/2  ) 1 for all  ∈ N. Thus (  ) decreases to 0. By Abel's test, we now conclude that the sequence of partial sums ∑  =1     converges in F. Since telescoping shows that for all  ∈ N, this confirms the desired convergence of (   ) ∈N .
While the geometric series test is certainly not, on its own, strong enough to guarantee completeness, the Classroom Capsule [6], together with Theorem 3, shows that if F is an ordered field in which the geometric series test, along with any of the tests of Dirichlet, Dedekind, or Abel holds, then F is Dedekind complete.Theorem 3 also reveals that the only subfield of R in which Dirichlet's, Dedekind's, or Abel's test holds is the field R of real numbers itself.There are, however, many non-Archimedean ordered fields in which each of these three tests holds.We will take up this issue after an example.Example 5.An example that simultaneously illustrates the failure of each of the three tests in the field Q of rational numbers is provided by the geometric series ∑ ∞ =1 1/2  and the harmonic sequence (1/) ∈N .The series converges in Q, so its partial sums are bounded, and the sequence is a decreasing sequence that converges to 0. The hypotheses of Dirichlet's test are thus satisfied.We invoke some calculus to show that the series ∑ ∞ =1 1/(2  ) does not, however, converge in Q.The Taylor series for (1 − ) −1 , valid whenever || < 1, is the familiar geometric series 1++ 2 + 3 +⋅ ⋅ ⋅ .Term-by-term integration yields the series where the equality is valid for the same radius of convergence.
The choice  = 1/2 reveals ∑ ∞ =1 1/(2  ) = log 2. But log 2 is irrational, since otherwise the equation log 2 = / with ,  ∈ N would entail that the number  is a root of the polynomial   − 2  , contradicting the fact that  is transcendental, a celebrated result of Hermite dating back to 1873 (Chapter 15 of [17]).The conclusion of Dirichlet's test thus does not hold for Q.These data also show that Dedekind's and Abel's tests fail in Q.

Cauchy Completeness and Series Tests
We conclude with a return to the case of Cauchy completeness and the following extension of Theorem 1.To prove the convergence of ∑   under condition (e), we first note that the convergence of the series ∑ |  | entails that the sequence of partial sums of the series ∑   is a Cauchy sequence.So, to meet our goal, it suffices to show that the sequence of partial sums of the series ∑   has a convergent subsequence.This will be accomplished by the following construction.
The supposition that ∑ |  | converges implies that |  | → 0 as  → ∞, and, without loss of generality, we assume that the sequence (|  |) is not eventually 0. Invoking the procedure detailed in the proof of the classical monotone convergence theorem (Theorem 3.4.7 of [18]), we inductively extract a decreasing "peak" subsequence (|   |) as follows.We start by selecting for all  ∈ N, we conclude that the sequence of partial sums of the series ∑   has indeed a convergent subsequence, so we have reached our stated goal.
An anonymous referee graciously offered the equivalence of statements (a), (d), and (e) of Theorem 6 together with an outline of a proof.The suggested argument to establish the fact that Cauchy completeness is a consequence of Dirichlet's test was based on the main theorem of [2] along with results about rearrangements of series with nonnegative terms.In the end, we chose our own version of the proof of (e) ⇒ (b) on account of its direct focus on the absolute convergence test.The question of whether the validity of Abel's test in an arbitrary ordered field implies that the field is Cauchy complete remains open.

Theorem 1 .
For an ordered field F, the following statements are equivalent: (a) F is Cauchy complete.(b) The absolute convergence test holds.(c) The comparison test holds.
(a) F is Dedekind complete.(b) Sequences in F that are monotone and bounded are convergent.(c) V F ⊆  F .(d) F is Archimedean and Dirichlet's test holds.

Theorem 6 .
For an ordered field F, the following statements are equivalent: (a) F is Cauchy complete.(b) The absolute convergence test holds.(c) The comparison test holds.(d) Dedekind's test holds.(e) Dirichlet's test holds.Proof.The equivalence of statements (a), (b), and (c) was handled in Theorem 1, and the implications (a) ⇒ (d) and (a) ⇒ (e) were addressed in Lemma 2. By Theorem 3, it thus suffices to establish (d) ⇒ (b) and (e) ⇒ (b) in the non-Archimedean case.To this end, we consider an arbitrary sequence (  ) in a non-Archimedean field F for which the series ∑ |  | converges.If (d) holds, then we choose   ∈ {−1, 1} such that   =   |  | for all  ∈ N and observe that the sequence of partial sums ∑  =1 | +1 −   | is bounded above in F, since F fails to be Archimedean.Thus Dedekind's test ensures that ∑   = ∑   |  | converges in F, which confirms that (d) implies (b).

2
Abstract and Applied Analysis the Archimedean property.Other familiar tests that enter the fray are given as follows.Absolute Convergence Test.If (  ) is a sequence of elements in the ordered field F for which the series ∑ |  | converges, then the series ∑   also converges.Comparison Test.If (  ) and (  ) are sequences of nonnegative elements in the ordered field F that satisfy   ≤   for all  and ∑   converges, then ∑   converges.