show/hide this revision's text 2 added 196 characters in body

This

Edited:

If you require the $Z_i$ to be connected, then this is not necessarily true.

Consider $M = \mathbb{R}^2$ less three points (say $-1, 0, 1$), and let $Z_1$ be a loop around $-1$ and $0$, while $Z_2$ is a loop around 0 and 1. Then their index of intersection is 0, but they cannot be replaced by cycles which do not intersect.

It is of course worth noting that $M$ is not compact in this case.

Edit: Nevermind

However, this is not true at all if the $Z_i$ do not have are allowed to be connecteddisconnected, which you never said then the argument I just gave falls apart. Either of the $Z_i$ are homologous to a disjoint union of two circles around their respective centres, and so it is clear that they must can be made to be disjoint.

show/hide this revision's text 1

This is not necessarily true.

Consider $M = \mathbb{R}^2$ less three points (say $-1, 0, 1$), and let $Z_1$ be a loop around $-1$ and $0$, while $Z_2$ is a loop around 0 and 1. Then their index of intersection is 0, but they cannot be replaced by cycles which do not intersect.

It is of course worth noting that $M$ is not compact in this case.

Edit: Nevermind, this is not true at all if $Z_i$ do not have to be connected, which you never said they must be.