Related papers: Isometries of generalized $log$-spaces

Let $X$ be a Banach space, $\Sigma$ be a $\sigma$-algebra, and $m:\Sigma\to X$ be a (countably additive) vector measure. It is a well known consequence of the Davis-Figiel-Johnson-Pelcz\'{y}nski factorization procedure that there exist a…

Let F(R^n) be the algebra of Fourier transforms of functions from L_1(R^n), K(R^n) be the algebra of Fourier transforms of bounded complex Borel measures in R^n and W be Wiener algebra of continuous 2pi-periodic functions with absolutely…

This paper studies the loop algebras that arise from pairs consisting of a symmetrizable Kac-Moody Lie algebra $\g$ and a finite order automorphism $\sigma$ of $\g$. We obtain necessary and sufficient conditions for two such loop algebras…

In this article we introduce and investigate a new class of rearrangement invariant (r.i.) Banach function spaces, so-called Composed Grand Lebesgue Spaces (CGLS), in particular, Integral Grand Lebesgue Spaces (IGLS), which are some…

Integrability of generalized Lie equations of a local analytic Moufang loop is inquired.

In this paper, the authors consider leaf spaces of singular Riemannian foliations $\mathcal{F}$ on compact manifolds $M$ and the associated $\mathcal{F}$-basic spectrum on $M$, $spec_B(M, \mathcal{F}),$ counted with multiplicities.…

Starting from a description of various generalized function algebras based on sequence spaces, we develop the general framework for considering linear problems with singular coefficients or non linear problems. Therefore, we prove…

We study the concept of a code (or shift) space for a generalized iterated function system (GIFS in short). We prove that relations between GIFSs and their code spaces are analogous to the case of classical IFSs. As an application, we…

We consider injectivity and surjectivity of some maps on the exterior algebra of isomorphic finite-dimensional vector spaces. We prove the properties of the maps in full generality, for any dimension of the vector space and any subspace. We…

We prove that for any given integer $c>0$ any metric space on $n$ points may be isometrically embedded into $l_{\infty}^{n-c}$ provided $n$ is large enough.

We prove that a projective semistable morphism of fs log analytic spaces yields polarized log Hodge structures in the canonical way.

We show that spaces of Colombeau generalized functions with smooth parameter dependence are isomorphic to those with continuous parametrization. Based on this result we initiate a systematic study of algebraic properties of the ring…

We use spectral invariants in Lagrangian Floer theory in order to show that there exist \emph{isometric} embeddings of normed linear spaces (finite or infinite dimensional, depending on the case) into the space of Hamiltonian deformations…

The aim of this paper is to to show the admissibility of some class of Frechet spaces (see Definition 2.3). In particular, this generalizes the main results of [3]. As an application, we show the admissibility of a large class modular…

This paper is devoted to the construction of norm-preserving maps between bounded cohomology groups. For a graph of groups with amenable edge groups we construct an isometric embedding of the direct sum of the bounded cohomology of the…

Let $E$ be one of the spaces $C(K)$ and $L_1$, $F$ be an arbitrary Banach space, $p>1,$ and $(X,\sigma)$ be a space with a finite measure. We prove that $E$ is isometric to a subspace of the Lebesgue-Bochner space $L_p(X;F)$ only if $E$ is…

In this paper we develop a rigorous foundation for the study of integration and measures on the space $\mathscr{G}(V)$ of all graphs defined on a countable labelled vertex set $V$. We first study several interrelated $\sigma$-algebras and a…

A measurable map between measure spaces is shown to have bounded compression if and only if its image via the measure-algebra functor is Lipschitz-continuous w.r.t. the measure-algebra distances. This provides a natural interpretation of…

We briefly show how the use of topological spaces and $\sigma$-algebras in physics can be rederived and understood as the fundamental requirement of experimental verifiability. We will see that a set of experimentally distinguishable…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…