수학 썸네일형 리스트형 √2는 무리수이다 증명 왜 $\sqrt{2}$가 자연수로 표현될 수 없는지 알아보겠습니다. 일단 $\sqrt{2}$가 자연수가 아니라는 사실은 명백합니다. $1$을 제곱하면 $1$이고, $2$를 제곱하면 $4$이므로, $\sqrt{2}$는 $1$과 $2$ 사이에 있는 수입니다. 그러므로 만약 $\sqrt{2}$가 자연수로 표현된다면, $\sqrt{2} = n/m$ (단, $n$과 $m$은 자연수)의 꼴이어야 합니다. $\sqrt{2} = n/m$의 양변을 제곱하면 $2 = n^2/m^2$을 얻습니다. 즉, $2m^2 = n^2$ 입니다. 여기서 소인수분해의 유일성이라는 성질을 사용하겠습니다. 이에 앞서, 먼저 소인수분해와 관련된 몇 가지 사실을 집고 넘어가겠습니다. 먼저 소수란 $1$과 자기 자신으로만 나누어 떨어지는 수를 의.. 더보기 ⟪발칙한 수학책⟫ 혜성처럼 등장한 유쾌한 수학책 안녕하세요, 디멘입니다. 제가 지은 수학 교양서가 출판되었습니다 :D 이 책에 제가 6년 동안 수집한 수학 이야기 중 가장 재미있고 아름다운 이야기만을 선정하여 담았습니다. 여러 수학 이야기는 서로 아무 관련이 없는 듯 싶지만 모든 이야기는 마치 마술처럼 하나의 논리로 꿰여집니다. 그리하여 여러분이 이 책을 덮을 때에는 수학의 아름다움이란 무엇인지, 수학적 사고력이란 무엇인지, 수학이 추구하는 가치가 무엇인지 알게 될 것입니다. 이 책은 발칙하다. 수학을 다루는 저자의 솜씨와 생각은 시중에 나와 있는 다른 수학 교양서적에서는 결코 찾아볼 수 없다. 저자는 거대한 수학의 그물을 바다에 던진 후 독자를 수학의 매력으로 끌어당긴다. 책을 펼친 독자라면 저자의 유려한 글솜씨와 수학적 통찰에 감탄하게 될 것이다... 더보기 칸토어의 축소구간 정리 해석학 시리즈 목차 해석학 시리즈 1. 실수의 완비성, 상계와 하계, 상한과 하한 1-1. 아르키메데스 원리와 유리수의 조밀성의 증명 1-2. 단조 수렴 정리의 증명 2. 거리 공간 3. 열린 공, 근방, 내부점, 경계점 4. 집적 dimenchoi.tistory.com 칸토어의 축소구간 정리는 실수의 완비성으로부터 얻어지는 무수히 많은 정리 중 하나입니다. 엄청 대단해 보이는 이름과는 달리 정리 자체는 꽤나 직관적입니다. 칸토어의 축소구간 정리는 '집합을 끊임없이 수축할 수 있다' 정도로 요약할 수 있습니다. 이 문장의 엄밀한 수학적 설명이 무엇인지 지금부터 알아가 보겠습니다. 먼저 축소구간(Nested Interval)의 정의를 짚고 넘어가겠습니다. 축소구간의 정의. $I_n = [a_n, b_n] .. 더보기 집적점과 고립점 (Limit point and Isolation point) 해석학 시리즈 목차 해석학 시리즈 1. 실수의 완비성, 상계와 하계, 상한과 하한 1-1. 아르키메데스 원리와 유리수의 조밀성의 증명 1-2. 단조 수렴 정리의 증명 2. 거리 공간 3. 열린 공, 근방, 내부점, 경계점 4. 집적 dimenchoi.tistory.com 저번 글을 쓴 지 거의 1년이 되었네요... 그동안 다른 일로 많이 바빠서 블로그를 쓸 겨를이 없었습니다 ㅠㅠ 드디어 다시 해석학 시리즈를 재개하고자 합니다. 저번에 근방에 대해서 배웠습니다. 근방이라는 개념은 해석학에서 정말 중요한 위치를 차지합니다. 이번 글에서 우리는 근방을 사용해서 집적점(limit point)과 고립점(isolation point)를 정의해 보겠습니다. 집적점 집적점의 정의하기에 앞서 빠진 근방이라는 개념을 도입.. 더보기 해석학 시리즈 목차 해석학 시리즈 1. 실수의 완비성, 상계와 하계, 상한과 하한 1-1. 아르키메데스 원리와 유리수의 조밀성의 증명 1-2. 단조 수렴 정리의 증명 1-3. 칸토어의 축소 구간 정리 2. 거리 공간 3. 열린 공, 근방, 내부점, 경계점 4. 집적점과 고립점 5. 볼차노-바이어슈트라스 정리 (해석학 시리즈는 2021년 6월 기준 휴재 중입니다) 더보기 해석학의 중요한 기초 정리들 사실 중요하다기보다는 제가 수강하고 있는 해석학 수업에서 교수님께서 강조한 정리를 수록한 것이지만, 그래도 중요하니까 교수님께서 다루셨겠지 하는 마음에, 그동안 필기한 정리들을 간단하게 소개해 봅니다 :) 각 정리의 설명과 함께 정리를 증명하는 간단한 아이디어를 소개해 놓았으니, 이 아이디어를 힌트 삼아 직접 증명해 보신다면 해석학 실력 향상에 도움이 될 듯 합니다. 칸토어의 축소구간 정리 축소구간 $[a_n, b_n]$에 대해 $\bigcap [a_n, b_n] \neq \emptyset$ 이며, 특히 $|b_n - a_n | \rightarrow 0$라면 홑원소 집합이다. Idea. 실수의 완비성으로 $\lbrace a_n \rbrace, \lbrace b_n \rbrace$의 상계와 하계를 잡는다... 더보기 단조 수렴 정리의 증명 해석학 시리즈 목차 해석학 시리즈 1. 실수의 완비성, 상계와 하계, 상한과 하한 1-1. 아르키메데스 원리와 유리수의 조밀성의 증명 1-2. 단조 수렴 정리의 증명 2. 거리 공간 3. 열린 공, 근방, 내부점, 경계점 4. 집적 dimenchoi.tistory.com 단조 수렴 정리는 미적분학에서 단골로 우려먹는 정리입니다. 단조 수렴 정리 (Monotone convergence theorem). 수열 $\lbrace a_n \rbrace$가 위로 유계인 단조증가수열이라고 하자. 즉, 모든 $n$에 대해 $a_{n+1} \geq a_n$이다. 이 때, $\lbrace a_n \rbrace$는 수렴한다. 위 정리를 증명하기에 앞서 수렴의 정의를 알아야 합니다. 가물가물한 $\epsilon - N$ 논법.. 더보기 아르키메데스 원리와 유리수의 조밀성의 증명 해석학 시리즈 목차 해석학 시리즈 1. 실수의 완비성, 상계와 하계, 상한과 하한 1-1. 아르키메데스 원리와 유리수의 조밀성의 증명 1-2. 단조 수렴 정리의 증명 2. 거리 공간 3. 열린 공, 근방, 내부점, 경계점 4. 집적 dimenchoi.tistory.com 저번에 실수의 완비성에 대해 알아보았습니다. 실수의 완비성. $S$가 공집합이 아닌 실수 집합의 부분집합이라고 하자.$S$ 가 위로 유계라면(상계를 가진다면), $\sup S \in \mathbb{R}$이다. 실수의 완비성은 매우 간단해 보이지만 이 성질로부터 무수히 많은 정리가 따라옵니다. 이번 글에서는 그 정리의 일부인 아르키메데스 원리와 유리수의 실수 위에서의 조밀성(즉, 두 실수 사이에는 항상 유리수가 존재함)을 증명해 보겠습니다.. 더보기 이전 1 2 3 4 ··· 6 다음
