Share to: share facebook share twitter share wa share telegram print page

Absolute convergence

In mathematics, an infinite series of numbers is said to converge absolutely (or to be absolutely convergent) if the sum of the absolute values of the summands is finite. More precisely, a real or complex series is said to converge absolutely if for some real number Similarly, an improper integral of a function, is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, if A convergent series that is not absolutely convergent is called conditionally convergent.

Absolute convergence is important for the study of infinite series, because its definition guarantees that a series will have some "nice" behaviors of finite sums that not all convergent series possess. For instance, rearrangements do not change the value of the sum, which is not necessarily true for conditionally convergent series.

Background

When adding a finite number of terms, addition is both associative and commutative, meaning that grouping and rearrangment do not alter the final sum. For instance, is equal to both and . However, associativity and commutativity do not necessarily hold for infinite sums. One example is the alternating harmonic series

whose terms are fractions that alternate in sign. This series is convergent and can be evaluated using the Maclaurin series for the function , which converges for all satisfying :

Substituting reveals that the original sum is equal to . The sum can also be rearranged as follows:

In this rearrangement, the reciprocal of each odd number is grouped with the reciprocal of twice its value, while the reciprocals of every multiple of 4 are evaluated separately. However, evaluating the terms inside the parentheses yields

or half the original series. The violation of the associativity and commutativity of addition reveals that the alternating harmonic series is conditionally convergent. Indeed, the sum of the absolute values of each term is , or the divergent harmonic series. According to the Riemann series theorem, any conditionally convergent series can be permuted so that its sum is any finite real number or so that it diverges. When an absolutely convergent series is rearranged, its sum is always preserved.

Definition for real and complex numbers

A sum of real numbers or complex numbers is absolutely convergent if the sum of the absolute values of the terms converges.

Sums of more general elements

The same definition can be used for series whose terms are not numbers but rather elements of an arbitrary abelian topological group. In that case, instead of using the absolute value, the definition requires the group to have a norm, which is a positive real-valued function on an abelian group (written additively, with identity element 0) such that:

  1. The norm of the identity element of is zero:
  2. For every implies
  3. For every
  4. For every

In this case, the function induces the structure of a metric space (a type of topology) on

Then, a -valued series is absolutely convergent if

In particular, these statements apply using the norm (absolute value) in the space of real numbers or complex numbers.

In topological vector spaces

If is a topological vector space (TVS) and is a (possibly uncountable) family in then this family is absolutely summable if[1]

  1. is summable in (that is, if the limit of the net converges in where is the directed set of all finite subsets of directed by inclusion and ), and
  2. for every continuous seminorm on the family is summable in

If is a normable space and if is an absolutely summable family in then necessarily all but a countable collection of 's are 0.

Absolutely summable families play an important role in the theory of nuclear spaces.

Relation to convergence

If is complete with respect to the metric then every absolutely convergent series is convergent. The proof is the same as for complex-valued series: use the completeness to derive the Cauchy criterion for convergence—a series is convergent if and only if its tails can be made arbitrarily small in norm—and apply the triangle inequality.

In particular, for series with values in any Banach space, absolute convergence implies convergence. The converse is also true: if absolute convergence implies convergence in a normed space, then the space is a Banach space.

If a series is convergent but not absolutely convergent, it is called conditionally convergent. An example of a conditionally convergent series is the alternating harmonic series. Many standard tests for divergence and convergence, most notably including the ratio test and the root test, demonstrate absolute convergence. This is because a power series is absolutely convergent on the interior of its disk of convergence.[a]

Proof that any absolutely convergent series of complex numbers is convergent

Suppose that is convergent. Then equivalently, is convergent, which implies that and converge by termwise comparison of non-negative terms. It suffices to show that the convergence of these series implies the convergence of and for then, the convergence of would follow, by the definition of the convergence of complex-valued series.

The preceding discussion shows that we need only prove that convergence of implies the convergence of

Let be convergent. Since we have Since is convergent, is a bounded monotonic sequence of partial sums, and must also converge. Noting that is the difference of convergent series, we conclude that it too is a convergent series, as desired.

Alternative proof using the Cauchy criterion and triangle inequality

By applying the Cauchy criterion for the convergence of a complex series, we can also prove this fact as a simple implication of the triangle inequality.[2] By the Cauchy criterion, converges if and only if for any there exists such that for any But the triangle inequality implies that so that for any which is exactly the Cauchy criterion for

Proof that any absolutely convergent series in a Banach space is convergent

The above result can be easily generalized to every Banach space Let be an absolutely convergent series in As is a Cauchy sequence of real numbers, for any and large enough natural numbers it holds:

By the triangle inequality for the norm ǁ⋅ǁ, one immediately gets: which means that is a Cauchy sequence in hence the series is convergent in [3]

Rearrangements and unconditional convergence

Real and complex numbers

When a series of real or complex numbers is absolutely convergent, any rearrangement or reordering of that series' terms will still converge to the same value. This fact is one reason absolutely convergent series are useful: showing a series is absolutely convergent allows terms to be paired or rearranged in convenient ways without changing the sum's value.

The Riemann rearrangement theorem shows that the converse is also true: every real or complex-valued series whose terms cannot be reordered to give a different value is absolutely convergent.

Series with coefficients in more general space

The term unconditional convergence is used to refer to a series where any rearrangement of its terms still converges to the same value. For any series with values in a normed abelian group , as long as is complete, every series which converges absolutely also converges unconditionally.

Stated more formally:

Theorem —  Let be a normed abelian group. Suppose If is any permutation, then

For series with more general coefficients, the converse is more complicated. As stated in the previous section, for real-valued and complex-valued series, unconditional convergence always implies absolute convergence. However, in the more general case of a series with values in any normed abelian group , the converse does not always hold: there can exist series which are not absolutely convergent, yet unconditionally convergent.

For example, in the Banach space, one series which is unconditionally convergent but not absolutely convergent is:

where is an orthonormal basis. A theorem of A. Dvoretzky and C. A. Rogers asserts that every infinite-dimensional Banach space has an unconditionally convergent series that is not absolutely convergent.[4]

Proof of the theorem

For any we can choose some such that:

Let where so that is the smallest natural number such that the list includes all of the terms (and possibly others).

Finally for any integer let so that and thus

This shows that that is:

Q.E.D.

Products of series

The Cauchy product of two series converges to the product of the sums if at least one of the series converges absolutely. That is, suppose that

The Cauchy product is defined as the sum of terms where:

If either the or sum converges absolutely then

Absolute convergence over sets

A generalization of the absolute convergence of a series, is the absolute convergence of a sum of a function over a set. We can first consider a countable set and a function We will give a definition below of the sum of over written as

First note that because no particular enumeration (or "indexing") of has yet been specified, the series cannot be understood by the more basic definition of a series. In fact, for certain examples of and the sum of over may not be defined at all, since some indexing may produce a conditionally convergent series.

Therefore we define only in the case where there exists some bijection such that is absolutely convergent. Note that here, "absolutely convergent" uses the more basic definition, applied to an indexed series. In this case, the value of the sum of over [5] is defined by

Note that because the series is absolutely convergent, then every rearrangement is identical to a different choice of bijection Since all of these sums have the same value, then the sum of over is well-defined.

Even more generally we may define the sum of over when is uncountable. But first we define what it means for the sum to be convergent.

Let be any set, countable or uncountable, and a function. We say that the sum of over converges absolutely if

There is a theorem which states that, if the sum of over is absolutely convergent, then takes non-zero values on a set that is at most countable. Therefore, the following is a consistent definition of the sum of over when the sum is absolutely convergent.

Note that the final series uses the definition of a series over a countable set.

Some authors define an iterated sum to be absolutely convergent if the iterated series [6] This is in fact equivalent to the absolute convergence of That is to say, if the sum of over converges absolutely, as defined above, then the iterated sum converges absolutely, and vice versa.

Absolute convergence of integrals

The integral of a real or complex-valued function is said to converge absolutely if One also says that is absolutely integrable. The issue of absolute integrability is intricate and depends on whether the Riemann, Lebesgue, or Kurzweil-Henstock (gauge) integral is considered; for the Riemann integral, it also depends on whether we only consider integrability in its proper sense ( and both bounded), or permit the more general case of improper integrals.

As a standard property of the Riemann integral, when is a bounded interval, every continuous function is bounded and (Riemann) integrable, and since continuous implies continuous, every continuous function is absolutely integrable. In fact, since is Riemann integrable on if is (properly) integrable and is continuous, it follows that is properly Riemann integrable if is. However, this implication does not hold in the case of improper integrals. For instance, the function is improperly Riemann integrable on its unbounded domain, but it is not absolutely integrable: Indeed, more generally, given any series one can consider the associated step function defined by Then converges absolutely, converges conditionally or diverges according to the corresponding behavior of

The situation is different for the Lebesgue integral, which does not handle bounded and unbounded domains of integration separately (see below). The fact that the integral of is unbounded in the examples above implies that is also not integrable in the Lebesgue sense. In fact, in the Lebesgue theory of integration, given that is measurable, is (Lebesgue) integrable if and only if is (Lebesgue) integrable. However, the hypothesis that is measurable is crucial; it is not generally true that absolutely integrable functions on are integrable (simply because they may fail to be measurable): let be a nonmeasurable subset and consider where is the characteristic function of Then is not Lebesgue measurable and thus not integrable, but is a constant function and clearly integrable.

On the other hand, a function may be Kurzweil-Henstock integrable (gauge integrable) while is not. This includes the case of improperly Riemann integrable functions.

In a general sense, on any measure space the Lebesgue integral of a real-valued function is defined in terms of its positive and negative parts, so the facts:

  1. integrable implies integrable
  2. measurable, integrable implies integrable

are essentially built into the definition of the Lebesgue integral. In particular, applying the theory to the counting measure on a set one recovers the notion of unordered summation of series developed by Moore–Smith using (what are now called) nets. When is the set of natural numbers, Lebesgue integrability, unordered summability and absolute convergence all coincide.

Finally, all of the above holds for integrals with values in a Banach space. The definition of a Banach-valued Riemann integral is an evident modification of the usual one. For the Lebesgue integral one needs to circumvent the decomposition into positive and negative parts with Daniell's more functional analytic approach, obtaining the Bochner integral.

See also

Notes

  1. ^ Here, the disk of convergence is used to refer to all points whose distance from the center of the series is less than the radius of convergence. That is, the disk of convergence is made up of all points for which the power series converges.

References

  1. ^ Schaefer & Wolff 1999, pp. 179–180.
  2. ^ Rudin, Walter (1976). Principles of Mathematical Analysis. New York: McGraw-Hill. pp. 71–72. ISBN 0-07-054235-X.
  3. ^ Megginson, Robert E. (1998), An introduction to Banach space theory, Graduate Texts in Mathematics, vol. 183, New York: Springer-Verlag, p. 20, ISBN 0-387-98431-3 (Theorem 1.3.9)
  4. ^ Dvoretzky, A.; Rogers, C. A. (1950), "Absolute and unconditional convergence in normed linear spaces", Proc. Natl. Acad. Sci. U.S.A. 36:192–197.
  5. ^ Tao, Terrance (2016). Analysis I. New Delhi: Hindustan Book Agency. pp. 188–191. ISBN 978-9380250649.
  6. ^ Strichartz, Robert (2000). The Way of Analysis. Jones & Bartlett Learning. pp. 259, 260. ISBN 978-0763714970.

Works cited

General references

Read other articles:

Compagnie Générale des Automobiles Rechtsform Compagnie Gründung 1895 Auflösung 1898 Sitz Paris, Frankreich Branche Automobilindustrie Triouleyres war eine französische Automarke.[1][2] Inhaltsverzeichnis 1 Unternehmensgeschichte 2 Fahrzeuge 3 Literatur 4 Weblinks 5 Einzelnachweise Unternehmensgeschichte Die Aktiengesellschaft Compagnie Générale des Automobiles aus Paris wurde im Dezember 1895 gegründet[3] begann 1896 mit der Produktion von Automobilen, die als...

 

 

Griffin performing stand up in Las Vegas in 2008 Comedian Kathy Griffin has released 20 television specials, three original comedy albums, and one concert film. Television HBO # Title Original airdate Filming location Segments Notes 1 HBO Comedy Half-Hour: Kathy Griffin(season 3, episode 11) October 18, 1996 The FillmoreSan Francisco, California Griffin's first guest spot on the Seinfeld episode The Doll Griffin's attempt to find a male prostitute The Jerry Springer Show Meeting Salt-n-Pepa G...

 

 

Colette BraeckmanCollecte Braeckman et Thierry Michel en 2016BiographieNaissance 20 avril 1946 (77 ans)IxellesNationalité belgeActivité JournalisteAutres informationsBlog officiel blog.lesoir.be/colette-braeckmanmodifier - modifier le code - modifier Wikidata Pour les articles homonymes, voir Braeckman. Colette Braeckman est une journaliste belge, née le 20 avril 1946, à Ixelles. Elle a été longtemps grand reporter au service international du Soir, pour lequel elle a couvert les gr...

Montañas de los Cárpatos en Rumania. Las montañas Gurghiu están al norte del centro de esta imagen. Las montañas Gurghiu vistas desde Ditrău y Remetea Las montañas Gurghiu (rumano: Munții Gurghiu, húngaro: Görgény) son una cordillera en las montañas Căliman-Harghita de los Cárpatos orientales, Rumania, en la región de Transilvania. Cubren un área de 581.76 km². Las montañas son relativamente bajas, pero bien arboladas y de gran belleza natural. Son conocidas por la abundanci...

 

 

For other ships with the same name, see USS Nicholas. USS Nicholas (FFG-47) History United States NameNicholas NamesakeMajor Samuel Nicholas Awarded28 April 1980 BuilderBath Iron Works, Bath, Maine Laid down27 September 1982 Launched23 April 1983 Sponsored byMrs. Florence E. Tryon (Mitchell) Commissioned10 March 1984 Decommissioned17 March 2014 HomeportNorfolk, Virginia Identification Hull symbol: FFG-47 MMSI number: 200167914 Code letters: NSVN MottoCarrying on a Proud Tradition StatusUnderg...

 

 

ود و د تصوير ود في معبد أرنيدع مركز العبادة الرئيسي براقش، دادان مقر نشان الحيوانات الثعبان المنطقة اليمن تعديل مصدري - تعديل   وَدّ (بخط المسند: ) هو الإله القومي لمملكة معين في جنوب الجزيرة العربية قبل الإسلام، وكان إلها مهماً لمملكة أوسان.[1] ويرمز إلى القمر. ورد ذكره...

Martin FričMartin Frič pada 1938Lahir(1902-03-29)29 Maret 1902Praha, Bohemia, Austria-Hungaria (kini Republik Ceko)Meninggal26 Agustus 1968(1968-08-26) (umur 66)Praha, CekoslowakiaPekerjaanSutradara, penulis naskahTahun aktif1922-1968Suami/istriSuzanne Marwille Martin Frič (29 Maret 1902 – 26 Agustus 1968) adalah seorang sutradara, penulis naskah dan pemeran asal Ceko.[1] Ia menyutradarai lebih dari 100 film antara 1929 dan 1968, yang meliputi film-film fi...

 

 

سيرو نافيا    علم شعار الاسم الرسمي (بالإسبانية: Cerro Navia)‏    الإحداثيات 33°25′00″S 70°43′00″W / 33.416666666667°S 70.716666666667°W / -33.416666666667; -70.716666666667  [1] تاريخ التأسيس 1981  تقسيم إداري  البلد تشيلي[2]  التقسيم الأعلى محافظة سانتياغو  خصائص جغرافية &...

 

 

بارفاتي   زوجات شيفا  ذرية غانيشا،  وكارتيكيا  تعديل مصدري - تعديل   تمثال بارفاتي بارْوَتِيِ (पार्वती) في الهندوسية هي إلهة وزوجة شيڤا أحد أهم الآلهة في الهندوسية، وأم غانيش وسكاندا.[1][2][3] معنى بارڤاتي في السنسكريتية بنت الجبل وتدعى في التعاليم ا

إيفان ليون معلومات شخصية الميلاد 3 مارس 1967 (العمر 56 سنة)غواتيمالا العاصمة  مركز اللعب مدافع الجنسية غواتيمالا  مسيرة الشباب سنوات فريق Modelito Deportivo Esso Recreo Texaco Company المسيرة الاحترافية1 سنوات فريق م. (هـ.) 1985–1986 Deportivo Escuintla 1987 كوميونيكيشنس 1988 Deportivo Escuintla 1989 كوبان إمبيريال 1990–1...

 

 

Координати: 48°00′10″ пн. ш. 37°48′19″ сх. д. / 48.0028° пн. ш. 37.8053° сх. д. / 48.0028; 37.8053 Про територію у складі Російської імперії див. Новоросія. Новоросіярос. Новороссия Участь у війнах: Російська збройна агресія проти України Лідери: Леонід Пасічни�...

 

 

American lacrosse player For the rugby league player, see Ryan Boyle (rugby league). For the Paralympic cyclist, see Ryan Boyle (cyclist). Ryan BoyleBorn (1981-11-22) November 22, 1981 (age 42)Hunt Valley, MarylandNationalityAmericanHeight5 ft 11 in (1.80 m)Weight180 pounds (82 kg)ShootsRightPositionAttackNLL draft3rd overall, 2004San Jose StealthNLL teamsSan Jose Stealth (2005–2006)New York Titans (2007–2009)Orlando Titans (2010)Philadelphia Wings (2011)M...

Wappen Deutschlandkarte 49.7847222222228.1941666666667148Koordinaten: 49° 47′ N, 8° 12′ O Basisdaten Bundesland: Rheinland-Pfalz Landkreis: Alzey-Worms Verbandsgemeinde: Alzey-Land Höhe: 148 m ü. NHN Fläche: 18,27 km2 Einwohner: 3964 (31. Dez. 2022)[1] Bevölkerungsdichte: 217 Einwohner je km2 Postleitzahl: 55239 Vorwahl: 06733 Kfz-Kennzeichen: AZ Gemeindeschlüssel: 07 3 31 032 Gemeindegliederung: 2 Ortstei...

 

 

«Декамерон. 10 українських прозаїків останніх десяти років» ОбкладинкаКраїна  УкраїнаМова українськаВидавництво Клуб Сімейного ДозвілляВидано 2010Сторінок 320ISBN 978-966-14-0808-0 «Декамерон» — антологія сучасної української прози (2010), до якої увійшли нові оповідання деся�...

 

 

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Maragatha Veenai film – news · newspapers · books · scholar · JSTOR (October 2023) (Learn how and when to remove this template message) 1986 Indian filmMaragatha VeenaiTitle cardDirected byGokula KrishnanScreenplay byGokula KrishnanStory byT. R. SekharProd...

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article contains content that is written like an advertisement. Please help improve it by removing promotional content and inappropriate external links, and by adding encyclopedic content written from a neutral point of view. (September 2019) (Learn how and when to remove this template message) The topic of this article may not meet Wik...

 

 

United States historic placeUS Post Office and Courthouse--AlexandriaU.S. National Register of Historic Places U.S. Post Office and Court HouseShow map of LouisianaShow map of the United StatesLocation515 Murray St.,Alexandria, LouisianaCoordinates31°18′38″N 92°45′40″W / 31.31056°N 92.76111°W / 31.31056; -92.76111Area1 acre (0.40 ha)Built1932ArchitectEdward F. NeildArchitectural styleArt Deco, ModerneNRHP reference No.00000501[1]...

 

 

сельское поселение (упразднено)Фарафоновское сельское поселение Страна Россия Входит в Кашинский район Тверской области Адм. центр д.Фарафоновка Глава поселения Ермакевич Николай Николаевич История и география Дата образования 2005 Дата упразднения 2018 Площадь 207 км² ...

1975–76 concert tour by Bob Dylan Rolling Thunder RevueTour by Bob DylanHarvard Square Theater concert poster, November 20, 1975LocationNorth AmericaStart dateOctober 30, 1975 (1975-10-30)End dateMay 25, 1976 (1976-05-25)Legs2No. of shows57First leg: 30Second leg: 27Bob Dylan concert chronology Bob Dylan and the Band Tour(1974) Rolling Thunder Revue(1975–76) World Tour(1978) The Rolling Thunder Revue was a 1975–76 concert tour by American singer-songwriter ...

 

 

Austrian footballer Andreas Gruber Gruber with SK Sturm Graz in 2015Personal informationFull name Andreas GruberDate of birth (1995-06-29) 29 June 1995 (age 28)Place of birth Lienz, AustriaHeight 1.74 m (5 ft 9 in)Position(s) WingerTeam informationCurrent team Austria WienNumber 17Youth career0000–2012 Sturm GrazSenior career*Years Team Apps (Gls)2012–2017 SK Sturm Graz II 58 (19)2014–2017 Sturm Graz 58 (5)2017–2020 Mattersburg 78 (22)2020–2022 LASK 31 (5)2022–...

 

 

Kembali kehalaman sebelumnya