اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدLinearly continuous functions and $F_sigma$-measurability
154
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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 $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:mathbb R^mtomathbb R$ is of the $(m-1)$-th Baire class. In this paper we prove that every linearly continuous function $f:mathbb R^mtomathbb 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:Xto Y$ is a Borel-measurable (even BP-measurable) linearly continuous function, then $f$ is $F_sigma$-measurable. Using this theorem we characterize the discontinuity point set of an arbitrary linearly continuous function on $mathbb R^m$. In the final part of the article we prove that any $F_sigma$-measurable function $f:partial Uto mathbb R$ defined on the boundary of a strictly convex open set $Usubsetmathbb R^m$ can be extended to a linearly continuous function $bar f:Xto mathbb R$. This fact shows that in the ``descriptive sense the linear continuity is not better than the $F_sigma$-measurability.
قيم البحث
اقرأ أيضاً
Let $fcolonmathbb{R}^2tomathbb{R}$. The notions of feebly continuity and very feebly continuity of $f$ at a point $langle x,yrangleinmathbb{R}^2$ were considered by I. Leader in 2009. We study properties of the sets $FC(f)$ (respectively, $VFC(f)sups
et FC(f)$) of points at which $f$ is feebly continuous (very feebly continuous). We prove that $VFC(f)$ is densely nonmeager, and, if $f$ has the Baire property (is measurable), then $FC(f)$ is residual (has full outer Lebesgue measure). We describe several examples of functions $f$ for which $FC(f) eq VFC(f)$. Then we consider the notion of two-feebly continuity which is strictly weaker than very feebly continuity. We prove that the set of points where (an arbitrary) $f$ is two-feebly continuous forms a residual set of full outer measure. Finally, we study the existence of large algebraic structures inside or outside various sets of feebly continuous functions.
As proved in [16], for a Tychonoff space $X$, a locally convex space $C_{p}(X)$ is distinguished if and only if $X$ is a $Delta$-space. If there exists a linear continuous surjective mapping $T:C_p(X) to C_p(Y)$ and $C_p(X)$ is distinguished, then $C
_p(Y)$ also is distinguished [17]. Firstly, in this paper we explore the following question: Under which conditions the operator $T:C_p(X) to C_p(Y)$ above is open? Secondly, we devote a special attention to concrete distinguished spaces $C_p([1,alpha])$, where $alpha$ is a countable ordinal number. A complete characterization of all $Y$ which admit a linear continuous surjective mapping $T:C_p([1,alpha]) to C_p(Y)$ is given. We also observe that for every countable ordinal $alpha$ all closed linear subspaces of $C_p([1,alpha])$ are distinguished, thereby answering an open question posed in [17]. Using some properties of $Delta$-spaces we prove that a linear continuous surjection $T:C_p(X) to C_k(X)_w$, where $C_k(X)_w$ denotes the Banach space $C(X)$ endowed with its weak topology, does not exist for every infinite metrizable compact $C$-space $X$ (in particular, for every infinite compact $X subset mathbb{R}^n$).
A function $f:Xto mathbb R$ defined on a topological space $X$ is called returning if for any point $xin X$ there exists a positive real number $M_x$ such that for every path-connected subset $C_xsubset X$ containing the point $x$ and any $yin C_xset
minus{x}$ there exists a point $zin C_xsetminus{x,y}$ such that $|f(z)|le max{M_x,|f(y)|}$. A topological space $X$ is called path-inductive if a subset $Usubset X$ is open if and only if for any path $gamma:[0,1]to X$ the preimage $gamma^{-1}(U)$ is open in $[0,1]$. The class of path-inductive spaces includes all first-countable locally path-connected spaces and all sequential locally contractible space. We prove that a function $f:Xto mathbb R$ defined on a path-inductive space $X$ is continuous if and only of it is returning and has closed graph. This implies that a (weakly) Swic atkowski function $f:mathbb Rtomathbb R$ is continuous if and only if it has closed graph, which answers a problem of Maliszewski, inscibed to Lviv Scottish Book.
Let $Sigma (X,mathbb{C})$ denote the collection of all the rings between $C^*(X,mathbb{C})$ and $C(X,mathbb{C})$. We show that there is a natural correlation between the absolutely convex ideals/ prime ideals/maximal ideals/$z$-ideals/$z^circ$-ideals
in the rings $P(X,mathbb{C})$ in $Sigma(X,mathbb{C})$ and in their real-valued counterparts $P(X,mathbb{C})cap C(X)$. It is shown that the structure space of any such $P(X,mathbb{C})$ is $beta X$. We show that for any maximal ideal $M$ in $C(X,mathbb{C}), C(X,mathbb{C})/M$ is an algebraically closed field. We give a necessary and sufficient condition for the ideal $C_{mathcal{P}}(X,mathbb{C})$ of $C(X,mathbb{C})$ to be a prime ideal, and we examine a few special cases thereafter.
A function $f:Xto Y$ between topological spaces is called $sigma$-$continuous$ (resp. $barsigma$-$continuous$) if there exists a (closed) cover ${X_n}_{ninomega}$ of $X$ such that for every $ninomega$ the restriction $f{restriction}X_n$ is continuous
. By $mathfrak c_sigma$ (resp. $mathfrak c_{barsigma}$) we denote the largest cardinal $kappalemathfrak c$ such that every function $f:Xtomathbb R$ defined on a subset $Xsubsetmathbb R$ of cardinality $|X|<kappa$ is $sigma$-continuous (resp. $barsigma$-continuous). It is clear that $omega_1lemathfrak c_{barsigma}lemathfrak c_sigmalemathfrak c$. We prove that $mathfrak plemathfrak q_0=mathfrak c_{barsigma}=min{mathfrak c_sigma,mathfrak b,mathfrak q}lemathfrak c_sigmalemin{mathrm{non}(mathcal M),mathrm{non}(mathcal N)}$. The equality $mathfrak c_{barsigma}=mathfrak q_0$ resolves a problem from the initial version of the paper.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
