Vector Space and Spaces with the Scalar Products

An abstract real vector space is an commutative group with one additional operation: its elements may be multiplied by real numbers (scalars). It's by no means a group operation (except for the case when we look at the set R of real numbers as a real vector space) because in a group operations both operands must come from the same set. Multiplication by a scalar is required to satisfy three additional laws: for u, v∈ and vectors a and b,

(distributivity): (u + v)a = ua + va
(associativity): u(va) = (uv)a
(distributivity): u(a + b) = ua + ub

These are variants of distributive and associative laws. As, an example, for n-tuple spaces, the multiplication by a scalar is defined componentwise:

u(a₁, a₂, a₃) = (ua₁, ua₂, ua₂)

With this definition and addition defined also componentwise the set of 3-tuples becomes a vector space. It's important to understand that an n-tuple is only then is regarded as a vector when it's considered an element of a set where two operations (addition and multiplication by a scalar) are defined. Thus, vectors and Vector Spaces are born simultaneously.

Spaces with Scalar Product

For some vector spaces it's possible to define another multiplication - a scalar (or inner, or dot) product. The scalar product is defined for two vector operands with the result being a scalar. Therefore, the scalar product too is not a group operation. The scalar product of two vectors a and b is denoted a.b or (a, b) and has the following properties:

(commutativity): a.b = b.a
(distributivity): a.(b + c) = a.b + a.c

As an example, the scalar product for 3-tuples is defined in the following manner:

(a₁, a₂, a₃).(b₁, b₂, b₃) = a₁b₁ + a₂b₂ + a₃b₃

As an application of these laws, let's prove a simple but interesting identity.

(*)

(a + b).(a + b)	= a.a + a.b + b.a + b.b
	= a.a + 2a.b + b.b

Two vectors whose scalar product is zero are called orthogonal or perpendicular. For example, the following pairs of 3-tuples are orthogonal: a and (0, 1, 0), (1, 0, 1) and (2, 1, -2). For orthogonal vectors we have the following generalization of the Pythagorean Theorem:

(a + b).(a + b) = a.a + b.b

If we introduce the length (also called the norm) of vector a as ||a||² = a.a, then the Pythagorean theorem admits a more conventional appearance:

||a - b||² = ||a||² + ||b||².

Identity (*) is a generalization of the Cosine Law. In fact (*) is one of the reasons that the angle between two vectors is defined by:

cos(α) = a.b / ||a|| ||b||.

What Can Be Multiplied?

72533663