Diagonals of separately continuous functions and their analogs (Q1928403)

The diagonal of a function \(f:X^2\to Y\) is the function \(g:X\to Y\) given by \(g(x)=f(x,x)\). Suppose \(Y\) is metrisable and equiconnected. If a function \(g:X\to Y\) is of Baire class 1 then there is a separately continuous \(f:X^2\to Y\) whose diagonal is \(g\). Under a range of mild conditions the converse holds. Similar characterisations with \(f\) continuous in the first variable and Lipschitz or differentiable in the second are given; in these cases \(g\) is of stable Baire class 1.