14.11.2012 Views

Conformal Geometric Algebra in Stochastic Optimization Problems ...

Conformal Geometric Algebra in Stochastic Optimization Problems ...

Conformal Geometric Algebra in Stochastic Optimization Problems ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

60 CHAPTER 2. GEOMETRIC ALGEBRA<br />

Proposition 2.11<br />

Let e � and e � two basis blades of �p,q. Then the conjugate (e �e �) † of the geometric<br />

product e �e � is<br />

(e �e �) † = e † �e † �.<br />

Proof: By means of equation (2.35) a scalar x can be determ<strong>in</strong>ed such that e �e � =<br />

(−1) x e �e �. However, exchang<strong>in</strong>g the basis blades twice, as <strong>in</strong> the last l<strong>in</strong>e, <strong>in</strong>troduces<br />

no sign.<br />

(e �e �) † = e † �e † �<br />

(e �e �) 2 (e �e �) = e 2 � e 2 � e �e �<br />

e �e �<br />

� �� �<br />

swap<br />

e �e � e �e �<br />

� �� �<br />

swap<br />

= e �e � e �e � e �e �<br />

By the distributivity of the geometric product, and s<strong>in</strong>ce <strong>in</strong>ner and outer product<br />

are also def<strong>in</strong>ed <strong>in</strong> terms of the geometric product, these rules apply<br />

and especially<br />

(AB) † = B † A †<br />

(A ∧ B) † = B † ∧ A †<br />

A †<br />

〈k〉<br />

(A · B) † = B † · A †<br />

= a†<br />

k ∧ a†<br />

k−1 ∧ ... ∧ a† 1 .<br />

In this respect, it is important that generally<br />

a † �= ±a and thus A †<br />

〈k〉 �= ±A 〈k〉<br />

because the number of basis vectors with negative signature may vary between the<br />

basis blades of A 〈k〉 . Let x = e1 + e2 ∈ � 1,1 . Then, the result of x ∧ x † = −2e12<br />

shows that for general x ∈ � p,q<br />

x ∧ A 〈k〉 = 0 �=⇒ x ∧ A †<br />

〈k〉 = 0.<br />

Note that the conjugate and reverse operation commute as their result ultimately<br />

differs by a sign.<br />

By means of the conjugate the signature <strong>in</strong>dependent Euclidean <strong>in</strong>ner product and<br />

the likewise signature <strong>in</strong>dependent Euclidean scalar product may be def<strong>in</strong>ed.<br />

Def<strong>in</strong>ition 2.11 (Euclidean <strong>in</strong>ner product ):<br />

Given two basis blades e� and e� of �p,q their Euclidean <strong>in</strong>ner product, denoted<br />

by e� ·ε e�, is def<strong>in</strong>ed by<br />

�<br />

†<br />

e � · e�, |�| ≤ |�|<br />

e � ·ε e � =<br />

e � · e † �, else.<br />

�<br />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!