칼럼) 미분가능성은 있는데 적분가능성은 없어?
안녕하세요. 요즘 뻘글만 주야장천 써대는 신창섭입니다. 오르비는 원래 수험생들 간에 정보를 공유하고 지식을 나누는 곳이죠. 물론 커뮤니티의 성격이 존재하는 한 어쩔 수 없이 그런 글들이 가끔은 묻히는 모습을 보곤 합니다. 문득 해석학 과제를 하다가 정말 오랜만에 칼럼을 하나 작성하고 싶어져서 칼럼을 작성합니다. 주제는 앞서 말했듯이 '적분가능성', 그 중에서도 다르부 적분에 대한 조금은 심오한 얘기와 르베그 적분에 대한 짧은 이야기입니다.
'미분이 가능한 함수는 어떤 함수인지 잘 알겠는데... 적분이 가능한 함수는 어떤 함수야? 그리고 수학자마다 적분에 대한 정의가 달라?'하고 당연히 반문하실 분들이 많을 것 같습니다. 우리가 미분을 배울 때는 '오일러 미분가능성'(한 예시일 뿐이지 실제로 이런 이름으로 된 정의는 없습니다...) 뭐 이런 이름으로 배우진 않았었기 때문이죠. 하지만 미적분을 하셨던 분들이라면 얼핏 들어보셨을 법한 단어가 하나 있으실 겁니다.바로 리만이라는 사람이죠. 대부분 이 리만이라는 사람을 처음 접하게 되는 건 구분구적법을 배울 때일 겁니다. 구획을 나눠 아주 작은 직사각형의 합으로 적분을 표현한다. 오늘은 이에 대한 얘기를 깊게 해보고자 합니다.
*적분가능성에 대한 얘기는 현재 고등학교 교육과정 내에서 설명이 불가능한 개념들이 존재하는 엄연한 교과 외 과정입니다. 이 점 참고하시면서 글을 봐주시면 좋을 것 같습니다. supremum과 infimum 등 적분가능성을 표현함에 있어서 필요한 단어들은 엄밀한 정의 대신 이해하기 쉬운 단어들로 대체하도록 하겠습니다. 양해 부탁드립니다.*
대중들에게 적분과 관련하여 가장 많이 알려진 수학자는 아마 리만이라 할 수 있을 것입니다. 리만적분에 대한 얘기는 미적분을 배울 때도 심심찮게 들을 수 있는 이름이니까요. 제가 지금 소개하고자 하는 Manfred Stoll의 해석학 책 chapter 6의 제목도 'Riemann, Riemann-stieltjes integral'이니까요. 하지만 정작 내용은 리만이 아닌 다른 사람이 제시한 적분가능성의 얘기를 주로 하고 있습니다. 리만이 아닌 'Darboux(다르부) integral' 얘기를 먼저 해보겠습니다.
다르부 적분을 이해하기 위해선 우선 Upper sum(상합)과 lower sum(하합)에 대한 이해가 필요합니다. 우리는 구분구적법을 통해 그래프의 밑부분의 넓이를 작은 직사각형들의 넓이의 합으로써 이해했습니다. 그런데 여기서 한 가지 의문이 듭니다. "직사각형의 높이는 어디를 기준으로 하지?". 굉장히 날카로운 질문이라 할 수 있습니다. 직사각형의 밑변을 계속 얇게 쪼개고 쪼개서 길이가 거의 0에 가깝도록 만들면 그 때의 함숫값이 곧 높이가 된다고 생각할 수 있지만 이는 굉장히 비수학적인 용어입니다. 엄밀한 수학에서 가장 싫어하는 표현이 바로 '거의', '~에 가깝게'라는 말들이죠. 하지만 오늘은 수학 전공자가 아닌 일반인들에게 설명하는 글인 만큼 적분이라는 친구를 '얼추' 엄밀하게 다뤄보도록 하겠습니다.
앞서 말한 높이에 대해 논의하기 위해 쉬운 그림을 하나 가져왔습니다. 지금 f(x)라는 함수와 직사각형의 높이는 한 직사각형 맨 오른쪽에 있는 점의 함숫값으로 잡았습니다. 즉, 가장 큰 직사각형의 높이가 f(1)이라는 의미죠. 그런데 만약 구간 [0,1]을 {0=x_0, x_1, ... , x_n=1}으로 (n+1)개로 쪼갠 다음 한 구간 [x_(i-1), x_i]에서의 높이를 오른쪽 끝인 f(x_i)가 아닌 왼쪽 끝인 f(x_(i-1))로 두면 어떻게 될까요? 오른쪽 그림과는 다르게 직사각형들의 높이가 조금씩 낮아지는 상황이 이해가 가실까요? 그러면 둘 중 어느 것이 맞는 넓이일까요? 혹은 다른 그래프일 때도 같은 얘기를 할 수 있을까요?
한 단계 더 나아간 함수로 가져와 봤습니다. 위 함수는 한 점에서만 값이 튀는 함수고, 밑은 x=1/2에서 불연속인 함수이죠. 우리는 이 함수들을 적분할 수 있을까요? 만약 가능하다면 그 값은 얼마일까요?
우리는 그러기 위해 몇 가지를 먼저 정의하고 가야합니다.
벌써부터 처음 보는 표현이 나왔습니다. sup, inf에 대한 의미를 어느정도 파악하고 가봐야겠습니다. sup은 supremum의 약자로 번역서에는 '상한'이라는 표현을 주로 사용합니다. inf(infimum)은 이에 상반되는 개념으로 번역서에서는 '하한'이라는 표현을 사용합니다. 최댓값과 최솟값의 개념과 매우 유사하다고 볼 수 있죠. 하지만 미묘하게 이들은 다른 의미를 가집니다. 예시를 보시죠.
이 함수의 구간 [-0.1, 0.1]에서의 최솟값과 구간 [0.9, 1.1]에서의 최댓값을 구하라 한다면 여러분은 구할 수 있으십니까? 우리는 x=0에서의 f(x)의 좌극한과 f(x)의 x=1에서의 극한값을 각각 최댓값, 최솟값이라 부르고 싶습니다. 하지만 그럴 수 없다는 것을 모두 잘 아시리라 생각합니다. 이때 필요한 개념이 supremum과 infimum입니다.
다시 이 개념을 가져와보겠습니다. M_i는 어떤 특정 구간에서 f(x)의 함숫값들을 모아놓은 집합의 상한, m_i는 그 집합의 하한을 의미합니다. 상한과 하한은 결국 '이 집합의 원소가 위와 밑으로 끽해야 어디까지 도달할 수 있겠느냐'에 대한 얘기라 할 수 있습니다. 이 정의를 가지고 바로 위에서 다뤘던 범위에서 f(x)의 m_i와 M_i를 관찰해보면 이제는 각각 0과 2라고 말할 수 있다는 걸 느끼실 겁니다.
그러면 이 개념을 적분과 어떻게 연관지을까요? 방금까지 우리가 얘기한 M_i, m_i는 결국 특정점에서의 높이(i.e. 함숫값)의 최대와 최소라고 볼 수 있습니다. 맨 처음에 말한 저 증가함수에서 직사각형의 높이를 왼쪽, 오른쪽 끝 중 어디로 잡을 것이냐와 같은 얘기가 된 것이죠. 이 표현을 통해 직사각형의 넓이들 역시 표현해낼 수 있습니다.
upper sum과 lower sum은 어떤 partition P에 대해 각각 높이가 최대일 때와 최소일 때 그 높이와 구간의 길이(delta(x_i))를 곱해서 구한 직사각형의 넓이의 합입니다. 번역서에서는 각각 상합과 하합이라고 합니다. 그렇다면 이들과 적분가능성의 관계에는 어떤 것이 있을까요?
상황을 한 번 생각해봅시다. P는 우리가 임의의 partition(분할)이라고 가정했으니 우리는 이 분할을 더욱 얇고 미세하게 쪼갤 수 있을 것입니다. 그렇게 만든 partition을 P*라고 해보죠. 그러면 바뀐 partition에 대한 upper sum, lower sum의 값은 각각 어떻게 바뀔까요? 우리는 여기서 L(P,f)<=L(P*,f) & U(P*,f)<=U(P,f)임을 생각해낼 수 있습니다. 세부 구간을 더 잘게 쪼갠다는 건 특정 구간의 최댓값은 더 작아질 수 있고, 최솟값은 더 커질 수 있기 때문이죠. 또한 임의의 partition P에 대해 L(P,f)<=U(P,f)가 성립하니 lower sum이 upper sum보다 더 커질 일은 없다는 것까지 알 수 있습니다.
그러면 결국 적분이 가능한 상황은 어떤 상황이 될까요? partition을 매우매우 잘게 쪼개서 거의 모든 쪼개진 구간의 길이가 0이 되도록 한다면 lower sum의 최댓값과 upper sum의 최댓값이 같게 만들 수 있지 않을까요? 그러면 그때 적분이 가능하다 할 수 있지 않을까요? 이 생각이 바로 다르부 적분의 핵심입니다.
이 definition이 다르부 적분에서 필요한 개념의 마지막입니다. upper sum의 최솟값은 결국 upper sum들을 모두 모아놓은 집합의 '하한', infimum을 말하는 것이고, lower sum의 최댓값은 lower sum의 집합의 supremum을 말하는 것입니다. 표현은 저렇게 적분 기호의 위 아래에 bar를 하나 긋는 것으로 쓰며, 각각 상적분과 하적분으로 번역합니다.
만약 upper integral = lower integral이라면 그때 우리는 f라는 함수가 적분가능, integrable하다고 합니다.
아래는 실제 계산 예제입니다. 불연속 함수의 적분이 가능한 이유를 우리는 적분가능성을 통해 알 수 있지만 현재 교육과정에서는 이러한 점까지 설명해주지 못한다는 문제가 있죠. 이 함수의 0에서 1까지의 적분값이 1/2이라는 건 바로 유추할 수 있지만 실제로는 굉장히 엄밀한 과정이 숨어 있습니다.
적분가능성은 해석학 뒷부분에서 매우 중요하게 다루는 uniformly convergence(균등수렴)에서 중요하게 쓰이는 개념입니다. 오히려 미분가능성보다 활용가치가 더 넓고, 중요한 개념이라 할 수 있죠.
Extra)
이 함수는 Thomae function(토메 함수)입니다. 이 함수는 굉장히 특이한 성질을 가지고 있습니다. 모든 무리수점에서 연속이지만 유리수점에서는 불연속이고, 구간 [0,1]에서 다르부 적분 가능한 함수입니다. 어떻게 이 함수는 이런 성질을 가질 수 있게 된 것일까요? 그리고 어떻게 이 함수는 적분가능한지 증명할 수 있을까요? 그것은 '르베그 정리'와 '측도' 개념에서 자세히 설명할 수 있습니다만... 그 개념들은 수학과 학부 4학년 때 배우는 실해석학 부분에서나 들을 수 있는 얘기이기 때문에 이런 함수가 있다~ 정도로 오늘 칼럼은 갈음하도록 하겠습니다. 봐주셔서 감사합니다!
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
6모/9모랑 수능 등급이 많이 차이나게 나오나요?
-
메가 대성 중에 2
정시 국5 수4 영6이고 사탐런 쳤는데요 내년에 패스 끊을 때 메가랑 대성 중에...
-
정답은 코괴물입니다. 독서론은 문항이 3개이기때문에 사람은 독서론 4개를 틀릴 수 없어요~
-
알면서 비교적 잘 하는 사람의 인생을 좌우하려 한다 모르면서 못하는 사람의 선택을...
-
난독증?
-
실모풀면서 받은 정신적 고통을 음악으로 승화
-
왜 69평에 1나온게 다시 풀면 3나오는지도 모르겠고 이걸 왜 쳐 틀리는지도...
-
사수가 보인다 0
ㅅㅂ...
-
1. 수강대상자: 해석은 되는데 문법문제 못푸는 2~3등급 학생 (해석이 안되면?...
-
이런건 어떻게 해결해요?
-
사탐 1일1실모 조지는중이라 이기상t만으론 부족하던데 다들 세지 실모 어떤거...
-
네 튀긴미쿠입니다. 안녕하세용 연논대비 수리논술 모의고사 1회 링크입니당( 평균...
-
입시에 관심도 없는 사람들이 뭔 조언이야 아는 게 없으면 좀 제발
-
김젬마.
-
이감 6-2 1
독1 문3 언1로 88임 우헤헹 근데 독서 다시 보고 고쳐서 틀린거라 기분 나쁨…...
-
개풀기싫다..0
-
너무싫음….. +해설강의 보며 이해하는것도 어렵고 하기싫은게 당연한데 흐엉우ㅜ츄....
-
지금아라도 연계해야할거같아서 문실정은 개좋네요
-
6모 백분위 82 3등급 9모 5등급.. 여름에 수학 많이 안 하기도 했고 뉴런이랑...
-
너무 추 7
워
-
평가원 발끝정도는 되는것같은데 솔직히 여태까지 풀었던것 중에 제일 괜찮음
-
질받 0
사유는 심심해서..
-
킬캠 시즌2 0
킬캠 시즌2 3회 1컷 얼마정도 보시나요 중간에 시간 끌린 문제 때문에 84 떴는데
-
Btk 미적이나 양승진.미적코드 하면 괜춘??
-
정승제쌤커리타다가 인강있는 엔제 원해서 담금질 뒤부터는 드릴 수1 지금하고있는뎨...
-
궁금한것 3
보통 6모랑 9모 등급vs 수능 등급에서 가장 차이가 클 수 있는게 뭐임? 그니까...
-
활부 3
저녁잠은 신이야
-
이래도 ㄹㅈㄷㄱㅁ이라고 댓글이 달리나 실험하기
-
계속 화장실감? 비염 미치겠네 ㄹㅇ 심한건아닌데 감기기운인듯 비염에 도윰되는거 있나요
-
일단 유전 풀이법을 계속 잊어먹는 것은 병이 맞는거같다
-
생명 유전 3
요즘 실모 풀때 시간 부족해서 걍 남은 유전 직관 없이 최대한 정석대로 풀려고...
-
요즘 스타성있는 젊은 선수들도 많이들 유입되고 홍보도 잘되고 예전처럼 어느 몇팀들이...
-
아니 나만 책 이상태임? 책 양 옆이 무슨 똑딱이도 아니고 ㅈㄴ 거슬리는데......
-
한 시간동안 한 문제를 못풀었어요 따흐앙
-
4등급입니다 2,3점 기생집은 끝났고 4점 기생집 할껀데 일단 10개년만 할려고...
-
그렇다고 휴학 승인 취소하면 오히려 대학 입장에서 뒤 구린거 인증하는 거 아닌가?...
-
https://youtu.be/O1bhZgkC4Gw 가을에 어울린다 이런거보단...
-
진짜 미치겠네 2
예전에 평가원 비문학 어려웠을 때는 뭔가 맛있게 맵다 이런 느낌이였는데 작년...
-
생명 1목표이고 최소2는 맞아야하는데요ㅠ 지금 다인자 복대립 이런것도 제대로...
-
국어 끗 10
요즘 문학 폼이 심하게 떨어져서 문학만 9세트를 벅벅 글이튕기는군
-
못푸는 문제 있을수 있는거죠? 너무 심란하네요
-
10모 버전 고속성장
-
지금 할수있는 유일한건 이악물고 공부하는것 뿐인듯 제발 이번학기 잘해서 3학년때 내신 동결하자
-
나 개쳐늙었네... 10년이 아니라 7년이라네요 ㅈㅅ
-
확통 도와주시요 3
이렇게 분류해서 풀어듀 되는건가요...?ㅠㅠ
-
가 지문 읽고 가 지문 관련 문제 풀고 나 지문 읽고 또 문제 푸시나요 아님 두...
-
여러분들은 차별금지법이 실제로 시행되는것에 대해 어떻게 생각하세요??
-
3번이 b가 아닌 이유 좀요.. 해설에는 얹에 있는 ㅈ이 ㄷ으로 바뀐다는데 먼...
-
이럼 진짜 어느 나사빠진 머저리가 동국대감? 내 반영비가 또 이대식으로...
-
진짜임..
불연속 함수도 웬만해선 적분이 가능하다는 걸 생각해보면... 정말 신기하다는 걸 알 수 있죠
선댓후감
♡
대창섭