- 博客(6)
- 收藏
- 关注
原创 QT+OpenGl : 一个函数可视化工具的故事
XFunction是一个基于qt和opengl开发的数学函数可视化工具。核心功能为空间直角坐标系下实值函数图像的绘制与观察,且支持时间参数(动态图像)。
2023-04-02 18:07:41
914
2
原创 陶哲轩实分析 习题6.6.5
先证明a→ba\rightarrow ba→b: 令n0=0n_0=0n0=0; 设k=1k=1k=1,因为LLL是(an)n=0∞(a_n)_{n=0}^\infty(an)n=0∞的极限点,则可以找到某个n1>n0n_1>n_0n1>n0使得an1a_{n_1}an1是1−1-1−接近于LLL的; 设k=2k=2k=2,因为LLL是(an)n=0∞(a_n)_{n=0}^\infty(an)n=0∞的极限点,则可以找到某个n2>n1n_2>n_1n2.
2022-01-27 23:12:03
374
原创 陶哲轩实分析 习题6.3.3
大名鼎鼎的单调有界定理。 因为序列(an) ∞n=m(a_n) \! {\infty \atop n=m}(an)n=m∞是有界的,故存在上确界a=sup(an) ∞n=ma = \sup (a_n) \! {\infty \atop n=m}a=sup(an)n=m∞; 对于任意的正实数ε>0\varepsilon > 0ε>0,由于a−ε<aa-\varepsilon < aa−ε<a,存在自然数NNN使得aN>a−εa_N>a-\vare.
2022-01-25 00:13:28
209
原创 陶哲轩实分析 习题5.5.2
假设不存在这样的整数,即对于一切L<m⩽KL<m \leqslant KL<m⩽K都有mn、m−1n\frac{m}{n}、\frac{m-1}{n}nm、nm−1同时为EEE的上界或同时不为EEE的上界。 设性质P(i)P(i)P(i)定义为:in\frac{i}{n}ni不是EEE的上界。 下面使用归纳法证明P(K)P(K)P(K)成立,从而产生矛盾。 令m0=L+1m_0 = L+1m0=L+1, 由于L+1n\frac{L+1}{n}nL+1与Ln\frac{L}{n.
2022-01-13 22:26:08
281
1
原创 陶哲轩实分析 习题5.4.5
证明: 根据柯西列的有界性,存在比例数a,b使得a<x<y<b。 由于y-x>0,存在比例数c>0使得c小于y-x。 下面使用反证法证明存在自然数N使得x<a+Nc<y。如若不然,则集合{a+nc}可被分为两个子集A={a1=a+nc; a1≤x},B={a2=a+nc; a2≥y},现取p=max{A} ...
2022-01-06 13:28:23
195
原创 Houdini中vex 矩阵变换
这里写自定义目录标题欢迎使用Markdown新df变功能快捷键合理的创建标题,有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注脚注释也是必不可少的KaTeX数学公式新的甘特图功能,丰富你的文章UML 图表FLowchart流程图导出与导入导出导入 欢迎使用Markd...
2019-08-07 18:03:06
1801
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人