Esta es la definición que tengo para eigenspace :
Dejemos que $\lambda$ sea un valor propio de $A \in Mn(\mathbb C)$ . Entonces
{ $v \in \mathbb C^n|Av= \lambda v$ } $=W_\lambda$
es un subespacio de $\mathbb C^n$ , llamado el eigenspace asociado a $\lambda$ .
La prueba demuestra que $(0,0,.....,0)$ está en $W_\lambda$ . ¿Pero no se supone que un vector propio es distinto de cero? ¿Cómo es entonces que $(0,0,....,0)$ en $W_\lambda$ ?
¿O tal vez esta definición es incompleta, y un eigespacio contiene el vector cero?