[수학] 수학적 증명 방법
·
수학 Mathematics
수학 공부를 할 때마다 증명 문제를 많이 마주하게 되는데 그럴 때마다 증명에 대한 체계가 없어서 이번에 겸사겸사 정리한다. 1. 논리 기호 표시 ¬ 또는 : not : and : or : a logical contradiction or a false statement (a statement which truth value is false). ¬p 은 곧 p가 참이라는 뜻이다. 2. 직접 증명 Direct proof 일반적인 수학책에서 다루는 것처럼 정의(definition), 공리(axiom), 정리(theorem)를 이용해서 증명하는 방법 3. 수학적 귀납법 proof by inducti..
[수학] 미분/적분 기호의 순서를 바꿀 수 있는 근거
·
수학 Mathematics/미적분학 Calculus
공학 공부를 하다보면 식을 전개할 때 미분적분 기호의 순서를 바꾸는 경우가 왕왕 있다. 그런데 미적분학 내용이 가물가물하다보니 무슨 근거로 적분 기호 순서를 맘대로 바꾸는지 모르겠어서 이번 기회에 조금씩 정리를 하려고 한다. 대부분의 내용은 영문 wikipedia를 참고하였다. 더 엄밀하게 따지려면 수학전공책을 보고, 여기서는 바로 활용하기 좋게 간단히 적는다. 개념 integrand : 피적분함수 (적분의 대상이 되는 함수) iterated integral : (f(x,y)dx)dy iterated integral은 위 식을 예로 들면 y를 given이라고 생각하고 x에 대해서 적분한다. x라는 변수가 사라졌을 것이므로 y에 대해서도 적분한다. mult..
[응용복소함수] Chap2 : Cauchy-Riemann equations
·
수학 Mathematics/복소해석학 Complex Analysis
이전에 f(z)를 두 real-valued function u(x,y)+iv(x,y)으로 볼 수 있다는 것을 배웠습니다. 당연히 f(z)u(x,y),v(x,y)의 derivatives와도 연관성이 있을 것입니다. 만약 f(z)가 존재한다면, u(x,y),v(x,y)의 first-order partial derivatives가 만족해야만 하는 조건이 있습니다. 이를 통해 f(z0)u,v에 대해서 표현하는 방법도 알게 될 것입니다. Cauchy-Riemann equation은 그에 대한 내용입니다. $\text{first-order partial derivatives of the component functions u and v of a func..
[응용복소함수] Chap2 : Derivatives
·
수학 Mathematics/복소해석학 Complex Analysis
Sec 19. Derivatives Derivatives의 정의 : $f \text{ is a function whose domain of definition contains a neighborhood }|z-z_{0}|
[응용선형대수] Orthogonal vectors and subspace
·
수학 Mathematics/선형대수학 Linear Algebra
1. Length of vectors [x1xn]Rn vector의 길이(x)에 대한 식은 다음과 같습니다 x=x12+x22++xn2=xTx 2. Orthogonality x,yRn x,y라는 n차원 벡터가 있을 때 두 벡터가 수직이라고 해보자. 피타고라스 공식에 의해 xy2=x2+y2(1)이 성립..
[응용복소함수] Chap2 : Limits, Continuity
·
수학 Mathematics/복소해석학 Complex Analysis
Sec 15. Limits 앞서 배웠던 neighborhood와 mapping은 limit를 정의할 때 필요한 부분이었습니다. complex plane에서 정의된 function에 대한 limit에 대해 알아보겠습니다. function f는 a point z0의 some deleted neigborhood 안에 속한 모든 points z에 대해 정의되어있습니다. f(z)가 가진 limit는 다음과 같이 표현합니다. limzz0f(z)=w0 이에 대한 자세한 의미는 아래와 같습니다. $\text{for positive number }\varepsilon\text{, there is a positive number }\delta..
[응용선형대수] Linear Transformations
·
수학 Mathematics/선형대수학 Linear Algebra
matrix의 처음 등장은 Linear equation을 matrix의 곱으로서 표현한다는 것에서 시작되었습니다. 그러나 matrix를 다른 관점에서도 이해할 수가 있습니다. 바로 matrix를 Linear transformations으로 해석하는 것입니다. A:m×n A:RnRm ex)  1) 벡터를 스칼라 c배 하는 것 A=[c00c] A[xy]=[cxcy] 2) 벡터를 y=x 대칭 $A=\begin{bmatrix}0 & 1\\..
[응용선형대수] The four fundamental subspaces
·
수학 Mathematics/선형대수학 Linear Algebra
응용선형대수에서 굉장히 중요한 개념인 Four fundamental subspaces Ax=b에서 b가 A의 matrix의 column space 안에 속해야 solution이 존재한다고 이야기했었고, null space 속한 vector를 더해도 Ax의 값에 영향을 미치지 못하므로 solution에 null space vector를 더한 것 역시 solution이 될 수 있었습니다. Ax¯=bx¯는 solution입니다. 이 때 null space에 속한 벡터 x~(Ax~=0)가 있을 때 x¯+x~도 solution이 됩니다. $A(\bar{x}+\tilde{x})=A\bar{x}+A\tilde{x}..
[응용복소함수] Chap2 : Function, Mapping
·
수학 Mathematics/복소해석학 Complex Analysis
Chap2. Analytic Functions Sec 13. Functions and Mappings S : a set of complex numbers function f defined on S : rule that assigns to each z in S a complex number ω 이 때의 set S를 domain of definition이라고 합니다. \omega : value of f at z ω=f(z) function에는 그 domain of definition과 value를 구하는 rule이 잘 정의되어 있어야 합니다. u+iv=f(x+iy)이라고 할 때 x,y에 대한 real valued function의 pair로 표현할 수 있..
[응용복소함수] Chap1 : Complex numbers
·
수학 Mathematics/복소해석학 Complex Analysis
수업을 들으면서 수업 및 교재를 기반으로 정리글을 작성합니다. 강의와 교재를 기반으로 하기 때문에 대부분은 정확할 것이라 믿지만 잘못된 부분이 있다면 지적해주시면 감사하겠습니다. (제 개인적인 해설도 많이 들어가기 때문에 잘못 생각하는 부분이 있을 수 있습니다.) 책은 James Ward Brown, Ruel V. Churchill의 Complex Variables and Applications (9th edition)입니다. Chapter1. Complex numbers Sec 1. Sums and Products Complex number(z) Definition : complex plane의 한 점 = pair (x,y) of real numbers (x,0) : point on the real..