Let be a
finite-dimensional
-vector space
and
, ,
a
basis
of . For a subset
,
set
-
the
linear subspace
corresponding to . Moreover, let
-
the corresponding
projection.
The image of this projection is . On , this mapping is the identity, one can also consider this mapping as
-
The
kernel
of this mapping is
-