A free convenient vector space for holomorphic spaces (Q1345719): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Heinz Junek / rank | |||
Property / reviewed by | |||
Property / reviewed by: Heinz Junek / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3931657 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040131 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4132979 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3918541 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Die richtigen Räume für Analysis im Unendlich-Dimensionalen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A cartesian closed category of smooth mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3702799 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite dimensional holomorphy via categorical differential calculus / rank | |||
Normal rank |
Latest revision as of 11:16, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A free convenient vector space for holomorphic spaces |
scientific article |
Statements
A free convenient vector space for holomorphic spaces (English)
0 references
24 July 1997
0 references
A holomorphic space \(X=(X,{\mathcal C}_X,{\mathcal F}_X)\) is a set \(X\) together with a set of ``curves'' \({\mathcal C}_X\subseteq X^{\mathbb{D}}\) and a set of functions \({\mathcal F}_X\subseteq \mathbb{C}^X\) which determine each other in the way that \(c\in {\mathcal C}_X\) iff \(f\circ c:\mathbb{D}\to\mathbb{C}\) is holomorphic for all \(f\in{\mathcal F}_X\), and \(f\in{\mathcal F}_X\) iff \(f\circ c:\mathbb{D}\to\mathbb{C}\) is holomorphic for each \(c\in{\mathcal C}_X\). A map \(h:X\to Y\) between two holomorphic spaces is called to be holomorphic if it maps \({\mathcal C}_X\) into \({\mathcal C}_Y\), and the set of all holomorphic maps is denoted by \({\mathcal H}(X,Y)\). Each complex locally convex space \(E\) can be considered as a holomorphic space by taking \({\mathcal F}_E=E'\) and \({\mathcal C}_E=\{\varphi: \mathbb{D}\to E\mid \varphi\) holomorphic\}. As a main result it is shown that for any holomorphic space \(X\) there is some complete locally convex space \(\lambda X\), called the free convenient vector space, and some holomorphic embedding \(\iota_X:X\to\lambda X\) such that for each complete locally convex space \(E\) there is a natural bijection \(\iota^*_X: L(\lambda X,E)\to{\mathcal H}(X,E)\). The space \(\lambda X\) is obtained as certain linear and topological closure of \(X\cong\{\delta_x: x\in X\}\subseteq{\mathcal H}(X,\mathbb{C})'\). In a second part of the paper it is shown that in the case of a Riemann surface \(X\) we get \(\lambda X={\mathcal H}(X,\mathbb{C})'\).
0 references
projective objects
0 references
uniform boundedness principle
0 references
holomorphic space
0 references
free convenient vector space
0 references
holomorphic embedding
0 references
Riemann surface
0 references