The dual attainment of the Monge–Kantorovich transport problem is analyzed in a general setting. The spaces X,Y are assumed to be polish and equipped with Borel probability measures μ and ν. The transport cost function c : X × Y →  [0,∞]  is assumed to be Borel measurable. We show that a dual optimizer always exists, provided we interpret it as a projective limit of certain finitely additive measures. Our methods are functional analytic and rely on Fenchel’s perturbation technique.

The dual attainment of the Monge–Kantorovich transport problem is analyzed in a general setting. The spaces X,Y are assumed to be polish and equipped with Borel probability measures μ and ν. The transport cost function c : X × Y →  [0,∞]  is assumed to be Borel measurable. We show that a dual optimizer always exists, provided we interpret it as a projective limit of certain finitely additive measures. Our methods are functional analytic...

For Banach-space-valued functions, the concepts of 𝒫-measurability, λ-measurability and m-measurability are defined, where 𝒫 is a δ-ring of subsets of a nonvoid set T, λ is a σ-subadditive submeasure on σ(𝒫) and m is an operator-valued measure on 𝒫. Various characterizations are given for 𝒫-measurable (resp. λ-measurable, m-measurable) vector functions on T. Using them and other auxiliary results proved here, the basic theorems of [6] are rigorously established.

In this paper, a precise projection decomposition in reflexive, smooth and strictly convex Orlicz-Bochner spaces is given by the representation of the duality mapping. As an application, a representation of the metric projection operator on a closed hyperplane is presented.

The first and last sections of this paper are intended for a general mathematical audience. In addition to some very brief remarks of a somewhat historical nature, we pose a rather simply formulated question in the realm of (discrete) geometry. This question has arisen in connection with a recently developed approach for studying various versions of the function space BMO. We describe that approach and the results that it gives. Special cases of one of our results give alternative proofs of the...

We consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

Let X be an infinite, locally connected, locally compact separable metrizable space. The space C(X) of real-valued continuous functions defined on X with the compact-open topology is a separable Fréchet space, so it is homeomorphic to the psuedo-interior s = (−1, 1)ℕ of the Hilbert cube Q = [−1, 1]ℕ. In this paper, generalizing the Sakai-Uehara’s result to the non-compact case, we construct a natural compactification $$\overline{C}$$ (X) of C(X) such that the pair ($$\overline{C}$$ (X), C(X)) is homeomorphic to (Q, s). In case...

We prove that for every closed locally convex subspace E of $L_0$ and for any continuous linear operator T from $L_0$ to $L_0/E$ there is a continuous linear operator S from $L_0$ to $L_0$ such that T = QS where Q is the quotient map from $L_0$ to $L_0/E$.

We point out the following fact: if Ω ⊂ ${ℝ}^n$ is a bounded open set, δ>0, and p>1, then $li{m}_{\to 0^{+}}in{f}_{\in V}{\int }_{\Omega }{\left|\nabla \left(x\right)\right|}^{p}dx=\infty$, where $V_{=}\in W_0^{1,p}\left(\Omega \right):meas\left(x\in \Omega :\left|\right(x\left)\right|>\delta \right)>.$