Let
be a non-Archimedean valued field which contains
, and suppose that
is complete for the valuation
, which extends the
-adic valuation.
is the closure of the set
where
and
are two units
of
,
not a root of unity.
(resp.
) is the Banach
space of continuous functions (resp. continuously differentiable functions) from
to
. Our aim is to find orthonormal bases for
and
.
1991 Mathematics Subject Classification: 46S10.