首页/论文/math/9201254

arXiv math/92012541992-01-01math.FAmath.CAmath.DG

A convenient setting for real analytic mappings

Andreas Kriegl, Peter W. Michor

发表信息：: Acta Math. 165 (1990), 105-159

英文摘要：

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real analytic curves to real analytic curves. Under mild completeness conditions the second requirement can be replaced by: real analytic along affine lines. Enclosed and necessary is a careful study of locally convex topologies on spaces of real analytic mappings. As an application we also present the theory of manifolds of real analytic mappings: the group of real analytic diffeomorphisms of a compact real analytic manifold is a real analytic Lie group.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

The Convenient Setting for non-Quasianalytic Denjoy--Carleman Differentiable Mappings

For Denjoy--Carleman differential function classes $C^M$ where the weight sequence $M=(M_k)$ is logarithmically convex, stable under derivations, and non-quasianalytic of moderate growth, we prove the following: A mapping is $C^M$ if it maps $C^M$-curves to $C^M$-curves. The category of $C^M$-mappings is cartesian closed in the sense that $C^M(E,C^M(F,G))\cong C^M(E\x F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^M$-diffeomorphisms is a $C^M$-Lie group but not better.

2009-03-19math.CAmath.FA

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the following: The category of $C^Q$-mappings is cartesian closed in the sense that $C^Q(E,C^Q(F,G))\cong C^Q(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^Q$-diffeomorphisms is a regular $C^Q$-Lie group but not better.

2011-06-06math.CAmath.FA

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $\mathcal C$ denoting either $C^{(M)}$ or $C^{\{M\}}$, the category of $\mathcal C$-mappings is cartesian closed in the sense that $\mathcal C(E,\mathcal C(F,G))\cong \mathcal C(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $\mathcal C$-diffeomorphisms is a regular $\mathcal C$-Lie group if $…

2015-01-20math.CAmath.FA

The convenient setting for ultradifferentiable mappings of Beurling- and Roumiue-type defined by a weight matrix

We prove in a uniform way that all ultradifferentiable function classes of Roumieu- and of Beurling-type defined in terms of a weight matrix admit a convenient setting if the matrix satisfies some mild regularity conditions. We prove that these categories are cartesian closed and as special cases one obtains the classes defined by a weight sequence and by a weight function.

2015-09-22math.FA

Ultrametric and non-locally convex analogues of the general curve lemma of convenient differential calculus

The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two ways: First, we remove the condition of local convexity in the real case. Second, we adapt the lemma to the case of curves in topological vector spaces over ultrametric fields.

2007-04-11math.FA

Aspects of the theory of infinite dimensional manifolds

The convenient setting for smooth mappings, holomorphic mappings, and real analytic mappings in infinite dimension is sketched. Infinite dimensional manifolds are discussed with special emphasis on smooth partitions of unity and tangent vectors as derivations. Manifolds of mappings and diffeomorphisms are treated. Finally the differential structure on the inductive limits of the groups $GL(n)$, $SO(n)$ and some of their homogeneus spaces is treated.

1992-02-01math.DGmath.FA

更多相关论文收起更多论文

A convenient notion of compact set for generalized functions

We introduce the notion of functionally compact sets into the theory of nonlinear generalized functions in the sense of Colombeau. The motivation behind our construction is to transfer, as far as possible, properties enjoyed by standard smooth functions on compact sets into the framework of generalized functions. Based on this concept, we introduce spaces of compactly supported generalized smooth functions that are close analogues to the test function spaces of distribution theory. We then develop the topological and functional analytic foundations of these spaces.

2016-02-27math.FA

The functional analytic foundation of Colombeau algebras

Colombeau algebras constitute a convenient framework for performing nonlinear operations like multiplication on Schwartz distributions. Many variants and modifications of these algebras exist for various applications. We present a functional analytic approach placing these algebras in a unifying hierarchy, which clarifies their structural properties as well as their relation to each other.

2013-07-01math.FA

A note on analytical representability of mappings inverse to integral operators

The condition onto pair ($F,G$) of function Banach spaces under which there exists a integral operator $T:F\to G$ with analytic kernel such that the inverse mapping $T^{-1}:$im$T\to F$ does not belong to arbitrary a priori given Borel (or Baire) class is found.

1993-03-29math.FA

Algebraic and analytic properties of semigroups related to fixed point properties of non-expansive mappings

The purpose of this paper is to give an updated survey on various algebraic and analytic properties of semigroups related to fixed point properties of semigroup actions on a non-empty closed convex subset of a Banach space or, more generally, a locally convex topological vector space.

2020-01-22math.FA

Generalized Volterra operators mapping between Banach spaces of analytic functions

We characterize boundedness and compactness of the classical Volterra operator $T_g \colon H_{v_α}^{\infty} \to H^{\infty}$ induced by a univalent function $g$ for standard weights $v_α$ with $0 \leq α< 1$, partly answering an open problem posed by A. Anderson, M. Jovovic and W. Smith. We also study boundedness, compactness and weak compactness of the generalized Volterra operator $T_g^φ$ mapping between Banach spaces of analytic functions on the unit disc satisfying certain general conditions.

2018-03-08math.FA

Analytic Mappings Between LB-spaces and Applications in Infinite-Dimensional Lie Theory

We give a sufficient criterion for complex analyticity of nonlinear maps defined on direct limits of normed spaces. This tool is then used to construct new classes of (real and complex) infinite dimensional Lie groups: (a) groups of germs of analytic diffeomorphisms around a compact set in a Banach space and (b) unions of ascending sequences of Banach Lie groups.

2008-07-28math.FAmath.GR

Integral operators mapping into the space of bounded analytic functions

We address the problem of studying the boundedness, compactness and weak compactness of the integral operators $T_g(f)(z)=\int_0^z f(ζ)g'(ζ)\,dζ$ acting from a Banach space $X$ into $H^\infty$. We obtain a collection of general results which are appropriately applied and mixed with specific techniques in order to solve the posed questions to particular choices of $X$.

2016-04-05math.CVmath.FA

Geometrical and analytical characteristic properties of piecewise affine mappings

Let X and Y be finite dimensional normed spaces, F(X,Y) a collection of all mappings from X into Y. A mapping $P\in F(X,Y)$ is said to be piecewise affine if there exists a finite family of convex polyhedral subsets covering X and such that the restriction of $P$ on each subset of this family is an affine mapping. In the paper we prove a number of characterizations of piecewise affine mappings. In particular we show that a mapping $P: X \to Y$ is piecewise affine if and only if for any partial order $\preceq$ defined on Y by a polyhedral convex cone both the $\preceq$-epigraph and the $\preceq…

2011-11-06math.FA

Instructive examples of smooth, complex differentiable and complex analytic mappings into locally convex spaces

For each positive integer k, we describe a map f from the complex plane to a suitable non-complete complex locally convex space such that f is k times continuously complex differentiable but not k+1 times, and hence not complex analytic. We also describe a complex analytic map from l^1 to a suitable complete complex locally convex space which is unbounded on each non-empty open subset of l^1. Furthermore, we present a smooth map from the real line to a non-complete locally convex space which is not real analytic although it is given locally by its Taylor series around each point. As a byproduc…

2007-04-28math.CVmath.FA

On kernel theorems for Frechet and DF spaces

A convenient technique for calculating completed topological tensor products of functional Frechet or DF spaces is developed. The general construction is applied to proving kernel theorems for a wide class of spaces of smooth and entire analytic functions.

2005-01-12math.FA