Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación. Lecturas en Ciencias de la Computación ISSN

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación. Lecturas en Ciencias de la Computación ISSN"

Transcripción

1 Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación Lecturas en Ciencias de la Computación ISSN Relaciones Prof. Luis Manuel Hernández R. ND Centro de Cálculo Científico y Tecnológico de la UCV CCCT-UCV Caracas, Febrero, 2006.

2 Relaciones Luis Manuel Hernández Ramos 12 8 de febrero de Centro de Calculo Científico y Tecnológico, Facultad de Ciencias, Universidad Central de Venezuela, Caracas. 2 luish@kuaimare.ciens.ucv.ve

3 Resumen Este es el inicio de una guía de Relaciones adaptada al programa de la Licenciatura en Computación de la Universidad Central de Venezuela. Se quiere que los estudiantes cuenten con algún material en Castellano con algunas demostraciones hechas, ejemplos y ejercicios.

4 Índice general 1. Definición de Relación Dominio y Rango de una Relación Inversa de una Relación Composición de Relaciones Propiedades de algunas relaciones Relaciones Reflexivas Relaciones Simétricas Relaciones Antisimétricas Relaciones Transitivas Relaciones de Equivalencia y Relaciones de Orden Otros tipos de relaciones y algunas propiedades Relaciones de Equivalencia Definición de Relación de Equivalencia Clases de Equivalencia y Conjunto Cociente Relaciones de Orden Definición de Relación de Orden Ordenes Totales y Parciales Elementos Distinguidos Máximos y Mínimos Maximales y Minimales Cotas Ínfimos y Supremos Reticulados

5 5. Funciones Funciones Inyectivas, Sobreyectivas y Biyectivas Funciones Inyectivas Funciones Sobreyectivas Funciones Biyectivas Composición de Funciones

6 Capítulo 1 Definición de Relación Recordemos la definición de producto cartesiano. Sean A y B subconjuntos de un Universo U, entonces: A B = {(a, b) U U/a A b B}. El producto cartesiano A B, contiene todos los pares ordenados posibles en donde la primera componente pertenece al conjunto A y la segunda componente pertenece al conjunto B. Recuérdese que el producto cartesiano no es conmutativo, es decir A B no es necesariamente igual a B A. Cada subconjunto de A B se conoce como una Relación Binaria en A B. Como el producto cartesiano de dos conjuntos es también un conjunto, el conjunto de todas las relaciones binarias posibles definidas en A B es el conjunto de partes (A B). Definición (Relación Binaria) Sean A y B subconjuntos de un Universo U y sea A B el producto cartesiano. Entonces, una Relación Binaria R definida en A B, es un subconjunto R A B. Quiere decir que una relación es un conjunto de pares ordenados. Muchas veces, para simplificar la notación, la pertenencia de un par ordenado a una relación R se denota: (x, y) R xry. Si A = B entonces se dice que R es una relación binaria definida en A. Ejemplo Sean H = {Luis, Juan, Antonio} y M = {María, Carolina, Cristina}. 3

7 El producto cartesiano, H M = {(Luis, María), (Luis, Carolina), (Luis, Cristina), (Juan, María), (Juan, Carolina), (Juan, Cristina), (Antonio, María), (Antonio, Carolina), (Antonio, Cristina)}. Ahora tomamos un subconjunto de H M. El subconjunto podemos definirlo por extensión: N = {(Luis, María), (Luis, Carolina), (Luis, Cristina)}. o podemos definirlo también por comprensión: N = {(x, y) H M/x es novio de y}. El conjunto N define una Relación Binaria en H M. Ejemplo Sea el producto cartesiano R R. Definimos las siguientes relaciones en R R: C 1 = {(x, y) R R/x 2 + y 2 1}, y C 2 = {(x, y) R R/x 2 + y 2 = 1}. Podemos graficar estas relaciones en el plano cartesiano. En este caso la relación C 1 corresponde a un círculo con centro en el punto (0, 0) y radio igual a 1. La relación C 2 corresponde a la circunferencia con centro en el punto (0, 0) y radio igual a Dominio y Rango de una Relación Definición (Dominio y Rango) Sea R una relación binaria en A B. Definimos el Dominio de R como sigue: Dom(R) = {x A/ y B : (x, y) R}. Y definimos el Rango de una Relación como sigue: Rgo(R) = {y B/ x A : (x, y) R}. 4

8 Ejemplo En la relación del ejemplo 1 de la sección anterior, Se tiene, N = {(Luis, María), (Luis, Carolina), (Luis, Cristina)} H M. Dom(N) = {Luis}, Rgo(N) = {María, Carolina, Cristina}. Ejemplo En la relación C 1 R R, C 1 = {(x, y) R R/x 2 + y 2 1}, El dominio y el rango de C 1 vienen dados por, Dom(C 1 ) = [ 1, 1]; Rgo(C 1 ) = [ 1, 1]. Ejemplo Sea la relación f R R, definida por, f = {(x, y) R 2 /y = x 2 }. El dominio y el rango de f vienen dados por, Dom(f) = R; Rgo(f) = R Inversa de una Relación Definición (Relación Inversa) Sea R A B una relación binaria. Se define la relación inversa de R como: R 1 = {(y, x) B A/(x, y) R}. 5

9 Nótese que la relación inversa R 1 está contenida en B A, es decir R 1 B A. Ejemplo En la relación N = {(x, y) H M/x es novio de y}. la relación inversa N 1 M H viene dada por N 1 = {(y, x) M H/x es novio de y}. nótese que el predicado x es novio de y continua siendo el mismo, lo único que se cambia es el orden en los pares ordenados. Si escribimos la relación por extensión: N = {(Luis, María), (Luis, Carolina), (Luis, Cristina)} H M, entonces la relación inversa se escribe de la siguiente manera: N 1 = {(María, Luis), (Carolina, Luis), (Cristina, Luis)} M H. Lema Sea R A B una relación, entonces (R 1 ) 1 = R. Demostración Sea (x, y) (R 1 ) 1 cualquier par en A B, se tiene de la definición de la inversa de una relación: Por lo tanto, (x, y) (R 1 ) 1 (y, x) R 1 (x, y) R. (x, y) A B : (x, y) (R 1 ) 1 (x, y) R, por lo que se concluye, (R 1 ) 1 = R 6

10 1.3. Composición de Relaciones Definición (Composición de Relaciones) Sean A, B, C subconjuntos de un universo U. Sean R A B y S B C relaciones binarias. La relación compuesta R S se define como: R S = {(x, z) A C/ y B : (x, y) R (y, z) S}. Nótese que R S A C. Ejemplo Sean R = {(Luis, María), (Luis, Carolina), (Luis, Cristina)}, y S = {(María, Juan), (Cristina, Antonio), (Cristina, Pedro), (Carolina, Andrea), (Juan, Pedro), (Juan, Cristina)}. La relación compuesta R S viene dada por: R S = {(Luis, Juan), (Luis, Antonio), (Luis, Pedro), (Luis, Andrea)}. Ejercicio Sean las relaciones f R R y g R R definidas por: f = {(x, y) R 2 /y = x 2 }, y g = {(x, y) R 2 /y = x + 3}. Determine f g y g f. Lema Sean R A B y S B C relaciones, entonces (R S) 1 = S 1 R 1. 7

11 Demostración Sea (z, x) cualquier par ordenado en C A. Por definición de la inversa de una relación, se tiene, (z, x) (R S) 1 (x, z) R S, y por definición de composición de relaciones, (x, z) R S y B : (x, y) R (y, z) S. Aplicando ahora la definición de las inversas de R y S, y B : (x, y) R (y, z) S y B : (y, x) R 1 (z, y) S 1, y por la definición de composición de relaciones y la conmutatividad de la conjunción ( ), En conclusión, y B : (y, x) R 1 (z, y) S 1 (z, x) S 1 R 1. (z, x) C A : (z, x) (R S) 1 (z, x) S 1 R 1. que es equivalente a decir, (R S) 1 = S 1 R 1. Ejercicio Demuestre que la composición de relaciones es asociativa. i.e. R (S T ) = (R S) T. 8

12 Capítulo 2 Propiedades de algunas relaciones En esta sección definiremos propiedades que permiten clasificar las relaciones. Vamos a suponer aquí relaciones binarias R A A 2.1. Relaciones Reflexivas Definición (Reflexividad) Una relación binaria R A A se dice reflexiva, si se cumple: x A : xrx es decir, x A : (x, x) R. También esta propiedad se puede enunciar en función de la relación identidad, definida como: I A = {(x, x)/x A}. De esta manera una relación R será reflexiva si y solo si I A R. Ejemplo Sea A = {1, 2, 3, 4}. R 1 = {(1, 1), (2, 2), (3, 3), (4, 4), (2, 3)} A A es Reflexiva. R 2 = {(1, 1), (2, 2), (3, 3), (2, 3)} A A no es Reflexiva. R 3 = {(2, 5)} A A no es Reflexiva. Ejemplo R 4 = {(x, y) R 2 /x = y} es Reflexiva. R 5 = {(x, y) R 2 /x y} es Reflexiva. 9

13 2.2. Relaciones Simétricas Definición (Simetría) Una relación binaria R A A es simétrica, si se cumple: x A, y A : xry yrx. es decir, x A, y A : (x, y) R (y, x) R. Ejemplo Sea A = {1, 2, 3}. S 1 = {(1, 2), (2, 3), (3, 2), (2, 1)} A A es simétrica. S 2 = {(1, 2), (2, 3), (2, 1)} A A no es simétrica. S 3 = {(1, 1)} A A es simétrica. Ejemplo C 1 = {(x, y) R 2 /x 2 + y 2 = 1} es simétrica. C 2 = {(x, y) R 2 /(x 1) 2 + (y 1) 2 = 1} es simétrica. C 3 = {(x, y) R 2 /(x 1) 2 + (y 2) 2 = 1} es simétrica. I Z = {(x, y Z 2 )/x = y} es simétrica. C 3 = {(x, y) R 2 / x 1 y 1} es simétrica. C 4 = {(x, y) R 2 / x 2 1 y 1 1} no es simétrica. Ejercicio Demostrar que una relación R definida en A, es simétrica si y solo si R = R 1 Ejercicio Demostrar que si R es una Relación definida en A, entonces R R 1 es simétrica Relaciones Antisimétricas Definición (Antisimetría) Una relación binaria R A A se dice antisimétrica, si cumple: x, y A : xry yrx x = y es decir, x, y A : (x, y) R (y, x) R x = y 10

14 Ejemplo Sea A = {1, 2, 3}. A 1 = {(1, 1), (1, 2), (2, 2), (2, 3)} A A es antisimétrica. A 2 = {(1, 2), (2, 3), (2, 1)} A A no es antisimétrica. A 3 = {(1, 1)} A A es antisimétrica. A 4 = {(1, 1), (2, 3), (3, 2)} A A es no antisimétrica. Ejemplo R = {(x, y) R 2 /x y} es antisimétrica. I R = {(x, y) R 2 /x = y} es antisimétrica. C 3 = {(x, y) R 2 / x 1 y 1} no es antisimétrica. C 4 = {(x, y) R 2 / x 2 1 y 1 1} es antisimétrica. C 5 = {(x, y) R 2 / x 2 1 y 1 1} no es antisimétrica. P = {(A, B) (U)/A B} es antisimétrica. Ejercicio Demostrar que una relación R en A es antisimétrica, si y solo si R R 1 I A Relaciones Transitivas Definición (Transitividad) Una relación R definida en A es transitiva, si cumple: es decir, x, y, z A : xry yrz xrz x, y, z A : (x, y) R (y, z) R (x, z) R Ejemplo Sea A = {x/x es humano}. La relación R = {(x, y) A 2 /x es mas alto que y} es una relación transitiva. Ejercicio Demuestre que una relación R definida en A es transitiva si y solo si R R R Ejercicio Demuestre que si R es una relación transitiva, entonces R 1 es transitiva. 11

15 2.5. Relaciones de Equivalencia y Relaciones de Orden Definición (Relación de Equivalencia) Una Relación R definida en A es de Equivalencia si R es Reflexiva, Simétrica y Transitiva. Definición (Relación de Orden) Una Relación definida en A, se dice Relación de Orden si es Reflexiva, Antisimétrica y Transitiva. En este caso se dice que el conjunto A es un conjunto ordenado por la relación, y que el par (A, ) es un Orden Otros tipos de relaciones y algunas propiedades Definición Una relación R definida en un conjunto A es Circular si cumple: x, y, z A : xry yrz zrx es decir, x, y, z A : (x, y) R (y, z) R (z, x) R Lema Demostrar que, una relación R definida en A es reflexiva y circular, si y solo si, R es de equivalencia. Demostración Vamos a demostrar primero que una relación R A A, reflexiva y circular, es de equivalencia. Para ello debemos mostrar que R es simétrica y transitiva, puesto que la reflexividad la tenemos por hipótesis. Simetría: Sea (x, y) R cualquiera, sabemos por la reflexividad de la relación que (y, y) R, y aplicando la propiedad circular, se tiene, (x, y) R (y, y) R (y, x) R. Por lo tanto la relación R es simétrica. Transitividad: Sean (x, y) R y (y, z) R. Por la propiedad circular se 12

16 desprende (z, x) R, y utilizando la simetría, que ya fue probada, se tiene (x, z) R. Por lo tanto R es transitiva. Ahora probemos que si la relación R es de equivalencia, entonces R es reflexiva y Circular. De nuevo, la propiedad reflexiva se tiene por hipótesis, y resta probar la circularidad. Sean (x, y) R y (y, z) R, por la propiedad transitiva se tiene (x, z) R, y utilizando la simetría se obtiene (z, x) R, por lo que la relación R es circular. Ejercicio Sea R A A una relación reflexiva y transitiva, entonces R = R R. 13

17 Capítulo 3 Relaciones de Equivalencia 3.1. Definición de Relación de Equivalencia Definición (Relación de Equivalencia) Una Relación R definida en A es de Equivalencia si R es Reflexiva, Simétrica y Transitiva. Ejemplo Congruencia módulo n. Sea n N dado. La relación n definida en Z de la siguiente manera: x n y k Z : x y = kn, es una relación de equivalencia. En efecto, la relación n cumple las propiedades: Reflexiva: Sea x Z cualquiera. x x = 0 = 0.n k Z : x x = kn x n x. Simétrica: Sean x, y Z cualesquiera. x n y k Z : x y = kn (3.1) y x = ( k)n, donde ( k) Z porque k Z (3.2) k Z : y x = kn (3.3) y n x. (3.4) 14

18 Transitiva: Sean x, y, z Z cualesquiera. x n y y n z k Z : x y = kn k Z : y z = kn. (3.5) x y = k n y z = k n, (3.6) luego, sustituyendo x y = k n en y z = k n, tenemos x z = k n, con k = k k Z. Por lo tanto, k Z : x z = kn x n z Clases de Equivalencia y Conjunto Cociente Definición (Clases de Equivalencia) Sea R una relación de equivalencia definida en un conjunto A. Sea x A un elemento cualquiera. Se define la clase de equivalencia de x en la relación R al conjunto: [x] = {y A/xRy}. Evidentemente, para todo x A se cumple que [x] A. Ejemplo En la relación de congruencia módulo n en Z del ejemplo anterior, pongamos n = 3. Entonces las clases de equivalencia vienen dadas por: [0] = {x Z/x 3 0} = {0, 3, 3, 6, 6,...} (3.7) [1] = {x Z/x 3 1} = {1, 2, 4, 5, 7,...} (3.8) [2] = {x Z/x 3 2} = {2, 1, 5, 4, 8,...} (3.9) (3.10) Definición (Conjunto Cociente) Sea R una relación de equivalencia definida en un conjunto A. Se denomina conjunto cociente A/R, al conjunto de las clases de equivalencia, es decir: A/R = {[x] /x A}. 15

19 Ejemplo En la relación de congruencia módulo 3 en Z, del ejemplo anterior, el conjunto cociente está formado por todas las clases de equivalencia. Es decir, (Z/ 3 ) = {[0], [1], [2]}. Téorema Sea R una relación de equivalencia en un conjunto A. El conjunto cociente A/R es una partición de A Téorema Toda partición {A i } i I de un conjunto A, induce a una relación de equivalencia. 16

20 Capítulo 4 Relaciones de Orden 4.1. Definición de Relación de Orden Definición (Relación de Orden) Una Relación definida en A, se dice Relación de Orden si es Reflexiva, Antisimétrica y Transitiva. En este caso se dice que el conjunto A es un conjunto ordenado por la relación, y que el par (A, ) es un Orden. Ejemplo Tomemos la relación definida en el conjunto de los números enteros positivos Z +, de la siguiente manera: x y k Z + : y = k.x, esta es la relación de divisibilidad ( y es divisible por x ). (Z +, ) es un orden. Para demostrarlo se prueban las propiedades: 1. Reflexiva: Vamos a demostrar que x Z + : x x, es decir, que todo elemento es divisible por si mismo. De hecho, para x Z + cualquiera se tiene x = 1.x, lo que implica, k Z + : x = k.x, donde k = 1 Z + ; por lo que x x. 2. Antisimétrica: Supongamos que para x, y Z + se cumple que x y y x. De esta hipótesis y por la definición de la relación se tiene: k Z + : y = k.x k Z + : x = k.y. 17

21 Sustituyendo se obtiene, y = k.k.y, por lo que k.k = 1. Sin embargo k, k Z +, entonces necesariamente k = k = 1. por ende y = k.x = 1.x = x. 3. Transitiva: Supongamos que para x, y, z Z + : x y y z. Entonces, k Z + : y = k.x k Z + : z = k.y, sustituyendo se obtiene, z = k.(k.x) = (k.k).x Ahora, como k, k Z +, entonces el producto k.k Z +. En conclusión k Z + : z = k.x donde k = k.k, y eso implica, x z 4.2. Ordenes Totales y Parciales Definición (Elementos Comparables) Sea (A, ) un Orden. Se dice que los elementos x, y A son comparables si se cumple: x y y x Ejemplo En el ejemplo anterior (relación de divisibilidad en los enteros positivos), existen pares x, y comparables, así como existen pares no comparables. Aquí los elementos 7 y 3 no son comparables, en cambio 12 y 3 si son comparables. Definición (Orden Total) Sea (A, ) un Orden. Se dice que (A, ) es un Orden Total si se cumple: x, y A : (x y) (y x), es decir, una relación definida en un conjunto A, es un orden total si todo par de elementos es comparable. En el caso en que en un orden (A, ), existan pares de elementos no comparables, se dice que (A, ) es un Orden Parcial. Ejemplo He aquí algunos ejemplos de ordenes parciales y totales: (R, ) es un orden total. ( (U), ) es un orden parcial. 18

22 4.3. Elementos Distinguidos Máximos y Mínimos Definición (Máximos y Mínimos) Sea (A, ) un Orden. Un Máximo (Mayor), es un elemento M A que cumple: x A : x M. Un Mínimo (Menor), es un elemento m A que cumple: x A : m x. Corolario En un orden (A, ). Si existe un elemento máximo M A y un elemento mínimo m A, entonces m M. Ejemplo En el orden ( (U), ): U es el elemento máximo. es el elemento mínimo. Ejemplo En el orden (R, ), no hay elemento máximo ni elemento mínimo. En cambio, en el orden (R +, ), hay un elemento mínimo que es 0 R +, pero no hay elemento máximo. Lema Sea (A, ) un Orden. Si existe un elemento máximo M A este es único. Si existe un elemento mínimo m A este es único. Demostración Vamos a demostrar que el elemento máximo es único. La demostración de que el elemento mínimo es único es similar y la dejamos como ejercicio. La demostración es por reducción al absurdo. Supongamos que existen dos máximos diferentes M 1 M 2. Por la definición de máximo se tiene: x A : x M 1 e igualmente x A : x M 1. Particularizando con M 2 A en la primera y con M 1 A en la segunda, M 2 M 1 M 1 M 2, luego por la antisimetría de las relaciones de orden M 1 = M 2, lo que contradice con el supuesto de que los máximos son diferentes M 1 M 2. 19

23 Maximales y Minimales Definición (Maximales y Minimales) Sea (A, ) un Orden. Un elemento Maximal, es un elemento a A tal que: x A : a x x = a. Un elemento Minimal, es un elemento b A tal que x A : x a x = a. Corolario Sea (A, ) un Orden. Entonces, todo elemento máximo es maximal y todo elemento mínimo es minimal. Ejemplo Sea el conjunto A = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}}. En el orden (A, ), los elementos maximales son: {a, b}, {a, c}, {b, c} son los elementos maximales. es el único elemento minimal Cotas Definición (Cotas Superiores e Inferiores) Sea (A, ) un Orden, y sea dado un subconjunto B A. Un elemento c A es una cota inferior de B si: x B : c x. Un elemento c A es una cota superior de B si: x B : x c. Ejemplo Tomemos el orden parcial ( ({1, 2, 3}), ). Sea B = {1, 3}. Entonces: CI = {, {1}, {3}, {1, 3}}, es el conjunto de las cotas inferiores de B en ( ({1, 2, 3}), ). CS = {{1, 3}, {1, 2, 3}}, es el conjunto de las cotas superiores de B en ( ({1, 2, 3}), ). 20

24 Ínfimos y Supremos Definición (Ínfimo y Supremo) Sea (A, ) un Orden, y sea B A. Sean CS = {x A/x es cota superior de B}, el conjunto de las cotas superiores de B, y CI = {x A/x es cota inferior de B}, el conjunto de las cotas inferiores de B. Un elemento a CS es el supremo de B si cumple: x CS : a x, es decir, el supremo es la menor de las cotas superiores. Un elemento a CI es el ínfimo de B si cumple: x CS : x a, es decir, el ínfimo es la mayor de las cotas inferiores. Ejemplo En el ejemplo de la sección anterior. En el orden ( ({1, 2, 3}), ) y tomando el conjunto B = {1, 3}. En este orden, el ínfimo del conjunto B viene dado por ínf(b) =, y el supremo de B viene dado por sup(b) = {1, 2, 3}. Ejercicio Demostrar que si (A, ) es un orden, y si se toma un subconjunto B A. Entonces B tiene a lo sumo un ínfimo y a lo sumo un supremo en el orden. Es decir que en un orden, todo subconjunto puede tener un solo ínfimo, o ningún ínfimo, y que igualmente todo subconjunto puede tener un solo supremo, o ningún supremo. En el caso de que siempre exista un ínfimo y un supremo, se dice que la estructura es un reticulado Reticulados Definición (Reticulado) Sea (A, ) un Orden tal que para todo x, y A, los elementos ínf({x, y}) y sup({x, y}) existen. Entonces se dice que (A, ) es un Reticulado. 21

25 Capítulo 5 Funciones Definición (Función) Sean A, B subconjuntos no vacíos de un universo U. Una función (aplicación) f de A en B (f : A B), es una relación f A B en la que cada elemento de A está relacionado a lo sumo con un elemento de B. Es decir, cumple con la propiedad x A, y 1, y 2 B : (x, y 1 ) f (x, y 2 ) f y 1 = y 2. Como a un elemento x A puede corresponderle a lo sumo un elemento y B tal que (x, y) f, entonces para simplificar la notación se utiliza f(x) = y para denotar (x, y) f. Ejemplo Las siguientes relaciones, f = {(x, y) R 2 /y = x + 2}, g = {(x, y) R 2 /y = x 2 }, son funciones. La relación, N = {(Luis, María), (Luis, Carolina), (Luis, Cristina)} H M. No es una función. En efecto, se cumple (Luis, María) N (Luis, Cristina) N y sin embargo Luis Carolina. En cambio, su relación inversa: N 1 = {(María, Luis), (Carolina, Luis), (Cristina, Luis)} M H 22

26 si es una función. En este caso tenemos: N 1 (María) = Luis, N 1 (Cristina) = Luis, N 1 (Carolina) = Luis Funciones Inyectivas, Sobreyectivas y Biyectivas Funciones Inyectivas Dado que la inversa de una relación está siempre definida, las funciones tienen siempre una relación inversa. Sin embargo, esta relación inversa no es siempre también una función. En el caso del ejemplo anterior, la función N 1 tiene una relación inversa (N 1 ) 1 = N. Pero vimos que allí la relación N no es una función. En el caso de que una función f : A B, tenga una relación inversa f 1 B A que también es una función (f 1 : B A), se dice que la función f es inyectiva. Definición (Función Inyectiva) Una función f : A B es inyectiva, si su relación inversa f 1 es una función. Quiere decir que para que una función f : A B sea inyectiva, debe cumplirse: x 1, x 2 A, y B : (x 1, y) f (x 2, y) f x 1 = x 2 o cambiando de notación: x, y A : f(x) = f(y) x = y. Ejemplo La función f : R R, f(x) = x + 2 (f = {(x, y) R 2 /y = x + 2}) es una función inyectiva. Ejemplo La función f : R R, f(x) = x 2 (f = {(x, y) R 2 /y = x 2 }) no es una función inyectiva. De hecho, 1 1 f(1) = f( 1). 23

27 Funciones Sobreyectivas Una función es sobreyectiva cuando el rango cubre todo el conjunto de llegada (codominio). Por lo tanto se define así: Definición (Función Sobreyectiva) Una función f : A B es sobreyectiva si Rgo(f) = B. Ejemplo La función f : R R, f(x) = x + 2, es una función sobreyectiva. Rgo(f) = R = R. Ejemplo La función f : R R, f(x) = x 2, no es una función sobreyectiva. De hecho, Rgo(f) = R + R. Sin embargo, la función f : R R +, f(x) = x 2, si es una función sobreyectiva. Observe que ahora el codominio (R + ) coincide con el rango (R + ) Funciones Biyectivas A las funciones que son al mismo tiempo inyectivas y sobreyectivas se les denomina funciones biyectivas. Definición (Función Biyectiva) Una función f : A B es biyectiva si f es inyectiva y f es sobreyectiva. Ejemplo He aquí unos casos de funciones biyectivas: Sea la función f = {(a, 1), (b, 2), (c, 3)}. f es una función biyectiva. La función p : N P, p(n) = 2n, donde N es el conjunto de números naturales, y P es el conjunto de los números pares, es una función biyectiva. Ejercicio Encuentre funciones biyectivas f entre los siguientes conjuntos. 1. f : N Z. 2. f : N Q, donde Q es el conjunto de los números racionales. 24

28 Cuando existe una función biyectiva f : A B se dice que hay una correspondencia biunívoca entre A y B, y los conjuntos A y B tienen la misma cardinalidad. La correspondencia biunívoca significa que a cada elemento de A corresponde un único elemento de B, y a cada elemento de B corresponde un único elemento de A. Si la función f es biyectiva, entonces la relación inversa f 1 también será una función biyectiva, y en ese caso se dice que la función f es invertible. Definición (Función Invertible) Una función f : A B se dice invertible si es biyectiva. La función inversa de f en este caso viene dada por la relación inversa f 1 : B A. Ejercicio Demostrar que si f : A B es invertible, entonces f 1 también es invertible y (f 1 ) 1 = f Composición de Funciones La composición de funciones se hereda de la definición de composición de relaciones. Sin embargo, podemos re-definirla aprovechando las características especiales de las funciones. De esta manera si f : A B y g : B C, entonces f g : A C y x A : f g(x) = g(f(x)). Definamos las funciones identidad de la siguiente manera I A : A A, x A : I A (x) = x, y I B : B B, x B : I B (x) = x. Tenemos entonces el siguiente teorema: Téorema Una función f : A B es invertible, si y solo si existe una función f 1 : B A tal que: f f 1 = I A y f 1 f = I B Demostración Primero mostremos que si la función f es invertible, implica que existe una función f 1 : B A tal que: f f 1 = I A y f 1 f = I B. Efectivamente sea f 1 la función inversa de f se cumple: Sea (x, y) un par cualquiera en A A, (x, y) f f 1 z B : (x, z) f (z, y) f 1 z B : (x, z) f (y, z) f z B : f(x) = z f(y) = z, 25

29 pero por hipótesis f es inyectiva. Por lo tanto x = y y luego (x, y) I A. Igualmente, sea x A, como f 1 es sobreyectiva tenemos: z B : (z, x) f 1 z B : (z, x) f 1 (x, z) f (x, x) f f 1. Por lo que necesariamente I A f f 1. La demostración de que f 1 f = I B, es similar a la anterior y la dejamos como ejercicio. Mostremos que si existe una función f 1 : B A tal que: f f 1 = I A y f 1 f = I B, entonces f es una función invertible. Para ello hay que demostrar que f es sobreyectiva y biyectiva. Comenzaremos probando que f es sobreyectiva. para ello hay que probar que y B, x A : f(x) = y. En efecto, tomando x = f 1 (y) tenemos f(x) = f(f 1 (y)) = f 1 f(y) = I B (y) = y. Ahora probemos que f es inyectiva. f(x) = f(y) f 1 (f(x)) = f 1 (f(y)) f f 1 (x) = f f 1 (y) I A (x) = I A (y) x = y. 26

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

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

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

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)

Más detalles

PRODUCTO CARTESIANO RELACIONES BINARIAS

PRODUCTO CARTESIANO RELACIONES BINARIAS PRODUCTO CARTESIANO RELACIONES BINARIAS Producto Cartesiano El producto cartesiano de dos conjuntos A y B, denotado A B, es el conjunto de todos los posibles pares ordenados cuyo primer componente es un

Más detalles

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

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:

Más detalles

ÁLGEBRA Ejercicios no resueltos de la Práctica 1

ÁLGEBRA Ejercicios no resueltos de la Práctica 1 ÁLGEBRA Ejercicios no resueltos de la Práctica 1 Correspondencias y aplicaciones (Curso 2007 2008) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones

Más detalles

LA FUNCIÓN INVERSA. Si R es una relación, la relación R definida por la proposiciones. (a, b) R (b, a) R. (a, b) R (c, b) R a = c

LA FUNCIÓN INVERSA. Si R es una relación, la relación R definida por la proposiciones. (a, b) R (b, a) R. (a, b) R (c, b) R a = c LA FUNCIÓN INVERSA Existen diferentes definiciones de función inversa, aunque el concepto matemático es el mismo. Expondremos aquí tres de ellas, para efectos formales, ya que para hallar la inversa de

Más detalles

ÁLGEBRA Algunas soluciones a la Práctica 1

ÁLGEBRA Algunas soluciones a la Práctica 1 ÁLGEBRA Algunas soluciones a la Práctica 1 Correspondencias y aplicaciones (Curso 2004 2005) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones

Más detalles

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

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean

Más detalles

TEMA II TEORÍA INTUITIVA DE CONJUNTOS

TEMA II TEORÍA INTUITIVA DE CONJUNTOS TEMA II TEORÍA INTUITIVA DE CONJUNTOS Policarpo Abascal Fuentes TEMA II Teoría intuitiva de conjuntos p. 1/4 TEMA II 2. TEORÍA INTUITIVA DE CONJUNTOS 2.1 CONJUNTOS 2.1.1 Operaciones con conjuntos 2.2 RELACIONES

Más detalles

Semana05[1/14] Relaciones. 28 de marzo de Relaciones

Semana05[1/14] Relaciones. 28 de marzo de Relaciones Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación

Más detalles

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la

Más detalles

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

Definiciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. RELACIONES DE ORDEN Definiciones Una relación R en un conjunto A es una relación de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. Un conjunto parcialmente ordenado ( A, R ) es

Más detalles

MATEMÁTICAS BÁSICAS. Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano

MATEMÁTICAS BÁSICAS. Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano MATEMÁTICAS BÁSICAS Autoras: Margarita Ospina Pulido Jeanneth Galeano Peñaloza Edición: Rafael Ballestas Rojano Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2015 Universidad

Más detalles

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

Más detalles

CAPÍTULO 1. FUNDAMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS

CAPÍTULO 1. FUNDAMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS CAPÍTULO 1. FUNDAMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS 1. Lógica 1.1 Definición. Una proposición es una oración declarativa de la cual se puede decir sin ambigüedad si es verdadera o falsa. 1.2 Definición.

Más detalles

Funciones y Cardinalidad

Funciones y Cardinalidad Funciones y Cardinalidad Definición 1 Llamaremos función f entre dos conjuntos A y B a una relación que verifica las siguientes propiedades: i) Dom(f) = A ii) Si (a, b), (a, c) f entonces b = c Dicho de

Más detalles

CURSOS DE MATEMÁTICAS

CURSOS DE MATEMÁTICAS CURSOS DE MATEMÁTICAS Relaciones de equivalencia FERNANDO REVILLA http://www.fernandorevilla.es Jefe del Departamento de Matemáticas del IES Santa Teresa de Madrid y profesor de Métodos Matemáticos de

Más detalles

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 8 Relaciones de Equivalencia

Más detalles

Función inversa. ExMa-MA0125 W. Poveda 1

Función inversa. ExMa-MA0125 W. Poveda 1 Función inversa. ExMa-MA01 W. Poveda 1 Objetivos. Interpretar y aplicar los conceptos de función inyectiva, función sobreyectiva función biyectiva, función invertible Función Inyectiva De nición. Sea una

Más detalles

Semana03[1/17] Funciones. 16 de marzo de Funciones

Semana03[1/17] Funciones. 16 de marzo de Funciones Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,

Más detalles

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

Curso de conjuntos y números. Versión corregida de los Apuntes. Juan Jacobo Simón Pinero Curso de conjuntos y números. Versión corregida de los Apuntes Juan Jacobo Simón Pinero Curso 2012/2013 Índice general I Conjuntos 3 1. Conjuntos y elementos 4 1.1. Sobre el concepto de conjunto y elemento..............

Más detalles

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

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es

Más detalles

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ). ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas

Más detalles

1 Relaciones de orden

1 Relaciones de orden 1 Relaciones de orden Sea R una relación binaria en un conjunto A. Si R satisface las propiedades reflexiva, antisimétrica y transitiva se dice que R es una relación de orden. En este caso si a y b son

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

Notas de Álgebra Básica I

Notas de Álgebra Básica I Notas de Álgebra Básica I Carlos Ruiz de Velasco y Bellas Departamento de Matemáticas, Estadística y Computación Facultad de Ciencias Universidad de Cantabria 14 de septiembre de 2006 2 Capítulo 1 Conjuntos,

Más detalles

Capítulo 4: Polinomios

Capítulo 4: Polinomios Capítulo 4: Polinomios Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Diciembre de 2015 Olalla (Universidad de Sevilla) Capítulo 4: Polinomios Diciembre de

Más detalles

Introducción a la topología

Introducción a la topología Introducción a la topología Beatriz Abadie CENTRO DE MATEMÁTICAS FACULTAD DE CIENCIAS UNIVERSIDAD DE LA REPÚBLICA Agosto de 2013 i Índice general Capítulo 1. Elementos de la teoría de conjuntos 1 1.1.

Más detalles

Espacios Vectoriales. Tema Introducción. 1.2 Repaso de Estructuras Algebraicas

Espacios Vectoriales. Tema Introducción. 1.2 Repaso de Estructuras Algebraicas Tema 1 Espacios Vectoriales 1.1 Introducción Estas notas se han escrito con el ánimo de facilitar al estudiante una guía para el estudio de la asignatura, y no como un libro de texto o manual de Álgebra

Más detalles

50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES. Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: Se tiene:

50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES. Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: Se tiene: 50 CAP. I. CONJUNTOS, APLICACIONES Y RELACIONES Ejercicio. 8.1. Dados los conjuntos: Determinar los siguientes conjuntos: A = {a, b, c, d, e}, B = {e, f, g, h}, C = {a, e, i, o, u} A B C, A B C, A \ B,

Más detalles

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS

LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS LEYES DE COMPOSICIÓN INTERNA Y ELEMENTOS DISTINGUIDOS Sea una estructura formada por un conjunto A, sobre cuyos elementos se ha definido una operación o ley interna, comúnmente denotada por " * ", que

Más detalles

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc.

Es trivial generalizar la definición al caso de varios conjuntos: A B C, etc. Tema 1 Espacios Vectoriales 1.1 Introducción Estas notas están elaboradas pensando simplemente en facilitar al estudiante una guía para el estudio de la asignatura, y en consecuencia se caracterizan por

Más detalles

Conjuntos finitos y conjuntos numerables

Conjuntos finitos y conjuntos numerables Tema 3 Conjuntos finitos y conjuntos numerables En este tema vamos a usar los números naturales para contar los elementos de un conjunto, o dicho con mayor precisión, para definir los conjuntos finitos

Más detalles

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =

Más detalles

Tema 3: Conjuntos y Funciones

Tema 3: Conjuntos y Funciones Tema 3: Conjuntos y Funciones Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2008 09 LC, 2008 09 Conjuntos y Funciones 3.1 Conjuntos Escribimos

Más detalles

Derivada de la función compuesta. Regla de la cadena

Derivada de la función compuesta. Regla de la cadena Derivada de la función compuesta. Regla de la cadena Cuando en las matemáticas de bachillerato se introduce el concepto de derivada, su significado y su interpretación geométrica, se pasa al cálculo de

Más detalles

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

Pregunta 1 Es correcta esta definición? Por qué? TEORÍA DE CONJUNTOS. En un libro de COU de 1975 puede leerse la siguiente definición de conjunto: Un conjunto es una colección de objetos, cualquiera que sea su naturaleza. Pregunta 1 Es correcta esta

Más detalles

1.2 Si a y b son enteros impares, entonces a + b es par. 1.4 Si el producto de enteros a y b es par, entonces alguno de ellos es par.

1.2 Si a y b son enteros impares, entonces a + b es par. 1.4 Si el producto de enteros a y b es par, entonces alguno de ellos es par. Sesión 1 Demostraciones Demostración directa 1.1 Si n es un número entero impar, entonces n 2 es impar. 1.2 Si a y b son enteros impares, entonces a + b es par. Demostración indirecta 1.3 Si n 2 es par,

Más detalles

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

Cardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable. Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de

Más detalles

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

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con

Más detalles

SECCIÓN 12 RELACIONES DE EQUIVALENCIA EN UN CONJUNTO,

SECCIÓN 12 RELACIONES DE EQUIVALENCIA EN UN CONJUNTO, SECCIÓN 12 RELACIONES DE EQUIVALENCIA EN UN CONJUNTO, Según vinnos atrás, toda relación determina de manera única el conjunto de aquellas parejas ordenadas en las cuales la primera coordenada mantiene

Más detalles

4.2. Funciones inyectivas, sobreyectivas y biyectivas

4.2. Funciones inyectivas, sobreyectivas y biyectivas 4.. Funciones inyectivas, sobreyectivas y biyectivas En esta sección estudiaremos tres conceptos básicos sobre funciones. 4... Funciones inyectivas Definición 4.. Sea f una función de en. Diremos que f

Más detalles

(CR) Prof. Manuel López Mateos Curso de Cálculo I,

(CR) Prof. Manuel López Mateos Curso de Cálculo I, (página 81) CAPÍTULO 3 FUNCIONES REALES Función es dependencia. A velocidad fija, la distancia recorrida depende del tiempo transcurrido. El tiempo que tarda en caer una piedra depende de la altura que

Más detalles

Tema 2: El grupo de las permutaciones

Tema 2: El grupo de las permutaciones Tema 2: El grupo de las permutaciones Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Octubre de 2014 Olalla (Universidad de Sevilla) Tema 2: El grupo de las

Más detalles

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

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo Los Números Enteros Capítulo 1 1.1 Introducción En este capítulo nos dedicaremos al estudio de los números enteros los cuales son el punto de partida de toda la teoría de números. Estudiaremos una serie

Más detalles

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

ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA NOCIONES PRELIMINARES DE MATEMÁTICAS ESCUELA TÉCNICA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA NOCIONES PRELIMINARES DE MATEMÁTICAS A. 1 Conjuntos. A. TEORÍA DE CONJUNTOS. Un conjunto

Más detalles

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Dpto. de Matemáticas (Área de Álgebra) 1. Sean X e Y conjuntos. Demostrar: a) X = X Y Y X. b) X = X Y X Y. RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

Más detalles

Construcción axiomática del conjunto de los números naturales a partir de una condición sobre su cardinalidad

Construcción axiomática del conjunto de los números naturales a partir de una condición sobre su cardinalidad Recibido: 8 de febrero 2016 Aceptado: 27 de febrero 2016 Construcción axiomática del conjunto de los números naturales a partir de una condición sobre su cardinalidad Axiomatic construction of the set

Más detalles

Conjuntos, Relaciones y Funciones

Conjuntos, Relaciones y Funciones Conjuntos, Relaciones y Funciones 0.1 Conjuntos El término conjunto y elemento de un conjunto son términos primitivos y no definidos. De un punto de vista intuitivo parece ser que cualquier colección de

Más detalles

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

Análisis Matemático I: Numeros Reales y Complejos Contents : Numeros Reales y Complejos Universidad de Murcia Curso 2008-2009 Contents 1 Definición axiomática de R Objetivos Definición axiomática de R Objetivos 1 Definir (y entender) R introducido axiomáticamente.

Más detalles

Conjuntos relaciones y grupos

Conjuntos relaciones y grupos Matemáticas NS Conjuntos relaciones y grupos Tema opcional 2 Índice 1. Conjuntos y relaciones 5 1.1. Introducción.......................................... 5 1.2. Operaciones con conjuntos..................................

Más detalles

Con esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano.

Con esta definición de grupo, es directo que el neutro es único, al igual que el inverso de. , donde es conmutativo, se denomina Abeliano. Teoría de Grupos Definiciones Básicas Definición 5 (Grupo) Sea una estructura algebraica con una ley de composición interna. Decimos que es un grupo si: 1. es asociativa. 2. tiene neutro. 3. toda tiene

Más detalles

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo. Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.

Más detalles

Semana 5: La composición como una operación

Semana 5: La composición como una operación Semana 5: La composición como una operación 1. Tipos de funciones De manera intuitiva, nos referimos por inversa de una función a otra función que deshace los cambios hechos por la función original, a

Más detalles

Contenido. Capítulo 1. Lógica de Predicados y Proposiciones 5 1. Proposiciones, predicados y paradojas 5

Contenido. Capítulo 1. Lógica de Predicados y Proposiciones 5 1. Proposiciones, predicados y paradojas 5 Contenido Capítulo 1. Lógica de Predicados y Proposiciones 5 1. Proposiciones, predicados y paradojas 5 Capítulo 2. Conjuntos y Clases 9 1. Axiomas de la Teoría de Conjuntos 9 2. Axiomas de clases NBG

Más detalles

Una operación interna: Suma Una operación externa: Multiplicación por un escalar

Una operación interna: Suma Una operación externa: Multiplicación por un escalar El conjunto R n Es el conjunto de las n-adas formadas por el producto cartesiano RRR.R, donde R es el conjunto de los números reales. Así pues, dos elementos X y Y de R n serán iguales si y solo si tienen

Más detalles

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

1. Números reales. Análisis de Variable Real 1. Números reales Análisis de Variable Real 2014 2015 Índice 1. Sistemas numéricos 2 1.1. Números naturales. Principio de Inducción... 2 1.2. Números enteros... 4 1.3. Números racionales... 6 2. Los números

Más detalles

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:

Capítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición: Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma

Más detalles

Unidad II. 2.1 Concepto de variable, función, dominio, condominio y recorrido de una función.

Unidad II. 2.1 Concepto de variable, función, dominio, condominio y recorrido de una función. Unidad II Funciones 2.1 Concepto de variable, función, dominio, condominio y recorrido de una función. Función En matemática, una función (f) es una relación entre un conjunto dado X (llamado dominio)

Más detalles

Ordenación parcial Conjunto parcialmente ordenado Diagrama de Hasse

Ordenación parcial Conjunto parcialmente ordenado Diagrama de Hasse Ordenación parcial Un orden parcial es una relación binaria R sobre un conjunto X, que cumple las propiedades: Reflexiva: R es reflexiva sii para todo a A ara Antisimétrica: R es antisimétrica sii para

Más detalles

FUNCIONES REALES 1º DE BACHILLERATO CURSO

FUNCIONES REALES 1º DE BACHILLERATO CURSO FUNCIONES REALES 1º DE BACHILLERATO CURSO 2007-2008 Funciones reales Definición Clasificación Igual de funciones Dominio Propiedades Monotonía Extremos relativos Acotación. Extremos absolutos Simetría

Más detalles

Conjuntos y relaciones

Conjuntos y relaciones Conjuntos y relaciones Introducción Propiedades de las relaciones Sobre un conjunto Reflexivas Simétricas y transitivas Cerradura Relaciones de equivalencia Órdenes parciales Diagramas de Hasse Introducción

Más detalles

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos

Más detalles

TEMA 3 Elementos de la teoría de los conjuntos. *

TEMA 3 Elementos de la teoría de los conjuntos. * TEM 3 Elementos de la teoría de los conjuntos. * Conjuntos. Un conjunto es cualquier colección, bien definida, de objetos llamadas elementos o miembros del conjunto. Una manera de describir un conjunto

Más detalles

Anillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R.

Anillos. a + (b + c) = (a + b) + c. 3) Existe un elemento 0 en R, el cual llamaremos cero, tal que. a + 0 = 0 + a = a para todo a en R. Capítulo 7 Anillos 7.1 Definiciones Básicas El concepto de Anillo se obtiene como una generalización de los números enteros, en donde están definidas un par de operaciones, la suma y el producto, relacionadas

Más detalles

Capitulo VI: Funciones.

Capitulo VI: Funciones. Funciones o Aplicaciones: Capitulo VI: Funciones. Ejemplo de función: Sean: A = {, 2, 3 } B = { a, b, c, d, e } F = { (;a) (2;b) (3;e) } es una función de A en B, porque a cada elemento de A, le corresponde

Más detalles

RELACIONES Y FUNCIONES. M.C. Mireya Tovar Vidal

RELACIONES Y FUNCIONES. M.C. Mireya Tovar Vidal RELACIONES Y FUNCIONES M.C. Mireya Tovar Vidal IDEA INTUITIVA DE RELACIÓN Una relación es una correspondencia entre dos elementos de dos conjuntos con ciertas propiedades. En computación las relaciones

Más detalles

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función

Más detalles

Demostraciones a Teoremas de Límites

Demostraciones a Teoremas de Límites Demostraciones a Teoremas de Límites Programa de Bachillerato.Universidad de Chile. Otoño, 009 En esta sección solo daremos los fundamentos teóricos que nos permiten resolver los problemas que se nos plantean,

Más detalles

Cálculo Diferencial: Enero 2016

Cálculo Diferencial: Enero 2016 Cálculo Diferencial: Enero 2016 Selim Gómez Ávila División de Ciencias e Ingenierías Universidad de Guanajuato 9 de febrero de 2016 / Conjuntos y espacios 1 / 21 Conjuntos, espacios y sistemas numéricos

Más detalles

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO El estudio de los conjuntos infinitos se inicia con Las Paradojas del Infinito, la última obra del matemático checo Bernard Bolzano, publicada

Más detalles

Álgebra de Boole. Retículos.

Álgebra de Boole. Retículos. CAPÍTULO 4. Álgebra de Boole. Retículos. Este capítulo introduce dos estructuras algebraicas muy importantes : la estructura de álgebra de Boole y la de retículo. Estas estructuras constituyen una parte

Más detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad. nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas

Más detalles

Números Reales, Funciones e Inecuaciones.

Números Reales, Funciones e Inecuaciones. CAPÍTULO 1 Números Reales, Funciones e Inecuaciones. Estos apuntes corresponden a la preparación de clases de la sección 1. Pretenden complementar el texto guía y no lo reemplazan bajo ninguna circuntancia.

Más detalles

Teoría Tema 2 Concepto de función

Teoría Tema 2 Concepto de función página 1/7 Teoría Tema Concepto de función Índice de contenido Función, dominio e imagen... Función inyectiva...4 Función sobreyectiva...6 Función biyectiva...7 página /7 Función, dominio e imagen Una

Más detalles

Anillo de polinomios con coeficientes en un cuerpo

Anillo de polinomios con coeficientes en un cuerpo Capítulo 2 Anillo de polinomios con coeficientes en un cuerpo En el conjunto Z se ha visto cómo la relación ser congruente módulo m para un entero m > 1, es compatible con las operaciones suma y producto.

Más detalles

Temario MATEMÁTICAS 11. Conceptos básicos de la teoría de conjuntos. Estructuras algebraicas

Temario MATEMÁTICAS 11. Conceptos básicos de la teoría de conjuntos. Estructuras algebraicas Temario MATEMÁTICAS Conceptos básicos de la teoría de conjuntos. Estructuras algebraicas. 24-13803-13 MATEMÁTICAS 3 1. CONCEPTOS BÁSICOS DE LA TEORÍA DE CONJUNTOS 1.1. CONJUNTOS Y ELEMENTOS. REPRESENTACIÓN

Más detalles

EL CUERPO ORDENADO REALES

EL CUERPO ORDENADO REALES CAPÍTULO I. EL CUERPO ORDENADO DE LOS NÚMEROS REALES SECCIONES A. Elementos notables en R. B. Congruencias. Conjuntos numerables. C. Método de inducción completa. D. Desigualdades y valor absoluto. E.

Más detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales Sea (K, +,.) un cuerpo con característica 0. Podemos pensar K = Q, R o C. Si V es un conjunto cualquiera en el que

Más detalles

Grupos libres. Presentaciones.

Grupos libres. Presentaciones. S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad

Más detalles

COMPLEMENTO DEL TEÓRICO

COMPLEMENTO DEL TEÓRICO ÁLGEBRA I PRIMER CUATRIMESTRE - AÑO 2016 COMPLEMENTO DEL TEÓRICO El material de estas notas fue dictado en las clases teóricas pero no se encuentra en el texto que seguimos en las mismas ( Álgebra I -

Más detalles

PROGRAMA INSTRUCCIONAL

PROGRAMA INSTRUCCIONAL UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA

Más detalles

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

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos. Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre

Más detalles

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

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1 TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1. INTRODUCCIÓN Los números naturales aparecen debido a la necesidad que tiene el hombre para contar. Para poder construir este conjunto N, podemos seguir

Más detalles

Espacios Vectoriales, Valores y Vectores Propios

Espacios Vectoriales, Valores y Vectores Propios , Valores y Vectores Propios José Juan Rincón Pasaye, División de Estudios de Postgrado FIE-UMSNH Curso Propedéutico de Matemáticas para la Maestría en Ciencias opciones: Sistemas de Control y Sistemas

Más detalles

NOTAS. N. Patricia Kisbye y Roberto J. Miatello. Fa.M.A.F. Universidad Nacional de Córdoba

NOTAS. N. Patricia Kisbye y Roberto J. Miatello. Fa.M.A.F. Universidad Nacional de Córdoba NOTAS Álgebra I-Matemática Discreta I N. Patricia Kisbye y Roberto J. Miatello Fa.M.A.F Facultad de Matemática, Astronomía y Física Universidad Nacional de Córdoba Índice general Parte 1. Notas de Álgebra

Más detalles

CONCEPTOS PREVIOS. 1.- Analizar cuales de los gráficos corresponden a relaciones funcionales, determinando Dom yrec.

CONCEPTOS PREVIOS. 1.- Analizar cuales de los gráficos corresponden a relaciones funcionales, determinando Dom yrec. CONCEPTOS PREVIOS. Una función f: A B, es un subconjunto de A B, en el cual cada elemento x A tiene a lo mas una imagen y B. Como todo subconjunto de A B es una relación, los términos de dominio de definición

Más detalles

Álgebra II. Tijani Pakhrou

Álgebra II. Tijani Pakhrou Álgebra II Tijani Pakhrou Índice general 1. Teoría de conjuntos 1 1.1. Conjuntos................................. 1 1.2. Productos cartesianos........................... 6 1.3. Relaciones de equivalencia........................

Más detalles

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02 PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES Problemas 0 Salvador Pérez Gómez pies3coma14@hotmail.com 4 de abril de 007 PROBLEMA 1 Sea n un número natural. Sea A n = n + n + 3n. a) Demostrar que

Más detalles

Notas y Ejercicios sobre Preferencias

Notas y Ejercicios sobre Preferencias Notas y Ejercicios sobre Preferencias Sea X el espacio de los bienes de consumo, y sea una relación de preferencia, es decir, X X: Interpretaremos (x; y) 2 como x débilmente preferido a y; y escribiremos

Más detalles

Apuntes de Teoría de Conjuntos

Apuntes de Teoría de Conjuntos Apuntes de Teoría de Conjuntos por Enrique Arrondo ( ) Versión del 20 de Marzo de 2012 Estas notas están basadas en el libro Introduction to Set Theory, de Karel Hrbacek y Thomas Jech, donde el lector

Más detalles

Carlos A. Rivera-Morales. Precálculo I

Carlos A. Rivera-Morales. Precálculo I Carlos A. Rivera-Morales Precálculo I Tabla de Contenido Contenido : Contenido Discutiremos: función inversa : Contenido Discutiremos: función inversa construcción de la función inversa : Contenido Discutiremos:

Más detalles

MATEMATICAS GRADO ONCE. Un par ordenada consta de dos elementos y, donde nos interesa el orden en que

MATEMATICAS GRADO ONCE. Un par ordenada consta de dos elementos y, donde nos interesa el orden en que MATEMATICAS GRADO ONCE SEGUNDO PERIODO TEMAS Funciones y Relaciones Parabola Funciones y Relaciones Producto cartesiano Un par ordenada consta de dos elementos y, donde nos interesa el orden en que aparecen

Más detalles

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS

MATEMÁTICAS BÁSICAS. 2 de marzo de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS 2 de marzo de 2009 Parte I Conjuntos Definición intuitiva de conjunto Definición Un conjunto es una colección de objetos. Ejemplos A = {a, e, i, o, u} B = {blanco, gris, negro} C = {2, 4, 6, 8, 9} D =

Más detalles

Conjuntos, Relaciones y Funciones.

Conjuntos, Relaciones y Funciones. Capítulo 1 Conjuntos, Relaciones y Funciones. 1.1. Conjuntos. 1.1.1. Conjuntos y subconjuntos, pertenencia e inclusión. Definición 1.1.1. (informal de conjunto y elementos.) Un conjunto es una colección

Más detalles

Sobre la Construcción Axiomática de los Números Naturales

Sobre la Construcción Axiomática de los Números Naturales Sobre la Construcción Axiomática de los Números Naturales Dr. Rafael Labarca Briones Profesor de Matemáticas. Universidad de Santiago de Chile. Charla dictadas en las EMALCAS de Arequipa, La Paz y Quito.

Más detalles

Reconocer y utilizar las propiedades sencillas de la topología métrica.

Reconocer y utilizar las propiedades sencillas de la topología métrica. 3 Funciones continuas De entre todas las aplicaciones que pueden definirse entre dos espacios métrico, las aplicaciones continuas ocupan un papel preponderante. Su estudio es fundamental no sólo en topología,

Más detalles

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño

MATEMÁTICAS BÁSICAS. Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño MATEMÁTICAS BÁSICAS Autora: Jeanneth Galeano Peñaloza Edición: Oscar Guillermo Riaño Universidad Nacional de Colombia Departamento de Matemáticas Sede Bogotá Enero de 2014 Universidad Nacional de Colombia

Más detalles

INTRODUCCION AL ALGEBRA.

INTRODUCCION AL ALGEBRA. INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad

Más detalles