Polish group
Definition 0.1.
Let be a topological group
regarded as a topological space
.
Then is defined to be a Polish group if it is also a Polish space
.
References
- 1 Howard Becker, Alexander S. Kechris. 1996. The Descriptive Set Theory of Polish Group Actions Cambridge University Press: Cambridge, UK, p.14.
| Title | Polish group |
| Canonical name | PolishGroup |
| Date of creation | 2013-03-22 18:24:40 |
| Last modified on | 2013-03-22 18:24:40 |
| Owner | bci1 (20947) |
| Last modified by | bci1 (20947) |
| Numerical id | 5 |
| Author | bci1 (20947) |
| Entry type | Definition |
| Classification | msc 22A25 |
| Classification | msc 22A22 |
| Classification | msc 22A10 |
| Classification | msc 54H05 |
| Classification | msc 22A05 |
| Related topic | PolishSpace |
| Related topic | Group |
| Related topic | PolishGSpace |
| Related topic | TopologicalGspace |
| Related topic | TopologicalGroup2 |
| Related topic | BasicResultsInTopologicalGroups |
| Related topic | TopologicalGSpace |