1. EDIT: Das Vektorprodukt solltest du mit "Kreuz" nicht "Punkt" schreiben. ("Punkt" ist für das Skalarprodukt reserviert).
2.
" Er schreibt aber am Ende einfach, dass dies dem Betrag des Vektorproduktes a→⋆b→ entspricht, ohne diesen Zusammenhang zu beweisen."
Das braucht er in einer Definition auch nicht zu beweisen. Später sollte er dann beweisen, dass die (vermutlich) bekannten Regeln, wie man das Kreuzprodukt von Vektoren des R^3 in Komponentendarstellung berechnet gerade zu dieser Definition passen. D.h. die Rechenregeln sollten weiter hinten noch bewiesen werden.