- 博客(11)
- 资源 (14)
- 收藏
- 关注
翻译 漫步数学分析四——集合内部
定义2\textbf{定义2} 对任何集合A⊂RnA\subset R^n,点x∈Ax\in A,如果有一个开集UU使得x∈U⊂Ax\in U\subset A,那么就成该点为AA的一个内点。(等价的描述为:有一个ε>0\varepsilon>0 使得D(x,ε)⊂AD(x,\varepsilon)\subset A)AA内部就是所有内点组成的集合并用int(A)\text{int}(A)表示,这个
2016-12-22 20:58:01 4784 1
翻译 漫步数学分析三——开集
为了定义开集,我们首先介绍ε−disc\varepsilon-\text{disc}的概念。定义1\textbf{定义1} 对于每个固定的x∈Rnx\in R^n以及ε>0\varepsilon>0,集合 D(x,ε)={y∈Rn|d(x,y)<ε}D(x,\varepsilon)=\{y\in R^n|d(x,y)<\varepsilon\}称为关于xx的ε−disc\varepsilon-
2016-12-21 22:44:30 6722
翻译 漫步数学分析番外一
定理2\textbf{定理2} 令S⊂RS\subset R,那么b∈Rb\in R是SS的最小上界,当且仅当bb是上界且对于每个ε>0\varepsilon>0,有一个x∈Sx\in S使得x>b−εx>b-\varepsilon。证明:\textbf{证明:}首先,假设b=lub(S)=sup(S)b=\text{lub}(S)=\sup(S)且ε>0\varepsilon>0,我们必须产生一个
2016-12-14 22:41:51 870
翻译 漫步数学分析二——欧几里得空间
定义3\textbf{定义3} 欧几里得n−n-空间是由所有有序的nn 元实数组成的并且用RnR^n来表示。象征性的符号为 Rn={(x1,…,xn)|x1,…,xn∈R}R^n=\{(x_1,\ldots,x_n)|x_1,\ldots,x_n\in R\}因此RnR^n是RR与自身进行nn次笛卡尔乘积的结果,可以写成Rn=R×⋯×RR^n=R\times\cdots\times R。RnR
2016-12-13 19:46:14 3541
翻译 漫步数学分析一——实数轴
从正整数0,1,2,3,…0,1,2,3,\ldots开始,然后加入负整数和非整的有理数,通过往有理数中加入所有有理数的非有理极限即可获得实数系。例如,无理数2√\sqrt2就是增(或单调(monotone))序列xnx_n的极限,其中x2n<2x_n^2<2且xnx_n是有理数,或者用1,1.4,1.414,…1,1.4,1.414,\ldots这样的小数序列表示,2√\sqrt2不是有理数这个事
2016-12-12 20:37:08 3431 3
翻译 漫步凸分析十一——分离定理
令C1,C2C_1,C_2是RnR^n中的非空集合,有一个超平面HH,如果C1C_1含于其中的一个闭半空间而C2C_2含于相对立的闭半空间,那么我们称HH分离(separate)C1,C2C_1,C_2;如果C1,C2C_1,C_2 都不含于HH,那么我们成HH真(properly)分离C1,C2C_1,C_2;如果存在ε>0\varepsilon>0使得C1+εBC_1+\varepsilon B
2016-12-12 20:19:38 3854 1
翻译 漫步凸分析八——回收锥与无界
RnR^n中的有界闭子集通常比无界的更容易处理,然而,当集合为凸时,无界的困难度就下降很多,这实在是一大幸事,因为我们考虑的许多集合像上境图从他们的性质可知是无界的。根据我们的直观理解,无界闭凸集在无穷远处行为比较简单,假设CC是这样的一个集合并且xx是CC中的一点,那么似乎CC必须包含以xx为起点的某个整条半线,否则的话这就与无界相矛盾。这条半线的方向似乎不依赖于xx:CC中从另一个以yy为起点的
2016-12-06 22:30:15 2363 2
翻译 漫步凸分析七——凸函数闭包
线性函数的凸性是代数性质(线性)的结果,而对于凸函数,事情就没那么简单了,但是凸函数本身依然有许多拓扑性质,通过将凸集的闭包和相对内点理论应用到凸函数的上境图或水平集上可以推出这些结论。有一个基本的结论就是下半连续是凸函数建设性的属性,也就是说有一个闭包运算,通过将任意正常凸函数重新定义在其有效定义域的某些相对内点上,就能令该函数变成下半连续的,我们会在下面给予证明。对于集合S⊂RnS\subset
2016-12-04 21:10:08 7308 1
翻译 漫步凸分析六——凸集的相对内点
根据定义,RnR^n中点x,yx,y之间的欧几里得距离是 d(x,y)=|x−y|=⟨x−y,x−y⟩1/2d(x,y)=|x-y|=\langle x-y,x-y\rangle^{1/2}函数dd(欧几里得度量)是R2nR^{2n}上的凸函数,(这个结论基于的事实是:将欧几里得范数f(z)=|z|f(z)=|z|和从R2nR^{2n}到RnR^n的线性变换(x,y)→x−y(x,y)\to
2016-12-03 22:57:13 12536 2
翻译 漫步凸分析五——函数运算
对于已知的凸函数,我们如何对他们进行使得产生的函数依然是凸的呢?目前已经证明了许多运算是保留凸性的,某些运算与平常分析中的运算是类似的,像函数的逐点加法,还有一些运算出自几何动机,像取函数集的凸包。通常来说许多构造函数可以表示成有约束的下确界,这启发我们可以用极值理论进行讨论。特别地,当我们遇到一个形式复杂的函数,而需要去证明它是凸函数时,下面的定理是非常有用的。定理5.1 令ff是从RnR^n到(
2016-12-02 21:53:30 2415
翻译 漫步凸分析四——凸函数
令函数ff的值域是实数或±∞\pm\infty,定义域是RnR^n的一个子集,集合 {(x,μ)|x∈S,μ∈R,μ≥f(x)}\{(x,\mu)|x\in S,\mu\in R,\mu\geq f(x)\}叫做ff的上境图(epigraph),用epiff表示,如果epiff是Rn+1R^{n+1}的凸子集,那么我们将ff定义为凸函数。对于SS 上的函数,如果其负为凸,那么该函数为凹。SS上
2016-12-01 21:44:44 5469 2
数学方法论选讲
2015-11-16
error_ellipse
2015-05-23
主成分分析的matlab代码
2015-05-22
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人