  For an action $\alpha$ of a group $G$ on an algebra $R$ (over $\Bbb C$), the
crossed product $R\times_\alpha G$ is the vector space of $R$-valued functions
with finite support in $G$, together with the twisted convolution product given
by $$(\xi \eta)(p) = \sum_{q \in G} \xi(q) \alpha_q (\eta (q^{-1}p))$$ where
$p\in G$. This construction has been extended to the theory of Hopf algebras.
Given an action of a Hopf algebra $A$ on an algebra $R$, it is possible to make
the tensor product $R\ot A$ into an algebra by using a twisted product,
involving the action. In this case, the algebra is called the smash product and
denoted by $R# A$. In the group case, the action $\alpha$ of $G$ on $R$ yields
an action of the group algebra $\Bbb C G$ as a Hopf algebra on $R$ and the
crossed $R\times_\alpha G$ coincides with the smash product $R# \Bbb C G$. In
this paper we extend the theory of actions of Hopf algebras to actions of
multiplier Hopf algebras. We also construct the smash product and we obtain
results very similar as in the original situation for Hopf algebras. The main
result in the paper is a duality theorem for such actions. We consider dual
pairs of multiplier Hopf algebras to formulate this duality theorem. We prove a
result in the case of an algebraic quantum group and its dual. The more general
case is only stated and will be proven in a separate paper on coactions. These
duality theorems for actions are substantial generalizations of the
corresponding theorem for Hopf algebras. Also the techniques that are used here
to prove this result are slightly different and simpler.
