1. Conjuntos y funciones

Documentos relacionados
1. Conjuntos y funciones

INTRODUCCIÓN A LA TOPOLOGÍA. Centro de Matemática Facultad de Ciencias Universidad de la República

Operaciones extendidas de conjuntos

Capítulo 4: Conjuntos

Práctica 2 -Cardinalidad- A. Propiedades básicas de los Conjuntos

Conjuntos. Relaciones. Aplicaciones

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017

Tema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2016

PRELIMINARES. En este capítulo vamos a dar, sin ser muy estrictos, algunas nociones necesarias para la compresión de la asignatura.

TEMA 1. Teoría de Conjuntos. Ejercicio 1.1. Decidir si A = B, A B ó A B en los siguientes casos:

Práctica 2: Cardinalidad. Propiedades básicas de los conjuntos

y exámenes. Temas 3 y 4

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

y exámenes. Temas 3 y 4

Conjuntos, Aplicaciones y Relaciones

Conjuntos, relaciones y funciones Susana Puddu

ÁLGEBRA I. Curso Grado en Matemáticas

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias

Tema 1: Fundamentos.

Parte 2: Definición y ejemplos de topologías.

Ejercicios de Álgebra Básica. Curso 2017/18

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

Introducción a la topología

2. Estructuras Algebraicas

Formulaciones equivalentes del Axioma de Elección

Ejercicios de Álgebra Básica. Curso 2014/15

1. Sucesiones y redes.

Contenido. BLOQUE I: PRELIMINARES Tema 2 ALGUNAS NOCIONES DE TEORÍA DE CONJUNTOS, RELACIONES Y FUNCIONES Lógica Grado en Ingeniería Informática

Estructuras algebraicas. Departamento de Álgebra. Apuntes de teoría

Topologías. Segundo cuatrimestre Práctica Encuentre todas las topologías sobre conjuntos de a lo sumo cuatro elementos.

1. Espacios topológicos compactos.

Relaciones Binarias. Matemática Discreta. Agustín G. Bonifacio UNSL. Relaciones Binarias

Matemáticas Discretas Relaciones y funciones

Álgebra Lineal y Estructuras Matemáticas. J. C. Rosales y P. A. García Sánchez. Departamento de Álgebra, Universidad de Granada

1. La topología inducida.

Análisis Matemático I: Numeros Reales y Complejos

Conjuntos finitos y conjuntos numerables

Capítulo 2. Conjuntos Finitos Funciones

Conjuntos finitos y conjuntos numerables

Funciones y Cardinalidad

Ejercicio Demuestra que T R es efectivamente una topología.

Álgebra Lineal. Tema 4. Espacios vectoriales de dimensión infinita

Algebra I (Doble Grado Matemáticas-Informática)

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Estructuras Algebraicas

Práctica 2 - Hay diferentes infinitos?- A. Propiedades básicas de los Conjuntos

Una manera de describir un conjunto es por extensión y consiste en enumerar sus elementos entre llaves

Pregunta 1 Es correcta esta definición? Por qué?

1. Números reales. Análisis de Variable Real

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Estructuras Discretas. Conjuntos. Conjuntos & Funciones. Especificación de Conjuntos.

Conjuntos, aplicaciones y

Matemáticas Discretas

Definiciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva.

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica

1 Continuidad uniforme

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia

Relaciones de orden. Álgebras de Boole

Cardinalidad IIC1253. IIC1253 Cardinalidad 1 / 23

2. Los números naturales, enteros y racionales 1

Cardinalidad IIC1253. IIC1253 Cardinalidad 1 / 23

Introducción a los números reales

Funciones de Variable Real

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.

Teorema de Lagrange. En esta sección demostramos algunos hechos básicos sobre grupos, que se pueden deducir de la definición

Capítulo 1: Números Reales

Curso de conjuntos y números. Versión corregida de los Apuntes. Juan Jacobo Simón Pinero

TEMA 2. TEORÍA DE CONJUNTOS

Cálculo diferencial e integral I. Eleonora Catsigeras

58 7. ESPACIOS COCIENTE

Ejercicio 70 : En este ejercicio vamos a caracterizar completamente la expresión

Introducción a la Matemática Discreta

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Sucesiones. Una sucesión de números reales es una tira, o una lista, de nḿeros reales que generalmente denotamos como

0. Conjuntos y relaciones

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo

Ejercicios de Teoría de conjuntos

Ordenación parcial Conjunto parcialmente ordenado Diagrama de Hasse

CURSOS DE MATEMÁTICAS

ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA NOCIONES PRELIMINARES DE MATEMÁTICAS

Teorema de Hahn-Banach

Curso de conjuntos y números. Notas sobre el Lema de Zorn y la aritmética de cardinales arbitrarios

EL TEOREMA DE SEIFERT-VAN KAMPEN. 1. Preliminares sobre grupos

Conjuntos. 17 {perro, gato, 17, x 2 }

MatemáticaDiscreta&Lógica 1. Conjuntos. Aylen Ricca. Tecnólogo en Informática San José 2014

Ejercicios de Teoría de conjuntos

Conjuntos, relaciones de equivalencia y aplicaciones

Ejercicios de Teoría de conjuntos

Semana04[1/17] Funciones. 21 de marzo de Funciones

Introducción a los números reales

1. Problemas de inducción.

Espacios Vectoriales

ÁLGEBRA Algunas soluciones a la Práctica 1

Teoría de la Dimensión

Transcripción:

Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 1: CONJUNTOS. 1 1. Conjuntos y funciones Ejercicio 1. Si I es un conjunto y A α es un conjunto para cada α I, entonces: [ A α ] c = A c α y [ A α ] c = A c α. Ejercicio 2. Sea f : X Y una función, A X, B Y, {A α } una colección de subconjuntos de X y {B α } una colección de subconjuntos de Y. 1. Probar primero que tomar preimágenes preserva las operaciones con conjuntos: f 1 ( B α ) = f 1 (B α ) f 1 ( B α ) = f 1 (B α ) f 1 (B c ) = [f 1 (B)] c. 2. Probar que con las imágenes no es tan así. f( A α ) = f(a α ) f( A α ) f(a α ). Mostrar que la inclusión puede ser estricta e investigar bajo qué hipótesis sobre la f la inclusión es siempre una igualdad. Comparar f(a c ) con [f(a)] c. 3. Probar que f 1 (f(a)) A y que f(f 1 (B)) B. Mostrar que las inclusiones pueden ser estrictas y averiguar cuándo vale la igualdad. Ejercicio 3. Si {A n : n N} es una colección de subconjuntos de X, entonces defina el límite superior: lím sup A n = n 0 k n A k n y el límite inferior: Probar que lím inf n A n = n 0 k n A k 1 Creado a partir de menores modificaciones del material generado por el profesor Alvaro Rovella para el curso 2014. 1

1. n A n lím inf A n lím sup A n n A n. 2. Si A n es una sucesión creciente de conjuntos, entonces lím inf A n = lím sup A n = A n. Si es decreciente, entonces lím inf A n = lím sup A n = A n 3. Se tiene x lím sup A n si y sólo si x pertenece a infinitos A n. Además x lím inf A n si y sólo si x pertenece a todos salvo una cantidad finita de los A n. 4. Sea {a n : n 0} una sucesión de números reales. Sea A n = (, a n ). Qué dan el límite superior y el límite inferior de los conjuntos A n? Repetir el ejercicio para A n = (, a n ] y para B n = (a n, + ) 2. Relaciones de equivalencia. Una relación en X es un subconjunto del producto cartesiano X X. Dada una relación R X X escribiremos xry cuando (x, y) R. Una relación de equivalencia en X es una relación R que cumple con las siguientes propiedades: 1. xrx para todo x X (reflexiva) 2. xry implica yrx (simétrica) 3. xry y yrz implica xrz (transitiva) Para notar las relaciones de equivalencia suelen usarse símbolos como,, = o. Ejemplo: Dado un entero no nulo n, definimos en Z la relación n por a n b si y sólo si a b es múltiplo de n. Es sencillo probar que se trata de una relación de equivalencia. La denominamos congruencia módulo n. Definición 1 Consideremos una relación de equivalencia en X. La clase de equivalencia de un elemento x 0 X, se define como el subconjunto de X formado por [x 0 ] := {x X : x x 0 }. Al conjunto formado por las clases de equivalencia {[x] : x X} se denomina espacio, o conjunto cociente. 2

Ejercicio 4. Describir Z n, el conjunto cociente de la congruencia módulo n. Ejercicio 5. En R diremos que x y si y sólo si x y Z. Probar que es una relación de equivalencia. Interpretar geométricamente el conjunto cociente. Qué sucede si consideramos la misma relación de equivalencia cambiando R por Z? Ejercicio 6. En R 2 ponemos la siguiente relación: (x 1, x 2 ) (y 1, y 2 ) sii (x 1, x 2 ) (y 1, y 2 ) Z 2. Probar que es una relación de equivalencia y observar que el cociente es el toro. Ejercicio 7* El toro también puede obenerse identificando los lados opuestos de un rectángulo. Encontrar la relación de equivalencia adecuada en el rectángulo de forma tal que el cociente sea el toro. Pensar de qué forma podríamos obtener otras superficies (bitoro, tritoro, etc) como cociente de un polígono por una relación de equivalencia que identifique pares de lados. Ejercicio 8.(Plano proyectivo) En R 2 {0} ponemos la siguiente relación: x y sii existe λ 0 tal que x = λy. Probar que es una relación de equivalencia, y describir geométricamente el conjunto de clases de equivalencia. El conjunto cociente se denomina plano proyectivo real y se nota P(R 2 ), o P 1 R. Si X es un conjunto, P(X) denota el conjunto de todos los subconjuntos de X. Definición 2 Una partición en un conjunto X es una familia de subconjuntos A P(X) que cumple: 1. A A A = X. 2. A B = A, B A. Ejercicio 9 Probar que el conjunto cociente de una relación de equivalencia en X es siempre una partición de X y que para toda partición en X existe una relación de equivalencia cuyo cociente es dicha partición. 3. Relaciones de orden Un orden, también dicho orden parcial, es una relación R en un conjunto X que cumple dos propiedades: 1. xry y yrz implica xrz (transitiva) 3

2. xry y yrx implica x = y (antisimétrica) Ejemplo: Si Z es un conjunto cualquiera y P(Z) denota al conjunto de los subconjuntos de Z, defina R P(Z) P(Z) como ARB sii A B. Es una relación de orden parcial. Ejemplo: Sea X = {1,..., n} con la relación R = X X. No es de orden. Una relación es de orden total si dados x e y, dos elementos distintos de X, se cumple que xry o yrx. Notar que en el ejemplo anterior (de la inclusión) el orden no es total. En general se usa una notación más sugestiva: se escribe x y. Entonces suele ponerse (X, ) para significar que se ha considerado en X el orden, y se llama al par (X, ) un conjunto ordenado. En los reales R se tienen los órdenes usuales, <,, >. Convénzase que todos son órdenes totales. Otro ejemplo es el orden producto, de dos conjuntos ordenados (X, X ) y (Y, Y ), definido como (x, y) (x, y ) sii x X x y y Y y. Probar que es un orden parcial y observe que aunque ambos sean totales, el orden producto no lo es. Para definir un orden total en el producto de dos conjuntos ordenados, se define el orden lexicográfico o de diccionario: (x, y) (x, y ) si x X x o bien x = x y y Y y. Para ejercicio, hacer un dibujo en R 2 del conjunto de los (x, y) (2, 1), cuando es el orden producto y cuando es el orden lexicográfico (considerando en R el orden >). Si (X, ) es un conjunto ordenado, e Y es subconjunto de X, entonces Y hereda el orden. Eso es una afirmación que hay que probar. Si Y es subconjunto de X decimos que a X es cota de Y si a y para todo y Y ; a es máximo de Y si además a Y. Un elemento a Y es maximal en Y si se cumple que: Para todo y Y tal que y a se tiene y = a. Ver abajo en los ejercicios la diferencia entre máximo, maximal y cota. Un elemento x X tiene sucesor inmediato si el conjunto de los s X \ {x} tales que s > x tiene mínimo (cuya definición dejamos a cargo del lector). Ahora, un conjunto totalmente ordenado (X, ) es un buen orden si se cumple que todo subconjunto tiene mínimo. Por ejemplo (R, ) no es. Pero (N, ) sí lo es. Ejercicio 10. Sea Z + el conjunto de los enteros positivos. Se consideran los siguientes órdenes en el producto Z + Z + : a) (x, y) (x, y ) si y x > y x o bien y x = y x y y > y. b) (x, y) (x, y ) si x + y > x + y o bien x + y = x + y y y > y. 4

Probar que son órdenes totales. Qué elementos tienen un sucesor inmediato? Hay elementos máximos? Probar que los órdenes no son equivalentes entre sí, ni al orden lexicográfico. (Dos conjuntos ordenados (X, X ) y (Y, Y ) son equivalentes si existe una biyección h : X Y tal que h(x) Y h(x ) si y sólo si x X x.) Ejercicio 11. Considere X = P(N) con el orden de inclusión, es decir A B si A B. a) Probar que es un orden parcial, que no es total, que existe un elemento mínimo y un elemento máximo. b) Sea Y el subconjunto de X definido por A Y si A tiene menos de 32 elementos. Averiguar si tiene máximo, si tiene elementos maximales y elementos minimales. c) Hallar un subconjunto infinito de X que sea totalmente ordenado. d) Hallar un subconjunto de X que sea acotado pero que no tenga elemento maximal. Ejercicio 12. Sea X = {n N : n 2} con la relación de orden m n si m divide a n. Probar que es efectivamente una relación de orden y hallar elementos maximales y minimales, si es que existen. 4. Ordenes de infinitos. Intuitivamente se define el cardinal de un conjunto como la cantidad de elementos del conjunto. Claro que los conjuntos infinitos en principio no se pueden contar para decir cuál tiene más elementos. Pero la cosa se pone interesante si se define que un conjunto X es equipotente a otro Y si existe una función biyectiva de X en Y. Esta es claramente una relación de equivalencia, sólo un detalle : no existe el conjunto de todos los conjuntos. Así que obviemos este problema suponiendo que tenemos una determinada colección A de conjuntos y observemos que la relación es de equivalencia en A. A cada clase de equivalencia le llamamos número cardinal. Así, el número natural 2 puede ser visto como un número cardinal, es decir, como la clase de todos los subconjuntos de A que cuentan con 2 elementos. También se usa decir que dos conjuntos equipotentes tienen el mismo cardinal. Lo más interesante es que se puede definir un orden entre los números cardinales. Decimos que un cardinal x es mayor o igual que y (que notaremos x y) si existe un conjunto X en la clase x y uno Y en la clase y y una función 5

inyectiva de Y a X. Para probar que es una relación de orden usamos sin demostración el siguiente teorema de Bernstein: Si existe una función inyectiva de X a Y y existe una función inyectiva de Y a X, entonces existe una función biyectiva de X a Y, o sea, X e Y son equipotentes. Ejercicio 13. 1. Demostrar que está bien esa definición de orden en el conjunto de los números cardinales, es decir, que no depende de la elección de los representantes de x y de y. 2. Usando el teorema de Bernstein, probar que es una relación de orden. Investigar si esta relación corresponde a un orden total. Pensaremos que A es el conjunto de todos los subconjuntos de N. Ejercicio 14. Probar que un conjunto es infinito sii es equipotente a un subconjunto propio. Un conjunto X se dice numerable si es finito o equipotente a N. Entonces el conjunto de los números pares es numerable, y Z también. Ejercicio 15. Probar que son numerables: N N, los racionales, el conjunto de los números algebraicos (raíces de polinomios de coeficientes enteros), la unión de conjuntos numerables, el conjunto de todos los subconjuntos finitos de N. Ejercicio 16. Probar que el conjunto formado por todas las sucesiones de ceros y unos (denotado 2 N ) no es numerable. Probar que el intervalo (0, 1) es equipotente a 2 N, y deducir que R es equipotente a 2 N, y por o tanto, R no es numerable. Probar que 2 X es equipotente a P(X). Deducir que R es equipotente al conjunto de todos los subconjuntos de N. 5. Producto cartesiano y Axioma de elección. Dado un conjunto de índices I y un conjunto X α para cada α I, se define el producto cartesiano de los conjuntos X α como Π α I X α = {f : I α I X α : f(α) X α α I} 6

Por ejemplo, si X es un conjunto y I = {1,..., n} entonces el producto Π 1 k n X no es otra cosa que el conjunto de las n-uplas ordenadas de elementos de X, o sea, es lo que habitualmente se llama X n. En general, si todos los X α son iguales a un conjunto X entonces escribimos X I como abreviación para Π α I X. Note que X I es el conjunto de todas las funciones de I en X. Ejercicio 17. Determinar cuáles de los siguientes conjuntos son numerables: (a) Z [0,1], (b) [0, 1] Z, (c) Z Z, (d) El conjunto de funciones de Z en R que valen 0 salvo para finitos n Z. (e) El conjunto de funciones de Z en Z que valen 0 salvo para finitos n Z. Ejercicio 18. Hallar una sucesión de conjuntos infinitos X n tales que el cardinal de X n+1 es mayor que el de X n. Después hallar un conjunto Z que tenga mayor cardinal que todos los X n. El Axioma de elección dice que cualquiera que sea el conjunto I, si para cada α I se cumple que X α es no vacío, entonces Π α I X α es distinto del vacío. En otras palabras, si todo X α es no vacío, entonces existe un objeto (una función) que consiste en elegir un elemento de cada conjunto. Así dicho parece que no debiera ser un axioma. La teoría de conjuntos es un área intrincada de la matemática. Lema de Zorn. Sea (X, ) un conjunto parcialmente ordenado. Si todo subconjunto totalmente ordenado tiene cota superior, entonces existe un elemento maximal en X. El Axioma de elección se usa en la demostración del Lema de Zorn, son de hecho equivalentes. La demostración de estos hechos es algo complicada y no la haremos en este curso, (ver ejercicio abajo donde se prueba que el Lema de Zorn implica el Axioma de elección). Por otro lado, el Axioma de elección es también equivalente al principio de buena ordenación, que dice que todo conjunto puede ser bien ordenado, es decir, si X es un conjunto, existe en X un buen orden. Es posible por lo tanto, hallar un orden en R que es un buen orden. Se tiene entonces que todo subconjunto tiene un mínimo, por lo tanto, R tendrá un mínimo x 0, luego R \ {x 0 } tendrá un mínimo x 1 y así sucesivamente hasta agotar los reales. Ejercicio 19. Usar el Axioma de elección para demostrar que si f : X Y es una función sobreyectiva, entonces existe una inversa por derecha de f, 7

es decir, una función g : Y X tal que f g = id X. Probar que si f : X Y es inyectiva, entonces f tiene una inversa por izquierda; se precisa el Axioma de elección? Ejercicio 20. Probar el Axioma de elección usando el Lema de Zorn. Idea: Se quiere probar que existe una función φ de I en α I X α tal que φ(α) X α para todo α I. Sea F el conjunto de las funciones f definidas en algún subconjunto D f de I tales que f(α) X α para todo α D f. Probar que este conjunto es no vacío. Luego se ordena F de la siguiente manera: decimos que f g si D f D g y f(α) = g(α) para todo α D g (es decir, f g si f es una extensión de g). Probar que eso da un orden parcial en F y que todo subconjunto linealmente ordenado tiene una cota. Usando Zorn deducir que hay un elemento maximal y concluir. Ejercicio 21. Probar el principio de Inducción transfinita: Teorema: Sea (X, >) un conjunto bien ordenado, y P una propiedad aplicable a los elementos de X. Hipótesis. 1) El mínimo elemento de X verifica la propiedad P. 2) Si y X y todo elemento x tal que y > x verifica la propiedad P, entonces también y verifica P. Tesis: Todo elemento de X verifica la propiedad P. 8