Linearization of functions
type: Item
instance of: scholarly article
title: Linearization of functions
zbMATH Open document ID: 1058.46011
author: Daniel Carando
author: Ignacio Zalduendo
published in: Mathematische Annalen
publication date: 2004-07-01T00:00:00Z
full work available at URL: http://hdl.handle.net/10908/479
review text: Given a vector space of continuous scalar-valued functions, \({\mathcal F}(U)\), on a set \(U\), the authors give an abstract construction that allows each function in \({\mathcal F}(U)\) to be linearised. Specifically, they show that there is a complete locally convex space \({\mathcal F}_*(U)\) and a map \(e\colon {\mathcal F}_*(U)\to {\mathbb C}\) such that for each \(f\) in \({\mathcal F}(U)\) there is \(L_f\) in \({\mathcal F}_*(U)\) with \(f=L_f\circ e\). Furthermore, if \(Y\) is any other space with this property, then there is a continuous injection of \({\mathcal F}_*(U)\) onto a dense subspace of \(Y\). When \(Y\) is a Fréchet space, this mapping is an isomorphism. The pair \(({\mathcal F}_*(U),e)\) also allows linearisation of certain spaces of vector-valued functions. Given a locally convex space \(F\), the authors use \(\omega {\mathcal F}(U,F)\) to denote the space of all continuous functions \(g\colon U\to F\) such that \(\gamma\circ g\) belongs to \({\mathcal F}(U)\) for all \(\gamma\) in \(F'\). They proceed to prove that each function in \(\omega{\mathcal F}(U,F)\) factors linearly through \(e\) and thus \(\omega{\mathcal F}(U,F)\) can be algebraically identified with the space of continuous linear operators from \({\mathcal F}_*(U)\) into \(F\). The linearisation process is examined in the cases of the spaces of all continuous \(n\)-homogeneous polynomials, all \(n\)-homogeneous integral polynomials, all holomorphic functions, all bounded holomorphic functions, all holomorphic functions of bounded type and all integral holomorphic functions. In each of these individual cases, it is shown that this abstract linearisation process yields a predual which had previously been constructed in the literature. The example of \(\ell_1\) shows that the existence of the linearising pair \(({\mathcal F}_*(U),e)\) is strictly stronger than the existence of a predual.
reviewed by: Christopher Boyd
Mathematics Subject Classification ID: 46E10
Mathematics Subject Classification ID: 46G20
zbMATH DE Number: 2078035
zbMATH Keywords: linearisation
zbMATH Keywords: predual
zbMATH Keywords: holomorphic functions
MaRDI profile type: Publication
OpenAlex ID: W2028807956
DOI: 10.1007/S00208-003-0502-1
Recommended article: Q3029623
Recommended article: Linearization of polynomials
Recommended article: Q5849124
Recommended article: Q4954648
Recommended article: Linear functional equations on the line
Recommended article: Q5459523
Recommended article: Linearly approximatable functions
Recommended article: Q3139791
Recommended article: Q5483558
description: scientific article; zbMATH DE number 2078035