P. 1
Modulo 1. Teoría de Conjuntos

Modulo 1. Teoría de Conjuntos

|Views: 846|Likes:

More info:

Published by: Claudio Freijeiro Villar on Nov 13, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/30/2013

pdf

text

original

Sections

  • Introducción
  • Objetivos
  • 1.Teoría básica de conjuntos
  • 1.1.Conceptos básicos de conjuntos
  • 1.2.Operaciones entre conjuntos
  • 1.3.Conjunto de partes de un conjunto: partición
  • 2.Relaciones
  • 2.1.Relación binaria
  • sobre un conjunto
  • bases de datos relacionales
  • 3.Relación de equivalencia y relación de orden
  • 3.1.Relación de equivalencia: clases de equivalencia
  • 3.3.Relación de orden
  • 4.Álgebra relacional
  • 4.1.Álgebra relacional: operaciones con relaciones
  • 4.2.Representación de relaciones
  • 5.Funciones
  • 5.1.Correspondencia entre dos conjuntos y función
  • 5.2.Tipos de funciones
  • Anexo. Tabla de símbolos matemáticos
  • Resumen
  • Ejercicios de autoevaluación
  • Solucionario
  • Glosario
  • Bibliografía

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.

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

b. 4. las páginas. las rectas que pasan por un punto. 2. en particular.. los números naturales menores que diez. Los puntos. podríamos escribir A como: A = {x / x ∈ N.. 6} b) Intensiva: Indicando alguna/s propiedad/es que cumplan todos los elementos del conjunto. 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.. previamente. Antes de continuar. se denominan los elementos de los respectivos conjuntos. c. Por ejemplo. Esto se puede hacer de dos maneras: a) Extensiva: Enumerando todos los elementos del conjunto: A = {1. las páginas de este libro. los números. Recordad a ∈ A significa que el elemento a pertenece al conjunto A. 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í. 1 ≤ x ≤ 6} . los empleados de una empresa.. 5. Los conjuntos se representan en general por letras mayúsculas y sus elementos por minúsculas.. Cualquier colección de objetos como los puntos de un segmento dado. Los elementos del conjunto se especifican entre llaves. d} representa un conjunto formado por 4 elementos. 3. Ejemplo 1 A ={a. se denomina un conjunto.© FUOC • P06/75004/00652 • Módulo 1 7 Teoría de conjuntos 1. haremos un breve recordatorio de los primeros símbolos necesarios en la formulación del lenguaje matemático y. los estudiantes de una escuela. las rectas. Teoría básica de conjuntos 1..1.

© 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. Conjunto universal Se llama conjunto universal. 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. y sólo si. R el de los reales y C el de los complejos. Por tanto. A = {x ∈ U / x ∉ A}. Se dice que un conjunto B es un subconjunto de A si todo elemento de B es elemento de A. Z el de los enteros. Ejemplo 2 Observemos que en el caso de los conjuntos numéricos habituales tenemos que: N ⊂ Z ⊂ Q ⊂ R ⊂ C. llamamos complementario de A y se denota por A el conjunto formado por todos los elementos de U que no pertenecen a A. A está incluido en B y B está incluido en A. para demostrar la igualdad entre dos conjuntos es necesario demostrar las dos inclusiones y lo llamaremos método de la doble inclusión. Q el de los racionales. . Subconjunto Recordad A ⊂ B significa A contenido en B. Conjunto complementario Dado un conjunto universal U y un subconjunto A. Conjunto vacío El conjunto vacío es el único conjunto que no tiene ningún elemento y se representa por ∅. que denotamos por U. 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⏐. Simbólicamente se expresa de la siguiente manera: B ⊂ A. a aquel conjunto de referencia en el cual estarán incluidos todos los conjuntos que intervendrán.

2.© 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. 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. Los conjuntos se representan mediante áreas planas dentro de un rectángulo que representa el conjunto universal. 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) . El diagrama de Venn correspondiente al conjunto complementario (parte sombreada en el gráfico) es el siguiente: Figura 1 1. 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.

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

3} C1 = {2}.© FUOC • P06/75004/00652 • Módulo 1 11 Teoría de conjuntos En general. 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. 2} La partición formada por un único subconjunto. B2 = {2. es decir. 3} D1 = {3}. D2 = {1. 2. ∪ Am = A (la unión de todos ellos es el conjunto A) Ejemplo 6 Especifiquemos las posibles particiones del conjunto E = {1.. 3} Una posible partición de E es la formada por los conjuntos: A1 = {1}. A2.. el conjunto total {1. 3}. A3 = {3} Otras particiones de E serían las siguientes: B1 = {1}. se dice que es la partición impropia.. . C2 = {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 ∪ ... . A2 = {2}. 2.

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

Sueldo). En las asignaturas con contenidos de Bases de datos se presenta el concepto de relación. Así. N. Ejemplo 7 En el conjunto de los números naturales. la relación también se verifica en el otro sentido: aR b ⇒ bR a . Posibles propiedades de las relaciones binarias sobre un conjunto Dado un conjunto A = {a. nos daremos cuenta de que éstas presentan algunas características importantes que. Dichos nombres ayudan a entender el significado de los valores que contiene la tabla.. consideremos una relación binaria R definida entre A y el mismo A. son los datos correspondientes a un mismo empleado. así como sus propiedades. si definimos las relaciones de manera más precisa. 2. Nombre. 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. Es por ello por lo que a continuación mostramos la definición matemática de relación. b.© 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í. Apellido. Simbólicamente se expresa como: aR b ⇔ a < b 2.}.. a primera vista. quedan escondidas.2. c. 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. 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. .1. la relación “ser menor estricto” es una relación binaria.

−1). 1) y (1. (−2. cada uno de los cuales muestra un tipo de información específica sobre un determinado objeto. el grado de la rela- . En consecuencia. (2. ya que encontramos que 1 R − 1 y −1 R −2 pero. (0. (0. (−2. −1). Y. −2). ya que. 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).3. (0. 0). No es antisimétrica. 2) y no aparece el par (2. (−1. 0). 2)} Esta relación sólo cumple la propiedad reflexiva: todos los elementos están relacionados consigo mismo. (−1. los pares relacionados por R son: {(−2. 0. 2} consideremos la relación: aR b ⇔ a < b + 3 En este caso. −1. y 2. y el contenido de los diferentes campos se desarrolla por columnas. −1). 2). −1). (−1. (−2. El tipo de dato de un determinado campo (por ejemplo. La idea esencial de una base de datos es almacenar una serie de registros de estructura similar. encontramos el par (−1. 1 R −2. −2). por ejemplo. (1. (−1. (1. −1). sin embargo. 1). 2). 1). ya que hallamos todos los posibles pares de la forma (a. −2). −1). No es simétrica. 1). 2). por último. a). 1. 0). “EDAD”) viene determinado por un dominio (el conjunto de los enteros entre 0 y 100). (1. no es transitiva. (0. compuestos por una serie de atributos o campos. (2. (1. 1). Visión formal de una relación. 2). 0). en donde cada registro corresponde a una fila. 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. (−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. (0. 0). (−2. Esto se representa de forma esquemática mediante una tabla. donde las filas son los elementos de la relación y las columnas corresponden a los dominios. ya que hallamos pares que están relacionados en los dos sentidos: (−1. (2.

• Las relaciones de orden se usan para optimizar las búsquedas y consultas en la base de datos. por ejemplo).. como veremos en el siguiente apartado.5 7. ordenando previamente los registros con respecto a un campo. 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. Por ejemplo: Alumnos de matemáticas DNI 10550321 09576220 11988787 . ....5 6.. aquellos campos que nos permiten identificar un registro de forma única (el DNI de una persona. NOMBRE José Sánchez Ana García Carlos López . y la cardinalidad con el de filas..2 . NOTA 4.© FUOC • P06/75004/00652 • Módulo 1 15 Teoría de conjuntos ción se corresponde con el número de columnas. También. 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. es decir.

y ∈ A : si x R y ⇒ y R x ya que x2 + x = y2 + y ⇒ y2 + y = x2 + x 3. • Independencia del representante: se puede tomar como representante de la clase cualquiera de sus elementos. [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. Ejemplo 10 En el conjunto A = {0. Se llama clase de equivalencia de un elemento a ∈ A al conjunto de todos los elementos de A que están relacionados con a. [b]. Para ello hay que mirar que la relación R cumple las propiedades: 1. Reflexiva: ∀x ∈ A : x R x ya que x2 + x = x2 + x 2. simétrica y transitiva. ···} donde [a] = {x ∈ A / a R x}. 3.4} se da la siguiente relación: ∀x. Relación de equivalencia y relación de orden 3. .1. etc. z ∈ A : x R y.2.1. y ∈ A : x R y ⇒ x2 + x = y2 + y Comprobemos que es de equivalencia. 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. 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. Propiedades de las clases de equivalencia • Equivalencia de los elementos: todos los elementos de una misma clase son equivalentes entre ellos. y. −2. Transitiva: ∀x. Simétrica: ∀x.© FUOC • P06/75004/00652 • Módulo 1 16 Teoría de conjuntos 3. 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].

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

9. Normalmente estamos acostumbrados a la aritmética modular gracias al uso de . 7 números. Fijémonos en que 3 = 0. 2. será que hemos cortado la recta por el 7 y hemos cerrado el segmento resultante sobre el 0. 2}. −5. 3) ¿Cuál es el conjunto cociente R {0} / R? Ejemplo 13. en cambio. 0 ∩ 2 = ∅. el 9 al 2. 10. −2. Z. El número 7 se hace equivalente al 0. obsérvese que el conjunto Z tiene infinitos elementos. Z / R tan sólo tiene 3 elementos. el 14 de nuevo al 0. 1. −3. 4 = 1. 3. los números enteros. Si tenemos un anillo de. 1 ≠ ∅. 6. El conjunto cociente. 1. 1. 4. la aritmética modular corta la recta en un punto y a partir de ahí resulta un segmento que se cierra sobre sí mismo. Para hacer finito el espacio de estos números. pueden pensarse como puntos dispuestos a lo largo de una recta que va desde el menos infinito y llega hasta el infinito. y así sucesivamente: los únicos números que están en la aritmética del anillo de 7 son el 0. . 3. etc. por ejemplo. el 8 al 1. 5 y 6. 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.. será Z / R = {0. en este caso. 5 = 2. 1 ∩ 2 = ∅ • 0∪1∪2=Z Esto indica que 0. Si se observan los conjuntos anteriores. ···} 2 = {···. aquí 4 + 5 = 2. Podemos comprobar las clases de equivalencia: 0 = {···. −1. 8. −4. 2. 1. 4. De congruencias Como se ha dicho. 0. 5. En esta aritmética la adición no es exactamente igual a la usual. 2 constituyen una partición de Z. ···} 1 = {···. Sorprende que esta aritmética se utiliza a diario para hablar de la hora. 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”). 7. ···} Éstas son las únicas clases de equivalencia posibles en Z definidas con la relación R anterior.. 2 ≠ ∅ • 0 ∩ 1 = ∅.. con lo que se tiene un “anillo”.© 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). −6. se comprueba que: • 0 ≠ ∅. 11.

En este ejemplo se presenta un caso más complicado y seguro que el que usaron los emperadores romanos. 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) . supongamos que queremos enviar mensajes escritos que contengan palabras con letras minúsculas y espacios en blanco. 0. la aritmética modular es usada en codificación y criptografía. Si son las catorce horas y debemos dejar pasar 17 horas nuestra espera terminará a las 14 + 17 = 31 ≡ 6 (mod 24). Para ello. tiene inverso módulo z significa que existe otro número y tal que x · y ≡ 1 (mód z)).© FUOC • P06/75004/00652 • Módulo 1 19 Teoría de conjuntos los relojes. 15. ahora tomamos otro número B. 1. 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. pero no tan sofisticado como los que se utilizan hoy en día para realizar compras o actividades bancarias a través de Internet. Con estos números A y B podemos diseñar lo que en criptografía se conoce como un cifrado afín. B = 12. se enterara del contenido de las órdenes. 15. Por ejemplo. que podía interceptar a los mensajeros. 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. 19. 12. 18. x. Traducimos el mensaje en una lista de números. por ejemplo. Asimismo. Primero buscamos un número sencillo A que tenga inverso módulo 29 (un número. 1). Paso 2. usando para ello la asignación anterior: hola rosa (8. por ejemplo A = 3 porque 3 × 10 = 30 ≡ 1 (mod 29). Supongamos que vamos a enviar a Rosa el siguiente mensaje: hola rosa Seguimos los siguientes pasos para encriptar el mensaje: Paso 1. pero sin que el enemigo.

15). 28. que es 10.© 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. 18. 12. 8. 11. 0. 15. 15. 19. 28. Paso 2. 8. 11. 15. para descifrar este mensaje. ya que. 15. 11. tal como se muestra a continuación: Y se obtiene. 19. así. 15. 12. módulo 29. 28. 28. 1) (7. 28. Traducimos ahora la lista de números en símbolos: (7. las operaciones inversas a cada número: y (y − B) : A Para ello es muy importante que la cifra A = 3 tenga inverso. 19. 15) y éste es el mensaje que enviamos a Rosa: gçsolhçko gçsolhçko A continuación. 1. Realiza. 19. 15). 28. 8. 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. así. 12. 12. Traduce los símbolos a números: gçsolhçko (7. Rosa tiene que recorrer el camino inverso: Paso 1. Paso 3.

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

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

4. en: Operaciones conjuntistas. es necesario seguir uno o más pasos que sirven para ir construyendo. la diferencia y el producto cartesiano. 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. Son la selección.© FUOC • P06/75004/00652 • Módulo 1 23 Teoría de conjuntos 4. la proyección y la combinació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. Esta propiedad se llama cierre relacional. inspirada en la teoría de conjuntos. dado que los pasos que forman la consulta describen un procedimiento. según si se parecen o no a las de la teoría de conjuntos. la intersección. Se denota mediante el símbolo ∪. En este sentido. Los lenguajes basados en el álgebra relacional se llaman procedimentales. 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. mediante operaciones del álgebra relacional. Álgebra relacional El álgebra relacional. En informática.1. . Son las operaciones que se parecen a las de la teoría de conjuntos. Operaciones específicamente relacionales. para especificar tal consulta. una nueva relación que contenga los datos que responden a la consulta a partir de las relaciones almacenadas. proporciona una colección de operadores que actúan sobre relaciones para obtener otras relaciones. Las operaciones del álgebra relacional se pueden clasificar. Y. Y éstas son: la unión. 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).

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

EDIFICIOS_EMP Nom_edificio Marina Diagonal Sup_med_desp 15 10 2) La relación DESPACHOS.© 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. Combinación La combinación de dos relaciones es una operación que. que contienen los datos de cada uno de los despachos que hay en los edificios anteriores. EMPLEADOS_ADM DNI 40444255 33567711 Nombre Juan Marta Apellido García Roca Edificiodesp Marina Marina Númerodesp 120 120 . que contiene los datos de los empleados de la empresa que realizan tareas administrativas. 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. a partir de una relación T. 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. obtiene una nueva relación formada por todos los elementos de la relación de partida que resulten de eliminar unos atributos especificados. DESPACHOS Edificio Marina Marina Diagonal Diagonal Número 120 230 120 440 Superficie 10 20 10 10 3) La relación EMPLEADOS_ADM. a partir de dos relaciones.

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. La intersección de las relaciones EMPLEADOS_ADM y EMPLEADOS_PROD da una nueva relación que incluye los empleados de administración que. son de producción y se indica así: EMPLEADOS_ADM ∩ EMPLEADOS_PROD DNI 33567711 Nombre Marta Apellido Roca Edificiodesp Marina Númerodesp 120 • Diferencia. 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 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 . el resultado de la unión no la tendrá repetida. 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 es una nueva relación y no puede tener repeticiones de elementos. a la vez. • Intersección.

Apellido] Nombre Juan Marta Apellido García Roca • Combinación. haremos la siguiente proyección: EMPLEADOS_ADM [Nombre. 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. 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. 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. Si queremos obtener una relación con el nombre y el apellido de todos los empleados de administració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 .© FUOC • P06/75004/00652 • Módulo 1 27 Teoría de conjuntos • Producto cartesiano. La combinación siguiente nos proporcionará los datos de estos despachos junto a los datos de su edificio: EDIFICIOS_EMP × DESPACHOS (Nom_edificio = Edificio. DESPACHOS (Edificio = Marina y Superficie > 12) Edificio Marina Número 230 Superficie 20 • Proyección.

• 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. b4}.2. (a2.2 Tabulación Figura 2. b1). a2. Ejemplo 18 Si A = {a1. a3}. b2). 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. B = {b1. (a1.© FUOC • P06/75004/00652 • Módulo 1 28 Teoría de conjuntos 4.3 Red . simplemente. (a2. b2. la relación de valor R = {(a1. (a3.1 Matriz Figura 2. b4). • También se puede. b3. tabular los pares de la relación. b4)} se puede representar por: Figura 2. b1).

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

ƒ(x) = y}.. x2. xn)... . los beneficios que la empresa obtiene cuando el jefe cobra x. En general podemos decir que una función de n variables reales es una regla ƒ que asocia a cada punto (x1. Podemos modificar la variable independiente x. el salario del jefe.. a todo elemento del conjunto A le corresponde. 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 ƒ.. pero la variable dependiente y depende del valor que hayamos dado a x. xn) Ejemplo 20. Representaremos esta funn Observación Rn = R × . Podemos escribir la función de otras maneras.. y la otra se llama variable dependiente. que depende del valor que hayamos dado a la independiente.. a menudo. nos interesará cambiarlos. Esto es una función: la relación que hay entre el salario del jefe y las ganancias de la empresa. Los papeles de ambas variables pueden ser.. a lo sumo. 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. Cuando tratamos con funciones que relacionan dos magnitudes.. . por ejemplo: ƒ( x) = 100 x − 5x2 1+ x La función ƒ relaciona 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.© FUOC • P06/75004/00652 • Módulo 1 30 Teoría de conjuntos Diremos que una correspondencia ƒ es una función si. intercambiables y.. xn) → y = ƒ(x1. un elemento de B. y sólo si. a veces.. x2. 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.... × R n ción como: ƒ:D → R (x1.. con ƒ(x). una de éstas se llama variable independiente a la que podemos dar valores. x2. xn) de un cierto subconjunto D de R un único número real y = ƒ(x1...

No función no aplicación Dicho de otro modo. 6]. elemento de B. 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. Aplicación Figura 4. 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. le corresponde como mucho un elemento de B. En el ejemplo de los beneficios b(s). en definir la función en un punto.© 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. y sólo un. desdefinirla y aplicar la función en un punto. Podemos suponer que tiene que estar comprendido entre 0 y 6 millones de euros. Una función ƒ en la que a todo elemento del conjunto A le corresponde uno. información.1. 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. una función es una relación establecida entre dos dominios de datos A y B tal que. el vertical) corta a lo sumo una vez el gráfico. Intuitivamente.2. por lo cual el dominio de la función b es el intervalo cerrado [0. 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”. y a los de B. ya que muchas veces se representan las funciones en forma de tablas con dos columnas que corresponden a cada uno . El conjunto A se llama dominio de la función y B se llama abasto. En informática. Las operaciones de una función consisten. se llama aplicación. en informática. Función no aplicación Figura 4. pues. Asimismo. a cada elemento de A. una circunferencia no es una función y una parábola lo es si abre hacia arriba (o abajo). A los elementos de A se les llama claves.3. Por ejemplo. el salario del jefe no puede tomar cualquier valor.

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

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

© 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. la función inversa es x = ƒ −1(y). 2 y de este modo se tiene que la función inversa es ƒ −1( x) = . en este caso y = 2x + 3. Para encontrar la función inversa de una función dada. Recordemos que si y = ƒ(x) es una función inyectiva. hay que despejar x: −2 x = 3 − y ⇒ x = −y + 3 y −3 ⇒x= −2 2 x−3 .

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. 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.

es decir. proporciona una colección de operadores (unión. exhaustivas e inyectivas). A continuación hemos definido las diferentes relaciones existentes entre dos conjuntos. diferencia y producto cartesiano. A) y hemos presentado los diferentes tipos de funciones: exhaustivas (a todo elemento del conjunto B le corresponde. un origen o antiimagen en A). proyección. inspirada en la teoría de conjuntos. 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. intersección. . a la vez. función identidad (la que no modifica los elementos del conjunto de partida). vacío y universal y cardinal de un conjunto) así como de sus operaciones: unión. selección. igualdad de conjuntos. 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. Para ello hemos presentado el álgebra relacional que. biyectivas (son. como mucho. a elementos de A. conjunto complementario. producto cartesiano.© 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. función inversa. 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. total y parcial. Por último. un origen). ordenando previamente los registros con respecto a un campo. Una vez ya hemos tenido definidos los conjuntos y sus relaciones hemos pasado a operar con estas últimas. les hace corresponder elementos de B. inyectivas (los elementos del conjunto B tienen. proceso que establece una relación entre los conjuntos A y B). como mínimo. combinación) que actúan sobre relaciones para obtener otras relaciones. intersección. Hemos hecho especial hincapié en dos de ellas: las de equivalencia (relación que cumple las propiedades reflexiva. diferencia.

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

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

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

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

4. d.© 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. a) Por ser la unión de dos conjuntos tendremos que: A ∪ B = {1. 7. 8. a. 6. es el conjunto formado por {0} definidas por R. 5. 3. e. por definición. b. f. calculamos (A ∪ B) ∪ C añadiendo los elementos de C que aún no estaban en A ∪ B: (A ∪ B) ∪ C = {1. =b+ b c a b 1 1 = c + por lo que obtenemos a R c. con lo que llegamos a la conclusión de b a que b R a. a a 1 1 = b + . tama b • simétrica: Si a R b. • transitiva: Si a R b. por definición. esto es: las clases de equivalencia de R R {0} / R = {x / x ∈ R ⎧⎧ 1 ⎫ {0}} = ⎨⎨ x. Busquemos cuáles son dichos números x: Como. 2. 2) La clase de equivalencia a es el conjunto de números reales no nulos tales que están relacionados: a R x. por tanto. ⎬ / x ∈ R ⎩⎩ x ⎭ {0}⎬ ⎫ ⎭ Ejercicios de autoevaluación 1. 9. c. a. Veámoslo: • reflexiva: a R a. 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. 9. a. g} = U . 7. g} B ∪ C = {1. ⎨ ⎬ ⎩ a⎭ 1 1 1 1 ⇒ x−a+ − =0 ⇒ =a+ x a x a 3) El conjunto cociente R {0} / R. x2 = . entonces se cumple que a + 1 1 bién se cumple que b + = a + . a 1 Por tanto. d. 5. 3. 4. 4. R es una relación de equivalencia en el conjunto R meros reales no nulos. c. 2. obtenemos que a + Por tanto. b. f. 8. tenemos b + = c + . 6. d. a c {0} de los nú- Si lo juntamos. ya que se cumple que a + 1 1 =a+ . entonces a + 1 1 1 1 y si b R c. e. g} Aprovechando que ya conocemos A ∪ B. 7. a = ⎧a. ⎫.

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

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

Por ejemplo. 3). 5)} (1. 1). 4). antisimétrica y transitiva. Para ver que se trata de una relación de orden parcial. (0. 1). (4.3) estará formada por todos los pares tales que la diferencia entre sus componentes es −2. (0.© FUOC • P06/75004/00652 • Módulo 1 44 Teoría de conjuntos En cuanto a las clases de equivalencia. (2. (3.3) = {(1. 0). 3).1) = {(3.3). −2). (3. (−2. (5. 2)} (5. −1) ∈ R. (1. (2. 1)} 5. (3. 2). 1). (4. 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. (−1. 1).2) = {(1.1) = {(2. 2).4) = {(1. 4). −2)} . (−2. diremos que una clase (a. (5. 2). tenemos que ver que se cumplen las propiedades reflexiva.1) = {(4. 1). a) Se comprueba si se verifica la relación para todos los pares posibles de números. 5)} (1. (4. −1). −1). (−1. 4).b) estará constituida por todos los pares (x. 0). 5)} (2. Así pues. 2). 1). (5.1) = {(5. la clase (1.1) = {(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. 4)} (3. 3)} (4. tendremos las siguientes clases: (1. −2 R −1 ya que −2 < |−1| = 1 ⇒ (−2. 1). y) ∈ A × A tales que a − b = x − y. (−2. −2). (3. (−1. (0. • Reflexiva: x R x ? ∃ n ∈ N tal que x = n · x ? Sí. (−1. 3). Por ejemplo. De esta manera la relación queda así: R = {(−2. (2. (4. (5. −2). 4). 5)} (1. −1).5) = {(1. (2. 5)} (1.

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

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

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

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

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

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

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->