徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
自由
比浏览器更快的访问!
 

实变函数论

指数 实变函数论

實分析或實數分析是處理實數及實函數的數學分析。專門實數函數及數列的解析特性,包括實數數列的極限,實函數的微分及積分、連續性,光滑性以及其他相關性質。 實分析常以基礎集合論,函數概念定義等等開始。.

64 关系: 域 (數學)偏序关系单位阶跃函数单调收敛定理區間可微函数同构复数 (数学)子集定义域实数导数局部可积函数巴拿赫空间中值定理希尔伯特空间一致连续广义函数幂级数序列度量空间代数基本定理介值定理微分微积分基本定理微积分学函数函数图形函數極限全序关系公理光滑函数积分笛卡儿坐标系等价关系等比数列算子留数定理芝诺悖论複分析解析函数调和函数调和级数黎曼和达布积分范畴论閉區間自然数集合论連續函數 (拓撲學)...递归柯西積分公式极限 (数学)格 (数学)極限 (數列)模型论波爾查諾-魏爾斯特拉斯定理泛函分析有序域海涅-博雷尔定理时标微积分擴展實數線数学分析曲线 扩展索引 (14 更多) »

域 (數學)

在抽象代数中,域(Field)是一种可進行加、減、乘和除(除了除以零之外,「零」即加法單位元素)運算的代數結構。域的概念是数域以及四则运算的推广。 域是环的一种。域和一般的环的区别在于域要求它的元素(除零元素之外)可以进行除法运算,这等价于说每个非零的元素都要有乘法逆元。體中的運算关于乘法是可交换的。若乘法運算沒有要求可交換則稱為除環(division ring)或skew field。.

新!!: 实变函数论和域 (數學) · 查看更多 »

偏序关系

偏序集合(Partially ordered set,简写poset)是数学中,特别是序理论中,指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的,就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.

新!!: 实变函数论和偏序关系 · 查看更多 »

单位阶跃函数

單位階躍函數,又称赫维赛德阶跃函数,定義如下: 另一种定义为: 或 它是個不連續函數,其「微分」是狄拉克δ函數。它是一個幾乎必然是零的隨機變數的累積分布函數。 事實上,x.

新!!: 实变函数论和单位阶跃函数 · 查看更多 »

单调收敛定理

在数学中,有许多定理称为单调收敛定理;这里我们介绍一些主要的例子。.

新!!: 实变函数论和单调收敛定理 · 查看更多 »

區間

在數學上,區間是某個範圍的數的搜集,一般以集合形式表示。.

新!!: 实变函数论和區間 · 查看更多 »

可微函数

在微积分学中,可微函数是指那些在定义域中所有点都存在导数的函数。可微函数的图像在定义域内的每一点上必存在非垂直切线。因此,可微函数的图像是相对光滑的,没有间断点、尖点或任何有垂直切线的点。 一般来说,若X0是函数f定义域上的一点,且f′(X0)有定义,则称f在X0点可微。这就是说f的图像在(X0, f(X0))点有非垂直切线,且该点不是间断点、尖点。.

新!!: 实变函数论和可微函数 · 查看更多 »

同构

在抽象代数中,同构(isomorphism)指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。 正式的表述是:同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射,那么这两个结构叫做是同构的。一般来说,如果忽略掉同构的对象的属性或操作的具体定义,单从结构上讲,同构的对象是完全等价的。.

新!!: 实变函数论和同构 · 查看更多 »

复数 (数学)

複數,為實數的延伸,它使任一多項式方程式都有根。複數當中有個「虛數單位」i,它是-1的一个平方根,即i ^2.

新!!: 实变函数论和复数 (数学) · 查看更多 »

子集

子集,為某個集合中一部分的集合,故亦稱部分集合。 若A和B为集合,且A的所有元素都是B的元素,则有:.

新!!: 实变函数论和子集 · 查看更多 »

定义域

定义域(Domain),是函数自变量所有可取值的集合。给定函数f:A\rightarrow B,其中A被称为是f的定义域,记作D_。f映射到陪域中的所有值的集合称为f的值域,记作f(A)或R_。 例如,函数f(x).

新!!: 实变函数论和定义域 · 查看更多 »

实数

实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.

新!!: 实变函数论和实数 · 查看更多 »

导数

导数(Derivative)是微积分学中重要的基礎概念。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数f的自变量在一点x_0上产生一个增量h时,函數输出值的增量與自變量增量h的比值在h趋于0时的極限如果存在,即為f在x_0处的导数,记作f'(x_0)、\frac(x_0)或\left.\frac\right|_。例如在运动学中,物体的位移对于时间的导数就是物体的瞬时速度。 导数是函数的局部性质。不是所有的函数都有导数,一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在,则称其在这一点可导,否则称为不可导。如果函数的自变量和取值都是实数的话,那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。 对于可导的函数f,x \mapsto f'(x)也是一个函数,称作f的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之,已知导函数也可以倒过来求原来的函数,即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作,它们都是微积分学中最为基础的概念。.

新!!: 实变函数论和导数 · 查看更多 »

局部可积函数

在数学中,局部可积函数是指在定义域内的所有紧集上都可积的函数。.

新!!: 实变函数论和局部可积函数 · 查看更多 »

巴拿赫空间

在數學裡,尤其是在泛函分析之中,巴拿赫空間是一個完備賦範向量空間。更精確地說,巴拿赫空間是一個具有範數並對此範數完備的向量空間。 巴拿赫空間有兩種常見的類型:「實巴拿赫空間」及「複巴拿赫空間」,分別是指將巴拿赫空間的向量空間定義於由實數或複數組成的--之上。 許多在數學分析中學到的無限維函數空間都是巴拿赫空間,包括由連續函數(緊緻赫斯多夫空間上的連續函數)組成的空間、由勒貝格可積函數組成的Lp空間及由全純函數組成的哈代空間。上述空間是拓撲向量空間中最常見的類型,這些空間的拓撲都自來其範數。 巴拿赫空間是以波蘭數學家斯特凡·巴拿赫的名字來命名,他和漢斯·哈恩及愛德華·赫麗於1920-1922年提出此空間。.

新!!: 实变函数论和巴拿赫空间 · 查看更多 »

中值定理

在實分析中,中值定理(mean value theorem)描述了連續光滑曲線在兩點之間的光滑性: 中值定理包括微分中值定理和积分中值定理。.

新!!: 实变函数论和中值定理 · 查看更多 »

希尔伯特空间

在数学裡,希尔伯特空间即完备的内积空间,也就是說一個帶有內積的完備向量空間。是有限维欧几里得空间的一个推广,使之不局限于實數的情形和有限的维数,但又不失完备性(而不像一般的非欧几里得空间那样破坏了完备性)。与欧几里得空间相仿,希尔伯特空间也是一个内积空间,其上有距离和角的概念(及由此引申而来的正交性与垂直性的概念)。此外,希尔伯特空间还是一个完备的空间,其上所有的柯西序列會收敛到此空間裡的一點,从而微积分中的大部分概念都可以无障碍地推广到希尔伯特空间中。希尔伯特空间为基于任意正交系上的多项式表示的傅立叶级数和傅立叶变换提供了一种有效的表述方式,而这也是泛函分析的核心概念之一。希尔伯特空间是公設化数学和量子力学的关键性概念之一。.

新!!: 实变函数论和希尔伯特空间 · 查看更多 »

一致连续

一致连续性描述定义在一定度量空间上的函数的性质。与连续性刻画函数在局部的性质不同,一致连续刻画的是函数的整体性质。一致连续是比连续更苛刻的条件。一个函数在某度量空间上一致连续,则其在此度量空间上必然连续,但反之未必成立。直观上,一致连续可以理解为,当自变量x在足够小的范围内变动时,函数值y的变动也会被限制在足够小的范围内。.

新!!: 实变函数论和一致连续 · 查看更多 »

广义函数

数学上,广义函数或是分布是将函数的概念一般化得到的对象。得到承认的理论不止一种。广义函数在使得不连续函数表现得更像光滑函数的方面很有用,并且(在极限情况下)可以表述像点电荷这类的物理现象。它们广泛应用于物理和工程领域。 有些方法的一个共同之处在于它们是基于日常数值函数的算子方面的。其早期历史和算子微积分的一些思想有联系,而更为近代的发展和佐藤幹夫称为代数分析的特定方向的一些思想有密切关联。偏微分方程和群表示理论的技术要求曾对该主题有重要影响。.

新!!: 实变函数论和广义函数 · 查看更多 »

幂级数

在数学中,幂级数(power series)是一类形式简单而应用广泛的函数级数,变量可以是一个或多个(见“多元幂级数”一节)。单变量的幂级数形式为: 其中的c和a_0,a_1,a_2 \cdots a_n \cdots是常数。a_0,a_1,a_2 \cdots a_n \cdots称为幂级数的系数。幂级数中的每一项都是一个幂函数,幂次为非负整数。幂级数的形式很像多项式,在很多方面有类似的性质,可以被看成是“无穷次的多项式”。 如果把(x-c)看成一项,那么幂级数可以化简为\sum_^\infty a_n x^n 的形式。后者被称为幂级数的标准形式。一个标准形式的幂级数完全由它的系数来决定。 将一个函数写成幂级数\sum_^\infty a_n \left(x-c \right)^n的形式称为将函数在c处展开成幂级数。不是每个函数都可以展开成幂级数。 幂级数是分析学研究的重点之一,然而在组合数学中,幂级数也占有一席之地。作为母函数,由幂级数概念发展出来的形式幂级数是许多组合恒等式的来源。在电力工程学中,幂级数则被称为Z-变换。实数的小数记法也可以被看做幂级数的一种,只不过这里的x被固定为\frac。在p-进数中则可以见到x被固定为10的幂级数。.

新!!: 实变函数论和幂级数 · 查看更多 »

序列

数学上,序列是被排成一列的对象(或事件);这样,每个元素不是在其他元素之前,就是在其他元素之后。这里,元素之间的顺序非常重要。.

新!!: 实变函数论和序列 · 查看更多 »

度量空间

在数学中,度量空间是个具有距離函數的集合,該距離函數定義集合內所有元素間之距離。此一距離函數被稱為集合上的度量。 度量空间中最符合人们对于现实直观理解的為三维欧几里得空间。事实上,“度量”的概念即是欧几里得距离四个周知的性质之推广。欧几里得度量定义了两点间之距离为连接這兩點的直线段之长度。此外,亦存在其他的度量空間,如橢圓幾何與雙曲幾何,而在球體上以角度量測之距離亦為一度量。狭义相對論使用雙曲幾何的雙曲面模型,作為速度之度量空間。 度量空间还能導出开集與闭集之類的拓扑性质,这导致了对更抽象的拓扑空间之研究。.

新!!: 实变函数论和度量空间 · 查看更多 »

代数基本定理

代数基本定理说明,任何一个一元複系数方程式都至少有一个複数根。也就是说,複数域是代数封闭的。 有时这个定理表述为:任何一个非零的一元n次複系数多项式,都正好有n个複数根。这似乎是一个更强的命题,但实际上是“至少有一个根”的直接结果,因为不断把多项式除以它的线性因子,即可从有一个根推出有n个根。 尽管这个定理被命名为“代数基本定理”,但它还没有纯粹的代数证明,许多数学家都相信这种证明不存在。另外,它也不是最基本的代数定理;因为在那个时候,代数基本上就是关于解实系数或複系数多项式方程,所以才被命名为代数基本定理。 高斯一生总共对这个定理给出了四个证明,其中第一个是在他22岁时(1799年)的博士论文中给出的。高斯给出的证明既有几何的,也有函数的,还有积分的方法。高斯关于这一命题的证明方法是去证明其根的存在性,开创了关于研究存在性命题的新途径。 同时,高次代数方程的求解仍然是一大难题。伽罗瓦理論指出,对于一般五次以上的方程,不存在一般的代数解。.

新!!: 实变函数论和代数基本定理 · 查看更多 »

介值定理

在数学分析中,介值定理(intermediate value theorem)(又稱中間值定理)描述了連續函數在兩點之間的連續性: 直觀地比喻,這代表在區間上可以畫出一個連續曲線,而不讓筆離開紙面。如果這個連續函數是光滑曲線,其任二點間的光滑性可由均值定理來描述。 介值定理首先由伯纳德·波尔查诺在1817年提出和证明,在這個證明中,他附帶證明了波爾查諾-魏爾斯特拉斯定理。.

新!!: 实变函数论和介值定理 · 查看更多 »

微分

在数学中,微分是对函数的局部变化率的一种线性描述。微分可以近似地描述当函数自变量的取值作足够小的改变时,函数的值是怎样改变的。当某些函数\textstyle f的自变量\textstyle x有一个微小的改变\textstyle h时,函数的变化可以分解为两个部分。一个部分是线性部分:在一维情况下,它正比于自变量的变化量\textstyle h,可以表示成\textstyle h和一个与\textstyle h无关,只与函数\textstyle f及\textstyle x有关的量的乘积;在更广泛的情况下,它是一个线性映射作用在\textstyle h上的值。另一部分是比\textstyle h更高阶的无穷小,也就是说除以\textstyle h后仍然会趋于零。当改变量\textstyle h很小时,第二部分可以忽略不计,函数的变化量约等于第一部分,也就是函数在\textstyle x处的微分,记作\displaystyle f'(x)h或\displaystyle \textrmf_x(h)。如果一个函数在某处具有以上的性质,就称此函数在该点可微。 不是所有的函数的变化量都可以分为以上提到的两个部分。若函数在某一点无法做到可微,便称函数在该点不可微。 在古典的微积分学中,微分被定义为变化量的线性部分,在现代的定义中,微分被定义为将自变量的改变量\textstyle h映射到变化量的线性部分的线性映射\displaystyle \textrmf_x。这个映射也被称为切映射。.

新!!: 实变函数论和微分 · 查看更多 »

微积分基本定理

微积分基本定理描述了微积分的两个主要运算──微分和积分之间的关系。 定理的第一部分,称为微积分第一基本定理,表明不定积分是微分的逆运算。這一部分定理的重要之處在於它保證了某連續函數的原函數的存在性。 定理的第二部分,称为微积分第二基本定理或“牛顿-莱布尼茨公式”,表明定积分可以用无穷多个原函数的任意一个来计算。这一部分有很多实际应用,这是因为它大大简化了定积分的计算。 该定理的一个特殊形式,首先由詹姆斯·格里高利(1638-1675)证明和出版。定理的一般形式,则由艾萨克·巴罗完成证明。 微积分基本定理表明,一个变量在一段时间之内的无穷小变化之和,等于该变量的净变化。 我们从一个例子开始。假设有一个物体在直线上运动,其位置为x(t),其中t为时间,x(t)意味着x是t的函数。这个函数的导数等于位置的无穷小变化dx除以时间的无穷小变化dt(当然,该导数本身也与时间有关)。我们把速度定义为位置的变化除以时间的变化。用莱布尼兹记法: 整理,得 根据以上的推理,x的变化──\Delta x,是dx的无穷小变化之和。它也等于导数和时间的无穷小乘积之和。这个无穷的和,就是积分;所以,一个函数求导之后再积分,得到的就是原来的函数。我们可以合理地推断,这个运算反过来也成立,积分之后再求导,得到的也是原来的函数。.

新!!: 实变函数论和微积分基本定理 · 查看更多 »

微积分学

微積分學(Calculus,拉丁语意为计数用的小石頭) 是研究極限、微分學、積分學和無窮級數等的一個數學分支,並成為了現代大學教育的重要组成部分。歷史上,微積分曾經指無窮小的計算。更本質的講,微積分學是一門研究變化的科學,正如:幾何學是研究形狀的科學、代數學是研究代數運算和解方程的科學一樣。微積分學又稱為“初等數學分析”。 微積分學在科學、經濟學、商業管理學和工業工程學領域有廣泛的應用,用來解决那些僅依靠代數學和幾何學不能有效解決的問題。微積分學在代數學和解析幾何學的基礎上建立起来,主要包括微分學、積分學。微分學包括求導數的運算,是一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演绎。積分學,包括求積分的運算,為定義和計算長度、面積、體積等提供一套通用的方法。微積分學基本定理指出,微分和積分互為逆運算,這也是兩種理論被統一成微積分學的原因。我們能以兩者中任意一者為起點來討論微積分學,但是在教學中一般會先引入微分學。在更深的數學領域中,高等微積分學通常被稱為分析學,並被定義為研究函數的科學,是現代數學的主要分支之一。.

新!!: 实变函数论和微积分学 · 查看更多 »

函数

函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).

新!!: 实变函数论和函数 · 查看更多 »

函数图形

在数学中,函数 f 的图形(或图像)指的是所有有序对(x, f(x))组成的集合。具体而言,如果x为实数,则函数图形在平面直角坐标系上呈现为一条曲线。如果函数自变量x为两个实数组成的有序对(x1, x2),则图形就是所有三重序(x1, x2, f(x1, x2))组成的集合,呈现为曲面(参见三维计算机图形)。 实函数的图形拥有其唯一的图像。而对于一般的函数,其图形形式无法应用,图形的正式定义取决于数学表述的需要,例如泛函分析中的閉圖像定理。 函数图形的概念由二元关系图形推广而来。需要注意的是,尽管一个函数与其图像通常是一一对应的,但二者并不可混淆。两个函数可能拥有相同的图像,却有不同的上域(陪域)。例如,对于下文提到的三次多项式,当其上域为实数时函数即为满射,而若其上域为复数则不然。 通过垂线测试可以判断一条曲线是否为一个函数,而通过水平線測試可以判断函数是否为单射且是否存在反函数。如果反函数存在,则其图像可以通过将原函数图像以直线y.

新!!: 实变函数论和函数图形 · 查看更多 »

函數極限

上表所示函數的圖形,請注意在x.

新!!: 实变函数论和函數極限 · 查看更多 »

全序关系

全序关系即集合X上的反对称的、传递的和完全的二元关系(一般称其为\leq)。 若X满足全序关系,则下列陈述对于X中的所有a,b和c成立:.

新!!: 实变函数论和全序关系 · 查看更多 »

公理

在傳統邏輯中,公理是沒有經過證明,但被當作不證自明的一個命題。因此,其真實性被視為是理所當然的,且被當做演繹及推論其他(理論相關)事實的起點。當不斷要求證明時,因果關係毕竟不能無限地追溯,而需停止於無需證明的公理。通常公理都很簡單,且符合直覺,如「a+b.

新!!: 实变函数论和公理 · 查看更多 »

光滑函数

光滑函数(smooth function)在数学中特指无穷可导的函数,也就是说,存在所有有限阶导数。若一函数是连续的,则称其为C^0函数;若函数存在导函数,且其導函數連續,則稱為连续可导,記为C^1函数;若一函数n阶可导,并且其n阶导函数连续,则为C^n函数(n\geq 1)。而光滑函数是对所有n都属于C^n函数,特称其为C^\infty函数。 例如,指数函数显然是光滑的,因为指数函数的导数是指数函数本身。.

新!!: 实变函数论和光滑函数 · 查看更多 »

积分

积分是微积分学与数学分析裡的一个核心概念。通常分为定积分和不定积分两种。直观地说,对于一个给定的正实值函数 f(x), f(x)在一个实数区间 上的定积分 可以理解为在 \textstyle Oxy坐标平面上,由曲线 (x,f(x))、直线x.

新!!: 实变函数论和积分 · 查看更多 »

笛卡儿坐标系

#重定向 笛卡尔坐标系.

新!!: 实变函数论和笛卡儿坐标系 · 查看更多 »

等价关系

等價關係(equivalence relation)即设R是某個集合A上的一个二元关系。若R满足以下條件:.

新!!: 实变函数论和等价关系 · 查看更多 »

等比数列

等比数列,又称几何数列。是一种特殊数列。它的特点是:从第二项起,每一项与前一项的比都是一个常数。 例如數列 2,4,8,16,32,\cdots,2^,2^,\cdots。 这就是一个等比数列,因为第二项与第一项的比和第三项与第二项的比相等,都等于2,2^与2^的比也等于2。如2这样后一项与前一项的比称公比,符号为q。.

新!!: 实变函数论和等比数列 · 查看更多 »

算子

算子(Operator)是从一个向量空间(或模)到另一个向量空间(或模)的映射。 算子对于线性代数和泛函分析都至关重要,它在纯数学和应用数学的许多其他领域中都有应用。 例如,在经典力学中,导数的使用无处不在,而在量子力学中,可观察量由埃尔米特算子表示。 各种算子可以具有包括线性、连续性和有界性等的重要性质。.

新!!: 实变函数论和算子 · 查看更多 »

留数定理

在复分析中,留数定理(又叫残数定理)是用来计算解析函数沿着闭曲线的路径积分的一个有力的工具,也可以用来计算实函数的积分。它是柯西积分定理和柯西积分公式的推论。.

新!!: 实变函数论和留数定理 · 查看更多 »

芝诺悖论

芝诺悖论是古希腊哲學家(Philosopher/Philosophen/философ/φιλόσοφος) 芝诺(Zeno of Elea)(盛年约在公元前464-前461年)提出的一系列关于运动的不可分性的哲学悖论。这些悖论由于被记录在亚里士多德的《物理学》一书中而为后人所知。芝诺提出这些悖论是为了支持他老师巴门尼德关于“存在”不动、是一的学说。这些悖论是芝诺反对存在运动的论证其中最著名的两个是:“阿基里斯追乌龟”和“飞矢不动”。這些方法現在可以用微積分(無限)的概念解釋。.

新!!: 实变函数论和芝诺悖论 · 查看更多 »

複分析

複變分析是研究複變函數,特別是亞純函數和複變解析函數的數學理論。 研究中常用的理论、公式以及方法包括柯西积分定理、柯西积分公式、留数定理、洛朗级数展开等。複變分析的应用领域较为广泛,在其它数学分支和物理学中也起着重要的作用。包括数论、应用数学、流体力学、热力学和电动力学。.

新!!: 实变函数论和複分析 · 查看更多 »

解析函数

在數學中,解析函数是局部上由收斂冪級數給出的函數。解析函數可分成實解析函數與複解析函數,兩者有類似之處,同時也有重要的差異。每种类型的解析函数都是无穷可导的,但复解析函数表现出一些一般实解析函数不成立的性质。此外在超度量域上也可以定義解析函數,這套想法在當代數論與算術代數幾何中有重要應用。一个函数是解析函数当且仅当这个函数在它定义域内的每个x0的邻域内的泰勒级数都收敛。 解析函數集有時也寫作 C^\omega。.

新!!: 实变函数论和解析函数 · 查看更多 »

调和函数

在数学、数学物理学以及随机过程理论中,都有调和函数的概念。一个调和函数是一个二阶连续可导的函数f: U → R(其中U是Rn里的一个开子集),其满足拉普拉斯方程,即在U上满足方程: \frac + \frac + \cdots + \frac.

新!!: 实变函数论和调和函数 · 查看更多 »

调和级数

调和级数(英语:Harmonic series)是一个发散的无穷级数,表达式为: 这个级数名字源于泛音及泛音列(泛音列与调和级数英文同为harmonic series):一条振动的弦的泛音的波长依次是基本波长的1/2、1/3、1/4……等等。调和序列中,第一项之后的每一项都是相邻两项的调和平均数;而“调和平均数”一词同样地也是源自音乐。.

新!!: 实变函数论和调和级数 · 查看更多 »

黎曼和

#重定向 黎曼积分#黎曼和.

新!!: 实变函数论和黎曼和 · 查看更多 »

达布积分

在实分析或数学分析中,达布积分是一种定义一个函数的积分的方法,它是通过达布和构造的。达布积分和黎曼积分是等价的,也就是说,一个实值函数是达布可积的当且仅当它是黎曼可积的,并且积分的值相等。达布积分的定义比黎曼积分简单,并且更具操作性。达布积分的名字来自于数学家让·加斯东·达布(Jean Gaston Darboux)。.

新!!: 实变函数论和达布积分 · 查看更多 »

范畴论

疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用于對應資料型別,而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.

新!!: 实变函数论和范畴论 · 查看更多 »

閉區間

#重定向 區間.

新!!: 实变函数论和閉區間 · 查看更多 »

自然数

数学中,自然数指用于计数(如「桌子上有三个苹果」)和定序(如「国内第三大城市」)的数字。用于计数时称之为基数,用于定序时称之为序数。 自然数的定义不一,可以指正整数 (1, 2, 3, 4, \ldots),亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用,后者多在集合论和计算机科学中使用,也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的,無上界的無窮集合。.

新!!: 实变函数论和自然数 · 查看更多 »

集合论

集合論(Set theory)或稱集論,是研究集合(由一堆構成的整體)的數學理論,包含集合和元素(或稱為成員)、關係等最基本數學概念。在大多數現代數學的公式化中,都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎,以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中,集合是當做一堆物件構成的整體之類的自證概念,沒有有關集合的形式化定義。在發現樸素集合論會產生一些後,二十世紀初期提出了許多公理化集合論,其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論,簡稱ZFC。公理化集合論不直接定義集合和集合成員,而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一,特別是 ZFC 集合論。除了其基礎的作用外,集合論也是數學理論中的一部份,當代的集合論研究有許多離散的主題,從實數線的結構到大基数的一致性等。.

新!!: 实变函数论和集合论 · 查看更多 »

連續函數 (拓撲學)

在拓撲學和數學的相關領域裡,連續函數是指在拓撲空間之間的一種態射。直觀上來說,其為一個函數f,其中每一群在f(x)附近的點都會含有在x附近的一群點之值。對一個一般的拓撲空間來說,這是指f(x)的鄰域總會包含著x之鄰域的值。 在一個度量空間(如實數)裡,這是指在f(x)一定距離內的點總會包含著在x某些距離內的所有點。.

新!!: 实变函数论和連續函數 (拓撲學) · 查看更多 »

递归

递归(Recursion),又译为--,在数学与计算机科学中,是指在函数的定义中使用函数自身的方法。递归一词还较常用于描述以自相似方法重复事物的过程。例如,当两面镜子相互之间近似平行时,镜中嵌套的图像是以无限递归的形式出现的。也可以理解为自我复制的过程。.

新!!: 实变函数论和递归 · 查看更多 »

柯西積分公式

柯西积分公式是数学中复分析的一个重要结论,以十九世纪法国数学家奥古斯丁·路易·柯西命名。柯西积分公式说明了任何一个闭合区域上的全纯函数在区域内部的值完全取决于它在区域边界上的值,并且给出了区域内每一点的任意阶导数的积分计算方式。柯西积分公式是复分析中全纯函数“微分等同于积分”特性的表现。而在实分析中这样的结果是完全不可能达到的。 这个公式是柯西在1831年证明的。柯西在同年10月11日首次将其发表,并将它写入了1841年发表的《分析与数学物理习题集》(Exercices d'analyse et de physique mathématique)一书中。.

新!!: 实变函数论和柯西積分公式 · 查看更多 »

极限 (数学)

极限是现代数学特别是分析学中的基础概念之一。极限可以用来描述一个序列的指标愈来愈大时,序列中元素的性质变化的趋势。极限也可以描述函数的自变量接近某一个值的时候,相对应的函数值变化的趋势。作为微积分和数学分析的其他分支最基本的概念之一,连续和导数的概念都是通过极限来定义的。 “函数的极限”这个概念可以更一般地推广到网中,而“序列的极限”则与范畴论中的极限和有向极限的概念密切相关。.

新!!: 实变函数论和极限 (数学) · 查看更多 »

格 (数学)

在数学中,格是其非空有限子集都有一个上确界(叫并)和一个下确界(叫交)的偏序集合(poset)。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的,格理论从序理论和泛代数二者提取内容。半格包括了格,依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。.

新!!: 实变函数论和格 (数学) · 查看更多 »

極限 (數列)

極限,即為一個數列\,使得\lim_a_n.

新!!: 实变函数论和極限 (數列) · 查看更多 »

模型论

数学上,模型论(Model theory)是从集合论的论述角度对数学概念表现(representation)的研究,或者说是对于作为数学系统基础的“模型”的研究。粗略地说,该学科假定有一些既存的数学“对象”,然后研究:当这些对象之间的一些运算或者一些关系乃至一组公理被给定时,可以相应证明出什么,以及如何证明。 比如实数理论中一个模型论概念的例子是:我们从一个任意集合开始,作为集合元素的每个个体都是一个实数,其间有一些关系和(或)函数,例如。若我们在该语言中问"∃ y (y × y.

新!!: 实变函数论和模型论 · 查看更多 »

波爾查諾-魏爾斯特拉斯定理

波爾查諾-魏爾施特拉斯定理是数学拓扑学与實分析中用以刻劃 \mathbb^n中的緊集的基本定理,得名於數學家伯納德·波爾查諾與卡爾·魏爾施特拉斯。波尔查诺-魏尔斯特拉斯定理说明,有限维实向量空间\mathbb^n中的一個子集E是序列緊緻(每個序列都有收斂子序列)当且仅当E是有界閉集。.

新!!: 实变函数论和波爾查諾-魏爾斯特拉斯定理 · 查看更多 »

泛函分析

泛函分析(Functional Analysis)是现代数学分析的一个分支,隶属于分析学,其研究的主要对象是函数构成的函数空间。泛函分析历史根源是由对函数空间的研究和对函数的变换(如傅立叶变换等)的性质的研究。这种观点被证明是对微分方程和积分方程的研究中特别有用。 使用泛函这个词作为表述源自变分法,代表作用于函数的函数,这意味着,一个函数的参数是函数。这个名词首次被雅克·阿达马在1910年使用于这个课题的书中。是泛函分析理论的主要奠基人之一。然而,泛函的一般概念以前曾在1887年是由意大利数学家和物理学家維多·沃爾泰拉(Vito Volterra)介绍。非线性泛函理论是由雅克·阿达马的学生继续研究,特别是莫里斯·弗雷歇(Maurice Fréchet)可和列维(Levy)。雅克·阿达马还创立线性泛函分析的现代流派,并由弗里杰什·里斯和一批围绕着斯特凡·巴拿赫(Stefan Banach)的波兰数学家进一步发展。.

新!!: 实变函数论和泛函分析 · 查看更多 »

有序域

在数学的一个分支代数中,有序域是一个偏序关系通过加法和乘法运算不被改变的域。有序域最常见的例子是实数。.

新!!: 实变函数论和有序域 · 查看更多 »

海涅-博雷尔定理

在数学分析中,海涅-博雷尔定理(Heine–Borel theorem)或有限覆盖定理、博雷尔-勒贝格定理(),以 和埃米尔·博雷尔命名,斷言: 对于欧几里得空间 Rn 的子集 S,下列两个陈述是等价的.

新!!: 实变函数论和海涅-博雷尔定理 · 查看更多 »

时标微积分

在数学中,时标微积分是差分方程和微分方程的一种统一。时标微积分最初由德国数学家Stefan Hilger发明,应用于需要同时包含离散和连续的情况的模型的领域中。它为导数赋予了新的定义,使得如果你对定义在实数中的闭区间上的函数进行求导,就等价于通常意义上的导数;然而如果你将这种新定义的导数作用于定义在整数集上的函数,则它就等价于前移差分算子。.

新!!: 实变函数论和时标微积分 · 查看更多 »

擴展實數線

擴展實數線由實數線\R加上+\infty和-\infty得到(注意+\infty和-\infty并不是实数),写作\overline\R或\left。扩展的實數線在研究数学分析,特别是积分时非常有用。.

新!!: 实变函数论和擴展實數線 · 查看更多 »

数学分析

数学分析(mathematical analysis)区别于其他非数学类学生的高等数学内容,是分析学中最古老、最基本的分支,一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容,并包括它们的理论基础(实数、函数、測度和极限的基本理论)的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海(第一卷)》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來,在微积分发展至现代阶段中,从应用中的方法总结升华为一类综合性分析方法,且初等微積分中也包括許多數學分析的基礎概念及技巧,可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關,不過只要任一數學空間有定義鄰域(拓扑空间)或是有針對兩物件距離的定義(度量空间),就可以用数学分析的方式進行分析。.

新!!: 实变函数论和数学分析 · 查看更多 »

曲线

曲线的普通定义就是在几何空间中的“弯曲了的线”。而直线是一种特殊的曲线,只不过它的曲率为零。在《解析几何》中,曲线用一组连续函数的方程组来表示。 曲线和直线都是指欧几里得几何所定义的欧几里得空间中的相关概念。此外,还存在多种不为多数人所知的非欧几里得几何,其中的直线和曲线的定义和欧几里得几何的定义有很大差别,甚至不能类比。想深入学习数学的人切忌将不同几何空间中的同名概念相互混淆。.

新!!: 实变函数论和曲线 · 查看更多 »

重定向到这里:

实变函数实分析实数分析實分析

传出传入
嘿!我们在Facebook上吧! »