Review: Calculus in Hyperspace

38.1 GEOMETRIES

38.1.1 Essentials

The four dimensional Euclidean space is the space of column vectors with four real components . If we think of such a vector as a point, we also write . The dot product inner product allows as usual to define length , the distance and the angles between vectors. The Cartesian coordinate system has now four axes which are perpendicular to each other. Historically, as is also the space of quaternions, it is custom to label the coordinate directions as A vector for example is then written also as . We will however keep the vector-form. We will come back in the last section of this document about why quaternions are natural.

38.1.2 Dimensionality of Kernels

The kernel of the matrix defines the linear hyperplane It is a -dimensional linear space. An example is the coordinate hyperplane , which consists of all points . More generally, the solution space is an affine hyperplane. The kernel of a matrix is in general, as an intersection of two hyperplanes, a -dimensional plane, which we just call a plane. The kernel of a matrix is in general a line. Geometrically, it is the intersection of three hyperplanes.

38.1.3 Cruising Hyperspace: From Spheres to Hyper-Tori

A symmetric matrix , a row vector and a constant define the hyper quadric . For a diagonal matrix , this gives the quadric Examples are the -sphere , the hyper paraboloid , the -cylinder which is the product of a -sphere and a line. Or the cylinder-plane which can be seen as the product of the -sphere with a -plane. There are three types of hyperboloids like One could call them -hyper-hyperboloids, -hyper-hyperboloids and -hyper-hyperboloids, using the Morse index as a label. There is still -hyperbolic-paraboloid but there are more degenerate surfaces like . The two-dimensional torus can be realized here as a quadratic surface. It is the intersection of , . This is the flat torus. We can not realize the two-dimensional torus in a flat way in our three dimensional space . In hyper-space, it can. There is also a three dimensional torus . To get a parametrization, start with the -torus parametrization then expand the circle to get a hyper-torus You see that for every fixed we have a -torus. We can compute which is always positive and so verifies that the map from to is locally injective. We can also easily check that if or is fixed we get a translated scaled version of the -torus. If is fixed, we get the flat -torus mentioned above.

38.1.4 From Curves to Hyper-Surfaces: Seeing in Hyperspace

In single variable calculus, one looks at graphs of functions of one variable. In multi-variable, one adds graphs of functions of two variables. The graph of a function is now a -dimensional space. Paraboloids like or are graphs. An other example is the three dimensional bell hyper-surface where the constant has been chosen so that the hyper-volume is equal to . For obvious reasons, we usually do not draw the graph of a function of three variables as we would have to draw in dimensions. Now, in hyperspace, we can do that.

38.1.5 Higher-Dimensional Parametrization

Spaces can be parametrized in the same way as we parametrized curves or surfaces in three dimensions. A curve is defined by four real functions , , , of one variables and written as A surface is parametrized by A hypersurface is now defined by

38.1.6 Transformations in

A coordinate change is defined by a map from to given by four differentiable functions: We have seen already the parametrization of the unit -sphere hyper-sphere Because is a cylinder, there is also a natural cylindrical coordinate system in four dimensions. It is given by If we write down the Jacobian matrix and compute the determinant we get as in spherical coordinates.

38.2 FIELDS

38.2.1 Differential Forms in

A scalar function is also called a -form. A vector field is denoted by and a -form is written as A -form has components: A -form again has four components and a -form is again completely determined by a scalar function because

38.2.2 Exterior Derivatives of Forms

The exterior derivatives are computed by using the anti-commutation rule like and extending this to terms like For a -form we have which simplifies to expression with terms. We have because every term like is paire dwith a term like which cancel. For a -form we have which simplifies to For a -form we have

38.2.3 Differential Operators on Fields

The gradient of a function is defined as The curl of a vector field is the hyperfield where we have just chosen a lexigographic order and where . The hypercurl of a hyper vector field is a -form but can again be associated with a vector field The divergence of a vector field is a -form but can again be associated with a scalar field.

38.2.4 Relationships Between Differential Operators

Here are some properties which we have seen already. The gradient is perpendicular to the level surface . The curl of the gradient is zero. The hypercurl of the curl is zero. The divergence of the hypercurl is zero. The divergence of the gradient is the Laplacian (using the identifications, the divergence map can be identified with the adjoint ). The chain rule is

38.2.5 Integration in

The line integral of a vector field along a curve is The flux integral of a vector field along a -dimensional surface is a flux integral. The hyper flux integral of a hyper-field along a surface. The hyper volume integral of a function on a solid is

38.3 THEOREMS

38.3.1 The Fundamental Theorem for Line Integrals in

The fundamental theorem of line integrals is:

38.3.2 Stokes Theorem

The Stokes theorem tells that for a surface and -form :

38.3.3 Higher-Dimensional Stokes Theorem

The Hyper Stokes theorem assures that for a hypersurface and a -form , the flux of the hypercurl of through (a D-integral) is the flux of through the boundary surface (a D-integral):

38.3.4 Divergence Theorem

The divergence theorem assures that for a -form (identified as a vector field ) and a solid with boundary hyper-surface , we have:

38.4 QUATERNIONS

38.4.1 Lie Groups: From Dough to Particles

Hyperspace is special: it is the only Euclidean space for which the unit sphere is a non-Abelian Lie group. A Lie group is a manifold¹ on which one has a group operation which has the property that for every , the maps and are smooth maps on . To have a group we must have the property that and that there is a -element such that every element has an inverse satisfying . The circle is an example of a group. This multiplication is Abelian if for all . The complex plane is characterized as the only Euclidean space in which the unit sphere is an Abelian Lie group. Why Lie groups? They are the dough, elementary particles are baked from! Electromagnetism is built from for example.

38.4.2 From Vectors to a Division Algebra

One can write a vector in also as where , , are symbols. Hamilton noticed that when defining the -dimensional space becomes an algebra. An algebra is a linear space which also features a multiplication. Now one has already , the space of matrices, which is a -dimensional algebra, but the algebra which Hamilton found is a division algebra: every non-zero element can be inverted. This is not the case for . The matrix in which all elements are for example is non zero but it is also not invertible.

38.4.3 Quaternion Basics: Conjugation and Norm

The algebra which Hamilton defined through the relations is called the quaternion algebra . If then , where the right hand side is a quaternion multiplication. One can readily check that . The reason is that quaternions can be realized as complex matrices: if then and . Your favorite AI helps to check this last identity quickly.

38.4.4 Division Algebras

An algebra with the property is a normed division algebra. By theorems of Hurwitz and Frobenius, there are only four: the reals , the complex , the quaternions and the octonions . For an associative division algebra, the unit sphere is a Lie group. Because the unit sphere of has only two points, the -circle and the unit -sphere are the only spheres that are Lie groups. There is a unique non-commutative one, the -sphere and a unique commutative connected one, the -sphere.