Euclidean vector
Consider the Euclidean vector space formula_31 Its standard basis consists of the vectors formula_32 and formula_33 If one rotates them by an angle of , one gets a "new basis" formed by formula_34 and formula_35