落园专注经济视角下的互联网 / Economic Observation of the Internet

50 Responses to “利用线性无关证泰勒展开唯一性的一点思路”

1. views63 November 28th, 2009 at 1:34 pm

   
   
   

   那些线性相关、线性无关的定义本来就没涉及维数，这个思路应该可以的。另外函数线性无关可以考虑用朗斯基行列式。
   我最近在看泛函分析，觉得归到线性泛函挺合适的。我也去试试能不能把这个证明写出来。

   回复此评论

   Reply by cloudly
   November 28th, 2009 at 6:22 pm

   

   Thank you very much!
   不愧是学数学的，一看这答案就有深度。
   我也是一边学泛函一边学复变想起来的……但是我泛函学的实在是太烂了……现在有专家在，我就不班门弄斧了～加油！

   Reply by cloudly
   November 28th, 2009 at 6:22 pm

   

   话说，真难得这篇日志也有人在关心～感动中，很多人对类似的日志大都直接自动屏蔽了……

   Reply by views63
   November 29th, 2009 at 11:28 am

   

   证明可能还是存在不小的问题：从有限到无穷的的过程中．

   本来觉得那些很显然的，但写了之后才发觉不对，真的是越显然的东西越难证明．

   文档我放在 http://code.google.com/p/viewscode/downloads/list

2. views63 November 29th, 2009 at 11:47 am

   
   
   

   你的文章中我看最认真的就是数学和 LaTeX（虽然已经转向ConTeX），而经济学和网站建设的我就不懂了就只能看看。其它的现在大家都是学生，有些东西是相似的也就不多说了。那个证明的我现在去问一下我的老师，看他怎么说。

   我用的书复变函数是路见可的（上学期已经学过了），泛函分析是江泽坚的（这个就是我的毕业论文的方向了，学校没开这个课，只能自学）内容都不是很深（虽然我已经感到很困难了，但老师是这么说的）。而路见可的很多东西都没细讲。

   你用的书是谁写的？

   回复此评论

   Reply by cloudly
   November 29th, 2009 at 1:10 pm

   

   我的复变是钟玉泉的，泛函是山大版的郭大钧写的（自产自销，汗！不过感觉比rudin那本难一些……）
   先谢谢你这么认真的看我的文章，感动ing~
   不过泛函我们这边数学院的是本科就开啊，不知道你是哪里的?

   Reply by cloudly
   November 29th, 2009 at 1:16 pm

   

   另，有限到无限的问题，我依旧觉得最好的避免方法就是用数学归纳法，这样推广起来说服力比较大。个人愚见，不知合不合适……

3. views63 November 29th, 2009 at 3:54 pm

   
   
   

   确实用数学归纳法比较好说明，在 QQ 上问了老师但到现在还没回复我（他今年去进修了，不在学校），晚上应该会回我的，先看他怎么说再去修改。

   是那两本《实变函数与泛函分析》吗？如果是《非线性泛函分析》就太难了（对我而言）。Rudin 那本前几天刚买来了，对我来说那本已经够难的了。我还是先用江泽坚的那本先入门再说。
   我们学校自产自销多了，像数学书除了数学系其余的都是用自己学校老师写的书（高数有少数几个专业是用同济版的）

   钟玉泉的复变函数，照老师的说法那本书建立在高数的上的，不过我没认真看过不了解。其实我们只教最基础的：解析函数基础、复积分、解析函数的级数理论和留数。

   而路见可的书在解析函数的单值化问题上感觉根本没讲清楚个人感觉还是余家荣的在这块写的比较好（后面的同伦概念、柯西定理也是），不过书也都有各自的优缺点吧，看个人了。

   回复此评论

   Reply by cloudly
   November 29th, 2009 at 5:20 pm

   

   是那两本一套的实变和泛函。其他的书我就不知道了。
   对复变我没啥感觉，只是老师讲讲能听明白就满足了，毕竟不是数学专业的～

4. views63 November 29th, 2009 at 4:03 pm

   
   
   

   福建农林大学(真不知道当时报自愿的时候选数学怎么会跑到农大去)。学校数学类的课开得很少，专业选修课的几乎是经济和计算机的（除了大四的上点集拓扑）想多选一些数学的而没报那些选修课差点就因为学分不够要延期毕业了。

   下午在ctex跟LiYanrui(李延瑞)版主测试他写的ConTeXt MkIV 中文标点处理模块(什么也做不了，就是做小白鼠了)，现在才看到，奇怪了这几次有回复的时候都没邮件提醒了。

   回复此评论

   Reply by cloudly
   November 29th, 2009 at 5:22 pm

   

   我不知道是不是服务器出问题了，最近网站不太稳定。麻烦你多来踩几下了。
   难得有数学院开其他课比本专业多。我们这边数学院全是数学课……恐怖。

5. views63 November 29th, 2009 at 7:01 pm

   
   
   

   刚上来，就收到回信
   鸿 2009-11-29 18:49:32
   证明可以
   最后用内积的方法与区间[a,b]有关，与函数f的定义域要求不符，不能用

   看来最后那个不行，而前面那些也只是没有原则上的错误。细节上还是要修改，只是现在时间不够了还有其它的要做（文档还是放在那里），等有时间我会把这个证明写得更完善一些（把你说的用数学归纳法的也写上）。

   回复此评论

   Reply by cloudly
   November 29th, 2009 at 7:08 pm

   

   恩，我觉得没必要用内积空间Hilbert,简单的只把它看作一个无线维的线性泛函可能会避免一些争议。
   话说，线性无关和正交之间是什么关系？线性无关的一定正交么？

   Reply by views63
   November 29th, 2009 at 7:24 pm

   

   正交的向量一定是线性无关，线性无关不一定正交，但一组线性无关的向量可以通过 Gram-Schmidt 正交化得到一组正交的向量它们之间可以唯一的相互线性表出。

   Reply by views63
   November 29th, 2009 at 7:29 pm

   

   这些你应该也知道真是多余了。

   全是数学课？我们学校怎么不那样呢？
   看来真是哪里出问题了，都没有邮件提示，自己经常来看看了。

6. cloudly November 29th, 2009 at 7:48 pm

   
   
   

   没有邮件提示？我自己倒是能收到。测试一下～

   回复此评论

   Reply by views63
   November 29th, 2009 at 7:55 pm

   

   还是没有啊，刚才去看了一下邮箱，我最后一次收到提示说11月6日

   Reply by views63
   November 29th, 2009 at 7:59 pm

   

   你这里有设置不再提示之类的吗？在其它博客我看到过，如果有可能是什么时候我误选了。

   Reply by cloudly
   November 29th, 2009 at 8:00 pm

   

   不知道，我在调插件，我记得以前邮件通知是没有问题的。

   Reply by views63
   November 29th, 2009 at 8:12 pm

   

   刚才的一个有收到了。

   Reply by cloudly
   November 29th, 2009 at 8:20 pm

   

   恩，貌似没问题了。
   p.s. 你可以扫一眼垃圾邮件……

   Reply by cloudly
   November 29th, 2009 at 8:27 pm

   

   嘿嘿，顺道把留言通知的正文改了改。看看现在能收到不？

   Reply by views63
   November 29th, 2009 at 8:36 pm

   

   真是不好意思，我现在才想起来上次创建过滤器
   的时候设置错了，把那个过滤器删了就好了。

7. cloudly November 29th, 2009 at 8:28 pm

   
   
   

   另，正交的那个问题……你原谅我的记忆力吧，线性代数的施密特正交化都忘光光了。该打！

   回复此评论

8. views63 December 9th, 2009 at 5:42 pm

   
   
   

   设$$f(x)$$有泰勒展开式$$\sum_{n=0}^{+\infty}a_n(x-x_0)^n$$与$$\sum_{n=0}^{+\infty}a_n^{\prime}(x-x_0)^n$$ ．

   从$$1,x,x^2,\,\ldots\,,x^n\,\ldots$$中任取$$n\,( n\ge 2)$$个，按照$$x$$的升幂排列后得$$x^{i(1)},x^{i(2)},\,\ldots\,,x^{i(n)}$$

   设$$k_1\cdot x^{i(1)}+k_2\cdot x^{i(2)}+\cdots+k_n\cdot x^{i(n)}=\bf 0$$,则$$k_i\,(i=1,2,\,\ldots\,,n)$$当不全为$$0$$时，

   由代数基本定理可知在$$C$$上至多有个$$i(n)$$互不相等的$$x$$使等式成立．

   所以只有当$$k_i=0~(i=1,2,\,\ldots\,,n)$$时该式恒成立，所以$$1,x,x^2,\,\ldots\,,x^n\,\ldots$$是线性无关的．

   由前面假设有$$\sum_{n=0}^{+\infty}a_n(x-x_0)^n-\sum_{n=0}^{+\infty}a_n^{\prime}(x-x_0)^n=0$$,由前面证明可得$$(x-x_0)$$的各次幂线性无关，则可知$$a_n=a_n^{\prime}$$．

   至于$$1,x,x^2,\,\ldots\,,x^n\,\ldots$$是线性无关的用数学归纳法证明，我试了几次都失败了．

   才想起来你这边是支持TeX代码的，直接写这边更方便.

   回复此评论

   Reply by views63
   December 9th, 2009 at 6:16 pm

   

   现在不支持 TeX 代码？

   Reply by cloudly
   December 10th, 2009 at 11:21 am

   

   现在好了……支持是支持，不过要用两个$括起来公式，而不是一个。要不美元符号怎么打，呵呵。我帮你改了一下，就好了。

   Reply by cloudly
   December 10th, 2009 at 11:22 am

   

   过几天整理出来一个反证法证明给你看看哈。

   Reply by views63
   December 11th, 2009 at 6:57 pm

   

   要两个$ 之前我还因为两个$是行间公式。（你上次都说了，都是我没看清）

   本来还想从朗斯基行列式继续做下去（也才发现之前我竟然把行列式写成了矩阵），后面发现还是从有限到无穷的过程不好说明，最后找到一组无穷个向量线性无关的等价定义：其任意有限子集是线性无关的。

   用反证法？想不出来，看你的证明了。（后来看了你的简历，才发现你学的数学课并不比我少，佩服啊）

   Reply by cloudly
   December 11th, 2009 at 10:17 pm

   

   没，我的思路很简单，只是最近没有整块的时间写出来而已。
   你看我的简历要留心的是，哪些是已经学完的，哪些是being studied的。呵呵。

9. views63 December 12th, 2009 at 10:52 pm

   
   
   

   看到第二届R会议了……我有注意哪些已经学完的
   我已经学的：数分，高代，近代，解几，概率与数理统计，复变函数，离散数学（这个应该不算才对）所以很惭愧啊，之前也遇到过让我汗颜的女生（比我强的很多，但很少能让我发自内心的佩服），也不是学数学的（尤其在代数方面）。

   后来想起上学期老师讲课时的证明也不是用逐点求导。这里的公式效果不好（WordPress 官方的很不错）用图片了（ConTeXt 和 LaTeX 的公式对齐环境等代码有所不同，就不去修改放在这里了）

   回复此评论

   Reply by views63
   December 12th, 2009 at 11:01 pm

   

   又写错了：逐次求导 （老犯这种错误）

   Reply by cloudly
   December 12th, 2009 at 11:46 pm

   

   你可以直接用img标签插入图片，呵呵。
   你说的WP官网效果是指？给个地址吧！

   Reply by views63
   December 13th, 2009 at 8:24 am

   

   汗~~！完全不会 HTML/XHTML……
   一时间也找不到有写公式的博客，这是我上次在那里做测试用的
   测试

   Reply by views63
   December 13th, 2009 at 8:33 am

   

   还是打错字了，无视它吧（上次在谢益辉那边留言也是，明明检查过了，真不像学数学的）

   Reply by cloudly
   December 14th, 2009 at 9:41 am

   

   帮你改过来了，没事儿，呵呵。

10. cloudly December 14th, 2009 at 9:40 am

    
    
    

    fine. I think you are using another plugin...
    I'll change later on, since I need some tests.

    回复此评论

    Reply by views63
    December 14th, 2009 at 3:42 pm

    

    那里默认就支持 TeX 了（想找一个支持 TeX 的免费博客），只是那里虽然支持，但其它方面却不尽人意，稍微定制一下就要收费（连修改默认字号行距也要）
    换一个在线公式的服务器可能效果就会好很多，我试试
    sitmo

    mathtran

11. views63 December 14th, 2009 at 3:49 pm

    
    
    

    sitmo

    mathtran

    希望这次没用错 img 标签

    回复此评论

    Reply by cloudly
    December 15th, 2009 at 1:23 pm

    

    嗯？莫不是我禁掉了img标签？没事没事，你把地址直接放上来，我看到后编辑一下就好

12. views63 December 14th, 2009 at 4:07 pm

    
    
    

    我在其它地方试过了都可以的在这里就不行了，不会 img 标签只能给个链接了。
    Using LaTeX in WordPress"
    我觉得上面那那个的效果比你现在用的这个好

    回复此评论

    Reply by cloudly
    December 15th, 2009 at 8:18 pm

    

    嗯，我改过来了。顺便测试一下。
    $math=equation_test$

13. views63 December 15th, 2009 at 3:58 pm

    
    
    

    就是 Using LaTeX in WordPress 里面介绍的
    
    

    用好像不行（还是我用错了？）

    回复此评论

    Reply by views63
    December 15th, 2009 at 4:08 pm

    

    我在这里用 不行，正确的要怎么用？

    Reply by cloudly
    December 15th, 2009 at 8:11 pm

    

    你随便留就好，我能看明白就直接在后台编辑。

    Reply by views63
    December 15th, 2009 at 4:11 pm

    

    所有用错的标签都没了，想用 code 标签插入 我所写的 img标签 也不行。

    Reply by cloudly
    December 15th, 2009 at 8:11 pm

    

    恩，估计是WP默认有过滤html标签。

14. LiYanrui December 19th, 2009 at 10:40 pm

    
    
    

    第一次看到有人在 blog 回复里交流数学问题。我个看到数学公式就晕

    回复此评论

    Reply by cloudly
    December 20th, 2009 at 12:26 pm

    

    嗯……见多了就不奇怪了……

    Reply by views63
    December 20th, 2009 at 8:15 pm

    

    让大家见笑了，用相同的内容在这里问数学问题，在 CTeX 问排版问题