逐点收敛拓扑

topology of pointwise convergence