The dot product of two vectors in is defined by . The vectors and are called perpendicular if . Any vector in perpendicular to can be written in the form