Linearly continuous functions and F_-measurability

DOI10.1007/S40879-019-00385-WMaRDI QIDQ1987684zbMATH OpenOpenAlexFDO

Authors Taras Banakh, O. V. Maslyuchenko

Publication date 15 April 2020

Published in European Journal of Mathematics (Search for Journal in Brave)

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

$\ell$-miserable set $\ell$-neighborhood $F_\sigma$-measurable function Borel-measurable function BP-measurable function conically quasi-continuous function function of the first Baire class linearly continuous function quasi-continuous function separately continuous function

Mathematics Subject Classification ID

Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Classification of real functions; Baire classification of sets and functions (26A21) Convexity of real functions of several variables, generalizations (26B25) Convex sets in topological linear spaces; Choquet theory (46A55) Extension of maps (54C20) Real-valued functions in general topology (54C30) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

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

m a t h b b 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 : m a t h b b R^{m} o m a t h b b R

is of the

(m - 1)

-th Baire class. In this paper we prove that every linearly continuous function

f : m a t h b b R^{m} o m a t h b b R

is of the first Baire class. Moreover, we obtain the following result. If

X

is a Baire cosmic topological vector space,

Y

is a Tychonoff topological space and

f : X o Y

is a Borel-measurable (even BP-measurable) linearly continuous function, then

f

is

F_{s} i g m a

-measurable. Using this theorem we characterize the discontinuity point set of an arbitrary linearly continuous function on

m a t h b b R^{m}

. In the final part of the article we prove that any

F_{s} i g m a

-measurable function

f : p a r t i a l U o m a t h b b R

defined on the boundary of a strictly convex open set

U s u b s e t m a t h b b R^{m}

can be extended to a linearly continuous function

. This fact shows that in the ``descriptive sense the linear continuity is not better than the $F_{s} i g m a$ -measurability.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Linearly continuous functions and $F_\sigma$-measurability

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