1. Problema: Compruebe las leyes distributivas de unin e interseccin. Adems, revise las leyes de DeMorgan.

Prueba: Nuestro primer objetivo es comprobar que . Para verificar el puo notamos que y

que por las leyes distributivas de 'y' y 'o' (comprobar fcilmente una tabla de verdad), vemos que esto es equivalente a

desde donde la conclusin se sigue. El otro caso es completamente anlogo. Ahora, nuestro objetivo es demostrar que y . Para ello nos vamos . Ahora, si tendramos que y entonces y entonces y entonces . A la inversa, si vemos que . Si o tendramos que o , Y de cualquier manera . Resulta que es en ninguno, es decir . La conclusin se desprende. Para obtener el derecho de la otra DeMorgan nos limitamos a sealar que (cambiando ) a

2. Problema: Determinar cules de las siguientes afirmaciones son verdaderas para todos los conjuntos y . Si una doble implicacin falla, determinar si uno o la otra de las posibles implicaciones bodegas. SI una igualdad falla, determinar si la declaracin se convierte en verdadero si el signo igual se sustituye por una inclusin. a) b) c) d) y o y o si y slo si si y slo si si y slo si si y slo si

e) f) g) h) i) j) y implica

k) La inversa de j) l) La inversa de j) el supuesto de que m) n) o) p) q) Prueba: a) : Let entonces y por lo tanto y entonces . y son no vaco

: Esto no es necesariamente cierto. Considerar b) : Let . : Esto tambin es incorrecto, siendo el mismo contraejemplo aplicable. c) entonces o y entonces . Por lo tanto,

: Let .

entonces

y entonces

. Por lo tanto,

: Es evidente que desde d) : No es cierto. Tomar y

: Esto es cierto, considerando que es una formulacin ms dbil de la segunda direccin en el ltimo problema. e) Es evidente que no ya que el LHS es un subconjunto de . f) No. Si . Por ejemplo,

entonces el LHS es no vaco y el RHS es.

g) Esto es cierto. La RHS puede ser manipulado en la LHS de la siguiente manera

(La ltima parte por DeMorgan de) que, tras la distribucin de

da

h) No es cierto. Tenga en cuenta que si

esto dice que

i) Esto tiene sentido, si lo lee l dira "Todo lo que es tanto est en pero no en da todo en . "Formalmente

adems de todo lo que

y as por esto es igual a la distribucin

j) Esto es cierto. Dejar Por lo tanto

, Luego . y .

k) Esto no siempre es cierto. Dejar RHS de la inclusin estn vacas todava

entonces el LHS y

l) Entonces, esto es cierto. Dejar . Por lo tanto, demostraciones de procedimientos

, Desde existe alguna , Y por lo tanto y entonces . A semejantes

Observacin: Esto muestra por qu a veces es peligroso ir solo "dejar m) Esto es falso. Dejar pero n) Esto es cierto. Dejar entonces

... " . Evidentemente

o . o equivalentemente

o equivalentemente

o) Esto es cierto. Dejar

, Entonces:

o (y esto se ve raro)

Y entonces Entonces,

. Por el contrario, dejar que

(En la actualidad,

si , ,Y . Pero, puesto que el primero y el ltimo son imposibles ya que la primera parte de la declaracin dice podemos concluir que el segundo es cierto) as

p) Esto es cierto. Tenga en cuenta que si y slo si lo cual es cierto si y slo si . Pero, esto es cierto si y slo si . (Esta parte ilast era truco ya que sabemos que .) Lo cual es cierto si y slo si . q) Esto no es cierto en general. Intentar y

Observacin: Hice esto con ms detalle anteriormente, si usted busca para ellos. 3. Problema: a) Escriba la contraposicin y recproco del enunciado "Si determinar cules de las afirmaciones son verdaderas b) Haga lo mismo con la declaracin: "Si Prueba: a) La contraposicin es "Si contrario es "Si , Luego entonces lo cual es falso "Lo que es falso" . Lo , Luego , Luego "Y

b) La contraposicin es "Si , Luego , Luego "Lo que no es cierto 4.

lo cual es cierto. Lo contrario es "si

Problema: Que y ser conjuntos de nmeros reales. Escribe la negacin de cada una de las siguientes afirmaciones a) por cada , Es cierto que , Es cierto que

b) Por lo menos un c) Por cada

, Es cierto que , Es cierto que

d) Por lo menos un Prueba:

Voy a escribir esto en notacin de conjuntos a) b) c) d) 5. Problema: Que ser una clase no vaca de conjuntos. Determinar la veracidad de cada una de las siguientes declaraciones y sus conversos

a)

b)

c)

d)

Prueba: a) Esta implicacin es cierto, as como que es contrario (esta es la definicin de la unin) b) La implicacin es falsa. Considerar pero , Entonces claramente

c) La implicacin es verdadera. Lo contrario es falso sin embargo. En lo anterior, la clase de conjuntos vemos que pero d) La implicacin, y es contrario son verdaderas. Esta es la definicin de interseccin. 6. Problema: Escriba el contrapositive de cada una declaraciones en el ejercicio 5 Prueba:

a) Si

para cada

entonces

b) Si existe c) Si por cada

de tal forma que bien es cierto que

, Luego entonces

d) Si existe algn 7.

de tal forma que

, Luego

Problema: conjuntos dados y , Expresan cada uno de los siguientes conjuntos en trminos de y , Utilizando los smbols y .

Prueba: a) b)

c) 8. Problema: Si un conjunto tiene dos elementos, muestran que tiene cuatro elementos. Cuntos elementos tiene tener si tiene un elemento? Tres elementos? No hay elementos? Por qu es llamado el conjunto potencia de ? Prueba: Lema: Let Demostracin: Sea . Entonces, donde

Para ver que es inyectiva suponer que y entonces para demostrar sobreyectividad deje Evidentemente, . Resulta que

, Entonces WLOG hay alguna , Por lo tanto . A continuacin, y dejar , es una biyeccin, y el lema queda demostrado.

De ello se deduce que si

entonces

Observacin: Alternativamente, se puede encontrar una relacin de recurrencia solucin a este problema. Es decir, vamos a . Entonces, si uno las particiones en los conjuntos que contienen y aquellos que no lo hacen se puede ver que cada bloque de la particin tiene elementos, y por lo tanto

y tomando nota de que de este modo

se puede concluir que

9. Problema: Formular y probar las leyes de DeMorgan para uniones e intersecciones arbitrarias. a)

Reclamo: Que de , Luego

ser una clase de subconjuntos de un conjunto universal

Prueba: Si

entonces

para algunos

. Por lo tanto,

y entonces . Por el contrario, suponer que entonces existe algn de tal forma que . Resulta que . La conclusin se desprende. Corolario: y as, finalmente,

Demostracin: limitamos a sealar que

que por nuestra ltima afirmacin es probada

10. Problema: Que designar el conjunto de los nmeros reales. Para cada uno de los siguientes subconjuntos de , Determinar si es igual al producto cartesiano de dos subconjuntos de a) b) c) d) e)

Prueba: a) Esta es, a saber, b) Esto es, a saber, c) Este no es. Para ver esto supongamos que por lo tanto . Adems, y por lo tanto d) Esto es, a saber, e) No se trata, utilizando el mismo argumento que en c), primera y seal que . Vemos que y y entonces . Pero, , Lo cual es una contradiccin.

1. Problema: Que a) Demostrar que b) Demostrar que Prueba:

. Dejar

. es inyectiva es sobreyectiva

y que la igualdad se cumple si

y la igualdad se cumple si y slo si

a) La primera parte es bastante obvio. Si de donde se deduce que

entonces .

y entonces

Ahora, supongamos que es inyectiva pero . Entonces, hay una cierta de tal forma que . Pero, por definicin, ya que existe alguna de tal forma que pero desde y resulta que y esto contradice la inyectividad. Por el contrario, suponer que . Entonces, si entonces entonces lo que significa que si lo desea. b) La primera parte es claro una vez ms. Si entonces de donde se deduce que entonces . y

Ahora, supongamos que es sobreyectiva. Por la parte anterior es suficiente para demostrar la inclusin inversa. Por lo tanto, dejar que (Sabemos que cualquier elemento de

es de la forma

por sobreyectividad), a continuacin, y entonces y entonces desde donde la conclusin se sigue. y dejar . Entonces, de donde se deduce que

Por el contrario, suponer que en particular garantiza sobreyectividad. 2.

y as se

Problema: Que y dejar y para . Demostrar que preserva inclusiones, uniones, intersecciones y diferencias de conjuntos: a) b) c) d) Demostrar que e) f) g) es inyectiva h) es sobreyectiva. Prueba: Asumimos en todos los casos que los conjuntos son no vaco y en el caso de las intersecciones y establecer diferencias, interseccin. Porque, si no esto es trivial. a) Sea entonces De donde se deduce que y entonces y entonces , y demostrar que la igualdad tiene precisamente cuando preserva las inclusiones y los sindicatos slo:

y demostrar que la igualdad tiene precisamente cuando

b) Sea entonces y entonces y entonces y entonces . Tomando nota de que todos los "y tan" s anteriores eran en realidad "si y slo si" s muestra la inclusin inversa.

c) Observamos que slo si

si y slo si lo cual es cierto si y lo cual es cierto si y slo si lo cual es cierto si y slo si

d) Observamos que si y slo si lo cual es cierto si y slo si . Ahora, claramente la primera parte es verdadero si y slo si y (notar que ) La segunda parte es verdadero si y slo si y as ponerlos juntos conseguimos la declaracin en la frase anterior es verdadera si y slo si lo cual es cierto si y slo si e) Que resulta que que f) Que para algunos para algunos cierto si y slo si g) Que entonces para algunos . entonces y entonces para algunos y as sea y por lo tanto para algunos o lo cual es para algunos y entonces . Pero, ya de donde se deduce

que

entonces para algunos y y entonces .

para algunos para algunos

y entonces y entonces de donde se deduce

Ahora, supongamos que es inyectiva. Para la ltima parte para mostrar la igualdad es suficiente mostrar la inclusin inversa. Para ello nos vamos entonces y por lo tanto (por inyectividad) y entonces y entonces . La conclusin se sigue por el comentario anterior. Por el contrario, suponer que entonces y entonces

de donde se deduce que Observacin: Yo tom tcnicamente h) Que para algunos y entonces al ser cualquier subconjunto de y y entonces y entonces para algunos

entonces pero esto

Ahora, supongamos que es inyectiva. Desde la ltima parte para demostrar la igualdad es suficiente mostrar la inclusin inversa. Por lo tanto, dejar que entonces (Por inyectividad) y as y entonces (Segunda parte de la inyectividad) y por lo tanto

A la inversa, si

entonces

de donde se deduce que

Inyectividad sigue. Observacin: Se aplica el mismo comentario. 3. Problema: Demostrar que b), c), f) yg) de la ltima Mantenga el ejercicio por las uniones e intersecciones arbitrarias. Prueba: Una vez ms, suponemos que todo lo siguiente es no vaca ya que la prueba de lo contrario es trivial.

b) Sea algunos

entonces . Por lo tanto,

y as, en particular, y entonces

para . Resulta que

Por el contrario, dejar que

entonces

para algunos

Por lo tanto, Resulta que

y entonces

de modo que

El problema sigue.

c) Que . Por lo tanto,

entonces para cada

y entonces y por lo tanto

para cada

A la inversa, si

tenemos que

para cada

y entonces

para cada Resulta que

. Por lo tanto,

y entonces

desde donde el problema sigue.

f) Que donde

entonces para algunos . Resulta que

donde

. As, y por lo tanto

de donde se deduce que

Por el contrario, dejar que . Por lo tanto, y entonces

entonces para algunos

as

para algunos para algunos

de donde se deduce que

y por lo que el problema sigue.

g) Que para algunos se deduce que

, Luego para cada

para algunos . Por lo tanto,

. Resulta que de donde

Ahora, supongamos que es inyectiva y dejar . Entonces, para cada . Por lo tanto, por la inyectividad tenemos que para cada

entonces

. Por lo tanto,

y por lo tanto

desde donde el problema sigue. 4. Problema: Que a) Si mostrar que es inyectiva. ? y .

b) Si y son espectculo inyectiva que c) Si

es inyectiva qu se puede decir acerca de la inyectividad o es sobreyectiva.

d) Si y se surjective probar que e) Si

est surjective Qu puede decir acerca de y

'S sobreyectividad?

f) un resumen de las respuestas a ser en forma de un teorema. Prueba: a) Sea , Luego y as, finalmente, entonces de modo que y entonces . y entonces . . As,

A la inversa, si

La conclusin se desprende. b) Si entonces (Por 'Inyectividad s) y as (Por 'S inyectividad). La conclusin se desprende.

c) Afirmamos que es inyectiva implica que es inyectiva. A ello se prueba la contraposicin. Supongamos que no se inyectiva, entonces hay de tal forma que y con tanta claridad a continuacin y entonces no inyectiva. La conclusin se desprende. d) Esto sigue desde si lo desea.

e) Afirmamos que es sobreyectiva implica que es sobreyectiva. Una vez ms, hacemos esto por la prueba de la contraposicin. Tomamos nota de que desde donde la conclusin se sigue. f) No estoy seguro de lo que desea, pero supongo que sera que b) yd) dar a entender que si son biyecciones entonces es una biyeccin. Tambin, c) ye) demostrar que si es una biyeccin entonces es inyectiva y sobreyectiva. 5. Problema: En genereal, denotamos la funcin identidad para un conjunto es definir . Dado si decimos que la funcin . Adems, se dice por . Eso

es una inversa por la izquierda para es una inversa derecha si . es inyectiva, y si tiene una

a) Demostrar que si tiene una inversa por la izquierda, inversa por la derecha, es sobreyectiva.

b) Dar un ejemplo de una funcin tiene una inversa por la izquierda, pero no inversa por la derecha c) Dar un ejemplo de una funcin que tiene una inversa por la derecha pero no inversa por la izquierda. d) Puede una funcin inversa tener ms de izquierda? Ms de una inversa por la derecha? e) Demostrar que si biyectiva y Prueba: tiene tanto un izquierda y una inversa derecha entonces es

a) Supongamos que luego .

tiene una inversa por la izquierda y dejar . Sabemos que lo cual sera imposible (desde es una funcin $ si

Por el contrario, dejar que Sabemos que luego

tiene inversa por la derecha y dejar ser arbitraria. y desde es el valor deseado cuya imagen es . . Es evidente que esto tiene una inversa por

b) Considere la funcin la izquierda, pero no inversa derecha. c) Qu tal ?

d) Un inversa por la izquierda no tiene que ser nico en esta definicin. Por ejemplo, considere la asignacin . Entonces, podemos definir por

Es evidente, entonces para cada cualquier cosa de manera que no es nico.

. Pero, podemos tomar a ser

Inversas derecha no son nicos, ya sea. Por ejemplo, considere

Despus consideramos dos funciones

A continuacin, observamos que

De modo que

Pero, un anlisis similar muestra que si

se define por

tambin tiene la propiedad de que

Y desde

se deduce que inversas derecha no tiene que ser nico.

e) Es evidente que nuestros problemas anteriores se tiene que teniendo a la izquierda y derecha, respectivamente inversa implica que $ laetx f $ es inyectiva y sobreyectiva, respectivamente, y por lo tanto biyectiva. Ahora, vamos a arbitrario y suponer que

entonces vemos por

'S inyectividad que

que es claramente absurdo. Adems, vamos a ser arbitraria, entonces por sobreyectividad tenemos que para algunos . Entonces, si esto implica que

que tambin es una contradiccin. Resulta que si lo desea. 6. Problema: Que apropiadamente a partir

y por lo tanto

. Al restringir el dominio y el rango de una funcin biyectiva . y entonces es creciente en

obtener

Prueba: Tomamos nota de que tanto,

. Por lo

pero desde

es continua se desprende del teorema del valor intermedio que y tomando nota de que de este modo es inyectiva en (Ya que es continua y montona), podemos concluir que es biyectiva.