The ring of real-valued functions on a frame
Authors
Abstract:
In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continuous functions on $L$. Furthermore, for every frame $L$, there exists a Boolean frame $B$ such that $F(L)$ is a sub-$f$-ring of $ F(B)$.
similar resources
the ring of real-valued functions on a frame
in this paper, we define and study the notion of the real-valued functions on a frame $l$. we show that $f(l) $, consisting of all frame homomorphisms from the power set of $mathbb{r}$ to a frame $ l$, is an $f$-ring, as a generalization of all functions from a set $x$ into $mathbb r$. also, we show that $f(l) $ is isomorphic to a sub-$f$-ring of $mathcal{r}(l)$, the ring of real-valued continu...
full textINTERSECTION OF ESSENTIAL IDEALS IN THE RING OF REAL-VALUED CONTINUOUS FUNCTIONS ON A FRAME
A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...
full textThe ring of real-continuous functions on a topoframe
A topoframe, denoted by $L_{ tau}$, is a pair $(L, tau)$ consisting of a frame $L$ and a subframe $ tau $ all of whose elements are complementary elements in $L$. In this paper, we define and study the notions of a $tau $-real-continuous function on a frame $L$ and the set of real continuous functions $mathcal{R}L_tau $ as an $f$-ring. We show that $mathcal{R}L_{ tau}$ is actually a generali...
full textWhen is the ring of real measurable functions a hereditary ring?
Let $M(X, mathcal{A}, mu)$ be the ring of real-valued measurable functions on a measure space $(X, mathcal{A}, mu)$. In this paper, we characterize the maximal ideals in the rings of real measurable functions and as a consequence, we determine when $M(X, mathcal{A}, mu)$ is a hereditary ring.
full textthe ring of real-continuous functions on a topoframe
a topoframe, denoted by $l_{ tau}$, is a pair $(l, tau)$ consisting of a frame $l$ and a subframe $ tau $ all of whose elements are complementary elements in$l$. in this paper, we define and study the notions of a$tau $-real-continuous function on a frame $l$ and the set of realcontinuous functions $mathcal{r}l_tau $ as an $f$-ring.we show that $mathcal{r}l_{ tau}$is actually a generalization ...
full textPointfree topology version of image of real-valued continuous functions
Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree version of $C_c(X).$The main aim of this paper is to present t...
full textMy Resources
Journal title
volume 5 issue 1
pages 85- 102
publication date 2016-07-01
By following a journal you will be notified via email when a new issue of this journal is published.
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023