We introduce vectorial and topological continuities for functions defined on vector metric spaces and illustrate spaces of such functions. Also, we describe some fundamental classes of vector valued functions and extension theorems.
In this paper we extend our findings in [3] and answer further questions regarding continuity and discontinuity of seminorms on infinite-dimensional vector spaces.
Let $S$ be a seminorm on an infinite-dimensional real or complex vector space $X$. Our purpose in this note is to study the continuity and discontinuity properties of $S$ with respect to certain norm-topologies on $X$.
In this paper we have introduced arithmetic ff-continuity and arithmetic fb-continuity utilizing the concept of forward and backward arithmetic convergence in quasi cone metric spaces. These concepts are used to prove some fascinating results. The notions of forward and backward arithmetic compactness in quasi cone metric spaces are also established which are further utilized to prove some related results.
In this oaper, we prove some fixed point theorems in metric vector spaces, in which the continuity is not required for the considered mappings to satisfy. We provide some concrete examples to demonstrate these theorems. We also give some counterexamples to show that every condition in the theorems is necessary for the considered mapping to have a fixed point.
It is proved that every linear biseparating map between spaces of vector-valued differentiable functions is a weighted composition map. As a consequence, such a map is always continuous.
We generalize some results of Borwein, Burke, Lewis, and Wang to mappings with values in metric (resp. ordered normed linear) spaces. We define two classes of monotone mappings between an ordered linear space and a metric space (resp. ordered linear space): $K$-monotone dominated and cone-to-cone monotone mappings. First we show some relationships between these classes. Then, we study continuity and differentiability (also in the metric and $w^*$ senses) of mappings in these classes.
We establish a general superposition principle for curves of measures solving a continuity equation on metric spaces without any smooth structure nor underlying measure, representing them as marginals of measures concentrated on the solutions of the associated ODE defined by some algebra of observables. We relate this result with decomposition of acyclic normal currents in metric spaces. As an application, a slightly extended version of a probabilistic representation for absolutely continuous curves in Kantorovich-Wasserstein spaces, originally due to S. Lisini, is provided in the metric frame…
We show that, on any given finite Borel measure space with the ambient space being a Polish metric space, every Borel real-valued function is almost a bounded, uniformly continuous function in the sense that for every $\varepsilon > 0$ there is some bounded, uniformly continuous function such that the set of points at which they would not agree has measure $< \varepsilon$. In particular, this result complements the known result of almost uniform continuity of Borel real-valued functions on a finite Radon measure space whose ambient space is a locally compact metric space. As direct application…
We prove an extension theorem (with non-tangential limits) for vector-valued Baire one functions. Moreover, at every point where the function is continuous (or bounded), the continuity (or boundedness) is preserved. More precisely: Let $H$ be a closed subset of a metric space $X$ and let $Z$ be a normed vector space. Let $f: H\to Z$ be a Baire one function. We show that there is a continuous function $g: (X\setminus H) \to Z$ such that, for every $a\in \partial H$, the non-tangential limit of $g$ at a equals $f(a)$ and, moreover, if $f$ is continuous at $a\in H$ (respectively bounded in a neig…
For an $n$-by-$n$ matrix $A$, let $f_A$ be its "field of values generating function" defined as $f_A\colon x\mapsto x^*Ax$. We consider two natural versions of the continuity, which we call strong and weak, of $f_A^{-1}$ (which is of course multi-valued) on the field of values $F(A)$. The strong continuity holds, in particular, on the interior of $F(A)$, and at such points $z \in \partial F(A)$ which are either corner points, belong to the relative interior of flat portions of $\partial F(A)$, or whose preimage under $f_A$ is contained in a one-dimensional set. Consequently, $f_A^{-1}$ is cont…
We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on R^n to their convolution is continuous. The criterion also allows an open problem by K.-H. Neeb to be solved: If E is a locally convex space, regard the tensor algebra T(E) as the locally convex direct sum of the projective tensor powers T^j(E) of E. We show that T(E) is a topological algebra if and only if every sequence of continuous seminorms on E has an u…
One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as interpretation of L. E. J. Brower's fan theorem in terms of A. A. Markov's constructive analysis.
We establish, in a rather general setting, an analogue of DiPerna-Lions theory on well-posedness of flows of ODE's associated to Sobolev vector fields. Key results are a well-posedness result for the continuity equation associated to suitably defined Sobolev vector fields, via a commutator estimate, and an abstract superposition principle in (possibly extended) metric measure spaces, via an embedding into $\mathbb{R}^\infty$. When specialized to the setting of Euclidean or infinite dimensional (e.g. Gaussian) spaces, large parts of previously known results are recovered at once. Moreover, the …
Continuity equation on metric spaces via measure-valued derivations and BV-Wasserstein curves
Institute of Mathematics TU Berlin(柏林工业大学数学研究所);Faculty of Mathematics Bielefeld University(比勒费尔德大学数学系);Department of Mathematics and Statistics University of Jyväskylä(于韦斯屈莱大学数学与统计系)
We prove that a biseparating map between spaces of vector-valued continuous functions is usually automatically continuous. However, we also discuss special cases when it is not true.
In this article we introduce the new modulus $\triangle'_{X,ϕ}(\varepsilon)$, for which we prove that in the general case is different from the classical modulus of noncompact convexity. The main result of the paper is showing the continuity of the modulus of noncompact convexity for arbitrary minimalizable (strictly minimalizable) measure of noncompactness on arbitrary metric space.
We study three types of order convergence and related concepts of order continuous maps in partially ordered sets, partially ordered abelian groups and partially ordered vector spaces, respectively. An order topology is introduced such that in the latter two settings under mild conditions order continuity is a topological property. We present a generalisation of the Ogasawara theorem on the structure of the set of order continuous operators.
We consider a Hilbert space ${\bf H}$ equipped with a set of strongly continuous bounded semigroups satisfying certain conditions. The conditions allow to define a family of moduli of continuity $Ω^{r}(s,f),\>r\in \mathbb{N}, s>0,$ of vectors in ${\bf H}$ and a family of Paley-Wiener subspaces $PW_σ$ parametrized by bandwidth $σ>0$. These subspaces are explored to introduce notion of the best approximation $\mathcal{E}(σ, f)$ of a general vector in ${\bf H}$ by Paley-Wiener vectors of a certain bandwidth $σ>0$. The main objective of the paper is to prove the so-called Jackson-type estimate $\m…
In this paper we study continuous semigroups of positive operators on general vector lattices equipped with the relative uniform topology $τ_{ru}$. We introduce the notions of strong continuity with respect to $τ_{ru}$ and relative uniform continuity for semigroups. These notions allow us to study semigroups on non-locally convex spaces such as $L^p(\mathbb{R})$ for $0<p<1$ and non-complete spaces such as $Lip(\mathbb{R})$, $UC(\mathbb{R})$, and $C_c(\mathbb{R})$. We show that the (left) translation semigroup on the real line, the heat semigroup and some Koopman semigroups are relatively unifo…
Let G be a Lie group and E be a locally convex topological G-module. If E is sequentially complete, then E and its space of smooth vectors are modules for the algebra D(G) of compactly supported smooth functions on G. However, the module multiplication need not be continuous. The pathology can be ruled out if E is (or embeds into) a projective limit of Banach G-modules. Moreover, in this case the space of analytic vectors is a module for the algebra A(G) of superdecaying analytic functions introduced by Gimperlein, Kroetz and Schlichtkrull. We prove that the space of analytic vectors is a topo…
Let $X$ and $Y$ be Banach or normed linear spaces and $F\subset X$ a closed set. We apply our recent extension theorem for vector-valued Baire one functions arXiv:1512.03717 to obtain an extension theorem for vector-valued functions $f\colon F\to Y$ with pre-assigned derivatives, with preservation of differentiability (at every point where the pre-assigned derivative is actually a derivative), preservation of continuity, preservation of (pointwise) Lipschitz property and (for finite dimensional domain $X$) preservation of strict differentiability and global (eventually local) Lipschitz continu…
The objects of the present study are one-parameter semigroups generated by Schrödinger operators with fairly general electromagnetic potentials. More precisely, we allow scalar potentials from the Kato class and impose on the vector potentials only local Kato-like conditions. The configuration space is supposed to be an arbitrary open subset of multi-dimensional Euclidean space; in case that it is a proper subset, the Schrödinger operator is rendered symmetric by imposing Dirichlet boundary conditions. We discuss the continuity of the image functions of the semigroup and show local-norm-contin…