Note on reflexivity of some spaces of continuous integer-valued functions (Q441975): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Given topological spaces \(X\) and \(Y\), the symbol \(Y^X\) denotes the set of all continuous functions from \(X\) to \(Y\) endowed with the compact-open topology. If \(G\) is a topological group then \(G^X\) is also a topological group with the pointwise group operations. Let \(\mathbb T\) be the complex unit circle; then \(G^{\wedge}\) is the subgroup of \({\mathbb T}^G\) consisting of continuous homomorphisms, i.e., characters of \(G\). Let \(e(g)(\phi)=\phi(g)\) for any \(\phi\in G^{\wedge}\). Then \(e:G\to G^{\wedge\wedge}\) is called the evaluation map. A group \(G\) is called reflexive if its evaluation map is a topological isomorphism. It is proved in the paper that for any zero-dimensional realcompact space \(X\) and any discrete finitely generated abelian group \(A\), the group \(A^X\) is reflexive. Another result states that there exists a countable subspace \(X\) of the plane such that some countable closed subgroup of \({\mathbb Z}^X\) is not reflexive; here \(\mathbb Z\) is the group of integers. The authors also establish that for any separable metrizable space \(X\), the space \(({\mathbb Z}^X)^{\wedge}\) is analytic if and only if \(X\) is completely metrizable. | |||
Property / review text: Given topological spaces \(X\) and \(Y\), the symbol \(Y^X\) denotes the set of all continuous functions from \(X\) to \(Y\) endowed with the compact-open topology. If \(G\) is a topological group then \(G^X\) is also a topological group with the pointwise group operations. Let \(\mathbb T\) be the complex unit circle; then \(G^{\wedge}\) is the subgroup of \({\mathbb T}^G\) consisting of continuous homomorphisms, i.e., characters of \(G\). Let \(e(g)(\phi)=\phi(g)\) for any \(\phi\in G^{\wedge}\). Then \(e:G\to G^{\wedge\wedge}\) is called the evaluation map. A group \(G\) is called reflexive if its evaluation map is a topological isomorphism. It is proved in the paper that for any zero-dimensional realcompact space \(X\) and any discrete finitely generated abelian group \(A\), the group \(A^X\) is reflexive. Another result states that there exists a countable subspace \(X\) of the plane such that some countable closed subgroup of \({\mathbb Z}^X\) is not reflexive; here \(\mathbb Z\) is the group of integers. The authors also establish that for any separable metrizable space \(X\), the space \(({\mathbb Z}^X)^{\wedge}\) is analytic if and only if \(X\) is completely metrizable. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Vladimir V. Tkachuk / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54H11 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6064299 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
reflexivity | |||
Property / zbMATH Keywords: reflexivity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abelian topological group | |||
Property / zbMATH Keywords: abelian topological group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
prodiscrete topological group | |||
Property / zbMATH Keywords: prodiscrete topological group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(k\)-space | |||
Property / zbMATH Keywords: \(k\)-space / rank | |||
Normal rank |
Revision as of 02:16, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Note on reflexivity of some spaces of continuous integer-valued functions |
scientific article |
Statements
Note on reflexivity of some spaces of continuous integer-valued functions (English)
0 references
8 August 2012
0 references
Given topological spaces \(X\) and \(Y\), the symbol \(Y^X\) denotes the set of all continuous functions from \(X\) to \(Y\) endowed with the compact-open topology. If \(G\) is a topological group then \(G^X\) is also a topological group with the pointwise group operations. Let \(\mathbb T\) be the complex unit circle; then \(G^{\wedge}\) is the subgroup of \({\mathbb T}^G\) consisting of continuous homomorphisms, i.e., characters of \(G\). Let \(e(g)(\phi)=\phi(g)\) for any \(\phi\in G^{\wedge}\). Then \(e:G\to G^{\wedge\wedge}\) is called the evaluation map. A group \(G\) is called reflexive if its evaluation map is a topological isomorphism. It is proved in the paper that for any zero-dimensional realcompact space \(X\) and any discrete finitely generated abelian group \(A\), the group \(A^X\) is reflexive. Another result states that there exists a countable subspace \(X\) of the plane such that some countable closed subgroup of \({\mathbb Z}^X\) is not reflexive; here \(\mathbb Z\) is the group of integers. The authors also establish that for any separable metrizable space \(X\), the space \(({\mathbb Z}^X)^{\wedge}\) is analytic if and only if \(X\) is completely metrizable.
0 references
reflexivity
0 references
abelian topological group
0 references
prodiscrete topological group
0 references
\(k\)-space
0 references