We discuss the issue of observables in general-relativistic perturbation theory, adopting the view that any observable in general relativity is represented by a scalar field on spacetime. In the context of perturbation theory, an observable is therefore a scalar field on the perturbed spacetime, and as such is gauge invariant in an exact sense (to all orders), as one would expect. However, perturbations are usually represented by fields on the background spacetime, and expanded at different orders into contributions that may or may not be gauge independent. We show that perturbations of scalar quantities are observable if they are first order gauge-invariant, even if they are gauge dependent at higher order. Gauge invariance to first order plays therefore an important conceptual role in the theory, for it selects the perturbations with direct physical meaning from those having only a mathematical status. The so-called ``gauge problem'', and the relationship between measured fluctuations and gauge dependent perturbations that are computed in the theory are also clarified.

Diffeomorphism freedom induces a gauge dependence in the theory of spacetime perturbations. We derive a compact formula for gauge transformations of perturbations of arbitrary order. To this end, we develop the theory of Taylor expansions for one-parameter families (not necessarily groups) of diffeomorphisms. First, we introduce the notion of knight diffeomorphism, that generalises the usual concept of flow, and prove a Taylor's formula for the action of a knight on a general tensor field. Then, we show that any one-parameter family of diffeomorphisms can be approximated by a family of suitable knights. Since in perturbation theory the gauge freedom is given by a one-parameter family of diffeomorphisms, the expansion of knights is used to derive our transformation formula. The problem of gauge dependence is a purely kinematical one, therefore our treatment is valid not only in general relativity, but in any spacetime theory.

We consider in detail the problem of gauge dependence that exists in relativistic perturbation theory, going beyond the linear approximation and treating second and higher order perturbations. We first derive some mathematical results concerning the Taylor expansion of tensor fields under the action of one-parameter families (not necessarily groups) of diffeomorphisms. Second, we define gauge invariance to an arbitrary order $n$. Finally, we give a generating formula for the gauge transformation to an arbitrary order and explicit rules to second and third order. This formalism can be used in any field of applied general relativity, such as cosmological and black hole perturbations, as well as in other spacetime theories. As a specific example, we consider here second order perturbations in cosmology, assuming a flat Robertson-Walker background, giving explicit second order transformations between the synchronous and the Poisson (generalized longitudinal) gauges.

We present the results of a study of the gauge dependence of spacetime perturbations. In particular, we consider gauge invariance in general, we give a generating formula for gauge transformations to an arbitrary order n, and explicit transformation rules at second order.

The tail problem for the propagation of a scalar field is considered in a cosmological background, taking a Robertson-Walker spacetime as a specific example. The explicit radial dependence of the general solution of the Klein-Gordon equation with nonminimal coupling is derived, and the inapplicability of the standard calculation of the reflection and transmission coefficients to the study of scattering of waves by the cosmological curvature is discussed.