''CliffordAlgebraInverseDiscussion is for the discussion of the inversion of CliffordAlgebra objects, which has been developed by DougMerritt, JohnFletcher and others. As various topics are resolved it will become CliffordAlgebraInverse.'' -- JohnFletcher ---- Your page CliffordAlgebraIdempotents seems to suggest use of the binomial theorem for negative powers - but no justification is given. ''See added material on CliffordAlgebraIdempotents and comments below.'' -- JohnFletcher ''Good point. To phrase it a different way, it appears that invertible/non-invertible elements and questions of division algebras has not been addressed at all on the clifford algebra web pages, yet must be, prior to generalizing powers that way. -- Doug'' That gets into a whole other area which addresses these points. CliffordAlgebra''''''s are isomorphic each to a matrix representation, which does not contain the geometric information. What it does mean is that any object is invertible unless the matrix is singular, which is the case for the idempotent objects. For all objects the characteristic polynomial of the matrix also applies to the Clifford object, and if the polynomial can be found, then the inversion can also be found. There is some reference to this in the Snygg paper I reference on CliffordAlgebraIdempotents and also some examples in this paper of mine, also from the AGACSE2001 conference. -- JohnFletcher http://www.ceac.aston.ac.uk/research/staff/jpf/papers/paper24/index.php What of the fact that for a negative power, the binomial expansion isn't finite and needn't converge? ''See CliffordAlgebraIdempotents. I do not know if the Snygg paper is on line.'' -- JohnFletcher I'm still not happy with this. Appealing to representations is indirect, and I would think of questionable rigor. The Snygg argument you present does not appear to prove the '''existence''' of e1^-1, nor does it appear to say anything about the existence of inverses of non-units. The whole question of what is invertible and what is not, approached directly rather through representations, seems to me to still be completely up in the air. -- DougMerritt ''As I understand it the relevant definition of an inverse is that if there exists'' '''a''' ''and'' '''b''' ''such that'' '''a b''' = 1 ''then each is the inverse of the other. In this case'' '''e1 e1''' = 1 ''so that the inverse exists and is'' '''e1''' ''itself. Please explain what more you want.'' ''There is something about the general inverse on HestenesOerstedMedalLecture p.12 and 13.'' ''I think that full'' '''proof''' ''is beyond what I have been expecting to provide in these pages. That needs a text book e.g. CliffordAlgebrasAndSpinors. I would have recommended a debate on rigor with Lounesto himself, but sadly he died several years ago. He was a great contributor and debator on news groups.'' -- JohnFletcher My point related specifically to using the binomial theorem as a starting point, as it needn't converge when applied to complex (or real) numbers for a negative (or non-integer) exponent. ''Rereading what I had put on CliffordAlgebraIdempotents, I can see where you could see a direct implication, where what I mean was that this was the result. I hope that the way I have put it now makes this clear. Do you have a problem with the way that it is now?'' -- JohnFletcher ''There are many cases in CliffordAlgebra where series are truncated where they would not be in real algebra. In this case, the binomial theorem works differently for this pair of idempotent objects and coefficients, because they are the eigen solutions and eigenvalues of the characteristic polynomial of the object. All I am doing is quoting from the Snygg paper, which I was looking at last night and would have put some bits in from it, but the edit code was not working last night. Snygg shows that in general it is possible to break down any CliffordAlgebra object apart from a scalar into a sum of terms. It is the fact that for a vector and some other similar objects the characteristic polynomial is quadratic with real roots and this means that the decomposition is very straightforward.'' -- JohnFletcher Your first mention of the binomial theorem uses it for a non-negative integer exponent, but you should make that explicit. For any other exponent, you can't use the word "theorem", because you haven't established or referenced a general binomial theorem. Similar problems could easily occur for other series. ''I suggest that you contribute a page on the BinomialTheorem. As far as I am concerned, BinomialTheorem is a phrase in common usage to cover the expansion of powers of a term, and it is the use of the word theorem which is a little unusual, as the simpler results can be established very easily. The point about the expression with the -1 power is that I do not use an expansion.'' -- JohnFletcher I wasn't criticizing the results but the non-exclusion of infinite series. I don't know a version of Taylor's theorem or the binomial theorem for CliffordAlgebra except where the series is finite (i.e., where the theorem is a trivial identity). Infinite series can be a pain - for example, a Taylor series may converge to a different function from the one you used to generate it. ''Thanks for that. That is interesting. My reference, which is Snygg, does not claim originality in this. He in turn references Hestenes, which is accessible here via HestenesOerstedMedalLecture. He also references Sobczyk. e.g.'' G. Sobczyk, The missing spectral basis in algebra and number theory, ''Amer. Math. Monthly'' '''108''' (2001) ''I think what tends to happen in CliffordAlgebra is that the odd and even powers in a series will separate out, in the same way that'' exp('''i'''x) = cos(x) + '''i'''sin(x) ''This will come up when I get to the even subalgebra in 3 dimensional Clifford Algebra. The infinite series turn out to be the familiar ones in the reals for which we have results. I have pondered the chicken and egg question about this and'' exp(x) = 1 + x + x^2/2 etc ''as to which result is fundamental, this series or the Taylor series, as they seem to me to be mutually deductible, which is not satisfactory. Can you enlighten me?'' The expansion of exp(x) is a particular Taylor Series, but can be derived directly. Although you can select the even powers from any power series, doing so might affect convergence. ''I think the ones that crop up in CliffordAlgebra are cos, sin, cosh and sinh. I cannot think of anything else. I will keep a look out for anything else.'' -- JohnFletcher Those 4 are special cases of exp() over the complex with respectively non-negative spatial curvatures and negative spatial curvatures, so in the absence of a more precise criteria of what class of functions you're implicitly talking about, you have in fact of necessity covered everything. The exp() function is uniquely fundamental because it is uniquely the identity under differential/integral operators. That remains true regardless of the particular representation used for it, such as Taylor series. In other words, look for the function that is such an identity, and you can then derive a Taylor series or whatever you like as a representation of it. It turns out to be absolutely convergent, which is handy, but of course we know that we can't arbitrarily assume any kind of convergence for infinite series in general, which is the issue being raised above. It doesn't '''always''' matter; sometimes all we need to do is manipulate formal infinite series, in which case we don't need to worry about convergence -- but if you want to actually do computations, then you need to prove that the particular infinite series you're working with does in fact converge, since some will and some won't, and others will do so only conditionally, etc, etc. It wasn't clear to me that you (John) had any strong intention to work with infinite series in CliffordAlgebra, anyway, so if not, the point raised disappears if you just throw in a disclaimer that you only mean to be talking about finite series. Note, however, that invertibility immediately implies infinite series unless one can prove otherwise, so we're back to that simple issue again, it hasn't entirely gone away yet. -- Doug ''I had not set out to work with infinite series at all. It becomes an issue in that exponentials of bivectors are used as the representation of rotations in CliffordAlgebra of 3 dimensions and more. On invertibility I am not sure what you are saying. Suppose for an object'' '''a''' ''I can find another object'' '''b''' ''such that their product is a scalar.'' '''a b''' = ''m'' ''The inversion of'' '''a''' ''is then'' '''b'''/''m'' ''If'' '''a''' ''and'' '''b''' ''are complex numbers then'' '''b''' ''needs to be the conjugate of'' '''a'''''. There are corresponding objects for CliffordAlgebra vectors too.'' -- JohnFletcher Ok...'''now''' suppose you cannnot find such an object. -- Doug ''Suppose that I can instead find an object'' '''b''' ''such that the product of'' '''a''' ''and'' '''b''' ''gives a result'' '''p''' ''which is invertible using an object'' '''q'''''. Then we can invert'' '''a''' ''as well.'' '''a b''' = '''p''' '''p q''' = ''m'' '''p'''^-1 = '''q'''/''m'' '''a'''^-1 '''p'''= '''b''' '''a'''^-1 = '''b p'''^-1 = '''b q'''/''m'' ''(For rigor on the next section please see CliffordAlgebrasAndSpinors chapter 8, but for the moment please consider this.)'' ''The key to this is clearly to find'' '''b'''''. I can do this, relying on understanding of the underlying matrix basis. Suppose that the matrix representation of'' '''a''' ''is'' '''A''''', and take the transpose of'' '''A''' ''to be'' '''B''''', which will have a corresponding CliffordAlgebra object'' '''b'''''. Then the product'' '''AB''' ''will be a symmetric matrix which is guaranteed to have real eigenvalues which will be positive or zero. Excluding the zero case (singular), these eigenvalues will provide the basis for the inversion of the product'' '''a b''' = '''p''' ''which is what is required. I am not sure if this covers every possible CliffordAlgebra object, but it certainly widens the range over which the Snygg method is applicable. There remains the case where the matrix has multiplicity in its eigenvalues, which has been considered by Snygg. Also, there is no need at any stage to identify a particular matrix basis. The object'' '''b''' ''is a copy of'' '''a''' ''with some of the terms changed in sign. If all the basis vectors square to +1 then the sign changes are those of the'' '''reversion''' ''as defined in Clifford Algebra.'' [''Note to self: define'' '''reversion''' ''in CliffordAlgebraDetails. In the meantime reference CliffordAlgebrasAndSpinors p.14-15 for discussion of this for the 2D case.''] -- JohnFletcher ---- You've written a lot of great material, here and on other pages, and I appreciate that. I'm afraid that I was not, however, very clear about my concern in the discussion thread on this page. As I understand it, a still-open issue (pedagogical, on this page) concerns division/invertibility, not in a complicated sense, but in a basic sense. A CliffordAlgebra is not a full division algebra, unless I am very confused. Yet discussion mostly (but not entirely) '''sounds''' like we're dealing with a full division algebra. Some non-zero elements are invertible, others aren't. That's a really big deal, but I'm concerned that that basic concern has been glossed over. That's all. Sorry if it sounded like I was concerned about something more complicated. In that kind of basic-property axiomatic sense, I probably would next be concerned as to whether we have established (stated, proved, given as axiom, appeal to authority, whatever) whether there are separate right and left multiplications, or whether they are the same. Then there are norms...Etc. It's a bit of a nitpick at the application level, but important to establish somewhere along the line in the theoretical underpinnings. -- DougMerritt ---- I think you are correct to say that the general CliffordAlgebra is not a division algebra. It contains within it three algebras which are division algebras, complex numbers, quaternions and octonions. See CliffordAlgebrasAndSpinors p.300. -- JohnFletcher ---- See also CliffordAlgebra ---- CategoryMath