topology of pointwise convergence