미분 대수: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
잔글편집 요약 없음
1번째 줄:
[[추상대수학]]에서, '''미분'''(微分, {{lang|en|derivation}})은 [[대수 (구조)|대수]]에 대한, [[곱셈 법칙곱규칙]]을 만족하는 연산이다. [[해석학 (수학)|해석학]]에서의 [[미분]] 연산을 공리화한 개념이다.
 
== 정의 ==
<math>K</math>가 [[체 (수학)|체]]이고, <math>A</math>가 <math>K</math> 위의 대수(곱셈 연산 <math>A\times A\to A</math>가 정의된 <math>K</math>-[[벡터 공간]])라고 하자. 그렇다면 <math>A</math>에 대한 '''미분'''은 다음 공리를 만족하는 연산자 <math>D\colon A\to A</math>이다.
* ([[선형변환|선형성]]) <math>\alpha,\beta\in K</math>, <math>a,b\in A</math>이면 <math>D(\alpha a+\beta b)=\alpha Da+\beta Db</math>.
* ([[곱셈 법칙곱규칙]]) <math>a,b\in A</math>이면 <math>D(ab)=(Da)b+a(Db)</math>이다.
 
== 예 ==