On Baire classification of strongly separately continuous functions

Classification of real functions; Baire classification of sets and functions (26A21) Weak and generalized continuity (54C08) Real-valued functions in general topology (54C30)

Abstract: We investigate strongly separately continuous functions on a product of topological spaces and prove that if

X

is a countable product of real lines, then there exists a strongly separately continuous function

f : X o m a t h b b R

which is not Baire measurable. We show that if

X

is a product of normed spaces

X_{n}

,

a i n X

and

s i g m a (a) = x i n X : | n i n m a t h b b N : x_{n} e a_{n} | < a l e p h_{0}

is a subspace of

X

, equipped with the Tychonoff topology, then for any open set

G s u b s e t e q s i g m a (a)

there is a strongly separately continuous function

f : s i g m a (a) o m a t h b b R

such that the discontinuity point set of

f

is equal to~

G

.

Review text

The author considers strongly separately continuous functions defined on a subspace of a product of topological spaces \(\{X_t\}_{t\in T}\) equipped with the Tychonoff topology of pointwise convergence. Let \(X=\prod_{t\in T} X_t\), \(E\subset X\), \(a\in E\), and \(t\in T\). For \(x\in X\) define \(x_t^a:T\to\mathbb{R}\) by \(x^a_t(i)=x(i)\) for \(i\neq t\), and \(x^a_t(t)=a(t)\). A function \(f:E\to\mathbb{R}\) is \textit{strongly separately continuous at a point \(a\) with respect to the \(t\)-th variable} if \(\lim_{x\to a} |f(x)-f(x^a_t)|=0\). A mapping \(f:E\to\mathbb{R}\) is strongly separately continuous at a point \(a\in E\) if \(f\) is strongly separately continuous at \(a\) with respect to each variable \(t \in T\), and \(f\) is strongly separately continuous on the set \(E\) if it is strongly separately continuous at every point \(a \in E\) with respect to each variable \(t\in T\). Recall that for \(f:\mathbb{R}^n\to\mathbb{R}\), \(n\in\mathbb{N}\), the properties of strong separate continuity and continuity are equivalent, see \textit{O. Dzagnidze} [Real Anal. Exch. 24, No. 2, 695--702 (1999; Zbl 0967.26010)]. The main results of the paper under review are: (1) If \(X=\prod_{n\in\mathbb{N}}X_n\) is a product of countably many topological spaces, \(a\in X\) and \(\sigma(a)\) is the set of all \(x\in X\) with \(|\{ n: x_n\neq a_n\}|<\aleph_0\), then every strongly separately continuous function \(f:\sigma(a)\to\mathbb{R}\) belongs to the first stable Baire class, i.e. there exists a sequence \(f_i:\sigma(a)\to\mathbb{R}\) of continuous functions such that for every \(x\in\sigma(a)\) there is \(i_x\in\mathbb{N}\) with \(f_i(x)=f(x)\) for \(i\geq i_x\). (2) If \(X\) is a product of countably many real lines, then there exists a strongly separately continuous function \(f:X\to\mathbb{R}\) which is not Baire measurable. (3) If \(X\) is a countable product of normed spaces, then for any open set \(G\subset\sigma(a)\) there is a strongly separately continuous function \(f:\sigma(a)\to\mathbb{R}\) such that \(G\) is equal to the set of all points \(x\in \sigma(a)\) at which \(f\) is discontinuous.

Recommendations

Cited in

(24)

This page was built for publication: On Baire classification of strongly separately continuous functions

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