Softmax function $a^L_j = z^L_j / sum_k(z^L_k)$. When we think about the monotonicity of the Softmax function, $∂a^L_j/∂z^L_k$ is positive if j=k, and negative if j≠k. As a consequence, increasing $z^L_j$ is guaranteed to increase the corresponding output activation $a^L_j$, and will decrease all the other output activations.
My question is, decreasing $z^L_j$ will decrease the corresponding output and will increase all the other output activations. But, $\frac{∂a^L_j}{∂z^L_k}$ is always positive if j=k, and negative if j≠k. So, I'm curious how to prove that decreasing $z^L_j$ will actually decrease the corresponding output when we always have $\frac{∂a^L_j}{∂z^L_k}$ is positive when j=k?