  We develop a distributional framework for the shearlet transform
$\mathcal{S}_{\psi}\colon\mathcal{S}_0(\mathbb{R}^2)\to\mathcal{S}(\mathbb{S})$
and the shearlet synthesis operator
$\mathcal{S}^t_{\psi}\colon\mathcal{S}(\mathbb{S})\to\mathcal{S}_0(\mathbb{R}^2)$,
where $\mathcal{S}_0(\mathbb{R}^2)$ is the Lizorkin test function space and
$\mathcal{S}(\mathbb{S})$ is the space of highly localized test functions on
the standard shearlet group $\mathbb{S}$. These spaces and their duals
$\mathcal{S}_0^\prime (\mathbb R^2),\, \mathcal{S}^\prime (\mathbb{S})$ are
called Lizorkin type spaces of test functions and distributions. We analyze the
continuity properties of these transforms when the admissible vector $\psi$
belongs to $\mathcal{S}_0(\mathbb{R}^2)$. Then, we define the shearlet
transform and the shearlet synthesis operator of Lizorkin type distributions as
transpose mappings of the shearlet synthesis operator and the shearlet
transform, respectively. They yield continuous mappings from
$\mathcal{S}_0^\prime (\mathbb R^2)$ to $\mathcal{S}^\prime (\mathbb{S})$ and
from $\mathcal{S}^\prime (\mathbb S)$ to $\mathcal{S}_0^\prime (\mathbb{R}^2)$.
Furthermore, we show the consistency of our definition with the shearlet
transform defined by direct evaluation of a distribution on the shearlets. The
same can be done for the shearlet synthesis operator. Finally, we give a
reconstruction formula for Lizorkin type distributions, from which follows that
the action of such generalized functions can be written as an absolutely
convergent integral over the standard shearlet group.
