First cohomology group with integer coefficients

From Topospaces
Revision as of 19:44, 11 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Let be a path-connected space). The first cohomology group with integer coefficients of , denoted or is defined in the following equivalent ways:

  • It is the set of homotopy classes of based maps from to
  • It is the set of homotopy classes of unbased maps from to
  • It is the set of fiber bundles over with fiber equal to (in other words, it is the covering spaces (possible disconnected) whose fibers are the group )