Dada la operación en :
Me gustaría encontrar si este es un espacio vectorial en . Mirando el axioma del cero aditivo, obtenemos:
Para satisfacer el axioma del cero aditivo, debe ser cierto Para que esto sea cierto, tendría que ser
¿Es esto posible, o podríamos decir que esto no es un espacio vectorial?
no es un espacio vectorial, por ejemplo, intentemos encontrar el elemento cero en con la operación dada.
Dejar
implica y luego y es el elemento cero debe ser .
Pero en este caso no es invertible desde implica lo cual es una contradicción.
La identidad aditiva es de hecho .
Verifiquemos el inverso de .
Para cualquier ,
Trébor