Physics Library

An open source physics library

Encyclopedia | Forums | Docs | Random

Polish group

(Definition)

Definition 0.1. Let G be a topological group regarded as a topological space. Then G 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.

"Polish group" is owned by bci1.
(view preamble)

See Also: topological G-space

Other names:

topological groups, Polish space with group structure

Keywords:

Polish groups, groups

Cross-references: topological
There are 15 references to this object.

This is version 1 of Polish group, born on 2009-02-02.
Object id is 468, canonical name is PolishGroup.
Accessed 3052 times total.

Classification:

Physics Classification:

02. (Mathematical methods in physics)

Pending Errata and Addenda

None.

Discussion

No messages.

Interact