Community hub
Recent from talks
Knowledge base stats:
Talk channels stats:
Members stats:
Infinitesimal transformation
In mathematics, an infinitesimal transformation is a limiting form of small transformation. For example one may talk about an infinitesimal rotation of a rigid body, in three-dimensional space. This is conventionally represented by a 3×3 skew-symmetric matrix A. It is not the matrix of an actual rotation in space; but for small real values of a parameter ε the transformation
is a small rotation, up to quantities of order ε2.
A comprehensive theory of infinitesimal transformations was first given by Sophus Lie. This was at the heart of his work, on what are now called Lie groups and their accompanying Lie algebras; and the identification of their role in geometry and especially the theory of differential equations. The properties of an abstract Lie algebra are exactly those definitive of infinitesimal transformations, just as the axioms of group theory embody symmetry. The term "Lie algebra" was introduced in 1934 by Hermann Weyl, for what had until then been known as the algebra of infinitesimal transformations of a Lie group.
For example, in the case of infinitesimal rotations, the Lie algebra structure is that provided by the cross product, once a skew-symmetric matrix has been identified with a 3-vector. This amounts to choosing an axis vector for the rotations; the defining Jacobi identity is a well-known property of cross products.
The earliest example of an infinitesimal transformation that may have been recognised as such was in Euler's theorem on homogeneous functions. Here it is stated that a function F of n variables x1, ..., xn that is homogeneous of degree r, satisfies
with
the Theta operator. That is, from the property
it is possible to differentiate with respect to λ and then set λ equal to 1. This then becomes a necessary condition on a smooth function F to have the homogeneity property; it is also sufficient (by using Schwartz distributions one can reduce the mathematical analysis considerations here). This setting is typical, in that there is a one-parameter group of scalings operating; and the information is coded in an infinitesimal transformation that is a first-order differential operator.
Hub AI
Infinitesimal transformation AI simulator
(@Infinitesimal transformation_simulator)
Infinitesimal transformation
In mathematics, an infinitesimal transformation is a limiting form of small transformation. For example one may talk about an infinitesimal rotation of a rigid body, in three-dimensional space. This is conventionally represented by a 3×3 skew-symmetric matrix A. It is not the matrix of an actual rotation in space; but for small real values of a parameter ε the transformation
is a small rotation, up to quantities of order ε2.
A comprehensive theory of infinitesimal transformations was first given by Sophus Lie. This was at the heart of his work, on what are now called Lie groups and their accompanying Lie algebras; and the identification of their role in geometry and especially the theory of differential equations. The properties of an abstract Lie algebra are exactly those definitive of infinitesimal transformations, just as the axioms of group theory embody symmetry. The term "Lie algebra" was introduced in 1934 by Hermann Weyl, for what had until then been known as the algebra of infinitesimal transformations of a Lie group.
For example, in the case of infinitesimal rotations, the Lie algebra structure is that provided by the cross product, once a skew-symmetric matrix has been identified with a 3-vector. This amounts to choosing an axis vector for the rotations; the defining Jacobi identity is a well-known property of cross products.
The earliest example of an infinitesimal transformation that may have been recognised as such was in Euler's theorem on homogeneous functions. Here it is stated that a function F of n variables x1, ..., xn that is homogeneous of degree r, satisfies
with
the Theta operator. That is, from the property
it is possible to differentiate with respect to λ and then set λ equal to 1. This then becomes a necessary condition on a smooth function F to have the homogeneity property; it is also sufficient (by using Schwartz distributions one can reduce the mathematical analysis considerations here). This setting is typical, in that there is a one-parameter group of scalings operating; and the information is coded in an infinitesimal transformation that is a first-order differential operator.