On the Polishness of the inverse semigroup \(\Gamma (X)\) on a compact metric space \(x\) (Q6146102)
From MaRDI portal
scientific article; zbMATH DE number 7786138
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Polishness of the inverse semigroup \(\Gamma (X)\) on a compact metric space \(x\) |
scientific article; zbMATH DE number 7786138 |
Statements
On the Polishness of the inverse semigroup \(\Gamma (X)\) on a compact metric space \(x\) (English)
0 references
10 January 2024
0 references
The authors prove that the inverse semigroup of homeomorphisms between open subsets, \(\Gamma(X)\), of a compact metrizable space \(X\), when given a suitable topology is a Polish space. The proof identifies \(\Gamma(X)\) as a (copy of a) closed subsemigroup of the inverse semigroup \(I(\mathbb{N})\) of bijections between subsets of \(\mathbb{N}\). In fact, rather than \(\mathbb{N}\) one takes the countable family \(\mathcal{C}\) of clopen subsets of \(X\) and identifies, via Stone duality, a member \(f:U\to V\) of \(\Gamma(X)\) with the isomorphism it unduces between the ideals of the Boolean algebra \(\mathcal{C}\) determined by the open sets \(U\) and \(V\).
0 references
inverse topological semigroup
0 references
Munn semigroup
0 references
partial homeomorphism
0 references
0 references