- 博客(23)
- 收藏
- 关注
RSS订阅
原创 一些关于此博客的说明
本博客是个人的一个博客备份，与Wordpress上同域名博客同时维护。基于CSDN对LaTeX\LaTeXLATEX的友好度，以及个人对于因国际局势导致服务器设在美国的Wordpress某日起无法登上的未雨绸缪，这一博客的更新速度可能渐渐加快。我也会探索写一些与python\C++\VBA相关的文章，仅与我的饭碗相关。更多的内容仍会聚焦于数学。谋生不易，更新缓慢。欢迎任何形式的探讨。正在更新...
2019-10-10 20:34:12
478
原创 陶哲轩实分析（上）11.2及习题-Analysis I 11.2
这节介绍逐段常值函数。Exercise 11.2.1We choose ∀K∈P′∀K∈\mathbf P'∀K∈P′, then ∃J∈P,K⊆J∃J∈\mathbf P,K⊆J∃J∈P,K⊆J, we can know f∣Jf|_Jf∣J is constant, thus fff is constant on KKK, this means fff is piecewise cons...
2019-10-28 19:02:10
299
原创 陶哲轩实分析（上）11.1及习题-Analysis I 11.1
这一节开始讲Riemann积分了，整个Riemann积分这一章的处理是比较新的，用相对好理解的piecewise constant function来定义上积分和下积分，二者相等即为可积，和以往比较经典的达布和其实是一回事，但接受起来就更容易。第一节主要说分法partition。Exercise 11.1.1If X=∅X=∅X=∅ then the statement is obvious,...
2019-10-28 13:24:52
359
原创 陶哲轩实分析（上）10.5及习题-Analysis I 10.5
著名的洛必达法则。Exercise 10.5.1By Proposition 10.1.7, since g′(x0)≠0g' (x_0 )≠0g′(x0)=0, we can find a δ>0δ>0δ>0 such that for all x∈Xx∈Xx∈X and ∣x−x0∣≤δ|x-x_0 |≤δ∣x−x0∣≤δ, we have∣g(x)−g(x0)...
2019-10-25 15:20:38
254
原创 陶哲轩实分析（上）10.4及习题-Analysis I 10.4
反函数定理（实数轴上的），第二册中会有在n维欧式空间中的反函数定理。Exercise 10.4.1( a ) Since f(x)=xn,x∈(0,∞)f(x)=x^n,x∈(0,∞)f(x)=xn,x∈(0,∞) is a continuous and strictly monotone increasing function, by Proposition 9.8.3, f−1(x)=x1...
2019-10-25 15:06:13
245
原创 陶哲轩实分析（上）10.3及习题-Analysis I 10.3
单调函数和导数的关系，容易理解。Exercise 10.3.1Since fff is differentiable at x0x_0x0, we havef′(x0)=limx→x0;x∈X−{x0}f(x)−f(x0)x−x0f' (x_0 )=\lim_{x→x_0;x∈X-\{x_0 \}}\frac{f(x)-f(x_0)}{x-x_0}f′(x0)=x→x0;x∈X−...
2019-10-25 14:43:13
235
2
原创 陶哲轩实分析（上）10.2及习题-Analysis I 10.2
局部最值，Roll定理和中值定理（Lagrange）。Exercise 10.2.1First suppose fff attains a local maximum at x0x_0x0, then ∃δ>0∃δ>0∃δ>0, s.t.f(x)≤f(x0),∀x∈(a,b)∩(x0−δ,x0+δ)f(x)≤f(x_0 ),\quad ∀x∈(a,b)∩(x_0-δ,x_...
2019-10-25 14:35:31
416
1
原创 陶哲轩实分析（上）10.1及习题-Analysis I 10.1
介绍了微分的许多基本概念。Exercise 10.1.1fff is differentiable at x0x_0x0 means the limitlimx→x0;x∈X−{x0}f(x)−f(x0)x−x0\lim_{x→x_0;x∈X-\{x_0 \} }\frac{f(x)-f(x_0)}{x-x_0} x→x0;x∈X−{x0}limx−x0f(x)−f(x0)...
2019-10-25 13:52:06
392
原创 陶哲轩实分析（上）9.10及习题-Analysis I 9.10
limits at infinity, 也是很短的一节，但其事实上起到了将极限定义从R延拓到R*的作用.Exercise 9.10.1First suppose limn→+∞;n∈Nan=L\lim_{n→+∞;n∈\mathbf N}a_n=Llimn→+∞;n∈Nan=L, then ∀ϵ>0,∃M>0∀ϵ>0,∃M>0∀ϵ>0,∃M>0 s.t...
2019-10-25 13:07:21
216
原创 陶哲轩实分析（上）9.9及习题-Analysis I 9.9
这一节讲一致连续，是全局性质或者区间性质而非点的性质。一致连续初看不太好理解，但在后续章节中就会发现一致连续是比逐点连续更强的性质。Exercise 9.9.1If (an)n=1∞(a_n )_{n=1}^∞(an)n=1∞ and (bn)n=1∞(b_n )_{n=1}^∞(bn)n=1∞ are equivalent, then ∀ϵ>0,∃N>1∀ϵ>0,∃...
2019-10-23 20:19:24
461
原创 陶哲轩实分析（上）9.8及习题-Analysis I 9.8
这一节讲单调函数，虽然也很短，但单调函数性质很好，易应用，给出的两个例子一个是反函数的存在性（在讲反函数微分时会用到），另一个是构建n次方根的alternative method。习题不错Exercise 9.8.1If a<ba<ba<b and f:[a,b]→Rf:[a,b]→\mathbf Rf:[a,b]→R is a monotonic function on [...
2019-10-23 19:53:04
411
原创 陶哲轩实分析（上）9.7及习题-Analysis I 9.7
介值定理。很短但很有用。Exercise 9.7.1Since fff is a continuous function on [a,b][a,b][a,b], by the maximum principle, there’s x1,x2∈[a,b]x_1,x_2∈[a,b]x1,x2∈[a,b] such thatM=f(x1),m=f(x2)M=f(x_1 ),\quad m=f(...
2019-10-23 19:29:05
258
原创 陶哲轩实分析（上）9.6及习题-Analysis I 9.6
这一节是最值定理，即闭区间上连续函数一定可取到最大值和最小值。Exercise 9.6.1( a ) f(x)=∣x−3/2∣f(x)=|x-3/2|f(x)=∣x−3/2∣ attains minimum 000 at 3/23/23/2, but can’t attain its maximum.( b ) f(x)=ax,0<a<1f(x)=a^x,0<a<1f...
2019-10-23 19:24:42
219
原创 陶哲轩实分析（上）9.4及习题-Analysis I 9.4
函数极限性。简单而言，上一节定义的limiting values of functions如果等于函数在这一点的值，就是函数连续。连续性用ε-δ定义和序列定义是等价的，可以证明很多函数都是连续的##Exercise 9.4.1( a ) ⇔ ( b ):(f is continuous at x_0) ⇔ (lim┬(x→x_0;x∈X)〖f(x)〗=f(x_0 ))⇔((∀(a_n )...
2019-10-22 18:54:42
417
原创 陶哲轩实分析（上）9.3及习题-Analysis I 9.3
9.3的题目叫limiting values of functions，在Analysis II里有一节同样题目的章节。这一节限制在R上讨论，函数的极限值是后续讨论continuity的基础，函数极限可以和数列极限等价起来，函数极限是唯一的，满足极限算律，极限也是局部的性质（即只和某一点附近的情况有关）Exercise 9.3.1(a) implies (b):If fff converge...
2019-10-21 20:06:06
540
原创 陶哲轩实分析（上）9.2及习题-Analysis I 9.2
这一节是实值函数算律，相对好理解。Exercise 9.2.1The first one is true.[(f+g)∘h](x)=(f+g)(h(x))=f(h(x))+g(h(x))=(f∘h)(x)+(g∘h)(x)=[(f∘h)+(g∘h)](x)[(f+g)∘h](x)=(f+g)(h(x))=f(h(x))+g(h(x))=(f∘h)(x)+(g∘h)(x)=[(f∘h)+(g∘...
2019-10-21 19:42:12
339
原创 陶哲轩实分析（上）9.1及习题-Analysis I 9.1
9.1节讨论实数轴的子集，但内容更多像是一个基本概念的汇总介绍。首先严格的定义了区间Interval，然后引入了adherent point，一个子集所有的adherent point构成其closure，在实数轴上，interval的closure就是闭区间。其后定义一个集合是闭的如果其包含所有的adherent point，这里很重要的一点是集合的adherent point与在集合内的序列的...
2019-10-21 19:23:24
667
原创 陶哲轩实分析（上）8.5及习题-Analysis I 8.5
这一节在集合上建立一个序order，序分为偏序、全序和良序，依次递进。之后又引入了强归纳法和超限归纳法（zorn引理），这一节的内容安排在数学分析课程中不多见，常见于实变函数或者实分析的开头。个人认为这一节的精华在于习题，给出了很多Axiom of choice和Zorn引理的等价形式，习题做得也是相当吐血。可以想见搞集合论和拓扑学的人脑力有多充沛了。##Exercise 8.5.1This ...
2019-10-21 16:10:25
1264
6
原创 陶哲轩实分析（上）8.4及习题-Analysis I 8.4
选择公理，很惭愧的说在读这本书之前都没有意识到其存在，从有限维推广到无限维的时候很自然的就用了，当然从应用数学的角度，可以很安全地假定选择公理一定成立。这里Tao秉承了他一贯的严格性。...
2019-10-17 15:02:01
351
原创 陶哲轩实分析（上）8.3及习题-Analysis I 8.3
这一节主要说不可数集合的问题。Exericse 8.3.1If n=0n=0n=0 then X=∅X=∅X=∅ and the only element in 2X2^X2X is ∅∅∅, so the cardinality of 2X2^X2X is 20=12^0=120=1.Now suppose the statement holds for nnn, let XXX be a...
2019-10-17 13:30:00
518
原创 陶哲轩实分析（上）8.2及习题-Analysis I 8.2
这一节的逻辑构成是这样的：先定义了在countable集合上的级数，并且在绝对收敛下有Fubini定理成立，而后在uncountable集合上也可以定义级数，只要满足任何有限集合的sup存在。如果f是一个定义在uncountable集合上的绝对收敛级数，那么f非退化的点是至多可数的（证明需要用选择公理）。绝对收敛级数有很好理解的series laws，条件收敛级数则有Riemann的结论：可以收敛...
2019-10-16 20:31:45
812
原创 陶哲轩实分析（上）8.1及习题-Analysis I 8.1
以我相对平庸的智商来说，Analysis I 的第8章是整本书中相对比较难的章节之一，由于（以个人的理解）这章实际是将集合论和实分析的起步阶段内容都介绍了，但是篇幅又不会展开到实分析教科书的程度，对于第一次接触的人毫无疑问是比较棘手的，我虽然之前接触过实分析，大致能理解countable和uncountable的区别，但是从没有非常仔细的思考过著名的选择公理Axiom of Choice，以及其各...
2019-10-16 13:48:58
977
3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人