قاعدة الجداء
الحسبان |
---|
في التحليل الرياضي ، قاعدة الجداء ( و تدعى أيضا قانون لايبنتز) قاعدة تستخدم لحساب التفاضل لجداء توابع قابلة للمفاضلة :
لهذا يمكن ان نقول :
أو بترميز لايبنتز :
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Geometric algebra
The term k-blade was used in Clifford Algebra to Geometric Calculus (1984)[1]
Multivectors play a central role in the mathematical formulation of physics known as geometric algebra. According to David Hestenes,
- [Non-scalar] k-vectors are sometimes called k-blades or, merely blades, to emphasize the fact that, in contrast to 0-vectors (scalars), they have "directional properties".[2]
In 2003 the term blade for a multivector that can be written as the exterior product of [a scalar and] a set of vectors was used by C. Doran and A. Lasenby. Here, by the statement "Any multivector can be expressed as the sum of blades", scalars are implicitly defined as 0-blades.[3]
In geometric algebra, a multivector is defined to be the sum of different-grade k-blades, such as the summation of a scalar, a vector, and a 2-vector.[4] A sum of only k-grade components is called a k-vector,[5] or a homogeneous multivector.[6]
The highest grade element in a space is called a pseudoscalar.
If a given element is homogeneous of a grade k, then it is a k-vector, but not necessarily a k-blade. Such an element is a k-blade when it can be expressed as the exterior product of k vectors. A geometric algebra generated by a 4-dimensional vector space illustrates the point with an example: The sum of any two blades with one taken from the XY-plane and the other taken from the ZW-plane will form a 2-vector that is not a 2-blade. In a geometric algebra generated by a vector space of dimension 2 or 3, all sums of 2-blades may be written as a single 2-blade.
أمثلة
- 0-vectors are scalars;
- 1-vectors are vectors;
- 2-vectors are bivectors;
- (n − 1)-vectors are pseudovectors;
- n-vectors are pseudoscalars.
In the presence of a volume form (such as given an inner product and an orientation), pseudovectors and pseudoscalars can be identified with vectors and scalars, which is routine in vector calculus, but without a volume form this cannot be done without making an arbitrary choice.
In the algebra of physical space (the geometric algebra of Euclidean 3-space, used as a model of (3+1)-spacetime), a sum of a scalar and a vector is called a paravector, and represents a point in spacetime (the vector the space, the scalar the time).
Bivectors
A bivector is an element of the antisymmetric tensor product of a tangent space with itself.
In geometric algebra, also, a bivector is a grade 2 element (a 2-vector) resulting from the wedge product of two vectors, and so it is geometrically an oriented area, in the same way a vector is an oriented line segment. If a and b are two vectors, the bivector a ∧ b has
- a norm which is its area, given by
- a direction: the plane where that area lies on, i.e., the plane determined by a and b, as long as they are linearly independent;
- an orientation (out of two), determined by the order in which the originating vectors are multiplied.
Bivectors are connected to pseudovectors, and are used to represent rotations in geometric algebra.
As bivectors are elements of a vector space Λ2V (where V is a finite-dimensional vector space with dim V = n), it makes sense to define an inner product on this vector space as follows. First, write any element F ∈ Λ2V in terms of a basis (ei ∧ ej)1 ≤ i < j ≤ n of Λ2V as
where the Einstein summation convention is being used.
Now define a map G : Λ2V × Λ2V → R by insisting that
where are a set of numbers.
تطبيقات
Bivectors play many important roles in physics, for example, in the classification of electromagnetic fields.
انظر أيضاً
المراجع
- ^ David Hestenes & Garret Sobczyk (1984) Clifford Algebra to Geometric Calculus, p. 4, D. Reidel ISBN 90-277-1673-0
- ^ David Hestenes (1999)[1986] New Foundations for Classical Mechanics, page 34, D. Reidel ISBN 90-277-2090-8
- ^ C. Doran and A. Lasenby (2003) Geometric Algebra for Physicists, page 87, Cambridge University Press ISBN 9780511807497
- ^ Marcos A. Rodrigues (2000). "§1.2 Geometric algebra: an outline". Invariants for pattern recognition and classification. World Scientific. p. 3 ff. ISBN 981-02-4278-6.
- ^ R Wareham, J Cameron & J Lasenby (2005). "Applications of conformal geometric algebra in computer vision and graphics". In Hongbo Li; Peter J. Olver; Gerald Sommer (eds.). Computer algebra and geometric algebra with applications. Springer. p. 330. ISBN 3-540-26296-2.
- ^ Eduardo Bayro-Corrochano (2004). "Clifford geometric algebra: A promising framework for computer vision, robotics and learning". In Alberto Sanfeliu; José Francisco Martínez Trinidad; Jesús Ariel Carrasco Ochoa (eds.). Progress in pattern recognition, image analysis and applications. Springer. p. 25. ISBN 3-540-23527-2.
- ^ R. Penrose (2007). The Road to Reality. Vintage books. ISBN 978-0-679-77631-4.
- ^ J.A. Wheeler; C. Misner; K.S. Thorne (1973). Gravitation. W.H. Freeman & Co. p. 83. ISBN 0-7167-0344-0.