  This work presents a quantitative framework for describing the
overcompleteness of a large class of frames. It introduces notions of
localization and approximation between two frames $\mathcal{F} = \{f_i\}_{i \in
I}$ and $\mathcal{E} = \{e_j\}_{j \in G}$ ($G$ a discrete abelian group),
relating the decay of the expansion of the elements of $\mathcal{F}$ in terms
of the elements of $\mathcal{E}$ via a map $a \colon I \to G$. A fundamental
set of equalities are shown between three seemingly unrelated quantities: the
relative measure of $\mathcal{F}$, the relative measure of $\mathcal{E}$ - both
of which are determined by certain averages of inner products of frame elements
with their corresponding dual frame elements - and the density of the set
$a(I)$ in $G$. Fundamental new results are obtained on the excess and
overcompleteness of frames, on the relationship between frame bounds and
density, and on the structure of the dual frame of a localized frame. In a
subsequent paper, these results are applied to the case of Gabor frames,
producing an array of new results as well as clarifying the meaning of existing
results.
  The notion of localization and related approximation properties introduced in
this paper are a spectrum of ideas that quantify the degree to which elements
of one frame can be approximated by elements of another frame. A comprehensive
examination of the interrelations among these localization and approximation
concepts is presented.
