Formal Definition
Let X be a non-empty set and G a group. Then X is called a G-space if it is equipped with an action of G on X. Note that automatically G acts by automorphisms (bijections) on the set. If X in addition belongs to some category, then the elements of G are assumed to act as automorphisms in the same category. Thus the maps on X effected by G are structure preserving. A homogeneous space is a G-space on which G acts transitively.
Succinctly, if X is an object of the category C, then the structure of a G-space is a homomorphism:
into the group of automorphisms of the object X in the category C. The pair (X,ρ) defines a homogeneous space provided ρ(G) is a transitive group of symmetries of the underlying set of X.
Read more about this topic: Homogeneous Space
Famous quotes containing the words formal and/or definition:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)