demostrar que nunca puede aparecer
Hay que y
Si y E C YZ entonces para que se cumpla
WARP requerimos que YEC y pero y y
Entonces para que se cumpla WARP y y 73 que
es lo que queríamos probar
WARP
IX Y EB n XEC B X Y EB n
YE CCB XE CCB
Supongamos y z
que
A IX y 4,23 z x
observamos
ix y s x2 y
C 9,23 y y Tz 2 42 72
2 4 z z y no cumple
transitividad
Pero es trivialmente consistente con WARP Como no observo
y 23 no existe ningún par de conjuntos B B E Pz tales fue
JEB y ye B
n
A at A ix EX para los cuales a Ula
5 a XEX a VCX
A a EA Sca
Definición alternativa de WARP
CC satisface WARP si cuando a be AMB AEC A a be CCB
entonces a EC B
Sean a be AMB con at A y be CCB [Link] B
UEC A s s a 1
be CB s S b 2
B decir Sca Vale 1
[Link] es quq por
Si alguno de los conjuntos es vacío
A A y CCB B
Pero at AMB AEB at CCB
[Link]
A at A IXE A para los cuales a Ula 2A
Sean a be AMB con at A y be CCB [Link] B
UEC A Sala 2A 1
b E CCB SBCb 2
[Link] CCB es decir quq Seca PI
Parece que no tiene por qué valer Busquemos un contraejemplo
1.2.3 10
V x
A 1,2 3 10 5
II 2.5
B 1,6 7 9 10
Sala IXEA 11
IXE A 1 13 1
SA 2 IXE A 2 VCX
IXE A 2 1,23 2
A AEA Saca 5
CCA 5,6 7 8,9 10
CCB bEB SB b 2.5
B 7 9,10
SB 6 IXEB 6 x
IXEB 6 1,6 2
Tenemos que 6,9 E AMB
6 E CCA
9 E CCB pero 6 CCB
Se viola WARP
No cumple WARP Contraejemplo
sea y Z w
21 Z de W de da y
da y da ni de Z 22
Tomemos A y CCA y
A y w CCA w y
X E ANA XE A YECLA CA
Y pero
1 WARP α
P a
Suponemos que Vale WARP
la demostración
a EA CB acá
arranca
Supongo R y trato de
a CCB usar P en algún paso
para probar que vale
Supongamos por contradicción que a A Como CC
existe algún bEC A b a
Como BEA a ACB DEB be AMB
Tenemos [Link] AMB at B BECCA y a A
Esto contradice WARP
2 WARP B
Suponemos que [Link] A C B
at CCA be B
Vale WARP
necesariamente
EE [Link] I queaEEEfasbaEu4 p
YE AMB ECCA CCB
P S con n
ye
Eje
Como XE CCA X E Máx y A ZEA Z DX
Z EA X II
En particular YEA Entonces XIN y
WEB
Como
ye CCB YE Máxa B way
WEB Y IN W
Por transitividad de 2
En W
Entonces tenemos que WEB X Inn
WEB NEX I XE Máxen B
XEC B
Quq a n B WARP
Ya vimos
que WARP a n
P Falta ver que
WARP
a n P
sea ye AMB con XE A e
ye CCB Quq EC B
Como ACB AMB CA A su vez XE A Entonces por a XE AMB
Finalmente por B XE CCB
XENIA TECCA EEB
TENB
FEB XE B
Bi CCB
a b c a
ab a
a c Eia a b c cec a c
bic
ae CCLaibic pero c C La b c
ac a c
a a
b b
c a
Bi Bi
a b c a b beta b C a b c
La b a [Link] ia b c pero b C labs
bc b
ac a
a a
b b
c a
EEEEE
2 es transitiva
Sea dy Entonces por definición
any n
y Ya
Sea y 27 Entonces por definición
y duz a 2
y
Por transitividad de
EZ n
ZYX
Esto quiere decir que ZZ
d es irreflexiva
Sea XIX Entonces por definición
XIX a
XXX
Lo cual es una contradicción
reflexiva
Sea XNX Entonces por definición
NX a XIX
transitiva
sea uy Entonces por definición
ay a
Yax
Sea you Z Entonces por definición
Z Zany
ya n
Por transitividad de Tn
IZ a ZIL NZ
Simétrica
Sea uy Entonces por definición
IY n
ya
Por lo tanto
yux
Tomo X1
Tomo X2
Por completitud o bien XII X2 o bien X2IN X1
Puedo ordenar Xy con X2 SPG supongamos que a tuX1
Tomo 3
Por completitud o bien X2 In Xz o bien Xz X2
Puedo ordenar X2 con Xz SPG supongamos que 3 2 2
Por transitividad Xz 7NX2 I X1
3 1
Puedo ordenar Xy con Xz
Ya tenemos una relación entre X2 X2 3
Por inducción llegamos a Xk
Si R es transitivo
R X2 XzRXz XaRXz
IR Xz a XzRXy XIRX4
[Link] XnuRXn XaRXn