A generalization of m-topology and U-topology on rings of measurable functions

Soumyadip Acharyya

https://orcid.org/0000-0002-3513-5605

United States

University of South Carolina Sumter image/svg+xml

Rakesh Bharati

https://orcid.org/0000-0001-7375-1313

India

University of Calcutta image/svg+xml

Research Scholar

Department of Pure Mathematics

A. Deb Ray

India

University of Calcutta image/svg+xml

Sudip Kumar Acharyya

India

University of Calcutta image/svg+xml

|

Accepted:

|

Published: 2025-04-01

DOI: https://doi.org/10.4995/agt.2025.21716
Funding Data

Downloads

Keywords:

component, quasicomponent, atomic and non-atomic measure, non-separable pseudonormed linear space, mμI-topology, UμI-topology, essentially I-bounded measurable functions, μ-stable family

Supporting agencies:

University of South Carolina Sumter 2021 Summer Research Stipend Program

University Grants Commission, New Delhi

Abstract:

In this paper, we generalize  mμ and Uμ topologies on M ( X , A ) via an ideal I in the ring M ( X , A ) of all real-valued measurable functions. The collection LI ( μ ) of all essentially I-bounded functions over the measure space (X,A,μ)$ and the ideal Iμ (X,A) ={ f ∈ M (X,A) : for every g ∈ M(X,A), fg is essentially I-bounded } are the components of 0 in the space mμI and UμI respectively. Additionally, we obtain a chain of necessary and sufficient conditions as to when these two topologies coincide. In particular, it is proved that they coincide if and only if the three sets M(X,A), LI ( μ ) , and Iμ (X,A) coincide and this holds when and only when M(X,A), with either topology, is connected, which is further equivalent to each of these two topological spaces being a topological ring as well as a topological vector space. Furthermore, LI ( μ ) is a complete pseudonormed linear space regardless of the choice of I. Finally, we examine when these later spaces are separable.

Show more Show less

References:

F. Azarpanah, F. Manshour, and R. Mohamadian, Connectedness and compactness in C(X) with the m-topology and generalized m-topology, Topol. Appl. 159 (2012), 3486-3493. https://doi.org/10.1016/j.topol.2012.08.010

S. Acharyya, S. K. Acharyya, R. Bharati and A. Deb Ray, Some algebraic and topological properties of rings of measurable functions, Houst. J. Math. 47, no. 3 (2021), 633-657.

S. Acharyya, S. K. Acharyya, S. Bag, and J. Sack, Recent progress in rings and subrings of measurable functions, Quest. Math. 43, no. 7 (2020), 959-973. https://doi.org/10.2989/16073606.2019.1585395

S. K. Acharyya, S. Bag, and J. Sack, Ideals in rings and intermediate rings of measurable functions, J. Algebra Appl. 19, no. 2 (2020), 2005038. https://doi.org/10.1142/S0219498820500383

H. Azadi, M. Henriksen, and E. Momtahan, Some properties of algebra of real-valued measurable functions, Acta. Math. Hungar. 124, no. 1-2 (2009), 15-23. https://doi.org/10.1007/s10474-009-8138-6

A. Bruckner, J. Bruckner, and B. Thomson, Real Analysis, Prentice-Hall International, Inc, 1997.

L. Gillman and M. Jerison, Rings of Continuous Functions, Van Nostrand Reinhold Co., New York, 1960. https://doi.org/10.1007/978-1-4615-7819-2

Ch. Swartz, Measure, Integration and Function spaces, World Scientific, 1994. https://doi.org/10.1142/2223

H. Yousefpour, A. A. Estaji, A. Mahmoudi Darghadam, and G. Sadeghi, m-topology on the ring of real-measurable functions, J. Algebr. Syst. 9, no. 1 (2021), 83-106.

Show more Show less