Jump to content

User:Teply/sandbox

From Wikipedia, the free encyclopedia

Logical theory of confirmation

[edit]

Once the logical relationship between a hypothesis and data is fully specified, the accidental historical ordering of hypothesis and data, the conceited intentions of the scientist, etc., are irrelevant.

Entropic uncertainty principle

[edit]

Multilinear functions

[edit]

A multilinear function of k multivector variables is a function that is separately linear in each of its arguments.

This class of functions can operate on all multivectors instead of just vectors, so it is more useful to consider only those functions that extend the linear algebra of vectors. So again, we usually consider multilinear functions that are outermorphisms, i.e. those functions that obey the following relations:

The geometric, inner, outer, and commutator products are all examples of bilinear functions. The geometric product of k variables is a k-linear function.

Geometric interpretation

[edit]

Basic geometric concepts involving vectors are easily represented in geometric algebra. Among these are projections, rejections, reflections, rotations, and n-parallelotopes.

Projection and rejection

[edit]
In 3d space, a bivector ab defines a 2d plane subspace (light blue, extends infinitely in indicated directions). Any vector c in the 3-space can be projected onto and rejected normal to the plane, shown respectively by c and c.

For any vector a and any invertible vector m,

where the projection of a onto m (or the parallel part) is

and the rejection of a onto m (or the perpendicular part) is

Using the concept of a k-blade B as representing a subspace of V and every multivector ultimately being expressed in terms of vectors, this generalizes to projection of a general multivector onto any invertible k-blade B as[1]

with the rejection being defined as

The projection and rejection generalize to null blades B by replacing the inverse B−1 with the pseudoinverse B+ with respect to the contractive product.[2] The outcome of the projection coincides in both cases for non-null blades.[3].[4] For null blades B, the definition of the projection given here with the first contraction rather than the second being onto the pseudoinverse should be used,[5] as only then is the result necessarily in the subspace represented by B.[3] The projection generalizes through linearity to general multivectors A.[6] The projection is not linear in B and does not generalize to objects B that are not blades.

Reflections

[edit]

The definition of a reflection occurs in two forms in the literature. Several authors work with reflection along a vector (negating only the component parallel to the specifying vector, or reflection in the hypersurface orthogonal to that vector), while others work with reflection on a vector (negating all vector components except that parallel to the specifying vector). Either may be used to build general versor operations, but the latter has the advantage that it extends to the algebra in a simpler and algebraically more regular fashion.

Reflection along a vector

[edit]
Reflection of vector c along a vector m. Only the component of c parallel to m is negated.

The reflection of a vector a along a vector m, or equivalently in the hyperplane orthogonal to m, is the same as negating the component of a vector parallel to m. The result of the reflection will be

This is not the most general operation that may be regarded as a reflection when the dimension n ≥ 4. A general reflection may be expressed as the composite of any odd number of single-axis reflections. Thus, a general reflection of a vector may be written

where

and

If we define the reflection along a non-null vector m of the product of vectors as the reflection of every vector in the product along the same vector, we get for any product of an odd number of vectors that, by way of example,

and for the product of an even number of vectors that

Using the concept of every multivector ultimately being expressed in terms of vectors, the reflection of a general multivector A using any reflection versor M may be written

where α is the automorphism of reflection through the origin of the vector space (v ↦ −v) extended through multilinearity to the whole algebra.

Reflection on a vector

[edit]
Reflection of vector c on a vector n. The rejection of c on n is negated.

The result of reflecting a vector a on another vector n is to negate the rejection of a. It is akin to reflecting the vector a through the origin, except that the projection of a onto n is not reflected. Such an operation is described by

Repeating this operation results in a general versor operation (including both rotations and reflections) of an general multivector A being expressed as

This allows a general definition of any versor N (including both reflections and rotors) as an object that can be expressed as geometric product of any number of non-null 1-vectors. Such a versor can be applied in a uniform sandwich product as above irrespective of whether it is of even (a proper rotation) or odd grade (an improper rotation i.e. general reflection). The set of all versors with the geometric product as the group operation constitutes the Clifford group of the Clifford algebra Cp,q(R).[7]

Rotations

[edit]
A rotor that rotates vectors in a plane rotates vectors through angle θ, that is xRθxRθ is a rotation of x through angle θ. The angle between u and v is θ/2. Similar interpretations are valid for a general multivector X instead of the vector x.[8]

If we have a product of vectors then we denote the reverse as

.

As an example, assume that we get

.

Scaling R so that RR = 1 then

so leaves the length of unchanged. We can also show that

so the transformation RvR preserves both length and angle. It therefore can be identified as a rotation or rotoreflection; R is called a rotor if it is a proper rotation (as it is if it can be expressed as a product of an even number of vectors) and is an instance of what is known in GA as a versor (presumably for historical reasons).

There is a general method for rotating a vector involving the formation of a multivector of the form that produces a rotation in the plane and with the orientation defined by a bivector .

Rotors are a generalization of quaternions to n-D spaces.

For more about reflections, rotations and "sandwiching" products like RvR see Plane of rotation.

Hypervolume of an n-parallelotope spanned by n vectors

[edit]

For vectors and spanning a parallelogram we have

with the result that is linear in the product of the "altitude" and the "base" of the parallelogram, that is, its area.

Similar interpretations are true for any number of vectors spanning an n-dimensional parallelotope; the outer product of vectors a1, a2, ... an, that is , has a magnitude equal to the volume of the n-parallelotope. An n-vector doesn't necessarily have a shape of a parallelotope - this is a convenient visualization. It could be any shape, although the volume equals that of the parallelotope.

Linear functions

[edit]

An important class of functions of multivectors are the linear functions mapping multivectors to multivectors. The geometric algebra of an n-dimensional vector space is spanned by 2n standard basis elements. If a multivector in this basis is represented by a 2n x 1 column matrix, then all linear transformations of the multivector can be written as the matrix multiplication of a 2n x 2n matrix on the column, just as in the entire theory of linear algebra in 2n dimensions.

Such a broad class is often too general. A more restricted class of linear functions deals only with those that are grade-preserving. These are the linear functions that map scalars to scalars, vectors to vectors, bivectors to bivectors, etc. In matrix representation, the grade-preserving linear functions are block diagonal matrices, where each r-grade block is of size .

Often a linear transformation from vectors to vectors is already of known interest. There is no unique way to generalize these transformations to the entire geometric algebra without further restriction because any 2n x 2n matrix with a block that agrees with the vector transformation is an acceptable linear function of the entire geometric algebra. We therefore seek a new rule, motivated by geometric interpretation, for generalizing these linear transformations of vectors in a standard way. A natural choice is that of the outermorphism of the linear transformation because it extends the concepts of reflection and rotation in a straightforward way.

  1. ^ This definition follows Dorst (2007) and Perwass (2009) – the left contraction used by Dorst replaces the ("fat dot") inner product that Perwass uses, consistent with Perwass's constraint that grade of A may not exceed that of B.
  2. ^ Dorst appears to merely assume B+ such that BB+ = 1, whereas Perwass (2009) defines B+ = B/(BB), where B is the conjugate of B, equivalent to the reverse of B up to a sign.
  3. ^ a b Dorst, §3.6 p. 85.
  4. ^ Perwass (2009) §3.2.10.2 p83
  5. ^ That is to say, the projection must be defined as PB(A) = (AB+) ⨼ B and not as (AB) ⨼ B+, though the two are equivalent for non-null blades B
  6. ^ This generalization to all A is apparently not considered by Perwass or Dorst.
  7. ^ Perwass (2009) §3.3.1. Perwass also claims here that David Hestenes coined the term "versor", where he is presumably is referring to the GA context (the term versor appears to have been used by Hamilton to refer to an equivalent object of the quaternion algebra).
  8. ^ [1]