Absolute Continuity of Function on Topological Space using Measure

Dhruba Prakash Biswas; Sandip Jana

Home/Archive/arXiv

arXiv · 2209.02769

Absolute Continuity of Function on Topological Space using Measure

Dhruba Prakash Biswas·Sandip Jana

View original source ↗Read source document ↗Export metadata ↓

Abstract

The prime objective of this paper is to develop the notion of absolute continuity of functions on a more general setting outside $\R$. For this we have considered a topological space which is a measure space as well. We have built axioms for making the $σ$- algebra and measure compatible with the topology of the space. These spaces are termed as \textit{topological measure space} (in short \textit{tms}). $\R^n$ with usual topology, Lebesgue $σ$-algebra and Lebesgue measure is a relevant example of tms. Further, we have presented a new tms structure on second countable metric spaces with the development of a new measure. This construction is motivated by \textbf{Carathéodory}'s Theorem. In this new tms framework, we have accomplished exploring ample collection of absolutely continuous functions not only on $\R^n(n\geq 2)$ but also on any seperable normed linear space. Also, we have described several analytical aspects carrying the intrinsic sense of absolute continuity on tms framing. Besides, the collection of all absolutely continuous functions on tms forms a vector space over $\K$, the field of real or complex numbers and with additional boundedness property, they form ring and algebra over $\K$. Thereafter, we have introduced the concept of \textit{locally Lipschitcz function} on tms involving the measurement of open connected sets. A relation between absolute continuity and locally Lipschitz has been developed. We have proved that absolute continuity and boundedness of linear functionals are same on separable normed linear spaces with the association of that new measure. Further, we have extended the co-domain of absolutely continuous functions upto normed linear spaces which helps us to characterise absolute continuity of linear maps in terms of boundedness when the domain is a seperable normed linear space incorporated with that new measure.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Dhruba Prakash Biswas, Sandip Jana. 2022-09-14. Absolute Continuity of Function on Topological Space using Measure. https://arxiv.org/abs/2209.02769

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Fixed Point Rigidity of the Operator $Γ_pΠ_p^\ast$ and the LYZ Conjecture

We characterize the fixed points of the operator $Γ_pΠ_p^\ast$ for $n\geq 3$ and $1 0$ if and only if $K$ is an origin-centered ellipsoid, thereby settling the Lutwak--Yang--Zhang fixed-point conjecture in this range. Our proof is based on a variational analysis along linear reflection shadow systems. To address the nonlinear structure of the $L_p$ setting, we introduce the $L_p$-Projection Rolodex, which provides a dimensional reduction of the volume of the polar $L_p$-projection body to weighted lower-dimensional sectional functionals. A suitable change of variables, together with Ball's harmonic Prékopa--Leindler inequality, yields the convexity needed along the shadow system. Under the fixed-point condition, a first-variation identity then forces $\operatorname{vol}_n(Π_p^\ast K_t)$ to remain constant throughout the deformation. The rigidity statement follows from the equality characterization under Steiner symmetrization.

math.FA↗

arXiv2026

Compactness of Toeplitz Operators on the Bergman Space

Let $φ\in L^\infty(\D)$. We study compactness criteria for $T_φ$ on the Bergman space $A^2(\D)$. Axler and Zheng~\cite{AZ1998} established a necessary and sufficient condition for compactness in terms of the Berezin transform. For a general bounded measurable function $φ$, however, its Berezin transform $\tildeφ$ does not readily reveal the intrinsic properties of $φ$. Motivated by a characterization in terms of the symbol itself, Zhu~\cite{ZhuSlides} proposed a conjecture on compact Toeplitz operators. In this paper, we characterize compactness of $T_φ$ on the unweighted Bergman space in terms of local averages of the symbol. We prove that compactness is equivalent to the vanishing of averages over Bergman disks of any prescribed fixed radius. We also establish an equivalent criterion in terms of Carleson box averages that tend to zero uniformly in the angular variable. Finally, we construct a nonnegative bounded symbol whose Carleson box averages tend to zero at every fixed angle, although the associated Toeplitz operator is not compact.

math.FA↗

arXiv2026

Order automorphisms of partial isometries in $M_n(\mathbb C)$

We investigate and characterize order automorphisms on the set of partial isometries in the finite-dimensional matrix algebra $M_n(\mathbb{C})$. Different from the classical order automorphisms of subspace lattices, which can be implemented by standard invertible or unitary transformations, the order automorphisms considered herein admit no such conventional matrix representations. Instead, they are essentially governed by matrices such that $I-(A+A^*)$ is either positive or negative invertible. The results reveal that the structural features of order automorphisms for partial isometries are substantially more intricate than those of classical subspace automorphisms.

math.FA↗