Definition, Existenz und Konstruktion der Projektionszerlegung