The ring of real-continuous functions on a topoframe

Authors

  • Ali Akbar Estaji Faculty of Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran.
  • Mohammad Zarghani Mathematics and Computer Sciences, Hakim Sabzevari University, Sabzevar, Iran.
Abstract:

 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 generalization of the ring $C(X)$ of all real-valued continuous functions on a completely regular Hausdorff space $X$. In addition, we show that $mathcal{R}L_{ tau}$ is isomorphic to a sub-$f$-ring of $mathcal{R}tau .$ Let ${tau}$ be a topoframe on a frame $L$. The frame map $alphainmathcal{R}tau $ is called $L$-{it extendable} real continuous function if and only if for every $rin mathbb{R}$, $bigvee^{L}_{rin mathbb R} (alpha(-,r)veealpha(r,-))'=top.$ Finally, we prove that $mathcal{R}^{L}{tau}cong mathcal{R}L_{tau}$ as $f$-rings, where $mathcal{R}^{L}{tau}$ is the set all of $L$-extendable real continuous functions of $ mathcal{R}tau $.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

the 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 text

INTERSECTION 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 text

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 text

When 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 text

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 text

Pointfree 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 text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 4  issue 1

pages  75- 94

publication date 2016-02-01

By following a journal you will be notified via email when a new issue of this journal is published.

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023