칼럼) 미분가능성은 있는데 적분가능성은 없어?
게시글 주소: https://iu.orbi.kr/00069362639
안녕하세요. 요즘 뻘글만 주야장천 써대는 신창섭입니다. 오르비는 원래 수험생들 간에 정보를 공유하고 지식을 나누는 곳이죠. 물론 커뮤니티의 성격이 존재하는 한 어쩔 수 없이 그런 글들이 가끔은 묻히는 모습을 보곤 합니다. 문득 해석학 과제를 하다가 정말 오랜만에 칼럼을 하나 작성하고 싶어져서 칼럼을 작성합니다. 주제는 앞서 말했듯이 '적분가능성', 그 중에서도 다르부 적분에 대한 조금은 심오한 얘기와 르베그 적분에 대한 짧은 이야기입니다.
'미분이 가능한 함수는 어떤 함수인지 잘 알겠는데... 적분이 가능한 함수는 어떤 함수야? 그리고 수학자마다 적분에 대한 정의가 달라?'하고 당연히 반문하실 분들이 많을 것 같습니다. 우리가 미분을 배울 때는 '오일러 미분가능성'(한 예시일 뿐이지 실제로 이런 이름으로 된 정의는 없습니다...) 뭐 이런 이름으로 배우진 않았었기 때문이죠. 하지만 미적분을 하셨던 분들이라면 얼핏 들어보셨을 법한 단어가 하나 있으실 겁니다.바로 리만이라는 사람이죠. 대부분 이 리만이라는 사람을 처음 접하게 되는 건 구분구적법을 배울 때일 겁니다. 구획을 나눠 아주 작은 직사각형의 합으로 적분을 표현한다. 오늘은 이에 대한 얘기를 깊게 해보고자 합니다.
*적분가능성에 대한 얘기는 현재 고등학교 교육과정 내에서 설명이 불가능한 개념들이 존재하는 엄연한 교과 외 과정입니다. 이 점 참고하시면서 글을 봐주시면 좋을 것 같습니다. 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를 선물하세요.
-
10월 12일 논술인데 민증 신청을 2일에 해서....그 전에 나오는거는...
-
세지 이모다 0
이모다 16분컷 48 good
-
물리 실모 다떨어져서 손떨리는 중이었어 ㅜㅜ
-
저는 학교에서 쓰는 거 그대로 아니면 그냥 생년월일 씀
-
집에가고싶다 0
파수인 개이쁨
-
진짜 40일전인데 실모 ㅈㄴ 틀리는거보고 진짜 살자마렵다 실모는 실모라서 신경쓰지...
-
영어 실모 4
영어 실모 그냥 조정식 김지영 둘중에 끌리는거 사도 딱히 차이는 없죠?
-
이번 9모 높3인데 미적분을 너무 못해요ㅠ 27부터는 거의 찍고 개념 일부도 좀...
-
언제 뭔지 순서대로 알려주실수있나용 아니면 그냥 순서아니더라도 알려주세요!
-
기울어진 풍경의 장막 저쪽에 고독한 반원을 긋고 잠기어 간다
-
내일이 중간고산데, 재수하면 수시원서는 절대 안넣을거 같아서 버릴려 하는데, 챙겨야 할까요?
-
문학 선지허용 질문 15
제가 쓸데없는 표현 하나하나에 집착하는 경향이 심하거든요? 저는 지문에서 주인공이...
-
솔직히 1년6개월이 30 40살에 가면 그나마 갈만한데 20대 시절에는 너무...
-
[칼럼]수능=Leet=Peet 동일한 , 전체지문 pdf첨부. 17
이제 팔로우 100분을 넘겼네요ㅜㅜ 어쨋든 약속했으니 지키겠습니다. (좋아요도...
-
ㅈㄱㄴ 궁금해요
-
ㅜ
-
문학 정답률은 좋은편인데 항상 막 두개 세개 정도 사이에서 고민하다가 그나마 맞는거...
-
별 따먹자 5
-
지문이 괜찮으면 문제가 별로고, 문제가 괜찮으면 지문이 별로임.
-
연고공 4
연고대 공대나 자연대 뜨려면 성적이 어느정도 나와야하나요 ?? 간절합니다 ..
-
[에라둔] 2025 피직솔루션 chap0 - 비례식의 원리 (수정) 5
(기존 교재, 순서 꼬여서 수정하느라 다시 업로드합니다) 내분점, 외분점외에도...
-
난이도 1,2회 보다 쉬운거 아닌가요?
-
김승리 아수라일지라도 11
3낮1 6,9 높2 뜨는 현역인데 지금까지 김동욱 커리 탔음 남은 기간동안 장클래스...
-
저만 이미지t 실모 점수 너무 안나오나요? 다른 실모는 그래도 평균점수랑 괴리감이...
-
1회 80 2회 88 3회 81 4회 82 5회 69 나름 9모 1등급인데 이...
-
당근조아 0
모의고사개많이샀는데 무려20000원
-
강케이 뺨아리 개때리네 걍… 진짜 개빡빡하다
-
실모 풀고 나서부터 이러는데 머리는 개 뜨겁고 추움 진짜 독감걸린거 같음 약간
-
소신발언 0
코카보단 펩시
-
고2 모고 4-5 나오는 진짜허수임니다…… 둘 중에 어떤식으로 공부해나가면 좋을지...
-
문제 겹치면 살짝 돈아까운데
-
내신따는 난도는 제외하고 그 외의 부분에서 단성학교가 나았나요? 아님 공학이 나았나요?
-
N수생들 수학,과탐에 투자하는 시간이 장난아닌데.. 이런 사람들 이기는 현역...
-
메가스터디가는 것도 아니고
-
드디어 시작한다!!!!!!!
-
오늘도 김과외에 조지게 제안서를 보내는 나.
-
나도 안해.
-
주격조사 파트를 배울 때에는 ㅣ 나 반모음ㅣ 이외의 모음으로 끝난 체언 뒤에는...
-
질받해요 122
작 9평 원점수 98 96 93 47 50 올 9평 성적표는 안받았고 100 100...
-
왜캐 잘함 다들..
-
이것이 바로 연고대 통합이다. 역시 신창섭의 은혜겠지요.
-
6모/9모랑 수능 등급이 많이 차이나게 나오나요?
-
메가 대성 중에 2
정시 국5 수4 영6이고 사탐런 쳤는데요 내년에 패스 끊을 때 메가랑 대성 중에...
-
정답은 코괴물입니다. 독서론은 문항이 3개이기때문에 사람은 독서론 4개를 틀릴 수 없어요~
-
알면서 비교적 잘 하는 사람의 인생을 좌우하려 한다 모르면서 못하는 사람의 선택을...
-
난독증?
-
실모풀면서 받은 정신적 고통을 음악으로 승화
-
왜 69평에 1나온게 다시 풀면 3나오는지도 모르겠고 이걸 왜 쳐 틀리는지도...
-
사수가 보인다 0
ㅅㅂ...
불연속 함수도 웬만해선 적분이 가능하다는 걸 생각해보면... 정말 신기하다는 걸 알 수 있죠
선댓후감
♡
대창섭