1
$\begingroup$

What follows is a list of terms all of whose relationships to one another I have never fully succeeded in establishing, despite having spent much of 6-8 years trying to so.

Feel no need to give exact algebraic definitions or explain the relationship of everything in the list: I just want to know as much as possible which objects are equivalent (ie same properties even if not usually the same construction), and which objects, when using a suitable construction, are just subsets/special cases of one another (eg complex numbers as special quaternions). Or when there exist canonical/trivial isomorphisms of some kind.

The dream answer would be some sort of partial order diagram.

  • Clifford algebra
  • Grassmann algebra
  • multilinear algebra
  • exterior algebra
  • tensor algebra
  • space-time algebras
  • geometric algebras
  • tensors/tensor analysis
  • differential forms
  • matrices
  • spinors
  • rotors
  • quaternions
  • octonions
  • Lie algebras

This list probably isn't even comprehensive. In any case, any help or insights into how to write these as a partial order would be greatly appreciated.

An example from Wikipedia, whose correctness I doubt:

example


There seem to be many problems here:

  1. Sometimes the same term is used for related but different concepts, or someone makes a new formulation of a prior concept which is not fully compatible, but trying to ride off of the name recognition of its antecedent, calls it the exact same thing.

    • (e.g. general algebraic "vector spaces" versus Euclidean vector spaces of "arrows", people who call geometric algebra Clifford algebra, etc.)
  2. Differentiating "equivalent" but not "identical" concepts, e.g. two different constructions which have the exact same properties (I guess from "a symbolic manipulation" or "high school algebra" as opposed to actual algebraic viewpoint).

    • Can someone edit in a link to the popular question about whether saying things like "the" real numbers is a misnomer? That is to some degree what I am getting at here.
  3. Constructive definitions which obscure the similarities and relationships to objects typically constructed in a radically different fashion (although obviously an equivalent construction has to be possible).

  4. Different notations or terminology for equivalent or even identical concepts varying from field to field.

There are more, I will try to add them to the list when I think of them.

$\endgroup$

closed as too broad by Najib Idrissi, Daniel W. Farlow, JonMark Perry, Claude Leibovici, user91500 Jul 5 '16 at 8:34

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • 1
    $\begingroup$ In creating this diagram, you may want to rethink some of the "element-like things" as "objects with a distinguished point." For example, "bivector" might become "vector space equipped with a distinguished bivector." Unless you do this kind of thing, drawing a diagram is going to be really hard. $\endgroup$ – goblin Jun 25 '16 at 4:48
  • 4
    $\begingroup$ This is dozens of questions in one. You should ask something more specific or go read a modern book in multilinear algebra and geometry. $\endgroup$ – symplectomorphic Jun 25 '16 at 5:16
  • 1
    $\begingroup$ Bishop and Golberg's Tensor Analysis on Manifolds is a nice reference. Read Hoffman and Kunze if your linear algebra is weak. (HK includes exterior algebra, dual spaces, and bilinear forms.) Bamberg and Sternberg's A Course in Mathematics for Students of Physics gives very good intuition for forms and Clifford algebras. $\endgroup$ – symplectomorphic Jun 25 '16 at 14:05
  • 2
    $\begingroup$ @William David Hestenes (and some of the other big names in GA) really like to hype their work -- probably because it's so overlooked. But as far as I know he has yet to prove his hypothesis that every smooth manifold is isomorphic to a vector manifold. Until he does (and probably even after), I'd take his "GA/GC subsumes differential geometry" talk with a grain of salt. $\endgroup$ – user137731 Jun 25 '16 at 18:23
  • 1
    $\begingroup$ Sorta (the theory is slightly different than usual, but it's just as rich -- see this), yes (it definitely has structures isomorphic to quaternions), and no (see Muphrid's answer here). $\endgroup$ – user137731 Jun 25 '16 at 18:30
0
$\begingroup$

Your list includes some subjects, some algebraic structures, and some objects within algebraic structures. I'll separate them to organize the list a little better. Anyone can feel free to contribute to/ edit this list as I'm certainly not an expert in all of this.

Subjects:

  • Linear Algebra: the study of vector spaces and the linear transformations between them.
    • Multilinear Algebra: A subtopic of linear algebra. The study of multilinear mappings (and thus also tensors).
    • Geometric Algebra: The subtopic of linear algebra. The study of geometric algebras.
  • Tensor Analysis: The study of tensors. Not included under Linear Algebra because Tensor Analysis doesn't just study the algebraic properties of tensors, but also their analytic properties.

Algebraic Structures (Actually all of these are algebras over a field/ ring):

  • Tensor Algebra: A free algebra on a vector space $V$ with the universal property that any linear transformation $f : V \to A$ from $V$ to an algebra $A$ over $\Bbb F$ can be uniquely extended to an algebra homomorphism from $T(V)$ to $A$.
  • Clifford Algebra: A unital, associative algebra over a field that is equipped with a quadratic form $q$. Clifford algebras can be constructed as the quotient of the tensor algebra $T(V)$ by the two-sided ideal generated by all elements of the form $x\otimes x-q(x)\mathbf 1$ for $x\in V$.
    • Geometric Algebra (yes GA can describe a structure or a subject): A Clifford algebra over the reals that is interpreted geometrically. Possibly only ever defined using the Euclidean or Minkowski quadratic forms.
      • Space-Time Algebra: The specific GA constructed from Minkowski space.
  • Exterior Algebra: The quotient algebra of the tensor algebra $T(V)$ by the two-sided ideal $I$ generated by all elements of the form $x\otimes x$ for $x \in V$. $\bigwedge V \cong Cl(V,q)$ which is natural for field of characteristic not 2.
  • Symmetric Algebra: The quotient algebra of the tensor algebra $T(V)$ by the ideal $I$ generated by all elements of the form $x\otimes y-y\otimes x$ for $x,y \in V$.
  • Lie Algebra: An algebra over a field whose product, called the Lie bracket, is bilinear, alternating, and satisfies the Jacobi identity. Note that bilinearity and alternation implies antisymmetry if field not of characteristic 2.

Objects Within Some Type of Structure:

  • Differential Forms: Vectors are to vector fields as covectors are to differential $1$-forms. $k$-forms are totally antisymmetric covariant tensor fields of order $k$. These objects are studied in linear algebra (including GA), tensor analysis, and differential geometry.
  • Matrices: A rectangular array of ... things (elements of a ring). Some of the operations defined on matrices include addition, scalar multiplication, matrix multiplication, kroenecker product, and the transpose. One of the major objects of study in linear algebra (and other branches of abstract algebra).
  • Spinors: Objects which flip when you rotate them by $2\pi$. Natural objects in GA.
    • Rotors: A spinor of the type $\text{scalar} + \text{bivector}$. Used for (you guessed it) rotating multivectors in geometric algebras.
      • Quaternions: A "higher dimensional version" of complex numbers. Representable by rotors in $\mathcal G^3$.
  • Octonions: An even higher dimensional (dim = 8) version of complex numbers. Note that octonion multiplication is not associative. I've seen the claim that these are representable in Clifford algebras but I haven't looked into it at all.
$\endgroup$
  • $\begingroup$ Wait so Lie algebras are anything that satisfies the commutator relations? Eg Poisson brackets are a Lie algebra? This is making so much more sense to me now all of the sudden for some reason. Thank you so much for your excellent answer! $\endgroup$ – Chill2Macht Jun 25 '16 at 19:38
  • 2
    $\begingroup$ @user349357 That's your prerogative of course, but there's a reason that I made the answer a CW. It's in the third sentence: "Anyone can feel free to contribute to this list as I'm certainly not an expert in all of this." If you feel I've made a mistake, please edit the answer to correct it. $\endgroup$ – user137731 Jun 28 '16 at 20:24
  • 1
    $\begingroup$ @William In most applications it is done over more general rings and not just fields. E.g. in differential geometry you take tensor products over the ring of smooth functions (this can be used to define tensor fields). There is a difference between how a subject should be taught to beginners and how a subject is. $\endgroup$ – syzygy Jun 29 '16 at 0:24
  • 1
    $\begingroup$ Also I believe that "Space-Time Algebra" should be in the last section. Linear algebra, as most people understand, does not limit to finite-dimensional spaces. The main reason why most low-level courses focus on finite-dimensional spaces is that only for finite-dimensional spaces matrices are useful. Perhaps the OP is also interested in the fact that any associative algebra gives (in a functorial way) rise to a Lie algebra by taking commutators. $\endgroup$ – syzygy Jun 29 '16 at 0:26
  • 1
    $\begingroup$ The algebra of differential forms can also be viewed as an exterior algebra (taking over C^infty) of the 1-forms. $\endgroup$ – syzygy Jun 29 '16 at 0:30
1
$\begingroup$

According to Wikipedia and some papers:

Exterior algebra = Grassmann algebra (= differential forms, since they are a construction of the exterior algebra) (=derivations, since derivations are just one possible construction of the dual object to differential forms).

EDIT: To make the claim that "exterior algebra=differential forms" precise, since as it stands it is not accurate/precisely formulated, make note of the fact that, as @user349357 points out, "the algebra of differential forms can also be viewed as an exterior algebra (taken over $C^{\infty}$) of the 1-forms".

Also, we can make note of the fact that for the geometric algebra (over $\mathbb{R}^n$) there is a natural embedding of the exterior algebra (over $\mathbb{R}^n$) inside of it, so we should expect that, by finding a suitable identification of 1-vectors and 1-forms, we should be able to identify the differential forms over $\mathbb{R}^n$ with an embedding inside of the geometric algebra over $\mathbb{R}^n$; David Hestenes has given a more comprehensive description of this process, to be found here. /EDIT

Multilinear algebra contains differential forms as a special case, so exterior=Grassmann algebra=outer/wedge product are contained in multilinear algebra.

Quadratic forms are just a special case of bilinear forms which are a special case of multilinear algebra.

Quadratic forms are also a special type of tensor, which is a special type of tensor algebra.

Both inner and outer products are special types of operations encompassed by geometric algebras.

Real numbers, complex numbers, quaternions, spinors, and rotors are all just objects in a real geometric algebra. Spinors are the even-grade subalgebra of geometric algebra I believe.

EDIT: Octonions are a non-associative algebra over the reals, whereas every Clifford algebra is an associative algebra by definition. Therefore octonions cannot be encompassed within either the geometric algebra or the more general Clifford algebra framework. Octonions are in fact the first non-associative real division algebras (with the associative real division algebras being the reals, the complex numbers, and the quaternions, all of which fit within the geometric algebra framework). /EDIT

A Clifford algebra is an algebra which relates a vector space over any type of a field to some type of quadratic form. (This is CLEARLY more general than whatever Clifford wrote about in the 19th century, which in my opinion is a complete misnomer which serves only to confuse the uninitiated.)

A geometric algebra is just a special type of Clifford algebra, any Clifford of a vector space over the real numbers.

Also apparently every multivector is a tensor, but not vice versa. See what's the relationship of tensor and multivector. These two documents (1) (2) give detailed explanations of how to represent some multivectors as tensors.

An exterior/Grassmann algebra is just a Clifford algebra using a degenerate quadratic form.

The quadratic form aspect aspect of Clifford algebras is probably then somehow be related to Riemannian metrics, and the choice of Euclidean vis a vis Minkowski/Lorentz metric determines what type of geometry is done.

In fact I think that Wikipedia implies that spacetime algebras are just a special type of geometric algebra contingent upon the correct choice of metric (the Minkowski/Lorentz metric), allowing us to use them for relativistic physics, while geometric algebra with the Euclidean metric allows us to describe classical physics.

The relationship to Riemannian metrics implicit in the quadratic forms which are part of geometric/Clifford algebras probably constitutes their connection to differential geometry, and probably means the latter has something to do with the Riemannian Clifford algebra also called the orthogonal Clifford algebra according to Wikipedia.

The representation of quadratic forms as square symmetric matrices also allows us to represent Riemannian metrics as square symmetric matrices.

A Clifford algebra is the quotient of a tensor algebra.

Also, since Clifford algebras are endowed with a quadratic form, which is a special case of a bilinear form, which is an object from multilinear algebra, and since vector spaces are described linear algebra which is a special case of multilinear algebra, and since Clifford algebras consist of a quadratic form and a vector space related somehow, they must also be a special case of multilinear algebra.

Dual objects exist in any linear or vector algebra framework, hence also in geometric algebras, which generalize linear algebra/vector spaces/vector calculus, and also in multilinear algebra, which also generalizes linear algebra.

Since matrices are part of linear algebra, then they must be a special case of multilinear algebra. Matrices also provide coordinate representations for rank 2 tensors, therefore must be special cases of tensor analysis, which itself is a special case of tensor algebra.

Pseudoscalars are just the dual objects to scalars, hence are special cases of exterior and geometric algebras, they are also equivalent to volume elements and hence determinants, and hence are a special case of multilinear algebra.

Bra-kets are just vectors and dual vectors and hence are generalized by geometric (hence Clifford and tensor) algebras as well as multilinear algebra.

I think covectors and pseudovectors are both just bras (the dual objects to vectors), although I am not entirely certain.

I have no idea how Lie algebras relate to the others. I know they are related to Lie groups, which are generalizations of matrix groups, which are special cases of both tensor and multilinear algebra as a result, but that is all I know. The generalization afforded by Lie algebras could be in an entirely different direction as far as I know.

EDIT: is does seem that the generalization is likely in a different direction, since Lie algebras provide many examples of non-associative algebras, whereas all Clifford algebras, and I believe even all tensor algebras, are associative by definition.

Also, as @user349357 points out, "any associative algebra gives a Lie algebra (in a functorial way) by taking commutators". So even if Lie algebras are not necessarily sub-algebras of the tensor/multilinear algebra, it still follows that they are natural objects of study for those algebras as much as commutators are natural objects of study./EDIT

What is the difference between tensor algebras and graded algebras? Is the former just the simplest case of the latter? Is multilinear algebra also a graded algebra?

Also what is the relationship between tensor algebras and multilinear algebra? (since these seem like the two most general objects to me based on the above).

EDIT: Multilinear algebra is a subject, not really an object, which studies tensors. A tensor algebra is a graded algebra consisting of all of the tensors of all orders which are generated from the underlying vector space. There are other types of graded algebras, saying an algebra is a graded algebra just means that it is a direct of subspaces indexed by the natural numbers, so is more of a descriptive term (adjective) than a name (noun). So confusingly enough, multilinear algebra is essentially the study of tensor algebras, because the word "tensor" is just a fancy way of saying "tensor product of vectors and/or dual/co-vectors" (in the simplest cases $n$-dimensional arrays), and multilinear maps/transformations are the structure-preserving functions which act on tensors, hence the name multilinear algebra. (For instance the determinant is just a multilinear map that takes $n$ vectors as an argument.) So the fact that geometric and Clifford algebras to generalize to both multilinear algebra and tensor algebras is not only not problematic and to be expected, it is essentially tautological. Thus the relationship between all of these structures is actually much cleaner/simpler to be expected than would be feared. /EDIT

If I want to understand "all of them", should I learn tensor analysis and tensor algebra or multilinear algebra? Is one a generalization of the other?

EDIT It seems like the best way to do this would be to learn about/understand tensor=multilinear algebra over an arbitrary commutative ring, understand how to consider the symmetric and exterior algebras over the same ring as both (1) quotients of that tensor algebra and (2) sub-algebras of that tensor algebra. Then learn/understand how the structures over $\mathbb{R}^n$ ("tensor analysis") can be considered special cases of this framework.

If outer products correspond to exterior algebras, then do inner products correspond to symmetric algebras?

EDIT: Yes, they do. At least for geometric algebras (which are a type of Clifford algebra over fields with characteristic zero), the symmetric tensors in the tensor algebra generated by the reals can be naturally identified with the elements of the symmetric algebra formed by quotienting the tensor algebra. The symmetric product has the form $$vw \mapsto \frac{1}{2} \left( v \otimes w + w \otimes v \right),$$ which is exactly the geometric inner product. Hence for a given associative tensor algebra, the corresponding Clifford algebra generalizes both its symmetric and exterior algebras. So the claim that Clifford algebras are more general than Grassmann algebras is clearly very true. /EDIT

Why do people claim that geometric algebra is all-encompassing when it is a special case of a Clifford algebra which is a special case of tensor algebra as well as a special case of multilinear algebra?

EDIT Usually when making such claims, people are only referring to other algebras over $\mathbb{R}^n$, of which the geometric algebra is a special case. Obviously it is not and could not be a generalization of arbitrary multilinear modules or Clifford modules over any commutative ring. When they say that it subsumes "everything" they are usually only referring to the use of exterior or symmetric algebraic structures over $\mathbb{R}^n$ (e.g. quaternions or spinors or cross products), and not all arbitrary tensors over $\mathbb{R}^n$ which it clearly does not subsume. In fact, while there definitely cannot exist an embedding of the tensor algebra over $\mathbb{R}^n$ into the geometric algebra over $\mathbb{R}^n$, an embedding in the opposite direction presumably could exist, although there may not exist any "natural" or "canonical" choice for such an embedding.

A simple way to phrase the above is that while geometric algebra over $\mathbb{R}^n$ may subsume vector algebra (over the same space), it does not subsume matrix algebra over the same space (although here we should be careful, because it does arguably subsume some special subclasses of matrices, for instance the use of orthogonal matrices to represent rotations). See this question for more details on this topic. /EDIT

$\endgroup$
  • 2
    $\begingroup$ Some notes: Kets = vectors or vector fields and Bras = covectors or differential forms (physicists don't really distinguish in either case). Then a bra-ket is the inner product. Pseudovectors are not the same as bras. Pseudovectors are an attempt to explain an idea that is better explained by tensors, $2$-forms, or bivectors. You're also confusing a couple of different meanings of the word "dual". The dual space in (multi)linear algebra is completely different than the (Hodge) dual of a multivector. Pseudoscalars play a role similar to the volume forms in differential forms. $\endgroup$ – user137731 Jun 25 '16 at 18:02
  • 2
    $\begingroup$ More notes: I definitely wouldn't say that matrices are a "special case of geometric algebra". I probably wouldn't even say they're a special case of multilinear algebra. I wouldn't say that GA generalizes linear algebra, either. GA is a part of linear algebra. A quadratic form is not a special case of a bilinear form -- they're different but related objects. The study of exterior algebras is a little more general than the study of different forms. I wouldn't say bilinear forms are a special case of multilinear algebra but rather an object studied in multilinear algebra. $\endgroup$ – user137731 Jun 25 '16 at 18:06
  • 1
    $\begingroup$ I suppose, but I still wouldn't treat them as the same because dual spaces generalize to cotangent spaces and then further to cotangent bundles. I'm not sure, but I don't think GA extends quite that far. $\endgroup$ – user137731 Jun 25 '16 at 18:12
  • 1
    $\begingroup$ There isn't a one-to-one correspondence in characteristic 2 fields. If you want to forget about those I guess you could consider qf's as a special type of bf's. $\endgroup$ – user137731 Jun 25 '16 at 18:15
  • 1
    $\begingroup$ The symmetric algebra (polynomial algebra) is infinite-dimensional, so it can't be represented as multivectors in geometric algebra; but it can be represented as operators in geometric calculus. A vector $a$ corresponds to the directional derivative a⋅∇, and the symmetric product is (a⋅∇)(b⋅∇)=(b⋅∇)(a⋅∇). Alternatively, a covector $\alpha$ corresponds to scalar multiplication f(x)↦(α⋅x)f(x), and the symmetric product is multiplication of scalars f(x)↦(α⋅x)(β⋅x)f(x). These combine in en.wikipedia.org/wiki/Weyl_algebra $\endgroup$ – mr_e_man Dec 15 '18 at 5:01

Not the answer you're looking for? Browse other questions tagged or ask your own question.