추상대수에서의 미분환
📂추상대수추상대수에서의 미분환
정의
미분환
R 이 (아벨리안) 링이라 하자. 다음을 만족하는 함수 d:R→R 을 (대수적) 미분algebraic derivation이라 한다.
d(x+y)=d(xy)=d(x)+d(y)d(x)y+xd(y)
순서쌍 (R,d) 를 미분환differential ring이라 한다.
상수환
R 이 유니티 1 를 가진다고 하자. 덧셈에 대한 항등원 0∈R 에 대해 d(c)=0 를 만족하는 c∈R 의 집합은 1 포함한 R 의 서브 링이며, 상수들의 링이라는 의미에서 상수환constant ring이라 부른다.
설명
미분 대수differential Algebra는 링에 우리가 알던 미분이라는 함수를 주었을 때도 여전히 그 성질들이 추상화되는지, 그 조건은 무엇인지에 관심을 가진다. 당연히 가장 쉬우면서 우리에게 친숙한 예시는 실수 R 다항함수의 환 R[x] 일 것이고, 이 때의 미분 d 가
d:xn↦nxn−1
와 같이 형식적으로 정의되면 (R[x],d) 는 문과도 고등학교에서 배운 적 있는 미분환이 된다. 이 미분환의 상수환은 R 이다.
정의에서 특히 d(xy)=d(x)y+xd(y) 는 이러한 추상화에서 ‘미분’을 미분답게 만들어주는 중요한 조건으로써, 미적분의 고안한 라이프니츠의 이름을 따서 라이프니츠 곱Leibniz product이라 불리기도 한다.
정리
상수 미분
- [1]: R 의 덧셈에 대한 항등원 0 과 상수환의 원소 c 와 r∈R 에 대해 다음이 성립한다.
d(0)=d(1)=d(cr)=0d(c)=0cd(r)
고차항 미분
- [2] n∈N 과 r∈R 에 대해 다음이 성립한다.
d(rn)=nrn−1d(r)
몫 미분
- [3] R 의 유닛 u 과 r∈R 에 대해 다음이 성립한다.
d(ru−1)=[d(r)u−rd(u)]u−2
증명
[1]
d(0)=0 는 다음과 같이 얻는다.
⟹⟹d(0)=d(0+0)=d(0)+d(0)d(0)=d(0)+d(0)0=d(0)
d(1)=0 는 다음과 같이 얻는다.
d(1)===⟹d(1)=d(1⋅1)d(1)1+1d(1)d(1)+d(1)0
한편 상수 c 는 정의에 따라 d(c)=0 이므로 d(1)=d(c) 다.
d(cr)=cd(r) 는 다음과 같이 얻는다.
d(cr)===d(c⋅r)d(c)r+cd(r)0+cd(r)
■
[2]
수학적귀납법으로 증명한다. n=1 일 때
d(r)=d(r⋅1)=d(r)1+rd(1)=d(r)=1⋅r1−1d(r)
이고, 주어진 정리가 성립한다면
d(rk)=====d(r⋅rk−1)d(r)rk−1+rd(rk−1)d(r)rk−1+r(k−1)rk−2d(r)d(r)rk−1+(k−1)rk−1d(r)krk−1d(r)
이므로 모든 n∈N 에 대해 주어진 정리가 성립한다.
■
[3]
u 가 유닛이라는 것은 그 곱셈에 대한 역원 u−1∈R 가 존재한다는 것이다. 1=uu−1 이라 두면
d(1)==⟹0=⟹ud(u−1)=⟹d(u−1)=d(uu−1)d(u)u−1+ud(u−1)d(u)u−1+ud(u−1)d(u)u−1d(u)u−2
이므로 d(u−1)=d(u)u−2 이고, 다음을 얻는다.
d(ru−1)===d(r)u−1+rd(u−1)d(r)uu−1u−1+rd(u)u−2[d(r)u−rd(u)]u−2
■