The Kakutani's precompactness lemma
type: Item
instance of: scholarly article
title: The Kakutani's precompactness lemma
zbMATH Open document ID: 1068.46003
author: Jorge Mujica
published in: Journal of Mathematical Analysis and Applications
publication date: 2004-10-12T00:00:00Z
review text: Let \(X\) be a topological space and \(Z\) a pseudometric space. A mapping \(f: X \rightarrow Z\) is said to be K-continuous if for each \(\varepsilon > 0\) one can write \(X = U_1 \cup... \cup U_m\), \(m \in \mathbb{N}\), where each \(U_j\) is open in \(X\) and \(d_Z(f(x),f(y)) < \varepsilon\) for \(x\), \(y \in U_j\), \(j=1,\dots,m\). The notion of K-equicontinuity is defined in a similar way. A map \(f\) is K-continuous if and only if it is continuous and \(f(X)\) is precompact in \(Z\). The author shows the following extension of a precompactness lemma due to \textit{S.\ Kakutani} [J.\ Math.\ Soc.\ Japan 3, 228--231 (1951; Zbl 0043.32901)]: Let \(X\) and \(Y\) be topological spaces, \(Z\) a pseudometric space and \(f: X \times Y \rightarrow Z\) be a mapping such that \(f(X \times \{y\})\) is precompact for each \(y \in Y\) and \(f(\{x\} \times Y)\) is precompact for each \(x \in X\). Then, if all partial maps \(f_y: X \rightarrow Z\), \(f_y(x)=f(x,y)\) for \(y \in Y\), and \(f_x: Y \rightarrow Z\), \(f_x(y)=f(x,y)\) for \(x \in X\), are continuous, \(f: X \times Y \rightarrow Z\) is K-continuous. As a corollary, it follows that every separately continuous mapping \(f: X \times Y \rightarrow Z\) from a product \(X \times Y\) of two topological spaces which is a \(k\)-space into a pseudometric space \(Z\) is continuous. The result is then applied to prove an Arzelà-Ascoli theorem for continuous maps with precompact range, to derive a slight improvement of a precompactness theorem of \textit{A. Defant} and \textit{K. Floret} [Functional Analysis, Holomorphy and Approximation Theory, North-Holland Math. Stud. 86, 39--55 (1984; Zbl 0545.46007)] for families of linear operators, and a precompactness theorem for composition operators on the space of all continuous \(m\)-homogeneous polynomials or on the space of all entire mappings between complex locally convex spaces. In the last case, a variant of a result of \textit{R. M. Aron} and \textit{M. Schottenloher} [J. Fun…
reviewed by: Klaus Dieter Bierstedt
Mathematics Subject Classification ID: 46A50
Mathematics Subject Classification ID: 46A32
Mathematics Subject Classification ID: 46E50
Mathematics Subject Classification ID: 46G20
Mathematics Subject Classification ID: 47B33
Mathematics Subject Classification ID: 54C05
Mathematics Subject Classification ID: 54D30
Mathematics Subject Classification ID: 54D50
Mathematics Subject Classification ID: 54E25
zbMATH DE Number: 2107200
zbMATH Keywords: precompactness lemma
zbMATH Keywords: K-continuous
zbMATH Keywords: separately continuous
zbMATH Keywords: mappings with precompact range
zbMATH Keywords: Arzelà-Ascoli Theorem
MaRDI profile type: Publication
full work available at URL: j.jmaa.2004.03.070
OpenAlex ID: W2063265350
Wikidata QID: Q124851863
cites work: Compact holomorphic mappings on Banach spaces and the approximation property
cites work: On Compactness in Functional Analysis
cites work: Q3334434
cites work: Q4257163
cites work: Q3733469
cites work: Precompact and collectively semi-precompact sets of semi-precompact continuous linear operators
cites work: Sur Les Applications Lineaires Faiblement Compactes D'Espaces Du Type C(K)
cites work: Q5833442
cites work: Q5518756
cites work: A proof of Schauder's theorem
cites work: Totally Bounded Sets of Precompact Linear Operators
cites work: Compactness and collective compactness in spaces of compact operators
DOI: 10.1016/J.JMAA.2004.03.070
Recommended article: Q4600949
Recommended article: Q4406632
Recommended article: Q3488135
Recommended article: Q5315969
Recommended article: Extension of continuous functions and metrizability of paracompact \(p\)- spaces
Recommended article: Continuous utility functions on submetrizable hemicompact k-spaces
Recommended article: An improvement of the Arzela-Ascoli theorem
Recommended article: Q3014794
Recommended article: Q4674905
Recommended article: Q4834599
description: scientific article; zbMATH DE number 2107200