다르부 상합편집자 확인

다르부 상합은 리만 적분 가능성을 판정하고 함수의 상적분을 정의하기 위해 프랑스의 수학자 장 가스통 다르부가 도입한 개념이다. 이는 주어진 구간을 여러 개의 작은 소구간으로 나누는 분할과 그 구간에서 함수가 취할 수 있는 최댓값에 기반한다.

구체적으로, 실수의 닫힌 구간 [a, b]와 이 구간에서 정의된 유계 함수 f를 생각한다. 이 구간의 한 분할 P가 주어지면, 각 소구간에서 함수값의 상한(최소 상계)을 구한다. 다르부 상합 U(P, f)는 각 소구간의 길이에 해당 소구간에서의 함수값 상한을 곱한 값을 모두 더한 것이다. 이는 각 소구간을 밑변으로 하고, 그 구간에서 함수가 도달할 수 있는 가장 높은 값을 높이로 하는 직사각형들의 넓이의 합에 해당한다.

따라서 다르부 상합은 함수 그래프 위쪽에 만들어지는 계단 함수의 넓이를 의미하며, 함수의 리만 상합 중에서도 가장 큰 값을 갖는 특별한 경우로 볼 수 있다. 이 상합은 분할을 더 세분화할수록 일반적으로 감소하는 경향을 보인다. 다르부 상합의 하한(최대 하계)을 통해 함수의 상적분을 정의하며, 이 상적분과 다르부 하합으로 정의된 하적분이 일치할 때 함수가 리만 적분 가능하다고 판정한다.

다르부 상합은 주어진 함수의 리만 적분 가능성을 연구하기 위해 프랑스 수학자 장 가스통 다르부가 도입한 개념이다. 이는 함수의 적분을 근사하는 한 가지 방법을 제공한다.

구체적으로, 실수 닫힌구간 [a, b]에서 정의된 유계 함수 f를 생각한다. 이 구간의 한 분할 P = {x₀, x₁, ..., xₙ} (단, a = x₀ < x₁ < ... < xₙ = b)가 주어졌을 때, 각 소구간 [x_{i-1}, x_i]에서 함수 f의 값을 상한(supremum) M_i = sup{ f(x) | x ∈ [x_{i-1}, x_i] }으로 취한다. 다르부 상합 U(P, f)는 각 소구간의 길이 Δx_i = x_i - x_{i-1]와 해당 소구간의 상한 M_i를 곱한 직사각형의 넓이를 모두 더한 값, 즉 U(P, f) = Σ_{i=1}^{n} M_i Δx_i로 정의된다.

이 정의는 함수의 그래프를 위쪽에서 덮는 계단 함수의 적분값에 해당한다. 각 소구간에서 함수가 취할 수 있는 가장 큰 값(M_i)을 높이로 사용하기 때문에, 이렇게 계산된 넓이의 합은 실제 함수 그래프 아래의 면적보다 크거나 같다. 따라서 다르부 상합은 함수의 실제 정적분 값에 대한 하나의 상계(upper bound)를 제공한다고 볼 수 있다.

분할 P를 더 세분화할수록, 즉 각 소구간의 길이를 더 작게 만들수록, 다르부 상합 U(P, f)의 값은 일반적으로 감소하는 경향을 보인다. 이 상합의 개념은 나중에 함수의 상적분(upper integral)을 정의하는 데 핵심적으로 사용된다.

다르부 상합은 함수의 리만 적분 가능성을 연구하는 데 핵심적인 역할을 하는 도구이다. 이 개념은 주어진 분할에 대해 함수의 최댓값을 사용하여 면적을 근사한다는 점에서 직관적이다. 구체적으로, 닫힌구간 [a, b]를 유한 개의 소구간으로 나눈 분할 P가 주어지면, 각 소구간에서 함수 f의 상한(최소 상계)을 높이로 하는 직사각형의 넓이를 계산하여 모두 더한 값이 다르부 상합 U(P, f)가 된다.

다르부 상합은 몇 가지 중요한 수학적 성질을 가진다. 첫째, 동일한 함수에 대해 분할을 더 세분화할수록, 즉 분할의 노름을 작게 만들수록 다르부 상합의 값은 일반적으로 감소하거나 같아진다. 이는 더 작은 구간에서 상한을 취할 때 그 값이 전체 큰 구간의 상한보다 클 수 없기 때문이다. 둘째, 임의의 두 분할 P와 Q에 대해, 이들의 공통 세분을 고려하면, 다르부 상합은 항상 다르부 하합보다 크거나 같다는 부등식 L(P, f) ≤ U(Q, f)가 성립한다. 이 성질은 상합과 하합이 함수의 적분값을 위아래에서 포위한다는 것을 보여준다.

이러한 성질들을 바탕으로, 구간 [a, b]에서 함수 f의 상적분을 모든 가능한 분할에 대한 다르부 상합의 하한(최대 하계)으로 정의한다. 마찬가지로 하적분은 모든 다르부 하합의 상한으로 정의된다. 함수가 리만 적분 가능할 필요충분조건은 바로 이 상적분과 하적분의 값이 서로 일치하는 것이며, 이 공통된 값이 바로 리만 적분값이 된다. 따라서 다르부 상합은 적분 이론에서 이론적 기초와 계산적 도구를 동시에 제공한다.

다르부 상합은 리만 적분 가능성을 판정하는 핵심 도구로 사용된다. 리만 적분의 정의는 적분 구간을 잘게 나누어 얻은 리만 합의 극한으로 이루어지는데, 이때 분할을 점점 세분화해갈 때 다르부 상합이 감소하고 다르부 하합이 증가하여 두 값이 같은 극한값으로 수렴한다면, 그 함수는 해당 구간에서 리만 적분 가능하다고 정의한다. 즉, 다르부 상합과 다르부 하합의 극한이 일치하는 것이 리만 적분 가능성에 대한 필요충분조건이다.

이 관계를 통해 함수의 상적분과 하적분을 정의할 수 있다. 상적분은 가능한 모든 분할에 대한 다르부 상합의 하한으로, 하적분은 가능한 모든 분할에 대한 다르부 하합의 상한으로 정의된다. 함수가 리만 적분 가능할 조건은 바로 이 상적분과 하적분의 값이 서로 같을 때이며, 그 공통값이 바로 리만 적분값이 된다. 따라서 다르부 상합은 적분 가능성 이론의 기초를 형성하는 중요한 개념이다.

장 가스통 다르부가 도입한 이 개념은 미적분학의 엄밀한 기초를 세우는 데 크게 기여했다. 다르부 상합과 하합을 이용하면 연속 함수뿐만 아니라 일부 불연속점을 가진 함수의 적분 가능성도 체계적으로 논할 수 있게 되었다. 이는 실해석학의 발전에 지대한 영향을 미쳤다.

다르부 상합의 계산 방법을 이해하기 위해 간단한 예시를 살펴본다. 구간 [0, 1]에서 정의된 함수 f(x) = x^2를 생각하고, 이 구간을 n개의 동일한 길이의 소구간으로 나누는 분할 P_n을 취한다. 각 소구간은 [ (k-1)/n, k/n ]의 형태를 가지며, 그 길이는 Δx_k = 1/n이다.

다르부 상합 U(P_n, f)를 계산하려면 각 소구간에서 함수 f의 상한을 구해야 한다. 함수 f(x) = x^2는 구간 [0, 1]에서 단조 증가하므로, 각 소구간 [ (k-1)/n, k/n ]에서의 상한은 구간의 오른쪽 끝점인 k/n에서의 함수값 f(k/n) = (k/n)^2와 같다. 따라서 다르부 상합은 다음과 같이 계산된다.

이를 합하면 U(P_n, f) = Σ_{k=1}^{n} (k/n)^2 * (1/n) = (1/n^3) * Σ_{k=1}^{n} k^2 이다. 자연수의 제곱합 공식 Σ k^2 = n(n+1)(2n+1)/6 을 대입하면, U(P_n, f) = (n(n+1)(2n+1)) / (6n^3) = (1/6) * (1 + 1/n) * (2 + 1/n) 이 된다.

한편, 같은 분할에 대한 다르부 하합 L(P_n, f)는 각 소구간의 왼쪽 끝점인 (k-1)/n에서의 함수값을 사용하여 계산되며, 그 값은 (1/6) * (1 - 1/n) * (2 - 1/n) 이다. n을 무한히 크게 할 때, 즉 분할을 더 세분화할수록 이 다르부 상합과 다르부 하합의 값은 둘 다 1/3으로 수렴한다. 이는 함수 f(x)=x^2가 구간 [0,1]에서 리만 적분 가능하며, 그 적분값이 1/3임을 보여주는 과정이다. 이 예시는 다르부 상합이 구체적으로 어떻게 계산되고, 적분 가능성 판정에 어떻게 활용되는지를 명확히 보여준다.

다르부 상합은 장 가스통 다르부의 이름을 딴 개념으로, 리만 적분 이론의 기초를 마련하는 데 중요한 역할을 했다. 다르부는 실해석학 분야, 특히 적분론의 엄밀한 정립에 크게 기여한 수학자이다. 그의 업적은 미분과 적분의 관계를 깊이 있게 탐구한 다르부 정리를 포함하여, 현대 해석학의 발전에 지대한 영향을 미쳤다.

다르부 상합과 그 쌍대 개념인 다르부 하합은 함수의 적분 가능성을 연구하는 강력한 도구를 제공한다. 이 두 합을 이용해 상적분과 하적분을 정의하고, 이 둘이 일치할 때 함수가 리만 적분 가능하다고 판정한다. 이 접근법은 리만 적분의 정의를 보다 엄밀하고 체계적으로 만드는 토대가 되었다.

이 개념은 이후 르베그 적분과 같은 더 일반적인 적분 이론이 등장하면서도, 여전히 미적분학 입문 과정에서 리만 적분을 소개하는 표준적인 방법으로 자리 잡고 있다. 다르부 상합은 함수의 그래프를 직사각형으로 근사하는 직관적인 아이디어를 수학적으로 정교하게 포착한 사례로 평가받는다.