Empecemos con la definición de dicho operador autoadjunto y de su dominio: