A transition function describes the difference in the way an object is described in two separate, overlapping coordinate charts, where the description of the same set may change in different coordinates. This even occurs in Euclidean space , where any rotation of the usual , , and axes gives another set of coordinates.
For example, on the sphere, person at the equator can use the usual directions of north, south, east, and west, but person at the north pole must use something else. However, both and can describe the region in between them in their coordinate charts. A transition function would then describe how to go from the coordinate chart for to the coordinate chart for .
In the case of a manifold, a transition function is a map from one coordinate chart to another. Therefore, in a sense, a manifold is composed of coordinate charts, and the glue that holds them together is the transition functions. In the case of a bundle, the transition functions are the glue that holds together its trivializations. Specifically, in this case the transition function describes an invertible transformation of the fiber.
Naturally, the type of invertible transformation depends on the type of bundle. For instance, a vector bundle, which could be the tangent bundle, has invertible linear transition functions. More precisely, a transition function for a vector bundle of bundle rank , on overlapping coordinate charts and , is given by a function
where is the general linear group. The fiber at has two descriptions, and is the invertible linear map that takes one to the other. The transition functions have to be consistent in the sense that if one goes to another description of the same set, and then back again, then nothing has changed. A necessary and sufficient condition for consistency is the following: Given three overlapping charts, the product has to be the constant map to the identity in .
A consistent set of transition functions for a vector bundle of bundle rank can be interpreted as an element of the first Čech cohomology group of a manifold with coefficients in .