Outermorphism
   HOME
*





Outermorphism
In geometric algebra, the outermorphism of a linear function between vector spaces is a natural extension of the map to arbitrary multivectors. It is the unique unital algebra homomorphism of exterior algebras whose restriction to the vector spaces is the original function. Definition Let f be an \mathbb-linear map from V to W. The extension of f to an outermorphism is the unique map \textstyle \underline : \bigwedge(V) \to \bigwedge(W) satisfying : \underline(1) = 1 : \underline(x) = f(x) : \underline(A \wedge B) = \underline(A) \wedge \underline(B) : \underline(A + B) = \underline(A) + \underline(B) for all vectors x and all multivectors A and B, where \textstyle \bigwedge(V) denotes the exterior algebra over V. That is, an outermorphism is a unital algebra homomorphism between exterior algebras. The outermorphism inherits linearity properties of the original linear map. For example, we see that for scalars \alpha, \beta and vectors x, y, z, the outermorphism is linear ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Geometric Algebra
In mathematics, a geometric algebra (also known as a real Clifford algebra) is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the geometric product. Multiplication of vectors results in higher-dimensional objects called multivectors. Compared to other formalisms for manipulating geometric objects, geometric algebra is noteworthy for supporting vector division and addition of objects of different dimensions. The geometric product was first briefly mentioned by Hermann Grassmann, who was chiefly interested in developing the closely related exterior algebra. In 1878, William Kingdon Clifford greatly expanded on Grassmann's work to form what are now usually called Clifford algebras in his honor (although Clifford himself chose to call them "geometric algebras"). Clifford defined the Clifford algebra and its product as a unification of the Grassmann algebra and Hamilton's ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Geometric Algebra
In mathematics, a geometric algebra (also known as a real Clifford algebra) is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the geometric product. Multiplication of vectors results in higher-dimensional objects called multivectors. Compared to other formalisms for manipulating geometric objects, geometric algebra is noteworthy for supporting vector division and addition of objects of different dimensions. The geometric product was first briefly mentioned by Hermann Grassmann, who was chiefly interested in developing the closely related exterior algebra. In 1878, William Kingdon Clifford greatly expanded on Grassmann's work to form what are now usually called Clifford algebras in his honor (although Clifford himself chose to call them "geometric algebras"). Clifford defined the Clifford algebra and its product as a unification of the Grassmann algebra and Hamilton's ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Grade Projection
In mathematics, a geometric algebra (also known as a real Clifford algebra) is an extension of elementary algebra to work with geometrical objects such as vectors. Geometric algebra is built out of two fundamental operations, addition and the geometric product. Multiplication of vectors results in higher-dimensional objects called multivectors. Compared to other formalisms for manipulating geometric objects, geometric algebra is noteworthy for supporting vector division and addition of objects of different dimensions. The geometric product was first briefly mentioned by Hermann Grassmann, who was chiefly interested in developing the closely related exterior algebra. In 1878, William Kingdon Clifford greatly expanded on Grassmann's work to form what are now usually called Clifford algebras in his honor (although Clifford himself chose to call them "geometric algebras"). Clifford defined the Clifford algebra and its product as a unification of the Grassmann algebra and Hamilto ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Multivector
In multilinear algebra, a multivector, sometimes called Clifford number, is an element of the exterior algebra of a vector space . This algebra is graded, associative and alternating, and consists of linear combinations of simple -vectors (also known as decomposable -vectors or -blades) of the form : v_1\wedge\cdots\wedge v_k, where v_1, \ldots, v_k are in . A -vector is such a linear combination that is ''homogeneous'' of degree (all terms are -blades for the same ). Depending on the authors, a "multivector" may be either a -vector or any element of the exterior algebra (any linear combination of -blades with potentially differing values of ). In differential geometry, a -vector is a vector in the exterior algebra of the tangent vector space; that is, it is an antisymmetric tensor obtained by taking linear combinations of the exterior product of tangent vectors, for some integer . A differential -form is a -vector in the exterior algebra of the dual of the tangent spa ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Algebra Homomorphism
In mathematics, an algebra homomorphism is a homomorphism between two associative algebras. More precisely, if and are algebras over a field (or commutative ring) , it is a function F\colon A\to B such that for all in and in , * F(kx) = kF(x) * F(x + y) = F(x) + F(y) * F(xy) = F(x) F(y) The first two conditions say that is a ''K''-linear map (or ''K''-module homomorphism if ''K'' is a commutative ring), and the last condition says that is a (non-unital) ring homomorphism. If admits an inverse homomorphism, or equivalently if it is bijective, is said to be an isomorphism between and . Unital algebra homomorphisms If ''A'' and ''B'' are two unital algebras, then an algebra homomorphism F:A\rightarrow B is said to be ''unital'' if it maps the unity of ''A'' to the unity of ''B''. Often the words "algebra homomorphism" are actually used to mean "unital algebra homomorphism", in which case non-unital algebra homomorphisms are excluded. A unital algebra homomorphism is ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Exterior Algebra
In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors u and  v, denoted by u \wedge v, is called a bivector and lives in a space called the ''exterior square'', a vector space that is distinct from the original space of vectors. The magnitude of u \wedge v can be interpreted as the area of the parallelogram with sides u and  v, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. The terms real vector space and complex vector space are often used to specify the nature of the scalars: real coordinate space or complex coordinate space. Vector spaces generalize Euclidean vectors, which allow modeling of physical quantities, such as forces and velocity, that have not only a magnitude, but also a direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix, which allows computing in vector spaces. This provides a concise and synthetic way for manipulating and studying systems of linear eq ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Geometric Calculus
In mathematics, geometric calculus extends the geometric algebra to include differentiation and integration. The formalism is powerful and can be shown to encompass other mathematical theories including differential geometry and differential forms. Differentiation With a geometric algebra given, let a and b be vectors and let F be a multivector-valued function of a vector. The directional derivative of F along b at a is defined as :(\nabla_b F)(a) = \lim_, provided that the limit exists for all b, where the limit is taken for scalar \epsilon. This is similar to the usual definition of a directional derivative but extends it to functions that are not necessarily scalar-valued. Next, choose a set of basis vectors \ and consider the operators, denoted \partial_i, that perform directional derivatives in the directions of e_i: :\partial_i : F \mapsto (x\mapsto (\nabla_ F)(x)). Then, using the Einstein summation notation, consider the operator: :e^i\partial_i, which means :F ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Transpose
In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal; that is, it switches the row and column indices of the matrix by producing another matrix, often denoted by (among other notations). The transpose of a matrix was introduced in 1858 by the British mathematician Arthur Cayley. In the case of a logical matrix representing a binary relation R, the transpose corresponds to the converse relation RT. Transpose of a matrix Definition The transpose of a matrix , denoted by , , , A^, , , or , may be constructed by any one of the following methods: # Reflect over its main diagonal (which runs from top-left to bottom-right) to obtain #Write the rows of as the columns of #Write the columns of as the rows of Formally, the -th row, -th column element of is the -th row, -th column element of : :\left mathbf^\operatorname\right = \left mathbf\right. If is an matrix, then is an matrix. In the case of square matrices, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Linear Map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of module (mathematics), modules over a ring (mathematics), ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a (linear) ''endomorphism''. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are Real number, real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Some ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Zero Map
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usually by 10. As a number, 0 fulfills a central role in mathematics as the additive identity of the integers, real numbers, and other algebraic structures. Common names for the number 0 in English are ''zero'', ''nought'', ''naught'' (), ''nil''. In contexts where at least one adjacent digit distinguishes it from the letter O, the number is sometimes pronounced as ''oh'' or ''o'' (). Informal or slang terms for 0 include ''zilch'' and ''zip''. Historically, ''ought'', ''aught'' (), and ''cipher'', have also been used. Etymology The word ''zero'' came into the English language via French from the Italian , a contraction of the Venetian form of Italian via ''ṣafira'' or ''ṣifr''. In pre-Islamic time the word (Arabic ) had the meaning ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Pseudoscalar
In linear algebra, a pseudoscalar is a quantity that behaves like a scalar, except that it changes sign under a parity inversion while a true scalar does not. Any scalar product between a pseudovector and an ordinary vector is a pseudoscalar. The prototypical example of a pseudoscalar is the scalar triple product, which can be written as the scalar product between one of the vectors in the triple product and the cross product between the two other vectors, where the latter is a pseudovector. A pseudoscalar, when multiplied by an ordinary vector, becomes a pseudovector (axial vector); a similar construction creates the pseudotensor. Mathematically, a pseudoscalar is an element of the top exterior power of a vector space, or the top power of a Clifford algebra; see pseudoscalar (Clifford algebra). More generally, it is an element of the canonical bundle of a differentiable manifold. In physics In physics, a pseudoscalar denotes a physical quantity analogous to a scalar. Both ar ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]