Related papers: Computable Jordan Decomposition of Linear Continuo…
The Jordan decomposition theorem states that every function $f \colon [0,1] \to \mathbb{R}$ of bounded variation can be written as the difference of two non-decreasing functions. Combining this fact with a result of Lebesgue, every function…
We generalise the Riesz representation theorems for positive linear functionals on $\mathrm{C}_{\mathrm c}(X)$ and $\mathrm{C}_{\mathrm 0}(X)$, where $X$ is a locally compact Hausdorff space, to positive linear operators from these spaces…
We give a Hahn-Jordan decomposition in Riesz spaces which generalizes that of [{{\sc B. A. Watson}, {An And\^o-Douglas type theorem in Riesz spaces with a conditional expectation,} {\em Positivity,} {\bf 13} (2009), 543 - 558}] and a…
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…
We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures…
We introduce and study spaces of multivariate functions of bounded variation generalizing the classical Jordan and Wiener spaces. Multivariate generalizations of the Jordan space were given by several prominent researchers but each of them…
The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.
The classic Riesz representation theorem characterizes all linear and increasing functionals on the space $C_{c}(X)$ of continuous compactly supported functions. A geometric version of this result, which characterizes all linear increasing…
We prove that if $\mathcal{A}$ is a complex, unital semisimple Banach algebra and $\mathcal{B}$ is a complex, unital Banach algebra having a separating family of finite-dimensional irreducible representations, then any unital linear…
The decomposition of tensor products of representations into irreducibles is studied for a continuous family of integrable operator representations of $U_q(sl(2,R)$. It is described by an explicit integral transformation involving a…
Let $[a,b]\subset\mathbb{R}$ be a non empty and non singleton closed interval and $P=\{a=x_0<\cdots<x_n=b\}$ is a partition of it. Then $f:I\to\mathbb{R}$ is said to be a function of $r$-bounded variation, if the expression…
We give a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces in terms of direct integrals. Precisely, we study the uniqueness of strongly irreducible…
This paper compares different representations (in the sense of computable analysis) of a number of function spaces that are of interest in analysis. In particular subspace representations inherited from a larger function space are compared…
A direct proof of the Riesz representation theorem is provided. This theorem characterizes the linear functionals acting on the vector space $C(K)$ of continuous functions defined on a compact subset $K$ of the real numbers $\mathbb{R}$.…
We develop a systematic algorithmic framework that unites global and local classification problems using index sets. We prove that the classification problem for continuous (binary) regular functions among almost everywhere linear,…
Fix $d\geq 2$, and $s\in (d-1,d)$. We characterize the non-negative locally finite non-atomic Borel measures $\mu$ in $\mathbb{R}^d$ for which the associated $s$-Riesz transform is bounded in $L^2(\mu)$ in terms of the Wolff energy. This…
We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the…
For a non-empty locally compact Hausdorff space $X$ and a Dedekind complete normal vector lattice $E$, we show that the vector lattice of norm to order bounded operators from ${\text C}_{\text c}(X)$ or ${\text C}_0(X)$ into $E$ is…
In this work, we prove that linear bounded operators $T$ on a Banach space $X$ allowing spectral cuts along rectifiable Jordan curves meeting their spectrum are related to classes of operators admitting an unconventional functional…
Let U be a $\phi $-Johnson amenable Banach algebra in which $\phi$ is a non-zero multiplicative linear functional on U. Suppose that X is a Banach U-bimodule such that $a.x=\phi(a)x$ for all a in U and x in X or $x.a=\phi(a)x$ for all a in…