Fundamentos de la Matemtica

David Pachacama 17 de Abril de 2012

N MEROS Q UEBRADOS El conjunto de los nmeros quebrados es el conjunto cociente del producto cartesiano de los enteros con sigo mismo, bajo una cierta relacin de equivalencia, es decir: Q = Z Z {0}/ G = { G(u,v) : (u, v) Z Z {0}} Donde G es la relacin de equivalencia: G = {(( a, b), (c, d) (Z Z {0}) (Z Z {0}) : ad = bc} Ademas tenemos que: z Q ( x )[ x = (u, v) (u, v) Z Z {0} z = G(u,v) ] F UNCIN S UMA Esta denida como una funcin que va del producto cartesiano de los enteros con sigo mismo, en los enteros, es decir:

: Q Q Q ( u, v ) z = u v
Que es equivalente a escribir:

= {((u, v), z) : (u, v) Q Q z = u v}

Como el conjunto de salida de , es Q Q. Supongamos u Q, v Q, quiere decir que u,v son clases de equivalencia, entonces: Existe un(m1 , m2 ) Z Z {0}, tal que : u = G(m1 ,m2 ) Existe un(n1 , n2 )Z Z {0}, tal que : v = G(n1 ,n2 ) Y vamos a denir a z como: z = uv z = G(m1 ,m2 ) G(n1 ,n2 ) z = G(m1 n2 +m2 n1 ,m2 n2 )

(1)

Como el conjunto de llegada de la funcin es Z, entonces z debe pertecer a Z. Es decir que: Exista un( x, y) Z Z {0}, tal que : z = G( x,y) Donde : x = m1 n2 + m2 n1 y = m2 n2

(2)

(3)

Como (1) se cumple, solo basta probar que ( x, y) Z Z {0}.

Como m1 , n1 pertenecen a Z y m2 ,n2 pertenecen a Z {0} entonces por propiedad clausurativa de la suma, y multiplicacin en los nmeros Enteros sabemos que:

( m1 n2 + m2 n1 ) Z (4) ( m2 + n2 ) Z {0} (5)

Por el Axioma de extensin aplicado a (5) y (3), (4) y (2) respectivamente, tenemos que: xZ

(6) (7)

y Z {0}

entonces de (6), (7) y denicin de producto cartesiano, tenemos que:

( x , y ) Z Z {0}
Y ahora solo debemos probar que verdaderamente es una funcin, es decir demostrar F0 , F1 , F2

Demostracin de F0 Debemos demostrar que (Q Q) Q Para ello supongamos:

((u, v), z) (1)

Debemos demostrar que: Es decir demostrar:

((u, v), z) (Q Q) Q

( u, v ) Q Q (2)
y que: De (1) tenemos que: zQ

(3)

( u, v ) Z Z {0} z = u v (4)
por eliminacin de la conjuncin aplicada a (4) en tenemos:

( u, v ) Q Q
z = uv

(5) (6)

como (5) es verdadero entonces (2) tambien lo es. Por lo tanto basta demostrar (3). Para ello debemos demostrar que existe un ( x, y) Z Z tal que: z = G( x,y) De la proposicin (6) tenemos que: Existe un( x, y) Z Z {0}, tal que : z = G( x,y) Donde: x = m1 n2 + m2 n1 y = m2 n2 Que era lo que queramos demostrar. Demostracin de F1

(9)

Debemos demostrar que: Para todo (u, v) Q Q, existe un z Q tal que:

((u, v), z)
Sea (u, v) Q Q (1) Por demostrar que existe un z Q tal que:

( u, v ) Z Z {0}

z = uv

Gracias a nuestra suposicin (1) basta hallar un z Q tal que: z = uv

(2)

Para hallar dicho z primero denamos u y tambien v. De la proposicion (1), por denicin de producto cartesiano tenemos que: u Q (3) Y que: vQ

(4)

De las proposiciones (4), (3), y de denicin de Z denamos tanto a u como a v de la siguiente manera: u = G(m1 ,m2 ) ; Con (m1 , m2 ) Z Z {0} v = G(n1 ,n2 ) ; Con (n1 , n2 ) Z Z {0} Y como : u v = G(m1 ,m2 ) G(n1 ,n2 ) Y por transitiva y simtrica entre (6) y (5), (5) y (2) tenemos que: z = G(m1 n2 +m2 n1 ,m2 n2 ) Entonces bastara demostrar que: G(m1 n2 +m2 n1 ,m2 n2 ) Q

(5) (6)

G(m1 ,m2 ) G(n1 ,n2 ) = G(m1 n2 +m2 n1 ,m2 n2 )

Que a su vez por la forma en la que hemos denido Q es equivalente a demostrar que:

( m1 n2 + m2 n1 , m2 n2 ) Z Z {0}
Sabemos que m1 Z, m2 Z {0}, n1 Z, n2 Z {0}, ademas por la propiedad clausurativa de la suma, y multiplicacin de los nmeros enteros sabemos que:

( m1 n2 + m2 n1 ) Z ( m2 n2 ) Z (8)

(7)

Por introduccin de la conjuncin entre (7) y (8) tenemos que:

(m1 n2 + m2 n1 ) Zwedge(m2 n2 ) Z {0}

Y por denicin de producto cartesiano tenemos que:

( m1 n2 + m2 n1 , m2 n2 ) Z Z {0}
Que era lo que queramos demostrar. Demostracin de F2 Supongamos que:

((u, v), z) (1) ((u, v), y) (2)

Debemos demostrar que z = y 3

De (1) tenemos que:

( u, v ) Q Q z = u v (3)
z = uv

Por eliminacin de la conjuncin aplicada a (3) tenemos que :

(4)

De (2) tenemos que:

( u, v ) Q Q y = u v (5)
y = uv

Por eliminacin de la conjuncin aplicada a (5) tenemos que:

(6)

Por transitiva y simtrica de la igualdad entre (4) y (6) tenemos que: z=y Como queriamos demostrar. N EUTRO A DITIVO A continuacin buscaremos el neutro aditivo de un nmero quebrado. Es decir debemos demostrar que: Para todo u Q, existe Demostracin Sea u Q, es decir: Existe un(m1 , m2 ) Z Z {0}, tal que : u = G(m1 ,m2 ) debemos hallar un e Q tal que: ue = u Para hallarlo tomemos: e = G( p1 , p2 ) entonces (2) sera: G(m1 ,m2 ) G( p1 , p2 ) = G(m1 ,m2 ) G(m1 p2 +m2 p1 ,m2 p2 ) = G(m1 ,m2 ) un eQ tal que : u e = u

(1)

(2)

( m1 p2 + m2 p1 , m2 p2 ) G ( m1 , m2 ) ( m1 p2 + m2 p1 ) m2 = ( m2 p2 ) m1
m1 p2 m2 + m2 p1 m2 = m2 p2 m1

( a)

Basta hallar los p1 , p2 que cumplan con (a), que satisfagan la ecuacin, entonces sabemos que: Notemos que para que la igualdad se cumpla bastara que p1 sea igual a cero. Por lo tanto el e que buscamos es: e = G(o, p2 ) ; I NVERSO A DITIVO Q tal que: Dado un u Q debemos halla un u =e uu G(m1 ,m2 ) G(n1 ,n2 ) = G(0,q) G(m1 n2 +m2 n1 ,m2 n2 ) = G(0,q) Con p2 Z {0}

(m1 n2 + m2 n1 , m2 n2 ) G (0, q) ( m1 n2 + m2 n1 ) q = ( m2 n2 )0 ( m1 n2 + m2 n1 ) q = 0
m1 n2 q + m2 n1 q = 0 m1 n2 q = m2 n1 q m1 n2 = m2 n1 4

(1)

Notemos que para que la igualdad (1) se cumpla n2 debera ser igual a m2 y adems n1 debera ser igual a m1 . Entonces tomemos: n2 = m2 n1 = m1 que buscamos es: Con esto tenemos que el u = G(m1 ,m2 ) u F UNCIN M ULTIPLICACIN Esta denida como una funcin que va del producto cartesiano de los quebrados con sigo mismo, en los quebrados, es decir:

: Q Q Q ( u, v ) z = u v
Que es equivalente a escribir:

= {((u, v), z) : (u, v) Q Q z = u v}

Como el conjunto de salida de , es Q Q. Supongamos u Q, v Q, quiere decir que u,v son clases de equivalencia, entonces: Existe un(m1 , m2 ) Z Z {0}, tal que : u = G(m1 ,m2 ) Existe un(n1 , n2 ) Z Z {0}, tal que : v = G(n1 ,n2 ) Y vamos a denir a z como: z = uv u v = G(m1 ,m2 ) G(n1 ,n2 ) G(m1 ,m2 ) G(n1 ,n2 ) = G(m1 n1 ,m2 n2 ) por simetrica y transitiva tenemos que: z = G(m1 n1 ,m2 n2 )

(1)

Como el conjunto de llegada de la funcin es Q, entonces z debe pertecer a Q. Es decir que: Exista un( x, y) Z Z {0}, tal que : z = G( x,y) Donde : x = m1 n1 y = m2 n2

(2) (3)

Como (1) se cumple, solo basta probar que ( x, y) Z Z {0}. Como m1 , m2 , n1 , n2 , pertenecen a Z entonces por propiedad clausurativa de la multiplicacin en los nmeros enteros sabemos que: m1 n1 Z (3) m2 n2 Z {0}

(4)

Por el Axioma de extensin aplicado a (3) y (1), (2) y (4) respectivamente, tenemos que: xZ

(5) (6)

y Z {0}

entonces de (5), (6) y denicin de producto cartesiano, tenemos que:

( x , y ) Z Z {0}

Y ahora solo debemos probar que verdaderamente es una funcin, es decir demostrar F0 , F1 , F2

Demostracin de F0 Para ello supongamos:

((u, v), z) (1)

Debemos demostrar que: Es decir demostrar:

((u, v), z) (Q Q) Q

( u, v ) Q Q (2)
y que: De (1) tenemos que: zQ

(3)

( u, v ) Q Q z = u v (4)
Por lo tanto basta demostrar (3). Para ello sabemos que: z = G( x,y) (5) Donde: x = m1 n1 y = m2 n2 De donde, puesto que m1 , n1 pertenecen a Z y n2 , m2 pertenecen a Z {0} Por el axioma de extensin tenemos que x Z y tambien que y Z {0} De donde por (5) concluimos que z Q.Como queramos demostrar. Demostracin de F1 Debemos demostrar que: Para todo (u, v) Q Q, existe un z Q tal que:

((u, v), z)
Sea (u, v) Z Z {0} (1) Por demostrar que existe un z Z tal que:

( u, v ) Z Z {0} z = u v
Gracias a nuestra suposicin (1) basta hallar un z Q tal que: z = uv Primero denamos u y v de la siguiente manera: u = G(m1 ,m2 ) ; Con (m1 , m2 ) Z Z {0} v = G(n1 ,n2 ) ; Con (n1 , n2 ) Z Z {0} Y como : u v = G(m1 ,m2 ) G(n1 ,n2 ) Y por transitiva y simtrica entre (4) y (3), (3) y (2) tenemos que: z = G(m1 n1 ,m2 n2 ) 6

(2)

(3) (4)

G(m1 ,m2 ) G(n1 ,n2 ) = G(m1 n1 ,m2 n2 )

Entonces bastara demostrar que:

G(m1 n1 ,m2 n2 ) Q

Que a su vez por la forma en la que hemos denido Q es equivalente a demostrar que:

( m1 n1 , m2 n2 ) Z Z {0}
Sabemos que m1 Z, m2 Z {0}, n1 Z, n2 Z {0}, ademas por la propiedad clausurativa de la multiplicacin de los nmeros enteros sabemos que: m1 n1 Z

(5)

m2 n2 Z {0} (6) por introduccin de la conjuncin entre (5) y (6) tenemos que: m1 n1 Z m2 n2 Z {0} Y por denicin de producto cartesiano tenemos que:

( m1 n1 , m2 n2 ) Z Z {0}
Que era lo que queramos demostrar. Demostracin de F2 Supongamos que:

((u, v), z) (1) ((u, v), y) (2)

Debemos demostrar que z = y De (1) tenemos que:

( u, v ) Q Q z = u v (3)

De (3) por la forma en la que esta denida Q, obtenemos las siguientes proposiciones: Existe un(m1 , m2 ) Z Z {0}, tal que : u = G(m1 ,m2 ) Existe un(n1 , n2 ) Z Z {0}, tal que : v = G(n1 ,n2 ) z = G(m1 n1 ,m2 n2 ) De (2) tenemos que:

(4) (5)

(6)

( u, v ) Q Q z = u v (7)

De (7) por la forma en la que esta denida Q, obtenemos las siguientes proposiciones: Existe un( p1 , p2 ) Z Z {0}, tal que : u = G( p1 , p2 ) Existe un(r1 , r2 ) Z Z {0}, tal que : v = G(r1 ,r2 ) y = G( p1 r1 , p2 r2 )

(8) (9)

(10)

Por lo tanto por transitiva y simtrica entre las proposiciones (10) y (6), lo que tenemos que demostrar es que: G(m1 n1 ,m2 n2 ) = G( p1 r1 , p2 r2 ) Es decir, demostrar que:

( m1 n1 , m2 n2 ) G ( p1 r1 , p2 r2 )
Que es equivalente a demostrar que: m1 n1 p2 r2 = m2 n2 p1 r1 Por transitiva y simtrica entre las proposiciones (4) y (8) sabemos que: G(m1 ,m2 ) = G( p1 , p2 ) 7

Es decir:

( m1 , m2 ) G ( p1 , p2 )
Por la denicin que tenemos que G ,tenemos que: m1 p2 = m2 p1 por transitiva y simtrica entre las proposiciones (5) y (9) sabemos que: G(n1 ,n2 ) = G(r1 ,r2 ) Es decir:

( n1 , n2 ) G (r1 , r2 )
Por la denicin que tenemos que G ,tenemos que: n1 r2 = n2 r1

Demostracin Para ello sabemos que: m1 p2 = m2 p1 n1 r2 = n2 r1 Debemos demostrar que: m1 n1 p2 r2 = m2 n2 p1 r1 Para ello multipliquemos a ambos lados de la igualdad (a).Entonces tenemos: m1 p2 ( n1 r2 ) = m2 p1 ( n1 r2 ) m1 n1 p2 r2 = m2 p1 ( n1 r2 ) m1 n1 p2 r2 = n1 r2 ( m2 p1 )

( a) (b)

(1)

Ahora multipliquemos a ambos lados de la igualdad (b).Entonces tenemos: n1 r2 ( m2 p1 ) = n2 r1 ( m2 p1 ) n1 r2 ( m2 p1 ) = n2 r1 ( m2 p1 ) n1 r2 ( m2 p1 ) = ( m2 p1 ) n2 r1 n1 r2 ( m2 p1 ) = m2 n2 p1 r1 Por la propiedad transitiva entre (1) y (2) tenemos que: m1 n1 p2 r2 = m2 n2 p1 r1 N EUTRO M ULTIPLICATIVO Dado un u Q, debemos hallar un e Z tal que: ue = u Entonces, sea u Q, Es decir: Existe un(m1 , m2 ) Z Z {0}, tal que : u = G(m1 ,m2 ) Debemos hallar un e Q tal que: ue = u Como e es un entero, es de la forma: e = G( p1 , p2 ) con ( p1 , p2 ) Z Z {0}

(2)

(1)

(2)

(3)

entonces de (1) y (3), en (2) tenemos que hallar un e Q tal que: : G(m1 ,m2 ) G( p1 , p2 ) = G(m1 ,m2 ) G(m1 p1 ,m2 p2 )=G(m
1 ,m2 )

( m1 p1 , m2 p2 ) G ( m1 , m2 )
m1 p1 m2 = m2 p2 m1

( m1 m2 ) p1 = ( m1 m2 ) p2
Para que la igualdad se cumpla basta tomar p1 = 1 y p2 = 1. Es decir el e que buscabamos es: e = G(1,1) Que como podemos notar es presisamente el neutro multiplicativo que conocemos el 1.

I NVERSO M ULTIPLICATIVO Q tal que: Paro cualquier u Q, debemos hallar un u =e uu Entonces, sea u Q, Es decir: Existe un(m1 , m2 ) Z Z {0}, tal que : u = G(m1 ,m2 ) Q tal que: Debemos hallar un u =e uu es un quebrado, es de la forma: Como u = G( p1 , p2 ) con ( p1 , p2 ) Z Z {0} u Q tal que: : entonces de (1) y (3), en (2) tenemos que hallar un u G(m1 ,m2 ) G( p1 , p2 ) = G(1,1) G(m1 p1 ,m2 p2 )=G(1,1)

(1)

(3)

(m1 p1 , m2 p2 ) G (1, 1)
m1 p1 = m2 p2 que buscabamos es: Para que la igualdad se cumpla basta tomar p1 = m2 y p2 = m1 . Es decir el u = G(m2 ,m1 ) u Que como podemos notar coincide con el inverso multiplicativo que conocemos.