函数空间的遗传稠密度和遗传Lindelf度

设X,Y是拓扑空间。C_p(X,Y)记由X到Y的全体连续函数带上点态收敛拓扑(见后面的定义)后的函数空间。函数空间理论研究的基本问题之一是确定拓扑性质对(P,Q)使得C_p(X,Y)具有性质P的充要条件是X具有性质Q.Zenor证明了对于Tychonoff空间X和实数空间R,X~∞是遗传Lindelf(遗传可分)的充分必要条件是C_p(X,R~ω)