Buenas. Dejo acá el final de discreta que tomaron hoy.
Quedé con un 6 en la libreta. Me pareció sencillo, no tomaron cosas raras como en otros finales. Esperaba un poquito más en la nota, pero bueno, la pifié jajaja
Dejo el final y mi resolución, aunque recuerden que no está todo bien porque me saqué 6. Si alguien puede poner las resoluciones corectas de lo que encuentren que puse mal, bárbaro.
   
   
   
   

hola, fijate que el 1) esta mal justificado por que vos estas sumando o restando potencias con la operacion suma o resta, cuando es con la multiplicacion que se suman las potencias de igual base o la division se resta, si haces a * b ahi si sale el ejercicio por que b pasa dividiendo y se restan las potencias. es de total orden por que cada elemento se relaciona entre si y se puede operar, como vos justificaste y el diagrama de hasse me parece raro

.33

(01-10-2015 11:43)axel123 escribió:  hola, fijate que el 1) esta mal justificado por que vos estas sumando o restando potencias con la operacion suma o resta, cuando es con la multiplicacion que se suman las potencias de igual base o la division se resta, si haces a * b ahi si sale el ejercicio por que b pasa dividiendo y se restan las potencias. es de total orden por que cada elemento se relaciona entre si y se puede operar, como vos justificaste y el diagrama de hasse me parece raro

No se puede justificar la transitividad directamente por propiedad de la igualdad?

Hola!

Coincido con Axel123, tiene ese error y aún así, está muy raro planteado el ejercicio..

Sí, la transitividad, la justificas con la igualdad.
a=b y b=c => a=b=c => a=c

Saludos!

(01-10-2015 11:43)axel123 escribió:  es de total orden por que cada elemento se relaciona entre si y se puede operar, como vos justificaste

Estamos viendo el mismo ejercicio? El enunciado del ejercicio es que a está relacionado con b si a = b^k.

La justificación de que cada elemento se relaciona entre sí es que un elemento es menor, igual o mayor a otro?! LOLWUT? Y todos están relacionados entre sí?!

Osea que 2 y 3, por poner un ejemplo, cumplen de alguna manera la relación 2=3^k o 3=2^k, con k perteneciente a enteros? Están todos ustedes locos o estoy yo loco?

meu deus, como yo lo veo la relación claramente NO es de orden total. a=2 y b=3 es un ejemplo de dos elementos que no están relacionados de ninguna manera.

(13-02-2016 20:20)holautn escribió:  Sí, la transitividad, la justificas con la igualdad.
a=b y b=c => a=b=c => a=c

aRb y bRc => a=b y b=c ????????????????? Ok definitivamente no estoy viendo el mismo enunciado que ustedes, wtf.

(13-12-2016 22:06)lautaromss escribió:  

(01-10-2015 11:43)axel123 escribió:  es de total orden por que cada elemento se relaciona entre si y se puede operar, como vos justificaste

Estamos viendo el mismo ejercicio? El enunciado del ejercicio es que a está relacionado con b si a = b^k.

La justificación de que cada elemento se relaciona entre sí es que un elemento es menor, igual o mayor a otro?! LOLWUT? Y todos están relacionados entre sí?!

Osea que 2 y 3, por poner un ejemplo, cumplen de alguna manera la relación 2=3^k o 3=2^k, con k perteneciente a enteros? Están todos ustedes locos o estoy yo loco?

meu deus, como yo lo veo la relación claramente NO es de orden total. a=2 y b=3 es un ejemplo de dos elementos que no están relacionados de ninguna manera.

(13-02-2016 20:20)holautn escribió:  Sí, la transitividad, la justificas con la igualdad.
a=b y b=c => a=b=c => a=c

aRb y bRc => a=b y b=c ????????????????? Ok definitivamente no estoy viendo el mismo enunciado que ustedes, wtf.

Coincido en que por transitividad de la igualdad no se puede ya que b =/ b^k

A mi se me ocurrió hacerlo de esta manera:
a = b^k1
b = c^k2

b^k1 = (c^k2)^k1

como b^k1 = a

entonces

a = c^k2*k1 k2*k1 = k y k pertenece a Z

entonces

a = c^k

Y por último lo de totalmente ordenado, también coincido, de hecho ya con el conjunto que te da, si haces el diagrama de hasse, 2 y 3 no se relacionan, por ende ya no es totalmente ordenado.

Edit: el diagrama de hasse queda así

36______ 9________ 16
|_______ |_________ |
|_______ |_________ |
6_______ 3_________2____ 10
|_______ |_________ |_____|
\_______ \_________/_____/
\______\_______/_____/
_____________1

Y ahi se ve que no es totalmente ordenado ya que no existe K que pertenezca a Z que de que 6 = 3^k, por ejemplo, y luego cualquier numero elevado a la 0 da 1.