수열 document_id A220623001179

수학에서, 수열(數列) 또는 열(列, sequence)은 수 또는 다른 대상의 순서 있는 나열이다. 나열 순서를 생각해야 하고 중복이 허용된다는 점에서 집합과 구분된다. 양의 홀수의 크기 순 나열 1, 3, 5, 7, ...은 수열의 예이다. 수열은 자연수의 집합에 정의된 함수라고 할 수 있다. <heading>정의 >> 수열의 항 </heading> 수열을 이루는 구성원을 수열의 항(term) 또는 원소(element)라고 한다. 수열은 항의 유형에 따라 자연수열, 실수열, 점렬, 함수열, 집합열 등으로 나뉜다. 처음으로 오는 항을 첫째항(first term) 또는 첫항, 초항이라고 부르며, 둘째, 셋째, 넷째, ...로 오는 항을 둘째항, 셋째항, 넷째항, ..., 다르게는 제2항, 제3항, 제4항, ...이라고 부른다. 수열에서 나열되는 항의 개수를 그 수열의 길이(length)라고 한다. 수열의 길이는 유한할 수도, 무한할 수도 있으며, 길이가 유한하면 유한수열(finite sequence), 무한하면 무한수열(infinite sequence)이라고 부른다. 유한수열에게는 마지막으로 오는 항이 존재하며, 이를 끝항(final term) 또는 마지막항, 말항이라고 부른다. 특정되지 않은 일반적인 제''n''항(nth term)을 수열의 일반항이라고 한다. 많은 경우에 ''n''과 제''n''항 사이의 관계 규칙은 수식으로 표현 가능하다. 예를 들어 1, 3, 5, ...처럼 홀수를 오름차순으로 나열한 수열의 일반항은 <math>2n - 1</math>이다. 여기의 ''n''에 임의의 자연수를 대입하면, 수열의 아무 번째 항의 값을 알아낼 수 있다. <heading>수열의 표현 </heading> 수열의 원소를 순서대로 나열하는 것은 수열의 한 가지 표현법이다. 홀수열은 1, 3, 5, ...와 같이 표현할 수 있다. <math>{1, 3, 5, dots}</math> 또는 <math>(1, 3, 5, dots)</math>처럼 괄호를 씌워도 된다. 구체적으로 지정되지 않은 수열은 그 항들을 첨자가 달린 변수로 나타내어 (무한수열의 예를 들면) <math>a_1, a_2, a_3, dots</math> , 또는 <math>{a_1, a_2, a_3, dots}</math> , <math>(a_1, a_2, a_3, dots)</math>와 같이 표현된다. 이때 수열의 일반항은 <math>a_n</math>이며, 이를 이용해 수열을 (집합의 조건제시법과 유사하게) <math>{a_n}</math> 또는 <math>(a_n)</math>으로 표현할 수 있다. 첨자의 범위를 명시하기 위해 <math>{a_n}_{n in N}</math> 또는 <math>{a_n}_{n=1}^{infty}</math> 등으로 표현하기도 한다. 일반항을 구체적인 수식으로 표현할 수 있는 수열, 이를테면 홀수열은, 일반항을 괄호 안에 집어넣어 <math>{2n - 1}</math>과 같이도 표현한다. 일반항에 관한 공식 <math>a_n = 2n - 1</math>이 수열을 확정짓기 충분하기에, 공식 자체를 수열의 표기로 삼기도 한다. <heading>함수로서의 정의 </heading> 수열은 더 엄밀히는 자연수 전체 또는 앞의 ''n''개의 집합을 정의역으로 하는 함수 <math>n mapsto a_n</math>으로 정의된다. 즉, 각 자연수 <math>n</math>의 함수값을 수열의 제''n''항 <math>a_n</math>으로 정의한 함수이다. 실수열의 예를 들면, 수열 1, 1/2, 1/3, ..., 1/''n'', ...은 곧 함수 <math>a : N o R, n mapsto 1/n</math>와 같다. <heading>귀납적으로 정의된 수열 </heading> 구체적인 수열을 정의하는 방법 중 하나는 귀납적 정의법이다. 먼저 처음 몇 항의 값을 정하고, 그 뒤로는 각 항을 앞의 항에 의존한 관계식을 통해 정의한다. 일반항 공식에 의한 수열의 정의가 임의의 ''a_n''과 ''n'' 사이의 관계를 사용한다면, 귀납적 정의는 각 ''a_n''을 ''a''₁부터 ''a''_{''n'' - 1}까지의 항들로 나타낸 식을 사용한다. 일부 수열의 경우, 일반항은 귀납적 관계보다 간명하지 않거나, 더 발견되기 어렵다. 은 귀납적 정의보다 훨씬 더 복잡하고 알아내기 어렵다. 수열의 귀납적 정의의 유효성은 자연수 위의 귀납 정리가 보장한다. <heading>예 </heading> 다음 두 (유한) 수열은 한국어의 자음 일곱 개가 정확히 한 번씩 나오지만, 순서가 달라 다른 수열이다. 다음 두 (무한) 수열은 양의 홀수 전체를 나열하지만, 3의 중복 여부가 달라 다른 수열이다. 다음은 몇 가지 정수열의 예이다. <heading>수열의 성질 </heading> 다음은 주로 실수열의 예를 들어 설명한, 수열의 여러 속성들이다. <heading>단조성 </heading> 실수열 <math>{a_n}</math>이 모든 <math>m > n</math>인 두 자연수 <math>m,n</math>에 대해 <math>a_m ge a_n</math>을 만족시킬 때, <math>{a_n}</math>을 단조증가수열이라고 한다. 반대로 모든 <math>m > n</math>인 두 자연수 <math>m,n</math>에 대해 <math>a_m le a_n</math>을 만족시킬 때 단조감소수열이라고 한다. 이 둘과 동등한 조건은 각각 <math>a_{n+1} ge a_n</math> 또는 <math>a_{n+1} le a_n</math>이 모든 자연수 <math>n</math>에 대해 성립한다는 것이다. 순증가 또는 순감소수열은, 단조증가 또는 감소하면서 같은 값에 두 번 이상 머무르지 않는 수열이다. 수열의 단조성은, 실수 이외에도 순서구조가 정립된 곳에서 값을 취하는 수열에 대해 정의 가능하다. <heading>유계성 </heading> 실수 또는 다른 순서가 정의된 대상의 열 <math>{a_n}</math>의 모든 항이 어떤 일정한 값(상계라 부른다)보다 작을 때, 즉 <math>exists M</math>이어서 <math>forall ninN</math>에 대해 <math>a_n le M</math>일 때, <math>{a_n}</math>이 위로 유계라고 한다. 모든 항이 하계라 불리는 어떤 값 <math>M</math>보다 클 때 아래로 유계라고 한다. 위로도 아래로도 유계인 수열, 또는 이와 동등한 조건인 <math>|a_n| le M, ninN</math>을 만족하는 수열을 유계수열이라고 한다. 수열 <math>a_n = frac{1}{n}</math>은 유계수열의 예이다. <math>0 < a_n le 1</math>이 모든 자연수 <math>n</math>에 대해 성립하기에 그렇다. 과 같이 나타낸다. 반대로, 수열 <math>{a_n}</math>이 수렴하지 않을 때 수열 <math>{a_n}</math>이 발산한다고 한다. 이는 다음과 같은 경우로 나뉜다. 수열 <math>a_n = frac{1}{n}</math>은 수렴수열의 예이다. <heading>수열로부터 새 수열 만들기 >> 부분수열 </heading> 수열 <math>{a_n}</math>의 부분수열은, 나열 순서가 변하지 않은 채로 일부 항을 제거해 얻는 새로운 수열이다. 더 정확히는 <math>{a_{n_k}}</math> (<math>n_k</math>는 순증가 자연수열) 꼴로 표현되는 수열을 뜻한다. 예를 들어 소수열 (2, 3, 5, 7, ...)은 자연수열 (1, 2, 3, 4, 5, 6, 7, ...)의 부분수열이다. <heading>계차수열 </heading> 수열 <math>{a_n}</math>의 계차수열 <math>{Delta a_n}</math>은 제''n''항을 바로 다음 항에서부터 뺀 차 <math>a_{n+1} - a_n</math>를 일반항으로 하는 수열이다. 계차수열의 계차수열 <math>{Delta^2 a_n}</math>을 2계차수열이라고 하고, 비슷하게 3, 4, ...계차수열이 정의된다. 수열 <math>a_n = n^2</math>의 계차수열은 <math>Delta a_n = 2n + 1</math>, 2, 3계차수열은 <math>Delta^2 a_n = 2</math>, <math>Delta^3 a_n = 0</math>이다. ight}</math>을 이룬다. 이를 때로는 부분합 수열이라고 한다. 계차수열이 쉽게 구해지는 것과 다르게, 수열의 합 공식은 일반적으로 쉽게 찾을 수 없으며, 여러 가지 기교와 정형화된 방법이 요구된다. 수열의 합 공식의 예로는 1부터 ''n''까지의 자연수의 합 공식이 있다. ight}</math>이 수열로서 상수 <math>L</math>로 수렴할 때, 무한급수 <math>sum_{n=1}^{infty} a_n</math>이 <math>L</math>로 수렴한다고 하고 이를 <math>sum_{n=1}^{infty} a_n = L</math>과 같이 나타낸다.