Lemma 13.36.1. Let $\mathcal{D}$ be a triangulated category. Let $S \subset \mathop{\mathrm{Ob}}\nolimits (\mathcal{D})$ be a subset invariant under all shifts. Consider a distinguished triangle

$X \to Y \to Z \to X[1]$

of $\mathcal{D}$. The following are equivalent

1. $\mathop{\mathrm{Hom}}\nolimits (A, Z) = 0$ for all $A \in S$, and

2. $\mathop{\mathrm{Hom}}\nolimits (A, X) = \mathop{\mathrm{Hom}}\nolimits (A, Y)$ for all $A \in S$.

Proof. By Lemma 13.4.2 the functor $\mathop{\mathrm{Hom}}\nolimits (A, -)$ is homological and hence we get a long exact sequence as in (13.3.5.1). Assume (1) and let $A \in S$. Then we consider the exact sequence

$\mathop{\mathrm{Hom}}\nolimits (A[1], Z) \to \mathop{\mathrm{Hom}}\nolimits (A, X) \to \mathop{\mathrm{Hom}}\nolimits (A, Y) \to \mathop{\mathrm{Hom}}\nolimits (A, Z)$

Since $A[1] \in S$ we see that the first and last groups are zero. Thus we get (2). Assume (2) and let $A \in S$. Then we consider the exact sequence

$\mathop{\mathrm{Hom}}\nolimits (A, X) \to \mathop{\mathrm{Hom}}\nolimits (A, Y) \to \mathop{\mathrm{Hom}}\nolimits (A, Z) \to \mathop{\mathrm{Hom}}\nolimits (A[-1], X) \to \mathop{\mathrm{Hom}}\nolimits (A[-1], Y)$

and we conclude that $\mathop{\mathrm{Hom}}\nolimits (A, Z) = 0$ as desired. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).