Teoría de conjuntos

Conjuntos, relaciones y funciones
Cristina Steegmann Pascual
P06/75004/00652 Módulo 1

© FUOC • P06/75004/00652 • Módulo 1

Teoría de conjuntos

Índice

Introducción ............................................................................................ Objetivos ................................................................................................... 1. Teoría básica de conjuntos ............................................................. 1.1. Conceptos básicos de conjuntos .................................................... 1.2. Operaciones entre conjuntos .........................................................

5 6 7 7 9

1.3. Conjunto de partes de un conjunto: partición .............................. 10 2. Relaciones ............................................................................................ 12 2.1. Relación binaria .............................................................................. 13 2.2. Posibles propiedades de las relaciones binarias sobre un conjunto ......................................................................... 13 2.3. Visión formal de una relación. Aplicaciones de las relaciones: bases de datos relacionales ............................................................. 14 3. Relación de equivalencia y relación de orden ........................... 16 3.1. Relación de equivalencia: clases de equivalencia ........................... 16 3.2. Teorema fundamental de las relaciones de equivalencia: conjunto cociente .......................................................................... 16 3.3. Relación de orden ........................................................................... 21 4. Álgebra relacional ............................................................................ 23 4.1. Álgebra relacional: operaciones con relaciones .............................. 23 4.2. Representación de relaciones ......................................................... 28 5. Funciones ............................................................................................. 29 5.1. Correspondencia entre dos conjuntos y función ........................... 29 5.2. Tipos de funciones .......................................................................... 32 Anexo. Tabla de símbolos matemáticos ........................................... 35 Resumen .................................................................................................... 36 Ejercicios de autoevaluación ............................................................... 37 Solucionario ............................................................................................. 41 Glosario ..................................................................................................... 51 Bibliografía .............................................................................................. 52

© FUOC • P06/75004/00652 • Módulo 1

4

Teoría de conjuntos

© FUOC • P06/75004/00652 • Módulo 1

5

Teoría de conjuntos

Introducción

La teoría de conjuntos tiene mucha aplicación en diversos campos tales como la sociología, la genética, la biología, la informática e, incluso, el diseño de servicios y productos. El contenido de este módulo pretende, por un lado, proporcionar al estudiante unas herramientas imprescindibles para comprender correctamente otras asignaturas más específicas de la titulación. Y, por otro, intentar ayudar al alumno a aumentar su capacidad de abstracción, esencial para abordar problemas en muchos otros campos de la informática y las telecomunicaciones, ya que la abstracción conlleva un ahorro de tiempo (de ahí su importancia): no tiene mucho sentido repetir n veces un mismo procedimiento, aunque éste tenga diferentes apariencias, cuando es suficiente tratarlo una única vez bajo un marco más general. Esta abstracción es la filosofía que hay detrás de, por ejemplo, la programación orientada a objetos. El lenguaje formal matemático es la herramienta indispensable que permite llevar a cabo la abstracción. Por ello en este módulo empezamos introduciendo un nuevo idioma, el lenguaje formal matemático, partiendo de los conjuntos, de su escritura e interpretación. Al principio del módulo repasaremos la teoría básica de conjuntos y se explican las relaciones binarias, sus operaciones y su representación. A continuación, veremos las relaciones de equivalencia y de orden, así como el concepto derivado de éstas de conjunto cociente. Por último, introduciremos los conceptos de correspondencia entre dos conjuntos y de función y se muestran los tipos de funciones existentes.

así como distinguir los tipos de funciones.© FUOC • P06/75004/00652 • Módulo 1 6 Teoría de conjuntos Objetivos Después de estudiar este módulo didáctico. 5. Saber utilizar las aplicaciones de la teoría de conjuntos y adquirir destreza en el uso riguroso de su lenguaje formal. así como las posibles propiedades de éstas sobre un conjunto. 4. Recordar los conceptos básicos y las operaciones de la teoría de conjuntos. 3. Entender las relaciones binarias. Saber operar con relaciones (el álgebra relacional) y representarlas. 2. . Conocer las particiones de un conjunto. Conocer las relaciones de equivalencia y las de orden. los estudiantes deberíais haber alcanzado los objetivos siguientes: 1. Reconocer la relación existente entre una correspondencia entre dos conjuntos y una función.

4.. c. se denominan los elementos de los respectivos conjuntos. Ejemplo 1 A ={a. haremos un breve recordatorio de los primeros símbolos necesarios en la formulación del lenguaje matemático y. Teoría básica de conjuntos 1. Los puntos.. Esto se puede hacer de dos maneras: a) Extensiva: Enumerando todos los elementos del conjunto: A = {1.. 3. Antes de continuar.© FUOC • P06/75004/00652 • Módulo 1 7 Teoría de conjuntos 1. 5. las rectas. d} representa un conjunto formado por 4 elementos. en particular. los estudiantes de una escuela. 6} b) Intensiva: Indicando alguna/s propiedad/es que cumplan todos los elementos del conjunto. podríamos escribir A como: A = {x / x ∈ N. los empleados de una empresa. los números naturales menores que diez. 1 ≤ x ≤ 6} . Conceptos básicos de conjuntos En este módulo didáctico partimos de la idea intuitiva de conjunto como colección de objetos llamados elementos donde todos éstos son diferentes entre sí. Cualquier colección de objetos como los puntos de un segmento dado.. 2. las páginas de este libro. Los conjuntos se representan en general por letras mayúsculas y sus elementos por minúsculas. los números. Recordad a ∈ A significa que el elemento a pertenece al conjunto A. de la teoría de conjuntos que son necesarios conocer en este módulo y que seguramente os serán familiares: Expresión de un conjunto Un conjunto queda definido si conocemos todos los elementos... se denomina un conjunto. las páginas. b.1. previamente. las rectas que pasan por un punto. Los elementos del conjunto se especifican entre llaves. Por ejemplo.

respectivamente. Cardinal de un conjunto El número de elementos de un conjunto U se llama cardinal y se denota por Card A o ⏐A⏐. Se dice que un conjunto B es un subconjunto de A si todo elemento de B es elemento de A. Conjunto complementario Dado un conjunto universal U y un subconjunto A. Z el de los enteros.© FUOC • P06/75004/00652 • Módulo 1 8 Teoría de conjuntos Igualdad de conjuntos Dos conjuntos son iguales (A = B) si tienen los mismos elementos. Recordad N es el conjunto de los números naturales. y sólo si. Conjunto universal Se llama conjunto universal. a aquel conjunto de referencia en el cual estarán incluidos todos los conjuntos que intervendrán. Simbólicamente se expresa de la siguiente manera: B ⊂ A. R el de los reales y C el de los complejos. Q el de los racionales. A = {x ∈ U / x ∉ A}. Conjunto vacío El conjunto vacío es el único conjunto que no tiene ningún elemento y se representa por ∅. para demostrar la igualdad entre dos conjuntos es necesario demostrar las dos inclusiones y lo llamaremos método de la doble inclusión. A está incluido en B y B está incluido en A. llamamos complementario de A y se denota por A el conjunto formado por todos los elementos de U que no pertenecen a A. Ejemplo 2 Observemos que en el caso de los conjuntos numéricos habituales tenemos que: N ⊂ Z ⊂ Q ⊂ R ⊂ C. . que denotamos por U. La propiedad que utilizaremos para demostrar que dos conjuntos son iguales es la siguiente: A=B⇔A⊂ByB⊂A que se lee: A es igual a B si. Subconjunto Recordad A ⊂ B significa A contenido en B. Por tanto.

© FUOC • P06/75004/00652 • Módulo 1 9 Teoría de conjuntos Diagramas de Venn Los diagramas de Venn son representaciones gráficas muy útiles en la representación de conjuntos.2. Los conjuntos se representan mediante áreas planas dentro de un rectángulo que representa el conjunto universal. A ∪ B = {x ∈ U / x ∈ A o x ∈ B} Esta operación es: – conmutativa: A ∪ B = B ∪ A – asociativa: (A ∪ B) ∪ C = A ∪ (B ∪ C) Intersección de conjuntos A ∩ B es el conjunto de elementos que pertenecen a A y a B. El diagrama de Venn correspondiente al conjunto complementario (parte sombreada en el gráfico) es el siguiente: Figura 1 1. Operaciones entre conjuntos Con un conjunto universal U y dos conjuntos A y B podemos definir las siguientes operaciones: Reunión o unión de conjuntos A ∪ B es el conjunto de elementos que pertenecen a A o a B. A ∩ B = {x ∈ U / x ∈ A y x ∈ B} Esta operación es: – conmutativa: A ∩ B = B ∩ A – asociativa: (A ∩ B) ∩ C = A ∩ (B ∩ C) .

x). d} Producto cartesiano de conjuntos Dados dos elementos a y b. A B={x∈U/x∈Ayx∉B} Ejemplo 3 Si A = {a. c. b. 1. (3. Conjunto de partes de un conjunto: partición Dado un conjunto A. {b}. 3} y B = {x. decimos que A y B son disjuntos. c}. entonces. Diferencia de conjuntos A B es el conjunto de elementos que pertenecen a A y no a B. llamamos par ordenado a la agrupación de estos elementos en un cierto orden. 2.© FUOC • P06/75004/00652 • Módulo 1 10 Teoría de conjuntos Cuando A ∩ B no tiene ningún elemento. g} A ∩ B = {a. {a}. c. c} A B = {b. (2. b. {a. {a. y). (1. Llamamos producto cartesiano de dos conjuntos A y B al conjunto A × B formado por todos los pares ordenados que se obtienen tomando como primera componente un elemento cualquiera de A y como segunda componente un elemento de B. b}. {a. Este conjunto. c} es: ℘(A) = {∅. b. se expresa A ∩ B = ∅ y. y). c}}. (3.b) donde a es la primera componente y b la segunda componente. B = {a. {b. g}. x). d.b) / a ∈ A y b ∈ B} Ejemplo 4 El producto cartesiano de los conjuntos A = {1. y)}. Un par ordenado se denota por (a. tiene 8 subconjuntos. A × B = {(a. d}. se llama conjunto de partes del conjunto A al conjunto formado por todos los subconjuntos de A. . {c}. ℘(A) ={X / X ⊂ A} Ejemplo 5 El conjunto de partes del conjunto A = {a. b. c}. En este caso tenemos: A ∪ B = {a. y} es A × B = = {(1. con 3 elementos. x). (2.3. c.

. 3} C1 = {2}. 2. ∪ Am = A (la unión de todos ellos es el conjunto A) Ejemplo 6 Especifiquemos las posibles particiones del conjunto E = {1. B2 = {2. el número de subconjuntos de un conjunto A con n elementos es 2n: Card A = n ⇒ Card℘(A) = 2n Decimos que los subconjuntos A1. D2 = {1. Am de un conjunto S son una partición de A si: Ai ≠ ∅ (los subconjuntos no son vacíos) Ai ∩ Aj = ∅ si i ≠ j (los subconjuntos son disjuntos) A1 ∪ A2 ∪ . es decir. el conjunto total {1.. A2. C2 = {1. 3} Una posible partición de E es la formada por los conjuntos: A1 = {1}.. A3 = {3} Otras particiones de E serían las siguientes: B1 = {1}. 3} D1 = {3}.... se dice que es la partición impropia. 2. 2} La partición formada por un único subconjunto. .© FUOC • P06/75004/00652 • Módulo 1 11 Teoría de conjuntos En general. A2 = {2}. 3}.

Este concepto está continuamente presente en la sociedad. estas relaciones se pueden describir simplemente como subconjuntos de un cierto producto cartesiano. Asimismo. las relaciones de equivalencia describen similitudes entre elementos con respecto a una propiedad particular. y las relaciones de orden establecen una jerarquía con respecto a un criterio fijado. especialmente en informática. Empleados DNI 40444255 33567711 55898425 Nombre Juan Marta Carlos Apellido García Roca Martínez Sueldo 2000 2500 1500 . podemos considerar que dos personas están relacionadas si han coincidido alguna vez físicamente. de una relación que contiene datos de empleados. Por último. en forma de tabla. De entrada presentaremos el concepto de relación de manera informal. etc. Existe una clara relación entre los alumnos de un centro académico y las asignaturas impartidas. En la figura siguiente se muestra la visualización. que es uno de los más extendidos por su simplicidad. que aparece por el hecho de que los primeros se matriculan en las segundas. Relaciones Las relaciones entre dos o más conjuntos son frecuentes tanto en las matemáticas como en sus aplicaciones. Las relaciones también surgen en aquellas partes del mundo que son dominio de aplicaciones informáticas. Desde el punto de vista matemático. su potencia y su coherencia teórica y práctica.© FUOC • P06/75004/00652 • Módulo 1 12 Teoría de conjuntos 2. las relaciones de equivalencia entre los datos de entrada de un programa en cuanto a la detección de posibles errores de programación (validación de programas). Asimismo. o bien si han trabajado juntas. De entre los diversos tipos de relaciones. la relación de dependencia entre las distintas fases de producción en una industria o la agrupación de datos aislados en complejas bases de datos con relaciones de dependencia entre sus campos. Un ejemplo académico clásico es la gestión de matrículas y notas. podemos hacernos una idea intuitiva de lo que es una relación si la visualizamos como una tabla (o un fichero). las funciones pueden considerarse un caso especial en donde se interpreta que uno de los campos es el resultado de realizar una cierta operación con el resto. Ejemplos prácticos de relaciones son las de orden y divisibilidad entre números. las relaciones entre múltiples conjuntos son el fundamento matemático del modelo relacional de bases de datos. Por ejemplo.

N.2.. En las asignaturas con contenidos de Bases de datos se presenta el concepto de relación. Es por ello por lo que a continuación mostramos la definición matemática de relación. Nombre. quedan escondidas. son los datos correspondientes a un mismo empleado. consideremos una relación binaria R definida entre A y el mismo A. Dichos nombres ayudan a entender el significado de los valores que contiene la tabla. así como sus propiedades. la relación “ser menor estricto” es una relación binaria. Simbólicamente se expresa como: aR b ⇔ a < b 2. b. Algunas de las propiedades que puede verificar R son: – R es reflexiva si todo elemento está relacionado consigo mismo: ∀a ∈ A : a R a – R es antirreflexiva si ningún elemento está relacionado consigo mismo: y ∀a ∈ A : a R a (no a R a) – R es simétrica si cuando un elemento a está relacionado con otro b. Posibles propiedades de las relaciones binarias sobre un conjunto Dado un conjunto A = {a. a primera vista. nos daremos cuenta de que éstas presentan algunas características importantes que. Apellido. si definimos las relaciones de manera más precisa.1. La tabla tiene un nombre (Empleados) que es el nombre de la relación y también tienen un nombre cada una de sus columnas (DNI. .. Relación binaria Diremos que entre los conjuntos A y B existe una relación binaria R si todos los elementos de A están ligados con los elementos de B por una propiedad que puede ser cierta o falsa. pero sobre dominios y atributos. 2. la relación también se verifica en el otro sentido: aR b ⇒ bR a .}. Así. Ejemplo 7 En el conjunto de los números naturales.© FUOC • P06/75004/00652 • Módulo 1 13 Teoría de conjuntos Observemos que cada fila de la tabla contiene una colección de valores de datos relacionados entre sí. Sueldo). c.

(−1. 2). −1). (0. −1.© FUOC • P06/75004/00652 • Módulo 1 14 Teoría de conjuntos – R es antisimétrica si dos elementos diferentes no pueden estar relacionados en los dos sentidos: Si a ≠ b y a R b ⇒ b R a (no b R a) y – R es transitiva si cuando un elemento a está relacionado con un elemento b y a la vez b está relacionado con un elemento c se verifica que a también está relacionado con c: aR b y bR c ⇒ aR c Ejemplo 8 Dado el conjunto A = {−2. −1). compuestos por una serie de atributos o campos. “EDAD”) viene determinado por un dominio (el conjunto de los enteros entre 0 y 100). ya que encontramos que 1 R − 1 y −1 R −2 pero. (1. (−2. −2). En consecuencia. (1. 1). 0). (1. 0). −1). (2. No es antisimétrica. por ejemplo. −2). y el contenido de los diferentes campos se desarrolla por columnas. en donde cada registro corresponde a una fila. Y. (0. 2)} Esta relación sólo cumple la propiedad reflexiva: todos los elementos están relacionados consigo mismo. (−1. (0. (−2. 2) y no aparece el par (2.3. Visión formal de una relación. (2. 2} consideremos la relación: aR b ⇔ a < b + 3 En este caso. el grado de la rela- . ya que hallamos todos los posibles pares de la forma (a. los pares relacionados por R son: {(−2. por último. 1). (0. 2). encontramos el par (−1. (−1. 2). −2). donde las filas son los elementos de la relación y las columnas corresponden a los dominios. 2). 1) y (1. no es transitiva. a). Aplicaciones de las relaciones: bases de datos relacionales El principal interés de la teoría de relaciones (tanto binarias como n-arias) es su aplicación en la gestión de bases de datos. (−1. 0). y 2. −1). 1. ya que. 1). (0. El tipo de dato de un determinado campo (por ejemplo. cada uno de los cuales muestra un tipo de información específica sobre un determinado objeto. 0). −1). (1. (−2. No es simétrica. 1). (−2. El modelo matemático para representar una tabla que forma parte de una base de datos (que en principio es algo más complejo que una simple tabla) es justamente una relación n-aria. Esto se representa de forma esquemática mediante una tabla. −1). (−1. 1). 0). (2. 1 R −2. 0. sin embargo. ya que hallamos pares que están relacionados en los dos sentidos: (−1. La idea esencial de una base de datos es almacenar una serie de registros de estructura similar.

..5 7. • Las relaciones de orden se usan para optimizar las búsquedas y consultas en la base de datos.. ordenando previamente los registros con respecto a un campo. NOMBRE José Sánchez Ana García Carlos López . aquellos campos que nos permiten identificar un registro de forma única (el DNI de una persona. y la cardinalidad con el de filas. Por ejemplo: Alumnos de matemáticas DNI 10550321 09576220 11988787 . es decir. NOTA 4. ... También.2 .© FUOC • P06/75004/00652 • Módulo 1 15 Teoría de conjuntos ción se corresponde con el número de columnas. por ejemplo). las relaciones binarias tienen aplicación en el diseño de bases de datos: • Las relaciones de equivalencias se usan para calcular las claves de la base de datos.. como veremos en el siguiente apartado. Ejemplo 9 Una base de datos sencilla puede constar de una tabla (o relación) correspondiente a las notas obtenidas por los alumnos en una asignatura de matemáticas.5 6.

Teorema fundamental de las relaciones de equivalencia: conjunto cociente 1) Toda relación de equivalencia R define sobre un conjunto A una partición P[A] = {[a].1.4} se da la siguiente relación: ∀x. 3. −2. Relación de equivalencia: clases de equivalencia Una relación binaria R sobre un conjunto A se llama relación de equivalencia si ésta es reflexiva. [b]. ···} donde [a] = {x ∈ A / a R x}. Relación de equivalencia y relación de orden 3. [a] = {x ∈ A / a R x} (otra notación para [a] es a) Un ejemplo típico de relación de equivalencia es la relación “tener la misma cardinalidad” entre conjuntos. simétrica y transitiva. Transitiva: ∀x. Se llama clase de equivalencia de un elemento a ∈ A al conjunto de todos los elementos de A que están relacionados con a. . y ∈ A : x R y ⇒ x2 + x = y2 + y Comprobemos que es de equivalencia. Ejemplo 10 En el conjunto A = {0. Reflexiva: ∀x ∈ A : x R x ya que x2 + x = x2 + x 2. z ∈ A : x R y.© FUOC • P06/75004/00652 • Módulo 1 16 Teoría de conjuntos 3. y ∈ A : si x R y ⇒ y R x ya que x2 + x = y2 + y ⇒ y2 + y = x2 + x 3. y R z ⇒ x R z ya que x2 + x = y2 + y y y2 + y = z2 + z entonces x2 + x = z2 + z Toda relación de equivalencia define una partición en clases de equivalencia. Simétrica: ∀x. • Independencia del representante: se puede tomar como representante de la clase cualquiera de sus elementos. etc. Propiedades de las clases de equivalencia • Equivalencia de los elementos: todos los elementos de una misma clase son equivalentes entre ellos.2.1. Para ello hay que mirar que la relación R cumple las propiedades: 1. y.

El conjunto cociente de A respecto R se denota por A / R. 5. 11. más 1) [2] = {···. 18. −2. 7.© FUOC • P06/75004/00652 • Módulo 1 17 Teoría de conjuntos 2) Toda partición P[A] = {A1. de forma natural. −12. Ejemplo 11 Z4 = {[0]. más 2) [3] = {···. 2. Congruencias módulo n Sobre el conjunto de los números enteros Z se define una relación de equivalencia llamada congruencias módulo n de la siguiente manera: Dos enteros a y b son congruentes módulo n si. −7. 15. −4. 4. −9. y sólo si. está claro que la relación asociada a la partición definida por las clases de equivalencia es precisamente la relación original R. −5. 12. ···} (múltiplos de 4. −8. ···} (múltiplos de 4) [1] = {···. −1. 0. podemos afirmar que las relaciones de equivalencia son un buen instrumento para definir particiones. El conjunto cociente se denota por Zn. 10. [2]. [3]} [0] = {···. A2. −10. Así. 19. −11. más 3) . ···} (múltiplos de 4. ya que están formadas por los números que divididos por n dan el mismo residuo (resto de la división). éste es el sentido que tiene el calificativo “de forma natural” empleado anteriormente. 6. −6. 1. su diferencia es múltiplo de n: a R b ⇔ a − b = n · k (k ∈ Z) Las clases de equivalencia de la relación de congruencia se llaman clases residuales módulo n. 3. [1]. 13. −3. Asimismo. ···} (múltiplos de 4. una partición en A y es importante porque muestra una forma muy cómoda de describir particiones. 8. El conjunto cociente es el conjunto de las clases de equivalencia en que queda dividido el conjunto A cuando definimos una relación de equivalencia. 17. simétrica y transitiva produce. ···} define una relación de equivalencia sobre A. donde dos elementos están relacionados si pertenecen al mismo subconjunto de la partición. 9. 14. 16. Este teorema afirma que una relación R en un conjunto A que es reflexiva.

la aritmética modular corta la recta en un punto y a partir de ahí resulta un segmento que se cierra sobre sí mismo. 4. Normalmente estamos acostumbrados a la aritmética modular gracias al uso de . 6.© FUOC • P06/75004/00652 • Módulo 1 18 Teoría de conjuntos Ejemplo 12 Supongamos la relación: a R b ⇔ a − b = 3k (k ∈ Z). 1 ∩ 2 = ∅ • 0∪1∪2=Z Esto indica que 0. 1. 1. 9. en este caso. −1. −2.. el 8 al 1. 3) ¿Cuál es el conjunto cociente R {0} / R? Ejemplo 13. etc. . 5 y 6. pueden pensarse como puntos dispuestos a lo largo de una recta que va desde el menos infinito y llega hasta el infinito. 5 = 2. Z / R tan sólo tiene 3 elementos. 2. El número 7 se hace equivalente al 0. 7. 2. será Z / R = {0. 11. 3. 2 ≠ ∅ • 0 ∩ 1 = ∅. por ejemplo. En esta aritmética la adición no es exactamente igual a la usual. −5.. 2 constituyen una partición de Z. 2}. 10. De congruencias Como se ha dicho. −3. Si tenemos un anillo de. 8. −4. ···} 2 = {···. el 9 al 2. en cambio. Si se observan los conjuntos anteriores. 4 = 1. 0. ···} 1 = {···. 0 ∩ 2 = ∅. 4. Fijémonos en que 3 = 0. obsérvese que el conjunto Z tiene infinitos elementos. Podemos comprobar las clases de equivalencia: 0 = {···. 5. esto ocurre porque si se empieza en el 4 y se avanza 5 espacios en la esfera del anillo se llega al 2 (se representa 9 ≡ 2 (mod 7) y se lee “9 es equivalente a 2 módulo 7”). −6. Z. se comprueba que: • 0 ≠ ∅. los números enteros. 7 números. será que hemos cortado la recta por el 7 y hemos cerrado el segmento resultante sobre el 0. 1. Sorprende que esta aritmética se utiliza a diario para hablar de la hora. El conjunto cociente. 3. 1 ≠ ∅. el 14 de nuevo al 0. con lo que se tiene un “anillo”. aquí 4 + 5 = 2. y así sucesivamente: los únicos números que están en la aritmética del anillo de 7 son el 0. Actividad 1 En el conjunto R {0} de los números reales no nulos se define la siguiente relación: aRb ⇔ a+ 1 1 =b+ a b 1) ¿Es R una relación de equivalencia? 2) Hallad los elementos de la clase de equivalencia a.. ···} Éstas son las únicas clases de equivalencia posibles en Z definidas con la relación R anterior. 1. Para hacer finito el espacio de estos números.

15.© FUOC • P06/75004/00652 • Módulo 1 19 Teoría de conjuntos los relojes. por ejemplo A = 3 porque 3 × 10 = 30 ≡ 1 (mod 29). 0. la aritmética modular es usada en codificación y criptografía. 1). pero sin que el enemigo. asignamos números a cada uno de estos símbolos (asignamos la letra α al espacio en blanco): a 1 b 2 c 3 d 4 e 5 f 6 g 7 h 8 i 9 j 10 k 11 l 12 m 13 n 14 o 15 p 16 q 17 r 18 s 19 t 20 u 21 v 22 w 23 x 24 y 25 z 26 ñ 27 ç 28 α 0 En este caso se trabaja en la aritmética módulo 29. Si son las catorce horas y debemos dejar pasar 17 horas nuestra espera terminará a las 14 + 17 = 31 ≡ 6 (mod 24). supongamos que queremos enviar mensajes escritos que contengan palabras con letras minúsculas y espacios en blanco. por ejemplo. usando para ello la asignación anterior: hola rosa (8. Una de sus aplicaciones es el cifrado y descifrado de mensajes que ya se usaba durante el Imperio Romano cuando el emperador deseaba transmitir órdenes a sus legiones. En este ejemplo se presenta un caso más complicado y seguro que el que usaron los emperadores romanos. Por ejemplo. 18. 12. Paso 2. 15. B = 12. Supongamos que vamos a enviar a Rosa el siguiente mensaje: hola rosa Seguimos los siguientes pasos para encriptar el mensaje: Paso 1. Transformamos cada número x de la secuencia anterior por el número y entre 0 y 28 que verifica la siguiente congruencia: (A · x) + B ≡ y (mod 29) 8 15 12 1 (3 · 8) + 12 = 36 ≡ 7 (mod 29) (3 · 15) + 12 = 57 ≡ 28 (mod 29) (3 · 12) + 12 = 48 ≡ 19 (mod 29) (3 · 1) + 12 = 15 ≡ 15 (mod 29) . Con estos números A y B podemos diseñar lo que en criptografía se conoce como un cifrado afín. pero no tan sofisticado como los que se utilizan hoy en día para realizar compras o actividades bancarias a través de Internet. tiene inverso módulo z significa que existe otro número y tal que x · y ≡ 1 (mód z)). se enterara del contenido de las órdenes. ahora tomamos otro número B. Para ello. que podía interceptar a los mensajeros. 1. Asimismo. Traducimos el mensaje en una lista de números. 19. x. Primero buscamos un número sencillo A que tenga inverso módulo 29 (un número.

para descifrar este mensaje. que es 10. dividir por A equivale a multiplicar por 10 (módulo 29): 7 28 19 15 12 8 28 11 15 (7 − 12) · 10 = −50 ≡ 8 (mod 29) (28 − 12) · 10 = 160 ≡ 15 (mod 29) (19 − 12) · 10 = 70 ≡ 12 (mod 29) (15 − 12) · 10 = 30 ≡ 1 (mod 29) (12 − 12) · 10 = 0 ≡ 0 (mod 29) ( 8 − 12) · 10 = −40 ≡ 18 (mod 29) (28 − 12) · 10 = 160 ≡ 15 (mod 29) (11 − 12) · 10 = −10 ≡ 19 (mod 29) (15 − 12) · 10 = 30 ≡ 1 (mod 29) . una nueva colección de números: (8. 19. 28. módulo 29. 15).© FUOC • P06/75004/00652 • Módulo 1 20 Teoría de conjuntos 0 18 15 19 1 (3 · 0) + 12 = 12 ≡ 12 (mod 29) (3 · 18) + 12 = 66 ≡ 8 (mod 29) (3 · 15) + 12 = 57 ≡ 28 (mod 29) (3 · 19) + 12 = 69 ≡ 11 (mod 29) (3 · 1) + 12 = 15 ≡ 15 (mod 29) Estos cálculos se pueden realizar con la ayuda de la calculadora Wiris. 15. ya que. Rosa tiene que recorrer el camino inverso: Paso 1. 15. 28. 8. Realiza. 19. 1. 28. 8. 15. 28. 15. 1) (7. 11. tal como se muestra a continuación: Y se obtiene. 15). 12. así. 18. Paso 2. las operaciones inversas a cada número: y (y − B) : A Para ello es muy importante que la cifra A = 3 tenga inverso. Paso 3. así. Traducimos ahora la lista de números en símbolos: (7. 19. 12. Traduce los símbolos a números: gçsolhçko (7. 8. 11. 12. 15. 12. 15) y éste es el mensaje que enviamos a Rosa: gçsolhçko gçsolhçko A continuación. 0. 11. 28. 28. 19.

19. 15. Como consecuencia. Finalmente. tal como se muestra a continuación: Nuevamente. se obtiene la secuencia inicial: (7. 1). 8. 28. 12.© FUOC • P06/75004/00652 • Módulo 1 21 Teoría de conjuntos De la misma manera. 18. 12. 15.3. 15. Rosa se entera del contenido del mensaje. se puede demostrar que toda relación de orden estricto también cumple la propiedad antisimétrica. Y finalmente traduce estos números a letras: (8. Otro ejemplo típico de orden total es el llamado “orden léxico-gráfico”. 1. como la relación que cumple las propiedades antirreflexiva y transitiva. definimos una relación de orden total en un conjunto A como aquella relación de orden parcial que además verifica que dos elementos de A están siempre relacionados (∀x. entre cadenas de caracteres y que funciona análogamente al orden en que están ordena- . definimos una relación de orden parcial en un conjunto A como aquella relación que satisface las propiedades reflexiva. sucede que estos cálculos se pueden realizar con la ayuda de la calculadora Wiris. en un conjunto A. 3. 15. 19. Igualmente. 12. 1. la contención entre conjuntos. 15) (8. 0. Una relación de orden parcial se llama también relación de orden (sin especificar el tipo). 19. Como ejemplos típicos de relaciones de orden podemos citar la implicación lógica entre proposiciones lógicas. 0. 28. 15. la desigualdad entre números o la relación de divisibilidad entre números naturales. antisimétrica y transitiva. 1) hola rosa De este modo. Paso 3. Relación de orden Definimos una relación de orden estricto. 18. 11. y ∈ A : x R y o y R x).

. 5). (3. (2. añadiéndole tan sólo los pares del estilo (x. (5. podemos asegurar que ésta también la cumplirá pues los pares añadidos (x. no hay ningún par de este estilo. 2). (1. 5). Para ello hay que demostrar que cumple las propiedades: • Antirreflexiva. 4). 3). 3) y el par (3. demostremos que es de orden parcial. y así sucesivamente hasta encontrar el primer símbolo en que ambas palabras difieran. 3). 1). entonces el par (1. (2. (3. y si esto no es posible. (4. 1). Hay que ver que en tal relación no hay ningún par del estilo (1. 5)}. 3). (3. (3. (2. 2). (1. Como la anterior cumplía la propiedad transitiva. • Antisimétrica. Hay que comprobar que si. 5)}. 4). Demostremos que es de orden estricto. (2. 4). (3. si son iguales se comparan los segundos. 3). x). Por tanto. 5). 5) y efectivamente. • Transitiva. se comparan los primeros símbolos. (2. (5. 5} y una relación: < = {(1. 5). (1. • Transitiva. 3) pertenece a la relación pero el par (3. (2. es que ambas palabras son iguales. 3). el par (1. 5} y una relación: ≤ = {(1. (2. 4. por ejemplo. 3. 2. (4. Igualmente se debería hacer con el resto de pares: (1. 4). están todos ellos. (5. 4) pertenece a la relación pero (4. 1). 4). (2. Ejemplo 15. (2. 4). 1) no pertenece. Y así es. 5) pertenecen a la relación. 4). 5). (2. (2. 2. Ahora habría que comprobar esto con todos los pares de la relación. 1). 5) también pertenece a la relación. Lo mismo sucede con el resto de pares. 5) y efectivamente. x) no interfieren en la transitividad. (1. De relación de orden parcial Dado un conjunto A = {1. 3. es decir. 1). De relación de orden (parcial) estricto Dado el conjunto A = {1. podemos concluir que este conjunto con la relación < está estrictamente ordenado. 4. Hay que ver que a tal relación pertenecen todos los pares del estilo (1. Para ello hay que demostrar que cumple las propiedades: • Reflexiva. 2). Ejemplo 14. 3). (4. El par (1.© FUOC • P06/75004/00652 • Módulo 1 22 Teoría de conjuntos das las palabras en un diccionario (o los nombres en una guía de teléfonos). (1. 1) no pertenece a ésta. Cumple la propiedad transitiva porque dicha relación se ha formado a partir de la anterior. 3).

según si se parecen o no a las de la teoría de conjuntos. .1. la proyección y la combinación. inspirada en la teoría de conjuntos. 4. En informática. Son las operaciones que se parecen a las de la teoría de conjuntos. Son la selección. proporciona una colección de operadores que actúan sobre relaciones para obtener otras relaciones.© FUOC • P06/75004/00652 • Módulo 1 23 Teoría de conjuntos 4. Los lenguajes basados en el álgebra relacional se llaman procedimentales. una nueva relación que contenga los datos que responden a la consulta a partir de las relaciones almacenadas. En este sentido. Y éstas son: la unión. para especificar tal consulta. Se denota mediante el símbolo ∪. Esta propiedad se llama cierre relacional. la diferencia y el producto cartesiano. Y. Las operaciones del álgebra relacional se pueden clasificar. Álgebra relacional El álgebra relacional. dado que los pasos que forman la consulta describen un procedimiento. mediante operaciones del álgebra relacional. Unión La unión de dos relaciones es otra relación que estará constituida por los elementos que pertenezcan a una de las dos relaciones o a ambas (se eliminarán los elementos duplicados puesto que se trata de una relación). Álgebra relacional: operaciones con relaciones Una característica destacable de todas las operaciones del álgebra relacional es que tanto los operandos como el resultado son relaciones. en: Operaciones conjuntistas. es necesario seguir uno o más pasos que sirven para ir construyendo. la intersección. el álgebra relacional presenta un interés especial porque ayuda a entender qué servicios de consulta tiene que proporcionar un lenguaje relacional y facilita la comprensión de algunas de sus construcciones. la obtención de los datos que responden a una consulta puede requerir el análisis y la extracción de datos de una o más de las relaciones que tiene la base de datos. Operaciones específicamente relacionales.

Se denota por el símbolo ∩. en general. 2). concatenando cada elemento de la primera relación con cada uno de los elementos de la segunda. Selección o restricción La selección. 2) ∈ R y (2. 4). 4) ∈ R. (2. 4)} S = {(2. 5) ∈ S. 4) ∈ S y (4. En él se definen las relaciones R y S siguientes: R = {(1. 5} un conjunto. ya que. Se denota mediante el símbolo Producto cartesiano Producto cartesiano de dos relaciones de cardinalidades m y n es una relación que estará constituida por los m × n elementos formados. • La relación S también es transitiva. se da que (1. 5). pero no a la segunda. en cambio. Diferencia La diferencia de dos relaciones es otra relación que estará constituida por el conjunto de elementos que pertenezcan a la primera relación. . Sin embargo. también llamada restricción. (1. (2. para demostrar que un conjunto no cumple una propiedad. 4) ∈ R. (1. 4). siendo que (1. (4. 5)} La unión de ambas relaciones es la relación siguiente: R ∪ S = {(1. (2. 2. 4). . 5) ∉ R ∪ S. la selección de la relación T con la condición C se denota mediante T (C). 4). basta con encontrar un ejemplo en el que no se cumpla la propiedad. 5) ∈ S. (4. la relación R ∪ S no es transitiva. (2. ya que. 3. Se denota por el símbolo ×. Observación Para demostrar que un conjunto cumple una propiedad. 2) ∈ R ∪ S y (2. se da que (2. siendo que (2. Intersección La intersección de dos relaciones es otra relación que estará constituida por los elementos que pertenezcan a ambas relaciones. 5). la unión de dos relaciones transitivas no tiene por qué ser transitiva: • La relación R es transitiva. de una relación mediante una expresión lógica da como resultado una relación formada por el subconjunto de elementos que satisface dicha expresión lógica. 2). 5)} Observemos que. 4. 5) ∈ R ∪ S y. pues (1. • Sin embargo. hay que demostrar que todos los elementos del conjunto cumplen la propiedad.© FUOC • P06/75004/00652 • Módulo 1 24 Teoría de conjuntos Ejemplo 16 Sea X = {1. Siendo C la condición de selección. (1.

EDIFICIOS_EMP Nom_edificio Marina Diagonal Sup_med_desp 15 10 2) La relación DESPACHOS. obtiene una nueva relación formada por todos los elementos que resulten de concatenar elementos de la primera relación con elementos de la segunda relación y que cumplan una condición de combinación especificada. que contiene los datos de los empleados de la empresa que realizan tareas administrativas.© FUOC • P06/75004/00652 • Módulo 1 25 Teoría de conjuntos Proyección La proyección de una relación es una operación que. EMPLEADOS_ADM DNI 40444255 33567711 Nombre Juan Marta Apellido García Roca Edificiodesp Marina Marina Númerodesp 120 120 . Combinación La combinación de dos relaciones es una operación que. a partir de una relación T. a partir de dos relaciones. que contienen los datos de cada uno de los despachos que hay en los edificios anteriores. Ejemplo 17 Supongamos que tenemos una base de datos relacional con las cuatro relaciones siguientes: 1) La relación EDIFICIOS_EMP que contiene los datos de diversos edificios que posee una empresa para desarrollar sus actividades. DESPACHOS Edificio Marina Marina Diagonal Diagonal Número 120 230 120 440 Superficie 10 20 10 10 3) La relación EMPLEADOS_ADM. obtiene una nueva relación formada por todos los elementos de la relación de partida que resulten de eliminar unos atributos especificados.

El resultado de la unión es una nueva relación y no puede tener repeticiones de elementos. EMPLEADOS_PROD DNI 33567711 55898425 77232144 21335245 88999210 Nombre Marta Carlos Elena Jorge Pedro Apellido Roca Bonmartí Pla Soler González Edificiodesp Marina Diagonal Marina Sin despacho Sin despacho Númerodesp 120 120 230 Sin despacho Sin despacho • Unión. La intersección de las relaciones EMPLEADOS_ADM y EMPLEADOS_PROD da una nueva relación que incluye los empleados de administración que. a la vez. La diferencia EMPLEADOS_ADM menos EMPLEADOS_PROD da una nueva relación que contienen los empleados de administración que no son a la vez empleados de producción y se indica así: EMPLEADOS_ADM DNI 40444255 Nombre Juan EMPLEADOS_PROD Edificiodesp Marina Númerodesp 120 Apellido García . La unión de EMPLEADOS_ADM y EMPLEADOS_PROD da una nueva relación que contiene tanto los empleados de administración como los empleados de producción y se indica así: EMPLEADOS_ADM ∪ EMPLEADOS_PROD DNI 40444255 33567711 55898425 77232144 21335245 88999210 Nombre Juan Marta Carlos Elena Jorge Pedro Apellido García Roca Bonmartí Pla Soler González Edificiodesp Marina Marina Diagonal Marina Sin despacho Sin despacho Númerodesp 120 120 120 230 Sin despacho Sin despacho Nota Fijémonos que en el caso de que un elemento esté en las dos relaciones que se unen. • Intersección. que contiene los datos de los empleados de la empresa que se ocupan de tareas de producción.© FUOC • P06/75004/00652 • Módulo 1 26 Teoría de conjuntos 4) La relación EMPLEADOS_PROD. el resultado de la unión no la tendrá repetida. son de producción y se indica así: EMPLEADOS_ADM ∩ EMPLEADOS_PROD DNI 33567711 Nombre Marta Apellido Roca Edificiodesp Marina Númerodesp 120 • Diferencia.

El producto cartesiano de EDIFICIOS_EMP por DESPACHOS es una nueva relación que contiene todas las concatenaciones posibles de elementos de EDIFICIOS_EMP con elementos de DESPACHOS: EDIFICIOS_EMP × DESPACHOS Nom_edificio Marina Marina Marina Marina Diagonal Diagonal Diagonal Diagonal Sup_med_desp 15 15 15 15 10 10 10 10 Edificio Marina Marina Diagonal Diagonal Marina Marina Diagonal Diagonal Número 120 230 120 440 120 230 120 440 Superficie 10 20 10 10 10 20 10 10 • Selección. DESPACHOS (Edificio = Marina y Superficie > 12) Edificio Marina Número 230 Superficie 20 • Proyección. haremos la siguiente proyección: EMPLEADOS_ADM [Nombre. Supongamos que queremos encontrar los datos de los despachos que tienen una superficie mayor o igual que la superficie media de los despachos del edificio donde están situados.© FUOC • P06/75004/00652 • Módulo 1 27 Teoría de conjuntos • Producto cartesiano. Si queremos obtener una relación con el nombre y el apellido de todos los empleados de administración. Para obtener una relación que tenga todos los despachos del edificio Marina que tienen más de 12 metros cuadrados tenemos que aplicar una selección a la relación DESPACHOS con esta condición de selección. Sup_med_desp ≤ Superficie) Nom_edificio Marina Diagonal Diagonal Sup_med_desp 15 10 10 Edificio Marina Diagonal Diagonal Número 230 120 440 Superficie 20 10 10 . Apellido] Nombre Juan Marta Apellido García Roca • Combinación. La combinación siguiente nos proporcionará los datos de estos despachos junto a los datos de su edificio: EDIFICIOS_EMP × DESPACHOS (Nom_edificio = Edificio.

a3}. Representación de relaciones Una relación binaria admite diferentes tipos de representaciones gráficas siempre y cuando sea una relación entre conjuntos finitos: • Mediante una matriz donde las filas corresponden a los elementos de uno de los dos conjuntos y las columnas a los del otro conjunto y se pone una cruz (o un 1) en los pares que forman parte. la relación de valor R = {(a1. b1).2. Ejemplo 18 Si A = {a1. b4)} se puede representar por: Figura 2. (a1.3 Red . b3. (a2.2 Tabulación Figura 2. b1). • También se puede. tabular los pares de la relación. b2).© FUOC • P06/75004/00652 • Módulo 1 28 Teoría de conjuntos 4. a2. • O bien mediante un gráfico de red donde representamos en una cuadrícula todos los posibles pares ordenados posibles y se marca con un punto los pares que forman parte de la relación. B = {b1. b2. (a3. (a2. b4}. b4). simplemente.1 Matriz Figura 2.

su tipo. c. las funciones se usan con mucha frecuencia bajo determinadas formas. • En los compiladores.© FUOC • P06/75004/00652 • Módulo 1 29 Teoría de conjuntos 5.1. 5. Como veremos. cuando acaba el tratamiento del bloque correspondiente al identificador. etc. la consulta cuando el identificador es referenciado en otros puntos de su ámbito y. 3). Por ejemplo: • En el ámbito de los sistemas operativos. 2). 1). la llamada función de mapaje asocia a cada página de un programa una página de memoria. llamamos correspondencia entre A y B a un proceso tal que a elementos de A les hace corresponder elementos de B . su dirección de memoria. 3)} ⊂ A × B . Funciones En informática. una función fundamental es la tabla de símbolos que asocia a cada identificador que aparece en un programa una retahíla de informaciones relevantes: su categoría. establece una relación binaria R entre los conjuntos A y B . es decir. (d. 5}. d} y B = {1. las tablas de símbolos no son más que un ejemplo de aplicación a la informática del concepto matemático de función (que es el que en este apartado se estudia). la borra. 3. El compilador inserta esta información cuando encuentra el identificador y. a partir de ese momento. Figura 3 La relación dada por esta correspondencia es: G = {(a. (c. Ejemplo 19 El siguiente diagrama establece una correspondencia entre los conjuntos A = {a. 4. (c. b. 2. Correspondencia entre dos conjuntos y función Dados dos conjuntos A y B.

nos interesará cambiarlos.. Representaremos esta funn Observación Rn = R × .. xn) → y = ƒ(x1. Podemos escribir la función de otras maneras.. x2. El conjunto de todos los elementos de B que son imagen de algún elemento de A se llama conjunto imagen de ƒ o recorrido y se denota simbólicamente por Im ƒ. Los papeles de ambas variables pueden ser.. xn) de un cierto subconjunto D de R un único número real y = ƒ(x1. × R n ción como: ƒ:D → R (x1.. los beneficios que la empresa obtiene cuando el jefe cobra x. que depende del valor que hayamos dado a la independiente. a menudo.. y sólo si. x2.... Podemos modificar la variable independiente x. a lo sumo. Cuando tratamos con funciones que relacionan dos magnitudes. En general podemos decir que una función de n variables reales es una regla ƒ que asocia a cada punto (x1.. ƒ(x) = y}. un elemento de B...© FUOC • P06/75004/00652 • Módulo 1 30 Teoría de conjuntos Diremos que una correspondencia ƒ es una función si. por ejemplo: ƒ( x) = 100 x − 5x2 1+ x La función ƒ relaciona x. a todo elemento del conjunto A le corresponde.. con ƒ(x). x2. pero la variable dependiente y depende del valor que hayamos dado a x. De función de una variable El gerente de una empresa ha llegado a la conclusión de que los beneficios de ésta dependen fundamentalmente del salario del jefe. xn) Ejemplo 20. el salario del jefe. según la relación: b( s) = 100 s − 5s2 1+ s Donde s es el salario anual del jefe en millones de euros y b(s) son los beneficios. Esto es una función: la relación que hay entre el salario del jefe y las ganancias de la empresa. intercambiables y. a veces. Se llama dominio de la función ƒ: A → B al subconjunto de A para los elementos del cual existe una imagen en B: Dom(ƒ) = {x ∈ A / ∃y ∈ B.. una de éstas se llama variable independiente a la que podemos dar valores. .. y la otra se llama variable dependiente... . xn).

ya que muchas veces se representan las funciones en forma de tablas con dos columnas que corresponden a cada uno . y sólo un. A los elementos de A se les llama claves. El recorrido de la función será el conjunto de los posibles beneficios cuando el salario del jefe esté comprendido entre 0 y 6 millones de euros. En informática.1. en informática. 6]. las aplicaciones son correspondencias que se pueden ilustrar a través de esquemas como los siguientes con la característica: “de todos y cada uno de los elementos del conjunto de partida sale una única flecha hacia un elemento en el conjunto de llegada”: Figura 4. el vertical) corta a lo sumo una vez el gráfico.2. le corresponde como mucho un elemento de B. el salario del jefe no puede tomar cualquier valor. Intuitivamente. y a los de B. una circunferencia no es una función y una parábola lo es si abre hacia arriba (o abajo). al concepto de función muy a menudo se le llama tabla por su representación gráfica. Y si se tiene una relación representada en un sistema de coordenadas cartesianas se debe observar si cualquier recta paralela al eje de las ordenadas (usualmente el eje “Y”. pues. por lo cual el dominio de la función b es el intervalo cerrado [0. Aplicación Figura 4. desdefinirla y aplicar la función en un punto. En el ejemplo de los beneficios b(s). Asimismo.3. No función no aplicación Dicho de otro modo. Las operaciones de una función consisten. en definir la función en un punto. se llama aplicación. Función no aplicación Figura 4. El conjunto A se llama dominio de la función y B se llama abasto. elemento de B. Una función ƒ en la que a todo elemento del conjunto A le corresponde uno. y por consiguiente el dominio de ƒ coincida con el conjunto A. una función asigna a cada elemento del conjunto de partida como mucho un único elemento del conjunto de llegada. Podemos suponer que tiene que estar comprendido entre 0 y 6 millones de euros. a cada elemento de A. Por ejemplo.© FUOC • P06/75004/00652 • Módulo 1 31 Teoría de conjuntos En este caso escribiremos ƒ: A → B donde A se llama conjunto origen (o de salida) y B conjunto de llegada. una función es una relación establecida entre dos dominios de datos A y B tal que. información.

como mínimo. Tipos de funciones Una función ƒ entre dos conjuntos A y B. es decir. un origen (una antiimagen) en A: ∀y ∈ B : ∃x ∈ A tal que ƒ(x) = y Funciones inyectivas Los elementos del conjunto B tienen. una posible función que tiene como dominio real {3. a dos elementos diferentes de A les corresponden siempre dos imágenes diferentes en B): ∀x1. exhaustivas e inyectivas. con una fila para cada par de la función. como mucho. 7. ƒ: A → B. 5. Funciones exhaustivas A todo elemento del conjunto B le corresponde. todo elemento del conjunto imagen tiene un único origen: ∀y ∈ B: existe un único x ∈ A tal que ƒ(x) = y Función identidad Dado un conjunto A. es decir: IA : A → A tal que IA(x) = x. puede ser de diferentes tipos dependiendo de sus propiedades. x2 ∈ A tal que x1 ≠ x2 ⇒ ƒ(x1) ≠ ƒ(x2) o bien Si ƒ(x1) = ƒ(x2) ⇒ x1 = x2 Funciones biyectivas Son. si tanto A como B son los enteros.© FUOC • P06/75004/00652 • Módulo 1 32 Teoría de conjuntos de los dominios A y B. ∀x ∈ A . Por ejemplo. a la vez. un origen (esto es. se llama función identidad de A a la función de A en A que no modifica los elementos. 8} es la tabla que a continuación está representada: Figura 5 5.2.

Ya está demostrado. de manera que ƒ función inversa de ƒ. podemos definir una nueva función ƒ versa a la anterior. Para demostrar que una función es biyectiva. hemos encontrado x que verifica ƒ(x) = y. hemos de probar que es inyectiva y exhaustiva a la vez. pues ya hemos demostrado que esta función es inyectiva y que también es exhaustiva. Dado un y cualquiera perteneciente a R buscamos un x también de R que verifique ƒ(x) = y. hemos de probar que para todo y del conjunto final existe un x del conjunto inicial tal que: ƒ(x) = y. Veamos si este x existe: ƒ(x) = y ⇒ x3 − 1 = y ⇒ x3 = y + 1 ⇒ x = 3 −1 : B → A. in- −1(y) = x ⇔ ƒ(x) = y. Como este x siempre existe para todo número real y. Ejemplo 23 Demostrar que la función del ejemplo 21 es una función biyectiva. La función ƒ −1 se llama y +1 . Ejemplo 21 Demostrar que la función ƒ: R → R tal que ƒ(x) = x3 − 1 es una función inyectiva. Para demostrar que una función es exhaustiva. Función total La función ƒ: A → B es total si Dom(ƒ) = A. Si ƒ(a) = ƒ(b) ⇒ a3 − 1 = b3 − 1 entonces: a3 = b3 y a = 3 b 3 = b .© FUOC • P06/75004/00652 • Módulo 1 33 Teoría de conjuntos Función inversa Si ƒ: A → B es inyectiva. Función parcial La función ƒ: A → B es parcial si Dom(ƒ) ⊂ A. Para probar que una función es inyectiva tenemos que probar que si ƒ(a) = = ƒ(b) entonces a = b. . Ejemplo 22 Demostrar que la función del ejemplo 21 es exhaustiva.

hay que despejar x: −2 x = 3 − y ⇒ x = −y + 3 y −3 ⇒x= −2 2 x−3 .© FUOC • P06/75004/00652 • Módulo 1 34 Teoría de conjuntos Ejemplo 24 Hallar la función inversa de la función ƒ: R → R tal que ƒ(x) = 2x + 3. en este caso y = 2x + 3. la función inversa es x = ƒ −1(y). Recordemos que si y = ƒ(x) es una función inyectiva. 2 y de este modo se tiene que la función inversa es ƒ −1( x) = . Para encontrar la función inversa de una función dada.

Z− enteros negativos) Conjunto de los números racionales Conjunto de los números reales Conjunto de los números complejos Infinito Valor absoluto (números) Módulo o norma (vectores o números complejos) ∃! ⇔ ≡ ≈ > < : / ∋ ∈ ∉ ⊂ ⊄ ⊆ U I ∅ N Z Q R C ∞ [] ⎢ ⎥ ⎣ ⎦ Parte entera (números) Sumatorio (números) Producto (números) ∑ ∏ π e i j Número pi Número e Número complejo unidad imaginaria (i = j = −1 ) . Tabla de símbolos matemáticos ∀ ∃ Para todo Existe Existe y es único Si.© FUOC • P06/75004/00652 • Módulo 1 35 Teoría de conjuntos Anexo. y sólo si (condición necesaria y suficiente) Equivalente Aproximado Mayor Menor Tal que Pertenece (elementos) No pertenece (elementos) Contenido estrictamente (conjuntos) No contenido (conjuntos) Contenido o igual (conjuntos) Unión (conjuntos) Intersección (conjuntos) Conjunto vacío Conjunto de los números naturales Conjunto de los números enteros (Z+ enteros positivos.

simétrica y transitiva) y las de orden estricto (relación que cumple las propiedades antirreflexiva y transitiva) y orden parcial (si satisface las propiedades reflexiva. Por último. combinación) que actúan sobre relaciones para obtener otras relaciones. les hace corresponder elementos de B. proyección. producto cartesiano. inyectivas (los elementos del conjunto B tienen. exhaustivas e inyectivas). antisimétrica y transitiva) y se muestran sus respectivas aplicaciones en el diseño de bases de datos: Las relaciones de equivalencia se utilizan para calcular las claves de las bases de datos y las de orden se usan para optimizar las búsquedas y consultas en éstas. biyectivas (son. Hemos hecho especial hincapié en dos de ellas: las de equivalencia (relación que cumple las propiedades reflexiva. como mucho. selección. diferencia y producto cartesiano. inspirada en la teoría de conjuntos. proceso que establece una relación entre los conjuntos A y B). función identidad (la que no modifica los elementos del conjunto de partida). total y parcial. como mínimo. vacío y universal y cardinal de un conjunto) así como de sus operaciones: unión. función inversa. a elementos de A. ordenando previamente los registros con respecto a un campo. intersección. . hemos introducido el concepto de correspondencia entre dos conjuntos A y B (proceso que. función (correspondencia en la que a todo elemento de A le corresponde como mucho un elemento de B) y aplicación (función en la que su dominio coincide con el conjunto de partida. igualdad de conjuntos.© FUOC • P06/75004/00652 • Módulo 1 36 Teoría de conjuntos Resumen Al principio del módulo hemos partido de la idea intuitiva de conjunto como colección de objetos llamados elementos donde todos éstos son diferentes entre sí y hemos realizado un repaso de los conceptos básicos de la teoría de conjuntos (expresión de un conjunto. un origen). diferencia. Para ello hemos presentado el álgebra relacional que. A continuación hemos definido las diferentes relaciones existentes entre dos conjuntos. Una vez ya hemos tenido definidos los conjuntos y sus relaciones hemos pasado a operar con estas últimas. proporciona una colección de operadores (unión. intersección. un origen o antiimagen en A). a la vez. A) y hemos presentado los diferentes tipos de funciones: exhaustivas (a todo elemento del conjunto B le corresponde. es decir. conjunto complementario.

6. a. 5. no obstante. y ∈ N. 7. b. 8} no forman una partición de U pero que. en A × A mediante: (a. 2. 4. c. c. 5}. f. b. ℘(A ∩ C) 2. g}. 9. (A ∪ B) ∪ C b) A ∩ C. b) Los conjuntos B1 = {a. En un cierto problema. 4. 4. f}. 5. 4. B = {1. 5. 2. 5. b) R (c. Sea U = {1. f} A4 = {4} forman una partición de U. d) ⇔ a – b = c – d Comprobad que se trata de una relación de equivalencia y obtened el conjunto cociente. B ∪ C. 9. 4. e. g} B3 = {c. 3. 7. A ∩ C d) ℘(C). b. e. c. 5. g} y C = {3. 4. 9} B2 = {1. a. 8. 2. (A ∩ B) ∩ C c) A. 3. 2. 3. 4. d. b. B3 − (B2 ∩ B3) 3. sí la forman los conjuntos: B1 D B2. Estudiad las siguientes relaciones binarias definidas en el conjunto Z de los números enteros: a) x R y ⇔ x·y > 0 b) x S y ⇔ x·y ≥ 0 4. 6. d. 2. Nota La operación D representa la diferencia simétrica entre conjuntos y se define como: A D B = (A ∪ B) (A ∩ B) . e}. d. a. c. g} A2 = {3. 6. a. c} A3 = {2. d. b. a. e. Calculad: a) A ∪ B. 7. x R y ⇔ x ⎪ y (x es un divisor de y) Probad que R es una relación de orden parcial. Sea A = {1. 2. 6. g} el conjunto universal. En el conjunto de los números naturales N definimos la relación binaria siguiente: Si x. 7. 3. 6. d. 9. 8. B1 ∩ B2. 5. En él se consideran los conjuntos: A = {1. R. 8.© FUOC • P06/75004/00652 • Módulo 1 37 Teoría de conjuntos Ejercicios de autoevaluación 1. f. g. el universo de referencia es el conjunto U = {1. 8. e. Se define la relación. d. 7. b. f. 9. A ∪ B. Demostrad que: a) Los conjuntos A1 = {1.

exhaustivas y biyectivas. los routers están conectados entre sí de la siguiente manera: el 1 con el 2. z) = (x + y + 2z. 4} y B = {a. (3. e}. 2. Si A = {1. 1. cuáles son inyectivas. (3. d. En la actualidad.© FUOC • P06/75004/00652 • Módulo 1 38 Teoría de conjuntos 6. −2x − y + z) Demostrad que ƒ es inyectiva y exhaustiva. (2. Sea ƒ : R3 → R3 una aplicación definida por: ƒ(x. (4. a). d). En el conjunto A = {−2. Es decir. y. (2. −1. b). están conectados según se muestra en el siguiente esquema: . e). a). d)} c) G3 = {(1. el 2 con el 4. 0. c. (4. 2. (3. −1. 7. (2. Se pide: a) La representación gráfica que define la relación. 1} se define la siguiente relación binaria: x R y ⇔ x < |y|. Decid cuáles de las siguientes correspondencias son aplicaciones y. 10. el 1 con el 4 y el 4 con el 3. b. 0. a) G1 = {(1. e)} b) G2 = {(1. a). (1. 8. x + y + z. a). 3} se define la relación: x R y ⇔ ⏐x − y⏐ ≤ 1 Obtened el diagrama correspondiente y estudiad las propiedades. a)} 9. de éstas. c). (2. c). 3. b) Estudiad sus propiedades. a). Se considera una red de área extensa (WAN) compuesta por 5 routers. En el conjunto A = {−2.

por la cual dados dos elementos (servidores miembros y/o controladores de dominio) están relacionados si o bien los dos elementos son servidores miembros. En el conjunto de las palabras generadas por PAL5LET definimos la relación R “empezar por la misma letra”. Una empresa informática dispone de siete elementos: Cuatro servidores miembros (no controladores de dominio): M1. ambos están interconectados. C3. b) Comprobad que la relación anterior es de equivalencia. C2. y sólo si. los routers 1 y 3 no están directamente conectados entre sí.© FUOC • P06/75004/00652 • Módulo 1 39 Teoría de conjuntos En el conjunto de los routers establecemos la relación R siguiente: se considera que el router u está relacionado según R con el router v si. NOTA: Se entiende que cada servidor está relacionado con él mismo. M3. c) Encontrad el conjunto cociente. b) Determinad si esta relación es de equivalencia. ya sea de forma directa o indirecta. . c) En el caso de que R sea de equivalencia. dos palabras de las generadas por el programa están relacionadas por la relación anterior si empiezan por la misma letra (se entiende que cada palabra está relacionada con ella misma). Se pide: a) Escribid seis elementos de los generados por PAL5LET y representad tres pares de palabras que formen parte de la relación R. El programa informático PAL5LET genera palabras de cinco letras hechas con el alfabeto español (de 29 letras). Observaciones: • Se entiende que cada router está conectado consigo mismo. por ejemplo. Se pide: a) Representad el conjunto de elementos de la empresa y escribid dos pares que formen parte de la relación R. 11. o bien los dos elementos son controladores de dominio. Entre estos elementos de la empresa. hallad el conjunto cociente. M4 y tres servidores controladores de dominio: C1. • Es equivalente decir “el router 1 está conectado con el 2” que decir “el router 2 está conectado con el router 1”. ¿Cuántos elementos tiene el conjunto cociente? 12. ambos están indirectamente conectados a través del router 4. M2. especificando en todo momento qué partes del enunciado y/u observaciones utilizáis en vuestro argumento. esto es. • Aunque. se define la relación R. Se pide: a) Escribid todos los pares que forman la relación.

exhaustiva o biyectiva. 2. c) Encontrad el conjunto cociente. . 5. 3. c) Tal y como está definida. 6. El servidor distribuye programas para ejecutar a las otras 24 máquinas. comprobad si esta función es inyectiva.. 25}. 4. Tenemos una red de 25 ordenadores M = {1. Razonar la respuesta. . 7.. 3. 8} y el servidor los distribuye usando la función f: P → M definida por f(n) = 3n − 2. ¿Cuántos elementos tiene el conjunto cociente? 13.© FUOC • P06/75004/00652 • Módulo 1 40 Teoría de conjuntos b) Comprobad que la relación R anterior es de equivalencia. b) Calculad cuáles son los programas que se han ejecutado en máquinas que tienen índice par. 2.. Una de las 25 máquinas tiene funciones de servidor (la máquina 25). a) Calculad a qué máquinas han ido a ejecutarse los programas. Llegan 8 programas para ejecutar P = { 1.

⎨ ⎬ ⎩ a⎭ 1 1 1 1 ⇒ x−a+ − =0 ⇒ =a+ x a x a 3) El conjunto cociente R {0} / R. g} B ∪ C = {1. b. =b+ b c a b 1 1 = c + por lo que obtenemos a R c. 5. 5. a. a. por definición. tama b • simétrica: Si a R b. g} = U . 8. Busquemos cuáles son dichos números x: Como. d. f. ya que se cumple que a + 1 1 =a+ . 2. 9. es el conjunto formado por {0} definidas por R. 7. a 1 Por tanto. 9. esto es: las clases de equivalencia de R R {0} / R = {x / x ∈ R ⎧⎧ 1 ⎫ {0}} = ⎨⎨ x. con lo que llegamos a la conclusión de b a que b R a. entonces se cumple que a + 1 1 bién se cumple que b + = a + . d. 8. 2) La clase de equivalencia a es el conjunto de números reales no nulos tales que están relacionados: a R x. 3. 4. e. a c {0} de los nú- Si lo juntamos. obtenemos que a + Por tanto. 3. calculamos (A ∪ B) ∪ C añadiendo los elementos de C que aún no estaban en A ∪ B: (A ∪ B) ∪ C = {1. 2. e. • transitiva: Si a R b. ⎫. 7. por definición. entonces a + 1 1 1 1 y si b R c. a) Por ser la unión de dos conjuntos tendremos que: A ∪ B = {1. c. 7. f.© FUOC • P06/75004/00652 • Módulo 1 41 Teoría de conjuntos Solucionario Actividades Actividad 1 1) La relación R sí que es de equivalencia porque cumple las tres propiedades necesarias para ello. tenemos b + = c + . a. a a 1 1 = b + . ⎬ / x ∈ R ⎩⎩ x ⎭ {0}⎬ ⎫ ⎭ Ejercicios de autoevaluación 1. Veámoslo: • reflexiva: a R a. 4. x2 = . 6. g} Aprovechando que ya conocemos A ∪ B. 6. a = ⎧a. R es una relación de equivalencia en el conjunto R meros reales no nulos. 4. d. se tiene que a R x ⇒ x + ⇒ x−a+ a−x = 0 ⇒ ax2 − a2x + a − x = 0 ⇒ ax2 − (a2 + 1)x + a = 0 y resolviendo ax 1 la ecuación de 2º grado se obtiene como soluciones: x1 = a. b. por tanto. c.

4} = = {1. c. 5. Ai ≠ ∅. {3. Para calcular (A ∩ B) ∩ C determinamos primero la intersección entre A y B: A ∩ B = {1. a) i. c. tendremos: A = {3. a. 9. a. d. {e}. {5. 5. {9. {5}. 8. Con esta hipótesis. a}. 5. 4. {3. 8. {5. f. 5. e. en nuestro caso tendremos: ℘(C) = {∅. este conjunto lo obtendremos formando todas las combinaciones posibles de sus elementos. 5. a. 4. a}. g} = U b) B1. 9. 9. Por tanto. 9}. {5. a. A ∩ C = ∅. g} A ∪ B = {3. a. {5. {5. b. e}. b. 3. La unión de todos los subconjuntos da el conjunto total U: A1 ∪ A2 ∪ A3 ∪ A4 = {1. {3. e}. {9}. e}. a}. {a. e}. {3. pues. e}. 9}. 6. g} . 5. e}. e}. 4. {5. e} = ∅ c) Siempre que no se especifique el conjunto respecto al cual consideramos el complementario supondremos que es el conjunto universal. Todos son disjuntos (no tienen elementos en común): A1 ∩ A2 = A1 ∩ A3 = A1 ∩ A4 = A2 ∩ A3 = A2 ∩ A4 = A3 ∩ A4 = ∅ iii. {3. propios o no. a. los conjuntos: B1 D B2 = (B1 ∪ B2) B1 ∩ B2 = {2. a}. e}. e. {3}. e}. tenemos que ℘(A ∩ C) = ℘(∅) = {∅}. e. e}. 9. 4. 6. a. a. 9. {9. 5. d. 9. 2. 5. {5. e}. a. e}. 7. {3. 2. g. 6. e. a}. d} (B1 ∩ B2) = {1. a}. 9. b} B3 (B2 ∩ B3) = {3. {3. b} ≠ ∅ No obstante. 7. {a}.© FUOC • P06/75004/00652 • Módulo 1 42 Teoría de conjuntos b) La intersección de dos conjuntos es el conjunto de los elementos comunes en ambos. Así. Por tanto. {3. 4. a}. {3. Vemos que todos los conjuntos son no vacíos. ya que no tienen ningún elemento en común. 2. a. f. {3. 5. 7. 9. a. 7. f. 5. para i = 1. {3. 9. 5. 5}. e}} Por otro lado. e}. {9. 5. ii. c. d} En consecuencia: (A ∩ B) ∩ C = {1. del conjunto original. 3. d} ∩ {3. 9}. 9. {3. e} A∩C = ∅ = U d) Dado que el conjunto de partes es el formado por todos los subconjuntos. B2 y B3 no forman una partición de U ya que B1 ∩ B2 = {2. 9. 9. {3. {3. 8. 9. 2. e}. 9. {3. a. 5. 3. 9. el complementario de un conjunto será el conjunto de todos los elementos del universal que no pertenezcan al conjunto dado.

a. • S es simétrica: Si x S y ⇒ x·y ≥ 0 ⇒ y·x ≥ 0 ⇒ y S x. b) R (a. b) R (c. (e. • S no es transitiva: Ya que. b. B1 ∩ B2 ≠ ∅. 4. c. d) ⇒ a − b = c − d y (c. . si (a. d) ⇒ a – b = c – d ⇒ ⇒ c – d = a – b ⇒ (c. (a. f) ∈ A x A. No son vacíos: B1 D B2 ≠ ∅. d} = U 3. si (a. • Simétrica: ∀ (a.© FUOC • P06/75004/00652 • Módulo 1 43 Teoría de conjuntos sí que forman una partición. • R es transitiva: ∀ x. f ) . f) (como queríamos demostrar). (c. Son disjuntos: (B1 D B2) ∩ (B1 ∩ B2) = ∅. y no obstante −4 · 7 = / = −28 < 0 ⇒ −4 · 7 ‡ 0 ⇒ −4 S 7. 6. (B1 ∩ B2) ∩ (B3 − (B2 ∩ B3)) = ∅. a) • R no es reflexiva. 7. iii. 2. b) R (c. y. En efecto: x R y ⇒ x · y > 0 ⇒ y · x > 0 ⇒ y R x. d) R (e. g} ∪ {3. ya que: i. b). Veamos que satisface las propiedades: • Reflexiva: ∀ (a. b). d). 9. (c. y R z ⇒ y · z > 0 ⇒ (x · y) · (y · z) > 0 ⇒ ⇒ x · (y2) · z > 0 ⇒ x · z > 0 (por ser y2 > 0 ya que y ≠ 0) ⇒ x R z. f. d) R (a. b) R (e . z ∈ Z si: ? x R y⎫ ⎪ ? e ⎬⇒ x R z y R z⎪ ⎭ En efecto: x R y ⇒ x · y > 0. f ) ⎪ ⎭ En efecto. b) ∈ A × A. b) R (c . B3 − (B2 ∩ B3) ≠ ∅ ii. b) ya que a – b = a – b. d )⎫ ⎪ ? y ⎬ ⇒(a. lo cual no es cierto. f) ⇒ c − d = e − f ⇒ a − b = = c − d = e − f ⇒ a − b = e − f ⇒ (a. b) R (e. d) ∈ A × A. 8. • Transitiva: ∀ (a. ya que 0 R 0 ⇔ 0 · 0 > 0. por ejemplo: −4 S 0 (ya que −4·0 ≥ 0) y 0 S 7 (ya que 0 · 7 ≥ 0). (B1 D B2) ∩ (B3 − (B2 ∩ B3)) = ∅. e. • R es simétrica: Si x R y ⇒ y R x. b). (c . 4. (a. la unión de todos ellos es el total: (B1 D B2) ∪ (B1 ∩ B2) ∪ (B3 − (B2 ∩ B3)) = = (B1 ∪ B2) ∪ (B3 − (B2 ∩ B3)) = {1. d ) R (e . b) • S es reflexiva: Ya que ∀ x ∈ Z se cumple x·x ≥ 0. 5.

a) Se comprueba si se verifica la relación para todos los pares posibles de números. 2)} (5. Para ver que se trata de una relación de orden parcial.1) = {(2. (0. (4. (−2. 4). 0). −2). 5)} (1. 1). (0. diremos que una clase (a.1) = {(5. 2). 2). De esta manera la relación queda así: R = {(−2. (4. (4. (−1. (−1. 0). (2. la clase (1.1) = {(1. tenemos que ver que se cumplen las propiedades reflexiva. (3. 4). (2. tendremos las siguientes clases: (1. 5)} (1.3) estará formada por todos los pares tales que la diferencia entre sus componentes es −2. 1). −2 R −1 ya que −2 < |−1| = 1 ⇒ (−2. (5. (−1. (−1. y) ∈ A × A tales que a − b = x − y. (4. 2).3). (3. 5)} (1. antisimétrica y transitiva. −2). 3). 1).© FUOC • P06/75004/00652 • Módulo 1 44 Teoría de conjuntos En cuanto a las clases de equivalencia. n = 1 ∈ N • Antisimétrica: x R y⎫ y = n1 · x (1) ⎪ e ⎬⇒ ⇒ Substituimos la y de (1) en (2) y tenemos: x = n2 · y (2) ⎪ y R x⎭ x = n2 · n1 · x ⇒ n2 · n1 = 1 ⇒ n1 = n2 = 1 ya que n1. Por ejemplo. 1). (0. Así pues.3) = {(1. 4). −2)} . • Reflexiva: x R x ? ∃ n ∈ N tal que x = n · x ? Sí. 1)} 5. Por ejemplo. (2. 1). 4). 3).1) = {(4.5) = {(1. (3. 5)} (2. (5. (2.4) = {(1.b) estará constituida por todos los pares (x. (−2. (3. (5. (−2. −2). (1.2) = {(1. n2 ∈ N Si tomamos n1 = 1 y lo substituimos en (1) obtenemos: y = x • Transitiva: x R y⎫ y = n1 · x (1) ⎪ e ⎬⇒ ⇒ Substituimos la y de (1) en (2) y tenemos: ⎪ z = n2 · y (2) y R z⎭ z = n2 · n1 · x ⇒ (z es múltiplo de x) x|z ⇒ x R z 6. 2). 4)} (3. −1) ∈ R. 3). (5. 5)} (1. −1).1) = {(3. 1). 3)} (4. 1). −1). −1).

(−2. 0). De esta manera se obtiene el gráfico de la relación R : R = {(−2. (−2. 2). . −2).. (−1. 1) ∈ R y (1. (2. 3). −1 R −2. −1) ∈ R • Antisimétrica: ya que 1 ≠ −2. 0). (−1. (3. (−1. 0). −2). 1). (1.© FUOC • P06/75004/00652 • Módulo 1 45 Teoría de conjuntos La gráfica de la relación queda así. −2) ∈ R. −2) ∈ R y (−2. (3. −1). 3). 0) ∉ R • Simétrica: ya que (0. la relación es: • Reflexiva: ya que contiene todos los elementos de la diagonal principal (−2. (2. 3)} Figura 7 Por tanto. −1) ∈ R y. 1) ∈ R 7. 1). (3. 0) ∉ R • Transitiva: ya que (1. (−1. ya que |−1 − (−2)| = |−1 + 2| = 1 ≤ 1. x) ∈ R. (0. (1. Figura 6 b) La relación binaria R no es: • Reflexiva: ya que (0. (0. −1). −1). (1. . 1). Se comprueba si se verifica la relación para todos los pares posibles de números. 2). y) ∈ R ⇔ (y. 2). (1.. (0. no obstante. (2. (1. Por ejemplo. −2). −1) ∉ R • Antirreflexiva: ya que (−1.. −1). • Simétrica: ya que (x.

tenemos que fijarnos en la representación gráfica de la misma. 1). 1) ∉ R 8. (1. tampoco será biyectiva. G3 (1) = G3 (2) = a. • ƒ es inyectiva. 1). 3)} . 4). ya que los elementos 1 y 2 tienen dos imágenes y. b. (2. e ∈ B no tienen antiimagen. ya que los elementos b. por ejemplo: (−1. −2x − y + z) = (a. −2a − b + c) ⇔ ⎧x + y + 2 z = a + b + 2 c ⎪ ⇔ ⎨x + y + z = a + b + c ⎪−2 x − y + z = −2a − b + c ⎩ ⇔ ⎧z = c ⎪ ⎨ − x + 2 z = −a + 2 c ⎪x + y + z = a + b + c ⎩ ⇔ ⎧z = c ⎪ ⎨− x = −a ⎪a + y + c = a + b + c ⎩ ⇔ ⎧x = a ⎪ ⎨y = b ⎪z = c ⎩ • f es exhaustiva. 4). c) ⇔ (x + y + 2z. y. • No transitiva: sólo hay que observar que (−1. c) ⇔ ⎧x + y + 2 z = a ⎪ ⇔ ⎨x + y + z = b ⎪− 2 x − y + z = c ⎩ ⎧x = 2a − 3b − c ⎪ ⇔ ⎨y = −3a + 5b + c ⎪z = a − b ⎩ ⎧z = a − b ⎪ ⎨− x + 2 z = b + c ⎪x + y + z = b ⎩ ⎧z = a − b ⎪ ⎨x = 2 z − b − c ⎪y = b − x − z ⎩ ⎧x = 2 a − 3b − c ⎪ ⎨y = b − x − z ⎪z = a − b ⎩ ⇔ ⇔ ⇔ ⇔ 10. y. (−1. b. z) del conjunto de salida: f(x. (4. (1. 3). (1. z) = ƒ(a. a + b + c. (0. (3. c) ⇔ (x + y + 2z.© FUOC • P06/75004/00652 • Módulo 1 46 Teoría de conjuntos En este diagrama hay simetría respecto a la diagonal principal. 9. 0) ∈ R. 2). no obstante. G3 no es inyectiva. 3). z) = (a. a) G1 no es aplicación. imagen en B. 4). 2). (3. b. (2. (4. 1) ∈ R y. c. ya que 1 ≠ 2 y.. el elemento 4 no tiene ninguna. y. x + y + z. c) y hallar un elemento (x. Los pares que forman la relación son: R = {(1. 1). z) = (a. además. (4. (4. y sólo una. −2x − y + z) = = (a + b + 2c. 4). Por tanto. (5. 5). Tenemos que resolver la ecuación f(x. d. G2 no es exhaustiva. G2 es inyectiva. 2). (2. −2) ∈ R ⇒ (−2. b. x + y + z. −1) ∈ R . b) G2 es aplicación. y. sin embargo. G3 no es exhaustiva. ƒ(x. a) Para escribir los pares de la relación. c) G3 es aplicación. En efecto. ya que cada elemento de A tiene una. 2).. 3). (2. 1). ya que el elemento b ∈ B no tiene antiimagen. ya que a diferentes elementos de A les corresponde imágenes diferentes en B. (3. (3.

también hay una conexión entre v y u.. el router u está conectado con el w. La clase de equivalencia del router 1 es el conjunto de routers de V que están relacionados con el router 1. 2. que están conectados con el router 1. si hay una conexión entre el router u y el router v. el conjunto cociente es: V/R = 1.} b) Para comprobar si la relación es de equivalencia. R es una relación de equivalencia. mirando la relación. es decir. dado que el router 5 sólo está conectado consigo mismo. tenemos la clase de equivalencia del router 5. c) Hallemos el conjunto cociente. Por tanto. 4} . hay que mirar si cumple las siguientes propiedades: • Reflexiva: La relación R es reflexiva.} R = {(árbol R ámbar). en este caso. • Transitiva: La relación también es transitiva pues si el router u está conectado con el v y el v está conectado con el w. barca.© FUOC • P06/75004/00652 • Módulo 1 47 Teoría de conjuntos b) Para comprobar si la relación es de equivalencia.. primero debemos encontrar las clases de equivalencia de éste. y la que está formada por el router 5. . barco. Por tanto. según la observación 3. hay que mirar si cumple las siguientes propiedades: • Reflexiva: La relación R es reflexiva pues cada router está conectado consigo mismo (según se hace constar en la observación 1) • Simétrica: La relación es simétrica ya que. Sea V el conjunto de los 5 direccionadores y R la relación definida entre éstos. costa. entonces. es decir.. 4} Por otro lado. 2. 5 . 3 y 4. Y. (barca R barco). tenemos que: 5 = {5} Por tanto.. que es el conjunto de routers de V que están relacionados con el router 5. { } 11. 2. ámbar. el conjunto cociente está formado por dos clases de equivalencia: la que está formada por los routers 1. 3. pues cada palabra p empieza por la misma letra que la propia palabra p (según se hace constar en la NOTA).. Para ello. según se desprende de la observación 2. a) A = {árbol. (carpa R costa). carpa. 3. De igual manera tenemos que: 1 = 2 = 3 = 4 = {1.. tenemos que: 1 = {1.

como representante de las palabras que empiezan por la letra ‘b’ tomamos a la propia letra “b” (igualmente se podría haber tomado como representante la palabra “balón”. Como representante de las palabras que empiezan por la letra ‘a’.. c) Hallemos el conjunto cociente. Por tanto. etc.. es decir. Para ello. [c]. mirando la relación. tenemos que: [a] = {árbol.. “barca”..} o bien se podría haber indicado: [barca] = {barca.. Por tanto.} Y así sucesivamente con el resto de letras del alfabeto español. . etc. entonces la primera letra de la palabra p es igual que la primera letra de la palabra r. La clase de equivalencia de las palabras que empiezan por la letra ‘b’ es el conjunto de palabras de A que están relacionadas con la letra ‘b’. que empiezan por la letra ‘a’. entonces la primera letra de la palabra p es igual a la primera letra de la palabra q.. Por tanto.... Sea A el conjunto de palabras generadas por el programa PAL5LET y R la relación definida entre éstas.. . • Transitiva: La relación también es transitiva. altar. . es decir. balón. ámbar. ámbar. primero debemos encontrar las clases de equivalencia de éste. balón. ‘altar’.© FUOC • P06/75004/00652 • Módulo 1 48 Teoría de conjuntos • Simétrica: La relación es simétrica.} o bien se podría haber indicado: [árbol] = {árbol. etc. La clase de equivalencia de las palabras que empiezan por la letra ‘a’ es el conjunto de palabras de A que están relacionados con la letra ‘a’. ya que si p y q son palabras tales que p R q. existen palabras que empiezan por la letra ‘a’.} De igual manera.. Dentro del conjunto A. R es una relación de equivalencia. mirando la relación. por tanto q R p pues sus primeras letras son iguales. pues si la primera letra de la palabra p es igual que la primera letra de la palabra q y la primera letra de la palabra q es igual que la primera letra de la palabra r. [barca]. el conjunto cociente está formado por 29 clases de equivalencia y el conjunto cociente es: A/R = {[a]... balsa. por la letra ‘b’.). que empiezan por la letra ‘b’.} ... Por tanto.)...} NOTA: Igualmente sería correcto decir: A/R = {[árbol]. tomamos la propia letra “a” (igualmente se podría haber tomado como representante la palabra ‘ámbar’. [b]. por la letra ‘c’. [casa].. tenemos que: [b] = {barca..

Para ello. que son servidores miembro. tenemos que: [servidores miembro] = {M1.} b) Para comprobar si la relación es de equivalencia.. es decir. R es una relación de equivalencia. hay que mirar si cumple las siguientes propiedades: • Reflexiva: La relación R es reflexiva. C2. mirando la relación. C3} R = {(M1 R M2). M3. entonces. primero debemos encontrar las clases de equivalencia de éste. a) A = {M1. m y p son servidores de dominio (respectivamente servidores controladores de dominio). es decir. C1. mirando la relación. tomamos al M1 (igualmente se podría haber tomado a cualquiera de los otros servidores miembro). (C1 R C3). n son dos servidores de dominio (respectivamente servidores controladores de dominio). Por tanto. M3. como representante de los servidores controladores de dominio tomamos al C1 (igualmente se podría haber tomado cualquiera de los otros servidores controladores de dominio). La clase de equivalencia de los servidores miembro es el conjunto de servidores de A que están relacionados con M1.© FUOC • P06/75004/00652 • Módulo 1 49 Teoría de conjuntos 12.. C3} . M4} Igualmente. Por tanto. M2. Por tanto. ya que si m y n –elementos de la empresa– son ambos servidores miembros (respectivamente servidores controladores de dominio) entonces la misma propiedad la tienen n y m. Dentro del conjunto A. La clase de equivalencia de los servidores controladores de dominio es el conjunto de servidores de A que están relacionados con C1. existen servidores miembro y servidores controladores de dominio. tenemos que: [servidores controladores de dominio] = {C1. Sea A el conjunto de elementos de la empresa y R la relación definida entre éstos. C2. ya que la calidad de ser servidor miembro o servidor controlador de dominio la comparte cada elemento de la empresa consigo mismo (tal como se indica en la NOTA). pues si m. c) Hallemos el conjunto cociente.. M4} o bien se podría haber indicado: [M1] = {M1. y n y p son también servidores de dominio (respectivamente servidores controladores de dominio). • Simétrica: La relación es simétrica. M4. • Transitiva: La relación también es transitiva. M3. que son servidores controladores de dominio. Como representante de los servidores miembro. M2. M2.

Entonces solamente tienen sentido ƒ−1(4). . Ahora debemos observar que no todos los elementos tienen anti-imagen. el conjunto cociente está formado por dos clases de equivalencia y el conjunto cociente es: A/R = {[servidores miembros]. . a) Dado que ƒ(n) = 3n − 2. ƒ(1) = 3 · 1 − 2 = 1 ƒ(2) = 3 · 2 − 2 = 4 ƒ(3) = 3 · 3 − 2 = 7 ƒ(4) = 3 · 4 − 2 = 10 ƒ(5) = 3 · 5 − 2 = 13 ƒ(6) = 3 · 6 − 2 = 16 ƒ(7) = 3 · 7 − 2 = 19 ƒ(8) = 3 · 8 − 2 = 22 de manera que las máquinas que han ejecutado alguno de los ocho programas son: {1. No es biyectiva. ya que por ejemplo no hay ningún x tal que ƒ(x) = 2. 24}) = {2. 4. 10. vamos a ver cuáles son las imágenes de nuestra función. 24}). ƒ−1(20) y ƒ−1(24) no existen. C3} Por tanto. ƒ−1(14). ya que ƒ(x) = ƒ(y) ⇔ 3x − 2 = 3y − 2 ⇔ x = y No es exhaustiva. 8 } son los programas que se han ejecutado en máquinas que tienen índice par. . 6. ƒ−1(18). 4. ƒ−1(16) y ƒ−1(22). ƒ−1(10). C2. [C1]} 13. ƒ−1(12). c) Es inyectiva. 13. 4. De manera que: ƒ−1({2. 19. 4. 16. 22} b) Solamente tenemos que calcular ƒ−1({2.. ƒ−1(8).. [servidores controladores de dominio] } NOTA: Igualmente estaría correcto decir: A/R = {[M1].. ƒ−1(2). puesto que no exhaustiva. 7..© FUOC • P06/75004/00652 • Módulo 1 50 Teoría de conjuntos o bien se podría haber indicado: [C1] = {C1.

antisimétrica f Propiedad (definida en un conjunto A) en la que dos elementos diferentes de A no pueden estar relacionados en los dos sentidos. simétrica y transitiva. ∪ Am = A (la unión de todos ellos es el conjunto A) producto cartesiano m Dados dos conjuntos no vacíos A y B.. intersección f Dados dos conjuntos A y B.. se trata de la relación < que cumple las propiedades antirreflexiva. su producto cartesiano es el conjunto A × B cuyos elementos son todos los pares ordenados (a. una antiimagen en el conjunto de salida. tales que: Ai ≠ ∅ (los subconjuntos no son vacíos) Ai ∩ Aj = ∅ si i ≠ j (los subconjuntos son disjuntos) A1 ∪ A2 ∪ . conjunto universal m Conjunto de referencia en el cual están incluidos todos los conjuntos que intervienen. orden (u orden parcial) m Dado un conjunto no vacío A.. equivalencia f Relación ~ en un conjunto A que cumple las propiedades reflexiva. su intersección es el conjunto. una partición de A es una familia de n subconjuntos de A. antisimétrica y transitiva. orden estricto m Dado un conjunto no vacío A. como mucho. función exhaustiva f Función en la que a todo elemento del conjunto de llegada le corresponde. función total f Función en la que el dominio de ésta es igual al conjunto de salida. conjunto complementario m Respecto de un conjunto dado A. función inversa f Dada la función ƒ : A → B inyectiva. exhaustiva e inyectiva. es la relación de orden parcial que verifica que dos elementos están siempre relacionados. se trata de la relación ≤ que cumple las propiedades reflexiva. conjunto vacío m Único conjunto que no tiene ningún elemento. A2.© FUOC • P06/75004/00652 • Módulo 1 51 Teoría de conjuntos Glosario antirreflexiva f Propiedad (definida en un conjunto A) en la que ningún elemento a ∈ A está relacionado consigo mismo. en el que se establece una relación binaria entre los conjuntos A y B. b) con a ∈ A y b ∈ B. una correspondencia entre los dos es un subconjunto G del producto cartesiano A × B. .. un origen. función f Correspondencia en la que a todo elemento del conjunto de salida le corresponde como mucho un elemento del conjunto de llegada.. como mucho. conjunto cociente m Dada una relación de equivalencia ~ en un conjunto no vacío A . partición f Dado un conjunto no vacío A. el conjunto cociente A / ~ es el conjunto cuyos elementos son las clases de equivalencia módulo ~. un elemento de B y cumple que el dominio es A. Am. Notación: A ∩ B. función identidad f Función de un conjunto en sí mismo que no modifica los elementos. función biyectiva f Función que es. aplicación f Correspondencia en la que a todo elemento del conjunto A le corresponde. función parcial f Función en la que el dominio de ésta está contenido o es igual al conjunto de salida. correspondencia f Dados dos conjuntos A y B. función inyectiva f Función en la que los elementos del conjunto de llegada tienen. a la vez. es el conjunto formado por todos los elementos del conjunto universal que no pertenecen a A. . antisimétrica y transitiva. cuyos elementos son aquellos que pertenecen simultáneamente a A y a B. orden total m Dado un conjunto no vacío A. reflexiva f Propiedad (definida en un conjunto A) en la que todo elemento a ∈ A está relacionado consigo mismo. como mínimo. par ordenado m Agrupación de dos elementos en un cierto orden. la función inversa es ƒ-1 : B → A de manera que ƒ−1(y) = x si ƒ(x) = y. A1.

la relación también se verifica en el otro sentido. Incluye numerosos enunciados de ejercicios y problemas. el primero de los cuales trata la teoría de conjuntos. G. Madrid: Alianza Editorial. Madrid: Primer Ciclo. (2004). Tomo 1: Conjuntos-Grupos. consiste en una introducción a la teoría de conjuntos con numerosos ejemplos y ejercicios resueltos.. se formulan. Texto dirigido a estudiantes de carreras técnicas. Se proporcionan todas las soluciones numéricas o cuantitativas de los ejercicios. Su contenido teórico se expone al principio de cada capítulo. simétrica f Propiedad (definida en un conjunto A) en la que si un elemento a ∈ A está relacionado con otro b ∈ A.. relación binaria f Dados los conjuntos A y B. Notación A ∪ B. Pérez-Canales. representante m Dado un conjunto no vacío A. es aquella relación en la que todos los elementos de A están ligados con los elementos de B por una propiedad que puede ser cierta o falsa. De la Villa. a la vez. Se incluyen diferentes tipos de aplicaciones que pueden hacerle útil a cualquier alumno que estudie por primera vez estas materias. Problemas de Álgebra. Texto introductorio dirigido a estudiantes de Informática. transitiva f Propiedad (definida en un conjunto A) en la que si un elemento a ∈ A está relacionado con un elemento b ∈ A y. Bibliografía complementaria Lipschutz. Bibliografía Bibliografía básica Anzola. Lógica para principiantes. b está relacionado con un elemento c ∈ A se verifica que a también está relacionado con c. (1981). . M. Manzano. unión f Dados dos conjuntos A y B.© FUOC • P06/75004/00652 • Módulo 1 52 Teoría de conjuntos relación f Dado un conjunto no vacío A. Si designamos por a la clase de equivalencia de a ∈ A. Madrid: CLAGSA.. entonces a es un representante de a. (1992). A. Ofrece una selección de problemas resueltos de diversos grados de dificultad. S. Colección de tres volúmenes. Caruncho. Si b ∼ a entonces b es otro representante de a. Álgebra lineal. Problemas de álgebra. se prosigue con una colección de problemas resueltos y finaliza con una colección de problemas propuestos. Madrid: McGraw-Hill. Conjuntos y Diagramas. La parte II. unas preguntas de autoevaluación. su unión es el conjunto cuyos elementos son exactamente los elementos que pertenecen a A o a B. sea ~ una relación de equivalencia definida en él. una relación es un subconjunto del producto cartesiano A × A. dedicados a presentar en forma de problemas la matemática actual. M. (1998). El libro contiene la mayoría de los conceptos de álgebra necesarios para estudiantes de Ingeniería. A. Es de destacar el apéndice 1 sobre teoría de conjuntos y el apéndice 2 que trata las relaciones de equivalencia y de orden. Huertas. Posee un amplio capítulo introductorio. J. después. comenzando por un nivel muy elemental aumentando gradualmente hasta un nivel que en ningún caso sobrepasa el del primer ciclo de estudios universitarios.

Sign up to vote on this title
UsefulNot useful