Algebra Lineal II: Grupos y campos, prueba de los axiomas del campo de los n umeros complejos.

Jos e Mar a Rico Mart nez Departamento de Ingenier a Mec anica Facultad de Ingenier a Mec anica El ectrica y Electr onica Universidad de Guanajuato email: jrico@salamanca.ugto.mx
Estas notas presentan la prueba de que el conjunto de los n umeros complejos junto con las operaciones de adici on y multiplicaci on constituyen un campo. El campo de los n umeros complejos. Los n umeros complejos C, denidos como C = {a + ib | a, b R, }, donde i se denomina la unidad imaginaria y dos n umeros complejos (a1 + ib1 ), (a2 + ib2 ) C son iguales, denotado a1 + ib1 = a2 + ib2 , si, s olo si, a1 = a2 y b1 = b2 , junto con las operaciones de adici on + : C C C (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ), y multiplicaci on : C C C (a1 + ib1 ) (a2 + ib2 ) = (a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 ), forman un campo, denominado C.1 Prueba: A continuaci on se presentan las pruebas de los diferentes axiomas, sean (a1 + ib1 ), (a2 + ib2 ), (a3 + ib3 ) C 1. Clausura con respecto a la adici on. Considere + : C C C (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ), por la clausura de n umeros reales con respecto a la adici on, la suma de dos reales, (a1 + a2 ) y (b1 + b2 ) es otro real. Por lo tanto, la suma de dos n umeros complejos es otro n umero complejo. 2. Conmutatividad de la adici on. Considere (a1 + ib1 ) + (a2 + ib2 ) = (a1 + a2 ) + i(b1 + b2 ) = (a2 + a1 ) + i(b2 + b1 ) = (a2 + ib2 ) + (a1 + ib1 ). 3. Asociatividad de la adici on. Considere [(a1 + ib1 ) + (a2 + ib2 )] + (a3 + ib3 ) = = = [(a1 + a2 ) + i(b1 + b2 )] + (a3 + ib3 ) = [(a1 + a2 ) + a3 ] + i[(b1 + b2 ) + b3 ] [a1 + (a2 + a3 )] + i[b1 + (b2 + b3 )] = (a1 + ib1 ) + [(a2 + a3 ) + i(b2 + b3 )] (a1 + ib1 ) + [(a2 + ib2 ) + (a3 + ib3 )]

1 Debe notarse que la operaci on de multiplicaci on es equivalente a considerar a la unidad imaginaria i, como un n umero realque satisface la propiedad i2 = 1 y siguiendo las reglas de las operaciones de adici on y multiplicaci on en el campo de los n umeros reales.

4.

Existencia del id entico aditivo. Sea (x + i y ) C el id entico aditivo del campo, entonces para (a1 + ib1 ) C arbitrario, se tiene que (a1 + ib1 ) + (x + i y ) = (a1 + ib1 ) entonces de la denici on de igualdad de n umeros complejos, se tiene que a1 + x = a1 y b1 + y = b1

por lo tanto, x, y R deben ser el id entico aditivo del campo de los n umeros reales, y x = y = 0. Por lo tanto, el id entico aditivo del campo de los n umeros complejos C es (0 + 0 i). 5. Existencia del inverso aditivo. Sea (a1 + ib1 ) C arbitrario y sea (x + i y ) C el inverso aditivo de (a1 + ib1 ) campo, entonces se tiene que (a1 + ib1 ) + (x + i y ) = (0 + i0) entonces de la denici on de igualdad de n umeros complejos, se tiene que a1 + x = 0 y b1 + y = 0

por lo tanto, x, y R deben ser los inversos aditivos en campo de los n umeros reales, y x = a1 y y = b1 .

Por lo tanto, el inverso aditivo de (a1 + i b1 ) C en el campo de los n umeros complejos C es (a1 b1 i). 6. Clausura con respecto a la multiplicaci on. Considere : C C C (a1 + ib1 ) (a2 + ib2 ) = (a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 ), por la clausura de n umeros reales con respecto a la adici on y a la multiplicaci on, (a1 a2 b1 b2 ) y (a1 b2 + a2 b1 ) son n umeros reales. Por lo tanto, la multiplicaci on de dos n umeros complejos es otro n umero complejo. 7. Conmutatividad de la multiplicaci on. Considere (a1 + ib1 ) (a2 + ib2 ) = (a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 ) = (a2 a1 b2 b1 ) + i(a2 b1 + a1 b2 ) = (a2 a1 b2 b1 ) + i(b1 a2 + b2 a1 ) = (a2 + ib2 ) (a1 + ib1 ) 8. Asociatividad de la multiplicaci on. Considere, por un lado [(a1 + ib1 ) (a2 + ib2 )] (a3 + ib3 ) = [(a1 a2 b1 b2 ) + i(a1 b2 + a2 b1 )] (a3 + ib3 ) = [(a1 a2 b1 b2 ) a3 (a1 b2 + a2 b1 ) b3 ] + i[(a1 a2 b1 b2 ) b3 + (a1 b2 + a2 b1 ) a3 ] = (a1 a2 a3 b1 b2 a3 a1 b2 b3 a2 b1 b3 ) + i(a1 a2 b3 b1 b2 b3 + a1 b2 a3 + a2 b1 a3 ). y por el otro (a1 + ib1 ) [(a2 + ib2 ) (a3 + ib3 )] = (a1 + ib1 ) [(a2 a3 b2 b3 ) + i(a2 b3 + a3 b2 )]

= [a1 (a2 a3 b2 b3 ) b1 (a2 b3 + a3 b2 )] + i[b1 (a2 a3 b2 b3 ) + a1 (a2 b3 + a3 b2 )] = (a1 a2 a3 a1 b2 b3 b1 a2 b3 b1 a3 b2 ) + i(b1 a2 a3 b1 b2 b3 + a1 a2 b3 + a1 a3 b2 ) Comparando ambos resultados, es evidente la igualdad de los dos procedimientos.

9.

Existencia del id entico multiplicativo. Sea (x + i y ) C el id entico multiplicativo del campo, entonces para (a1 + ib1 ) C arbitrario, se tiene que (a1 + ib1 ) (x + i y ) = (a1 x b1 y ) + i(a1 y + x b1 ) entonces de la denici on de igualdad de n umeros complejos, se tiene que a1 x b1 y = a1 y a1 y + x b1 = b1

por lo tanto, resolviendo el sistema de ecuaciones en las variables x, y R, se tiene que x=1 y y = 0.

Por lo tanto, el id entico multiplicativo del campo de los n umeros complejos C es (1 + 0 i). 10. Existencia del inverso multiplicativo. Sea (a1 + ib1 ) C\0 arbitrario y sea (x + i y ) C el inverso multiplicativo de (a1 + ib1 ) en el campo C, entonces se tiene que (a1 + ib1 ) (x + i y ) = (1 + i0) entonces de la denici on de igualdad de n umeros complejos, se tiene que a1 x b1 y = 0 y a1 y + x b1 = 0

por lo tanto, resolviendo el sistema de ecuaciones en las variables x, y R, se tiene que x= a1 2 a2 1 + b1 y y= b1 2. a2 1 + b1

Por lo tanto, el inverso multiplicativo de (a1 + i b1 ) C en el campo de los n umeros complejos C es (a1 + ib1 )1 = a1 ib1 2 a2 1 + b1

Evidentemente, el inverso multiplicativo no existe para el id entico aditivo (0 + i0) C, pues, en ese caso 2 a2 + b = 0. 1 1 11. Propiedades distributivas. Considere, por un lado [(a1 + ib1 ) + (a2 + ib2 )] (a3 + ib3 ) = [(a1 + a2 ) + i(b1 + b2 )] (a3 + ib3 ) = [(a1 + a2 )a3 (b1 + b2 ) b3 ] + i[(a1 + a2 ) b3 + (b1 + b2 ) a3 ] = (a1 a3 + a2 a3 b1 b3 b2 b3 ) + i(a1 b3 + a2 b3 + b1 a3 + b2 a3 ) y por el otro (a1 + ib1 ) (a3 + ib3 ) + (a2 + ib2 ) (a3 + ib3 ) = (a1 a3 b1 b3 ) + i(a1 b3 + b1 a3 ) + (a2 a3 b2 b3 ) + i(a2 b3 + b2 a3 ) = (a1 a3 b1 b3 + a2 a3 b2 b3 ) + i(a1 b3 + b1 a3 + a2 b3 + b2 a3 ) Es f acil vericar que los dos resultados coinciden, por lo tanto [(a1 + ib1 ) + (a2 + ib2 )] (a3 + ib3 ) = (a1 + ib1 ) (a3 + ib3 ) + (a2 + ib2 ) (a3 + ib3 ) De manera semejante, considere por un lado (a1 + ib1 ) [(a2 + ib2 ) + (a3 + ib3 )] = (a1 + ib1 ) [(a2 + a3 ) + i(b2 + b3 )] = [a1 (a2 + a3 ) b1 (b2 + b3 )] + i[a1 (b2 + b3 ) + b1 (a2 + a3 )] = (a1 a2 + a1 a3 b1 b2 b1 b3 ) + i(a1 b2 + a1 b3 + b1 a2 + b1 a3 ) 3

y por el otro (a1 + ib1 ) (a2 + ib2 ) + (a1 + ib1 ) (a3 + ib3 ) = = [(a1 a2 b1 b2 ) + i(a1 b2 + b1 a2 )] + [(a1 a3 b1 b3 ) + i(a1 b3 + b1 a3 )] (a1 a2 b1 b2 + a1 a3 b1 b3 ) + i(a1 b2 + b1 a2 + a1 b3 + b1 a3 )

Es f acil vericar que los dos resultados coinciden, por lo tanto (a1 + ib1 ) [(a2 + ib2 ) + (a3 + ib3 )] = (a1 + ib1 ) (a2 + ib2 ) + (a1 + ib1 ) (a3 + ib3 )