RELACIONES Y FUNCIONES

Ing. Juan Sacerdoti

Facultad de Ingeniera Departamento de Matemtica Universidad de Buenos Aires 2002 V 2.01

INDICE 4.- RELACIONES Y FUNCIONES 4.1.- PAR ORDENADO (PO) 4.1.1.- DEFINICIN DE PO 4.1.2.- PORQUE LA DEFINICIN DE PO 4.1.3.- IGUALDAD DE PO 4.1.4.- TEOREMAS DE PO 4.1.5.- TERNAS Y NUPLAS 4.1.5.1.- TERNAS 4.1.5.2.- NUPLAS 4.1.5.3.- NUPLA DE 1 ELEMENTO 4.2.- PRODUCTO CARTESIANO PC 4.2.1.- DEFINICIN DE PC 4.2.2.- TEOREMAS DE PC 4.2.3.- PC DE MAS DE DOS CONJUNTOS 4.3.- RELACIN (R) 4.4.- RELACIN UNIVOCA (RU) 4.5.- FUNCIN 4.5.1.- DEFINICIN DE FUNCIN 4.5.2.- REDUCCIN DE UNA RELACIN GENRICA A FUNCIN 4.5.3.- PORQUE FUNCIN 4.5.4.- FUNCIN COMPUESTA 4.5.4.1.- DEFINICIN DE FUNCIN COMPUESTA 4.5.4.2.- TEOREMAS 4.5.5.- CLASIFICACIN DE FUNCIONES POR EL CODOMINIO 4.5.5.1.- INYECTIVA 4.5.5.2.- SURYECTIVA 4.5.5.3.- BIYECTIVA 4.5.6.- FUNCIN INVERSA 4.5.6.1.- DEFINICIN DE FUNCIN INVERSA 4.5.6.2.- TEOREMAS 4.6.- RELACIONES BINARIAS: RELACIONES EN AxA 4.6.1.- RELACIONES REFLEXIVA, SIMTRICA, TRANSITIVA Y DE EQUIVALENCIA 4.6.1.1.- RELACIN REFLEXIVA 4.6.1.2.- RELACIN SIMETRICA 4.6.1.3.- RELACIN TRANSITIVA 4.6.1.4.- COMPATIBILIDAD E INDEPENDENCIA DE LAS RELACIONES REFLEXIVA, SIMTRICA Y TRANSITIVA 4.6.1.5.- RELACIN DE EQUIVALENCIA (RE) 4.6.2.- CLASES DE EQUIVALENCIA (CE) 4.6.2.1.- DEFINICIN DE CE 4.6.2.2.- DEFINICIN DE CONJUNTO COCIENTE 4.6.2.3.- TEOREMAS DE RE 4.6.3.- RELACIONES A-REFLEXIVA, A-SIMTRICA ANTISIMTRICA Y DE ORDEN 4.6.3.1.- RELACIN A-REFLEXIVA 4.6.3.2.- RELACIN A-SIMTRICA 4.6.3.3.- RELACIN A-TRANSITIVA 4.6.34..- RELACIN ANTISIMTRICA

4.6.4.- RELACIONES DE ORDEN 4.6.4.1.- RELACIN DE ORDEN ESTRICTO (ROE) 4.6.4.2.- RELACIN DE ORDEN AMPLIO (ROA) 4.6.4.3.- RELACIN DE ORDEN TOTAL 4.6.4.4.- TEOREMAS DE RELACIONES DE ORDEN

4.- RELACIONES Y FUNCIONES 4.1.- PAR ORDENADO (PO) 4.1.1.- DEFINICIN DE PO Se llama Par Ordenado o dupla cuyo smbolo es (x y) al conjunto cuyos elementos son a su vez otros dos conjuntos : 1.- el conjunto {x y} que es un par simple 2.- el conjunto {x} de un nico elemento Def: (x y) := { {x y} {x} } (x y) : Par Ordenado (PO) x : Primer elemento del PO (Primera componente del PO) y : Segundo elemento del PO (Segunda componente del PO) Obs 1: PO es un par de conjuntos (es un Conjunto de Conjuntos) donde Obs 2: La igualdad de PO es la de Conjuntos Obs 3: Primer y segundo elemento es una forma de llamar a las componentes del PO, porque los nmeros todava no estn definidos. Justamente el concepto de nmero se definen a partir del PO. {x y} (x y)

4.1.2.- PORQU LA DEFINICIN DE PO La importancia del PO se desprende de la simplicidad (facilidad, claridad, comodidad) con que a partir de el se puede estructurar una red de definiciones con los principales elementos de la matemtica clsica. La fecunda utilizacin del PO se puede observar en la lista siguiente, que obvia todo comentario: 1.- Producto Cartesiano 2.- Relacin 3.- Relacin Unvoca 4.- Funcin 5.- Relacin de Equivalencia 6.- Relacin de Orden 7.- Nmero Natural 8.- Nmero Entero 9.- Nmero Fraccionario 10.- Estructura Mtrica 11.- Nmero Real 12.- Numero Complejo 13.- Estructura Algebraicas 14.- Leyes de Composicin 15.- Estructura Lineal (Vectorial) 16.- Coordenadas Cartesianas 17.- Grafos 18.- Etc Para la definicin del PO pilar de la matemtica, hace falta solamente la nocin previa de conjunto.

Un par simple es un conjunto formado por 2 elementos, cuyo smbolo es {x y} : Par y cumple con la igualdad de conjuntos {x y} = {y x} donde se observa que a los elementos x e y del par no se les asigna ninguna caracterstica particular que les otorgue un papel diferente dentro del Par. Es decir son simplemente y nada mas que elementos del Par. Mientras en el PO a sus dos elementos x e y, se les asigna una caracterstica diferencial, la de ser primer o segundo elemento (componente). La definicin de PO se introduce justamente para asignar a cada elemento de un par simple propiedades especficas. Por ejemplo el conjunto de manos de una persona constituyen un Par si no se da una diferencia entre ellas. Sin embargo si se distinguen la mano izquierda de la derecha se est en presencia de un PO al haberle asignado a los elementos del par una caracterstica diferencial. Anlogamente se tiene otro ejemplo en el conjunto Matrimonio que esta formado por un par de personas, y se distingue entre hombre y mujer se tiene un par ordenado. El papel diferente de ambas componentes es la base para establecer el concepto de Relacin en general. La forma de asignar una caracterstica diferente a los elementos x e y es por medio de diferenciar su presencia en los conjuntos que lo definen: 1.- {x, y} 2.- {x} donde se define el Par donde se define la primera componente

4.1.3.- IGUALDAD DE PO La igualdad de PO es simplemente un caso particular de la Igualdad de Conjuntos. T.(x y) = (a b) { {x y} {x} } = { {a b} {a} } La igualdad de conjuntos cumple con el teorema siguiente T1: La igualdad de dos PO es condicin necesaria y suficiente de la igualdad de las componentes homlogas es decir de las primeras componentes entre si y las segundas componentes entre si. Esto justifica, como la definicin de PO distingue ambos elementos.

4.1.4.- TEOREMAS DE PO T1.-

TCR T1.D.- [ ]

x = a (x y) = (a b) y = b (x y) (a b) x a y b
Se pasa a la demostracin del Teorema directo .

Por Hiptesis x=a y=b Entonces {x} = {a} {x y} = {a b} {{x y} {x}} = {{a b} {a}} Por Def. PO queda (x y) = (a b)

[ ] Partiendo de (x y) = (a b)
Recordando Def. PO {{x y} {x}} = {{a b} {a}} Se presentan 2 opciones que se llamarn I y II I.{x y} = {a b} {x} = {a} xa y para satisfacer el sistema I tambin debe resultar yb {x y} = {a} {x} = {a b} xa y b que satisface el sistema II. De ambas opciones I , II se llega a x a y b

II.-

T2.TCR T2.D1.-

(x y) = (y x) x y (x y) (y x) x y

Caso particular de T1

D2.- [ ]

xy {x} = {y} {x y} = {y x} {{x y} {x}} = {{y x} {y}} Por la Def. PO (x y) = (y x)

[ ]
(x y) = (y x) {{x y} {x}} = {{y x} {y}} Hay 2 Opciones I y II I.{x y} = {y x} {x} = {y} xy que satisface el sistema I {x y} = {y} {x} = {y x} xy que satisface el sistema II. El resultado de las opciones I y II es el mismo. Por lo tanto la Tesis es xy

II.-

Obs: El TCR T2 representa la propiedad fundamental de los PO: (x y) (y x)

xy

y muestra la diferencia esencial entre los PO y los pares simples que cumplen en todos los casos

{x y} = {y x} Def PO (x x) = {{x}}
(x x) := {{x x} {x}} = {{x} {x}} = {{x}}

T3.D.-

4.1.5.- TERNAS Y NUPLAS 4.1.5.1.- TERNAS

La definicin de Par Ordenado se puede generalizar para el caso de tres componentes (ternas) o ms componentes, en general para n componentes (nuplas):

Def:

(x y z) := { {x y z} {x y} {x} } (x y z) : Terna x : Primer elemento de la terna y : Segundo elemento de la terna z : Tercer elemento de la terna Obs : Si se hubiera definido la terna por la proposicin

(x y z) := ((x y) z)

( definicin no vlida )

se habra tomado un conjunto de conjuntos de diferentes niveles (x y z) := {{(x y) z},{(x y)}} := {{{{x y}{x}} z },{{{x y}{x}}}} lo cual es errneo.

4.1.5.2.- NUPLAS Def: (x1 x2 xn ) := { { x1 x2 xn } .. { x1 x2 } { x1} } (x1 x2 xn ) : Nupla xi : i-esimo componente de la nupla

4.1.5.3.- NUPLA DE 1 ELEMENTO

A fin de generalizar el concepto de nupla para todo valor de n 1 se define tambin para el caso de n = 1

Def:

(x) := {{x}} Obs : Ntese que del T3 resulta (x x) := {{x}} = (x)

4.2.- PRODUCTO CARTESIANO (PC) 4.2.1.- DEFINICIN DE PC

Dado 2 conjuntos A y B se llama Producto Cartesiano de A por B (en ese orden), cuyo smbolo es AxB, al conjunto de todos los pares ordenados (x y) tales que su primera componente x pertenece a A y la segunda y pertenece a B.

Def:

AxB := { (x y): xA yB } AxB : Producto Cartesiano de A por B A : Primer Conjunto del Producto Cartesiano o Conjunto de Partida B : Segundo Conjunto del Producto Cartesiano o Conjunto de Llegada Ejemplo 1:

A = { Azul Rojo B = { Ferrari Honda AxB = { (Azul Ferrari) (Rojo Ferrari) (Blanco Ferrari) (Verde Ferrari) (Negro Ferrari) (Metalizado Ferrari)

Blanco Williams (Azul (Rojo (Blanco (Verde (Negro (Metalizado

Verde Lotus } Honda) Honda) Honda) Honda) Honda) Honda)

Negro

Metalizado } (Azul (Rojo (Blanco (Verde (Negro (Metalizado Lotus ) Lotus ) Lotus ) Lotus ) Lotus ) Lotus ) }

(Azul Williams) (Rojo Williams) (Blanco Williams) (Verde Williams) (Negro Williams) (Metalizado Williams)

Un Producto Cartesiano puede ser representado grficamente en un baco cartesiano. De all su nombre:

B L W H F x x x x a x x x x r x x x x b x x x x x x x (nh) x x x x v n m

AxB

4.2.2.- TEOREMAS DE PC T1.TCR T1.D.- [ ] [ ]

I.-

AxB = BxA A = B AxB BxA A B

A=B AxB = BxA

AB Se presentan 2 opciones I y II x: xA xB (xy): (x y)AxB (x y)BxA AxB BxA

II.-

x: xA xB (xy): (x y)AxB (x y)BxA AxB BxA

T2.-

AxB =

A= B=

4.2.3.- PC DE MAS DE DOS CONJUNTOS

Dado n conjuntos A1, A2 , , An se llama Producto Cartesiano A1x A2 x x An al conjunto de todas las nuplas ordenadas (x1 x2 xn ) tales que la componente xi pertenece al conjunto

Def:

A1x A2 x x An := { (x1 x2 xn ) : xi Ai } A1x A2 x x An : Producto Cartesiano A1 por A2 por por An Ai : Conjunto i-simo del Producto Cartesiano

Es comn el Producto Cartesiano de un conjunto por si mismo dos o mas veces, en ese caso la notacin se abrevia:

Def:

E2 := ExE En := ExEx .. xE Ejemplos : R2 := RxR Rn := RxRx ... xR { n veces } { n veces }

4.3.- RELACIN

Se llama Relacin en AxB a todo Subconjunto no vaco del Producto Cartesiano AxB

Def:

R Relacin AxB := R AxB , R R(AxB) := S(AxB) := { (x y) : (x y) R } R : Relacin AxB := R AxB , R S(AxB) : Grfica de R(AxB) A: Conjunto de Partida o Primer Conjunto del Producto Cartesiano B: Conjunto de Llegada o Segundo Conjunto del Producto Cartesiano
Se define adems algunos elementos destacados de la Relacin R en AxB

Def:

D(R) := { x: xA (x y)R } I(R) := { y: yB (x y)R } D(R) : Dominio de R(AxB) I(R) : Imagen de R(AxB)}
Una representacin de R(AxB) sobre el Producto Cartesiano es: B Relacin V U T S x x x x a X X X X B x x x x c x x x x d x x (et) x e x x x x f AxB

Otra representacin de una relacin R(AxB) es por Grficas como las que se muestran a continuacin: Los Conjuntos Ay B y sus elementos se representan por Diagramas de Venn y los PO que componen la Relacin por segmentos orientados (flechas).

A={abcdef} B={stuv] Grfica (R) = { (a t) (b t) (c t) (c u) (c v) (d u) (d v) } Dominio (R) = { a b c d } Imagen (R) = { t u v }

4.4.- RELACIN UNIVOCA (RU) Def: R Unvoca := ( xy ) R ( xz ) R

y z

AxB Relacin no unvoca x x x x a x x x x b x x x x c x x x x d x x x x

B Relacin unvoca v u t s x x x x a x x x x b x x x x c x x x x d x x x x

AxB

v u t s

(et) x x x e f

(et) x x x e f

En la representacin de una relacin univoca por segmentos orientados se caracteriza por la condicin que de los elementos del dominio sale una flecha sola o ninguna.

R Unvoca Obs: En una Relacin Unvoca de cada Elemento del Conjunto de Partida A sale una flecha o ninguna . {0,1}. Con respecto al Conjunto de Llegada B no existen restricciones.

4.5.- FUNCIN 4.5.1.- DEFINICIN DE FUNCIN

Una funcin es una relacin que cumple 2 condiciones: 1.- Estar definida para todo elemento del Conjunto de Partida A. Es decir que el Dominio de la Relacin f es el Conjunto de Partida: A = D 2.- Ser Unvoca

Def:

f : A B x y

:=

x A ( xy ) f (xy) f f Unvoca := (xz) f

y z

D(f) := { x: xA (x y) f } = A I(f) := { y: yB (x y) f } f(AxB) := { (x y) : (x y) f } f : funcin A : Conjunto de Partida o Primer Conjunto del Producto Cartesiano Dominio de la funcin B : Conjunto de Llegada o Segundo Conjunto del Producto Cartesiano Codominio de la funcin f(AxB) :Grfica de la funcin I(f) :Imagen de f(AxB) Obs 1: Ntese que el smbolo [ AB ] representa al Producto Cartesiano AxB y el smbolo [ xy] representa al PO (x y). Es decir que las dos flechas tienen significado diferente , y es por ello que la flecha que seala al PO a veces se la indica con una colita [ x + y ] para diferenciarla de la flecha que seala el PC. Esto se obvia si no hay confusin posible. f : A B x y := f : AxB ( xy )

Una primera forma de representar una funcin es con un grfico Cartesiano donde puede observarse las 2 proposiciones que hacen a la definicin de funcin: 1.- El estar definida para todo elemento del Dominio A = D. 2.- Ser Relacin Unvoca.

B funcin v u t s x x x x a x x x x b x x x x c x x x x d x x x x

AxB

(et) x x x e f

La representacin de una funcin por diagramas de Venn es:

A={abcdef} B={stuv] Grfica (f) = { (a t) (b t) (c u) (d v) (e u) (f t) } Dominio (f) = { a b c d e f } = A Imagen (f) = { t u v } Obs 1: En una funcin de cada elemento del Conjunto de partida A sale una flecha y solo una {1}. Con respecto al Conjunto de Llegada B no existen restricciones. Obs 2: En la definicin de funcin existen 4 elementos, el primero de los cuales es su nombre, y los otros 3 elementos son 3 conjuntos el Dominio, el Codominio y la Grfica, de las cuales depende la funcin. Cambiando cualquiera de estos 3 Conjuntos cambia la funcin. Se plantean un ejemplo: Ejemplo: Sea el Conjunto de pares ordenados G := {(x y) : y = x1/2 }

1.- Este Conjunto G carece de sentido si no se aclara que son x e y . Pueden ser elementos de cualquier conjunto genrico ( que significara y = x1/2 ? ), o nmeros reales o complejos etc. Esto muestra que debe definirse el PC AxB sobre el cual se quiere trabajar. Suponiendo que AxB = RxR entonces G sera la Grfica siguiente:

2.- Si se toma A = R no existe funcin pues 2.1.- La relacin no es unvoca 2.2.- La relacin no est definida para todo elemento de R. Es decir D = A R 3.- Si se restringe a A = R+ {0} no existe funcin pues 3.1.- La relacin no es unvoca 4.- Si se restringe a A = R+ {0} y a B = R+ {0} si existe funcin, que se llamar arbitrariamente RazCuad: RazCuad: R+ {0} B = R+ {0} x y = x1/2

5.- Pero tambin se podra haber elegido arbitrariamente a A = [ 0 2 ] y los siguientes subconjuntos de G: x [0 1[ x [1 2] y = + x1/2 y = x1/2

lo cual permite definir otra funcin que se llamar f2 diferente por supuesto de la anterior RazCuad:

f2: [ 0 2] R+ {0} 1/ 2 y = +x x y = x1 / 2

x [ 0 1[ x [ 1 2]

todo este anlisis muestra como una funcin depende no solamente de su Grfica, sino tambin de sus Conjuntos de Partida y de Llegada.

4.5.2.- REDUCCIN DE UNA RELACIN GENRICA A FUNCIN

Una Relacin Genrica R siempre puede reducirse a una funcin , en forma totalmente arbitraria, por medio de dos pasos que consisten en hacer cumplir las dos definiciones de la definicin de funcin: Paso I: Reducir el Conjunto de Partida de la relacin D(f) para que se cumpla D(R) = D(f) o tambin reducirlo a parte de D(R) [ D(f) D(R) ]. Es decir que para todo elemento del Dominio de la funcin D(f) exista por lo menos un elemento en la Grfica G o sea: D(f) D(R). Paso II.- Asignar a cada elemento de D(f) un solo par de la Grfica G (Unicidad).

4.5.2.- PORQUE FUNCIN

El objetivo de definir el concepto de funcin, es decir una relacin univoca para todo un dominio es porque permite la implicacin

x A

x = y f(x) = f(y)

Por otro lado la importancia de la definicin de funcin resulta de su gran aplicacin. Algunas funciones matemticas entre las ms usuales:

Tipo Sucesiones Matrices Leyes de Composicin Interna Leyes de Composicin Externa Productos Hermticos Polinomios

funcin S:NB M:N2B T:ExEE T:KxEE T:ExEK P:R2R2

x

a x
i i =0

Funciones de 1 variable real Funciones de varias variables reales Funciones de variable compleja

P:RR P:RnR P:R2R2

4.5.4.- FUNCIN COMPUESTA 4.5.4.1.- DEFINICIN DE FUNCIN COMPUESTA

Si se plantea una composicin sucesiva de funciones tambin se tiene una funcin directa de A a D como se vera a continuacin:

la relacin compuesta es funcin si se toma la precaucin de asegurar que

B C

Teorema
f : A B x y g :C D yz BC

gof : A D x z = g( f ( x ))

gof = g(f) : funcin compuesta de g con f D.f : A B := ( xy ) f ( xy' ) f ( yz ) g ( yz' ) g

y = y z = z z = z

xA (xy) f

g : C D := yC (yz) g
como

B C

se tiene

yB (yz) g

( yz ) g ( yz' ) g

por lo tanto se puede se puede definir una relacin sobre AxD que para todo elemento de A tenga un par en la relacin y adems sea unvoca: ( xz ) gof gof : A D := xA (xz)gof z = z ( xz' ) gof Existe entonces una funcin llamada compuesta gof que se define como:

gof : A D x z = g( f ( x ))

4.5.4.2.- TEOREMAS T1.Def gof = g(f)

ho( gof) = (hog)of

4.5.5.- CLASIFICACIN DE FUNCIONES SEGUN EL CODOMINIO 4.5.5.1.- DEFINICIN DE FUNCIN INYECTIVA Def: f Inyectiva := ( xy ) f ( zy ) f

x z

Obs: A cada elemento del Codominio llega una flecha o ninguna {0,1}.

4.5.5.2.- DEFINICIN DE FUNCIN SURYECTIVA Def: f Suryectiva :=

yB (xy) f

Obs: A todo elemento del Codominio llega por lo menos una flecha. {1,n}.

4.5.5.3.- DEFINICIN DE FUNCIN BIYECTIVA Def: f Biyectiva :=

f Inyectiva f Suryectiva

Obs: A todo elemento del Codominio llega una flecha y solo una {1}.

4.5.6.- FUNCIN INVERSA 4.5.6.1.- DEFINICIN DE FUNCIN INVERSA Def: funcin inversa de f
f : A B x y =: (xy) f y B ( yx ) g (yx) g g Unvoca := (zx) g

g:B A yx

:=

y z

g: funcin inversa de f
La notacin habitual de la funcin inversa es

f- 1 := g

4.5.6.2.- TEOREMAS T1.- g : g funcin inversa de f f Biyectiva D.- []

la relacin g(BxA) se define como

g(BxA) := {(yx) : (xy) f } por ser f biyectiva, es simultneamente inyectiva y suryectiva f Inyectiva := f Suryectiva :=

( xy ) f ( zy ) f

x z

yB (xy) f

La relacin g es entonces: 1.- Unvoca porque f es inyectiva 2.- Est definida para todo el conjunto B por ser f suryectiva por lo tanto es g funcin

[ ]

La condicin suficiente se demuestra a partir de la definicin de g.

1.- Como g es unvoca porque entonces f es inyectiva 2.- Como g cumple yB (xy) f entonces f suryectiva por lo tanto es f es biyectiva

T2.T3.-

g funcin inversa de f g funcin inversa de f

g 1 = ( f 1) 1 = f g biyectiva

Obs: Usado en definicin de Natural T4.T5.f biy g biy g: A A xx

gof biy

funcin identidad

f = f 1

4.6.- RELACIONES BINARIAS: RELACIONES EN AxA 4.6.1.- RELACIONES REFLEXIVA, SIMTRICA TRANSITIVA Y DE EQUIVALENCIA 4.6.1.1.- RELACIN REFLEXIVA Def: R Reflexiva := xA (x x)R A Rel. Reflexiva e d c b a
x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

AxA

Obs : La relacin es Reflexiva si contiene toda la diagonal Principal del Producto Cartesiano AxA.

4.6.1.2.- RELACIN SIMTRICA Def: R Simtrica := (x y)R

(y x)R

A Rel. Simtrica e d c b a
x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

AxA

Obs: La relacin es Simtrica si los pares ordenados del Producto Cartesiano AxA son Simtricos respecto de la Diagonal Principal. Teorema R Simtrica := (x y)R (y x)R

D.- Por definicin de Relacin Simtrica (x y)R (y x)R (y x)R (x y)R

4.6.1.3.- RELACIN TRANSITIVA ( x , y ) R Def: R Transitiva := (x, z)R ( y, z ) R A Rel. Transitiva e d c B A

x x x (ad) (bd) x x x x (ab) x x x x x a b c x x x x x d X X X X X e

AxA

Obs: La relacin es Transitiva cuando: dado dos pares (x,y) y (y,z) de la relacin R, existe un tercer par (x, z) que tambin pertenece a la relacin. Este ltimo es el par que est en la misma columna del primero y fila del segundo. (jaque de torres)

4.6.1.4.- COMPATIBILIDAD E INDEPENDENCIA DE LAS RELACIONES REFLEXIVA, SIMTRICA Y TRANSITIVA Compatibilidad A Rel Reflexiva Simtrica Transitiva e d c b a Independencia A Rel No Reflexiva Simtrica Transitiva e d c b a
x x x x x a x x x x x B X X X X X C x x x x x d x x x x x e x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

AxA Rel Equiv.

AxA

A Rel. Reflexiva No Simtrica Transitiva e d c b a

x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

AxA

A Rel. Reflexiva Simtrica No Transitiva e d c b a

x x x x x a x x x x x b x x x x x c x x x x

AxA

x x x x x x d e A (b c) (c a) / (b

Las relaciones Reflexivas, Simtrica y Transitiva son compatibles e independientes como se demuestra en los ejemplos expuestos.

Obs: En particular la relacin Reflexiva es independiente de las Simtrica y transitiva: R Simtrica / R Reflexiva R Transitiva

(RSimtrica) (R Transitiva) (R Reflexiva)

Sin embargo hay una aparente demostracin de que la condicin de relacin Simtrica y Transitiva implica la de Reflexiva . Esta demostracin es falsa , a pesar de lo que parecera en un primer anlisis:

Demostracin aparente de la proposicin no vlida

Por ser R una relacin Simtrica

(x y)R (y x)R
y por ser R una relacin Transitiva

( x , y ) R (x, x)R ( y , x ) R
La proposicin demostrada no es vlida para todos los elementos x del conjunto A por lo tanto la condicin de simetra y transitividad no aseguran la reflexividad.

4.6.1.5.- RELACIN DE EQUIVALENCIA

A partir de la compatibilidad e independencia de las Relaciones Reflexiva, Simtrica y Transitiva se puede definir: R Re flexiva Def: R Equivalencia := R Simtrica R Transitiva

A Rel Reflexiva Simtrica Transitiva e d c b a

x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

AxA Rel Equiv.

Ejemplos: Son Relaciones de Equivalencia [=] [] [ ] [ || ] []

Igualdad de Conjuntos en general y en particular Igualdad de Nmeros Naturales, Enteros, Fraccionarios, Reales y Complejos. Identidad de elementos Doble Implicacin de Proposiciones Paralelismo de Rectas y Planos Semejanza de figuras y Congruencias

4.6.2.- CLASE DE EQUIVALENCIA (CE) 4.6.2.1.- DEFINICIN DE CE Def: R Equivalencia CE(x) := { y : (x y) RE } CE(x) : Clase de equivalentes al elemento x con respecto a RE

4.6.2.2.- DEFINICIN DE CONJUNTO COCIENTE Def: R Equivalencia CE(x) := { y : (x y) RE } P := { CE(x) } P : Conjunto Cociente: Conjunto de las Clases de equivalencia de RE

4.6.2.3.- TEOREMAS T1.X := { x } Y := { y } f : X Y : f biyectiva

RE CE ( x ) := { y : ( xy ) RE }

4.6.3.- RELACIONES A-REFLEXIVA , A-SIMTRICA, A-TRANSITIVA Y ANTISIMTRICA 4.6.3.1.- RELACIN A-REFLEXIVA Def: R A-Reflexiva := R Reflexiva := /xA (x x)R := xA (x x)R Obs: La relacin es A-Reflexiva si no contiene a Toda la Diagonal Principal del Producto Cartesiano AxA.

4.6.3.2.- RELACIN A-SIMTRICA Def: R A-Simtrica := R Simtrica := (x y)R / (y x)R := (x y)R (y x)R

Obs: La relacin es A-Simtrica si existe algn par ordenado de la relacin no Simtrico respecto de la Diagonal Principal del Producto Cartesiano AxA.

4.6.3.3.- RELACIN A-TRANSITIVA Def: R A-Transitiva := R Transitiva ( x , y ) R := / (x, z)R ( y, z ) R

4.6.3.4.- RELACIN ANTISIMTRICA

La definicin de Antisimetra se apoya sobre la existencia previa de una Relacin de Equivalencia RE.

Def:

R Antisimtrica /RE :=

RE Equivalencia ( xy ) R ( yx ) R ( xy ) RE
A AxA Rel Antisimtrica x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

e d c b a

Obs 1: La definicin de la Relacin Antisimtrica significa que no coexisten en la relacin pares simtricos salvo los (x x) que estn en la diagonal principal.

Esto se observa fcilmente tomando la Proposicin Contrarrecproca (PCR) de la definicin dada:

PCR Proposicin Contrarrecproca R Antisimtrica /RE :=

RE Equivalencia ( xy ) RE [( xy ) R ( yx ) R ]

Obs 2: Las relaciones Antisimtricas son independientes y compatibles con las relaciones Simtricas y ASimtricas, es decir las pueden ser simultneas, como lo prueban los siguientes ejemplos:
A AxA Rel Simtrica Antisimtrica e d c b a x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e e d c b a A x x x x x a A AxA Rel. Simtrica No-Antisimtrica x x x x x b x x x x x c x x x x x d x x x x x e

AxA Rel A-Simtrica Antisimtrica x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

AxA Rel. A-Simtrica No-Antisimtrica x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e

e d c b a

e d c b a A

4.6.4.- RELACIONES DE ORDEN 4.6.4.1.- RELACIN DE ORDEN ESTRICTO (ROE) Def:

R A Simtrica R Orden Estricto := R Transitiva
A Rel A-Simtrica Transitiva x x x x x b x x x x x c x x x x x d x x x x x e AxA ROE

e d c b a

x x x x x a

Ejemplos: Son Relaciones de Orden Estricto [ > ] Mayor de Nmeros Naturales Enteros, Fraccionarios y Reales

4.6.4.2.- RELACIN DE ORDEN AMPLIO (ROA) R Re flexiva R Orden Amplio/RE := R Antisimtr ica / RE R Transitiva
A AxA Rel Reflexiva Antisimtrica/RE ROA Transitiva x x x x x a x x x x x b x x x x x c x x x x x d x x x x x e A

Def:

e d c b a

Ejemplos: Son Relaciones de Orden Amplio [ ] Inclusin de Conjuntos [ ] Implicacin de Proposiciones [ ] Mayor o igual de Nmeros Naturales Enteros, Fraccionarios y Reales

Obs: Las notaciones usuales para las relaciones de orden son x y preferido la ltima notacin para evitar confusiones.

xRy

(x y) R . Se ha

4.6.4.3.- RELACIN DE ORDEN TOTAL

Una tipificacin de Relacin de Orden tanto para ROE como para ROA es la de ser Total sobre el Conjunto A. Esto es cuando para todo elemento x de A , existe por lo menos un par ordenado (x y) en la relacin de Orden

Def:

R Orden Total /A := xA

(x y) R (y x) R

R Orden Total /A : Relacin de Orden Total sobre A 4.6.4.4.- TEOREMAS DE RELACIONES DE ORDEN Teorema: Dado una ROA [ROE] (de mayor o menor), existe siempre otra ROA [ROE] (de menor o mayor), que es la simtrica de la primera con respecto a la diagonal principal del AxA .