English

Linearly continuous functions and $F_\sigma$-measurability

General Topology 2020-04-09 v2 Functional Analysis

Abstract

The linear continuity of a function defined on a vector space means that its restriction on every affine line is continuous. For functions defined on Rm\mathbb R^m this notion is near to the separate continuity for which it is required only the continuity on the straight lines which are parallel to coordinate axes. The classical Lebesgue theorem states that every separately continuous function f:RmRf:\mathbb R^m\to\mathbb R is of the (m1)(m-1)-th Baire class. In this paper we prove that every linearly continuous function f:RmRf:\mathbb R^m\to\mathbb R is of the first Baire class. Moreover, we obtain the following result. If XX is a Baire cosmic topological vector space, YY is a Tychonoff topological space and f:XYf:X\to Y is a Borel-measurable (even BP-measurable) linearly continuous function, then ff is FσF_\sigma-measurable. Using this theorem we characterize the discontinuity point set of an arbitrary linearly continuous function on Rm\mathbb R^m. In the final part of the article we prove that any FσF_\sigma-measurable function f:URf:\partial U\to \mathbb R defined on the boundary of a strictly convex open set URmU\subset\mathbb R^m can be extended to a linearly continuous function fˉ:XR\bar f:X\to \mathbb R. This fact shows that in the ``descriptive sense'' the linear continuity is not better than the FσF_\sigma-measurability.

Keywords

Cite

@article{arxiv.1905.04575,
  title  = {Linearly continuous functions and $F_\sigma$-measurability},
  author = {Taras Banakh and Oleksandr Maslyuchenko},
  journal= {arXiv preprint arXiv:1905.04575},
  year   = {2020}
}

Comments

12 pages

R2 v1 2026-06-23T09:03:45.653Z