A model of quotient spaces
Let R be an open equivalence relation on a topological space E. We define on E a new equivalence relation ̃ℜ̅ by x̃ ̃ℜ̅y if the closure of the R-trajectory of x is equal to the closure of the R-trajectory of y. The quotient space E/̃ ̃ℜ̅ is called the trajectory class space. In this paper, we show that the space E/̃ ̃ℜ̅ is a simple model of the quotient space E/R. This model can provide a finite model. Some applications to orbit spaces of groups of homeomorphisms and leaf spaces are given.