Geometric Algebra in Linear Algebra and Geometry

This article explores the use of geometric algebra in linear and multilinear algebra, and in affine, projective and conformal geometries. Our principal objective is to show how the rich algebraic tools of geometric algebra are fully compatible with and augment the more traditional tools of matrix algebra. The novel concept of an h-twistor makes possible a simple new proof of the striking relationship between conformal transformations in a pseudo-Euclidean space to isometries in a pseudo-Euclidean space of two higher dimensions. The utility of the h-twistor concept, which is a generalization of the idea of a Penrose twistor to a pseudo-Euclidean space of arbitrary signature, is amply demonstrated in a new treatment of the Schwarzian derivative.     

Unitary Geometric Algebra

The geometric significance of the imaginary unit in a complex geometric algebra has troubled the author for 40?years. In the unitary geometric algebra presented here, the imaginary i is a unit (pseudo) vector with square minus one which anti commutes with all of the real vectors. The resulting natural hermitian inner product and hermitian outer product induce a grading of the algebra into complex k-vectors. Basic orthogonality relationships are studied.     

基于共形几何代数的几何分解及程序实现

本文主要讨论了利用共形几何代数来进行几何定理中的几何构型进行几何分解的算法以及它的程序实现问题.利用这个算法可以给出几何量之间的定量依赖关系.所实现的程序能够给出一些较为复杂的几何命题的自动分解的结果.     

Geometric Algebra for Subspace Operations

The set theory relations , \,,, and have corollaries in subspace relations. Geometric algebra is introduced as a useful framework to explore these subspace operations. The relations , \, and are easily subsumed by geometric algebra for Euclidean metrics. A short computation shows that the meet () and join () are resolved in a projection operator representation with the aid of one additional product beyond the standard geometric algebra products. The result is that the join can be computed even when the subspaces have a common factor, and the meet can be computed without knowing the join. All of the operations can be defined and computed in any signature (including degenerate signatures) by transforming the problem to an analogous problem in a different algebra through a transformation induced by a linear invertible function (a LIFT to a different algebra). The new results, as well as the techniques by which we reach them, add to the tools available for subspace computations.     

Generating Fractals Using Geometric Algebra

In this paper we investigate how, using the language of Geometric Algebra [7, 4], the common escape-time Julia and Mandelbrot set fractals can be extended to arbitrary dimension and, uniquely, non-Eulidean geometries. We develop a geometric analog of complex numbers and show how existing ray-tracing techniques [2] can be extended. In addition, via the use of the Conformal Model for Geometric Algebra, we develop an analog of complex arithmetic for the Poincaré disc and show that, in non-Euclidean geometries, there are two related but distinct variants of the Julia and Mandelbrot sets.     

Geometric Dynamics

A kinematic differential system on a Riemann (or semi-Riemann) manifold induces a Lorentz-Udrite world-force law, i.e., any local group with one parameter (any local flow) on a Riemann (or semi-Riemann) manifold induces the dynamics of the given vector field or of an associated particle, which will be called geometric dynamics.The cases of Riemann-Jacobi or Riemann-Jacobi-Lagrange structures are imposed by the behavior of an external tensor field of type (1,1). The case of the Finsler-Jacobi structure appears if the initial metric is chosen such that the energy of the given vector field is constant (Sec. 1). At the end of Sec. 1 are formulated open problems regarding some extensions of geometric dynamics.Adequate structures on the tangent bundle describe the geometric dynamics in the Hamilton language (Sec. 2).Section 3 proves the existence of a Finsler-Jacobi structure induced by an almost contact metric structure.The theory is applied to electromagnetic dynamical systems (the starting point of our theory), offering new principles of unification of the gravitation and the electromagnetism. Also, here, one enounces open problems regarding the geometric dynamics induced by the electric intensity and magnetizing force (Sec. 4).From the geometrical point of view, we create a wider class of Riemann-Jacobi, Riemann-Jacobi-Lagrange, or Finsler-Jacobi manifolds ensuring that all trajectories of a given vector field are geodesics. Having T₁M²ⁿ⁺¹ in mind, the problem of creating a wider class of Riemannian manifolds, in which there exists a vector field such that (1) all trajectories of the vector field are geodesics; (2) the flow defined by is incompressible; (3) the condition which corresponds to the property that is the associate vector field of the contact structure is satisfied;was studied intensively by S. Sasaki. The results were not satisfactory, but Sasaki discovered (, , )-structures [10].AMS Subject Classification (1991): 70H35, 53C22, 58F25, 83C22     

Clifford 代数,几何计算和几何推理

Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数．历史上,E．Cartan,R．Brauer,H．Weyl,C．Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用．近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用．本文主要介绍Clifford代数在几何计算和几何推理中的应用．作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。     

Quasigroups, Geometry and Nonlinear Geometric Algebra

A survey of the methods of the theory of quasigroups and loops in algebra and geometry is presented in order to attract the attention of mathematicians and physicists to promising applications of this new branch of mathematics in applied sciences.     

Minkowski Geometric Algebra of Complex Sets

A geometric algebra of point sets in the complex plane is proposed, based on two fundamental operations: Minkowski sums and products. Although the (vector) Minkowski sum is widely known, the Minkowski product of two-dimensional sets (induced by the multiplication rule for complex numbers) has not previously attracted much attention. Many interesting applications, interpretations, and connections arise from the geometric algebra based on these operations. Minkowski products with lines and circles are intimately related to problems of wavefront reflection or refraction in geometrical optics. The Minkowski algebra is also the natural extension, to complex numbers, of interval-arithmetic methods for monitoring propagation of errors or uncertainties in real-number computations. The Minkowski sums and products offer basic 'shape operators' for applications such as computer-aided design and mathematical morphology, and may also prove useful in other contexts where complex variables play a fundamental role – Fourier analysis, conformal mapping, stability of control systems, etc.     

Generalized projection operators in Geometric Algebra

Given an automorphism and an anti-automorphism of a semigroup of a Geometric Algebra, then for each element of the semigroup a (generalized) projection operator exists that is defined on the entire Geometric Algebra. A single fundamental theorem holds for all (generalized) projection operators. This theorem makes previous projection operator formulas [2] equivalent to each other. The class of generalized projection operators includes the familiar subspace projection operation by implementing the automorphism ‘grade involution’ and the anti-automorphism ‘inverse’ on the semigroup of invertible versors. This class of projection operators is studied in some detail as the natural generalization of the subspace projection operators. Other generalized projection operators include projections ontoany invertible element, or a weighted projection ontoany element. This last projection operator even implies a possible projection operator for the zero element.     

Geometric Entities Voting Schemes in the Conformal Geometric Algebra Framework

Traditional methods for geometric entities resort to the Hough transform and tensor voting schemes for detect lines and circles. In this work, the authors extend these approaches using representations in terms of k-vectors of the Conformal Geometric Algebra. Of interest is the detection of lines and circles in images, and planes, circles, and spheres in the 3-D visual space; for that, we use the randomized Hough transform, and by means of k-blades we code such geometric entities. Motivated by tensor voting, we have generalized this approach for any kind of geometric entities or geometric flags formulating the perceptual saliency function involving k-vectors. The experiments using real images show the performance of the algorithms.     

Geometric Algebra for Multidimension-Unified Geographical Information System

Traditional Euclidean geometry-based Geographical Information System (GIS) is not multidimensional unification with weak ability to object expression and analysis of high dimensions. Geometric algebra (GA) can connect different geometric and algebra systems, and provide rigorous and elegant foundation for expression, modeling and analysis in GIS. This paper proposes the implementation methods for system construction and key components of multidimension-unified GIS. Based on such properties as multidimension-unified and coordinate-free of GA, data models, data indexes, and data analysis algorithms for multidimensional vector data, raster and vector field data are developed. This study indicates that GA provides a new mathematical tool for the development of GIS characterized as multidimension-unified expression and computation. For the development of geographical analysis methods, it can represent multidimensional spatio-temporal changes conveniently.     

A Conformal Geometric Algebra Based Clustering Method and Its Applications

Clustering is one of the most useful methods for understanding similarity among data. However, most conventional clustering methods do not pay sufficient attention to the geometric distributions of data. Geometric algebra (GA) is a generalization of complex numbers and quaternions able to describe spatial objects and the geometric relations between them. This paper uses conformal GA (CGA), which is a part of GA. This paper transforms data from a real Euclidean vector space into a CGA space and presents a new clustering method using conformal vectors. In particular, this paper shows that the proposed method was able to extract the geometric clusters which could not be detected by conventional methods.     

Rigid Body Dynamics Using Clifford Algebra

In this paper the dynamics of rigid bodies is recast into a Clifford algebra formalism. Specifically, the algebra Cℓ(0, 6, 2), is used and it is shown how velocities, momenta and inertias can be represented by elements of this algebra. The equations of motion for a rigid body are simply derived by differentiating the momentum of the body.     

On the Möbius Algebra of Geometric Lattices

The Möbius algebra of a poset was introduced by Solomon and also studied by Greene in the special case of lattices. Let denote a geometric lattice. Our key idea is to consider all the characteristic polynomials of upper intervals in as components of one object, which is multiplicative. Now, by simple algebraic means we obtain new identities involving the characteristic polynomial and the Tutte polynomial of a geometric lattice.     

Strapdown INS/GPS Integrated Navigation Using Geometric Algebra

A strapdown inertial navigation system (INS)/global positioning system (GPS) integrated navigation Kalman filter in terms of geometric algebra (GA) is proposed. Two error models, i.e., the additive GA error (AGAE) model and the multiplicative GA error (MGAE) model, are developed on the ground of the GA-based strapdown INS model. The AGAE model describes the navigation error by means of perturbation. In contrast, the MGAE model which is indirectly derived from the AGAE one, can physically represent the difference between the computed frame and the true frame. Subsequently, one Kalman filter is constructed on the basis of the MGAE model of the strapdown INS and the error model of GPS. A variety of simulations are carried out to test the proposed Kalman filter. The results show that the Kalman filter can reduce the navigation error remarkably.     

On the Fundamental Theorem of Geometric Algebra Over SF-Rings

For free modules over FS-rings, perspective maps are studied and thus the first ring version of the fundamental theorem of geometric algebra about the representation of perspective maps by the linear functions is proved. The results were announced in Kvirikashvili and Lashkhi (2005 Kvirikashvili , T. G. , Lashkhi , A. A. ( 2005 ). Perspective maps for modules . Math. Notes 7 ( 6 ): 876 – 877 . [Google Scholar]).