수학과 복수전공해서 수업 듣고 있습니다. 조언이 필요합니다...
-
게시물 수정 , 삭제는 로그인 필요
수학과 복수전공해서 해석학 및 수학과 2학년 전공을 듣고 있습니다.
들어서 선생님 할 건 아니고요, 수학적으로 사고할 능력을 가지고 싶어서 고등학교 이과수준의 수학공부를 독학하고 바로 복수전공해서 해석학이니 집합론이니 선형대수학이니 듣고 있습니다.
예상은 했지만 교수님의 강의를 못따라가고 있어서 난항을 맞고 있습니다. 물론 수업을 듣는 족족 복습하고 있습니다만 (도저히 예습까지는 엄두를 못내겠더군요 -_-) 불친절한 영어교재뿐이라 이해도 더디고 ... 뭐 결론은 인강 하나 찾아서 들어봐야겠죠. ( 혹시 인강도 추천 해 주실 수 있으면 감사합니다) 성적에 연연하지 말고 이해를 목표로 했지만 이마저도 어려워지면 어쩔까 조바심도 나는군요 ㅡ.ㅜ;
본론으로 넘어가서, 이 해석학이라는 것이 일단 이론적으로 집합론을 기준으로 두고 (아이러니하게도 해석학이랑 같이 배우고 있지만) 해석학 내부에서 일종의 룰이라 할수 있는 공리(Axiom)를 소계한 뒤(여기에 나와있는 각종 수학적 기호들은 집합론에서 이미 정의되었을 것이라 추측함...), 해석학에서 사용하는 기호를 정의한 정의(Definition)와 함께 유명한 정리(Theorm), Remark, 예제(Exmaple) 등을 통해 실수체계부터 차근 차근 증명(Proof)해 나가는거라고 이해하고 있습니다.
그런데 이 증명이라는 것을 해나갈 때마다 마음속으로 뭔가 찜찜한 구석이 계속 남는겁니다. 가령교제의 예를 들면 "x,y,a가 실수에 속할때, x<y+e(입실론), for all e>0 <=> x<=y 를 증명하라" 에서 해석학 교제는 P => Q를 바로 증명하기가 어렵다고 해서 ㄱQ => ㄱP, 즉 귀류법을 이용해서 ㄱP를 x>y라 하고 e0=x-y>0를 준뒤, 기존 가정의 입실론 자리에 e0을 대입하여 x<y+(x-y)=x, 순서공리(Order Axioms)의 Trichonomy에 어긋남을 보여 간접적으로 증명하고 있는데요...
물론 집합론에서 진리표에서는 모든 명제가 참과 거짓으로 구분할 수 있다고 말하지만 수학적으로 훈련이 된 탓인지 이런 질문들이 막 떠오르는 겁니다. (엄밀히 말하면 훈련을 이제 막한거죠)
'아니 반대되는 결론이 잘못됬다고 해서 원래 결론이 참이 되나? 어떻게 믿지?
'반대명제라는 것은 어떻게 정하는거지? 그 기준은 어떻게 되는 거지? 저 정리에서는 운좋게 결론명제가 X>=Y라서 Trichonomy 속성을 기준으로 잡는다면 결론명제의 반대가 X<Y가 아닐까? 아니 지금 내가 제대로 하고 있는건가? 그냥 설명에서 결론의 역이 X<Y라 하니깐 끼워 맞춰 날 합리화 하는것이 아닐까??
만약 기존의 결론 명제가 X<Y같은 거였다면, 반대명제는 X>Y , X=Y같이 여러개가 될 수 있지 않나?
논리 전개에서도 책에서는 굳이 기호같은거 안쓰고 영어로 서술하면서 증명의 전개를 하는데 왜 교수님은 굳이 한글을 쓰지 말라하고 기호를 써라 할까? 그럼 논리 전개 과정에 들어가는 Suppose나 Case나 if 와 같은 영어도 기호로 써서 표시해야 되는거 아닌가? 그냥 시험지에 '원 명제의 대우라 해보자' 라고 하면 감점먹을까?
원래 명제를 증명하기 어려워서 귀류법을 쓰는것은 원래 명제가 기존의 공리로 증명이 되지 않아서 그런게 아닐까? 그런 귀류법으로 증명한다는 것은 애초에 수학이 완전한 학문이 아니라서 그런건가? (어쩌다 보니 자꾸 귀류법을 까는군요 -_-)
증명이라는게 사람마다 제각각 다를 수 있지 않을까? 수학공부하면서 안도감을 느낀 순간은 책 뒤쪽에 있는 정답이랑 같은 그 순간 뿐이 였는데 이건 정말 친절하게 뒷페이지 살펴보니 '귀류법을 사용해서 증명하면 됩니다' 요로네?
..
그럼 지금 내가 연습문제 증명하면서 전개하는 이 과정이 맞는걸까? 논리 전개의 정석이라는 것이 있지 않을까?.... 마치 코딩한거 컴파일 하면 비쥬얼 스튜디오가 애러라고 딱딱 집어 줄 수 있었으면 좋겠는데...
... 그럼에도 불구하고 전 또 아침부터 도서관에 가겠지만... 진도는 미친듯이 나가는 상황에서 Theorem도 아니고 Example하나 가지고 하루 종일 붙잡고 있을 거지만... 이러다간 분명 X될거같습니다 -_-; 도와주세요 ㅡ.ㅜ
수학과 복수전공해서 해석학 및 수학과 2학년 전공을 듣고 있습니다.
들어서 선생님 할 건 아니고요, 수학적으로 사고할 능력을 가지고 싶어서 고등학교 이과수준의 수학공부를 독학하고 바로 복수전공해서 해석학이니 집합론이니 선형대수학이니 듣고 있습니다.
예상은 했지만 교수님의 강의를 못따라가고 있어서 난항을 맞고 있습니다. 물론 수업을 듣는 족족 복습하고 있습니다만 (도저히 예습까지는 엄두를 못내겠더군요 -_-) 불친절한 영어교재뿐이라 이해도 더디고 ... 뭐 결론은 인강 하나 찾아서 들어봐야겠죠. ( 혹시 인강도 추천 해 주실 수 있으면 감사합니다) 성적에 연연하지 말고 이해를 목표로 했지만 이마저도 어려워지면 어쩔까 조바심도 나는군요 ㅡ.ㅜ;
본론으로 넘어가서, 이 해석학이라는 것이 일단 이론적으로 집합론을 기준으로 두고 (아이러니하게도 해석학이랑 같이 배우고 있지만) 해석학 내부에서 일종의 룰이라 할수 있는 공리(Axiom)를 소계한 뒤(여기에 나와있는 각종 수학적 기호들은 집합론에서 이미 정의되었을 것이라 추측함...), 해석학에서 사용하는 기호를 정의한 정의(Definition)와 함께 유명한 정리(Theorm), Remark, 예제(Exmaple) 등을 통해 실수체계부터 차근 차근 증명(Proof)해 나가는거라고 이해하고 있습니다.
그런데 이 증명이라는 것을 해나갈 때마다 마음속으로 뭔가 찜찜한 구석이 계속 남는겁니다. 가령교제의 예를 들면 "x,y,a가 실수에 속할때, x<y+e(입실론), for all e>0 <=> x<=y 를 증명하라" 에서 해석학 교제는 P => Q를 바로 증명하기가 어렵다고 해서 ㄱQ => ㄱP, 즉 귀류법을 이용해서 ㄱP를 x>y라 하고 e0=x-y>0를 준뒤, 기존 가정의 입실론 자리에 e0을 대입하여 x<y+(x-y)=x, 순서공리(Order Axioms)의 Trichonomy에 어긋남을 보여 간접적으로 증명하고 있는데요...
물론 집합론에서 진리표에서는 모든 명제가 참과 거짓으로 구분할 수 있다고 말하지만 수학적으로 훈련이 된 탓인지 이런 질문들이 막 떠오르는 겁니다. (엄밀히 말하면 훈련을 이제 막한거죠)
'아니 반대되는 결론이 잘못됬다고 해서 원래 결론이 참이 되나? 어떻게 믿지?
'반대명제라는 것은 어떻게 정하는거지? 그 기준은 어떻게 되는 거지? 저 정리에서는 운좋게 결론명제가 X>=Y라서 Trichonomy 속성을 기준으로 잡는다면 결론명제의 반대가 X<Y가 아닐까? 아니 지금 내가 제대로 하고 있는건가? 그냥 설명에서 결론의 역이 X<Y라 하니깐 끼워 맞춰 날 합리화 하는것이 아닐까??
만약 기존의 결론 명제가 X<Y같은 거였다면, 반대명제는 X>Y , X=Y같이 여러개가 될 수 있지 않나?
논리 전개에서도 책에서는 굳이 기호같은거 안쓰고 영어로 서술하면서 증명의 전개를 하는데 왜 교수님은 굳이 한글을 쓰지 말라하고 기호를 써라 할까? 그럼 논리 전개 과정에 들어가는 Suppose나 Case나 if 와 같은 영어도 기호로 써서 표시해야 되는거 아닌가? 그냥 시험지에 '원 명제의 대우라 해보자' 라고 하면 감점먹을까?
원래 명제를 증명하기 어려워서 귀류법을 쓰는것은 원래 명제가 기존의 공리로 증명이 되지 않아서 그런게 아닐까? 그런 귀류법으로 증명한다는 것은 애초에 수학이 완전한 학문이 아니라서 그런건가? (어쩌다 보니 자꾸 귀류법을 까는군요 -_-)
증명이라는게 사람마다 제각각 다를 수 있지 않을까? 수학공부하면서 안도감을 느낀 순간은 책 뒤쪽에 있는 정답이랑 같은 그 순간 뿐이 였는데 이건 정말 친절하게 뒷페이지 살펴보니 '귀류법을 사용해서 증명하면 됩니다' 요로네?
..
그럼 지금 내가 연습문제 증명하면서 전개하는 이 과정이 맞는걸까? 논리 전개의 정석이라는 것이 있지 않을까?.... 마치 코딩한거 컴파일 하면 비쥬얼 스튜디오가 애러라고 딱딱 집어 줄 수 있었으면 좋겠는데...
... 그럼에도 불구하고 전 또 아침부터 도서관에 가겠지만... 진도는 미친듯이 나가는 상황에서 Theorem도 아니고 Example하나 가지고 하루 종일 붙잡고 있을 거지만... 이러다간 분명 X될거같습니다 -_-; 도와주세요 ㅡ.ㅜ