|
Hol
HOL or Hol may refer to: Places * Hol, Norway, in Buskerud county * Hol Municipality (Nordland), a former municipality in Norway * Hol, Tjeldsund, Norway * Hol, Ludhiana, Punjab, India Science and technology * HOL (proof assistant), a family of interactive theorem proving systems * Head-of-line blocking in computer networking * Higher-order logic in mathematics and logic * Holonomy, mathematical symbol Hol, in differential geometry Sports * Hol IL, a sports club in Buskerud county, Norway * Hollingworth Lake Rowing Club, England, boat code HOL * Holdsworth (cycling team), UCI code HOL * HOL (IOC country code), 1968–1988 code for the Netherlands Transportation * Hol Station, Hol Norway * Hol station, on the Udhna–Jalgaon line, India * Hollywood station (Florida), U.S., station code HOL * Holmesglen railway station, Melbourne, Australia, station code HOL * Holsworthy railway station, Sydney, Australia, station code HOL * Holton Heath railway station, England, station code HOL ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holonomy
In differential geometry, the holonomy of a connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence of the curvature of the connection. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features. Any kind of connection on a manifold gives rise, through its parallel transport maps, to some notion of holonomy. The most common forms of holonomy are for connections possessing some kind of symmetry. Important examples include: holonomy of the Levi-Civita connection in Riemannian geometry (called Riemannian holonomy), holonomy of connections in vector bundles, holonomy of Cartan connections, and holonomy of connections in principal bundles. In each of these cases, the holonomy of the connection can be identified with a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
