Searcharxiv⌕ Search

arXiv subjects

Piotr Mikusiński

Publications and source records attributed to Piotr Mikusiński.

4 recordsLinked to original sources

Transfunctions and their connections to Plans, Markov Operators and Optimal Transport

A transfunction is a function which maps between sets of finite measures on measurable spaces. In this paper we characterize transfunctions that correspond to Markov operators and to plans; such a transfunction will contain the "instructions" common to several Markov operators and plans. We also define the adjoint of transfunctions in two settings and provide conditions for existence of adjoints. Finally, we develop approximations of identity in each setting and use them to approximate weakly-continuous transfunctions with simple transfunctions; one of these results can be applied to some optimal transport problems to approximate the optimal cost with simple Markov transfunctions.

math.FA↗

Localized Transfunctions

A transfunction is a function which maps between sets of finite measures on measurable spaces. Push-forward operators form one important class of examples of transfunctions and are identified with their respective measurable functions. In this regard, transfunctions are a generalization of measurable functions between measurable spaces. Additionally, there are naturally arising transfunctions with nice properties which are not measurable functions. Transfunctions which are weakly $σ$-additive (commutable with addition over countable sequences of orthogonal measures) between second-countable metric spaces are of particular interest and are primarily developed in this paper. We study such transfunctions which are localized: sending source measures carried by small open sets to target measures also carried by small open sets. With the right settings and assumptions, we develop some theorems which characterize continuous functions and measurable functions, and show that the behavior of localized transfunctions can be approximated by measurable functions and by continuous functions, but only up to some error. We also characterize transfunctions that correspond to Markov operators. In our investigation of transfunctions we are motivated by several potential applications, including Monge-Kantorovich transportation problem or population dynamics that will be presented in some detail in this paper.

math.FA↗

Transfunctions

Maps between spaces of measures on measurable spaces $(X,Σ_X)$ and $(Y, Σ_Y)$ are treated as generalized functions between $X$ and $Y$.

math.FA↗

On De Graaf spaces of pseudoquotients

A space of pseudoquotients $\mathcal{B}(X,S)$ is defined as equivalence classes of pairs $(x,f)$, where $x$ is an element of a non-empty set $X$, $f$ is an element of $S$, a commutative semigroup of injective maps from $X$ to $X$, and $(x,f) \sim (y,g)$ if $gx=fy$. In this note we consider a generalization of this construction where the assumption of commutativity of $S$ by Ore type conditions. As in the commutative case, $X$ can be identified with a subset of $\mathcal{B}(X,S)$ and $S$ can be extended to a group $G$ of bijections on $\mathcal{B}(X,S)$. We introduce a natural topology on $\mathcal{B}(X,S)$ and show that all elements of $G$ are homeomorphisms on $\mathcal{B}(X,S)$.

math.RA↗