Universal geometric algebra

Last updated February 25, 2024

In mathematics, a universal geometric algebra is a type of geometric algebra generated by real vector spaces endowed with an indefinite quadratic form. Some authors restrict this to the infinite-dimensional case.

The universal geometric algebra ${\mathcal {G}}$ of order $2 2 n$ is defined as the Clifford algebra of $2 n$ -dimensional pseudo-Euclidean space $R n, n$ .^[1] This algebra is also called the "mother algebra". It has a nondegenerate signature. The vectors in this space generate the algebra through the geometric product. This product makes the manipulation of vectors more similar to the familiar algebraic rules, although non-commutative.

When $n = \infty$ , i.e. there are countably many dimensions, then ${\mathcal {G}}$ is called simply the universal geometric algebra (UGA), which contains vector spaces such as $R p, q$ and their respective geometric algebras ${\mathcal {G}}$ .

UGA contains all finite-dimensional geometric algebras (GA).

The elements of UGA are called multivectors. Every multivector can be written as the sum of several $r$ -vectors. Some r-vectors are scalars ( $r = 0$ ), vectors ( $r = 1$ ) and bivectors ( $r = 2$ ).

One may generate a finite-dimensional GA by choosing a unit pseudoscalar ( $I$ ). The set of all vectors that satisfy

a\wedge I=0

is a vector space. The geometric product of the vectors in this vector space then defines the GA, of which $I$ is a member. Since every finite-dimensional GA has a unique $I$ (up to a sign), one can define or characterize the GA by it. A pseudoscalar can be interpreted as an $n$ -plane segment of unit area in an $n$ -dimensional vector space.

Vector manifolds

A vector manifold is a special set of vectors in the UGA.^[2] These vectors generate a set of linear spaces tangent to the vector manifold. Vector manifolds were introduced to do calculus on manifolds so one can define (differentiable) manifolds as a set isomorphic to a vector manifold. The difference lies in that a vector manifold is algebraically rich while a manifold is not. Since this is the primary motivation for vector manifolds the following interpretation is rewarding.

Consider a vector manifold as a special set of "points". These points are members of an algebra and so can be added and multiplied. These points generate a tangent space of definite dimension "at" each point. This tangent space generates a (unit) pseudoscalar which is a function of the points of the vector manifold. A vector manifold is characterized by its pseudoscalar. The pseudoscalar can be interpreted as a tangent oriented $n$ -plane segment of unit area. Bearing this in mind, a manifold looks locally like $R n$ at every point.

Although a vector manifold can be treated as a completely abstract object, a geometric algebra is created so that every element of the algebra represents a geometric object and algebraic operations such as adding and multiplying correspond to geometric transformations.

Consider a set of vectors ${x} = M n$ in UGA. If this set of vectors generates a set of "tangent" simple $(n + 1)$ -vectors, which is to say

\forall x\in M^{n}:\exists I_{n}(x)=x\wedge A(x)\mid I_{n}(x)\lor M_{n}=x

then $M n$ is a vector manifold, the value of $A$ is that of a simple $n$ -vector. If one interprets these vectors as points then $I n (x)$ is the pseudoscalar of an algebra tangent to $M n$ at $x$ . $I n (x)$ can be interpreted as a unit area at an oriented $n$ -plane: this is why it is labeled with $n$ . The function $I n$ gives a distribution of these tangent $n$ -planes over $M n$ .

A vector manifold is defined similarly to how a particular GA can be defined, by its unit pseudoscalar. The set ${x}$ is not closed under addition and multiplication by scalars. This set is not a vector space. At every point the vectors generate a tangent space of definite dimension. The vectors in this tangent space are different from the vectors of the vector manifold. In comparison to the original set they are bivectors, but since they span a linear space—the tangent space—they are also referred to as vectors. Notice that the dimension of this space is the dimension of the manifold. This linear space generates an algebra and its unit pseudoscalar characterizes the vector manifold. This is the manner in which the set of abstract vectors ${x}$ defines the vector manifold. Once the set of "points" generates the "tangent space" the "tangent algebra" and its "pseudoscalar" follow immediately.

The unit pseudoscalar of the vector manifold is a (pseudoscalar-valued) function of the points on the vector manifold. If i.e. this function is smooth then one says that the vector manifold is smooth.^[3] A manifold can be defined as a set isomorphic^{[ how? ]} to a vector manifold. The points of a manifold do not have any algebraic structure and pertain only to the set itself. This is the main difference between a vector manifold and a manifold that is isomorphic. A vector manifold is always a subset of Universal Geometric Algebra by definition and the elements can be manipulated algebraically. In contrast, a manifold is not a subset of any set other than itself, but the elements have no algebraic relation among them.

The differential geometry of a manifold^[3] can be carried out in a vector manifold. All quantities relevant to differential geometry can be calculated from $I n (x)$ if it is a differentiable function. This is the original motivation behind its definition. Vector manifolds allow an approach to the differential geometry of manifolds alternative to the "build-up" approach where structures such as metrics, connections and fiber bundles are introduced as needed.^[4] The relevant structure of a vector manifold is its tangent algebra. The use of geometric calculus along with the definition of vector manifold allow the study of geometric properties of manifolds without using coordinates.

Related Research Articles

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

In mathematics, a geometric algebra is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the geometric product. Multiplication of vectors results in higher-dimensional objects called multivectors. Compared to other formalisms for manipulating geometric objects, geometric algebra is noteworthy for supporting vector division and addition of objects of different dimensions.

In geometry and physics, spinors are elements of a complex number-based vector space that can be associated with Euclidean space. A spinor transforms linearly when the Euclidean space is subjected to a slight (infinitesimal) rotation, but unlike geometric vectors and tensors, a spinor transforms to its negative when the space rotates through 360°. It takes a rotation of 720° for a spinor to go back to its original state. This property characterizes spinors: spinors can be viewed as the "square roots" of vectors.

In mathematics, the tangent space of a manifold is a generalization of tangent lines to curves in two-dimensional space and tangent planes to surfaces in three-dimensional space in higher dimensions. In the context of physics the tangent space to a manifold at a point can be viewed as the space of possible velocities for a particle moving on the manifold.

Vector calculus, or vector analysis, is a type of advanced mathematics that has practical applications in physics and engineering. It is concerned with differentiation and integration of vector fields, primarily in 3-dimensional Euclidean space $The term vector calculus is sometimes used as a synonym for the broader subject of multivariable calculus, which spans vector calculus as well as partial differentiation and multiple integration. Vector calculus plays an important role in differential geometry and in the study of partial differential equations. It is used extensively in physics and engineering, especially in the description of electromagnetic fields, gravitational fields, and fluid flow.$

<span class="mw-page-title-main">Vector field</span> Assignment of a vector to each point in a subset of Euclidean space

In vector calculus and physics, a vector field is an assignment of a vector to each point in a space, most commonly Euclidean space $. A vector field on a plane can be visualized as a collection of arrows with given magnitudes and directions, each attached to a point on the plane. Vector fields are often used to model, for example, the speed and direction of a moving fluid throughout three dimensional space, such as the wind, or the strength and direction of some force, such as the magnetic or gravitational force, as it changes from one point to another point.$

In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, especially in geometry, topology and physics.

In mathematics and physics, a tensor field assigns a tensor to each point of a mathematical space. Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis of stress and strain in materials, and in numerous applications in the physical sciences. As a tensor is a generalization of a scalar and a vector, a tensor field is a generalization of a scalar field or vector field that assigns, respectively, a scalar or vector to each point of space. If a tensor $A$ is defined on a vector fields set $X(M)$ over a module $M$ , we call $A$ a tensor field on $M$ .

In algebraic geometry, the Zariski tangent space is a construction that defines a tangent space at a point P on an algebraic variety V. It does not use differential calculus, being based directly on abstract algebra, and in the most concrete cases just the theory of a system of linear equations.

The orientation of a real vector space or simply orientation of a vector space is the arbitrary choice of which ordered bases are "positively" oriented and which are "negatively" oriented. In the three-dimensional Euclidean space, right-handed bases are typically declared to be positively oriented, but the choice is arbitrary, as they may also be assigned a negative orientation. A vector space with an orientation selected is called an oriented vector space, while one not having an orientation selected, is called unoriented.

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an $-dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.$

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, geometry, etc.

In multilinear algebra, a multivector, sometimes called Clifford number or multor, is an element of the exterior algebra $Λ(V)$ of a vector space $V$ . This algebra is graded, associative and alternating, and consists of linear combinations of simple $k$ -vectors (also known as decomposable $k$ -vectors or $k$ -blades) of the form

In mathematical physics, spacetime algebra (STA) is the application of Clifford algebra Cl_1,3(R), or equivalently the geometric algebra G(M⁴) to physics. Spacetime algebra provides a "unified, coordinate-free formulation for all of relativistic physics, including the Dirac equation, Maxwell equation and General Relativity" and "reduces the mathematical divide between classical, quantum and relativistic physics."

In mathematics, geometric calculus extends the geometric algebra to include differentiation and integration. The formalism is powerful and can be shown to encompass other mathematical theories including vector calculus, differential geometry, and differential forms.

In the study of geometric algebras, a $k$ -blade or a simple $k$ -vector is a generalization of the concept of scalars and vectors to include simple bivectors, trivectors, etc. Specifically, a $k$ -blade is a $k$ -vector that can be expressed as the exterior product of 1-vectors, and is of grade $k$ .

In geometry, a plane of rotation is an abstract object used to describe or visualize rotations in space.

Conformal geometric algebra (CGA) is the geometric algebra constructed over the resultant space of a map from points in an $n$ -dimensional base space $R p, q$ to null vectors in $R p +1, q +1$ . This allows operations on the base space, including reflections, rotations and translations to be represented using versors of the geometric algebra; and it is found that points, lines, planes, circles and spheres gain particularly natural and computationally amenable representations.

In geometric algebra, the outermorphism of a linear function between vector spaces is a natural extension of the map to arbitrary multivectors. It is the unique unital algebra homomorphism of exterior algebras whose restriction to the vector spaces is the original function.

References

↑ Pozo, José María; Sobczyk, Garret. Geometric Algebra in Linear Algebra and Geometry
↑ Chapter 1 of: [D. Hestenes & G. Sobczyk] From Clifford Algebra to Geometric Calculus
1 2 Chapter 4 of: [D. Hestenes & G. Sobczyk] From Clifford Algebra to Geometric Calculus
↑ Chapter 5 of: [D. Hestenes & G. Sobczyk] From Clifford Algebra to Geometric Calculus

D. Hestenes, G. Sobczyk (1987-08-31). Clifford Algebra to Geometric Calculus: a Unified Language for mathematics and Physics. Springer. ISBN 902-772-561-6.
C. Doran, A. Lasenby (2003-05-29). "6.5 Embedded Surfaces and Vector Manifolds". Geometric Algebra for Physicists. Cambridge University Press. ISBN 0-521-715-954.
L. Dorst, J. Lasenby (2011). "19". Guide to Geometric Algebra in Practice. Springer. ISBN 0-857-298-100.
Hongbo Li (2008). Invariant Algebras And Geometric Reasoning. World Scientific. ISBN 981-270-808-1.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Pozo, José María; Sobczyk, Garret. Geometric Algebra in Linear Algebra and Geometry

[2] Chapter 1 of: [D. Hestenes & G. Sobczyk] From Clifford Algebra to Geometric Calculus

[four-3] 1 2 Chapter 4 of: [D. Hestenes & G. Sobczyk] From Clifford Algebra to Geometric Calculus

[4] Chapter 5 of: [D. Hestenes & G. Sobczyk] From Clifford Algebra to Geometric Calculus

[1]

[2]

[3]

[4]

Universal geometric algebra

Contents

Vector manifolds

See also

Related Research Articles

References