اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدRecent progress in Rings and Subrings of Real Valued Measurable Functions
91
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Two separated realcompact measurable spaces $(X,mathcal{A})$ and $(Y,mathcal{B})$ are shown to be isomorphic if and only if the rings $mathcal{M}(X,mathcal{A})$ and $mathcal{M}(Y,mathcal{B})$ of all real valued measurable functions over these two spaces are isomorphic. It is furthermore shown that any such ring $mathcal{M}(X,mathcal{A})$, even without the realcompactness hypothesis on $X$, can be embedded monomorphically in a ring of the form $C(K)$, where $K$ is a zero dimensional Hausdorff topological space. It is also shown that given a measure $mu$ on $(X,mathcal{A})$, the $m_mu$-topology on $mathcal{M}(X,mathcal{A})$ is 1st countable if and only if it is connected and this happens when and only when $mathcal{M}(X,mathcal{A})$ becomes identical to the subring $L^infty(mu)$ of all $mu$-essentially bounded measurable functions on $(X,mathcal{A})$. Additionally, we investigate the ideal structures in subrings of $mathcal{M}(X,mathcal{A})$ that consist of functions vanishing at all but finitely many points and functions vanishing at infinity respectively. In particular, we show that the former subring equals the intersection of all free ideals in $mathcal{M}(X,mathcal{A})$ when $(X,mathcal{A})$ is separated and $mathcal{A}$ is infinite. Assuming $(X,mathcal{A})$ is locally finite, we also determine a pair of necessary and sufficient conditions for the later subring to be an ideal of $mathcal{M}(X,mathcal{A})$.
قيم البحث
اقرأ أيضاً
A.V.Arkhangelskii asked in 1981 if the variety $mathfrak V$ of topological groups generated by free topological groups on metrizable spaces coincides with the class of all topological groups. We show that if there exists a real-valued measurable card
inal then the variety $mathfrak V$ is a proper subclass of the class of all topological groups. A topological group $G$ is called $g$-sequential if for any topological group $H$ any sequentially continuous homomorphism $Gto H$ is continuous. We introduce the concept of a $g$-sequential cardinal and prove that a locally compact group is $g$-sequential if and only if its local weight is not a $g$-sequential cardinal. The product of a family of non-trivial $g$-sequential topological groups is $g$-sequential if and only if the cardinal of this family is not $g$-sequential. Suppose $G$ is either the unitary group of a Hilbert space or the group of all self-homeomorphisms of a Tikhonov cube. Then $G$ is $g$-sequential if and only if its weight is not a $g$-sequential cardinal. Every compact group of Ulam-measurable cardinality admits a strictly finer countably compact group topology.
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 proper ideal $I$ in a commutative ring with unity is called a $z^circ$-ideal if for each $a$ in $I$, the intersection of all minimal prime ideals in $R$ which contain $a$ is contained in $I$. For any totally ordered field $F$ and a completely $F$-r
egular topological space $X$, let $C(X,F)$ be the ring of all $F$-valued continuous functions on $X$ and $B(X,F)$ the aggregate of all those functions which are bounded over $X$. An explicit formula for all the $z^circ$-ideals in $A(X,F)$ in terms of ideals of closed sets in $X$ is given. It turns out that an intermediate ring $A(X,F) eq C(X,F)$ is never regular in the sense of Von-Neumann. This property further characterizes $C(X,F)$ amongst the intermediate rings within the class of $P_F$-spaces $X$. It is also realized that $X$ is an almost $P_F$-space if and only if each maximal ideal in $C(X,F)$ is $z^circ$-ideal. Incidentally this property also characterizes $C(X,F)$ amongst the intermediate rings within the family of almost $P_F$-spaces.
The set of all maximal ideals of the ring $mathcal{M}(X,mathcal{A})$ of real valued measurable functions on a measurable space $(X,mathcal{A})$ equipped with the hull-kernel topology is shown to be homeomorphic to the set $hat{X}$ of all ultrafilters
of measurable sets on $X$ with the Stone-topology. This yields a complete description of the maximal ideals of $mathcal{M}(X,mathcal{A})$ in terms of the points of $hat{X}$. It is further shown that the structure spaces of all the intermediate subrings of $mathcal{M}(X,mathcal{A})$ containing the bounded measurable functions are one and the same and are compact Hausdorff zero-dimensional spaces. It is observed that when $X$ is a $P$-space, then $C(X) = mathcal{M}(X,mathcal{A})$ where $mathcal{A}$ is the $sigma$-algebra consisting of the zero-sets of $X$.
The like-Lebesgue integral of real-valued measurable functions (abbreviated as textit{RVM-MI})is the most complete and appropriate integration Theory. Integrals are also defined in abstract spaces since Pettis (1938). In particular, Bochner integrals
received much interest with very recent researches. It is very commode to use the textit{RVM-MI} in constructing Bochner integral in Banach or in locally convex spaces. In this simple not, we prove that the Bochner integral and the textit{RVM-MI} with respect to a finite measure $m$ are the same on $mathbb{R}$. Applications of that equality may be useful in weak limits on Banach space.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
