Diagonals of separately continuous functions and their analogs

DOI10.1016/J.TOPOL.2012.09.003MaRDI QIDQ1928403zbMATH OpenOpenAlexFDO

Authors O. O. Karlova, V. V. Mykhaylyuk, O. V. Sobchuk

Publication date 3 January 2013

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.5745

zbMATH Keywords

Baire one functiondiagonal of a functionequiconnected space.separately continuous functionseparately differentiable functionseparately Lipschitz function

Mathematics Subject Classification ID

Classification of real functions; Baire classification of sets and functions (26A21) Continuity and differentiation questions (26B05) Continuous maps (54C05) Weak and generalized continuity (54C08)

Abstract: We prove that for a topological space $X$, an equiconnected space $Z$ and a Baire-one mapping $g:XoZ$ there exists a separately continuous mapping $f:X^{2}oZ$ with the diagonal $g$, i.e. $g(x)=f(x,x)$ for every $xinX$. Under a mild assumptions on $X$ and $Z$ we obtain that diagonals of separately continuous mappings $f:X^{2}oZ$ are exactly Baire-one functions, and diagonals of mappings $f:X^{2}oZ$ which are continuous on the first variable and Lipschitz (differentiable) on the second one, are exactly the functions of stable first Baire class.

Review text

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.

Recommendations

• On the almost continuity of the diagonal of functions
• Diagonals of separately continuous multi-valued mappings
• Diagonals of separately pointwise Lipschitz mappings
• Diagonals of separately continuous functions of \(n\) variables with values in strongly \(\sigma \)-metrizable spaces.
• Diagonals of separately continuous maps with values in box products
• Structure of uninorms with continuous diagonal functions
• Construction of a separately continuous function of \(n\) variables with given diagonal
• Diagonals separating the square of a continuum
• Diagonals of separately absolutely continuous mappings coincide with the sums of absolutely convergent series of continuous functions
• Diagonal Cauchy spaces

Cited in

(16)

• Separation of a diagonal
• Construction of a separately continuous function of \(n\) variables with given diagonal
• Diagonals of separately continuous maps with values in box products
• Diagonals of separately continuous multi-valued mappings
• Diagonals of separately continuous functions of \(n\) variables with values in strongly \(\sigma \)-metrizable spaces.
• Diagonals of separately absolutely continuous mappings coincide with the sums of absolutely convergent series of continuous functions
• scientific article; zbMATH DE number 2086151 (Why is no real title available?)
• scientific article; zbMATH DE number 735393 (Why is no real title available?)
• Diagonals of separately pointwise Lipschitz mappings
• Diagonal function of natural rhotrix
• On Monotonous Separately Continuous Functions
• Functions with diagonal of finite Baire class
• Diagonals separating the square of a continuum
• The topological structures of the spaces of diagonal and opposite diagonal functions with the uniform metric
• Diagonals of strongly separately continuous functions
• Diagonals of separately pointwise Lipschitz functions of n variables

This page was built for publication: Diagonals of separately continuous functions and their analogs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1928403)