_{1}

^{*}

The cross product in Euclidean space IR^{3} is an operation in which two vectors are associated to generate a third vector, also in space IR^{3}. This product can be studied rewriting its basic equations in a matrix structure, more specifically in terms of determinants. Such a structure allows extending, for analogy, the ideas of the cross product for a type of the product of vectors in higher dimensions, through the systematic increase of the number of rows and columns in determinants that constitute the equations. So, in a n-dimensional space with Euclidean norm, we can associate n – 1 vectors and to obtain an n-th vector, with the same geometric characteristics of the product in three dimensions. This kind of operation is also a geometric interpretation of the product defined by Eckman [1]. The same analogies are also useful in the verification of algebraic properties of such products, based on known properties of determinants.

In the Euclidean space, the cross product of two vectors and is the vector designated by the symbol, and defined for the following conditions [

a) The norm of vector, symbolized for, is given for

where, being the angle between the vectors and.

b) The vector is perpendicular simultaneously to the vectors and:

As a consequence of b), is the normal vector to the plane defined for the vectors and (

If and are linearly dependent vectors, then

where the symbol represents the null vector.

c) The vector is oriented in relation to the vectors and just as, in right-handed coordinate system, the z-axis it is oriented in relation to the x-axis and y-axis.

d) The volume V_{3} of parallelepiped defined for the vectors, and is the square of the number (

The equalities (2), (3) and (5) are equivalent to those given in a Definition 1 found in [

In this paper, it is shown that it is possible, through simple analogies with the case in the space, to extend the ideas of the cross product to the space, and more generally, to the space. The characteristics of the cross product in are maintained in higher dimensions.

The initial reasoning for the extension of the ideas of the cross product is the fact that their basic expressions can be represented in the form of determinants.

In an orthogonal coordinate system, representing the vectors and in terms of 3-tuples and, the vector can be obtained starting from the development of the symbolic determinant

where are the vectors of orthonormal basis in.

The development of the Equation (6) leads to the vector form:

and the norm of vector is calculated with the definition of Euclidean norm, resulting in

an equivalent format to

In Equation (1),

and combining the Equations (9) and (10), we obtain

Equation (11) will be used as starting point for the analogies developed in the remaining of this work.

Consider three vectors in Euclidean space, represented in terms of quadruples,

and. Let

and

be the vectors of orthonormal basis in.

It is possible to develop an equivalent product to (1), through simple extension of ideas and increase of dimensions. In space, two vectors and generate a third vector whose norm is proportional to the product of the norms of the generating vectors, being the proportionality constant related to the angle between and. In space, three vectors and generate a fourth vector whose norm is proportional to the product of the norms of the generating vectors, being the proportionality constant related to the angles between the vectors and and and.

In symbolic terms, this product of vectors in Euclidean space is obtained from the development of the determinant

so that

with

and the conditions.

The equal sign in the conditions on the angles, given in (14), is justified for the case of coplanar vectors.

In Equation (14), represents the angle between two of the generating vectors of, and naturally, so that is the determinant of a symmetric matrix.

The equivalent in space of Equation (11) is (see the Equation (15) below):

The characteristics of the product in space are conserved for in space:

a) The norm of is proportional to the product. It is sufficient to develop the determinants in Equation (15) to verify the identity.

b) The vector is perpendicular to each one of the vectors and. The term “perpendicular” should be interpreted here as only in the sense that the scalar product results null.

PROOF: The elements of the 1st row of the determinant that represents the norm of are the same values as their own cofactors. It is known that the sum of the products of the elements of a row for the cofactors of the elements corresponding of other row (inner product) in a determinant results in zero (Cauchy’s Determinant Theorem), that is,.

It is also noted that is the normal vector to the hyperplane that contains and. Being

, then

, where

, represents the Cartesian equation of hyperplane (is a point in and).

c) The vector is oriented in relation to the vectors and just as the vector in relation to, and.

d) The content of parallelotope defined for the vectors and is the square of number.

PROOF: With effect, the determinant to the left in Equation (15) represents the number. In this way, is the determinant whose rows are formed by the vectors and, representing the content of parallelotope (4-parallelepiped) that has the four vectors as edges linearly independents [

Consider n − 1 vectors in Euclidean space, represented in terms of n-tuples, such that

The product in space is a vector perpendicular simultaneously to all the

and whose norm is given by the formula

with

It is observed that this form is equivalent to the products of vectors defined by [

(A1),

(A2)where.

These preliminary definitions can be formalized starting from the following proposition.

PROPOSITION: Let n − 1 vectors be in space, with inner product and Euclidean norm. Consider also that the vectors are represented by n-tuples such that

Being the angle between the i-th vector and the j-th vector, the following equality is true (see the Equation (18) below):

(15)

PROOF: Consider n − 1 unit vectors in space IR^{n}, with inner product and Euclidean norm. Consider also that each u_{i} represents the unit vector in the same direction of v_{i} given in the Equation (18), so that

If the unit vectors are represented by n-tuples such that

being the inner product between the i-th unit vector and the j-th unit vector, can be grouped, based on the properties presented in (A2), the components of in the following identity, which is true for values of:

Starting from Equation (20), Equation (18) can be demonstrated. With effect, multiplying both members of (20) for, the determinant to the left will have their rows orderly and appropriately multiplied by each one of, and since, is obtained the corresponding determinant of Equation (18).

Representing, for convenience,

we have that:

In relation to the determinant to the right in Equation (20), it is sufficient to observe that, therefore, that is:

With such considerations, it is demonstrated that

and the square root of Equation (23) shows that Equation (18) is true.

Equation (18) is the equivalent n-dimensional of the Equations (11) and (15), validating the extension of cross product. The geometric properties of are conserved in n dimensions:

a) The norm of is proportional to the product, being the proportionality constant K associated to the angles between the vectors.

PROOF: The proof consists of the own demonstration of the Equation (18).

b) The vector is “perpendicular” to each one of the vectors.

PROOF: The elements of the 1st row of the determinant that represents the norm of are the same values as their own cofactors. In agreement with Cauchy’s Determinant Theorem, the sum of the products of the elements of a row for the cofactors of the elements corresponding of another row (inner product) in a determinant results in zero, that is,.

It is also noted that is the normal vector to the hyperplane that contains. Being

, then

, where

, represents the Cartesian equation of hyperplane (is a point in and).

c) The vector is oriented in relation to the vectors just as the vector is oriented in relation to.

d) The content of parallelotope defined for the vectors and is the square of number.

PROOF: The determinant to the left in Equation (18) represents the number. In this way, is the determinant whose rows are formed by the vectors, representing the content of parallelotope (n-parallelepiped) that has the n vectors as edges linearly independents [

The possibility to represent the equations of the definition of cross product in the space in terms of determinants allows the extension of the concept of the product of vectors for higher dimensions, systematically increasing rows and columns to the determinants.

Through basic properties of determinants, it is shown that the characteristics of the cross product are conserved in n dimensions, for any value of n, since such properties are not modified by the increment or decrease of rows and columns to these determinants.

Other geometric properties can be verified, as the relationship between the cross product and area, because just as the number is related to areas of triangles and parallelograms, the number is related to contents of simplex and parallelotopes, in an equivalent way to Cayley-Menger determinant [7,8].

Although this work has given emphasis to the geometric properties of the product of vectors in the space, it indirectly shows that their algebraic properties are also similar to those valid ones in space, for instance:

(C1) If is any vector in space for, then a);

b);

c);

d) if any of vectors is the null vector.

(C2) The position change among two vectors in the product results in the vector.

(C3) If is any vector in space for , and, then a);

b).

These and other algebraic properties, including the distributive property of the product in relation to the sum of vectors, are verified easily by the application of the convenient rules on determinants to the matrix structure of product of vectors.

The analogies developed appear still for the possibility of new extensions associated to the concept of products of vectors, such as eventual developments that are related to a type of equivalent n-dimensional of the concept of curl, for example.