볼테라 함수

해석학·미적분학 Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	<colbgcolor=#26455A>실수와 복소수		실수(실직선 · 아르키메데스 성질) · 복소수(복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수		함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수(동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
함수		초등함수(대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수(변분법 · 오일러 방정식) · 병리적 함수
극한·연속		함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴(균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
극한·연속		중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사(어림)
수열·급수		수열(규칙과 대응) · 급수(멱급수 · 테일러 급수(/목록) · 조화급수 · 그란디 급수(라마누잔합) · 망원급수(부분분수분해)) · 그물
		오일러 수열 · 베르누이 수열 · 월리스 곱
		단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측^미해결
미분		미분 · 도함수(이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점(변곡점 · 안장점) · 매끄러움
		평균값 정리(롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
		립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분		적분 · 정적분(/예제) · 스틸체스 적분 · 부정적분(부정적분 일람) · 부분적분(LIATE 법칙 · 도표적분법 · /예제) · 치환적분 · 이상적분(코시 주요값)
		미적분의 기본정리 · 적분의 평균값 정리
		리시 방법 · 2학년의 꿈
다변수·벡터 미적분		편도함수 · 미분형식 · ∇ · 중적분(선적분 · 면적분 · 야코비안) ·야코비 공식
다변수·벡터 미적분		라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리(발산 정리 · 그린 정리)· 변분법
미분방정식		미분방정식(/풀이) · 라플라스 변환
측도론		측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
측도론		칸토어 집합 · 비탈리 집합
복소해석		코시-리만 방정식 · 로랑 급수(주부) · 유수 · 해석적 연속 · 오일러 공식(오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석	공간	위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · L^p 공간
	작용소	수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
	대수	C*-대수 · 폰 노이만 대수
	정리	한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
	이론	디랙 델타 함수(분포이론)
조화해석		푸리에 해석(푸리에 변환 · 아다마르 변환)
관련 분야		해석 기하학 · 미분 기하학 · 해석적 정수론(1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설^미해결) · 확률론(확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학(양-밀스 질량 간극 가설^미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움^미해결) · 수리경제학^{(경제수학)} · 공업수학
기타		퍼지 논리 · 합성곱

}}}}}}}}} ||

삼각함수 · 쌍곡선함수 Trigonometric Functions · Hyperbolic Functions
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	<colbgcolor=#f080b0> 기본 개념	기하학{평면기하학(삼각형 · 삼각비 · 원 · 쌍곡선)} · 해석학{좌표계 · 복소평면 · 함수(초월함수 · 특수함수)}
삼각함수	사인곡선(위상수학자의 사인곡선) · 역함수 · 도함수 · 역도함수 · 관련 함수 · 삼각함수의 덧셈정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 오일러 공식 · 푸리에 해석(푸리에 변환) · 삼각 적분 함수 · 구데르만 함수 · 프레넬 적분 함수 · 디리클레 함수 · 바이어슈트라스 함수 · 볼테라 함수 · 에어리 함수 · 야코비 타원 함수
쌍곡선함수	현수선 · 쌍곡선 적분 함수 · 구데르만 함수	}}}}}}}}}

1. 개요2. 정의

2.1. 설명

3. 성질

1. 개요

Funzione di Volterra / Volterra’s function / Volterra 函數

이탈리아의 수학자인 비토 볼테라가 고안한, [math([0,1])]위에서 정의된 병리적 함수의 일종으로, 미분 가능하지만, 그 도함수가 유계임에도 리만 적분이 불가능하다. 이러한 함수가 존재함에도 미적분의 기본정리가 참인 이유는, 미적분의 기본정리에는 연속 함수라는 조건이 달려 있기 때문이다.

2. 정의

C

를 아래와 같이 정의된 뚱뚱한 칸토어 집합이라고 하자.[1]
*

C_{1}=\left[0,\dfrac{3}{8}\right]\cup\left[\dfrac{5}{8},1\right]

C_{n}=\cup_{k=1}^{2^{n}}[a_k,b_{k}]

일 때,

C_{n+1}=\displaystyle\bigcup_{k=1}^{2^{n}}\left(\left[a_{k},\dfrac{a_{k}+b_{k}}{2}-\dfrac{1}{2^{2n+3}}\right]\cup\left[\dfrac{a_{k}+b_{k}}{2}+\dfrac{1}{2^{2n+3}},b_{k}\right]\right)

C=\displaystyle\bigcap_{n=1}^{\infty}C_{n}

이 때,

[0,1]-C

가 열린집합이므로 서로소 열린구간열

\{I_{k}\}_{k\in\mathbb{N}}

의 합집합으로 나타낼 수 있다.

I_{k}=\left(\alpha,\beta\right)

라고 하고, 함수

V_{k}:I_{k}\to\mathbb{R}

를 아래와 같이 정의하자.

V_{k}</math>의 그래프. 위 그래프를 적절하게 크기를 조절해서 뚱뚱한 칸토어 집합을 만들 때 제거되는 구간마다 무한히 복붙하면 볼테라 함수가 된다.

V_{k}(x)=\begin{cases}(x-\alpha)^{2}\sin\dfrac{1}{x-\alpha}, & \alpha<x\leq m_{1} \\ (m_{1}-\alpha)^{2}\sin\dfrac{1}{m_{1}-\alpha}, & m_{1}\leq x\leq m_{2} \\ (\beta-x)^{2}\sin\dfrac{1}{\beta-x}, & m_{2} \leq x < \beta \end{cases}

(단,

m_{1}

은

(x-\alpha)^{2}\sin\dfrac{1}{x-\alpha}

가 구간

(\alpha,\frac{\alpha+\beta}{2})

위에서 극댓값인

x

중에서 가장 큰 값이고,

m_{2}

는

(\beta-x)^{2}\sin\dfrac{1}{\beta-x}

가 구간

(\frac{\alpha+\beta}{2},\beta)

위에서 극댓값인

x

중에서 가장 작은 값.[2])[3]

최종적으로, 볼테라 함수

V:[0,1]\to\mathbb{R}

은 아래와 같이 정의되는 함수이다.

V(x)=\begin{cases}V_{k}(x), & x\in I_{k},\:k\in\mathbb{N}\\ 0, & x\in C \end{cases}

2.1. 설명

함수

f(x)=\begin{cases}x^{2}\sin\dfrac{1}{x},&x\neq 0\\ 0,&x=0\end{cases}

를 생각해보자. 이 함수는 구간

(-\infty,0)

와

(0,\infty)

위에서는 초등함수의 사칙연산과 합성으로 이루어진 함수이므로 미분의 일반적인 성질에 의해

f'(x)=2x\sin\dfrac{1}{x}-\cos\dfrac{1}{x}

로 구할수 있다.

x=0

일 때는, 다음과 같이 미분계수의 정의를 이용해서,

\lim\limits_{x\to 0}\dfrac{x^{2}\sin\dfrac{1}{x}-0}{x-0}=0

이 된다는 것을 알 수 있다. 즉,

f'(x)=\begin{cases}2x\sin\dfrac{1}{x}-\cos\dfrac{1}{x},&x\neq 0\\0,&x=0 \end{cases}

위의

f'(x)

는 특이하게도 어떤 함수의 도함수인데도 불연속인 함수이다. 그런데, 이 함수는 한 점만 불연속이므로, 리만적분 가능하다. 즉, 우리의 목표 중 하나인 리만적분 불가능을 달성할 정도로 특이하진 않다는 것.

유계 함수에 대해, 리만적분 가능성과 동치인 조건은 함수가 '거의 모든 점'에서 연속이란 것이다.[4] 여기서 '거의 모든 점'에서 연속이란 것은, 불연속 점의 르베그 측도 [5]가 0이란 것이다. 르베그 측도가 0인 집합으로는 대표적으로 가산집합이 있다.[6] 그래서, 리만적분이 불가능한 유계 함수를 만들려면, 불연속 점을 자연수의 개수보다는 훨씬 많이 심어야 한다.

그런데, 놀랍게도 다음의 특성을 갖는 집합이 있다.

르베그 측도가 0이 아니다.
집합 내의 임의의 두 점을 잡았을 때, 그 두 점의 사이에 들어오면서도, 그 집합과는 서로소인 열린구간이 항상 존재한다.
닫혀있다.

SVC 집합(SVC set; Smith-Volterra-Cantor set) 또는 뚱뚱한 칸토어 집합(fat Cantor set)이라고 부르는 집합인데, 칸토어 집합의 변형으로, 프랑스의 수학자, 앙리 스미스가 1875년에, 이탈리아의 수학자, 비토 볼테라가 1881년에 도입한 개념이다. 1.에 따라서, 함수가 SVC 집합의 모든 점에서 불연속이면, 리만적분 불가능하다. 3.에 의해서 SVC 집합의 여집합을 열린구간의 합집합으로 나타낼 수 있다. 그래서, 위에서 정의한

f(x)

를 변형한 함수를 SVC 집합의 여집합을 구성하는 열린구간마다, 도함수가 불연속인 점이 SVC 집합에 놓이도록 적절히 심어 놓으면, 미분가능하면서도 도함수는 리만적분 불가능한, 아주 괴상한 함수를 만들어낼 수 있는 것이다.

3. 성질

V

는

[0,1]

위에서 미분 가능하고, 도함수

V^{\prime}

이

C

위의 모든 점에서 불연속이라는 사실을 쉽게 유도할 수 있다. 그런데

C

는 르베그 측도가 0보다 크므로

V^{\prime}

은 리만적분 불가능하다.

[1] 그냥 칸토어 집합과는 다르게, n번째 단계에서, [math(2^{n-1})]개 각각의 소구간에서 길이가 [math(1/4^n)]에 해당하는 가운데 열린구간을 제거한다. 그러면 제거당한 구간의 총 길이가 1/2이 되어, 남은 점들의 측도가 1/2이 된다.[2] 두 함수가

x=\dfrac{\alpha+\beta}{2}

에 대해 서로 좌우 반전 되어있으므로, 두 극댓값은 같다.[3] [math(\alpha,\:\beta,\:m_{1},\:m_{2})] 등은 [math(k)]의 값에 따라서 결정되는 값이지만, 이를 일일이 나타낼 경우 표기가 복잡해지므로 생략하였다.[4] 이를 리만-르베그 정리, 리만적분 가능성에 대한 르베그 판정법 등으로 부른다.[5] 집합의 모든 원소를 수직선에 늘여놓았을 때의 길이라고 생각하면 된다.[6] 예를 들어서, 가우스 함수는 리만적분 가능하다.

볼테라 함수

1. 개요

2. 정의

2.1. 설명

3. 성질

분류