This textbook for the second year undergraduate linear algebra course presents a unified treatment of linear algebra and geometric algebra, while covering most of the usual linear algebra topics. -/- Geometric algebra and its extension to geometric calculus simplify, unify, and generalize vast areas of mathematics that involve geometric ideas. Geometric algebra is an extension of linear algebra. The treatment of many linear algebra topics is enhanced by (...) geometric algebra, for example, determinants and orthogonal transformations. And geometric algebra does much more, as it incorporates the complex, quaternion, and exterior algebras, among others. (shrink)

The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.

The geometrical algebra hypothesis was once the received interpretation of Greek mathematics. In recent decades, however, it has become anathema to many. I give a critical review of all arguments against it and offer a consistent rebuttal case against the modern consensus. Consequently, I find that the geometrical algebra interpretation should be reinstated as a viable historical hypothesis.

As part of his program to unify linear algebra and geometry using the language of Clifford algebra, David Hestenes has constructed a (well-known) isomorphism between the conformal group and the orthogonal group of a space two dimensions higher, thus obtaining homogeneous coordinates for conformal geometry.(1) In this paper we show that this construction is the Clifford algebra analogue of a hyperbolic model of Euclidean geometry that has actually been known since Bolyai, Lobachevsky, and Gauss, and we explore (...) its wider invariant theoretic implications. In particular, we show that the Euclidean distance function has a very simple representation in this model, as demonstrated by J. J. Seidel.(18). (shrink)

ArgumentThe aim of this paper is to employ the newly contextualized historiographical category of “premodern algebra” in order to revisit the arguably most controversial topic of the last decades in the field of Greek mathematics, namely the debate on “geometrical algebra.” Within this framework, we shift focus from the discrepancy among the views expressed in the debate to some of the historiographical assumptions and methodological approaches that the opposing sides shared. Moreover, by using a series of propositions related (...) toElem.II.5 as a case study, we discuss Euclid's geometrical proofs, the so-called “semi-algebraic” alternative demonstrations attributed to Heron of Alexandria, as well as the solutions given by Diophantus, al-Sulamī, and al-Khwārizmī to the corresponding numerical problem. This comparative analysis offers a new reading of Heron's practice, highlights the significance of contextualizing “premodern algebra,” and indicates that the origins of algebraic reasoning should be sought in the problem-solving practice, rather than in the theorem-proving tradition. (shrink)

ABSTRACTThis paper provides a detailed account of the period of the complex history of British algebra and geometry between the publication of George Peacock's Treatise on Algebra in 1830 and William Rowan Hamilton's paper on quaternions of 1843. During these years, Duncan Farquharson Gregory and William Walton published several contributions on ‘algebraical geometry’ and ‘geometrical algebra’ in the Cambridge Mathematical Journal. These contributions enabled them not only to generalize Peacock's symbolical algebra on the basis of geometrical (...) considerations, but also to initiate the attempts to question the status of Euclidean space as the arbiter of valid geometrical interpretations. At the same time, Gregory and Walton were bound by the limits of symbolical algebra that they themselves made explicit; their work was not and could not be the ‘abstract algebra’ and ‘abstract geometry’ of figures such as Hamilton and Cayley. The central argument of the paper is that an understanding of the contributions to ‘algebraical geometry’ and ‘geometrical algebra’ of the second generation of ‘scientific’ symbolical algebraists is essential for a satisfactory explanation of the radical transition from symbolical to abstract algebra that took place in British mathematics in the 1830s–1840s. (shrink)

The interpretation of complex eigenvalues of linear transformations defined on a real geometric algebra presents problems in that their geometric significance is dependent upon the kind of linear transformation involved, as well as the algebraic lack of universal commutivity of bivectors. The present work shows how the machinery of geometric algebra can be adapted to the study of complex linear operators defined on a unitary space. Whereas the well-defined geometric significance of real geometric (...) algebra is not lost, the primary concern here is the study of the algebraic properties of complex eigenvalues and eigenvectors of these operators. (shrink)

The modern use of algebra to describe geometric ideas is discussed with particular reference to the constructions of Grassmann and Hamilton and the subsequent algebras due to Clifford. An Einstein addition law for nonparallel boosts is shown to follow naturally from the use of the representation-independent form of the geometric algebra of space-time.

This paper contains a tutorial introduction to the ideas of geometric algebra, concentrating on its physical applications. We show how the definition of a “geometric product” of vectors in 2-and 3-dimensional space provides precise geometrical interpretations of the imaginary numbers often used in conventional methods. Reflections and rotations are analyzed in terms of bilinear spinor transformations, and are then related to the theory of analytic functions and their natural extension in more than two dimensions (monogenics), Physics is (...) greatly facilitated by the use of Hestenes' spacetime algebra, which automatically incorporates the geometric structure of spacetime. This is demonstrated by examples from electromagnetism. In the course of this purely classical exposition many surprising results are obtained—results which are usually thought to belong to the preserve of quantum theory. We conclude that geometric algebra is the most powerful and general language available for the development of mathematical physics. (shrink)

Elementary particles are considered as local oscillators under the influence of zeropoint fields. Such oscillatory behavior of the particles leads to the deviations in their path of motion. The oscillations of the particle in general may be considered as complex rotations in complex vector space. The local particle harmonic oscillator is analyzed in the complex vector formalism considering the algebra of complex vectors. The particle spin is viewed as zeropoint angular momentum represented by a bivector. It has been shown (...) that the particle spin plays an important role in the kinematical intrinsic or local motion of the particle. From the complex vector formalism of harmonic oscillator, for the first time, a relation between mass $m$ and bivector spin $S$ has been derived in the form $\varvec{\sigma }_3 mc^2{\mathcal {J}}_{\pm } =\lambda \Omega _{\mathbf{s}} \cdot \mathrm{{S}} {\mathcal {J}}_{\pm }$ . Where, $\Omega _{s}$ is the angular velocity bivector of complex rotations, $c$ is the velocity of light. The unit vector $\varvec{\sigma }_3$ acts as an operator on the idempotents ${\mathcal {J}}_{+}$ and ${\mathcal {J}}_{-}$ to give the eigen values $\lambda =\pm 1.$ The constant $\lambda $ represents two fold nature of the equation corresponding to particle and antiparticle states. Further the above relation shows that the mass of the particle may be interpreted as a local spatial complex rotation in the rest frame. This gives an insight into the nature of fundamental particles. When a particle is observed from an arbitrary frame of reference, it has been shown that the spatial complex rotation dictates the relativistic particle motion. The mathematical structure of complex vectors in space and spacetime is developed. (shrink)

© 2018, Springer International Publishing AG, part of Springer Nature. Aristotelian diagrams are used extensively in contemporary research in artificial intelligence. The present paper investigates the geometric and cognitive differences between two types of Aristotelian diagrams for the Boolean algebra B4. Within the class of 3D visualizations, the main geometric distinction is that between the cube-based diagrams and the tetrahedron-based diagrams. Geometric properties such as collinearity, central symmetry and distance are examined from a cognitive perspective, focusing (...) on diagram design principles such as congruence/isomorphism and apprehension. The cognitive effectiveness of the different visualizations is compared for the representation of implication versus opposition relations, and for subdiagram embeddings. (shrink)

This textbook for the undergraduate vector calculus course presents a unified treatment of vector and geometric calculus. It is a sequel to my Linear and Geometric Algebra. That text is a prerequisite for this one. -/- Linear algebra and vector calculus have provided the basic vocabulary of mathematics in dimensions greater than one for the past one hundred years. Just as geometric algebra generalizes linear algebra in powerful ways, geometric calculus generalizes vector (...) calculus in powerful ways. (shrink)

It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the numbers ${\mid (...) Col(P)\mid\over {\mid Col(D)\mid/\mid Dil(D)\mid}}$ where D ranges over a list of the non-isomorphic affine geometries having P as their geometry at infinity. This formula is used to compute the number of inequivalent representations of relation algebras constructed over projective lines of order at most 10. For instance, the relation algebra constructed over the projective line of order 9 has 56,700 mutually inequivalent representations. (shrink)

Nam ibn M recently edited and translated in French by Roshdi Rashed and Christian Houzel bit ibn Qurras treatise is its large use of a form of inferences that can be said in a sense that will be explained. They occur both in proofs of theorems and in solutions of problems. In the latter case, they enter different sorts of problematic analyses that are mainly used to reduce the geometrical problems they are concerned with to al-Khw’s equations.

I summarize Silberstein, et. al’s (2006) discussion of the derivation of the Heisenberg commutators, whose work is based on Kaiser (1981, 1990) and Bohr, et. al. (1995, 2004a,b). I argue that Bohr and Kaiser’s treatment is not geometric enough, as it still relies on some unexplained residual notions concerning the unitary representation of transformations in a Hilbert space. This calls for a more consistent characterization of the role of i than standard QM can offer. I summarize David Hestenes’ (1985,1986) (...) major claims concerning the essential role Clifford algebras play in such a fundamental characterization of i, and I present a Clifford- algebraic derivation of the Heisenberg commutation relations (taken from Finkelstein, et. al. (2001)). I argue that their derivation exhibits a more fundamentally geometrical approach, which unifies geometric and ontological content. I also point out how some of Finkelstein’s ontological notions of “chronon dynamics” can give a plausible explanatory account of RBW’s “geometric relations.”. (shrink)

The basic methods of constructing the sets of mutually unbiased bases in the Hilbert space of an arbitrary finite dimension are reviewed and an emerging link between them is outlined. It is shown that these methods employ a wide range of important mathematical concepts like, e.g., Fourier transforms, Galois fields and rings, finite, and related projective geometries, and entanglement, to mention a few. Some applications of the theory to quantum information tasks are also mentioned.

For more than a century, there has been some discussion about whether medieval Arabic al-jabr has its roots in Indian or Greek mathematics. Since the 1930s, the possibility of Babylonian ultimate roots has entered the debate. This article presents a new approach to the problem, pointing to a set of quasi-algebraic riddles that appear to have circulated among Near Eastern practical geometers since c. 2000 BCE, and which inspired first the so-called “algebra” of the Old Babylonian scribal school and (...) later the geometry of Elements II. The riddles also turn up in ancient Greek practical geometry and Jaina mathematics. Eventually they reached European mathematics via the Islamic world. However, no evidence supports a derivation of medieval Indian algebra or the original core of al-jabr from the riddles. (shrink)

We prove that there exists no sentence F of the language of rings with an extra binary predicat I2 satisfying the following property: for every definable set X ⊆ ℂ2, X is connected if and only if ⊧ F, where I2 is interpreted by X. We conjecture that the same result holds for closed subset of ℂ2. We prove some results motivated by this conjecture.

The necessary appearance of Clifford algebras in the quantum description of fermions has prompted us to re-examine the fundamental role played by the quaternion Clifford algebra, C 0,2 . This algebra is essentially the geometric algebra describing the rotational properties of space. Hidden within this algebra are symplectic structures with Heisenberg algebras at their core. This algebra also enables us to define a Poisson algebra of all homogeneous quadratic polynomials on a two-dimensional sub-space, (...) $\mathbb{F}^{a}$ of the Euclidean three-space. This enables us to construct a Poisson Clifford algebra, ℍ F , of a finite dimensional phase space which will carry the dynamics. The quantum dynamics appears as a realisation of ℍ F in terms of a Clifford algebra consisting of Hermitian operators. (shrink)

We reformulate minimalist grammars as partial functions on term algebras for strings and trees. Using filler/role bindings and tensor product representations, we construct homomorphisms for these data structures into geometric vector spaces. We prove that the structure-building functions as well as simple processors for minimalist languages can be realized by piecewise linear operators in representation space. We also propose harmony, i.e. the distance of an intermediate processing step from the final well-formed state in representation space, as a measure of (...) processing complexity. Finally, we illustrate our findings by means of two particular arithmetic and fractal representations. (shrink)

The fragmentary nature ofGSmakes it difficult to read as it stands, and for this reason, I have rearranged the material slightly so that it falls into four primary, reasonably coherent, parts. Their titles are: ‘The nature of mathematical objects’, ‘Thirteen propositions of Euclid 1’, ‘The philosophy of parallel lines’ and ‘On the algebra of geometrical figures’.GSactually starts with ‘Thirteen propositions of Euclid 1’. The justification for the reversal of order in the translation is to have Hegel's philosophical basis for (...) geometry available first, to provide a context for his detailed discussion of geometrical propositions. The reader can easily reconstruct the original order ofGSas follows. Interchange the first and second parts and also the third and fourth parts. Next, move the passages marked a …. a', b …. b',c….c'to the places in the text markeda-a',b-b'andc-c'. For the reader wishing to locate the original German passages inDok., the page and paragraph for each of these passages are given at the start of that passage.In addition, subtitles for sections in these parts have been added which do not appear in the original. They are included in the translation to help orient the reader. I have inserted in some places words not in the original in order to clarify the meaning of the text. These insertions as well as my comments on the text are also enclosed within square brackets. Further clarifications can be found in the appended endnotes. (shrink)

Most of what is told in this paper has been told before by the same author, in a number of publications of various kinds, but this is the first time that all this material has been brought together and treated in a uniform way. Smaller errors in the earlier publications are corrected here without comment. It has been known since the 1920s that quadratic equations played a prominent role in Babylonian mathematics. See, most recently, Høyrup (Hist Sci 34:1–32, 1996, and (...) Lengths, widths, surfaces: a portrait of old Babylonian algebra and its kin. Springer, New York, 2002). What has not been known, however, is how quadratic equations came to play that role, since it is difficult to think of any practical use for quadratic equations in the life and work of a Babylonian scribe. One goal of the present paper is to show how the need to find solutions to quadratic equations actually arose in Mesopotamia not later than in the second half of the third millennium BC, and probably before that in connection with certain geometric division of property problems. This issue was brought up for the first time in Friberg (Cuneiform Digit Lib J 2009:3, 2009). In this connection, it is argued that the tool used for the first exact solution of a quadratic equation was either a clever use of the “conjugate rule” or a “completion of the square,” but that both methods ultimately depend on a certain division of a square, the same in both cases. Another, closely related goal of the paper is to discuss briefly certain of the most impressive achievements of anonymous Babylonian mathematicians in the first half of the second millennium BC, namely recursive geometric algorithms for the solution of various problems related to division of figures, more specifically trapezoidal fields. For an earlier, comprehensive (but less accessible) treatment of these issues, see Friberg (Amazing traces of a Babylonian origin in Greek mathematics. WorldScientific, Singapore 2007b, Ch. 11 and App. 1). (shrink)

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi (...) for both classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

We review some of the essential novel ideas introduced by Bohm through the implicate order and indicate how they can be given mathematical expression in terms of an algebra. We also show how some of the features that are needed in the implicate order were anticipated in the work of Grassmann, Hamilton, and Clifford. By developing these ideas further we are able to show how the spinor itself, when viewed as a geometric object within a geometric (...) class='Hi'>algebra, can be given a meaning which transcends the notion of the usual metric geometry in the sense that it must be regarded as an element of a broader and more general pregeometry. (shrink)

The formulas for the Lie covariant differentiation of spinors are deduced from an algebraic viewpoint. The Lie covariant derivative of the spinor connection is calculated, and is given a geometric meaning. A theorem about the Lie covariant derivative of an operator in spin space that was stated in Part I of this work is discussed.

Density matrices for mixed state qubits, parametrized by the Bloch vector in the open unit ball of the Euclidean 3-space, are well known in quantum computation theory. We bring the seemingly structureless set of all these density matrices under the umbrella of gyrovector spaces, where the Bloch vector is treated as a hyperbolic vector, called a gyrovector. As such, this article catalizes and supports interdisciplinary research spreading from mathematical physics to algebra and geometry. Gyrovector spaces are mathematical objects that (...) form the setting for the hyperbolic geometry of Bolyai and Lobachevski just as vector spaces form the setting for Euclidean geometry. It is thus interesting, in geometric quantum computation, to realize that the set of all qubit density matrices has rich structure with strong link to hyperbolic geometry. Concrete examples for the use of the gyro-structure to derive old and new, interesting identities for qubit density matrices are presented. (shrink)

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar (...) Tabatabai (Implication via spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category $${\mathcal {S}}$$ S, provided that $${\mathcal {S}}$$ S has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication. (shrink)

We employ the notions of "sequential function" and "interrogation" (dialogue) in order to define new partial combinatory algebra structures on sets of functions. These structures are analyzed using Longley's preorder-enriched category of partial combinatory algebras and decidable applicative structures. We also investigate total combinatory algebras of partial functions. One of the results is that every realizability topos is a geometric quotient of a realizability topos on a total combinatory algebra.

In this paper we present a general theory of normal forms, based on a categorial result for the free monoid construction. We shall use the theory mainly for proposictional modal logic, although it seems to have a wider range of applications. We shall formally represent normal forms as combinatorial objects, basically labelled trees and forests. This geometric conceptualization is implicit in and our approach will extend it to other cases and make it more direct: operations of a purely (...) class='Hi'>geometric and combinatorial nature will be introduced in order to give a mathematical description of the basic logical/algebraic constructions .We begin by recalling the above-mentioned categorial construction: we need a careful inspection of it because in the various examples considered later we plan to deduce from it in a uniform way the normal forms and the description of finitely generated free algebras. This method always works whenever we can describe the category of algebras corresponding to the logic under consideration as a T-objects category. When this simple description seems not to be available, still the general theory might be of some interest, because a description of the category of algebras as a T-objects category plus equation is possible .The central part of the paper is more advanced and specific: we show how the general approach presented here can provide some insights even in the basic case of the modal system K. Section 4 contains a contribution to the theory of normal forms, namely the description of the uniform substitution. This result will enable us to give a duality theorem for the category of finitely generated free modal algebras and in Section 5 to provide a characterization of the collections of normal forms which happen to be normal forms for a logic, thus giving a description of the lattice of modal logics.Section 6 deals with some applications: we shall show how to use normal forms in order to prove for the modal system K the definability of higher-order propositional quantifiers and of the tense operator F .As to the prerequisites, the paper is almost self-contained. The reader is only assumed to have familiarity with standard techniques in algebraic logic ). Knowledge of the basic facts about adjoint functors is required too, see e.g. McLane or the appendix. (shrink)

© 2017 by the authors. Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron, the tetrakis hexahedron, the (...) tetraicosahedron and the nested tetrahedron. After an in-depth investigation of the geometrical properties and interrelationships of these polyhedral diagrams, we analyze the correlation between logical and geometrical distance in each of these diagrams. The outcome of this analysis is that the Aristotelian rhombic dodecahedron and tetrakis hexahedron exhibit the strongest degree of correlation between logical and geometrical distance; the tetraicosahedron performs worse; and the nested tetrahedron has the lowest degree of correlation. Finally, these results are used to shed new light on the relative strengths and weaknesses of these polyhedral Aristotelian diagrams, by appealing to the congruence principle from cognitive research on diagram design. (shrink)

A ternary relation [Formula: see text] between subsets of the big model of a complete first-order theory T is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth studying. The main application is a better understanding of thorn-forking, which turns out to be (...) closely related to modular pairs in the lattice of algebraically closed sets. (shrink)

One of the mathematical topics examined in the Old Babylonian period consisted of calculating the size of a reed which was used to measure either a longitude or the perimeter of a rectangle or trapezium. These subjects were solved, probably, applying the geometric construction called completing the square. In this paper, we analyse the problem texts on the tablets AO 6770 (5), Str 368, VAT 7532, and VAT 7535.

This paper compares two 3D logical diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron and the nested tetrahedron. Geometric properties such as collinearity and central symmetry are examined from a cognitive perspective, focussing on diagram design principles such as congruence/isomorphism and apprehension.

Starting from the geometric calculus based on Clifford algebra, the idea that physical quantities are Clifford aggregates (“polyvectors”) is explored. A generalized point particle action (“polyvector action”) is proposed. It is shown that the polyvector action, because of the presence of a scalar (more precisely a pseudoscalar) variable, can be reduced to the well known, unconstrained, Stueckelberg action which involves an invariant evolution parameter. It is pointed out that, starting from a different direction, DeWitt and Rovelli postulated the (...) existence of a clock variable attached to particles which serve as a reference system for identification of spacetime points. The action they postulated is equivalent to the polyvector action. Relativistic dynamics (with an invariant evolution parameter) is thus shown to be based on even stronger theoretical and conceptual foundations than usually believed. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and (...) we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)