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:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)