what are possible fundamental and introductory texts about G-structures ?
and where i can find the proof of this proposition:
if G(group) acts properly discontinuously on a space X , then G is a discrete subset of the space of all continuous functions X--->X with compact-open topology.the converse is false,in general, but is true if X is a complete Riemannian manifold and G is a group of isometries of X.



G-structures and complete riemannian manifolds
Concerning the proof that in Riemannian setting proper discontinuity is equivalent to discreteness, even more is true: If $G$ is a subgroup of group of isometries of a Riemannian manifold $M$ so that (for some $x\in M$) $d(x,g\_i(x))$ is bounded for a sequence $g\_i\in G$, then the sequence $(g\_i)$ contains a convergent subsequence (Arzela-Ascoli theorem). Thus, discreteness of $G$ implies proper discontinuity. For your question about $G$-structures: it depends on what you mean: For $(X,G)$-structures, the best reference I know is Thurston's book "Three-dimensional geometry and topology." if you mean $G$-structures as in "reduction of frame bundle to various subgroups $G\subset GL(n,R)$", then read Kobayashi-Nomizu or Kobayashi's "Transformation groups in differential geometry". 


