|
发表于 2016-5-8 11:34:11
|
显示全部楼层
( u [% T& l( D, H他前面那句话也不对,L1和L2相等,数学上叫做同构;任意两个线性空间并不能同构,文中的L1和L2同构是有条件的,你得在线性空间上定义范数,也就是距离,使其成为欧几里得空间,才能同构。
0 \7 t5 b6 n4 \4 o
% J& Q& R+ q# e( I2 i; D/ j# L线性空间理论有个定理:任意两个欧几里得空间,如果他们的维数相等,则必定同构。
. h6 j- ?* P0 ^$ W8 n1 `) b* W7 K7 h! Q( L3 q
对于全体次数不大于n的多项式集合,我们可以定义范数使其成为欧几里得空间,其维数为n,所以他和n维向量空间是一回事0 K4 y" A2 _- c6 D
6 C- ~$ r& `% t! k: s# G- x5 B
但是,对于定义在[0,1]上的连续函数全体,也可定义范数成为欧几里得空间,然而,这个欧几里得空间是无穷维的,也就是任给一个自然数n,我一定可以找到n+1个元素,他们是线性无关的,这个空间,在数学上叫做希尔伯特空间,他和n维向量空间区别很大;比如,n维向量空间一定可以用n个线性无关的元素构成一组基,所有元素都可以用这组基线性表出,但是希尔伯特空间就根本没有基,绝对不要把这两个东西混为一谈。8 Z' S, T: ]- F7 Q# W/ r, i
8 v% k6 P- y" h, V, e( Q手机打字很累,如果有人有兴趣,我可以回家细说。
: [0 I! Z3 }& y( x3 c |
评分
-
查看全部评分
|