P. 1
207025_633815576996517500

207025_633815576996517500

|Views: 2.122|Likes:
Publicado porLuis Guaman

More info:

Published by: Luis Guaman on Feb 26, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPT, PDF, TXT or read online from Scribd
See more
See less

12/03/2012

pdf

text

original

PRODUCTO CARTESÌANO

RELACÌONES BÌNARÌAS
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 elemento de A y
el segundo componente es un elemento
de B.
A × B = { (x,y) / x Z A ^ y Z B }
Producto Cartesiano
· Ejemplo:
Si A = { a , b , c } y B = { 1 , 2 }
AxB = { (a,1), (a, 2), (b, 1), (b, 2), (c, 1), (c,
2) }
Note que
A tiene 3 elementos
B tiene 2 elementos
A x B tiene 6 elementos.
Producto Cartesiano
· Ejemplo:
A = { corazón, trébol, coco, espada }
B = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 }
A x B = { (corazón, 1), (corazón,2),.,(corazón,12),
(trébol,1), (trébol,2), .,(trébol,12), .,(espada,12)
}
Note que
A tiene 4 elementos
B tiene 12 elementos
A x B tiene 48 elementos (todas las cartas del
mazo)
Producto Cartesiano
Representación en forma de Tabla
· Ejemplo:
A = { , } B = { , , }
Producto Cartesiano
Representación en forma de
Diagrama
· Ejemplo:
A = { , } B = { , , }
Producto Cartesiano
· Ejemplo:
A = { , } B = { , , }
ráfico cartesiano
· Dados los conjuntos
A = { 1 , 2 } y B = { 1 , 2 , 3 }
el gráfico cartesiano de A x B es:
La primera
componente de cada
elemento del producto
cartesiano es la
abscisa
La segunda
componente de cada
elemento del producto
cartesiano es la
ordenada
Ejercicio : indicar el gráfico
cartesiano de A x B donde
A = { x / x Z R 1A x A 1 }
B = R
Ejercicio : indicar el gráfico
cartesiano de A x B donde
A = { x / x Z R 2 A x < 5 }
B = { x / x Z R 1 < x A 3}
Relación entre elementos de
conjuntos
· Hay casos en que no todos Ios pares
ordenados de un producto cartesiano de dos
conjuntos responden a una condición dada.
Relación entre elementos de
conjuntos
· $e IIama reIación entre Ios conjuntos A y B a
un subconjunto deI producto cartesiano A x
B.
· Este puede estar formado por un soIo par
ordenado, varios o todos Ios que forman
parte de A x B.
Relaciones
· Dado el siguiente diagrama que relaciona
los elementos de A con los de B
b está
relacionado
con 1
3 es el
correspondiente
de d
Conjuntos de salida y de llegada
de un relación
· A es el conjunto de salida y B es el
conjunto de llegada
Dominio de una relación
· Dom(R) = x / xZA (x,y) Z R
Dom(R) = {b, c, d}
Ìmagen de una relación
· Ìm(R) = y / yZB (x,y) ZR
Ìm(R) = {1, 3, 4}
Notación
· Si R es una relación entre A y B , la expresión x
R y significa que (x,y) Z R , o sea, que x está
relacionado con y por la relación R.
· Ej: b #1 porque (b,1) Z #
Relación definida en un
conjunto
· Cuando los conjuntos de partida y de
llegada de una relación R son el mismo
conjunto A, decimos que R es una
relación definida en A, o, simplemente,
una relación en A.
· Una relación R en A es entonces un
subconjunto de A
2
= A x A
Relación definida en un
conjunto
· Ejemplo:
Sea H = { x / x es un ser humano} y R la
relación "es madre de¨
R es una relación en H. Por qué?
Como Ana es la madre de Luis, decimos que
el par (Ana,Luis) Z #
Note que los pares que verifiquen R son un
subconjunto de H x H.
Representación de una relación
· Sea A = { a , b , c , d} y
R = { (a, b), (a, c), (b, c), (c, c), (c, d), (d,
c) }
Para poder construir el grafo dirigido A debe contener
un número finito de elementos
Los vértices del
grafo son los
elementos A y las
aristas dirigidas
representan los
elementos de R
Representación de una relación
· Sea A = { a , b , c , d} y
R = { (a, b), (a, c), (b, c), (c, c), (c, d), (d,
c) }
R puede representarse como matriz donde 1 indica
que hay relación y 0 que no hay relación
Propiedades de las relaciones
definidas en un conjunto
· Si establecemos una relación entre los
elementos de un mismo conjunto, existen cinco
propiedades fundamentales que pueden
cumplirse en esa relación
· Propiedad refIexiva
· Propiedad simétrica
· Propiedad asimétrica
· Propiedad antisimétrica
· Propiedad transitiva
Propiedad reflexiva
· La propiedad reflexiva dice que todos los
elementos de un conjunto están relacionados
con si mismo
R es reflexiva si para todo x Z A, el par (x,x) Z R
Propiedad simétrica
· La propiedad simétrica dice que si un elemento
está relacionado con otro, éste segundo
también está relacionado con el primero
R es simétrica si siempre que un par (x,y) Z R, el par
(y,x) también pertenece a R
Propiedad Simétrica
· Ejemplo
Dado A = {3, 4, 2} decir si las siguientes
relaciones en A
2
son simétricas
R = {(2, 3), (3, 4), (4, 3), (3, 2), (4, 4)}
S = {(3, 2), (4, 3), (2, 2), (3, 4)}
Propiedad asimétrica
· Una relación es asimétrica si ningún par
ordenado de la relación cumple la
propiedad simétrica.
Propiedad antisimétrica
· Una relación es
antisimétrica
cuando sólo
cumplen la
propiedad simétrica
los pares de
elementos iguales y
no la cumplen los
pares formados por
distintos elementos.
Propiedad antisimétrica
· Ejemplo
Dado A = {2, 4, 6} decir si las siguientes
relaciones en A
2
son antisimétricas
R = {(2, 2), (4, 4)}
S = {(2, 4)}
T ={(4, 6), (2, 2), (6, 4), (4, 2)}
Propiedad transitiva
· La propiedad transitiva dice que si un elemento
está relacionado con otro y éste está a su vez
relacionado con un tercero, el primer elemento
está relacionado con el tercero.
R es transitiva si
x , y ,z , (x,y) Z R (y,z) Z R (x,z) Z R
Propiedad transitiva
· Ejemplo
Dado A = {2, 4, 6, 3} decir si las siguientes
relaciones en A
2
son transitivas
R = {(2, 2), (2, 3), (4, 6), (6, 2), (4, 2), (4, 3), (6,
3)}
S = {(2, 2), (4, 4), (4, 2), (2, 6), (6, 4), (6, 2)}
Ejercicio
· Dado A = {1, 2, 3} decir a que tipo
pertenecen las siguientes relaciones
R1 = {(1, 1), (2, 1), (2, 2), (3, 2), (2, 3), (3, 3)}.
R2 = {(1, 1)}.
R3 = {(1, 2)}.
R4 = {(1, 1), (2, 3), (3, 2)}.
Ejercicio
· Sea A = {2, 3, 4, 5, 6}
R = {(x, y) / xZA, yZA, | x y | es divisible por 3}
· Escribir por extensión a R.
Casos especiales
· Como casos especiales de las relaciones
en un conjunto se define:
ReIaciones de orden: Permite ordenar
los elementos a través de la relación.
ReIación de equivaIencia: Permite
marcar características similares entre
los elementos de un conjunto
Relación de orden
· La relación de orden es aquella en que los
elementos pueden ordenarse a través de la
relación.
· Ejemplo
Relación de Orden
· Pueden definirse dos tipos de relación:
Relación de orden ampIio.
Relación de orden estricto.
Relación de orden amplio
· Una relación de orden ampIio es aquella
que cumple las propiedades refIexiva,
antisimétrica y transitiva.
Relación de orden amplio
Ejemplo: R = ". es menor o igual
que.¨
Ejemplo: Ìndicar si las
siguientes relaciones son de
orden ampIio
· Sea A es el conjunto de los naturales y
R = {(x,y) / x,y Z A ^ "x divide a y¨}
· Sea A es el conjunto de los subconjuntos
de un conjunto dado y
R = {(x,y) / x,y Z A ^ "x está incluído en
y¨}
Relación de orden estricto
· Una relación de orden estricto es aquella que
cumple con las propiedades asimétrica y
transitiva, y no cumple con la propiedad
refIexiva.
Relación de orden estricto
Ejemplo: R = ". es menor que.¨
Relación de equivalencia
· Permite marcar características similares entre
los elementos de un conjunto
Relación de equivalencia
· Permite marcar características similares entre
los elementos de un conjunto mediante su
clasificación, determinando una partición del
mismo en clases de equivalencia.
Se llama partición de
un conjunto A, a todo
conjunto de
subconjuntos no vacíos,
disjuntos dos a dos, de
modo que la unión de
dichos conjuntos
formen el conjunto A.
Clase de Equivalencia
· Sea R una relación de equivalencia y K el
conjunto sobre el que está definida, llamaremos
cIase de equivaIencia del elemento a Z K, al
subconjunto a de K formado por todos los
elementos de K que están relacionados con a
por R. Esto es:
a = {x / x Z K ^ a R x }
Así, llamamos
representante de la clase al
elemento a y diremos que, si
x Z a, a es equivaIente a x
por R
Conjunto Cociente
· Sea R una relación de equivalencia y K el
conjunto sobre el que está definida, llamaremos
conjunto cociente K por R y lo notaremos K/R
a la partición de K formada por todas las clases
de equivalencia determinadas en K dada R.
Es decir, el conjunto cociente
es el conjunto de todas las
clases de equivalencia que se
puedan formar con los
elementos de K, dada R.
Ejemplo de Relación de
Equivalencia
· Sea H el conjunto formado por todos los seres
humanos.
R= {(x, y) / x,y Z H ^ "x es compatriota de y"}
R es refIexiva puesto que toda persona es
compatriota de si mismo.
R es simétrica, puesto que "si x es
compatriota de y, y es compatriota de x".
R es transitiva, por que "si x es
compatriota de y e y es compatriota de z,
entonces x es compatriota de z".
Ejemplo de Relación de
Equivalencia
· Sea H el conjunto formado por todos los seres
humanos.
R= {(x, y) / x,y Z H ^ "x es compatriota de y"}
Dado un elemento a de H, su cIase de
equivaIencia estará formada por sus
compatriotas.
El conjunto cociente de H por R, H/R, es
el conjunto formado por todas las clases de
equivalencias.
H/R es una partición de H.
Ejercicio
· ¿ Cuál de las siguientes relaciones en S son de
equivalencia?
R = {(a, b)/ a y b tienen la misma madre},
donde S = {a / a es cualquier persona}
S es el conjunto de números enteros y R es
la relación "x es congruente con y módulo 2¨,
es decir, que x e y tienen el mismo resto al
ser divididos por 2.

!74/:.94,7908,34
W 574/:.94.,7908,34/0/48.43:3948  /0349,/4  080.43:394/0 94/4848548-085,70847/03,/48.:4 57207.42543039008:30020394/0 080:3/4.42543039008:30020394 /0     

Z )Z <

!74/:.94,7908,34
W 0254 $, - .< <  ,   ,   -   -   .   .   < 4906:0 903000203948 903000203948 903000203948

!74/:.4 085.8.4.94.8.4 .47.8/0 2.O3 97F-4 .   4906:0 903000203948 903000203948 903000203948 94/.79.O3  97F-4   97F-4   97F-4   < .7908.34 W 0254 ./.O3   ..47.47.47.<            <  .O3   085./.

/0%.!74/:..94.O3031472. W 0254  <  < .7908.34 #05708039.-.

34 #05708039.7908.O3031472.7..2.!74/:. W 0254  <  < ./0 .94.

!74/:.34 W 0254  <  < .7908.94.

425430390/0.34/008 . 7E1.4.94 ..80:3/.94 .. 0020394/0574/:.3408.-8.3408./.7908. ..7908.4.34 .43:3948  <  < 07E1. ..425430390/0././4848. 0020394/0574/:..7908.7908.8../. 47/03. .57207.W . .

.4 .34/0/43/0 .7908.07...707E1.43/.

Z # A A <  # .

707E1..07.34/0/43/0 .7908.43/.4 ...

Z # A < .

Z # A < .

848036:03494/48485.43:3948708543/03.34/0/48 ..W #0./48/0:3574/:.7908..43:3948 ..O3/.O30397000203948/0 ./..94.708 47/03. .43/..:3.

./4 .O30397000203948/0 .43:3948.94.7 47/03. :38:-..790/0 .43:3948 $0.34   W 8905:0/0089./4547:38445..43:394/0574/:.O30397048..7908.70.71472.W #0.748494/48486:01472.2.3 5.

7.47708543/0390 /0/ -089E 70..43 .4308 W .43.6:070./408:0390/.43..#0. 4800203948/0.4348/0 080 .2./4 ..

.080 .43:3948/08././00./. /0:370.43:394/08././. .43:394/00.O3 W 080.

O3 W 42 #  ..70.4234/0:3.

. /< .Z   Z # 42 # .

70..03/0:3.O3 W 2 #  .2.

Z   Z# 2 #   < .

#5476:0 .70.70./4...O3 W $#08:3..O303970 .43.43547. 6:0089E 70.6:0   Z # 480...O3#  W . Z # .05708O3 #831.49.

08:3 8:-..70.03 4 825020390  :3.43:394 /0.#0.O3#84302824 .2486:0#08:3./0 0.O3/013/..79/.O3/013/..43:394/0  .. 70.O303 W &3.O3#030803943./0:3.43:3948/05./..70.70.3/448.03:3 .43:394 W :.

03:3 ...43:394 W 0254 $0.#0.O3/013/.

.2486:0 05. :8 Z # 4906:0485.O3 082.70./70/0:8 /0.2.0716:03#843:3 8:-.O303 !476:F 4243./70/0  #08:3.08.7 3.7086:0. 70.34<#.08:3807:2.43:394/0 ..

8/7/.8 .O3/0:3.08/0 7. . .7.789.43897:707.  .O3 W $0. /  /  .#05708039.  .  .70.14/7/4/0-0. .8 705708039.1484348 00203948... < 48.. /< # . - . .F79..348 00203948/0# !.4390307 :3320741394/000203948 .54/07.

.70..70. 6:0.. < #5:0/0705708039.4242.O3/0:3. ..O3 W $0.O3 ..O3 6:034.70.780.  . /  /  ..#05708039.97/43/03/.  .  .. - . . . . /< # .

086:05:0/03 .43:394 08903./97.0248:3../08/0.4308 /013/.70.2039.-0..803:3...O30397048 00203948/0:32824..82F97.389./82F97.O3 W !7450/.43:394 W $089.. W !7450/. W !7450/.:257800308.70.4 57450/.. W !7450/.3.././081:3/./7010.870. .3982F97./.!7450/. W !7450/.

.7   Z # .7..85./48 .94/4Z  05. W ...43:394089E370./7010.!7450/.4382824 #087010./7010.43.57450/./.06:094/4848 00203948/0:3.

..430572074 #0882F97./82F97./82F97./4.../.2-F35079030./4..43.7   9.2-F3089E70.43.7   Z # 05.# . W .0.57450/.06:08:30020394 089E70.!7450/.88025706:0:35.434974 F89080:3/4 9.

/4  </0..!7450/.88:03908 70../$2F97..78. W 0254 .430803 84382F97.8 #               < $            < .

/4/0./82F97./.!7450/..7 47/03.82F97.O3.. 57450/.. .O308..70.70.83335. W &3.:250.82F97..

:. .:2503..:250348 5.08 34. 57450/..7081472.!7450/.3/48O4 ./.. 485.708/0 00203948:./82F97.O308 .70.. W &3..3982F97./48547 /89394800203948 .3982F97.

430803 843./4  </0. W 0254 ..8 #      < $   < %            < .!7450/.3982F97.3982F97.88:03908 70./..78..

57450/...06:08:30020394 089E70.W .434974F890089E./4.8       Z #   Z #   Z # ..389././97.074 !7450/./4.389.389../4. #0897..8:.43.43..074 0572070020394 089E70.0 70./97.43.43:3907.430907.

8 #                      < $                  < ./4   </0.389...88:03908 70./97.430803 84397. W 0254 ..389.78.!7450/.

.

7.88:0390870./4  </0..4308 #                  <  #   <  #   <  #         <  ..4 W .6:0954 5079030.03.07.

07.    < #   .4 W $0..

#  .7-754709038O3.8-0547< W 8.Z Z  08/.

7..8480850.70.4308/047/03 !0729047/03..8 82..O3  #0.8480850..7..08 W 424..F8/0.907J89.....4308 03:3...7 4800203948.O3/006:.43:39480/0130 #0.870.7..70803970 4800203948/0:3.08/0..43:394 .97. !07290 2.03..

O3/047/03 W .. 70...6:0.F8/0..O3/047/0308.97.036:048 002039485:0/0347/03.70.O3 W 0254 .780.#0.

.O3/0 7/03 W !:0/03/013780/489548/070.O3/047/03...94  .O3 #0.O3/047/030897.254 #0.#0..

 .389.254 W &3.6:0.254 08..../087010.:250.#0..3982F97. 97. . 6:0.857450/.70..O3/047/03.O3/047/03.

254 0254# 08203474:.O3/047/03. 6:0 ..#0.

02543/.9:7.080.254 W $0.08 #   .8 8:0390870.43:394/0483.4308843/0 47/03...78.

/0./4 #   .080. < W $0.43:394/0488:-.43:394/. Z ) /.43:3948 /0:3.

 Z ) 089E3.:J/403 < .

O3/047/030897.#0.6:0.57450/.94 08../08.6:0 ..43.:250.  97.:250...857450/..94 W &3.43. .70. 34.O3/047/030897.389./ 7010.82F97.

O3/047/030897..94 0254# 08203476:0 .#0.

43:394 .70803970 4800203948/0:3.7.O3/006:.7.882...7.907J89.03..#0.... W !072902..

79....7.#0.O3 /090723.5.03.43:394 .:3O3/0 /.43:394834.J48  /8:3948/48. W !072902..  $0.O3 /0 282403...8 82.03.43:394  ..70803970 4800203948/0:3..43:394/0 8:-..7.81./48 /0 24/46:0..7.3/4:3.43:3948 1472030.907J89...3908: .5.808/006:.79.48.O3/0 :3...2.94/4 .O3/006:.43:39420/..

.03.43:39484-7006:0089E/013/..43:394.03../48 .43. . /00020394.03. Z  ....80/06:..O3/006:. W $0.80/006:. 8:-.43..#:3. 547# 89408 .70248 ../01472. ..2.70.0 ./454794/4848 00203948/06:0089E370.

 547# .248 705708039. #< 8J .80..0390 .. Z ). 0806:. 0020394.390 /0.2. /702486:0 8  Z .. .

O3/006:.70.43:3944.0 ..03.70248...4.0390 W $0.2.70248 .43:394.0390547#4349.43:39484-7006:0089E/013/.#:3. .

8./.7 0./.54794/.31472.803/..4348 00203948/0 /... 6:080 5:0/./.03./.43:394.# .808/006:.0390 080.43:394/094/.79.5..03.#  .4./090723.7.8....8.# 8/0.808 /006:.O3/01472.8 .

.43:3941472.O3/0 6:.03../454794/484880708 :2.0.348  #   . $0.W 0254/0#0..

425. 5476:0808 ./0< #087010.9749.9749./082824  #0882F97.9749.425.425.9749.425./0 08.9749..425.507843./0 .. 5:08946:094/.425./0  #0897.389. 5:08946:0808 .9749./0008./0  03943.9749.0808. Z )08.08 .425..

W 0254/0#0..0./454794/484880708 :2.. $0.03.43:3941472.O3/0 6:.348  #   ..

.7E1472.4.8 ..43:394. 089./0< .9749.80/0 06:./0 8:./.425.0390 /0547# ../4:30020394.5478:8 .9749.425. Z )08.03.

43:3941472./454794/.8..8.8 ..03.808/0 06:.# 08 0..

#08:3.O3 /0 .5.79.

. .03...88:0390870. # .430803$843/0 06:.4 W :E/0..07.

.-90303.282./70<  /43/0$..2.

. 807/.43:394/03207480390748#08 .:.432O/:4  08/0.437:0390.6:07507843.O3 08.70.08.//48547  .7 6:00903030282470894..< $080.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->