Solution

ID: past-exam-of-the-analytic-topology-and-axiomatic-set-theory-course-of-the-university-of-oxford/2009/a/1/i/solution

Let be the set of separately continuous real-valued functions on the plane. Take as a subbasis all sets , where and is open in the usual real line. Unions of finite intersections of these sets form a topology, and every is continuous for it by construction. Conversely every topology making every continuous must contain the subbasis, hence this entire generated topology. Thus the required coarsest topology exists and is unique: it is the initial topology of the family .
The family is a set, being a subset of , so this construction has no proper-class issue. The coordinate projections belong to ; consequently this topology contains the ordinary Euclidean topology. This last observation will also make convergence in the new topology imply ordinary coordinatewise convergence.

New to topics? Read the docs here!