절대 수렴은 무한 수열의 연구에 대해 중요한데 왜냐하면 그것의 정의는 모든 수렴 수열이 소유하지는 못하지만, 여전히 공통적으로 발생하기에 충분히 넓은 유한 합의 속성을 가질 정도로 충분히 강하기 때문입니다. (절대적으로 수렴하지 않는 수렴하는 급수는 조건적으로 수렴(conditionally convergent)이라고 불립니다.) 절대적으로 수렴하는 급수는 "멋지게" 행동합니다. 예를 들어, 재배치는 합의 값을 변경하지 않습니다. 이것은 조건적으로 수렴하는 급수에 대해 참이 아닙니다: 교대하는 조화 급수(alternating harmonic series)는 에 수렴하고, 반면에 (부호의 반복되는 패턴은 두 개의 양의 항 다음에 하나의 음의 항이 오는) 그것의 재배치 는 에 수렴합니다.
Background
유한 합에서, 항이 더해지는 순서는 중요하지 않습니다. 1 + 2 + 3은 3 + 2 + 1과 같습니다. 어쨌든, 이것은 무한하게 많은 숫자를 더할 때는 참이 아니고, 그것이 참이라고 잘못 가정하면 명백한 역설로 이어질 수 있습니다. 한 가지 고전적인 예제는 교대하는 합입니다:
그것의 합은 +1과 –1 사이를 교대합니다. S의 값은 무엇입니까? S를 평가하는 한 가지 방법은 첫 번째와 두 번째 항, 세 번째와 네 번째 항, 등을 그룹화하는 것입니다:
그러나 S를 평가하는 또 다른 방법은 첫 번째 항을 그대로 두고 두 번째와 세 번째 항을 그룹화하고, 그런-다음 네 번째와 다섯 번째 항을 그룹화하고, 이런 식으로 계속하는 것입니다:
이것은 명백한 역설로 이어집니다: 또는 입니까?
그 대답은 S가 절대적으로 수렴(converge)하지 않기 때문에, 그것의 항을 재정렬하면 합의 값이 변경된다는 것입니다. 이것은 와 가 같지 않음을 의미합니다. 사실, 급수 는 수렴하지 않으므로, S는 애초에 찾을 값을 가지지 않습니다. 절대적으로 수렴하는 급수는 이런 문제를 가지지 않습니다: 그것의 항을 재배열해도 합의 값은 변경되지 않습니다.
Definition for real and complex numbers
실수 또는 복소수의 합 은 만약 항의 절댓값의 합 이 수렴(converges)하면 절대적으로 수렴합니다.
만약 가 메트릭 에 관해 완비(complete)이면, 모든 각 절대적으로 수렴 급수는 수렴합니다. 그 증명은 복소-값 수렴에 대한 것과 같습니다: 수렴에 대해 코시 기준을 유도하기 위해 완비성을 사용하고 – 급수가 수렴인 것과 그것의 꼬리는 노름에서 임의적으로 작게 만들어질 수 있는 것은 필요충분 조건입니다 – 삼각형 부등식을 적용합니다.
특히, 임의의 바나흐 공간(Banach space)에서 값을 갖는 급수에 대해, 절대 수렴은 수렴을 의미합니다. 그 전환은 역시 참입니다: 만약 절대 급수가 노름 공간에서 수렴을 의미하면, 그 공간은 바나흐 공간입니다.
Proof that any absolutely convergent series of complex numbers is convergent
가 수렴한다고 가정합니다. 그런-다음 동등하게, 는 수렴하며, 이것은 와 가 비-음의 항의 항별 비교에 의해 수렴한다는 것을 의미합니다. 그것은 이들 급수의 수렴이 와 의 수렴을 의미하고, 그 때를 위해, 의 수렴이 복소-값 급수의 수렴의 정의에 의해 뒤따른다는 것을 보이는 것으로 충분합니다.
이전 논의는 우리가 오직 의 수렴이 의 수렴을 의미하는 것을 입증하기만 하면 된다는 것을 보여줍니다.
Alternative proof using the Cauchy criterion and triangle inequality
복소 급수의 수렴에 대해 코시 기준을 적용함으로써, 우리는 역시 이 사실을 삼각형 부등식(triangle inequality)의 단순 함축으로 입증할 수 있습니다.[2]코시 기준(Cauchy criterion)에 의해, 가 수렴하는 것과 임의의 에 대해, 에 대해 를 만족하는 이 존재하는 것은 필요충분 조건입니다. 그러나 삼각형 부등식은 에 대해 정확하게 코시 기준인 임의의 에 대해 가 되도록 임을 의미합니다.
Proof that any absolutely convergent series in a Banach space is convergent
실수 또는 복소수의 급수가 절대적으로 수렴할 때, 해당 급수의 항의 재배열 또는 재순서화는 여전히 같은 값으로 수렴할 것입니다. 이 사실은 절대 수렴 급수가 유용한 한 가지 이유입니다: 급수가 절대적으로 수렴임을 표시하면 합의 값을 변경없이 편리한 방법에서 항을 쌍을 이루거나 재정렬하는 것을 허용합니다.
용어 무조건적으로 수렴(unconditional convergence)은 그것의 항의 임의의 재배열이 여전히 같은 값으로 수렴하는 급수를 참조하기 위해 사용됩니다. 정규화된 아벨 그룹 에서 값을 갖는 임의의 급수에 대해, 가 완비인 한, 절대적으로 수렴하는 모든 각 급수는 역시 무조건적으로 수렴합니다.
더 공식적으로 다음과 같이 말합니다:
Theorem — 를 노름된 아벨 그룹으로 놓습니다. 다음임을 가정합니다:
만약 이 임의의 순열이면, 다음입니다:
보다 일반적인 계수를 갖는 급수에 대해, 그 전환은 더 복잡합니다. 이전 섹션에서 설명된 것처럼, 실수-값과 복소-값 급수에 대해, 무조건적으로 수렴은 항상 절대 수렴을 의미합니다. 어쨌든, 노름된 아벨 그룹 에서 값을 갖는 급수의 보다 일반적인 경우에서, 그 전환이 항상 유지되는 것은 아닙니다: 절대적으로 수렴하지는 않지만, 무조건적으로 수렴하는 급수가 존재할 수 있습니다.
두 급수의 코시 곱(Cauchy product)은 만약 급수 중 적어도 하나가 절대적으로 수렴하면 그 합으로 수렴합니다. 즉, 다음임을 가정합니다:
코시 곱은 항 의 합으로 정의되며 여기서:
만약 또는 합의 어느 하나가 절대적으로 수렴이면:
Absolute convergence over sets
급수의 절대 수렴의 일반화는 집합에 걸쳐 함수의 합의 절대 수렴입니다. 우리는 먼저 셀-수-있는 집합 와 함수 를 고려할 수 있습니다. 우리는 로 쓰인 에 걸쳐 의 합의 아래 정의를 제공할 것입니다.
먼저 의 특정 열거 (또는 "인덱싱")이 여전히 지정되지 않았고, 급수 는 급수의 보다 기본 정의에 의해 이해될 수 없음을 주목하십시오. 사실, 와 의 특정 예제에 대해, 에 걸쳐 의 합은 전혀 정의되지 않을 수 있는데, 왜냐하면 일부 인덱싱이 조건적으로 수렴 수열을 생성할 수 있기 때문입니다.
그러므로 우리는 가 절대적으로 수렴함을 만족하는 일부 전단사 가 존재하는 경우에서 오직 를 정의합니다. 여기서, "절대적으로 수럼"은 인덱스된 급수에 적용된 보다 기본 정의를 사용함에 주목하십시오. 이 경우에서, 에 걸쳐 의 합의 값은 다음에 의해 정의됩니다:[5]
급수가 절대적으로 수렴하기 때문에, 모든 각 재배열은 전단사 의 다른 선택과 동일함을 주목하십시오. 모든 이들 합은 같은 값을 가지기 때문에, 에 걸쳐 의 합은 잘-정의됩니다.
훨씬 더 일반적으로 우리는 가 셀-수-없는 것일 때 에 걸쳐 의 합을 정의할 수 있습니다. 그러나 먼저 우리는 합이 수렴한다는 것이 무엇을 의미하는지 정의합니다.
를 임의의 집합, 셀-수-있는 또는 셀-수-없는 것으로 놓고, 를 함수로 놓습니다. 우리는 에 걸쳐 의 합이 만약 다음이면 절대적으로 수렴이라고 말합니다:
만약 에 걸쳐 의 합이 절대적으로 수렴이면, 는 많아야 셀-수-있는 것인 집합 위에 비-영 값을 취한다고 말하는 정리가 있습니다. 그러므로, 다음은 그 합이 절대적으로 수렴일 때 에 걸쳐 의 합의 일관된 정의입니다:
마지막 급수는 셀-수-있는 집합에 걸쳐 급수의 정의를 사용함을 주목하십시오.
일부 저자는 만약 반복된 급수가 이면 반복된 합 을 절대적으로 수렴이라고 정의합니다.[6] 이것은 의 절대 수렴과 사실 동등합니다. 다시 말하자면, 만약 에 걸쳐 의 합, 이 위에서 정의된 것처럼 절대적으로 수렴이면, 반복된 합 은 절대적으로 수렴이고, 그 반대도 마찬가지입니다.
Absolute convergence of integrals
실수-값 또는 복소-값 함수의 적분(integral)는 만약 이면 절대적으로 수렴이라고 말합니다. 우리는 역시 는 절대적으로 적분-가능이라고 말합니다. 절대 적분가능성의 문제는 리만(Riemann), 르베그(Lebesgue), 또는 헨스탁–쿠르즈베일(Henstock–Kurzweil) (게이지) 적분이 고려되는지 여부에 뒤얽혀있고 의존합니다; 리만 적분에 대해, 그것은 역시 우리가 그것의 적절한 의미에서 적분가능성을 오직 고려하거나 ( and 둘 다가 경계짐(bounded)), 부적절한 적분의 보다 일반적인 경우를 허용하는지 여부에 의존합니다.
리만 적분의 표준 속성으로, 가 경계진 구간(interval)일 때, 모든 각 연속 함수(continuous function)는 경계지고 (리만) 적분가능이고, 연속이 연속을 의미하기 때문에, 모든 각 연속 함수는 절대적으로 적분가능입니다. 사실, 가 만약 가 (적절하게) 적분가능이고 가 연속이면 위에 리만 적분가능이기 때문에, 는 만약 가 적분가능이면 적절하게 리만 적분가능임을 따릅니다. 어쨌든, 이 의미는 부적절한 적분의 경우에서 유지되지 않습니다. 예를 들어, 함수 는 그것의 경계진 도메인 위에 부적절하게 리만 적분가능이지만, 그것은 절대적으로 적분가능이 아닙니다:
실제로, 보다 일반적으로, 임의의 급수 가 주어지면 우리는 에 의해 정의된 결합된 단계 함수(step function)를 고려할 수 있습니다. 그런-다음 는 의 해당하는 행위에 따라 절대적으로 수렴, 조건적으로 수렴, 또는 발산합니다.
상황은 르베그 적분에 대해 다르며, 르베그 적분은 적분의 경계진 것과 경계지지 않은 도메인을 별도로 처리하지 않습니다 (아래 참조). 가 위의 예제에서 경계지지 않은 것이라는 사실은 가 역시 르베그 의미에서 적분가능이 아님을 의미합니다. 사실, 적분의 르베그 이론에서, 가 측정-가능(measurable)으로 주어지면, 가 (르베그) 적분가능인 것과 가 (르베그) 적분가능인 것은 필요충분 조건입니다. 어쨌든, 가 측정가능이라는 가설은 중대합니다; 그것은 위에 절대적으로 적분가능 함수가 적분가능임을 일반적으로 참이 아닙니다 (간단히 그것들이 측정-가능에 실패할 수 있기 때문입니다): 를 비-측정가능 부분집합(subset)으로 놓고 를 생각해 보십시오, 여기서 는 의 특성 함수(characteristic function)입니다. 그런-다음 가 르베그 측정가능이 아니고 따라서 적분가능이 아니지만, 는 상수 함수이고 분명히 적분가능입니다.
다른 한편으로, 함수 는 헨스탁–쿠르즈베일 적분가능 (게이지 적분가능)일 수 있지만 는 그렇지 않습니다. 이것은 부적절하게 리만 적분가능 함수의 경우를 포함합니다.
일반적인 의미에서, 임의의 측정 공간(measure space) 위에, 실수-값 함수의 르베그 적분은 그것의 양수와 음수 부분의 관점에서 정의되므로, 다음 사실은
적분가능은 적분가능을 의미합니다
측정가능, 적분가능은 적분가능을 의미합니다
본질적으로 르베그 적분의 정의에 내장되어 있습니다. 특히, 집합(set) 위에 세는 측정(counting measure)에 이론을 적용하면, 우리는 네트 (지금 부르는 그것)를 사용하여 무어–스미스(Moore–Smith)에 의해 개발된 급수의 비-순서화된 합계의 개념을 복구합니다. 이 자연수의 집합일 때, 르베그 적분성, 비-순서화된 합계가능성과 절대 수렴은 모두 일치합니다.
마지막으로, 위의 모두는 바나흐 공간에서 값을 갖는 적분에 대해 유지됩니다. 바나흐-값 리만 적분의 정의는 보통의 것의 명백한 수정입니다. 르베그 적분가능에 대해, 우리는 보흐너 적분(Bochner integral)을 획득하는 다니엘의 보다 함수 해석적(functional analytic) 접근 방식을 갖는 양수 부분과 음수 부분으로의 분해를 우회하기 위해 필요합니다.
^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.
^Megginson, Robert E. (1998), An introduction to Banach space theory, Graduate Texts in Mathematics, vol. 183, New York: Springer-Verlag, p. 20, ISBN0-387-98431-3 (Theorem 1.3.9)
^Dvoretzky, A.; Rogers, C. A. (1950), "Absolute and unconditional convergence in normed linear spaces", Proc. Natl. Acad. Sci. U.S.A. 36:192–197.
^Tao, Terrance (2016). Analysis I. New Delhi: Hindustan Book Agency. pp. 188–191. ISBN978-9380250649.
^Strichartz, Robert (2000). The Way of Analysis. Jones & Bartlett Learning. pp. 259, 260. ISBN978-0763714970.