p76泛函 有限维空间真子空间不可能在全空间稠密