-
The ring of real-valued functions which are continuous on a dense cozero set
Authors:
Amrita Dey,
Sagarmoy Bag,
Dhananjoy Mandal
Abstract:
Let $T''(X)$ and $T'(X)$ denote the collections of all real-valued functions on $X$ which are continuous on a dense cozero set and on an open dense subset of $X$ respectively. $T''(X)$ contains $C(X)$ and forms a subring of $T'(X)$ under pointwise addition and multiplication. We inquire when $T''(X)=C(X)$ and when $T''(X)=T'(X)$. We also ponder over the question when is $T''(X)$ isomorphic to…
▽ More
Let $T''(X)$ and $T'(X)$ denote the collections of all real-valued functions on $X$ which are continuous on a dense cozero set and on an open dense subset of $X$ respectively. $T''(X)$ contains $C(X)$ and forms a subring of $T'(X)$ under pointwise addition and multiplication. We inquire when $T''(X)=C(X)$ and when $T''(X)=T'(X)$. We also ponder over the question when is $T''(X)$ isomorphic to $C(Y)$ for some topological space $Y$. We investigate some algebraic properties of the ring, $T''(X)$ for a Tychonoff space $X$. We provide several characterisations of $T''(X)$ as a Von-Neumann regular ring. We define nowhere almost $P$-spaces using the ring $T''(X)$ and characterise it as a Tychonoff space which has no non-isolated almost $P$-points. We show that a Tychonoff space with countable pseudocharacter is a nowhere almost $P$-space and highlight that this condition is not superflous using the closed ordinal space.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Concerning semirings of measurable functions
Authors:
Pronay Biswas,
Sagarmoy Bag,
Sujit Kumar Sardar
Abstract:
For a measurable space $(X,\mathcal{A})$, let $\mathcal{M}^+(X,\mathcal{A})$ be the commutative semiring of non-negative real-valued measurable functions with pointwise addition and pointwise multiplication. We show that there is a lattice isomorphism between the ideal lattice of $\mathcal{M}^+(X,\mathcal{A})$ and the ideal lattice of its ring of differences $\mathcal{M}(X,\mathcal{A})$.
Moreove…
▽ More
For a measurable space $(X,\mathcal{A})$, let $\mathcal{M}^+(X,\mathcal{A})$ be the commutative semiring of non-negative real-valued measurable functions with pointwise addition and pointwise multiplication. We show that there is a lattice isomorphism between the ideal lattice of $\mathcal{M}^+(X,\mathcal{A})$ and the ideal lattice of its ring of differences $\mathcal{M}(X,\mathcal{A})$.
Moreover, we infer that each ideal of $\mathcal{M}^+(X,\mathcal{A})$ is a semiring $z$-ideal.
We investigate the duality between cancellative congruences on $\mathcal{M}^{+}(X,\mathcal{A})$ and $Z_{\mathcal{A}}$-filters on $X$. We observe that for $σ$-algebras, compactness and pseudocompactness coincide, and we provide a new characterization for compact measurable spaces via algebraic properties of $\mathcal{M}^+(X,\mathcal{A})$. It is shown that the space of (real) maximal congruences on $\mathcal{M}^+(X,\mathcal{A})$ is homeomorphic to the space of (real) maximal ideals of the $\mathcal{M}(X,\mathcal{A})$. We solve the isomorphism problem for the semirings of the form $\mathcal{M}^+(X,\mathcal{A})$ for compact and realcompact measurable spaces.
△ Less
Submitted 26 July, 2024;
originally announced August 2024.
-
Algebraic properties of the ring $C(X)_\mathcal{P}$
Authors:
Amrita Dey,
Sagarmoy Bag,
Dhananjoy Mandal
Abstract:
Our aim is to study certain algebraic properties of the ring $C(X)_\mathcal{P}$ of real-valued functions on $X$ whose closure of discontinuity set is in an ideal of closed sets. We characterize $\mathcal{P}P$-spaces using $z$-ideals and essential ideals of $C(X)_\mathcal{P}$ and also almost $\mathcal{P}P$-spaces using $z^0$-ideals of $C(X)_\mathcal{P}$ and a topology finer than the original topolo…
▽ More
Our aim is to study certain algebraic properties of the ring $C(X)_\mathcal{P}$ of real-valued functions on $X$ whose closure of discontinuity set is in an ideal of closed sets. We characterize $\mathcal{P}P$-spaces using $z$-ideals and essential ideals of $C(X)_\mathcal{P}$ and also almost $\mathcal{P}P$-spaces using $z^0$-ideals of $C(X)_\mathcal{P}$ and a topology finer than the original topology on $X$. We deduce that each maximal ideal of $C(X)_F$ \cite{GGT2018} (resp. $T'(X)$ \cite{A2010}) is a $z^0$-ideal. We establish that the notions of clean ring, weakly clean ring, semiclean ring, almost clean ring and exchange ring coincide in the ring $C(X)_\mathcal{P}$. End of this paper, we also characterize $\mathcal{P}P$-spaces and almost $\mathcal{P}P$-spaces using certain ideals having depth zero. We exhibit a condition on $\mathcal{P}$ under which prime and essential ideals of $C(X)_\mathcal{P}$ have depth zero.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Rings of functions which are discontinuous on a finite set with countable range
Authors:
Achintya Singha,
D. Mandal,
Samir Ch Manda,
Sagarmoy Bag
Abstract:
Consider the ring $C_c(X)_F$ of real valued functions which are discontinuous on a finite set with countable range. We discuss $(\mathcal{Z}_c)_F$-filters on $X$ and $(\mathcal{Z}_c)_F$-ideals of $C_c(X)_F$. We establish an analogous version of Gelfand-Kolmogoroff theorem in our setting. We prove some equivalent conditions when $C_c(X)_F$ is a Baer-ring and a regular ring. Lastly, we talk about th…
▽ More
Consider the ring $C_c(X)_F$ of real valued functions which are discontinuous on a finite set with countable range. We discuss $(\mathcal{Z}_c)_F$-filters on $X$ and $(\mathcal{Z}_c)_F$-ideals of $C_c(X)_F$. We establish an analogous version of Gelfand-Kolmogoroff theorem in our setting. We prove some equivalent conditions when $C_c(X)_F$ is a Baer-ring and a regular ring. Lastly, we talk about the zero divisor graph on $C_c(X)_F$.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Rings of functions whose closure of discontinuity set is in an ideal of closed sets
Authors:
Amrita Dey,
Sudip Kumar Acharyya,
Sagarmoy Bag,
Dhananjoy Mandal
Abstract:
Let $\mathcal{P}$ be an ideal of closed subsets of a topological space $X$. Consider the ring, $C(X)_\mathcal{P}$ of real valued functions on $X$ whose closure of discontinuity set is a member of $\mathcal{P}$. We investigate the ring properties of $C(X)_\mathcal{P}$ for different choices of $\mathcal{P}$, such as the $\aleph_0$-self injectivity and regularity of the ring, if and when the ring is…
▽ More
Let $\mathcal{P}$ be an ideal of closed subsets of a topological space $X$. Consider the ring, $C(X)_\mathcal{P}$ of real valued functions on $X$ whose closure of discontinuity set is a member of $\mathcal{P}$. We investigate the ring properties of $C(X)_\mathcal{P}$ for different choices of $\mathcal{P}$, such as the $\aleph_0$-self injectivity and regularity of the ring, if and when the ring is Artinian and/or Noetherian. The concept of $\mathcal{F}P$-space was introduced by Z. Gharabaghi, M. Ghirati and A. Taherifar in 2018 in a paper published in Houston Journal of Mathematics. In this paper, they established a result stating that every $P$-space is a $\mathcal{F}P$-space. We furnish that this theorem might fail if $X$ is not Tychonoff and we provide a suitable counter example to prove our assertion.
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
A note on the rings of functions which are discontinuous on some finite sets
Authors:
Samir Ch Mandal,
Sagarmoy Bag,
Dhananjoy Mandal
Abstract:
In this paper, we study some properties of the ring $C(X)_F$ of all real valued functions which are continuous except on some finite subsets of $X$. We show that $C(X)_F$ is closed under uniform limit if and only if the set of all non-isolated points of $X$ is finite. We also initiate and investigate the zero divisor graph of the ring $C(X)_F$.
In this paper, we study some properties of the ring $C(X)_F$ of all real valued functions which are continuous except on some finite subsets of $X$. We show that $C(X)_F$ is closed under uniform limit if and only if the set of all non-isolated points of $X$ is finite. We also initiate and investigate the zero divisor graph of the ring $C(X)_F$.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
$CCS$-normal spaces
Authors:
Sagarmoy Bag,
Ram Chandra Manna,
Asit Baran Raha
Abstract:
A space $X$ is called $CCS$-normal space if there exist a normal space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_C:C\mapsto f(C)$ is homeomorphism for any cellular-compact subset $C$ of $X$. We discuss about the relations between $C$-normal, $CC$-normal, $Ps$-normal spaces with $CCS$-normal.
A space $X$ is called $CCS$-normal space if there exist a normal space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_C:C\mapsto f(C)$ is homeomorphism for any cellular-compact subset $C$ of $X$. We discuss about the relations between $C$-normal, $CC$-normal, $Ps$-normal spaces with $CCS$-normal.
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Bounds for the Davis-Wielandt radius of bounded linear operators
Authors:
Pintu Bhunia,
Aniket Bhanja,
Santanu Bag,
Kallol Paul
Abstract:
We obtain upper and lower bounds for the Davis-Wielandt radius of bounded linear operators defined on a complex Hilbert space, which improve on the existing ones. We also obtain bounds for the Davis-Wielandt radius of operator matrices. We determine the exact value of the Davis-Wielandt radius of two special type of operator matrices $\left(\begin{array}{cc}
I & B
0 & 0
\end{array}\right)$ a…
▽ More
We obtain upper and lower bounds for the Davis-Wielandt radius of bounded linear operators defined on a complex Hilbert space, which improve on the existing ones. We also obtain bounds for the Davis-Wielandt radius of operator matrices. We determine the exact value of the Davis-Wielandt radius of two special type of operator matrices $\left(\begin{array}{cc}
I & B
0 & 0
\end{array}\right)$ and $\left(\begin{array}{cc}
0 & A
B & 0
\end{array}\right)$, where $A,B\in \mathcal{B}(\mathcal{H})$, $I$ and $0$ are the identity operator and the zero operator on $\mathcal{H},$ respectively. Finally we obtain bounds for the Davis-Wielandt radius of operator matrices of the form $\left(\begin{array}{cc}
A& B
0 & C
\end{array}\right),$ where $A,B, C\in \mathcal{B}(\mathcal{H}).$
△ Less
Submitted 25 August, 2020; v1 submitted 8 June, 2020;
originally announced June 2020.
-
On the numerical range of operators on some special Banach spaces
Authors:
Kalidas Mandal,
Aniket Bhanja,
Santanu Bag,
Kallol Paul
Abstract:
The numerical range of a bounded linear operator on a complex Banach space need not be convex unlike that on a Hilbert space. The aim of this paper is to study operators $T$ on $ \ell^2_p $ for which the numerical range is convex. We also obtain a nice relation between $V(T)$ and $ V(T^t)$ considering $ T \in \mathbb{L} (\ell_p^2) $ and $ T^t \in \mathbb{L} (\ell_q^2) ,$ where $T^t$ denotes the tr…
▽ More
The numerical range of a bounded linear operator on a complex Banach space need not be convex unlike that on a Hilbert space. The aim of this paper is to study operators $T$ on $ \ell^2_p $ for which the numerical range is convex. We also obtain a nice relation between $V(T)$ and $ V(T^t)$ considering $ T \in \mathbb{L} (\ell_p^2) $ and $ T^t \in \mathbb{L} (\ell_q^2) ,$ where $T^t$ denotes the transpose of $T$ and $p$ and $q$ are conjugate real numbers i.e., $ 1 <p,q< \infty $ and $ \frac{1}{p}+\frac{1}{q}=1.$
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Almost separable spaces
Authors:
Sagarmoy Bag,
Ram Chandra Manna,
Sourav Kanti Patra
Abstract:
We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts spaces. We investigate few relationships among separability, almost separability, sequential separability, strongly sequential separability.
We have defined almost separable space. We show that like separability, almost separability is $c$ productive and converse also true under some restrictions. We establish a Baire Category theorem like result in Hausdorff, Pseudocompacts spaces. We investigate few relationships among separability, almost separability, sequential separability, strongly sequential separability.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Estimations of zeros of a polynomial using numerical radius inequalities
Authors:
Pintu Bhunia,
Santanu Bag,
Raj Kumar Nayak,
Kallol Paul
Abstract:
We present new bounds for the numerical radius of bounded linear operators and $2\times 2$ operator matrices. We apply upper bounds for the numerical radius to the Frobenius companion matrix of a complex monic polynomial to obtain new estimations for zeros of that polynomial. We also show with numerical examples that our new estimations improve on the existing estimations.
We present new bounds for the numerical radius of bounded linear operators and $2\times 2$ operator matrices. We apply upper bounds for the numerical radius to the Frobenius companion matrix of a complex monic polynomial to obtain new estimations for zeros of that polynomial. We also show with numerical examples that our new estimations improve on the existing estimations.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Intermediate rings of complex-valued continuous functions
Authors:
Amrita Acharyya,
Sudip Kumar Acharyya,
Sagarmoy Bag,
Joshua Sack
Abstract:
Let $Σ(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 $Σ(X,\mathbb{C})$ and in their real-valued counterparts $P(X,\mathbb{C})\cap C(X)$. It is shown that the structure s…
▽ More
Let $Σ(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 $Σ(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 $β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.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
$Ps$-normal and $Ps$-Tychonoff spaces
Authors:
Sagarmoy Bag,
Ram Chandra Manna,
Sourav Kanti Patra
Abstract:
A space $X$ is called $Ps$-normal($Ps$-Tychonoff) space if there exists a normal(Tychonoff) space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_K:K\mapsto f(K)$ is homeomorphism for any pseudocompact subset $K$ of $X$. We establish a few relations between $C$-normal, $CC$-normal, $L$-normal, $C$-Tychonoff, $CC$-Tychonoff spaces with $Ps$-normal and $Ps$-Tychonoff spaces.
A space $X$ is called $Ps$-normal($Ps$-Tychonoff) space if there exists a normal(Tychonoff) space $Y$ and a bijection $f: X\mapsto Y$ such that $f\lvert_K:K\mapsto f(K)$ is homeomorphism for any pseudocompact subset $K$ of $X$. We establish a few relations between $C$-normal, $CC$-normal, $L$-normal, $C$-Tychonoff, $CC$-Tychonoff spaces with $Ps$-normal and $Ps$-Tychonoff spaces.
△ Less
Submitted 20 July, 2019;
originally announced July 2019.
-
Bounds for zeros of a polynomial using numerical radius of Hilbertian space operators
Authors:
Pintu Bhunia,
Santanu Bag,
Kallol Paul
Abstract:
We obtain bounds for the numerical radius of $2 \times 2$ operator matrices which improve on the existing bounds. We also show that the inequalities obtained here generalize the existing ones. As an application of the results obtained here we estimate the bounds for the zeros of a monic polynomial and illustrate with numerical examples that the bounds are better than the existing ones.
We obtain bounds for the numerical radius of $2 \times 2$ operator matrices which improve on the existing bounds. We also show that the inequalities obtained here generalize the existing ones. As an application of the results obtained here we estimate the bounds for the zeros of a monic polynomial and illustrate with numerical examples that the bounds are better than the existing ones.
△ Less
Submitted 26 September, 2020; v1 submitted 17 June, 2019;
originally announced June 2019.
-
Bounds of numerical radius of bounded linear operator using $t$-Aluthge transform
Authors:
Santanu bag,
Pintu Bhunia,
Kallol Paul
Abstract:
We develop a number of inequalities to obtain bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space using the properties of $t$-Aluthge transform. We show that the bounds obtained are sharper than the existing bounds.
We develop a number of inequalities to obtain bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space using the properties of $t$-Aluthge transform. We show that the bounds obtained are sharper than the existing bounds.
△ Less
Submitted 6 May, 2020; v1 submitted 26 April, 2019;
originally announced April 2019.
-
Numerical radius inequalities of operator matrices with applications
Authors:
Pintu Bhunia,
Santanu Bag,
Kallol Paul
Abstract:
We present upper and lower bounds for the numerical radius of $2 \times 2$ operator matrices which improves on the existing bound for the same. As an application of the results obtained we give a better estimation for the zeros of a polynomial.
We present upper and lower bounds for the numerical radius of $2 \times 2$ operator matrices which improves on the existing bound for the same. As an application of the results obtained we give a better estimation for the zeros of a polynomial.
△ Less
Submitted 27 January, 2020; v1 submitted 15 March, 2019;
originally announced March 2019.
-
Numerical radius inequalities and its applications in estimation of zeros of polynomials
Authors:
Pintu Bhunia,
Santanu Bag,
Kallol Paul
Abstract:
We present some upper and lower bounds for the numerical radius of a bounded linear operator defined on complex Hilbert space, which improves on the existing upper and lower bounds. We also present an upper bound for the spectral radius of sum of product of $n$ pairs of operators. As an application of the results obtained, we provide a better estimation for the zeros of a given polynomial.
We present some upper and lower bounds for the numerical radius of a bounded linear operator defined on complex Hilbert space, which improves on the existing upper and lower bounds. We also present an upper bound for the spectral radius of sum of product of $n$ pairs of operators. As an application of the results obtained, we provide a better estimation for the zeros of a given polynomial.
△ Less
Submitted 8 March, 2019;
originally announced March 2019.
-
Recent progress in Rings and Subrings of Real Valued Measurable Functions
Authors:
Soumyadip Acharyya,
Sudip Kumar Acharyya,
Sagarmoy Bag,
Joshua Sack
Abstract:
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$,…
▽ More
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 $μ$ on $(X,\mathcal{A})$, the $m_μ$-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(μ)$ of all $μ$-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})$.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
On the numerical index of polyhedral Banach spaces
Authors:
Debmalya Sain,
Kallol Paul,
Pintu Bhunia,
Santanu Bag
Abstract:
The computation of the numerical index of a Banach space is an intriguing problem, even in case of two-dimensional real polyhedral Banach spaces. In this article we present a general method to estimate the numerical index of any finite-dimensional real polyhedral Banach space, by considering the action of only finitely many functionals, on the unit sphere of the space. We further obtain the exact…
▽ More
The computation of the numerical index of a Banach space is an intriguing problem, even in case of two-dimensional real polyhedral Banach spaces. In this article we present a general method to estimate the numerical index of any finite-dimensional real polyhedral Banach space, by considering the action of only finitely many functionals, on the unit sphere of the space. We further obtain the exact numerical index of a family of $3$-dimensional polyhedral Banach spaces for the first time, in order to illustrate the applicability of our method.
△ Less
Submitted 4 December, 2018; v1 submitted 13 September, 2018;
originally announced September 2018.
-
Ideals in Rings and Intermediate Rings of Measurable Functions
Authors:
Sudip Kumar Acharyya,
Sagarmoy Bag,
Joshua Sack
Abstract:
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 te…
▽ More
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 $σ$-algebra consisting of the zero-sets of $X$.
△ Less
Submitted 7 June, 2018;
originally announced June 2018.
-
Some new results on functions in $C(X)$ having their support on ideals of closed sets
Authors:
Sagarmoy Bag,
Sudip Kumar Acharyya,
Pritam Rooj,
Goutam Bhunia
Abstract:
For any ideal $\mathcal{P}$ of closed sets in $X$, let $C_\mathcal{P}(X)$ be the family of those functions in $C(X)$ whose support lie on $\mathcal{P}$. Further let $C^\mathcal{P}_\infty(X)$ contain precisely those functions $f$ in $C(X)$ for which for each $ε>0, \{x\in X: \lvert f(x)\rvert\geq ε\}$ is a member of $\mathcal{P}$. Let $\upsilon_{C_{\mathcal{P}}}X$ stand for the set of all those poin…
▽ More
For any ideal $\mathcal{P}$ of closed sets in $X$, let $C_\mathcal{P}(X)$ be the family of those functions in $C(X)$ whose support lie on $\mathcal{P}$. Further let $C^\mathcal{P}_\infty(X)$ contain precisely those functions $f$ in $C(X)$ for which for each $ε>0, \{x\in X: \lvert f(x)\rvert\geq ε\}$ is a member of $\mathcal{P}$. Let $\upsilon_{C_{\mathcal{P}}}X$ stand for the set of all those points $p$ in $βX$ at which the stone extension $f^*$ for each $f$ in $C_\mathcal{P}(X)$ is real valued. We show that each realcompact space lying between $X$ and $βX$ is of the form $\upsilon_{C_\mathcal{P}}X$ if and only if $X$ is pseudocompact. We find out conditions under which an arbitrary product of spaces of the form locally-$\mathcal{P}/$ almost locally-$\mathcal{P}$, becomes a space of the same form. We further show that $C_\mathcal{P}(X)$ is a free ideal ( essential ideal ) of $C(X)$ if and only if $C^\mathcal{P}_\infty(X)$ is a free ideal ( respectively essential ideal ) of $C^*(X)+C^\mathcal{P}_\infty(X)$ when and only when $X$ is locally-$\mathcal{P}$ ( almost locally-$\mathcal{P}$). We address the problem, when does $C_\mathcal{P}(X)/C^\mathcal{P}_{\infty}(X)$ become identical to the socle of the ring $C(X)$. Finally we observe that the ideals of the form $C_\mathcal{P}(X)$ of $C(X)$ are no other than the $z^\circ$-ideals of $C(X)$.
△ Less
Submitted 28 December, 2017;
originally announced December 2017.
-
$z^\circ$-ideals in intermediate rings of ordered field valued continuous functions
Authors:
Sagarmoy Bag,
Sudip Kumar Acharyya,
Dhananjoy Mandal
Abstract:
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$-regular 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 function…
▽ More
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$-regular 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)\neq 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.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
