Ultracomplete convergence vector spaces and the closed graph theorem (Q5929000): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q3227858 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3702122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3797850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3976344 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4097877 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5597196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4121153 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4175990 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Produits tensoriels topologiques et espaces nucléaires / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness and the open mapping theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Double closed-graph theorem for topological linear spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Closed Graph Theorem and Spaces with Webs<sup>†</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On continuity of inverse operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3748741 / rank | |||
Normal rank |
Latest revision as of 16:20, 3 June 2024
scientific article; zbMATH DE number 1587934
Language | Label | Description | Also known as |
---|---|---|---|
English | Ultracomplete convergence vector spaces and the closed graph theorem |
scientific article; zbMATH DE number 1587934 |
Statements
Ultracomplete convergence vector spaces and the closed graph theorem (English)
0 references
20 May 2003
0 references
Let \(X\) be a set and assume that for each \(x\) in \(X\) is associated a collection \(\lambda(x)\) of filters on \(X\) satisfying: (i) the ultrafilter \(\{A \subset X:x\in A\} \in\lambda(x)\), (ii) if \({\mathcal F}\in\lambda (x)\) and \({\mathcal G} \in \lambda(x)\) then the filter \({\mathcal F}\cap {\mathcal G}\) also belongs to \(\lambda (x)\), (iii) if \({\mathcal F}\in \lambda(x)\) and \({\mathcal G}\supset {\mathcal F}\), then \({\mathcal G}\in \lambda(x)\). The totality \(\lambda\) of filters \(\lambda(x)\) for \(x\) in \(X\) is called a convergence structure for \(X\), the pair \((X,\lambda)\) a convergence space. A convergence space \(X\) is strongly first countable if for each \(x\in X\) there is a countable set \(B\) which is a local basis for \(X\) at \(x\), i.e., for each \({\mathcal F}\in \lambda(x)\) there is a coarser \({\mathcal G}\in \lambda (x)\) with a basis from \(B\). If \(X\) is a vector space over the real or complex numbers, the pair \((X,\lambda)\) is a convergence vector space if \(\lambda\) is compatible with the algebraic operations on \(x\). A convergence vector space \(X\) is called ultracomplete if it is strongly first countable and for every \({\mathcal F}\in \lambda(0)\) there is a countable subset \(\{W_n:n \in \mathbb{N}\} \subset{\mathcal F}\) such that \([\{\sum^\infty_{k=n} W_k:n\in \mathbb{N}\}]\) converges to 0 in \(X\). The authors give the following theorem: Let \(E\) be a Fréchet space, \(F\) an ultracomplete convergence vector space and \(u:E\to F\) a linear mapping with a closed graph. Then \(u\) is continuous. The authors show how the webs of De Wilde give rise to ultracomplete convergence vector spaces and how De Wilde's closed graph theorem fits in a convergence vector space setting.
0 references
convergence space
0 references
closed graph theorem
0 references
webs
0 references