Нельзя не антисимметризовать.
А никто и не говорит, что ассимметризовать не надо, просто не обязательно базисные функции делать антисимметричными.
И тот же результат был бы, если бы на антисимметризацию вы бы подали 9 состояний.
Ага, был бы, но только с оговоркой про число частиц на ячейке. Без этой оговорки вполне возможно представить одноэлектронные состояния как
, где
, и в этом случае можно упихать антисимметрию волновой функции в спиновую часть, например как
, т.е. в одну ячейку посадить два электрона с противоположными спинами, сохранив антисимметрию.
Или же надо было делать оговорку, про то, что ячейка включает в себя и конкретное значение спина электрона, что эквивалентно условию "1 ячейка -- 1 электрон".