DFA: Can the set of States Q be empty by definition?
In a DFA - no, because the definition includes a single initial state $q_0$, which means that $q_0\in Q$, and therefore $Q\neq \emptyset$.

In an NFA, however, this is indeed possible.