Propiedades de las relaciones

Las relaciones se pueden clasificar de acuerdo al tipo de asociacin que hay en sus elementos como: uno-a-uno 11, uno-a-mucho 1-M, muchos-a-uno M-1 o muchos-amuchos M-M. Recordemos que una relacin es un conjunto de pares ordenados. Definicin: Una relacin R de A a B es:Muchos-a-uno, M-1 si existen dos pares con el mismo segundo elemento, esto es existen (x,y), (z,y) distintas en la relacin, con smbolos ( x A)( y B)( z A) ((x,y) R ^ (z,y) R ^ x z) Propiedades de las relaciones.Uno-a-muchos 1-M si existen dos pares con el mismo primer elemento, esto es existen (x,y), (x,z) distintas en la relacin, con smbolos ( x A)( y B)( z B) ((x,y) R ^ (x,z) R ^ y z) Propiedades de las relaciones.Muchos-a-muchos M-M si es muchos-a-uno y uno-amuchos. sea que hay al menos dos pares con el mismo primer elemento y tambin hay dos pares con el mismo segundo elemento.O sea que cumple las dos definiciones anteriores. Propiedades de las relaciones.Uno-a-uno 11 si no es muchos-a-uno ni uno-a-muchos, o sea que no hay dos pares con el mismo primer elemento y no hay dos pares con el mismo segundo elemento.Esto significa que cumple las dos condiciones siguientes ( x A)( y B)( z B)((x,y) R ^ (x,z) isin; R y = z) ( x A)( y B)( z A)((x,y) R ^ (z,y) R x = z) Dinmica grupal.Junto con el compaero de al lado ejemplifiquen en su cuaderno el cmo sera este tipo de relaciones en la vida real. Enfoque sobre todo en datos que un computador pudiera aceptar, como por ejemplo: los datos de un alumno en relacin con un maestro, saln, etc.

Relacin Reflexiva y Irreflexiva

Teorema: Una relacin R en un conjunto es reflexiva si y solo si la diagonal principal de la matriz asociada a la relacin tiene nicamente unos. De la misma forma es Irreflexiva si tiene solamente ceros.

Una relacin A es: Reflexiva: Si todo elemento en A esta relacionado con sigo mismo, con smbolos: Irreflexiva: Si ningn elemento en A esta relacionado con sigo mismo, con smbolos:

Relacin Simtrica, Asimetrica, Antisimetrica Y Transitiva

Teorema: Una relacin R es simtrica si y solo si los elementos opuestos con respecto a la diagonal principal son iguales. Simetrica: Si cuando un elemento esta relacionado con un segundo elemento,el segundo tambien se relaciona con el primero, con simbolos: (x ,y) R (y ,x) R

Asimetrica: Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces

b Ra. De esto se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a. Teorema: Una relacin R en conjunto es Antisimtrica si y solo si los elementos opuestos con respeto a la diagonal principal no pueden ser iguales a 1; esto es, puede aparecer 0 con 1 o pueden aparecer ceros. Antisimtrica: Si cuando un elemento esta relacionado con un segundo elemento diferente, el segundo no se relaciona con el primero, con smbolos: x, y, ((x, y) R (y, x) R x = y) La antisimetra no es lo opuesto de la simetra. Transitiva: Si cuando un elemento esta relacionado con un segundo elemento y el segundo esta relacionado con un tercero, entonces el primero esta relacionado con el tercero:

Ejemplo para todas las relaciones

Cuando tenemos la matriz de una relacin es muy fcil verificar si es reflexiva, Irreflexiva, Simtrica, Asimtrica, Antisimtrica, Transitiva:
Ejemplo.- Sea A = { a, b, c, d, e } R1 = { (a,a), (b,b), (a,c), (b,c), (c,a), (d,d) } R2 = { (a,a), (a,d), (c,b), (d,a), (c,e), (e,e) } R3 = { (a,a), (b,b), (c,c), (d,d), (e,e), (b,c), (b,a) } R4 = { (a,a), (a,b), (b,a), (b,b), (b,c), (b,e), (c,e), (b,d), (d,a), (e,e) } R5 = { (a,c), (a,e), (e,c), (b,c) } R6 = { ( (a,a), (b,b), (c,c), (d,d), (e,e), (a,e), (b,c), (c,b), (e,a) } R7 = { (a,b), (b,d), (c,a), (d,e), (e,c), (b,c), (b,a) }

Si observamos la figura podemos darnos cuenta que R3 y R6 son Reflexivas, y tambin podemos ver que R5 y R7 son Irreflexivas.

De las relaciones anteriores R6 es simtrica, R3 y R5 son antisimetricas; R3, R4 y R5 son Transitivas.

Funcin inyectiva
Una funcin f de dominio D = Dom(f) es inyectiva cuando a elementos distintos de D le corresponden imgenes distintas: Si x1, x2 D : x1 x 2 f(x1) f(x2)

Dos elementos distintos del dominio D no pueden tener la misma imagen.

Ejemplo de funcin inyectiva

a) Veamos si la funcin f(x) = 4x - 1 es inyectiva: Si las imgenes son iguales:

f(x1) = f(x2)

4x1 - 1 = 4x2 - 1

4x1 = 4x2

x1 = x2

, los originales son iguales. Por tanto, la funcin f es inyectiva.

Criterio de la recta horizontal

una funcin es inyectiva si ninguna recta horizontal corta a su grfica en ms de un punto. b) Veamos si g(x) = x2 es inyectiva:

Si trazamos rectas horizontales sobre la grfica,

stas la corta en ms de un punto.

Por ejemplo: si trazamos la recta y = 4 :

sta corta la funcin en los puntos: x = 2 , x = -2

g(2) = 4 , g(-2) = 4

Por tanto, dos elementos distintos, 2 y - 2, tienen la misma imagen.

La funcin g no es inyectiva.

c) Veamos si

h(x) = sen x es inyectiva:

Si trazamos rectas horizontales sobre la grfica,

stas la corta en ms de un punto.

Por ejemplo: si trazamos la recta y = 1 :

sta corta la funcin en los puntos: x = /2 , -3/2

h(/2) = 1 , h(-3/2) = 1

Por tanto, dos elementos distintos, /2 y -3/2,

tienen la misma imagen.

La funcin h no es inyectiva.

Funcin sobreyectiva
Una funcin f: X Y es una funcin sobreyectiva si: Im(f) =Y Esto significa que todo elemento y Y es la imagen de al menos un elemento x A . Es decir, la imagen de f coincide con el conjunto final.

Ejemplo de funcin sobreyectiva

a) Veamos si la funcin f: R R , donde f(x) = x2 + 1, es sobreyectiva: En este caso:

El conjunto inicial de f es R . El conjunto final de f es: R La imagen de f es [1 , ), es decir: Im(f) = *1 , ) La imagen de f y el conjunto final de f no coinciden: Vease la parte rayada del eje OY. No coincide con todo R Luego la funcin f no es sobreyectiva.

b) Veamos si la funcin g: R R , donde g(x) = x3 + 3, es sobreyectiva:

En este caso:

El conjunto inicial de g es R . El conjunto final de g es: R La imagen de g es tambin R , es decir: Im(g) = R La imagen de g y el conjunto final de g coinciden es R: Vease la parte rayada del eje OY. Coincide con todo R

Luego la funcin g s es sobreyectiva.

Funcin biyectiva
Una funcin f es biyectiva si es a la vez inyectiva y sobreyectiva.

Ejemplo de funcin biyectiva

a) Veamos si la funcin f: R R , donde f(x) = 3x - 2, es biyectiva.

Veamos primero si es inyectiva,

Si las imgenes son iguales:

f(x1) = f(x2)

3x1 - 2 = 3x2 - 2

3x1 = 3x2

x1 = x2

, los originales son iguales.

Por tanto, la funcin f es inyectiva.

Veamos ahora si es sobreyectiva:

El conjunto inicial de f es R . El conjunto final de f es: R La imagen de f es tambin R, es decir: Im(f) = R La imagen de f y el conjunto final de f coinciden: R:

Vease la parte rayada del eje OY. Coincide con todo R Luego la funcin f s es sobreyectiva.

Por tanto, la funcin f es biyectiva.

b) Veamos si la funcin g: R R , donde g(x) = x2, es biyectiva.

La funcin f es una funcin par, es decir: f(x) = f(-x).

Por tanto no es inyectiva, pues dos valores distintos, x , -x, tiene imgenes iguales.

Luego f no puede ser biyectiva.

c) Dada la siguiente funcin h , vamos a ver si es biyectiva.

Veamos primero si es inyectiva,

Si las imgenes son iguales:

, los originales son iguales.

Por tanto, la funcin h es inyectiva.

Veamos ahora si es sobreyectiva:

El conjunto inicial es: R El conjunto final es: R

Calculamos el recorrido:

Im(f) = *0 , )

[0 , ) R: Vease la parte rayada del eje OY. No coincide con todo R

Luego la funcin h no es sobreyectiva.

Por tanto, la funcin h no es biyectiva.

http://calculo.cc/temas/temas_bachillerato/primero_ciencias_sociales/funciones/teoria/inyectiva .html

Funciones
Sean A y B conjuntos. Una funcin o transformacin f de A a B, denotada por f : A B es un subconjunto de A B tal que x(x A y (yB (x,y) f )) y ((x,y1) f (x, y2) f ), y1=y2 Sean A y B dos conjuntos no vacios. Una funcion de A en B, y que notaremos f :A B, es una relacion de A a B en la que para cada a A, existe un unico elemento b B tal que (a, b) f. Si (a, b) f, escribiremos f(a) = b y diremos que b es la imagen de a mediante f. Las

funciones se especifican de diferentes maneras, una de las cuales es por medio de frmulas. f(x)=x+1.
Decimos que una relacin es una funcin si para cada elemento del primer conjunto existe una nica imagen. Si cada elemento del segundo conjunto es imagen de alguien, entonces la funcin es Sobreyectiva. Si cada elemento del segundo conjunto es, a lo sumo, imagen de un elemento del primer conjunto, entonces la funcin es Inyectiva. Si una funcin es sobreyectiva e inyectiva, entonces es Biyectiva. En muchas ocasiones a cada elemento de un conjunto se le asigna un elemento particular de un segundo conjunto. Definicin 1. Sean A y B conjuntos. Una funcin f de A a B es una asignacin de exactamente un elemento de B a cada elemento de A. Escribimos f (a)=b si b es el nico elemento de B asignado por la funcin f al elemento a de f:A B A. Si f es una funcin de A en B, y se escribe 1 Matemticas Discretas. Por ejemplo suponer que a un grupo de carros se le asigna una letra del conjunto [A,B,C,D,G]. Suponer que se le asigna al Jaguar la A, al Audi la G, al Ferrari la D, al Porsche la B, y al Mercedes la A. La asignacin se ilustrara as Jaguar Audi Ferrari Porsche Mercedes A B C D G.

Funciones Inyectivas
Sea f una funcin definida de A a B A x y (f(x)= f (y) x = y) f es 1-1 o Inyectiva si sus pre imgenes son nicas, es decir Si x y entonces f(x) f(y) f: A B, x,y

Una funcin f entre los conjuntos A y B se dice que es inyectiva, cuando cada elemento de la imagen de f lo es, a lo sumo, de un elemento de A. Suele decirse tambin que la funcin es uno-a-

uno. Dicho de otra forma: f :A B es inyectiva a1, a2 A [a1 =6 a2 = f(a1) =6 f(a2)] La mejor forma de probar en la practica la inyectividad de una funcin es utilizar la contra reciproca, es decir, f :A B es inyectiva a1, a2 A [f(a1) = f(a2) = a1 = a2]

En la gura anterior f es inyectiva y g no lo es. Ejemplo: Determinar si la funcin f :R R tal que f(x) = x + 2 es inyectiva. Solucin En efecto, sean x1 y x2 dos numeros reales cualesquiera, entonces f(x1) = f(x2) = x1 + 2 = x2 + 2 = x1 = x2 luego f es inyectiva.

Funcione Suprayectiva
Una funcion f entre los conjuntos A y B se dice que es suprayectiva, sobreyectiva o exhaustiva, cuando cada elemento de B es imagen de, al menos, un elemento de A. Es decir, f :A B es suprayectiva b B, a A tal que f(a) = b En otras palabras, f es sobreyectiva si la imagen de f es todo el conjunto B, es decir si Img (f) = B.

En la figura anterior f es suprayectiva y, sin embargo g no lo es.

Funcion Biyectiva
Una funcin f entre los conjuntos A y B se dice que es biyectiva, cuando es, a un tiempo, inyectiva y suprayectiva. Ejemplo: Sea f :A B tal que A = B = R y f(x) = 2x 3, x A. Es biyectiva? Solucin Veamos si es inyectiva y suprayectiva. (a) Inyectiva. Sean x1 y x2 dos numeros reales arbitrarios. Entonces, f(x1) = f(x2) = 2x1 3 = 2x2 3 = 2x1 = 2x2 = x1 = x2 luego f es inyectiva. (b) Suprayectiva. Sea y cualquiera de B. Entonces, y = 2x 3 2x = y + 3 x = y + 3 /2 luego tomando x = y + 3 / 2, se verifica que x A y

f(x) = f (y + 3) /2 = (2) ((y + 3) / 2) 3 = y

Consecuentemente, y B, x A : f(x) = y biyectiva. o sea, f es suprayectiva. Por ser inyectiva y suprayectiva, f es

A continuacion veremos unos ejercicios sobre los Tipos de Funciones

Conclusin

Mi conclusin del tema que se trat en esta unidad seria que esta actividad nos fue de mucha importancia ya que se abordaron temas interesantes como lo son las de relaciones que fue el nombre de la unidad Nuestra intencin en este trabajo fue que no fuera cansado o aburrido leerlo por lo cual metimos imgenes y conceptos cortos pero bien explicados, nos enfocamos en la parte que son las Relaciones en la cual presentamos los conceptos bsicos de lo que son las relaciones, nos topamos con productos cartesianos, de igual manera con las relaciones binarias aqu nos dimos cuenta que se relaciona mucho con las tablas de verdad; de igual manera vamos a presentar algunos ejemplos, de matrices, conjuntos, grafos etc en este tema aprendimos muchas cosas, y nos dimos cuenta que todo va de la mano con todo, ya que este tema algunos subtemas son funciones que tambin las vimos en la materia de clculo diferencial; Por ultimo adquirimos conocimientos bsicos y aprendizaje de nuevas cosas interesantes, de igual forma convivimos como equipo, nos la pasamos bien y prueba de ello eh aqu este trabajo que para mi criterio ser de mucha ayuda para cualquier persona que solicite informacin sobre el tema tratado, fue una experiencia muy divertida.esperamos que les haya gustado nuestro pequeo pero buen explicado trabajo, GRACIAS.

bibliografia http://calculo.cc/temas/temas_bachillerato/primero_ciencias_sociales/funciones/teoria/inyectiva .html http://matematicasparacomputadora.weebly.com/-54-funciones-inyectiva-suprayectivabiyectiva.html http://matematicasparacomputadora.weebly.com/52-propiedades-de-las-relaciones-reflexivairreflexiva-simeacutetrica-asimeacutetrica-antisimeacutetrica-transitiva.html