Pauta Taller Evaluado N 2

Sebastin Gonzlez M. a a 12 de septiembre de 2010

1.

Problemas
xRy x y Z a) Vericar que R es una relacin de equivalencia. o b) Encontrar la clase de equivalencia de 2.

1. Considere la relacin R en R2 dada por: o

2. Sea {ak } sucesin en progresin geomtrica con cociente q = o o e Si bk = ak + 1 +

3 k , k

1 . 3

determinar l bk m
k

2.

Respuestas
a) Tenemos que una relacin se cumple, si y solo si se cumple la siguiente condicin: x y Z. Es decir, la resta de o o las coordenadas del punto que pertenece a R2 debe pertenecer a Z, los enteros. Muchos pusieron que la resta deb ser mayor a 0 o cosas por el estilo que estaban malas. Vamos viendo paso por paso, qu es lo que se debe a e probar para que R sea una relacin de equivalencia: o Reeja: Que la relacin se cumpla con un punto arbitrario (x, x). o Aplicamos el punto a la relacin: o xRx x x = 0 Z Sabemos que el 0 es entero. Luego la relacin es reeja. o Simtrica: El punto (a, b) cumple con la relacin, entonces el punto (b, a) tambin debe cumplir. e o e Sabemos que (a, b) cumple con la relacin, es decir a b = c Z, la resta de las coordenadas da un valor c o arbitrario que pertenece a los enteros. Ahora hay que ver si el otro punto cumple tambien: bRa b a = (a b) = c. Y ya que sabemos que c pertenece a los enteros, c tambin pertenece a los enteros. Luego la relacin es e o simtrica. e Transitiva: Los puntos (p, q) y (q, s) cumplen con la relacin, entonces el punto (p, s) debe cumplir tambin. o e De la relacin con los puntos sabemos: o pRq p q = r Z qRs q s = t Z Veamos que sucede con (p,s). Obtenemos pRs p s. Cmo saber que p-s pertenece a los enteros? Hay o que ser un poco avispado solamente. Ms arriba tenemos dos ecuaciones: a pq =r qs=t 1

1. Primero analizemos la situacin. o

Que pasa si las sumamos? pq+qs=r+t ps=r+t Obtuvimos una expresin para p s que es r + t. Y ya que sabemos que r + t pertenece a los enteros, pues o la suma o resta sobre enteros es cerrada, es decir, si sumo o resto un entero con otro entero, siempre, obtengo otro entero, podemos concluir que la relacin tambin es transitiva, y con esto, es de equivalencia. o e b) La clase de equivalencia de c, [c], viene denida como el conjunto de todos los y que hagan cumplir la relacin o cPy se cumpla, es decir: [c] = {y R cPy} Pasando esta denicin a nuestro caso: o [2] = {y R 2Ry} Es decir, todos los y R que hagan que 2 y pertenezca a los enteros. Y ya que sabemos que la suma y resta entre enteros da siempre un entero, el conjunto de todos los y que nos sirven es Z. 2. Ac muchos murieron por el trmino ak . Pusieron una sumatoria rara, que sirve para calcular la suma de los k a e trminos de la progresin. Eso no es lo que les preguntaban. A ustedes les preguntaban cuanto era ak y esto es una e o frmula muy simple: o ak = a1 q k1 Esta frmula no tienen que aprendrsela, porque la pueden deducir fcilmente al ojo, y si quieren por induccin. o e a o Pero a nadie le gusta hacer eso ultimo. Por lgebra de l a mites sabemos que: l bk = l ak + l m m m 1 +
k k

3 k

Veamos el primer l mite. Es llegar y reemplazar: l ak = l a1 m m

k

1 3

k1

= a1 l m

1 3

k1

Es claro que ese trmino se va a 0 cuando k se va innito, porque cada vez que el k avanza, estamos multiplicando e por 1 , osea estamos haciendo ms chica la fraccin. Lo del signo en este caso da lo mismo, porque nos acercamos a o 3 al cero desde los positivos y negativos a la vez. As :
k

l ak = 0 m

Ahora vamos por el que se ve feo. l m 1 + 3 k

k

Muchos pusieron que lo de adentro era 1+0 y eso elevado a innito asi que es 1. Eso est mal. No lo hagan nunca a ms. En serio. Cada vez que vean un l a mite parecido, deben pensar en Euler. Esos son los l mites del tipo: e = l (1 + algo) algo e = l (1 + m o m
algo algo
1

1 )algo algo

El que ten que resolver era del segundo tipo. Solo que aparec un 3 y hab que modicar la fraccin para an a a o obtenerlo. l m 1 + 3 k
k

= l m 1 +
k

1
k 3

Ahora elevamos el l mite ocupando un 1 conveniente: 1

k 3 k

l m 1 +

l m 1 +

1
k 3

k 3

Transformamos nuestro l mite a un l mite de Euler de la segunda forma, lo que es igual a e, y como est elevado a a 3, el l mite vale e3 . Luego l k bk = 0 + e3 = e3 m