Formal Definition
Let π:P→M be a smooth principal G-bundle over a smooth manifold M. Then a principal G-connection on P is a differential 1-form on P with values in the Lie algebra of G which is G-equivariant and reproduces the Lie algebra generators of the fundamental vector fields on P.
In other words, it is an element ω of such that
- where Rg denotes right multiplication by g;
- if and Xξ is the vector field on P associated to ξ by differentiating the G action on P, then ω(Xξ) = ξ (identically on P).
Sometimes the term principal G-connection refers to the pair (P,ω) and ω itself is called the connection form or connection 1-form of the principal connection.
Read more about this topic: Connection (principal Bundle)
Famous quotes containing the words formal and/or definition:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)