Producto Cartesiano

Producto Cartesiano
Captulo 4. Relaciones
4.1 Producto Cartesiano o Cruz
Definicin Dados los conjuntos A, B U, el producto cartesiano o cruz de A, B se define por A B y es igual a
A B a, b a A, b B
Se dice que los elementos de A B son pares ordenados. Para (a, b , (c, d A B, se tiene que (a, b ! (c, d si y s"lo si, a ! c y b ! d.
Si A, B son finitos, por la regla del producto resulta que A B ! A B . #unque, en general, no es cierto que A B = B A, se tendr$ que A B B A.
#dem$s aunque A, B %, no es necesario que A B %, de modo que % no es necesariamente cerrado en esta operaci"n.
&'&(P)* Sea U ! +1, ,, -, ... , ./, A ! +,, -, 4/, B ! +4, 0/. &ntonces, a A B ! +(,, 4 , (,, 0 , (-, 4 ,(-, 0 ,(4, 4 , (4, 0 /. 1 B A ! +(4, , , (4, - , (4, 4 , (0, , , (0, - , (0, 4 /. c B,=B B ! +(4, 4 , (4, 0 , (0, 4 , (0, 0 / d B-=B B B ! a, b, c a, b, c B 2 (4, 0, 0 B-.
&'&(P)* Si U !R, R R ! se conoce como el plano real de la geometra coordenada y del c$lculo 1idimensional. &l su1conjunto R3 R3 es el interior del primer cuadrante de este plano. #s mismo, R- representa el espacio euclidiano tridimensional donde las superficies tridimensionales, como esferas y planos, son su1conjuntos importantes.
&'&(P)* %n e4perimento E se desarrolla de la siguiente forma5 se lan6a un solo dado y se anota el resultado2 a continuaci"n, se lan6a una moneda al aire y se anota el resultado. Determnese un espacio muestral M para E. Den"tese por E1 la primera parte del e4perimento E y sea M1 ! +1, ,, -, 4, 0, 7/ un espacio muestral para E1. #s mismo sea M,!+C#,C8/ un espacio muestral para E,, la segunda parte del e4perimento. &ntonces, M ! M1 M, es un espacio muestral para E.
4.1 Producto Cartesiano o Cruz &ste espacio muestral se puede representar gr$ficamente con un diagrama de $r1ol.
4.1 Producto Cartesiano o Cruz &'&(P)* &n el torneo de tenis de 9im1ledon, las mujeres juegan a lo sumo - sets en un partido. :riunfa quien gane primero , sets. Si N y E representan a las , jugadoras, el diagrama de $r1ol refleja las 7 maneras en que puede ganarse el encuentro.
4., Relaciones
Definicin 3.2 Dados los conjuntos A, B U, cualquier su1conjunto de A B se denomina relaci"n de A a B. # cualquier su1conjunto de A A se denomina relaci"n 1inaria.
4., Relaciones
&'&(P)* Sea % ! +1, ,, -, ... , ./, A ! +,, -, 4/, B ! +4, 0/. las siguientes son relaciones de A a B. a) b) +(,,4 / c) +(,, 4 , (,, 0 / e) +(,, 4 , (-, 4 , (4, 0 /
d) +(,, 4 , (-, 4 , (4, 4 / f) A B.
Como A B ! 7, por la definici"n se deduce que ;ay ,7 relaciones posi1les de A a B.
4., Relaciones
&n general, para conjuntos finitos A, B donde !Am y .B ! n, ;ay ,mn relaciones de A a B, incluyendo la relaci"n <aca y la propia relaci"n A B.
4., Relaciones
&'&(P)* Sea B ! +1, ,/ N, U ! P(= y A ! U !+ , +1/, +,/, +1, ,//. &l siguiente es un ejemplo de relaci"n 1inaria en A5 R ! +( , , ( , +1/ , ( , +,/ , ( , +1, ,/ , (+1/, +1/ , (+1/,+1,,/ , (+,/, +,/ , (+,/, +1,,/ , (+1,,/, +1,,/ /. Se puede decir que la relaci"n R es una relaci"n de su1conjunto donde (C, D R si y s"lo si C, D B y C D.
4., Relaciones
&'&(P)* Si A ! U !Z3, se define una relaci"n 1inaria R x, y x y . Se trata de la en el conjunto A como conocida relaci"n >es menor o igual que? para el conjunto de los enteros positi<os, Se o1ser<a que (.,. ,(.,11 R, y (@,, R, (.,11 R tam1iAn se puede denotar como .R 112 (@,, R se transforma en @R , son ejemplos de notaci"n infija en una relaci"n.
&'&(P)* Cuando el compilador Pascal traduce un programa fuente del programa o1jeto a lenguaje de m$quina, Aste ela1ora una ta1la de sm1olos que contiene los siguientes conjuntos5 1.B S5 el conjunto de nom1res sim1"licos, como <aria1les, constantes y tipos. ,.B A5 el conjunto de posi1les atri1utos para los elementos de S, como entero, real, =ooleano, car$cter. -.B L5 el conjunto de posiciones, o direcciones de la memoria donde se almacenan los elementos de S. )a informaci"n de la ta1la proporciona relaciones de S a A y de S a L.
4., Relaciones
Para cualquier conjunto A U , A ! . (Si A , sea (a, b A . &ntonces, a A y b , lo cual es imposi1le . #s mismo A ! . &l producto cartesiano y las operaciones 1inarias de uni"n e intersecci"n est$n interrelacionados con el siguiente teorema.
4., Relaciones
Teorema Para conjuntos ar1itrarios A, B, C %. a A B C A B A C 1 c d

A B C A B A C
A B C A C B C
A B C A C B C
Demostracin Se demuestra el teorema a y se deja el resto como ejercicio. Para cualquier a, b U, (a, b A B C a A y b B C a A y b B, b C a A, b B, y a A, b C (a, b A B y (a, b A C (a, b (A B ( A C .
A B C ! (A B ( A C
4., Relaciones
Definicin %na relaci"n R en un conjunto A se denomina refle4i<a si para todo x A, (x, x R . Se dice que R es refle4i<a si cada elemento x de A est$ relacionado consigo mismo &'&(P)* Para A ! +1, ,, -, 4/, una relaci"n R A A ser$ refle4i<a si R +(1, 1 , (,, , , (-, - , (4, 4 /. Por tanto, R1!+(1,1 , (,,, , (-,- / no es una relaci"n refle4i<a en A, mientras que R,! si es refle4i<a en A.
4., Relaciones
&'&(P)* Dado un conjunto finito A ,con A !n, resulta que A A ! n,, de modo que ;ay , n relaciones en A. Cu$ntas son refle4i<asC.
4., Relaciones
Si A !+a1, a,, ... ,an/, una relaci"n R en A es refle4i<a si ai ,.ai 1 i n R . #l considerar los otros n,Dn ai , a j pares ordenados de A A (los de la forma , 1 i, j n, i j conforme se construye una relaci"n refle4i<a R en A, se incluye o e4cluye cada uno de estos pares n n , ordenados, y por la regla del producto, ;ay relaciones refle4i<as en A.
,
4., Relaciones
Definicin )a relaci"n R en un conjunto A se llama simAtrica si (x, y R (y, x R para x, y A. &'&(P)* Con A ! +1, ,, -/, se tiene que5 a R1!+(1,, ,(,,1 ,(1,- ,(-,1 / es simAtrica, no refle4i<a2 1 R ,!+(1,1 ,(,,, ,(-,- ,(,,- /es refle4i<a, no simAtrica2 c R-!+(1,1 ,(,,, ,(-,- /2R4!+(1,1 ,(,,, ,(-,- ,(,,- ,(-,, / son refle4i<as y simAtricas.
Para contar las relaciones simAtricas en A!+a1,a,, ... ,an/, se escri1e A A como A1 A,, donde A1! ai , ai 1 i n y A,! ai , a j 1 i, j n, i jde modo que cada par en A A est$ en uno de los conjuntos A1,A,. Para A A A1 A, e4actamente A,, . ! D ! n,Dn!n(nD1 , un entero par. &l conjunto A, contiene (1E, (n,Dn su1conjuntos de la forma +(ai,aj ,(aj,ai /,1 i j n. #l esta1lecer una relaci"n simAtrica R en A, para cada par ordenado de A1, se dispone de la selecci"n usual de e4clusi"n o inclusi"n. Para los (1E, ( n, D n su1conjuntos de en 1 E , nordenados n n 1 E , n n pares , , , A,, se dispone de las mismas opciones. Por tanto, por la regla del producto, ;ay ! relaciones simAtricas en A. Al contar las relaciones en A 1ue E , n son n , reflexi!as y sim"tricas# se tiene s$lo una opci$n para cada par ordenado en A%. De modo ue &ay #
,
4., Relaciones
Definicin Para un conjunto A, una relaci"n llama transiti<a si (x, y , (y, z R (x, z modo que si x >est$ relacionado con? y relacionado con? z, se desea >relacionar? representando y el papel de >intermediario?.
R en A se R. (De e y >est$ x con z,
4., Relaciones
&'&(P)* Defnase la relaci"n R en el conjunto Z3 por a R b si a di<ide b, por ejemplo, para alguna c Z3, b ! ca. #;ora si xRy e yRz, resulta xRzC. xRy y ! sx, s Z32 yRz z! ty, t Z3. &n consecuencia, z! ty ! t(sx ! (ts x, ts Z3, de modo que xRz y R es transiti<a. #dem$s R es refle4i<a, pero no simAtrica, puesto que ,R7, pero 7R,. &'&(P)* Si A !+1, ,, -, 4/, entonces R1!+(1,1 , (,,- , (-,4 ,(,,4 / es una relaci"n transiti<a en A, mientras que R,!+(1,- ,(-,, / no lo es, pues (1,, R,.
4., Relaciones
Definicin Dada una relaci"n R en un conjunto A, R se denomina antisim"trica si a R b, b R a a ! b. (&n este caso, la Fnica manera de tener a a >relacionado con? b y a b >relacionado con? a es que a y b sean uno y el mismo elemento de A .
4., Relaciones
&'&(P)* Para un uni<erso dado U defnase la relaci"n R en P(U por (A, B R si A B, para A, B U2 de modo que R es la relaci"n de subconjunto y si A R B y B R A, entonces se tiene A B, B A, lo que equi<ale a A ! B. &n consecuencia, esta relaci"n es antisimAtrica, adem$s de refle4i<a y transiti<a, pero no simAtrica. #ntes de cometer el error de pensar que >no simAtrica? es sin"nimo de >antisimAtrica?, tAngase en cuenta lo siguiente.
4., Relaciones
&'&(P)* Para A !+1, ,, -/, la relaci"n R en A dada por R ! +(1, , , (,, 1 , (,, - / no es simAtrica porque (-, , R, y tampoco es antisimAtrica, pues (1,, , (,,1 R pero 1 ,. )a relaci"n R1!+(1, 1 , (,, , /es simAtrica y antisimAtrica. GCu$ntas relaciones son antisimAtricas en AC #l escri1ir A A !+(1,1 ,(,,, ,(-,- / +(1,, ,(,,1 ,(1,- , (-,1 ,(,,- ,(-,, /. Se ;acen dos o1ser<aciones al intentar construir una relaci"n R antisimAtrica en A.
4., Relaciones
1. Cualquier elemento (x, x A A puede incluirse o e4cluirse sin importar si R es o no antisimAtrica. ,. Para un elemento de la forma (x, y , x y, se de1en tener en cuenta (x,y e (y,x y n"tese que ;ay tres opciones para que R permane6ca antisimAtrica5 a situar (x, y en R2 1 situar (y, x en R2 c no situar (x, y ni (y, x en R. (HuA sucede si se sitFan (x, y e (y, x en RC
4., Relaciones
De esta manera por la regla del producto, el nFmero de relaciones antisimAtricas en A es (,- (-- ! (,- ( - - - E.,Si !An I, entonces ;ay relaciones , n -n n E , antisimAtricas en A.
,
,
4., Relaciones
Definicin )a relaci"n R en un conjunto A se denomina orden parcial o relaci"n de orden parcial si R es refle4i<a, antisimAtrica y transiti<a. &'&(P)* la relaci"n de su1conjunto es un orden parcial.
4., Relaciones
Definicin %na relaci$n de e ui!alencia R en un conjunto A es una relaci"n refle4i<a, simAtrica y transiti<a. &'&(P)* Sea n Z3. Para x, y Z, se define la relaci$n R de m$dulo n por medio de x R y si y s"lo si, x D y es un mFltiplo de n. Con n ! ., se ;alla que J R ,, B- R 11, (14,I R pero - R ..
4., Relaciones
Para cualquier conjunto A, A A es una relaci"n de equi<alencia en A, y si A ! +a1, a,, ... , an/, la relaci"n de equi<alencia m$s pequeKa en A es R ! ai , ai 1 i n . Si R es una relaci"n en un conjunto A, entonces R es una relaci"n de equi<alencia y un orden parcial en A si y s"lo si es la relaci"n de igualdad en A.
Relaciones de Orden
4.- Relaciones de Orden L Z ! R C +, +, , +, , , " +, , , " , # +, , , " , 13,, ,Mx30!, ,x 3 - ! 4 x, D , ! I x, 3 1 ! I
# medida que se aumenta desde N ;asta C se adquiere mayor capacidad para resol<er ecuaciones polinomiales, aunque al pasar de R a C se pierde algo.
4.- Relaciones de Orden
&n R, dados los nFmeros r1, r, con r1 r,, siempre es posi1le decir si r1 r, o r, r1. Lo o1stante en C, (,3i (13,i . Se ;a perdido la capacidad de >ordenar? los elementos del sistema numArico.
Sea A un conjunto y R una relaci"n en A. &l par (A, R se llama conjunto parcialmente ordenado si la relaci"n R en A es un orden parcial, o una relaci"n de ordenamiento parcial. Si a A se le denomina conjunto parcialmente ordenado, se so1re entiende que ;ay un orden parcial R en A que con<ierte a A en este conjunto parcialmente ordenado.
&'&(P)* Sea A el conjunto de cursos ofrecidos en una uni<ersidad. Defnase la relaci"n R en A mediante x R y si x e y son el mismo curso o si x es un requisito pre<io para y. &ntonces, R transforma a A en un conjunto parcialmente ordenado. &'&(P)* Defnase R en A ! +1, ,, -, 4/ por x R y, si , es decir, x di<ide a y. &ntonces, R !+(1, 1 , (,, , , (-, - , (4, 4 , (1, , , (1, - , (1, 4 , (,, 4 / es un orden parcial y (A, R es un conjunto parcialmente ordenado.
&'&(P)* Para construir una casa ;ay ciertos tra1ajos, como e4ca<ar los cimientos, que de1en reali6arse antes de poder comen6ar otras fases de la construcci"n . Si A es un conjunto de tareas que de1en reali6arse para construir una casa o completar un proceso especial de fa1ricaci"n, se puede definir una relaci"n R en A por x R y si x e y denotan la misma tarea o si la tarea x de1e reali6arse antes de comen6ar la y. De esta manera se asigna un orden a los elementos de A, con<irtiAndolo en un conjunto parcialmente ordenado.
&'&(P)* &n el conjunto A ! +1, ,, -, 4, 0/, la relaci"n R en A, definida por x R y si x y, es un orden parcial, que transforma a A en un conjunto parcialmente ordenado que se puede denotar por (A, . Si B ! +1, ,, 4/ A, el conjunto !+(1, 1 , (,, , , (4, 4 , (1, , , (1, 4 , (,, 4 / es un orden parcial en B.
&n general si R es un orden parcial en A, entonces para cualquier su1conjunto B de A, B B R con<ierte a B en un conjunto parcialmente ordenado, donde el orden parcial de B se induce de R. Definicin Si (A, R es un conjunto parcialmente ordenado, se dice que A est$ totalmente ordenado si para toda x, y A se cumple x R y o y R x. &n este caso R se denomina orden total.
&'&(P)* &n el conjunto N, la relaci"n R definida por x R y si x y es un orden total. )a relaci"n de su1conjunto aplicada a A ! P(U , U ! +1, ,, -/ es un orden parcial, pero no total5 +1, ,/, +1, -/ A, pero ni +1, ,/ +1, -/ ni +1, -/ +1, ,/.
Definicin Si (A, R es un conjunto parcialmente ordenado, un elemento x A se llama maximal de A si para toda a A, a x x R a . %n elemento y A se denomina minimal de A si cuando b A y b y, entonces b R y.
&'&(P)* Sea U ! +1, ,, -/ y A ! P(U . Sea R la relaci"n de su1conjunto en A. &ntonces U es ma4imal, mientras que es minimal para este conjunto parcialmente ordenado. Para B, la colecci"n de su1conjuntos propios de +1, ,, -/, sea R la relaci"n de su1conjunto en B . &n el conjunto parcialmente ordenado (B, , +1, ,/, +1, -/, +,, -/ son elementos ma4imales, mientras que es el Fnico elemento minimal.
&'&(P)* Con la relaci"n R >es menor o igual que? en el conjunto Z, (Z, es un conjunto parcialmente ordenado sin elemento ma4imal ni minimal. Lo o1stante el conjunto parcialmente ordenado sin elemento ma4imal ni minimal. Lo o1stante, el conjunto parcialmente ordenado (L, tiene elemento minimal I, pero no ma4imal.
Teorema Si (A, R es un conjunto parcialmente ordenado y A finito, entonces A tiene elementos ma4imal y minimal. Demostracin Sea a1 A. Si no ;ay elemento a A, a a1 con a1 R a , entonces a1 es ma4imal. De no ser as, ;ay un elemento a, A , a, a1, con a1 R a,.
Si ningFn elemento a A, a a, , cumple a, R a, entonces a, es ma4imal. De lo contrario se puede encontrar a- A, a- a, , a- a1 (Gpor quAC con a1 R a, y a, R a-. Siguiendo as, como A es finito, se alcan6a un elemento an A con an R a para cualquier a an A, de modo que an es ma4imal.
Definicin Si (A, R es un conjunto parcialmente ordenado, un elemento x A se denomina elemento mnimo si x R a, para todo a A. &l elemento y A se denomina m$4imo si a R y para toda a A.
&'&(P)* Sean U ! +1, ,, -/ y R la relaci"n de su1conjunto. a Con A ! P(U , (A, tiene a mnimo y a U como m$4imo. como elemento
1 Para B ! la colecci"n de su1conjuntos no <acos de U, (B, tiene a U como elemento m$4imo. Lo e4iste elemento mnimo, pero si tres elementos minimales.
Para un conjunto parcialmente ordenado (A, R , es posi1le tener <arios elementos ma4imales y minimales. $!u% sucede con los elementos m&nimo ' m()imo*
Teorema Si el conjunto parcialmente ordenado (A, R tiene algFn elemento m$4imo (mnimo , ese elemento es Fnico. Demostracin Sup"ngase que x, y A y que am1os son elementos m$4imos. Como x es un elemento m$4imo, y R x. #s mismo, x R y, pues y es un elemento m$4imo. Como R es antisimAtrico, x ! y.
Definicin Sea (A, R un conjunto parcialmente ordenado con B A. %n elemento x A se llama cota inferior de B si x R b para toda b B. Si y A y b R y, para toda b B, y se denomina cota superior de B.
%n elemento xN A se llama m'xima cota inferior (mci de B si es una cota inferior de B y si para el resto de las cotas inferiores xNN de B, xNN R xN. De manera an$loga, yN A es una m(nima cota superior (mcs de B si es una cota superior de B y para el resto de las cotas superiores y NN de B, yN R yNN.
&'&(P)* Sea R la relaci"n >es menor o igual que? para el conjunto parcialmente ordenado en el siguiente caso5 Si A ! R, y B ! OI, 1P, entonces B tiene mci I y mcs 1. *1sAr<ese que I, 1 B. Para C ! (I, 1P, C tiene mci I y mcs 1, y 1 C, pero I C.
Teorema Si (A, R es un conjunto parcialmente ordenado y B A, si B tiene mcs (mci , Asta es Fnica. Demostracin. Se deja como ejercicio.
Definicin &l conjunto parcialmente ordenado (A, R se denomina red si para cualquier x, y A, e4isten la mcs+x, y/ y la mci+x, y/ .
&'&(P)*. Para #!N, y x,y N, defnase xRy por x y. &ntonces mcs+x, y/! ma4+x, y/, mci+x, y/!min+x, y/ y (N, es una red.
Relaciones de +,ui-alencia
4.4 Relaciones de +,ui-alencia
Recordemos que R en un conjunto A es una relaci"n de equi<alencia si es refle4i<a, simAtrica y transiti<a.
Si se considera la relaci"n R en Z definida por x R y, si x D y es un mFltiplo de ,, entonces R es una relaci"n de equi<alencia en Z, donde todos los enteros pares e impares est$n relacionados. Por ejemplo, aqu no se tiene 4 ! @, pero si 4 R @, pues ya no interesa el tamaKo de un nFmero, sino s"lo dos propiedades5 paridad e imparidad. &sta relaci"n descompone Z en dos su1conjuntos formados por los enteros pares e impares5 Z ! +... , B-, B1, 1, -, .../ +... , B4, B,, ,, 4, .../. &sta descomposici"n de 8 es un ejemplo de partici"n, concepto ntimamente ligado a la relaci"n de equi<alencia.
Definicin Dados un conjunto A y un conjunto de ndices, ), sea Ai A, para cada i ). &ntonces Ai i ) es una partici"n de A si a A
Ai
1 Ai A j , para i, j )# i j.
i )
Cada conjunto Ai se llama celda o blo ue de la partici"n.
&'&(P)* Si A ! +1, ,, -, ..., 1I/, entonces los siguientes conjuntos son particiones de A5 a A1 ! +1, ,, -, 4, 0/, A, !+7, ., @, J, 1I/2 1 A1 ! +1, -, 0, ., J/, A,!+,, 4, 7, @, 1I/2 c A1 ! +1, ,, -/, A, !+4, 7, ., J/, A- ! +0, @, 1I/2 d Ai ! +i, i30/, 1 i 0.
&'&(P)* Sea A!R y para cada i Z, sea Ai!Oi, i31 . &ntonces constituye una partici"n de R. Definicin Sea R una relaci"n de equi<alencia en un conjunto A. Para cualquier x A, la clase de equi<alencia de x, denotada por OxP, se define mediante
O xP y A yRx
&'&(P)* Defnase la relaci"n R en *, por xRy, si 4 di<ide a (xDy . Para esta relaci"n se encuentra que OIP ! +..., B@, B4, I, 4, @, 1,, .../ ! +4+ + Z/ O1P ! +..., B., B-, 1, 0, J, 1-, .../ ! +4+ 3 1 + Z / O,P ! +..., B7, B,, ,, 7, 1I, 14, .../ ! +4+ 3 , + Z / O-P ! +..., B0, B1, -, ., 11, 10, .../ ! +4+ 3 - + Z / +OIP, O1P, O,P, O-P/ proporciona una partici"n de Z.
Teorema Si R es una relaci"n de equi<alencia en un conjunto A y x, y A, entonces5 a) x OxP2 b) x R y si y s"lo si OxP ! OyP y c) OxP ! OyP o OxP OyP ! . Demostracin a) &ste resultado se o1tiene de la propiedad refle4i<a de R .) Si x R y , sea , OxP. &ntonces, , R x2 adem$s como R es transiti<a, , R y. Por tanto, , OyP y OxP OyP. Con R simAtrica, x R y y R x. De este modo, si t OyP, entonces t R y y por la propiedad transiti<a, t R x. De a; que t OxP e OyP OxP. Por tanto OxP ! OyP. # la in<ersa sea OxP ! OyP. Como por el apartado a x OxP, entonces x OyP o x R y. c) &sta propiedad plantea que las clases de equi<alencia s"lo se pueden relacionar de dos maneras5 son idAnticas o disjuntas.
c) Continuacin... Se supone que OxP OyP y se muestra c"mo entonces resulta que OxP OyP ! . Si OxP OyP , entonces sea ! A con ! OxP y ! OyP. Por tanto, ! R x, ! R y x R y. #dem$s por el apartado 1 , x R y OxP ! OyP. &sto contradice la ;ip"tesis de que OxP OyP, por tanto se rec;a6a la ;ip"tesis de que OxP OyP , y de a; se o1tiene el resultado.
*1sAr<ese que si R es una relaci"n de equi<alencia en A, entonces, de acuerdo con a y c del teorema anterior, las distintas clases de equi<alencia determinadas por R constituyen una partici"n de A. &'&(P)* Si A !+1, ,, -, 4, 0/ y R ! +(1, 1 , (,, , , (,, - , (-, , , (-, - , (4, 4 , (4, 0 , (0, 4 , (0, 0 /, entonces R es una relaci"n de equi<alencia en A, O1P ! +1/, O,P ! +,,-/!O-P, O4P!+4,0/!O0P y # ! O1P O,P O4P.
&'&(P)* -.-1 &n Q*R:R#L #LSR ;ay una instrucci"n llamada instrucci"n &H%RS#)&LC&, que permite a dos o m$s <aria1les de un programa dado referirse al mismo lugar en la memoria. Por ejemplo &H%RS#)&LC& (#, C, P , (#RRR=#, #=#'* . Rnforma al compilador que las <aria1les #, C, P compartir$n un lugar en la memoria y que #RRR=# y #=#'* compartir$ otro. #qu el conjunto de todas las <aria1les del programa se descompone por la relaci"n de equi<alencia R, donde -1 R -, si -1 y -, son <aria1les de programa que comparten una misma localidad de la memoria.
&'&(P)* DespuAs de <er ejemplos de c"mo una relaci"n de equi<alencia origina una partici"n de un conjunto, se <ol<er$ a ello. Si una relaci"n de equi<alencia R en A ! +1, ,, -, 4, 0, 7, ./ causa la partici"n A ! +1, ,/ +-/ +4, 0, ./ +7/, GCu$l es el <alor de RC
ConsidArese el su1conjunto +1, ,/ de la partici"n. &ste su1conjunto implica que O1P ! +1, ,/ ! O,P, y as (1, 1 , (,, , , (1, , , (,, 1 R. ()os primeros dos pares ordenados son necesarios para la propiedad refle4i<a de R, en tanto que los otros preser<an la simetra . De manera an$loga, el su1conjunto +4, 0, ./ implica que 1ajo R, O4P ! O0P ! O.P ! +4, 0, ./ y que, como relaci"n de equi<alencia, R de1e contener +4, 0, ./ +4, 0, ./. De ;ec;o R ! (+1, ,/ +1, ,/ (+-/ +-/ (+4, 0, ./ +4, 0, ./ (+7/ +7/ , y TRT ! ,, 3 1, 3 -, 3 1, ! 10.
4.4 Relaciones de +,ui-alencia Teorema Si A es un conjunto, entonces5 a Cualquier relaci"n de equi<alencia R en A origina una partici"n de A. 1 Cualquier partici"n de A origina una relaci"n de equi<alencia R en A.
4.4 Relaciones de +,ui-alencia Demostracin5 &l apartado a resulta de los apartados a y c del teorema anterior. Para el apartado 1 , dada una partici"n de A, defnase la relaci"n R en A por x R y, si x, y est$n en la misma celda de la partici"n. Se deja como ejercicio la compro1aci"n de que R es una relaci"n de equi<alencia.

Producto Cartesiano

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Producto Cartesiano

Cargado por

Copyright:

Formatos disponibles

Producto Cartesiano

d) +(,, 4 , (-, 4 , (4, 4 / f) A B.

Como A B ! 7, por la definici"n se deduce que ;ay ,7 relaciones posi1les de A a B.

Teorema Para conjuntos ar1itrarios A, B, C %. a A B C A B A C 1 c d

R en A se R. (De e y >est$ x con z,

Recordemos que R en un conjunto A es una relaci"n de equi<alencia si es refle4i<a, simAtrica y transiti<a.

Cada conjunto Ai se llama celda o blo ue de la partici"n.

También podría gustarte