LA UNICIDAD DE LOS NEUTROS

Como se vio en el documento MAT-f.pdf los nmeros reales tienen propiedades que se cumplen pero sern ciertas esas propiedades? Para contestar la pregunta se debe de tener en cuenta que si dicha propiedad se cumple entonces hay mtodo en donde se puede deducir esa propiedad cierta es ah donde entra en accin las demostraciones. Este documento verificara una de los tipos de demostraciones que se usan ms que nada para verificar la unicidad de ciertos nmeros. POSTULADO DE LOS NEUTROS.
0 :a+0=a a 1 :( a)(1)=1 a

los postulados son claros en ese aspecto de la existencia de los neutros en los reales tomado prcticamente como axiomas de lo contrario con los axiomas de campo no se podran demostrar que existen los neutros pero una vez afirmando la existencia de los neutros ... existirn otros neutros que cumplan la misma propiedad en los reales? Entonces es ah donde se establece una forma de demostrar muy buena que se llama reduccin al absurdo que es suponer lo contrario a lo que quieres demostrar as que si suponer falso lo que quieres demostrar en todas las implicaciones se llegara a una afirmacin que no es posible es ah donde ocurre el absurdo y como lo que se supuso era falso entonces lo verdadero es la negacin de ese argumento aunque a veces no da buena impresin esa forma de demostrar en algunos casos es efectivo pero no en todos los casos es conveniente utilizar este metodo de demostracin. Demostrar que 0 es el nico nmero tal que si le sumas un real el resultado es el nmero real antes mencionado. Demostracin. Procedimiento por reduccin al absurdo. Supongamos que 0 : a+0 =a0 0 entonces se puede hacer la siguiente relacin.
0=0+0 i

ya que ese nmero si se lo sumamos a cero da como resultado el mismo cero.

Pero de la expresin que quedo por la propiedad del cero, cero ms 0 es 0.

0+0 =0 ii

pero como la igualdad es transitiva entonces hay transitividad de i en ii.

0=0

esto es una contradiccin ya que desde la hiptesis supusimos que cero era diferente de 0 lo cual no puede ser posible eso hace concluir que 0 es el nico nmero que cumple la condicin de sumarle un nmero y que de como resultado el mismo nmero. Demostrar que 1 es el nico nmero tal que si lo multiplicas por un nmero real el resultado es el mismo nmero antes mencionado. Demostracin. Como la demostracin es similar que con el cero entonces proceder por contradiccin. Supongamos que 1 :(a)(1 )=a1 1 se parte de la igualdad.
1=(1)(1 ) i

Ya que 1 cumple con la propiedad de que si le multiplicas por un nmero resulta ser el mismo nmero pero 1 cumple con la misma propiedad.
(1)(1 )=1 ii

de ese modo haciendo la transitividad de la igualdad i y ii se obtiene

1=1

Eso hace caer a la proposicin de que 1 es diferente a 1 lo cual se puede concluir que 1 es el nico nmero que cumple con la propiedad de que si se le multiplica por otro nmero el resultado es el nmero antes mencionado. Ahora teniendo en cuenta estas demostraciones se pueden afirmar las siguientes proposiciones:
! 0 : a+0=a a ! 1 : ( a)( 1)= a a