笛卡尔空间正交性.pdf

关于笛卡尔空间正交性的几个问题 作者：程天任 背景描述： 一个赋范空间，如果它的每个有限维线性子空间有正交基，则 称它是笛卡尔的。如果它的每个一维线性子空间有正交补，则称它是 希尔伯特的。如果一个赋范空间是希尔伯特的，则它是笛卡尔的。但 是，如果一个空间是笛卡尔的？它是希尔伯特的吗？在完备的情况下 这个命题成立，但是在稠密的情况下它不一定成立。 2011 年，数学家 kubzdela 解决了这个问题。他在文章”on orthogonal of immediate extension of c0”中举出反例。虽然这个问题已 经得到解决。但是，我在阅读完他的文章后，还是有几个问题。下面, 一一列出。 问题1 介绍  定理1：设x= （x1,x2, …）l 以及m N ，定义： M m （x ）={ n N ：nm ，和 x n sup xk ，km}  若x  是c0 的immediate extension （包含在 中） E0 l 则M m （x ）是非空的，有限的对于每个（m N ）。 n 此外，若x c ,定义y  x e ，则dist(x,c0)= 0 n 1 i i lim x y n ，（n  ）。 1 定理2 ： 是非负序列 （x ）={ n N ：nm ，和 sup ， p n M m p n p k km }非空，有限。  设 x= （x1,x2, …）l 以及M 0 （x ）={ n N ：nm ，和 n N X n dist(x,c0) }。若xn p n （ ）。则c0+[x]是c0 的immediate extension 。如果E 是 c0 中最大的immediate  E extension （包含在 中）。则存在z=(z1,z2 …) 以至于 l x p ，n M 。和x  dist(x,c0) 。 zn n n 0 n z n 若i [1,..., n0] ，则zi xi y i 。若 i M n0 ，则zi xi ，其 他情况，zi 0 。 1. x y z  x y 2 ．x y dist(x,c0) 3. x z dist(x,c0)