[논문 리뷰] Nel's category theory based differential and integral Calculus, or did Newton know category theory ?

Elemér E Rosinger|ArXiv.org|2005. 04. 28.

Optics and Image Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 고전적 미분 및 적분 미적분을 범주론 기반으로 재구성하며, 표준 도함수와 적분이 연속 함수 공간과 대수적 평균값 조건을 만족하는 함수 공간 사이의 자연 동형사상—구체적으로 대각 평가 사상—을 통해 유도됨을 보여준다. 주요 기여는 일반화된 도함수나 극한을 사용하지 않고 순수하게 대수적·범주론적 구축을 통해 고전적 미적분을 복원하는 것이다. 이는 내부가 비어 있는 비볼록 도메인에서도 미적분을 가능하게 한다.

ABSTRACT

In a series of publications in the early 1990s, L D Nel set up a study of non-normable topological vector spaces based on methods in category theory. One of the important results showed that the classical operations of derivative and integral in Calculus can in fact be obtained by a rather simple construction in categories. Here we present this result in a concise form. It is important to note that the respective differentiation does not lead to any so called generalized derivatives, for instance, in the sense of distributions, hyperfunctions, etc., but it simply corresponds to the classical one in Calculus. Based on that categorial construction, Nel set up an infinite dimensional calculus which can be applied to functions defined on non-convex domains with empty interior, a situation of great importance in the solution of partial differential equations

연구 동기 및 목표

• 고전적 미분 및 적분 미적분을 범주론을 사용하여 재구성하기.
• 표준 도함수와 적분이 일반화된 도함수를 사용하지 않고 단순한 범주론적 구축을 통해 유도될 수 있음을 보여주기.
• 편미분방정식 이론에서 요구하는 내부가 비어 있는 비볼록 도메인에서의 함수에 대해 미적분을 확장하기.
• 고전적 도함수가 차분 몫에 대한 대수적 조건에서 자연스럽게 유도됨을 보장하기.
• 대각 평가 사상이 함수 공간 간의 자연 동형사상임을 보여주어 범주론적 기초를 확립하기.

제안 방법

• Banach 공간에서의 경로를 f:I→E 이며, f(y)−f(x)=(y−x)hf(x,y) 를 만족하는 연속 함수 hf 가 존재하는 연속 함수 f 로 정의한다.
• 모든 x,y,z∈I 에 대해 (y−x)h(x,y)+(z−y)h(y,z)+(x−z)h(z,x)=0 를 만족하는 연속 함수 h 의 공간 ad C(I×I,E) 를 도입한다.
• 대각 평가 사상 edI,E: ad C(I×I,E) → C(I,E) 를 (edI,E(h))(x) = h(x,x) 로 정의한다.
• edI,E 가 functors ad C(I×I,−) 와 C(I,−) 사이의 자연 동형사상이자 등장사상임을 증명하여 범주론적 기초를 확립한다.
• f∈Path C(I,E) 에 대해 도함수 Df = edI,E(hf) 를 정의하여 극한을 사용하지 않고 고전적 도함수를 복원한다.
• 적분 ∫ab f = (b−a)·avf(a,b) 를 정의하고, 여기서 avf(a,b) 는 [a,b] 에서 f 의 평균을 의미하며, 뉴턴-라이프니츠 공식을 만족함을 보인다.

실험 결과

연구 질문

• RQ1 고전적 도함수와 적분은 극한이나 일반화된 함수를 사용하지 않고 순수하게 대수적·범주론적 구축을 통해 도출될 수 있는가?
• RQ2 대각 평가 사상 edI,E 가 ad C(I×I,−) 와 C(I,−) 사이의 자연 동형사상인가? 이는 미적분의 범주론적 기초를 정당화하는가?
• RQ3 이 범주론적 프레임워크는 내부가 비어 있는 비볼록 도메인에서의 함수에 대해 미적분을 확장할 수 있는가? 이는 편미분방정식 이론에서 요구하는 바이다.
• RQ4 도함수나 차분 몫의 연속성 조건 없이도 고전적 도함수 f′(x) 가 h(x,x) 로서 h∈ad C(I×I,E) 에서 복원될 수 있는가?
• RQ5 도함수를 범주론적으로 정의한 경우, 평균을 통한 적분 정의가 뉴턴-라이프니츠 공식을 만족하는가?

주요 결과

• 대각 평가 사상 edI,E 는 functors ad C(I×I,−) 와 C(I,−) 사이의 자연 동형사상이자 등장사상이며, 이는 미적분의 범주론적 기초를 제공한다.
• f∈Path C(I,E) 에 대해 도함수 Df = edI,E(hf) 는 극한이나 차분 몫의 연속성 조건 없이 고전적 도함수 f′(x) = hf(x,x) 를 복원한다.
• 도함수를 범주론적으로 정의한 경우 뉴턴-라이프니츠 공식 ∫ab f′ = f(b)−f(a) 가 성립한다.
• 적분 ∫ab f = (b−a)·avf(a,b) 는 기본정리 미적분학을 만족한다: F(x) = ∫ax f 이면 F′ = f 이다.
• 이 구축은 다각형 함수의 조밀성에 의해 모든 연속 함수로 확장되며, 적분과 도함수의 관계를 유지한다.
• 이 프레임워크는 무한차원 Banach 공간과 내부가 비어 있는 비볼록 도메인에서의 함수에도 적용 가능하여, 편미분방정식 분야에서 새로운 응용을 가능하게 한다.