1. 유리수는 조밀하대
게시글 주소: https://orbi.kr/00065911778
이게 뭘 의미하는걸까요? 단순히 말을 들어보면 실수 체계에서 유리수는 조밀조밀하게 있다는 거겟지요. 그게 정확히 뭘 의미하는지 오늘 한 번 파헤쳐 보고자 합니다
실수는 굉장히 특별한 성질을 지니고 있어요 least upper bound property라고 신기한 성질을 가지고 있는데, 이게 뭐냐면 실수에서 아무 집합이 위로 유계 다시 말하자면
가 실수체계의 어떤 부분집합이라 합시다. 그럼 모든
에 대해
인 실수 M이 존재한다면 이제
가 존재한다는 것이지요. 얘가 least upper bound이고 다시 말해 U의 모든 원소보다 같거나 큰 놈중 가장 작은 놈이라고 생각하시면 됩니다.
Claim 1. x<y 인 실수 x,y에 대해 x<r<y인 유리수 r이 존재한다
자 생각해보죠. x<y라 했죠. 그럼 우리는 대강의 자연수를 하나 잡아봅시다.
인 자연수 n을 잡아보죠. 그럼 ny-nx>1임을 알 수 있습니다.
그럼 자연스럽게 우리는 어떤 정수가 m이 존재해서
을 만족함을 알 수 있습니다. 그럼 n은 자연수니깐 양변응 n으로 나누면
네요. 따라서 모든 실수 사이에는 유리수가 있다는 거를 알 수 있습니다.
claim 2. Density라는 거를 생각해봐야돼요. 조밀하다는건데. 즉 실수 체계에서 유리수체는 조밀하대요. 조밀하다는게 뭐죠? 사이사이에 박혀있다는거죠.
수학에서 density는 이렇게 정의합니다.
어떠한 공간 X의 부분집합 A에 대해 A의 closure랑 X가 같을때 A는 X에 대해 dense라고 하죠. 반대로 int(A)^c의 closure가 공집합이면 nowhere dense라 합니다.
그럼 대강 closure가 A를 포함하는 가장 작은 닫힌 집합이라는 것을 알고 시작해보죠.
이라는 집합에 대해 한번 생각을 해봅시다. 실수체라면 당연히 존재할거고 얘는 당연하게도
라는걸 알수있네용 그럼 얘는 유리수일까요? 아니죠?고1 때 배운 귀류법 써보면 아니란걸 알 수 있죠.
Claim 3. 루트 2를 유리수로 구성된 수열의 수렴값으로 표현할 수 있을까요?
정답은 yes 입니다. 왜그럴까요?
쉽게 생각해볼까요? 루트 2는 닫힌 구간 [0,2] 안에 있습니다.
우리는 어캐 나타내 볼꺼냐면 저 닫힌 구간을 계속 반띵 해볼거에요.
우선 루트 2는 [0,2]에서 [1,2] 이 부분에 있으니깐 첫번째 과정에서는
로 생각하고 여기서도 또 보면 [1,2] 중 [1,1.5] 사이에 존재하므로 두번째 과정에서는
를 얻을 수 있겟죠? 이렇게 계속 반띵해나가는 과정을 거치면 이제 어떤 것을 얻을 수 있을까요? 우리는 [1,2]=1+[0,1]
로 생각해볼 수 있을거에요. 그럼 계속 반띵 해나갔으므로 우리는 쟤를 2진법으로 생각할 수 있죠. 한마디로
꼴로 표현가능하다는거죠. 이때 N이 겁내게 크면 거의 루트2랑 비슷하겟지요? 그럼 수렴값으로 가지겟네요. (원래라면 뭐 dedekind cut 이런거 가져와서 해야겟지만 충분히 과한거같아요)
그래서 모든 실수는 유리수 수열의 수렴값으로 표현가능하다~~ 이렇게 생각하시면 될거같아요.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그냥복수전공이 잘되있다 이정도인줄알았는데 다른대학에서 복수전공하는거랑 뭐 학위차이 이런게있는건가요?
-
일본만 3번째 간다 캬캬
-
11명뽑는 과고 다군에 44명중 9등인데 이거 적정카드로는 불안한가요..? 7칸...
-
안녕 재밌었다
-
누군지 아직도 모르겠음
-
컷들이 좀 너무너무 말이 안되는데,, 영어 때문인가
-
약대 1
올해 진짜 너무 높은거 같은데... 연고높공이 6~9칸 뜨는데 수도권약이 어떻게...
-
언매 개념 돌린 적 없고 강의 하나로 개념 완벽하게 끝내고 싶은데 누구 듣는게 좋을까요?
-
1번부터 머무 어려워요....
-
너무 청결하다
-
너무 무섭다고 일본친구들한테 연락 옴... 진짜로 걱정되네...
-
현우진 노베 1
노베 공통수학 1,2,도형중에 도형은 언제 들어야댐? 공통수학1끝나고? 2끝나고?...
-
尹 “특검 왜 거부하나, 죄 지었으니까”… 과거발언 재조명 2
최근 국회를 통과한 ‘쌍특검법’에 대해 윤석열 대통령이 거부권 행사를 예고한 가운데...
-
제주도 도착 2
반갑다 고향아
-
인문 사과 상경 싹다 엄청 높아보이는데 높공(컴전)쪽은 어떻게 보시나요?
-
고2 내신은 물화생 들었었는데 화학은 진짜 안 맞다고 느꼈고 거의 노베라 ㅋㅋ.....
-
삼육은 가능하죠?
-
버튜버 방송 올스탑으로 지진온것도 알 수 있음
-
수시로 대학가서 환급받으려고 대성마이맥 수능 빠른채점 하는중인데 이거 대성 오류...
-
건대 다군 미디어커뮤니케이션 컷이 지금 좀 높은 거 같은데 1
작년이나 제작년에 비해 좀 많이 정상임...?
이거보고수상하공부하러감
진짜 어렵죠 그거
절단 왜 안 쓰십니까
귀찮아요 폰으로 쓰잖아요
근데 사실 Real field나 그렇지 Q is dense in R은 굳이 안 써도 뭐
Archimedean만 나오지 않나 원래
애초에 수의 체계의 확장에 대해서 cut을 다루지 density야 머..
ㅈㅅㅎㄴㄷ
불리수는 없나요?
새로운 수의 체계를 만들면 되죠 ㅎㅎ
무리수는 다르지
오
3줄요약좀
What?
중간에 int(A)^c가 아니라 int(A^c) 아닌가요?
뭔가 잘못썼네요 int(clA) 입니다