기호
함수 의 역함수:
"f inverse"라고 읽는다.
f: X→Y ⇔ f-1: Y→X"f inverse"라고 읽는다.
함수 에 대해 함수 가 존재하여
로 표시한다.
모든 에 대해 이고,
모든 에 대해 일 때
와 는 서로 역함수이며모든 에 대해 일 때
주의:
If is a one-to-one function, then
(Thomas Calculus 13e p42)
함수 가 정의역 A, 치역 B인 일대일함수(one-to-one function with domain A and range B)이면
그 역함수(inverse function) 는 정의역 B와 치역 A를 가지며, (B에 있는 임의의 y) 에 대해 다음과 같이 정의된다.
(Stewart)
그 역함수(inverse function) 는 정의역 B와 치역 A를 가지며, (B에 있는 임의의 y) 에 대해 다음과 같이 정의된다.
(그래프에서 보면/기하적으로)
의 그래프는 의 그래프와 직선 에 대해 대칭.
의 그래프는 의 그래프와 직선 에 대해 대칭.
1. 서로 역함수인 함수들 ¶
CHK; 2020-10-25
{
다만 위의 것들은 서로 '정교하게 들어맞는 완벽한 엄밀한'(?) 역함수 관계는 아님. 필요는 한데 일대일대응이 불가능한 경우가 많음. 그래서 arcxxx 함수는 원 함수(xxx)의 정의역이나 치역의 일부만 잘라서(piecewise?) 정의하거나 하는 등의 방법을 쓰는 듯. (see calculus textbooks' trig chapter)
{
다만 위의 것들은 서로 '정교하게 들어맞는 완벽한 엄밀한'(?) 역함수 관계는 아님. 필요는 한데 일대일대응이 불가능한 경우가 많음. 그래서 arcxxx 함수는 원 함수(xxx)의 정의역이나 치역의 일부만 잘라서(piecewise?) 정의하거나 하는 등의 방법을 쓰는 듯. (see calculus textbooks' trig chapter)
역함수의 정의에 들어맞는 '엄밀한'(?) 역함수를 가지는 필요충분조건은 bijection인듯.
multivariable, multivariate, multivalued 등 이런 개념을 도입하면 제약에서 벗어나지만 대신 엄밀한 (역)함수는 아니게 됨.
multivariable, multivariate, multivalued 등 이런 개념을 도입하면 제약에서 벗어나지만 대신 엄밀한 (역)함수는 아니게 됨.
이것은 주치,principal_value 개념과도 연관.
그것을 표기하는 notation중 하나인 첫 글자 대문자(capitalization) convention을 사용하여 arcsin vs Arcsin 이런 것도 보았는데 완전히 지배적으로(de facto 표준이 되어) 쓰이지는 않는 듯..?
참고..
역삼각/역쌍곡선 함수의 표현/표기/이름/notation은 통일되지 않음.
ex. sin을 예로 들면
그것을 표기하는 notation중 하나인 첫 글자 대문자(capitalization) convention을 사용하여 arcsin vs Arcsin 이런 것도 보았는데 완전히 지배적으로(de facto 표준이 되어) 쓰이지는 않는 듯..?
참고..
역삼각/역쌍곡선 함수의 표현/표기/이름/notation은 통일되지 않음.
ex. sin을 예로 들면
arcsin
Arcsin (아마 principal value만 뽑았음을 강조하는 표기?)
arsin
asin
sin-1
Sin-1 (이것도 principal value 〃)
}Arcsin (아마 principal value만 뽑았음을 강조하는 표기?)
arsin
asin
sin-1
Sin-1 (이것도 principal value 〃)
2. 역함수를 가질 조건 ¶
함수 에 대해 다음은 동치이다.
curr goto 함수,function#s-5.1
(1) 가 일대일 함수이다.
(2) 의 역함수가 존재한다.
//일대일함수,one-to-one_function, 단사함수,injective_function 단사,injection later.(2) 의 역함수가 존재한다.
curr goto 함수,function#s-5.1
3. 역함수의 도함수, 역함수 미분법 ¶
// tmp; merge; just moved from 함수
If and are inverse functions then, // 즉 and
(https://tutorial.math.lamar.edu/Classes/CalcI/DiffInvTrigFcns.aspx)
(Thm.) If is a one-to-one differentiable function with inverse function and then the inverse function is differentiable at and
(Proof) 미분의 정의를 이용하면
If then
And if we let then
Since is differentiable, it is continuous, (미분가능하면 연속) so is continuous.
Thus if then that is, Therefore
(Stewart 9e Appendix F Section 3.6 page A46)
And if we let then
Since is differentiable, it is continuous, (미분가능하면 연속) so is continuous.
Thus if then that is, Therefore
역함수 관계식
양변을 미분
연쇄법칙
(Thomas 2.8 p119)
4. 역함수정리 inverse function theorem ¶
역함수정리,inverse_function_theorem
수학백과: 역함수 정리
https://calculus.subwiki.org/wiki/Inverse_function_theorem
수학백과: 역함수 정리
https://calculus.subwiki.org/wiki/Inverse_function_theorem
역함수 정리
구간에서 정의된 미분가능한 함수 가 (미분가능함수,differentiable_function)
정의역의 임의의 점 에서 이면,
의 역함수,inverse_function 가 존재하고, 미분가능하다. 이 때 (미분가능성,differentiability)
이다. 역함수 정리의 결론을 간단하게
라고 표현할 수 있다. 역함수정리의 증명은 부록에 두지만, 마지막 결론의 등식은 항등식 에 합성함수 미분법(*)을 적용하여 얻은 식
에서 바로 나온다.
구간에서 정의된 미분가능한 함수 가 (미분가능함수,differentiable_function)
정의역의 임의의 점 에서 이면,
의 역함수,inverse_function 가 존재하고, 미분가능하다. 이 때 (미분가능성,differentiability)
(*) (합성함수 미분법에 대한 각주)
합성함수 미분법은 "미분가능한 함수 와 의 합성함수,composite_function 는 미분가능하고 이다."를 뜻한다. 이 법칙을 고차원에서 연쇄법칙,chain_rule이라 부르는 이유는 제 10장에서 밝힌다.
합성함수 미분법은 "미분가능한 함수 와 의 합성함수,composite_function 는 미분가능하고 이다."를 뜻한다. 이 법칙을 고차원에서 연쇄법칙,chain_rule이라 부르는 이유는 제 10장에서 밝힌다.
(김홍종 미적1+ p87 정리 6.1.4)
TODO 밑에 역함수미분공식과 MERGE?
6. 역함수미분 공식 - 라이프니츠 표기 ¶
역함수 미분 공식
을 Leibniz_notation 로 하면
참고: 김도형 http://www.kocw.net/home/search/kemView.do?kemId=1177885 4. 1:20 전후 and
inverse function derivative leibniz notation
inverse function derivative leibniz notation
7.1. inverse ¶
역행렬,inverse_matrix 관련하여 서술, 및 inverse가 들어간 모든 것과의 관계 알아볼 것.
역변환,inverse_transform
see 변환,transform
역푸리에 변환(inverse Fourier transform) - see 푸리에_변환,Fourier_transform
라플라스역벽환? - see 라플라스_변환,Laplace_transform
반비례 = inverse proportion. (see 비,ratio)역푸리에 변환(inverse Fourier transform) - see 푸리에_변환,Fourier_transform
라플라스역벽환? - see 라플라스_변환,Laplace_transform
7.2. 역 ¶
'반대' 의미의 역으로 번역되는 것은 inverse 외에 converse, reverse, reciprocal(ex. 역수), anti-(ex. 역도함수), back-, (arc-, ar-: 역삼각과 역쌍곡선 함수의 경우), 등이 있음.
역함수의 이름과 관련된 문제. 논리 쪽 용어로는
이다.
논리,logic 쪽에선 이=inverse, 역=converse이므로 주의. CHK
역=inverse가 아니라,
역=converse, 이=inverse, 대우=contraposition
이다. 그런데역=converse, 이=inverse, 대우=contraposition
이다.
논리,logic 쪽에선 이=inverse, 역=converse이므로 주의. CHK
Sub:
Related:
Twins:
Related:
Twins:
수학백과: 역함수
https://mathworld.wolfram.com/InverseFunction.html
Inverse_function
역함수
https://planetmath.org/inversefunction
https://encyclopediaofmath.org/wiki/Inverse_functionhttps://mathworld.wolfram.com/InverseFunction.html
Inverse_function
역함수
https://planetmath.org/inversefunction