The linearity of NII depends on the linearity of F and a.
QM has certain postulates that have to be overcome first, such as any state can be written as a linear combination of eigenstates, etc.
You can see them here: http://vergil.chemistry.gatech.edu/notes/quantrev/node20.htm...