Universidad Central de Venezuela Facultad de Ciencias Escuela de Computación. Lecturas en Ciencias de la Computación ISSN
|
|
- José Ignacio Ávila López
- hace 6 años
- Vistas:
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.
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 detallesConjuntos, 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 detallesInducció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 detallesPRODUCTO 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 detallesCapí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 Correspondencias y aplicaciones (Curso 2007 2008) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones
Más detallesLA 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 Correspondencias y aplicaciones (Curso 2004 2005) 1. Dadas las siguientes correspondencias, determinar sus conjuntos origen, imagen, decidir si no son aplicaciones
Más detallesRelaciones. 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 detallesTEMA 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 detallesSemana05[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 detallesSESIÓ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 detallesDefiniciones 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 detallesMATEMÁ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 detallesb) 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 detallesCAPÍ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 detallesFunciones 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 detallesCURSOS 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 detallesApuntes 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 detallesFunció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 detallesSemana03[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 detallesCurso 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 detallesALGEBRA 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 detallesDefinició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 detalles1 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 detallesEstructuras 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 detallesNotas 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 detallesCapí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 detallesIntroducció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 detallesEspacios 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 detalles50 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 detallesLEYES 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 detallesEs 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 detallesConjuntos 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 detallesEs 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 detallesTema 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 detallesDerivada 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 detallesPregunta 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 detalles1.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 detallesCardinalidad. 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 detallesTema 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 detallesSECCIÓ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 detalles4.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,
(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 detallesTema 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 detallesLos 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 detallesESCUELA 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 detallesRELACIÓ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 detallesConstrucció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 detallesConjuntos, 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 detallesAná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 detallesConjuntos 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 detallesCon 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 detallesTema 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 detallesSemana 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 detallesContenido. 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 detallesUna 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 detalles1. 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 detallesCapí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 detallesUnidad 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 detallesOrdenació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 detallesFUNCIONES 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 detallesConjuntos 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 detallesSemana02[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 detallesTEMA 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 detallesAnillos. 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 detallesCapitulo 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 detallesRELACIONES 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 detallesCONTINUIDAD 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 detallesDemostraciones 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 detallesCá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 detallesConjuntos 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.
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 detallesEn 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 detallesNú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 detallesTeorí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 detallesAnillo 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 detallesTemario 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 detallesEL 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 detallesALGEBRA 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 detallesGrupos 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 detallesCOMPLEMENTO 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 detallesPROGRAMA 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 detallesRecordemos 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 detallesTEMA 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 detallesEspacios 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 detallesNOTAS. 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 detallesCONCEPTOS 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 Índice general 1. Teoría de conjuntos 1 1.1. Conjuntos................................. 1 1.2. Productos cartesianos........................... 6 1.3. Relaciones de equivalencia........................
Más detallesPROBLEMAS 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 detallesNotas 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 detallesApuntes 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 detallesCarlos 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 detallesMATEMATICAS 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 detallesMATEMÁ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 detallesConjuntos, 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 detallesSobre 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 detallesReconocer 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 detallesMATEMÁ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 detallesINTRODUCCION 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