  We show how to optimally unambiguously discriminate between two subspaces of
a Hilbert space. In particular we suppose that we are given a quantum system in
either the state \psi_{1}, where \psi_{1} can be any state in the subspace
S_{1}, or \psi_{2}, where \psi_{2} can be any state in the subspace S_{2}, and
our task is to determine in which of the subspaces the state of our quantum
system lies. We do not want to make a mistake, which means that our procedure
will sometimes fail if the subspaces are not orthogonal. This is a special case
of the unambiguous discrimination of mixed states. We present the POVM that
solves this problem and several applications of this procedure, including the
discrimination of multipartite states without classical communication.
