  We study equilibrium states in relativistic galactic dynamics which are
described by solutions of the Einstein-Vlasov system for collisionless matter.
We recast the equations into a regular three-dimensional system of autonomous
first order ordinary differential equations on a bounded state space. Based on
a dynamical systems analysis we derive new theorems that guarantee that the
steady state solutions have finite radii and masses.
