Regularity in Topological Modules

Francisco Javier Garcia-Pacheco
Additional contact information
Francisco Javier Garcia-Pacheco: Department of Mathematics, College of Engineering, University of Cadiz, 11519 Puerto Real, Spain

Mathematics, 2020, vol. 8, issue 9, 1-17

Abstract: The framework of Functional Analysis is the theory of topological vector spaces over the real or complex field. The natural generalization of these objects are the topological modules over topological rings. Weakening the classical Functional Analysis results towards the scope of topological modules is a relatively new trend that has enriched the literature of Functional Analysis with deeper classical results as well as with pathological phenomena. Following this trend, it has been recently proved that every real or complex Hausdorff locally convex topological vector space with dimension greater than or equal to 2 has a balanced and absorbing subset with empty interior. Here we propose an extension of this result to topological modules over topological rings. A sufficient condition is provided to accomplish this extension. This sufficient condition is a new property in topological module theory called strong open property . On the other hand, topological regularity of closed balls and open balls in real or complex normed spaces is a trivial fact. Sufficient conditions, related to the strong open property, are provided on seminormed modules over an absolutely semivalued ring for closed balls to be regular closed and open balls to be regular open. These sufficient conditions are in fact characterizations when the seminormed module is the absolutely semivalued ring. These characterizations allow the provision of more examples of closed-unit neighborhoods of zero. Consequently, the closed-unit ball of any unital real Banach algebra is proved to be a closed-unit zero-neighborhood. We finally transport all these results to topological modules over topological rings to obtain nontrivial regular closed and regular open neighborhoods of zero. In particular, if M is a topological R -module and m ∗ ∈ M ∗ is a continuous linear functional on M which is open as a map between topological spaces, then m ∗ − 1 ( int ( B ) ) is regular open and m ∗ − 1 ( B ) is regular closed, for B any closed-unit zero-neighborhood in R .

Keywords: topological module; topological ring; normed module; absolutely valued ring; regular closed set; regular open set; closed-unit neighborhood of zero (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2020
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/8/9/1580/pdf (application/pdf)
https://www.mdpi.com/2227-7390/8/9/1580/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:8:y:2020:i:9:p:1580-:d:412952

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().