Degree as a sum of local degrees

ID: degree-as-a-sum-of-local-degrees

For a continuous map of closed connected oriented -dimensional manifolds, suppose is finite. Then
By excision, the degree- relative homology group is the direct sum of the local groups at . The fundamental class maps to the tuple of local orientation generators. Mapping this tuple to adds their local degrees. Naturality identifies the result with the image of . If the fiber is empty, the same argument gives degree zero.

New to topics? Read the docs here!