1) Para el conjunto ordenado P(B) ordenado por la inclusion y el subconjunto G = {X,Y,Z} que pertenece a P(B); \[X\cap Y\cap Z\] es el infimo de G \[X\cap Y\cap Z\]
Puede ser que la interseccion al ser vacía sea el infimo, porque el vacio está en todo subconjunto? O flasheé
2) Clases de equivalencia de (3y+z)/3. Las clases me quedaron [x]= { \[x / x=y+\frac{z}{3}\] }
Como me doy cuenta cual es el conjunto cociente? No sé como llegar al resultado
3) En el conjunto Z, se define la relacion R
\[xRy \Leftrightarrow (-1)^x = (-1)^-^y\]
Las clases de equivalencia de R me quedaron:
[0] = y / y=-2k.x
[1] = y/ y= -2kx - 1 v y=-x ? creo que eso esta mal pero no sé como ponerlo de otra forma.
Cita:1) Para el conjunto ordenado P(B) ordenado por la inclusion y el subconjunto G = {X,Y,Z} que pertenece a P(B); \[X\cap Y\cap Z\] es el infimo de G \[X\cap Y\cap Z\]
Puede ser que la interseccion al ser vacía sea el infimo, porque el vacio está en todo subconjunto? O flasheé
De momento, no tengo nada para decir xDDD
Cita:2) Clases de equivalencia de (3y+z)/3. Las clases me quedaron [x]= { \[x / x=y+\frac{z}{3}\] }
Como me doy cuenta cual es el conjunto cociente? No sé como llegar al resultado
A mi me parece que acá te falta definir la relación.
A menos que sea yRz <==> 3y+z es divisible por 3
Pero no estoy seguro, fijate y volvé a postearlo
.gif ";)")
Cita:3) En el conjunto Z, se define la relacion R
\[xRy \Leftrightarrow (-1)^x = (-1)^-^y\]
Las clases de equivalencia de R me quedaron:
[0] = y / y=-2k.x
[1] = y/ y= -2kx - 1 v y=-x ? creo que eso esta mal pero no sé como ponerlo de otra forma.
Fijate que si tanto X como Y son pares, se relacionan.
Mismo caso que tanto X como Y son impares.
En cualquier otro caso no se relacionan...
Entonces vos vas a tener dos clases de equivalencia. Aquella que contenga a todos los números pares, pues estos se relacionan todos entre sí, y de forma análoga obtendrás la de los números impares.
¿Cómo la anotás? Se me ocurre que así
[0] = x perteneciente a Z / x = 2*k con k perteneciente a Z (para los pares)
[1] = x perteneciente a Z / x = 2*k + 1 con k perteneciente a Z (para los impares)
Cita:A mi me parece que acá te falta definir la relación.
A menos que sea yRz <==> 3y+z es divisible por 3
Pero no estoy seguro, fijate y volvé a postearlo
si, osea era xRy, tal que existe un z perteneciente a los enteros que cumple y=(3x-z)/3
pero simplifique un poco la relacion, y me olvide de ponerlo de nuevo. Las clases estan bien pero el conjunto cociente no sé como definirlo
Cita:Fijate que si tanto X como Y son pares, se relacionan.
Mismo caso que tanto X como Y son impares.
En cualquier otro caso no se relacionan...
Entonces vos vas a tener dos clases de equivalencia. Aquella que contenga a todos los números pares, pues estos se relacionan todos entre sí, y de forma análoga obtendrás la de los números impares.
¿Cómo la anotás? Se me ocurre que así
[0] = x perteneciente a Z / x = 2*k con k perteneciente a Z (para los pares)
[1] = x perteneciente a Z / x = 2*k + 1 con k perteneciente a Z (para los impares)
tenés razon, el menos no influia para nada, me volvi loca con eso JAJA gracias!
(12-07-2013 19:36)Bian escribió: [ -> ][quote]
A mi me parece que acá te falta definir la relación.
A menos que sea yRz <==> 3y+z es divisible por 3
Pero no estoy seguro, fijate y volvé a postearlo
si, osea era xRy, tal que existe un z perteneciente a los enteros que cumple y=(3x-z)/3
pero simplifique un poco la relacion, y me olvide de ponerlo de nuevo. Las clases estan bien pero el conjunto cociente no sé como definirlo
[quote]
Estoy casi seguro que este ejercicio lo postearon en otro momento xD
Pero hay algo que no me cierra... porque a mi me da como que todos los números se relacionan con todos, porque siempre vas a poder encontrar un Z entero para satisfacer la división y que Y sea entero... Para mi está faltando algo en el enunciado que no escribiste. Si aún no lo resolviste, o bien copialo textualmente o saquela una fotito.
Ahora si está todo bien escrito, entonces no tengo la más pálida idea de como resolverlo xD