{{위키데이터 속성 추적}}
[[수학]]에서 '''실해석학'''(實解析學, {{llang|en|real analysis}}) 또는 '''실변수함수론'''(實變數函數論, {{llang|en|theory of functions of a real variable}})은 [[실수]]와 [[수열]], 실수의 [[급수]], [[함수#종류#특별한 정의역•공역을 갖는 함수|실함수]] 등을 다루는 [[해석학 (수학)|해석학]]의 한 분야이다.<ref>{{웹 인용|url=https://www.math.ucla.edu/~tao/resource/general/131ah.1.03w/week1.pdf|title=Lecture notes for MATH 131AH|last=Tao|first=Terence|date=2003|website=Course Website for MATH 131AH, Department of Mathematics, UCLA}}</ref> 특히 실함수 및 실수열의 수렴, [[극한]], [[연속 함수|연속성]], [[매끄러운 함수|매끈함]], 미분 가능성, 적분 가능성 등을 다룬다.
[[파일:Fourier_Series.svg|섬네일|356x356픽셀|[[방형파]]에 대한 [[푸리에 급수]]의 첫 네 부분합. 푸리에 급수는 실해석학에서 중요하게 사용되는 도구이다.]]
실해석학은 [[복소수]]와 [[복소함수]] 등을 다루는 [[복소해석학]]과는 구별된다.

== 범위 ==

=== 실수의 구성 ===
{{본문|실수의 구성}}
실해석학의 정리들은 [[실수]] 체계의 성질을 기반으로 하기 때문에, 실수를 어떻게 구성할 것인가는 중요한 문제이다. 실수 체계는 [[비가산 집합]](<math>\mathbb{R}</math>)과 함께 [[연산 (수학)#정의|이항 연산]]인 더하기(+)와 곱하기(•), 그리고 [[부분 순서 집합|순서 관계]]인 ≤로 구성된다. 따라서 이항 연산이 있는 실수 체계는 [[체 (수학)|체]]이며, 또한 순서가 부여된 [[순서체]]이다. 실수는 완비 순서체이며, 임의의 완비 순서체는 실수 체계와 [[동형 사상|동형]]이라는 점에서 실수 체계는 유일한 완비 순서체이다. 실수는 완비성, 즉 메꿔질 구멍이 없다는 성질을 가지는데, 이러한 [[실수의 완비성]]은 다른 순서체([[유리수]]체 <math>\mathbb{Q}</math> 등)와 구별되는 실수의 고유한 성질로서 실함수의 성질 등을 증명하는 데에 핵심적인 역할을 한다. 실수의 완비성은 주로 상한 공리를 이용하여 나타낸다.

=== 실수의 순서 성질 ===
실수는 복소수와는 달리 [[격자 (순서론)|격자]]의 성질을 가지며, 또 양수들의 합이나 곱이 양수가 되는 [[순서체]]를 이룬다. 실수는 [[전순서 집합]]으로, 다음의 [[최소 상계 성질]]을 가진다.
<blockquote>[[상계]]를 가지는 임의의 [[공집합]]이 아닌 <math>\mathbb{R}</math>의 [[부분집합]]은 실수를 [[상한]]으로 가진다.</blockquote>

이러한 실수의 성질은 [[단조 수렴 정리]]와 [[중간값 정리]], [[평균값 정리]] 같은 실해석학의 기본 정리들의 증명에 근간이 된다.

=== 실수의 위상적 성질 ===
실해석학의 많은 정리들은 [[실직선]]의 위상적 성질로부터 기인한다. 위의 실수의 순서 성질 또한 위상적 성질과 밀접하게 연결되어 있다. [[위상 공간 (수학)|위상 공간]]으로서 실수는, 순서 <math><</math>으로 유도되는 [[순서 위상]]인 표준 위상을 가진다. 한편 계량 또는 [[거리 함수]] <math>d:\mathbb{R}\times\mathbb{R}\to\mathbb{R}_{\geq 0}</math>를 [[절댓값]] 함수 <math>d(x, y) = |x - y|</math>를 이용하여 정의하면, 실수는 전형적인 [[거리 공간]]이 된다. 계량 <math>d</math>에 의해 유도된 위상은 <math><</math>에 의해 유도된 표준 위상과 동일하다. 따라서 [[중간값 정리]]와 같은 정리들은 <math>\mathbb{R}</math>뿐만 아니라 다른 일반적인 위상 공간에 대해서도 증명할 수 있다.

=== 수열 ===
{{본문|수열}}
'''수열'''이란 [[가산 집합|가산]]인 [[전순서 집합]]을 [[정의역]]으로 가지는 [[함수]]이다. 정의역은 보통 자연수로 주어지지만<ref name="Gaughan">{{서적 인용|title=Introduction to Analysis |last=Gaughan |first=Edward |publisher=AMS (2009)|isbn=978-0-8218-4787-9|chapter=1.1 Sequences and Convergence|year=2009 }}</ref>, 음수를 포함하는 정수를 정의역으로 가지는 양방향 수열을 사용하는 경우도 있다.

실해석학에서 다루는 개념인 '''실수열'''([[영어]]: real-valued sequence)은 자연수를 정의역으로 가지는 사상 <math>a : \N \to \R : n \mapsto a_n</math>이다. 각 <math>a(n) = a_n</math>은 수열의 '''항'''(또는 원소)이라 한다. 수열은 보통 함수의 꼴로 나타내기보다는 정렬된 ∞-[[튜플]]인 것처럼 표현하는데, 아래처럼 각 항이나 일반항을 괄호로 감싼 형태로 표기한다.<math display="block">(a_n) = (a_n)_{n \in \N}=(a_1, a_2, a_3, \dots)</math>수열이 극한값에 점점 가까워지는 경우(즉, <math display="inline">\lim_{n \to \infty} a_n</math>이 존재하는 경우) 수열이 '''수렴'''한다고 하고, 그렇지 않은 경우 '''발산'''한다고 한다. 수열 <math>(a_n)</math>에 대해, 모든 <math>n\in\mathbb{N}</math>에 대해 <math>|a_n|<M</math>인 <math>M\in\R</math>이 존재하는 경우 <math>(a_n)</math>은 '''유계'''라 한다. 또한 <math>(a_n)</math>이<math display="block">a_1 \leq a_2 \leq a_3 \leq \cdots</math>또는<math display="block">a_1 \geq a_2 \geq a_3 \geq \cdots</math>인 경우 각각 '''단조 증가''' 또는 '''단조 감소'''한다고 하며, 두 가지 중 하나를 만족하는 경우 수열이 '''단조'''라 한다. 수열이 위의 식의 <math>\leq</math>나 <math>\geq</math>을 <나 >으로 바꾼 경우에도 성립할 때 각각 '''강한 단조 증가''' 또는 '''강한 단조 감소'''라 한다.

수열 <math>(a_n)</math>이 주어졌을 때, 모든 자연수 <math>k</math>에 대해 <math>b_k=a_{n_k}</math>를 만족하고 <math>(n_k)</math>가 증가하는 자연수 수열인 경우 <math>(b_k)</math>는 <math>(a_n)</math>의 '''부분수열'''이라 한다.

=== 극한과 수렴 ===
{{본문|함수의 극한|수열의 극한}}
간단하게 말하면, 변수나 지표가 특정 값에 다가갈 때([[함수]]나 [[수열]]이 한도 없이 증가 또는 감소할 때는 <math>\pm\infty</math>에 다가간다고 할 수도 있다.) 함수 또는 수열이 점점 "가까워지는" 값을 '''극한'''이라고 한다.<ref>{{서적 인용|last=Stewart|first=James|title=Calculus: Early Transcendentals|publisher=Brooks/Cole|edition=6th|year=2008|isbn=978-0-495-01166-8|url=https://archive.org/details/calculusearlytra00stew_1}}</ref> 극한은 [[미적분학]](넓게는 해석학)에서 중요한 개념이며 [[연속 함수|연속]], [[미분]], [[적분]]과 같은 개념들을 정의하기 위해서 극한의 엄밀한 정의가 사용된다.(사실, 극한의 성질은 미적분학과 해석학을 수학의 다른 분야들과 구별하는 특징이 된다.)

함수에서 극한이라는 개념은 17세기 말 [[아이작 뉴턴|뉴턴]]과 [[고트프리트 빌헬름 라이프니츠|라이프니츠]]가 [[무한소]] 미적분학을 정립하면서 도입하였다. 수열의 극한 개념은 라이프니츠가 도입하였으며, 이후 19세기 말 [[베르나르트 볼차노|볼차노]]와 [[카를 바이어슈트라스|바이어슈트라스]]가 다음의 [[엡실론-델타 논법]]을 이용하여 보다 엄밀하게 정의하였다.

'''정의.''' <math>f</math>가 <math>E\subset\mathbb{R}</math>에서 정의된 실함수라 하자. 임의의 <math>\varepsilon>0</math>에 대해, 모든 <math>x\in E</math>에 대하여 <math>0 < |x - x_0| < \delta</math>이면 <math>|f(x) - L| < \varepsilon</math>를 만족하도록 하는 <math>\delta>0</math>가 항상 존재하면, '''<math>x</math>가 <math>x_0</math>로 갈 때 <math>f(x)</math>가 <math>L</math>로 수렴한다''' 또는 '''<math>x</math>가 <math>x_0</math>로 갈 때 <math>f(x)</math>의 극한은 <math>L</math>이다'''라 하고<math display="block">x\to x_0  \text{일 때}  f(x)\to L</math>또는<math display="block">\lim_{x\to x_0} f(x) = L</math>이라 쓴다.

위의 정의는 다음과 같이 이해할 수 있다. <math display="inline">x\to x_0 </math>일 때 <math display="inline">f(x)\to L</math>라는 것은 아무리 작은 <math>\varepsilon>0</math>가 주어지더라도, <math>x_0</math>와의 차이가 <math>\delta</math>보다 작은 모든 <math>x_0</math>가 아닌 실수 <math>x</math>에 대하여 <math>f(x)</math>와 <math>L</math>의 차이가 <math>\varepsilon>0</math>보다 작도록 하는 <math>\delta>0</math>를 항상 찾을 수 있다는 것이다. 정의의 조건에서 <math>0 < |x - x_0| < \delta</math>이기 때문에 <math display="inline">\lim_{x\to x_0} f(x) = L</math>은 <math>f(x_0)</math>의 값 자체에 대해서는 아무것도 알려주지 못한다. 사실 <math>x_0</math>가 <math>f</math>의 정의역에 있지 않더라도 <math display="inline">\lim_{x\to x_0} f(x) = L</math>가 존재할 수 있다.

함수의 극한처럼, <math>n</math>이 커질 때 수열 <math>(a_n)</math>에 대해서도 극한 개념을 적용할 수 있다.

'''정의.''' <math>(a_n)</math>이 실수열이라 하자. 임의의 <math>\varepsilon>0</math>에 대해, 모든 <math>n\geq N</math>에 대하여 <math>0 < |a - a_n| < \delta</math>를 만족하도록 하는 <math>N</math>이 항상 존재하면, '''<math>(a_n)</math>이 <math>a</math>로 수렴한다'''고 하고<math display="block">n\to \infty  \text{일 때}  a_n\to a</math>또는<math display="block">\lim_{n \to \infty} a_n = a</math>라 쓴다. <math>(a_n)</math>이 수렴하지 않는다면 <math>(a_n)</math>이 '''발산한다'''고 한다.

수열에서의 극한의 정의를 약간 변형하여 실함수에 대해서 일반화하면(수열 <math>(a_n)</math>과 항 <math>a_n</math>을 각각 함수 <math>f</math>와 함숫값 <math>f(x)</math>로, 자연수<math>N</math>과 <math>n</math>을 각각 실수 <math>M</math>과 <math>x</math>로 바꾸면 된다.)<math display="inline">\lim_{x \to \infty} f(x)</math>, 즉 <math>x</math>가 한도 없이 증가할 때 <math>f(x)</math>의 극한을 정의할 수 있다. <math>x\geq M</math> 대신 <math>x \leq M</math>으로 바꾸면 <math>x</math>가 한도 없이 감소할 때 <math>f(x)</math>의 극한 <math display="inline">\lim_{x \to -\infty} f(x)</math>을 정의할 수 있다.

때로는 수열의 수렴값은 모르더라도 수열이 수렴한다는 사실 자체가 유용할 때가 있는데, 이 경우 코시 수열이 유용하게 쓸 수 있는 개념이다.

'''정의.'''  <math>(a_n)</math>이 실수열이라 하자. 임의의  <math>\varepsilon>0</math>에 대해, <math>m,n\geq N</math>이면 <math>|a_m-a_n| < \varepsilon</math>을 만족하도록 하는 자연수<math>N</math>이 항상 존재하면 <math>(a_n)</math>을 '''코시 수열'''이라 한다.

실수열이 수렴하는 것과 코시 수열인 것은 서로 [[필요충분조건]]이다. 이 성질은 실수에 표준 거리가 부여된 <math>(\R, |\cdot|)</math>가 [[완비 거리 공간]]이라는 것으로 나타난다. 그러나 일반적인 거리 공간에서 코시 수열이 수렴할 필요는 없다.

한편 실수열이 단조라면, 실수열이 유계인 것과 수렴하는 것은 서로 필요충분조건이다.

=== 함수열의 균등 수렴과 점별 수렴 ===
{{본문|균등 수렴|점별 수렴}}
실수의 수열처럼 <math>E\subset \mathbb{R}</math>을 정의역으로 갖는 함수 <math>f_n:E\to\mathbb{R}</math>들의 수열과 이 수열의 수렴성에 대해 생각할 수 있는데, 이 함수열을 <math>(f_n)_{n=1}^\infty</math>와 같이 표기한다.  실수열과 달리 함수열의 경우 두 종류의 수렴이 존재하는데, 바로 '''균등 수렴'''과 '''점별 수렴'''이다.

간단히 말하면 <math>f_n</math>의 <math>f:E\to\mathbb{R}</math>로의 점별 수렴이란 임의의 <math>x\in E</math>에 대해 <math>n\to\infty</math>일 때 <math>f_n(x)\to f(x)</math>라는 것이고, <math>f_n \rightarrow f</math>라 쓴다. 반면 균등 수렴은 점별 수렴보다 강한 개념으로, 균등 수렴이면 점별 수렴이지만 그 역은 성립하지 않는다. 균등 수렴이란 임의의 <math>\varepsilon > 0</math>에 대해, <math>n\geq N</math>일 때 모든 <math>x\in E</math>에 대하여 <math>|f_n(x)-f(x)|<\varepsilon</math>을 만족하도록 하는 <math>N</math>이 항상 존재한다는 것이고, <math>f_n\rightrightarrows f</math>라 쓴다. 균등 수렴을 직관적으로 시각화하자면, 충분히 큰 <math>N</math>에 대하여 함수 <math>f_N, f_{N+1}, f_{N+2},\ldots</math>가 모두 정의역 <math>E</math>에서 <math>f</math>를 기준으로 <math>2\varepsilon</math>만큼의 간격을 가진 띠(즉, <math>f - \varepsilon</math>와 <math>f+\varepsilon</math> 사이) 내에 존재한다고 생각하면 된다.

두 극한의 연산(극한을 취하거나, 미분 또는 적분을 하는 등) 순서가 서로 바뀔 때, 점별 수렴인지 균등 수렴인지 구별하는 것이 중요할 때가 있다. 보통 실해석학의 많은 정리들에서는 연산 순서가 바뀌어도 성립하기 위해 균등 수렴이 조건으로 붙는 경우가 많다. 예를 들어 연속 함수들로 이루어진 수열이 균등 수렴이라면 수렴 함수가 연속이지만, 점별 수렴인 경우 연속이 아닐 수 있다.

=== 콤팩트성 ===
{{본문|콤팩트 공간}}
콤팩트성은 실해석학의 많은 정리들에서 중요한 역할을 하는 [[일반위상수학]]의 개념이다. 콤팩트성의 성질은 닫힌 유계 집합의 개념을 일반화한 것으로, 특히 실해석학에서 유클리드 공간에서는 집합이 콤팩트인 것과 닫힌 유계인 것이 동치이다. 여기서 닫힌 집합은 모든 [[경계|경계점]]들을 포함하는 집합이고, 유계 집합은 임의의 두 점 사이의 거리가 <math>M</math>보다 작은 실수<math>M</math>이 존재하는 집합이다. <math>\mathbb{R}</math>에서 닫힌 유계, 즉 콤팩트인 집합으로는 [[공집합]], 유한한 점으로 구성된 집합, [[구간#정의|닫힌 구간]], 그리고 유한 개의 닫힌 구간들의 [[합집합]] 등이 있다. 이 외에 <math>\{1/n:n\in\mathbb{N}\}\cup \{0}\</math>이나 [[칸토어 집합]] <math>\mathcal{C}\subset [0,1]</math>도 콤팩트 집합의 예시이다. 반면 <math>\{1/n:n\in\mathbb{N}\}</math>와 같은 집합은 유계이기는 하나 경계점인 0을 포함하지 않기 때문에 콤팩트가 아니다.

실수의 부분집합에 대해서는, 콤팩트와 동치인 몇 가지 정의가 있다.

'''정의.''' 집합 <math>E\subset\mathbb{R}</math>가 닫힌 유계라면, 콤팩트이다.

이 정의는 모든 차원의 유클리드 공간 <math>\mathbb{R}^n</math>에 대해서 성립하지만 일반적인 거리 공간에 대해서는 만족하지 않는다. [[하이네-보렐 정리]]에 의하면 닫힌 유계를 이용한 정의는 후술할 부분덮개를 이용한 정의와 동치이다.

모든 거리 공간에 대한 보다 일반적인 콤팩트의 정의는 부분수열 개념을 사용한다.

'''정의.''' 거리 공간에서의 집합 <math>E</math>의 임의의 수열이 수렴하는 부분수열을 가지면 <math>E</math>는 콤팩트이다.

위와 같은 성질을 점렬 콤팩트성이라고 한다. <math>\mathbb{R}</math>에서는 집합이 점렬 콤팩트인 것과 닫힌 유계인 것이 동치이다. 점렬 콤팩트성을 이용한 정의는 거리 공간에서는 부분덮개를 이용한 정의와 동치이나, 일반적인 위상 공간에서는 성립하지 않는다.

위상 공간(따라서 거리 공간과 <math>\mathbb{R}</math>을 포함한다.)에서도 적용되는 일반적인 콤팩트의 정의는 '''열린 덮개''' 또는 '''부분 덮개''' 개념을 이용한다. 간단하게 설명하면, 열린 집합들로 이루어진 집합족 <math>U_{\alpha}</math>의 합집합이 <math>X</math>을 부분집합으로 가질 때, <math>U_{\alpha}</math>를 <math>X</math>의 열린 [[덮개 (위상수학)|덮개]] 또는 부분 덮개라 한다. 이 열린 덮개가 <math>U_{\alpha}</math>의 유한 개의 집합으로 이루어진 집합족을 <math>X</math>의 열린 덮개로 가지는 것이 가능할 때, 유한 부분덮개를 가진다고 한다.

'''정의.''' 위상 공간에서의 집합 <math>X</math>의 임의의 열린 덮개가 유한 부분덮개를 가지면 <math>X</math>는 콤팩트이다.

콤팩트 집합은 수렴이나 연속같은 성질에서 조화를 이룬다. 예를 들어 임의의 코시 수열은 콤팩트 거리 공간에서 수렴한다. 또 연속 사상에서 콤팩트 거리 공간의 [[상 (수학)|상]] 또한 콤팩트이다.

=== 연속 ===
{{본문|연속 함수}}
실수 집합에서 실수 집합으로 사상하는 [[함수]]는 [[데카르트 좌표계]]에서 [[함수의 그래프|그래프]]로 나타낼 수 있다. 함수가 연속이라는 것은, 간단하게 말해서 함수의 그래프가 '구멍'이나 '도약' 없이 하나로 이어진 곡선이라는 것이다.

연속을 수학적으로 엄밀하게 정의하는 방법에는 여러 가지가 있다. 각 정의마다 일반적으로 정의 가능한 대상이 달라질 수 있는데, 두 가지 이상의 정의가 적용 가능한 경우 보통 두 정의가 서로 동치임을 보일 수 있다.

아래의 정의에서 <math>f:I\to\R</math>는 실수로 구성된 집합인 비퇴화(non-degenerate) 구간 <math>I</math>를 정의역으로 가지는 함수이다. 여기서 <math>I</math>는 실수 전체의 집합 <math>\R</math>이나 열린 구간<math>(a, b) = \{x \in \R \mid a < x < b \} </math>, 또는 닫힌 구간 <math>I = [a, b] = \{x \in \R \mid a \leq x \leq b\}</math>이 될 수 있다. 참고로 <math>a</math>와 <math>b</math>는 서로 다른 실수로, <math>I</math>가 공집합이나 원소를 한 개만 갖는 집합이 되는 경우를 제외한다.

'''정의.''' 비퇴화 구간 <math>I\subset \mathbb{R}</math>에 대하여 함수 <math>f:I \to \R</math>가 <math>p\in I</math>에 대해 <math display="inline">\lim_{x \to p} f(x) = f(p)</math>를 만족하면 '''<math>f</math>는 <math>p</math>에서 연속'''이라고 한다. 구간 내의 모든 <math>p\in I</math>에서 <math>f</math>가 연속일 때 <math>f</math>를 '''연속 함수'''라고 한다.

<math>f</math>가 <math>p</math>에서 연속이려면, <math>p</math> 자체에서 <math>f</math>의 값과는 상관없었던 극한과 달리 <math display="inline">\lim_{x\to p} f(x)</math>이 존재와 함께 다음의 두 조건 또한 만족해야 한다. '''(i)''' <math>f</math>가 <math>p</math>에서 정의되어 있어야 하고, '''(ii)''' <math>x \to p</math>일 때 <math>f(x)\to f(p)</math>여야 한다. 위의 정의는 고립점(isolated point)을 포함하지 않는 집합인 정의역 <math>E</math>, 즉 모든 <math>p\in E</math>가 극한점(limit point)인 정의역 <math>E</math>에 대해 적용 가능하다. 더 일반적인 집합 <math>X\subset \mathbb{R}</math>를 정의역으로 가지는 함수 <math>f:X\to\mathbb{R}</math>에 대한 정의는 아래와 같다.

'''정의.''' <math>X</math>가 <math>\mathbb{R}</math>의 부분집합이라 하자. 임의의 실수 <math>\varepsilon>0</math>에 대해, 모든 <math>x\in X</math>에 대하여 <math>|x-p|<\delta</math>이면 <math>|f(x)-f(p)| < \varepsilon</math>을 만족하도록 하는 실수  <math>\delta>0</math>가 항상 존재하면 '''<math>f:X\to\mathbb{R}</math>는 <math>p\in X</math>에서 연속'''이라고 한다. 모든 <math>p\in X</math>에 대해 <math>f</math>가 연속일 때 <math>f</math>를 '''연속 함수'''라고 한다.

위 정의를 따르면 <math>f</math>는 모든 고립점 <math>p\in X</math>에서 자명하게 연속이다. 이러한 다소 비직관적인 결론은 더 일반적인 [[위상 공간 (수학)|위상 공간]] 위에서의 사상의 연속의 정의와 일맥상통하기 위해 필수적이다. 아래는 위상 공간에서의 연속의 정의로, 실해석학의 범위를 다소 벗어난다.

'''정의.''' <math>X</math>와 <math>Y</math>를 위상 공간이라 하자. 임의의 <math>Y</math>의 원소 <math>f(p)</math>의 근방 <math>V</math>에 대해 <math>f^{-1} (V)</math>가 <math>p\in X</math>의 [[근방]]이면 '''<math>f:X\to Y</math>는 <math>p</math>에서 연속'''이라고 한다. 모든 <math>Y</math>의 열린 집합 <math>U</math>에 대해 <math>f^{-1}(U)</math>가 <math>X</math>에서 열려 있으면 <math>f</math>를 '''연속 함수'''라고 한다.

(여기서 <math>f^{-1}(S)</math>는 <math>f</math>에 대한 <math>S\subset Y</math>의 [[상 (수학)|역상]]이다.)

==== 균등 연속 ====
{{본문|균등 연속 함수}}
'''정의.''' <math>X</math>가 실수로 구성된 집합이라 하자. 임의의 실수 <math>\varepsilon > 0</math>에 대해, 모든 <math>x,y\in X</math>에 대하여 <math>|x-y|<\delta</math>이면 <math>|f(x)-f(y)| < \varepsilon</math>를 만족하도록 하는 <math>\delta>0</math>가 항상 존재하면 <math>f:X\to\mathbb{R}</math>는 <math>X</math>에서 '''균등 연속'''이라고 한다.

<math>X</math>가 균등 연속이라는 것은, <math>\varepsilon</math>이 주어졌을 때 모든 <math>X</math>의 원소에 대하여 주어진 조건을 만족하도록 하는 <math>\delta</math>를 선택할 수 있다는 것이다. 반면 함수가 모든 점 <math>p\in X</math>에서 일반적인 연속일 때는 <math>\varepsilon</math>와 <math>p</math> 값에 따라 <math>\delta</math>가 달라진다. 또 일반적인 연속과는 달리 함수가 균등 연속이라는 것은 특정 정의역이 주어졌을 때만 성립하는 개념으로, 어떤 점 <math>p</math>에서의 균등 연속과 같은 것은 없다.

콤팩트 집합을 정의역으로 갖는 연속 함수는 균등 연속임을 보일 수 있다. 반면 <math>E</math>가 유계이고 콤팩트가 아닌 <math>\mathbb{R}</math>의 부분집합일 때 연속이지만 균등 연속은 아닌 함수 <math>f:E\to\mathbb{R}</math>가 존재할 수 있다. 예를 들어 함수 <math>f:(0,1)\to\mathbb{R}</math>가 <math>f(x)=1/x</math>로 주어졌을 때, 주어진 <math>\varepsilon > 0</math>에 대하여 어떤 <math>\delta>0</math>를 선택하든지 상관없이 0과 충분히 가까울 때 <math>|f(x)-f(y)| > \varepsilon</math>가 되도록 할 수 있으므로 이 함수는 연속이지만 균등 연속이 아니다.

==== 절대 연속 ====
{{본문|절대 연속 측도}}
'''정의.''' <math>I\subset\mathbb{R}</math>가 실직선 위의 구간이라 하자. 임의의 <math>\varepsilon</math>에 대해, 각자 [[서로소 집합|서로소]]인 <math>I</math>의 소구간(sub-interval)들로 이루어진 유한 수열 <math>(x_1, y_1), (x_2,y_2),\ldots, (x_n,y_n)</math>이 <math>\sum_{k=1}^{n} (y_k - x_k) < \delta</math>이면 <math>\sum_{k=1}^{n} | f(y_k) - f(x_k) | < \varepsilon.</math>을 만족하도록 하는 <math>\delta</math>가 항상 존재하면 <math>f:I \to \mathbb{R}</math>는 <math>I</math>에서 '''절대 연속'''이라고 한다.<ref>{{harvnb|Royden|1988|loc=Sect. 5.4, page 108}}; {{harvnb|Nielsen|1997|loc=Definition 15.6 on page 251}}; {{harvnb|Athreya|Lahiri|2006|loc=Definitions 4.4.1, 4.4.2 on pages 128,129}}</ref>

위에서 n=1이면 연속의 정의에 해당하므로 절대 연속인 함수는 연속이다. ''I''에서 절대 연속인 모든 함수들의 집합은 AC(''I'')로 표기한다. 절대 연속은 르베그 적분에서 중요하게 쓰이는 개념으로, 일반화된 미적분학의 기본정리를 르베그 적분에 대해 적용할 수 있도록 해준다.

=== 미분 ===
{{본문|미분}}
함수의 미분 또는 미분 가능성이라는 개념은 '가장 최선의' 선형 근사를 이용해 함수를 근사한다는 개념에서 비롯되었다. 이러한 선형 근사는, 만약 존재한다면, 주어진 점 <math>a</math>에서 접하고 경사가 <math>a</math>에서의 미분계수인 직선으로 유일하게 주어진다.

함수 <math>f:\mathbb{R}\to\mathbb{R}</math>에 대해 다음의 [[함수의 극한|극한]]
:<math>f'(a)=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}</math>
이 존재할 때 '''<math>f</math>는 <math>a</math>에서 미분 가능하다'''고 한다. 이때의 극한값은 <math>a</math>에서 <math>f</math>의 '''미분 계수'''라 하며 함수 <math>f'</math>은 <math>f</math>의 '''미분'''(또는 '''도함수''')라고 한다. 모든 점에서 도함수가 존재할 때 함수를 '''미분 가능'''하다고 한다.

<math>f</math>가 <math>a</math>에서 미분 가능하다면 또한 <math>a</math>에서 연속이다. 따라서 미분 가능성은 연속보다 강한 조건이며(미분은 함수의 '매끄러움'을 나타내는 조건이라고 볼 수 있다.), 모든 점에서 연속이면서 모든 점에서 미분 불가능한 함수가 존재할 수도 있다.([[바이어슈트라스 함수]] 참고) 도함수의 도함수를 계속해서 구하는 식으로 고계 도함수를 정의하는 것도 가능하다.

각 함수는 미분 가능성에 따라 클래스를 분류할 수 있다. 클래스 <math>C^0</math>는(구간에 대해 적용하여 <math>C^0([a,b])</math>라 표기하기도 한다.) 모든 연속 함수들의 집합이다. 클래스 <math>C^1</math>는 모든 '''연속 미분가능 함수''', 즉 도함수가 연속 함수인 미분 가능 함수들의 집합이다. 따라서 <math>C^1</math>에 속하는 함수는 도함수가 <math>C^0</math>에 속하는 함수이다. 일반적으로, <math>C^k</math>는 <math>C^0</math>를 모든 연속 함수들의 집합으로 정의한 뒤 임의의 자연수 <math>k</math>에 대해 <math>C^k</math>를 도함수가 <math>C^(k-1)</math>에 속하는 함수들의 집합으로 정의하는 재귀적인 방법으로 정의할 수 있다. 특히 모든 <math>k</math>에 대해 <math>C^k</math>는 <math>C^(k-1)</math>에 포함되는 집합이다. 클래스 <math>C^\infty</math>는 모든 음이 아닌 정수 <math>k</math>에 대하여 <math>C^k</math> 클래스들의 교집합으로 정의하며, <math>C^\infty</math>의 원소를 '''[[매끄러운 함수]]'''라 부른다. 매끄러운 함수는 무한 번 미분 가능하다. 클래스 <math>C^\omega</math>는 모든 [[해석 함수]]들의 집합으로, <math>C^\infty</math>의 진부분집합이다([[비 해석적 매끄러운 함수|매끄럽지만 비해석적인 함수]]의 예로는 [[범프 함수]]가 있다.).

=== 급수 ===
{{본문|급수 (수학)}}
급수란 무한히 나열된 수들의 합을 구한다는 개념을 엄밀하게 정의한 것이다. 무한히 많은 수들을 더한 값이 유한한 값이 될 수 있다는 사실은 고대 그리스인들에게 비직관적으로 보였고, 제논과 같은 철학자들은 이와 관련해 많은 역설들을 남겼다. 현대에 이르러서는 무한히 많은 수들을 더한다는 다소 모호한 개념 대신 급수에 값들을 부여한다는 개념을 사용한다. 구체적으로는 첫 <math>n</math>개 항의 합으로 정의되는 부분합을 고려하는데, <math>n</math>이 무한히 커질 때 이 부분합들로 이루어진 수열이 수렴한다면 이 수렴하는 값을 급수로 정의한다.

(무한) 수열 <math>(a_n)</math>이 주어졌을 때 '''급수'''를 <math display="inline">a_1 + a_2 + a_3 + \cdots = \sum_{n=1}^{\infty} a_n</math>로 정의하며, 간단히 <math display="inline">\sum a_n</math>로 쓰기도 한다. 급수의 '''부분합''' <math display="inline">\sum a_n</math>은 <math display="inline">s_n=\sum_{j=1}^n a_j</math>로 정의한다. 급수 <math display="inline">\sum a_n</math>은 부분합들로 이루어진 수열 <math>(s_n)</math>이 수렴할 때 '''수렴한다'''고 하고, 그렇지 않을 때 '''발산한다'''고 한다. 급수의 '''합'''은 <math display="inline">s = \lim_{n \to \infty} s_n</math>으로 정의한다.

여기서 '합'이란 부분합들로 이루어진 수열의 극한을 의미하는 비유적인 개념으로 이해해야 하며, 단순히 무한히 많은 수들을 '더하는' 개념으로 오해해서는 안 된다. 일례로 유한 수열의 합과는 달리 무한 급수는 각 항들의 더하는 순서를 바꾸면 수렴값이 달라질 수 있다([[리만 재배열 정리]] 참고).

다음의 [[등비수열#등비급수|기하급수]]는 수렴하는 급수의 예시이며, [[제논의 역설]] 등이 이 원리를 이용하였다.

:<math>\sum_{n=1}^\infty \frac{1}{2^n} = \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = 1 .</math>

반면 다음의 [[조화급수]]는 중세 시대 때부터 발산한다는 사실이 알려져 있었다.

:<math>\sum_{n=1}^\infty \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \cdots = \infty .</math>

(위에서 '<math>=\infty</math>'은 급수의 부분합이 무한히 커진다는 것을 의미한다.)

급수 <math display="inline">\sum a_n</math>은 <math display="inline">\sum |a_n|</math>이 수렴할 때 '''[[절대 수렴]]'''한다고 한다.<ref>항을 더하는 순서를 바꿔도 수렴값이 변하지 않는 급수를 '''[[무조건 수렴]]'''한다고 하고, 그렇지 않은 급수를 '''[[조건 수렴]]'''한다고 한다. 실수항 또는 복소수항 급수의 경우 무조건 수렴은 절대 수렴과 동치이며, 따라서 조건 수렴은 절대 수렴하지 않는 수렴 급수와 같다. 그러나 일반적인 [[바나흐 공간]]에서는 두 수렴이 동치가 아니며, 무조건 수렴하지만 절대 수렴하지 않는 급수가 존재한다.</ref> 절대 수렴하는 급수가 수렴함은 쉽게 보일 수 있다. 반면 다음과 같은 급수는 수렴하지만 절대 수렴하지는 않는다.

:<math>\sum_{n=1}^\infty \frac{(-1)^{n-1}}{n} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots = \ln 2 .</math>

==== 테일러 급수 ====
{{본문|테일러 급수}}
실함수 또는 [[복소함수]] ''ƒ''(''x'')가 ''a''에서 [[매끄러운 함수|매끄러울 때]] ''a''에서 ''f''(''x'')의 테일러 급수는 다음의 [[멱급수]]

:<math>f(a) + \frac{f'(a)}{1!} (x-a) + \frac{f''(a)}{2!} (x-a)^2 + \frac{f^{(3)}(a)}{3!} (x-a)^3 + \cdots. </math>

이다. 이는 또한 시그마 기호를 사용해

<math> \sum_{n=0} ^ {\infty} \frac {f^{(n)}(a)}{n!} \, (x-a)^{n}</math>

로 나타낼 수도 있다. 여기서 ''n''!은 ''n''의 [[계승 (수학)|팩토리얼]]이고 ''ƒ''<sup>&nbsp;(''n'')</sup>(''a'')은 ''a''에서 ''f''의 ''n''계 도함수 값이다. ''n'' = 0일 때 ''ƒ''<sup>&nbsp;(''n'')</sup>(''a'')은 ''f'' 자신을 의미하고 (''x'' − ''a'')<sup>0</sup>과 0!은 1로 정의된다. ''a'' = 0일 때의 테일러 급수를 매클로린 급수라 부른다.

''a''에서 ''f''의 테일러 급수는 발산할 수도, ''a''에서만 수렴할 수도, <math>|x-a|<R</math>인 모든 ''x''에 대해 수렴할 수도(이러한 조건을 만족하는 가장 큰 ''R''을 수렴반지름이라 한다.), 실직선 전체에서 수렴할 수도 있다. 수렴하는 테일러 급수가 그 점에서의 함숫값과 다른 값으로 수렴할 수도 있다. 정의역 내의 모든 ''x''<sub>0</sub>에 대해 ''x''<sub>0</sub>의 테일러 급수가 그 근방에서 함수로 수렴하면 함수가 [[해석 함수|해석적]]이라 한다. 해석 함수는 많은 중요한 성질을 갖고 있는데, 특히 해석적인 실함수는 복소함수로 자연스럽게 확장할 수 있다. [[지수 함수]]와 [[로그 (수학)|로그 함수]], [[삼각함수]] 및 그 [[역함수]]들은 모두 이러한 방법을 통해 복소수로 확장할 수 있다.

==== 푸리에 급수 ====
{{본문|푸리에 급수}}
푸리에 급수는 [[주기함수]]나 주기적인 신호를 사인함수나 코사인함수(또는 복소지수)와 같은 단순 진동함수들로 분해하는 데에 사용한다. 푸리에 급수는 해석학의 하위 분야인 푸리에 해석에서 핵심적으로 다루는 개념이다.

=== 적분 ===
{{본문|적분}}
'''[[적분]]'''이란 곡선으로 둘러싸인 영역의 넓이나 곡선의 길이, 표면으로 둘러싸인 공간의 부피 등을 구하는 데에 쓰이는 개념이다. 고대 그리스와 중국에서는 이런 값들을 구하기 위해 실진법([[영어]]: method of exhaustion)을 이용하였다. 이 방법은 주어진 영역에 내접하는 다각형과 외접하는 다각형의 넓이를 계산하여 구하고자 하는 넓이를 근사하는 것으로, 점점 더 작은 조각들을 영역 내부와 외부에 계속해서 덧붙여 나가면 두 값이 주어진 영역의 넓이로 수렴하는 원리에 기초한다.

[[리만 적분]]을 정의할 때도 실진법의 원리를 이용하는데, 점점 더 작은 직사각형 조각(이를 '세분'이라 한다.)으로 영역을 쪼갤 수록 리만(또는 다르부) 상합과 하합이 동시에 특정 값으로 수렴할 때 적분이 존재한다고 한다. 리만 적분보다 좀 더 복잡하기는 하지만 [[르베그 적분]]도 비슷한 개념을 사용하여 적분을 정의한다. 리만 적분과 달리 더 정교한 르베그 적분을 이용하면, 넓이를 정의할 수 있는 가측 집합이 아닌 경우를 제외하면 복잡하고 비정규적인 유클리드 공간 집합의 넓이(또는 길이, 부피 등. 이를 '측도'라는 개념으로 일반화한다.)도 계산할 수 있다.

==== 리만 적분 ====
{{본문|리만 적분}}
리만 적분은 어떤 구간의 분할이 주어졌을 때 함수의 [[리만 합]]을 이용하여 정의할 수 있다. <math>[a,b]</math>가 실직선 위의 [[구간#정의|닫힌 구간]]이라 하자. 이때 <math>[a,b]</math>의 '''분할''' <math>\cal{P}</math>는 아래의 유한 수열

:<math> a = x_0 \le x_1 \le x_2 \le \cdots \le x_{n-1} \le x_n = b \,\!</math>

이다. <math>\cal{P}</math>는 <math>i=1,\ldots, n</math>인 <math>i</math>에 대해<math>n</math>개의 닫힌 구간 <math>t_i\in[x_{i-1},x_i]</math>로 <math>[a,b]</math>를 분할한다. 이제 <math>[a,b]</math>에서 정의된 함수 <math>f</math>에 대해 각 <math>n</math>개의 구간에서 임의의 실수 <math>t_i\in[x_{i-1},x_i]</math>를 선택하면, <math>f</math>의 리만합을

:<math>\sum_{i=1}^{n} f(t_i) \Delta_i </math>

으로 정의한다. 여기서 <math>\Delta_i=x_i-x_{i-1}</math>는 <math>i</math>번째 닫힌 구간의 길이이다. 따라서 위에서 더해지는 각 항은, 너비가 닫힌 구간의 길이이고 높이가 그 구간에서 임의로 선택했던 점에서의 함숫값인 직사각형의 넓이를 의미한다. 주어진 분할에서 가장 넓은 구간의 길이 <math display="inline">\|\Delta_i\| = \max_{i=1,\ldots, n}\Delta_i</math>를 분할의 '''노름'''([[영어]]: norm) 또는 '''메시'''([[영어]]: mesh)라 한다. 임의의 <math>\varepsilon>0</math>에 대해, 노름이 <math>\| \Delta_i \| < \delta</math>인 모든 분할 <math>\cal{P}</math>에 대하여 아래 식을 만족하는 <math>\delta>0</math>가 존재하면 <math>S</math>를 <math>[a,b]</math>에서 <math>f</math>의 '''리만 적분'''이라 한다.

::<math>\left| S - \sum_{i=1}^{n} f(t_i)\Delta_i \right| < \varepsilon</math>

리만 적분은 <math display="inline">\mathcal{R}\int_{a}^b f=S</math>로 표기하기도 한다. 각 구간에서 함숫값이 최대(또는 최소)가 되는 점을 선택했을 때의 리만 합을 '''다르부 상합'''(또는 '''다르부 하합''')이라 한다. 충분히 작은 노름에 대해 다르부 상합과 하합의 차가 임의의 값보다 작아질 수 있으면 함수를 '''다르부 적분가능'''하다고 한다. [[다르부 적분]]가능은 리만 적분가능과 동치로, 함수의 다르부 적분과 리만 적분 값은 같다. 미적분학 및 해석학 교재에서는 다르부 적분과 리만 적분의 정의를 혼용해서 사용하는 경우가 많다.

[[미적분학의 기본정리]]에 의하여, 특정 조건 하에서 미분과 적분은 서로 역연산 관계에 있다.

==== 르베그 적분과 측도 ====
{{본문|르베그 적분}}
'''르베그 적분'''은 더 많은 종류의 함수 및 더 다양한 종류의 정의역에 대해 적분을 정의할 수 있게 해 준다. 또 길이와 넓이, 부피 등을 일반화한 개념인 '''[[측도]]'''를 사용한다.

=== 분포 ===
{{본문|분포 (해석학)}}
'''분포'''(또는 '''일반화된 함수''')란 [[함수]]를 일반화한 것이다. 분포를 사용하면 기존에 미분 불가능했던 함수를 미분할 수도 있다.

== 주요 정리 ==
실해석학의 주요 정리들로는 [[볼차노-바이어슈트라스 정리]], [[하이네-보렐 정리]], [[중간값 정리]], [[평균값 정리]], [[테일러 정리]], [[미적분학의 기본정리]], 아르젤라-아스콜리 정리, 스톤-바이어슈트라스 정리, [[파투 보조정리]], [[단조 수렴 정리]], [[지배 수렴 정리]] 등이 있다.

== 같이 보기 ==
* [[복소해석학]]

== 참고 문헌 ==
*{{서적 인용|last=Abbott |first=Stephen |title=Understanding Analysis |series=Undergraduate Texts in Mathematics |isbn=0-387-95060-5 |year=2001 |location=New York |publisher=Springer-Verlag}}
* {{서적 인용|title=Principles of real analysis |last2=Burkinshaw |first2=Owen |publisher=Academic |isbn=0-12-050257-7|year=1998|edition=3rd|last1=Aliprantis |first1=Charalambos D.}}
*{{서적 인용|title=Introduction to Real Analysis |last2=Sherbert |first2=Donald R. |publisher=John Wiley and Sons |isbn=978-0-471-43331-6|year=2011|edition=4th |location=New York|last1=Bartle |first1=Robert G.}}
*{{서적 인용|last=Bressoud |first=David|title=A Radical Approach to Real Analysis |isbn=978-0-88385-747-2 |publisher=MAA |year=2007}}
*{{서적 인용|last=Browder |first=Andrew |title=Mathematical Analysis: An Introduction |series=Undergraduate Texts in Mathematics |location=New York |publisher=Springer-Verlag |year=1996 |isbn=0-387-94614-4}}
*{{서적 인용|url=https://archive.org/details/CarothersN.L.RealAnalysisCambridge2000Isbn0521497566416S|title=Real Analysis|last=Carothers|first=Neal L.|publisher=Cambridge University Press|year=2000|isbn=978-0521497565|location=Cambridge}}
*{{서적 인용|last1=Dangello |first1=Frank |last2=Seyfried |first2=Michael |title=Introductory Real Analysis |isbn=978-0-395-95933-6 |publisher=Brooks Cole |year=1999}}
*{{서적 인용|last1=Kolmogorov |first1=A. N.|last2=Fomin |first2=S. V.|others=Translated by Richard A. Silverman |title=Introductory Real Analysis |year=1975 |publisher=Dover Publications |url=https://archive.org/details/introductoryreal00kolm_0|isbn=0486612260 }}
*{{서적 인용|url=https://archive.org/details/PrinciplesOfMathematicalAnalysis|title=Principles of Mathematical Analysis|last=Rudin|first=Walter|publisher=McGraw–Hill|isbn=978-0-07-054235-8|year=1976|edition=3rd|series=Walter Rudin Student Series in Advanced Mathematics|location=New York}}
*{{서적 인용|url=https://archive.org/details/RudinW.RealAndComplexAnalysis3e1987|title=Real and Complex Analysis|last=Rudin|first=Walter|publisher=McGraw-Hill|isbn=978-0-07-054234-1|year=1987|edition=3rd|location=New York}}
* {{서적 인용|title=Calculus|publisher=Publish or Perish, Inc.|isbn=091409890X|year=1994|edition= 3rd|location=houston, Texas|last1=Spivak|first1=Michael}}

== 각주 ==
{{각주}}

== 외부 링크 ==
* [https://textbooks.opensuny.org/how-we-got-from-there-to-here-a-story-of-real-analysis/ How We Got From There to Here: A Story of Real Analysis] {{웨이백|url=https://textbooks.opensuny.org/how-we-got-from-there-to-here-a-story-of-real-analysis/ |date=20190222193438 }} by Robert Rogers and Eugene Boman
* [http://www.worldscientific.com/worldscibooks/10.1142/8580 A First Course in Analysis] by Donald Yau
* [http://www.analysiswebnotes.com Analysis WebNotes] {{웨이백|url=http://www.analysiswebnotes.com/ |date=20220220042639 }} by John Lindsay Orr
* [http://www.mathcs.org/analysis/reals/index.html Interactive Real Analysis] by  Bert G. Wachsmuth
* [http://www-groups.mcs.st-andrews.ac.uk/~john/analysis/index.html A First Analysis Course] {{웨이백|url=http://www-groups.mcs.st-andrews.ac.uk/~john/analysis/index.html |date=20070927235711 }} by John O'Connor
* [http://www.trillia.com/zakon-analysisI.html Mathematical Analysis I] by Elias Zakon
* [http://www.trillia.com/zakon-analysisII.html Mathematical Analysis II] by Elias Zakon
* {{서적 인용| last1=Trench | first1=William F. | title=Introduction to Real Analysis | url=http://ramanujan.math.trinity.edu/wtrench/texts/TRENCH_REAL_ANALYSIS.PDF | publisher=Prentice Hall | isbn=978-0-13-045786-8 | year=2003 }}
* [http://www.economics.soton.ac.uk/staff/aldrich/Calculus%20and%20Analysis%20Earliest%20Uses.htm Earliest Known Uses of Some of the Words of Mathematics: Calculus & Analysis]
* [http://www.jirka.org/ra/ Basic Analysis: Introduction to Real Analysis] by Jiri Lebl
* [https://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html Topics in Real and Functional Analysis] by Gerald Teschl, University of Vienna.

{{수학 분야}}
{{전거 통제}}

[[분류:실해석학]]