1

LGICO MATEMTICAS

Relacin Entre Conjunto

Oswaldo Villalobos Jos David Rivas Adolfo Somerson Ronny Naranjo

Jos Luis Cera Docente

Corporacin Bolivariana Del Norte Tcnico En Sistema I

03/Septiembre/2012

CONTENIDO Pg. Introduccin .3 Objetivos. 4 Relacin entre conjuntos5 Funcin entre conjuntos....21 _Inyectiva....21 _Biyectiva22 _sobreyectiva.23 _ Y otros..23 Dominio y condominio.23 Anexos....25 Conclusiones............26 Bibliografa.27 Web grafa........28

Introduccin

El trmino conjunto y elemento de un conjunto son trminos primitivos y no denidos. De un punto de vista intuitivo parece ser que cualquier coleccin de objetos puede ser considerado un conjunto. Sin embargo esto no es as, ya que de lo contrario se llega a paradojas,

Sabemos que un conjunto sta determinado por sus elementos; esto es, fa; bg = fb; ag y que el orden en el cual los elementos aparecen no hace diferencia. En ocasiones, deseamos distinguir cuando los mismos elementos estn puestos en orden diferente. Para hacer esto introducimos el concepto de parordenado.

Objetivos General.

El principal objetivo de este trabajo es despertar en el estudiante un espritu investigativo con base en libros y paginas web para reconocer la relacin que existe entre los conjuntos.

Objetivos Especficos

Identificar la funcin que tiene los dominios y los condominios. Reconocer cuales son las funciones que existen entre los conjuntos. Comprender las diferentes que se establece entre inyectiva,

sobreyectiva, biyectiva y otras.

RELACIONES ENTRE CONJUNTOS

Parejas ordenadas El orden de los elementos en un conjunto de dos elementos no interesa, por ejemplo: {3, 5} = {5, 3} Por otra parte, una pareja ordenada consiste en dos elementos, de los cuales uno designa el primer elemento, y el otro, el segundo. Tal pareja ordenada se escribe (a, b), en donde a es el primer elemento y b es el segundo. Dos parejas ordenadas (a, b) y (c, d) son iguales si y solamente si a = c y b = d. Producto cartesiano Considere dos conjuntos arbitrarios A y B. El conjunto de todas las parejas ordenadas (a, b) en donde a A y b B se llama producto o producto cartesiano de A y B. La definicin de producto cartesiano puede extenderse fcilmente al caso de ms de dos conjuntos. Se llama producto cartesiano de dos conjuntos A y B y se representa A x B, al conjunto de pares ordenados (a, b), tales que el primer elemento pertenece al primer conjunto y el segundo elemento al segundo conjunto. Es decir: A x B = {(a, b) / a A, b B} El producto cartesiano, en general, no es conmutativo. Es decir: A x B B x A. Puede ocurrir que los conjuntos A y B sean coincidentes.

EJEMPLO Si A = {a, b, c} y B = {1, 2, 3, 4}, el producto cartesiano es:

A x B = {(a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b, 3), (b, 4), (c, 1), (c, 2), (c, 3), (c, 4)}

Se puede representar grficamente por medio de puntos en un plano, como se muestra a continuacin. Aqu, cada punto P representa una pareja ordenada (a, b) de nmeros reales y viceversa; la lnea vertical a travs de P encuentra al eje x en a, y la lnea horizontal a travs de Pencuentra el eje y en b. A esta representacin se le conoce como diagrama cartesiano.

Hay otra manera de visualizar una relacin y es a travs de una representacin grfica, donde se destaquen los puntos en el plano que pertenecen a A y los puntos que pertenecen a B. Se trazan flechas que indican la relacin que existe entre cada elemento del conjunto A y su correspondiente en el conjunto B. A esta representacin grfica se le conoce como un diagrama de flechas.

Correspondencias y aplicaciones entre conjuntos A partir de la definicin de producto cartesiano, introduciremos las relaciones ms importantes que se pueden establecer entre los elementos de dos conjuntos dados. Correspondencias Dados dos conjuntos A y B, se denomina correspondencia entre A y B a un subconjunto del producto cartesiano de A por B.

Al conjunto de los pares de una correspondencia se le denomina grafo, y se representa por G.

Se definen tambin los siguientes conjuntos: El conjunto A es el conjunto inicial o conjunto de partida, que es del que salen las flechas. El conjunto B es el conjunto final o conjunto de llegada, que es al que llegan las flechas. El conjunto original es el conjunto formado por los elementos del conjunto inicial de los que parte alguna flecha. Por tanto, el conjunto original est incluido en el conjunto inicial. El conjunto imagen es el conjunto formado por los elementos del conjunto final a los que llega alguna flecha. Por tanto, el conjunto imagen est incluido en el conjunto final. EJEMPLO Si A = {a, b, c}, B = {1, 2, 3, 4}, y un grafo G = [(a, 2), (b, 2), (b, 3), (c, 4)}. Vemos que G es un subconjunto de A x B, es decir, G (A x B). La correspondencia est representada grficamente en: a) un diagrama cartesiano.

b) Un diagrama de flechas.

El conjunto inicial es el conjunto A. El conjunto final es el conjunto B. El conjunto original es: Orig () = {a, b, c}. El conjunto imagen es: Im () = {2, 3, 4}.

EJEMPLO

Tipos de correspondencia 1. Correspondencia en o inyectiva: Una correspondencia es inyectiva cuando cada elemento del conjunto imagen es imagen de un solo elemento del conjunto original; es decir, a cada elemento del conjunto final puede llegarle una o ninguna flecha. inyectiva y1, y2 B, donde y1 = (x1), y2 = (x2), si y1 = y2 x1 = x2, x1, x2 A

Ejemplo:

2. Correspondencia sobre o suprayectiva o exhaustiva: Una correspondencia es sobre cuando el conjunto imagen coincide con el conjunto final; es decir, cuando todo elemento del conjunto final es imagen de al menos uno del inicial.

3. Correspondencia unvoca: Una correspondencia es unvoca cuando cada elemento del conjunto original tiene como mximo una imagen; es decir, de cada elemento del conjunto inicial puede partir una o ninguna flecha al conjunto final

4. Correspondencia multvoca: Una correspondencia es multvoca cuando existe algn elemento del conjunto inicial con dos o ms imgenes.

10

5. Correspondencia biunvoca: Una correspondencia unvoca entre dos conjunto A y B es biunvoca cuando su correspondencia inversa -1 tambin es unvoca.

Aplicaciones Una aplicacin es una correspondencia unvoca donde el conjunto original coincide con el conjunto inicial. Es decir, de cada elemento del conjunto inicial parte una y solo una imagen al final. Simblicamente podemos expresarlo diciendo que una aplicacin es una correspondencia que cumple las dos condiciones siguientes: 1. x A, y B / (x) = y 2. x1, x2 A, si x1 = x2 (x1) = (x2) Luego el concepto de aplicacin es una condicin ms restrictiva que el concepto de correspondencia. Clases de aplicaciones 1. Aplicacin inyectiva: Es aquella en la que a cada elemento del conjunto imagen le corresponde a uno y slo a un elemento del conjunto original; es

11

decir, cada elemento del conjunto final es imagen de al menos un elemento del conjunto original.

2. Aplicacin suprayectiva o exhaustiva: Es la aplicacin que verifica que el conjunto final es igual a su conjunto imagen.

3. Aplicacin biyectiva: Es la aplicacin que a la vez es inyectiva y suprayectiva. Obsrvese que en este caso, si los dos conjuntos son finitos, deben tener el mismo cardinal.

12

Relaciones Una relacin puede pensarse como una tabla que enumera la relacin de algunos elementos con otros.

Estudiante Guillermo Mary Guillermo Beatriz Beatriz David

Curso Ciencias de la computacin Matemticas Historia del arte Administracin Ciencias de la computacin Matemticas

La tabla anterior muestra cules estudiantes estn asistiendo a cules cursos. Por ejemplo, Guillermo est cursando Ciencias de la computacin e Historia del arte, y Mary est cursando Matemticas. En la terminologa de las relaciones, podramos decir que Guillermo est relacionado con Ciencias de la computacin e Historia del arte, y que Mary est relacionada con Matemticas. Por supuesto, la tabla nos muestra tan slo un conjunto de pares ordenados. De manera abstracta, definimos una relacin como un conjunto de pares ordenados. En este contexto, consideramos que el primer elemento del par ordenado se relaciona con el segundo elemento del par ordenado.

13

Si una relacin se indica mediante una tabla, el dominio est formado por los miembros de la primera columna y el rango consta de los miembros de la segunda columna. Una relacin R de un conjunto X en un conjunto Y es un subconjunto del producto cartesiano X x Y. Si (x, y) R, escribimos x R y y decimos que x est relacionado con y. Si X = Y, decimos que R es una relacin binaria sobre X.

Relacin binaria La relacin binaria definida en un conjunto A es un subconjunto del producto cartesiano A x A. EJEMPLO Sea el conjunto A = {x, y, z}. El grafo de la siguiente figura representa una relacin binaria definida en A, puesto que los pares (x, z), (y, x) (y, y) constituyen un subconjunto de A x A.

Se dice que dos elementos a y b estn relacionados, y se escribe a R b, a est relacionado con bmediante la relacin binaria R, cuando el par ordenado (a, b) pertenece al subconjunto del producto cartesiano que define la relacin. Si dos elementos a y b no estn relacionados mediante R en algn sentido, escribiremos a R b o b R a o ambas cosas. Propiedades de una relacin binaria Las principales propiedades que puede presentar una relacin binaria R definida en un conjunto Ase indican en la siguiente tabla, junto con sus respectivas condiciones.

14

En un diagrama de flechas las propiedades anteriores pueden observarse fcilmente atendiendo a los siguientes criterios:

1. Reflexiva. Cada elemento tiene un bucle. Ejemplo: Si A = {1, 2, 3, 4} y R es la relacin ser igual que, se tiene: R = {(1, 1), (2, 2), (3, 3), (4, 4)}

2. Anterreflexiva. Ningn elemento tiene un bucle. Ejemplo: Si A = {1, 2, 3, 4} y R es la relacin ser menor que, se tiene: R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}

15

3. Simtrica. Cada flecha de ida tiene otra de vuelta. Ejemplo: Si A = {-1, 2, -3, 4} y R es tal que a, b A, a R b a b > 0, se tiene: R = {(-1, -1), (-1, -3), (2, 2), (2, 4), (-3, -1), (-3, -3), (4, 2), (4, 4)}

4. Antisimtrica en sentido amplio. Ninguna flecha de ida tiene otra de vuelta, salvo en el caso de los bucles, que estn permitidos. Ejemplo: Si A = {1, 2, 3, 4} y R es la relacin ser menor o igual que, se tiene: R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4), (1, 1), (2, 2), (3, 3), (4, 4)}

16

5. Antisimtrica en sentido estricto. Ninguna flecha de ida tiene otra de vuelta, y no estn permitidos los bucles. Ejemplo: Si A = {5, 7, 10} y R es la relacin ser menor que, se tiene: R = {(5, 7), (5, 10), (7, 10)}

6. Transitiva. Siempre que haya dos flechas consecutivas, debe haber otra que una el primer elemento con el tercero. Ejemplo: Si A = {1, 2, 3, 4} y R es la relacin ser mayor que, Se tiene: R = {(2, 1), (3, 1), (3, 2), (4, 1), (4, 2), (4, 3)}

17

Relacin de equivalencia Una relacin binaria R es una relacin de equivalencia definida en un conjunto A, si cumple las propiedades reflexiva, simtrica y transitiva. As, en el plano eucldeo considerando el conjunto de todas las rectas, la relacin R ser paralela a es una relacin de equivalencia. Comprobmoslo: a) Reflexiva: a || a, puesto que cualquier recta es paralela a s misma. b) Simtrica: si a || b, entonces b || a. c) Transitiva: si a || b y b || c, entonces a || c. Luego por cumplir las tres propiedades anteriores es una relacin de equivalencia. Clases de equivalencia, conjunto cociente Dada una relacin de equivalencia R definida en un conjunto A, si a A se llama clase de equivalencia de a y se denota por [ a ], al subconjunto formado por todos los elementos de A relacionados con a por la relacin de equivalencia R. [ a ] = {x / x A y x R a} Propiedades de las clases de equivalencia a) Ninguna clase equivalencia es vaca. Porque a cualquier clase [ a ] pertenece al menos el elemento a. Simblicamente: [ a ] A, a A a [ a ] b) Las clases de equivalencias son disjuntas de dos a dos. Lo demostraremos por reduccin al absurdo. Supongamos dos clases no disjuntas y diferentes [ a ] y [ b ], con lo que:

Donde en (1) hemos aplicado la propiedad simtrica y en (2) la propiedad transitiva, ya que es una relacin de equivalencia. Y hemos llegado a que ambas clases son iguales, en contra de la hiptesis. Luego han de ser [ a ] y [ b ] disjuntas, con [ a ] [ b ].

18

c) Todo elemento de A pertenece a alguna clase de equivalencia. Esto es porque todo elemento de x de A pertenece al menos a su propia clase. Simblicamente: x A x [a] d) La unin de todas las clases de equivalencia en un conjunto A es el propio conjunto A: clase1 clase2 clasen = A Una relacin de equivalencia clasifica al conjunto en el que est definida, en clases de equivalencia. Se llama conjunto cociente de A respecto a la relacin R, y se representa por A / R, al conjunto formado por todas sus clases de equivalencia.

Ejemplo Sea el conjunto A = {a, b, c, d, e, f} con la relacin de equivalencia R, dada en el grafo de la derecha:

Hallamos la clase de equivalencia de cada elemento: [ a ] = {a} [ d ] = {d, e, f} [ b ] = {b, c} [ e ] = {d, e, f} [ c ] = {b, c} [ f ] = {d, e, f} Y las clases de equivalencia resultan: clase1 = {a}, clase2 = {b, c} y clase3 = {d, e, f}

19

Obsrvese que cualquier elemento de la clase puede ser elegido como representante de la misma, lo que grficamente se puede comprobar en la figura a continuacin.

Luego el cociente es: A / R = {clase1, clase2, clase3} = {{a}, {b, c}, {d, e, f}} = {[ a ], [ b ], [ d ]}

Relaciones de orden Una relacin binaria R es una relacin de orden amplio si cumple las propiedades reflexiva, antisimtrica en sentido amplio y transitiva. Una relacin binaria R es una relacin de orden estricto si cumple las propiedades antirreflexiva, antisimtrica en sentido estricto y transitiva. Una relacin binaria R es una relacin de orden total si dos elementos cualesquiera estn relacionados en cualquier sentido. Es decir: a, b A, a R b o b R a Si una relacin no es de orden total, se dice que es de orden parcial. Ejemplo1: La relacin R ser menor o igual que definida en un conjunto numrico A, es una relacin de orden amplio, y adems de orden total.

20

Si tomamos: A = {1, 3, 4, 8} La relacin est formada por: R = {(1, 1), (1, 3), (1, 4), (1, 8), (3, 3), (3, 4), (3, 8), (4, 4), (4, 8), (8, 8)} Cuya representacin en un diagrama de flechas viene dada en la siguiente figura.

Ejemplo2: La relacin R ser divisor de definida en un conjunto numrico A, es una relacin de orden amplio, y tambin de orden parcial. Si tomamos: A = {1, 3, 4, 8} Como a es divisor de b, si el cociente de b/a es entero, la relacin est formada por: R = {(1, 1), (1, 3), (1, 4), (1, 8), (3, 3), (4, 4), (4, 8), (8, 8)} Cuya representacin en un diagrama de flechas viene dada en la siguiente figura.

21

FUNCIONES

FUNCIN INYECTIVA

En matemticas, una funcin es inyectiva si a cada valor del conjunto (dominio) le corresponde un valor distinto en el conjunto (imagen) de . Es decir, a cada elemento del conjunto A le corresponde un solo valor tal que, en el conjunto A no puede haber dos o ms elementos que tengan la misma imagen. As, por ejemplo, la funcin de nmeros reales , dada por no es inyectiva, puesto que el valor 4 puede obtenerse como f(2) y f( 2). Pero si el dominio se restringe a los nmeros positivos, obteniendo as una nueva funcin entonces s se obtiene una funcin inyectiva.

Ejemplo de funcin inyectiva.

22

CARDINALIDAD E INYECTIVIDAD Dados dos conjuntos y, entre los cuales existe una funcin inyectiva tienen cardinales que cumplen: Si adems existe otra aplicacin inyectiva, entonces puede probarse que existe una aplicacin biyectiva entre A y B

FUNCIN BIYECTIVA

En matemtica, una funcin es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. Formalmente, Para ser ms claro se dice que una funcin es biyectiva cuando todos los elementos del conjunto de partida en este caso (x) tienen una imagen distinta en el conjunto de llegada, que es la regla de la funcin inyectiva. Sumndole que cada elemento del conjunto de salida le corresponde un elemento del conjunto de llegada, en este caso (y) que es la norma que exige la funcin sobreyectiva. Ejemplo de funcin biyectiva.

Teorema Si es una funcin biyectiva, entonces su funcin inversa existe y tambin es biyectiva. Ejemplo La funcin es biyectiva. Luego, su inversa tambin lo es.

23

FUNCIN SOBREYECTIVA En matemtica, una funcin es sobreyectiva (epiyectiva, suprayectiva, suryectiva o exhaustiva), si est aplicada sobre todo el codominio, es decir, cuando la imagen , o en palabras ms sencillas, cuando cada elemento de "Y" es la imagen de como mnimo un elemento de "X". Ejemplo de funcin sobreyectiva.

24

Funciones: Dominio y Codominio En la vida diaria nos encontramos con RELACIONES Por ejemplo, la relacin de un padre con su hijo, la relacin de una amiga con otra amiga, la relacin de un novio con una novia Una de las caractersticas de las relaciones es que un individuo que pertenece a un grupo, se relaciona o se ata o se vincula con otro individuo que pertenece a otro grupo; que en trminos matemticos se dice que un ELEMENTO de un CONJUNTO, se RELACIONA con otro ELEMENTO de otro CONJUNTO. Tambin se dice que a un ELEMENTO de un CONJUNTO, se le ASIGNA otro ELEMENTO de otro CONJUNTO. Pero, las relaciones tienen unas caractersticas que las distinguen unas de las otras, especficamente, unas relaciones especiales se llaman FUNCIONES. En este caso, a cada elemento de un conjunto, que se le llama CONJUNTO DE ENTRADA o DOMINIO o CONJUNTO PRIMARIO, le corresponde un solo elemento de otro conjunto que se le llama CONJUNTO DE SALIDA o CODOMINIO o CONJUNTO SECUNDARIO. Tenemos que aclarar que cuando decimos un solo elemento, no implicamos que siempre sea un nico elemento, porque para que una relacin sea una FUNCIN, basta con que a cada elemento del DOMINIO se le asigne un solo elemento del CODOMINIO, aunque a varios elementos del DOMINIO se le asignen el mismo elemento en el CODOMINIO. En algunos crculos, como el investigativo, a los elementos del DOMINIO se les llama VARIABLES INDEPENDIENTES y a los elementos del CODOMINIO se les llama VARIABLES DEPENDIENTES.

25

Anexos

Dominio Y Codominio.

Los Dems Estn Por Toda La Hoja

26

Conclusin

En este trabajo pudimos aprender y reconocer la importancia y las diferentes funciones que poseen las relaciones que existen entren los conjuntos.

Se indag en libros e internet acerca de este tema. Comprendiendo cada uno de sus especificaciones.

Todos los integraran aportaron sus ideas e investigaciones con lo cual se logro el propsito propuesto.

27

Bibliografa.

Matematicas Para 11

Nuevo Pensasiento Matematico 11

Hipertexto 11

28

Web grafa

http://netlizama.usach.cl/avcapituloII.pdf

http://www.slideshare.net/JorgeM93/normas-icontec-para-trabajos-

escritos

http://www.zonavirtual.org/funciones/conceptos-basicos/21-dominio-y-

codominio-de-una-funcion.html

http://tallersigma.wordpress.com/algebra-y-

funciones/funciones/funciones-dominio-y-codominio/