Si la asunción de compacidad se elimina, entonces no es cierto que todo operador autoadjunto admite una base de autovectores.