arXiv Science⌕ Search

arXiv subjects

Atasi Deb Ray

Publications and source records attributed to Atasi Deb Ray.

11 recordsLinked to original sources
arXiv2023

Some familiar graphs on the rings of measurable functions

In this paper, replacing `equality' by 'equality almost everywhere' we modify several terms associated with the ring of measurable functions defined on a measure space $(X, \mathcal{A}, \mu)$ and thereby study the graph theoretic features of the modified comaximal graph, annihilator graph and the weakly zero-divisor graph of the said ring. The study reveals a structural analogy between the modified versions of the comaximal and the zero-divisor graphs, which prompted us to investigate whether these two graphs are isomorphic. Introducing a quotient-like concept, we find certain subgraphs of the comaximal graph and the zero-divisor graph of $\mathcal{M}(X, \mathcal{A})$ and show that these two subgraphs are always isomorphic. Choosing $\mu$ as a counting measure, we prove that even if these two induced graphs are isomorphic, the parent graphs may not be so. However, in case of Lebesgue measure space on $\mathbb{R}$, we establish that the comaximal and the zero-divisor graphs are isomorphic. Observing that both of the comaximal and the zero-divisor graphs of the ring $\mathcal{M}(X, \mathcal{A})$ are subgraphs of the annihilator graph of the said ring, we find equivalent conditions for their equalities in terms of the partitioning of $X$ into two atoms. Moreover, the non-atomicity of the underlying measure space $X$ is characterized through graph theoretic phenomena of the comaximal and the annihilator graph of $\mathcal{M}(X, \mathcal{A})$.

math.GM↗
arXiv2023

More on generalizations of topology of uniform convergence and $m$-topology on $C(X)$

This paper conglomerates our findings on the space $C(X)$ of all real valued continuous functions, under different generalizations of the topology of uniform convergence and the $m$-topology. The paper begins with answering all the questions which were left open in our previous paper on the classifications of $Z$-ideals of $C(X)$ induced by the $U_I$ and the $m_I$-topologies on $C(X)$. Motivated by the definition of $m^I$-topology, another generalization of the topology of uniform convergence, called $U^I$-topology, is introduced here. Among several other results, it is established that for a convex ideal $I$, a necessary and sufficient condition for $U^I$-topology to coincide with $m^I$-topology is the boundedness of $X\setminus\bigcap Z[I]$ in $X$. As opposed to the case of the $U_I$-topologies (and $m_I$-topologies), it is proved that each $U^I$-topology (respectively, $m^I$-topology) on $C(X)$ is uniquely determined by the ideal $I$. In the last section, the denseness of the set of units of $C(X)$ in $C_U(X)$ (= $C(X)$ with the topology of uniform convergence) is shown to be equivalent to the strong zero dimensionality of the space $X$. Also, the space $X$ is a weakly P-space if and only if the set of zero divisors (including 0) in $C(X)$ is closed in $C_U(X)$. Computing the closure of $C_\mathscr{P}(X)$ (=$\{f\in C(X):\text{the support of }f\in\mathscr{P}\}$ where $\mathscr{P}$ denotes the ideal of closed sets in $X$) in $C_U(X)$ and $C_m(X)$ (= $C(X)$ with the $m$-topology), the results $cl_UC_\mathscr{P}(X) = C_\infty^\mathscr{P}(X)$ ($=\{f\in C(X):\forall n\in\mathbb{N}, \{x\in X:|f(x)|\geq\frac{1}{n}\}\in\mathscr{P}\}$) and $cl_mC_\mathscr{P}(X)=\{f\in C(X):f.g\in C^\mathscr{P}_\infty(X)\text{ for each }g\in C(X)\}$ are achieved.

math.GN↗
arXiv2023

$U$-topology and $m$-topology on the ring of Measurable Functions, generalized and revisited

Let $\mathcal{M}(X,\mathcal{A})$ be the ring of all real valued measurable functions defined over the measurable space $(X,\mathcal{A})$. Given an ideal $I$ in $\mathcal{M}(X,\mathcal{A})$ and a measure $\mu:\mathcal{A}\to[0,\infty]$, we introduce the $U_\mu^I$-topology and the $m_\mu^I$-topology on $\mathcal{M}(X,\mathcal{A})$ as generalized versions of the topology of uniform convergence or the $U$-topology and the $m$-topology on $\mathcal{M}(X,\mathcal{A})$ respectively. With $I=\mathcal{M}(X,\mathcal{A})$, these two topologies reduce to the $U_\mu$-topology and the $m_\mu$-topology on $\mathcal{M}(X,\mathcal{A})$ respectively, already considered before. If $I$ is a countably generated ideal in $\mathcal{M}(X,\mathcal{A})$, then the $U_\mu^I$-topology and the $m_\mu^I$-topology coincide if and only if $X\setminus \bigcap Z[I]$ is a $\mu$-bounded subset of $X$. The components of $0$ in $\mathcal{M}(X,\mathcal{A})$ in the $U_\mu^I$-topology and the $m_\mu^I$-topology are realized as $I\cap L^\infty(X,\mathcal{A},\mu)$ and $I\cap L_\psi(X,\mathcal{A},\mu)$ respectively. Here $L^\infty(X,\mathcal{A},\mu)$ is the set of all functions in $\mathcal{M}(X,\mathcal{A})$ which are essentially $\mu$-bounded over $X$ and $L_\psi(X,\mathcal{A},\mu)=\{f\in \mathcal{M}(X,\mathcal{A}): ~\forall g\in\mathcal{M}(X,\mathcal{A}), f.g\in L^\infty(X,\mathcal{A},\mu)\}$. It is established that an ideal $I$ in $\mathcal{M}(X,\mathcal{A})$ is dense in the $U_\mu$-topology if and only if it is dense in the $m_\mu$-topology and this happens when and only when there exists $Z\in Z[I]$ such that $\mu(Z)=0$. Furthermore, it is proved that $I$ is closed in $\mathcal{M}(X,\mathcal{A})$ in the $m_\mu$-topology if and only if it is a $Z_\mu$-ideal in the sense that if $f\equiv g$ almost everywhere on $X$ with $f\in I$ and $g\in\mathcal{M}(X,\mathcal{A})$, then $g\in I$.

math.GN↗
arXiv2022

A Generalization of $ m $-topology and $ U $-topology on rings of measurable functions

For a measurable space ($X,\mathcal{A}$), let $\mathcal{M}(X,\mathcal{A})$ be the corresponding ring of all real valued measurable functions and let $\mu$ be a measure on ($X,\mathcal{A}$). In this paper, we generalize the so-called $m_{\mu}$ and $U_{\mu}$ topologies on $\mathcal{M}(X,\mathcal{A})$ via an ideal $I$ in the ring $\mathcal{M}(X,\mathcal{A})$. The generalized versions will be referred to as the $m_{\mu_{I}}$ and $U_{\mu_{I}}$ topology, respectively, throughout the paper. $L_{I}^{\infty} \left(\mu\right)$ stands for the subring of $\mathcal{M}(X,\mathcal{A})$ consisting of all functions that are essentially $I$-bounded (over the measure space ($X,\mathcal{A}, \mu$)). Also let $I_{\mu} (X,\mathcal{A}) = \big \{ f \in \mathcal{M}(X,\mathcal{A}) : \, \text{for every} \, g \in \mathcal{M}(X,\mathcal{A}), fg \, \, \text{is essentially} \, I$-$\text{bounded} \big \}$. Then $I_{\mu} (X,\mathcal{A})$ is an ideal in $\mathcal{M}(X,\mathcal{A})$ containing $I$ and contained in $L_{I}^{\infty} \left(\mu\right)$. It is also shown that $I_{\mu} (X,\mathcal{A})$ and $L_{I}^{\infty} \left(\mu\right)$ are the components of $0$ in the spaces $m_{\mu_{I}}$ and $U_{\mu_{I}}$, respectively. Additionally, we obtain a chain of necessary and sufficient conditions as to when these two topologies coincide.

math.FA↗
arXiv2022

Annihilator graph of the ring $C_\mathscr{P}(X)$

In this article, we introduce the annihilator graph of the ring $C_\mathscr{P}(X)$, denoted by $AG(C_\mathscr{P}(X))$ and observe the effect of the underlying Tychonoff space $X$ on various graph properties of $AG(C_\mathscr{P}(X))$. $AG(C_\mathscr{P}(X))$, in general, lies between the zero divisor graph and weakly zero divisor graph of $C_\mathscr{P}(X)$ and it is proved that these three graphs coincide if and only if the cardinality of the set of all $\mathscr{P}$-points, $X_\mathscr{P}$ is $\leq 2$. Identifying a suitable induced subgraph of $AG(C_\mathscr{P}(X))$, called $G(C_\mathscr{P}(X))$, we establish that both $AG(C_\mathscr{P}(X))$ and $G(C_\mathscr{P}(X))$ share similar graph theoretic properties and have the same values for the parameters, e.g., diameter, eccentricity, girth, radius, chromatic number and clique number. By choosing the ring $C_\mathscr{P}(X)$ where $\mathscr{P}$ is the ideal of all finite subsets of $X$ such that $X_\mathscr{P}$ is finite, we formulate an algorithm for coloring the vertices of $G(C_\mathscr{P}(X))$ and thereby get the chromatic number of $AG(C_\mathscr{P}(X))$. This exhibits an instance of coloring infinite graphs by just a finite number of colors. We show that any graph isomorphism $\psi : AG(C_\mathscr{P}(X)) \rightarrow AG(C_\mathscr{Q}(Y))$ maps $G(C_\mathscr{P}(X))$ isomorphically onto $G(C_\mathscr{Q}(Y))$ as a graph and a graph isomorphism $\phi : G(C_\mathscr{P}(X)) \rightarrow G(C_\mathscr{Q}(Y))$ can be extended to a graph isomorphism $\psi : AG(C_\mathscr{P}(X)) \rightarrow AG(C_\mathscr{Q}(Y))$ under a mild restriction on the function $\phi$. Finally, we show that atleast for the rings $C_\mathscr{P}(X)$ with finitely many $\mathscr{P}$-points, so far as the graph properties are concerned, the induced subgraph $G(C_\mathscr{P}(X))$ is a good substitute for $AG(C_\mathscr{P}(X)$.

math.GM↗
arXiv2021

A few remarks on non-Baire sets in category bases

In this paper, we first establish some equivalent formulations of non-Baire sets in category bases. We then introduce the notion of an uniform non-Baire family of sets and show that there is an uniform non-Baire family inducing a decomposition of the whole space. This phenomenon is then interpreted in the context of the famous Banah-Mazur game.

math.FA↗
arXiv2021

Zero-divisor graph of the rings $C_\mathscr{P}(X)$ and $C^\mathscr{P}_\infty(X)$

In this article we introduce the zero-divisor graphs $\Gamma_\mathscr{P}(X)$ and $\Gamma^\mathscr{P}_\infty(X)$ of the two rings $C_\mathscr{P}(X)$ and $C^\mathscr{P}_\infty(X)$; here $\mathscr{P}$ is an ideal of closed sets in $X$ and $C_\mathscr{P}(X)$ is the aggregate of those functions in $C(X)$, whose support lie on $\mathscr{P}$. $C^\mathscr{P}_\infty(X)$ is the $\mathscr{P}$ analogue of the ring $C_\infty (X)$. We find out conditions on the topology on $X$, under-which $\Gamma_\mathscr{P}(X)$ (respectively, $\Gamma^\mathscr{P}_\infty(X)$) becomes triangulated/ hypertriangulated. We realize that $\Gamma_\mathscr{P}(X)$ (respectively, $\Gamma^\mathscr{P}_\infty(X)$) is a complemented graph if and only if the space of minimal prime ideals in $C_\mathscr{P}(X)$ (respectively $\Gamma^\mathscr{P}_\infty(X)$) is compact. This places a special case of this result with the choice $\mathscr{P}\equiv$ the ideals of closed sets in $X$, obtained by Azarpanah and Motamedi in \cite{Azarpanah} on a wider setting. We also give an example of a non-locally finite graph having finite chromatic number. Finally it is established with some special choices of the ideals $\mathscr{P}$ and $\mathscr{Q}$ on $X$ and $Y$ respectively that the rings $C_\mathscr{P}(X)$ and $C_\mathscr{Q}(Y)$ are isomorphic if and only if $\Gamma_\mathscr{P}(X)$ and $\Gamma_\mathscr{Q}(Y)$ are isomorphic.

math.AC↗
arXiv2021

On non-Baire sets in category bases

In this paper, we prove a result on non-Baire sets in category bases which when applied together with a result of Grzegorek yeilds a comparatively stronger version of a decomposition theorem due to Ulam.

math.FA↗
arXiv2020

Ordered field valued continuous functions with countable range

For a Hausdorff zero-dimensional topological space $X$ and a totally ordered field $F$ with interval topology, let $C_c(X,F)$ be the ring of all $F-$valued continuous functions on $X$ with countable range. It is proved that if $F$ is either an uncountable field or countable subfield of $\mathbb{R}$, then the structure space of $C_c(X,F)$ is $\beta_0X$, the Banaschewski Compactification of $X$. The ideals $\{O^{p,F}_c:p\in \beta_0X\}$ in $C_c(X,F)$ are introduced as modified countable analogue of the ideals $\{O^p:p\in\beta X\}$ in $C(X)$. It is realized that $C_c(X,F)\cap C_K(X,F)=\bigcap_{p\in\beta_0X\texttt{\textbackslash}X} O^{p,F}_c$, this may be called a countable analogue of the well-known formula $C_K(X)=\bigcap_{p\in\beta X\texttt{\textbackslash}X}O^p$ in $C(X)$. Furthermore, it is shown that the hypothesis $C_c(X,F)$ is a Von-Neumann regular ring is equivalent to amongst others the condition that $X$ is a $P-$space.

math.GN↗
arXiv2020

Intrinsic characterizations of $C$-realcompact spaces

$c$-realcompact spaces are introduced by Karamzadeh and Keshtkar in Quaest. Math. 41(8), 2018, 1135-1167. We offer a characterization of these spaces $X$ via $c$-stable family of closed sets in $X$ by showing that $X$ is $c$-realcompact if and only if each $c$-stable family of closed sets in $X$ with finite intersection property has nonempty intersection. This last condition which makes sense for an arbitrary topological space can be taken as an alternative definition of a $c$-realcompact space. We show that each topological space can be extended as a dense subspace to a $c$-realcompact space with some desired extension property. An allied class of spaces viz $CP$-compact spaces akin to that of $c$-realcompact spaces are introduced. The paper ends after examining how far a known class of $c$-realcompact spaces could be realized as $CP$-compact for appropriately chosen ideal $P$ of closed sets in $X$.

math.GN↗