Xrthnty

方波的傅立葉級數的前四項。傅立葉級數是實分析的一項重要工具

實分析或實數分析是處理實數及實函數的數學分析。專門實數函數及數列的解析特性，包括實數數列的極限，實函數的微分及積分、連續性，光滑性以及其他相關性質。

實分析常以基礎集合論，函數概念定義等等開始。

內容

實數的構造

有許多種將實數定義為有序域的方式。合成的作法會提供許多實數的公理，將實數變成完備有序域。在一般集合论的公理下，可以證明這些公理都是明確的，也就是說有一個公理的模型，任兩個模型都是同构的。這些模型中需要有一個有明確的定義，而大部份的模型都可以用實數為有序域時的基本性質來得到。

實數的有序性

實數有許多重要的特性是和數學中格的定義有關，這些性質也是複數所沒有的。其中最重要的是，實數形成有序域，實數的有序滿足反對稱性、傳遞性及完全性，屬於全序关系，而且實數有最小上限屬性（英语：least upper bound property）。實數中的偏序关系帶來了實變分析中許多重要的定理，例如单调收敛定理、介值定理及中值定理。

在實變分析中這些定理只針對實數，不過許多的結果可以應用在其他的數學對象（英语：mathematical object）。特別是許多泛函分析及算子理論（英语：operator theory）中的概念是來自實數中概念的擴展，這類的擴展包括里斯空間（英语：Riesz space）及正算子（英语：positive operator）的理論。也有數學家考慮複數數列的實部及虛部，例如算子數列的逐點評估（英语：strong operator topology）。

序列

序列是一個定義域為可數全序集合的函数，多半會讓定義域是自然數或是所有整數^[1]。例如，一個實數的序列為以下定義的映射a:N→R, n↦andisplaystyle a:mathbb N to mathbb R , nmapsto a_n，常會表示為(an)=(an)n∈N=(a1,a2,a3,⋯)displaystyle (a_n)=(a_n)_nin mathbb N =(a_1,a_2,a_3,cdots )。若一序列會慢慢的接近一個极限（也就是存在limn→∞antextstyle lim _nto infty a_n ），稱此序列為收斂，否則則稱此序列為發散。

極限

極限是指函数或序列在其輸入接近一定值時，其輸出數值所接近的特定定值^[2]。極限是微积分学及廣義数学分析的基礎，連續函數、导数及积分也是利用極限來定義。

連續函數

若函数的輸入及輸出值都是实数，可以表示成笛卡儿坐标系上的图形。粗略來說，若函数图形是一條連續未分割的曲线，其中沒有「洞」或是「斷點」，函數即為連續函數。

針對上述粗略的定義，在數學上有許多嚴謹的定義。這些定義彼此是等价的，因此會用最簡單而方便的定義來確認一個函數是否是連續，在以下的定義中

f:I→R.displaystyle fcolon Irightarrow mathbf R .

是一個定義在實數Rdisplaystyle boldsymbol R以內子集的函數，子集I稱為函數f的定義域。子集I的一些可能選擇包括I=Rdisplaystyle I=boldsymbol R（所有實數）、以下的開區間

I=(a,b)=a<x<b,displaystyle I=(a,b)=xin mathbf R ,,

或閉區間

I=[a,b]=x∈R.displaystyle I=[a,b]=xin mathbf R ,.

因此adisplaystyle a及bdisplaystyle b是實數。

一致连续是連續函數中，比連續函數更強的性質。若X和Y是實數子集，函數f:X→Ydisplaystyle f:Xrightarrow Y為一致连续的條件是針對所有大於0的實數εdisplaystyle varepsilon ，存在一實數δ>0displaystyle delta >0，使得針對所有的x,y∈X,|x−y|<δdisplaystyle x,yin X,leftvert x-yrightvert <delta 即表示⟹|f(x)−f(y)|<εdisplaystyle implies leftvert f(x)-f(y)rightvert <varepsilon 。

一致连续和每一點連续的差異在一致连续時，δdisplaystyle delta 值只和εdisplaystyle varepsilon 值有關，和該值在定義域中的位置無關。一般情況下，連續不意味著均勻連續。

級數

給定一無窮序列 (an)displaystyle (a_n)，即可定義相關的級數為a1+a2+a3+⋯=∑n∈Nantextstyle a_1+a_2+a_3+cdots =sum _nin mathbb N a_n，有時會簡稱為∑antextstyle sum a_n。級數的部份和∑antextstyle sum a_n為sn=∑j=1najtextstyle s_n=sum _j=1^na_j。級數∑antextstyle sum a_n收斂的條件是部份和的數列(sn)displaystyle (s_n)收斂，否則級數即稱為發散。收斂級數的和s=∑n=1∞antextstyle s=sum _n=1^infty a_n定義為s=limn→∞sntextstyle s=lim _nto infty s_n.

等比数列的和就是一個收斂級數，也是芝诺悖论的基礎：

∑n=1∞12n=12+14+18+⋯=1displaystyle sum _n=1^infty frac 12^n=frac 12+frac 14+frac 18+cdots =1.

以下的調和級數即為發散級數：

∑n=1∞1n=1+12+13+⋯=∞displaystyle sum _n=1^infty frac 1n=1+frac 12+frac 13+cdots =infty .

（此處=∞displaystyle =infty 不是嚴謹的表示方式，只是表示部份和會無限制的成長）

微分

函數fdisplaystyle f在adisplaystyle a位置的導數為以下的函數極限

f′(a)=limh→0f(a+h)−f(a)hdisplaystyle f'(a)=lim _hto 0frac f(a+h)-f(a)h

若導數在所有位置都存在，稱函數為可微分，可以再繼續計算函數的高階導數。

也可以將函數依其微分分類來區分。分類C0displaystyle C^0包括所有連續函數，分類C1displaystyle C^1包括所有導數連續的可微函数，這類函數稱為「連續可微」。分類C1displaystyle C^1是指其導數在分類C1displaystyle C^1中的函數。一般來說，分類Ckdisplaystyle C^k可以用递归方式定義，定義方式是宣告分類C0displaystyle C^0是所有的連續函數，而分類Ckdisplaystyle C^k（kdisplaystyle k為正整數）是所有可微，而且其導數為Ck−1displaystyle C^k-1的函數。而分類Ckdisplaystyle C^k包括在分類Ck−1displaystyle C^k-1中，對所有的正整數kdisplaystyle k都成立。分類C∞displaystyle C^infty 是所有Ckdisplaystyle C^k的交集，其中kdisplaystyle k為所有的非負整數。Cωdisplaystyle C^omega 包括所有的解析函数，是分類C∞displaystyle C^infty 的嚴格子集。

積分

黎曼積分

黎曼積分定義函數的黎曼和，對應為一個區間內的標記分區（tagged partitions）。令[a,b]displaystyle [a,b]為實數下的封閉區間，則在區間[a,b]displaystyle [a,b]內的標記分區為有限數列

a=x0≤t1≤x1≤t2≤x2≤⋯≤xn−1≤tn≤xn=b.displaystyle a=x_0leq t_1leq x_1leq t_2leq x_2leq cdots leq x_n-1leq t_nleq x_n=b.,!

將區間[a,b]displaystyle [a,b]分隔為ndisplaystyle n個下標為idisplaystyle i子區間[xi−1,xi]displaystyle [x_i-1,x_i]，每一個用不同的點ti∈[xi−1,xi]displaystyle t_iin [x_i-1,x_i]來標記。函數f對應標記分區的黎曼和定義為

∑i=1nf(ti)Δi;displaystyle sum _i=1^nf(t_i)Delta _i;

則和的每一項都是長方形的面積，其高為函數在給定子區間內，標示點的數值，寬和子區間的寬相等。令Δi=xi−xi−1displaystyle Delta _i=x_i-x_i-1為子區間idisplaystyle i的寬，則標記分區的網格為長子區間中最寬區間的寬度maxi=1…nΔidisplaystyle mathrm max _i=1ldots nDelta _i。函數fdisplaystyle f在區間[a,b]displaystyle [a,b]內的黎曼積分等於Sdisplaystyle S若：

對所有ε>0displaystyle varepsilon >0，存在δ>0displaystyle delta >0使得，對於任何有標示，且網格小於δdisplaystyle delta 的區間[a,b]displaystyle [a,b]，以下的式子成立

|S−∑i=1nf(ti)Δi|<ε.S-sum _i=1^nf(t_i)Delta _iright

若選定的標示都是每個區間內函數的最大值（或最小值），黎曼積分就會成為上（或下）达布和，因此黎曼積分和达布积分有緊密的關係。

勒貝格積分

勒貝格積分是一種積分概念，可以將積分延伸到更大範圍的函數，同時也拓展函數的定义域。

分布

分布或是广义函数是一種將函数擴展後產生的概念。透過分布可以針對一些在傳統定義下其導數不存在的函數進行微分（例如单位阶跃函数）。而任何局部可积函数都一定會有广义函数下的導數。

和複變分析的關係

实变函数论是数学分析的一部份，探討像數列及其極限、連續性、函數的导数及积分。實變分析專注在实数，多半會包括正負無窮大以形成擴展實軸。實變分析和研究复数對應性質的複分析緊密相關。在複分析中，很自然的會對全純函數定義导数，全純函數有許多有用的性質，包括多次可微、可以用幂级数表示，而且滿足柯西積分公式。

實變分析中也很自然的去考慮可微、光滑函數或调和函数，這些也常常用到，不過仍少了一些複變中全純函數中有力的性質。而且代数基本定理若以複數表示時會比較簡單。

複變中解析函数理論的技巧也可以用在實變分析，例如應用留数定理來計算實變函數的定積分。

重要結果

實分析的重要結果包括波爾查諾－魏爾斯特拉斯定理、海涅－博雷尔定理、介值定理、中值定理、微积分基本定理及单调收敛定理。

實分析的許多概念可以擴展到廣義的度量空间，包括巴拿赫空间及希尔伯特空间。

相關條目

• 實分析主題列表（英语：List of real analysis topics）


• 时标微积分


• 多實變數函數（英语：Function of several real variables）


• 實坐標空間（英语：Real coordinate space）


• 
  複分析