For a closed manifold and a Morse function, the displayed strong inequalities hold for every , with equality at the top dimension. Indeed the Morse chain complex rank formula makes the alternating sum equal to . Adding the inequalities at and gives . The weak inequalities, even together with equality of Euler characteristics, are less restrictive: and satisfy those numerical conditions but violate the strong inequality at .
New to topics? Read the docs here!