Dejar ser espacios vectoriales de dimensión finita sobre . Dejar ser transformaciones lineales.
(i) Demostrar que y deducir que
(ii) Si es 1-1 prueba que y eso
(iii) Supongamos es una base para , es una base para y eso es definido por . Pruebalo mapas sobre la totalidad de pero eso no es 1-1.
Mi solución:
(i) . Si es 1-1 entonces . Pero si no es 1-1 entonces para algunos tenemos , con . Podemos tener y entonces con . Como tal . El teorema de nulidad de rango dice que por la línea anterior. Como tal como se afirma.
(ii) Si es 1-1 entonces . .Pero desde es 1-1 y tenemos . Como tal , como no puede ser 1-1. entonces . Pero demostramos antes el resultado opuesto y la combinación de estos da .
(iii) No confío en esta solución, ya que no utiliza en cualquier lugar. y también . Entonces tenemos escalares tal que cual es la condicion para extender . Aunque no sé cómo mostrar que no es 1-1.
¿Es correcta mi solución?
(i) No hay necesidad de considerar es inyectable por separado. Si , entonces , por eso . El signo de desigualdad en la conclusión de la parte esta mal escrito.
(ii) no es cierto en general. No puedo seguir tu razonamiento. Para responderla, tenga en cuenta que si , entonces nosotros tenemos , desde se supone que es , concluimos que , eso es . Eso es .
(iii) Para probar que no es .
Tenemos
Por eso
pero , por lo que no es inyectivo.