Download as pdf
Download as pdf
You are on page 1of 21
Saath fe CLASES PARCIALMENTE Scie » UNIDAD 4. > # DEFINICION 53. Una clase parcialmente ordenada ez donde A es una clase y G es una relacién de orden decir que A es ordenado por G6 que Gordena a A. Si A ee un conjunto, entonces decimos que es un conjunto paréialmente ‘ un par . en A. Podemoe ordenado. Si A es una clase parcialmente erdenada por G, \ey para denoter el hecho de aue (x,y) € GJ Ademée, tener que y2x, significa lo mismo que xSy, y x $y significa que (x.y) eG. - 31 x€A, yeA y xSy, entonces decinos que "x es menor o igual que y". Adem4s, x Pare cualquier dog elementos x. € A. [ecw fhe fyi} BREFINICION 61. Sean Ay B clases parcialmente ordenadas; -una funcién f: A*B se llama un Isomorfismo, si es biyectiva y cumple le siguiente condicién: - Para cualquier dogs elementos xeA y yeA, [xSy @ f(x) $ f(y)). funci6n de orden preservado funcién de incremento estricto 115 A B A B f ¥ Y: Teomorfismo biyectiva de } No isomorfiemo incremento (S(a) ¥84(®), pero a y & Bon imcomparables) TEOREMA 47. Si f: AvB ee un. Isomorfiemo, entoncee: (x < y ee f(x) < £(y)) y Demostracién. ¢ Por tanto: f(x) = f(y). 4) Supongamos que x I, (x) < ko], 44) S41 fs: AxB ee un temorfiamo, En:onces es biyectiva, Por tanto J*: BOA es biyectiva. Luego Por Teorema anterior / BA es de incremento. Finalmente, E00 5 Cy) & FF 00) = Fy) ow xsy lL Luego, -/*: BeA ee un Isomorfieno. 411) Supongamos que f: A+B y g: BsC son Icomorfismos, entonces ¢ y @ eon biyectivas. Luego, (af) ee biyectiva. Veamos que [xSy + (@s)u < (sof yr). 0 (xsy me F(x) SF Cy) ow GIF) 5 BS) oe (@sfyo < (eh rb). y fPezmuctoy 82. St Ay B aon clases rarcialmente ordenadas y svicte ; isemorfiswo-entre Ay B, decimos que A es Isomorfico con B. \Para indicar este hecho escribimos A = B. (guReicios\ \ELEMENTOS DISTINGUIDoS. DEEFINICION 63. Un elemento meA se liema un Elemento Maximal de A, si ningun elemento de A es estrictamente mayor que m, es decir; YxeA, 51 x2m, entonces, x=m. Similarmente, un elemento neA ce llama un Elemento Minimal de A, si ningun elemento de A es estrictameise menor que n, es decir, YxeA, 51 xSn, entonces, x=n. 117 DEFINICION 64. Un elemento aA se llama el Elemento Maximo de A ei azx para cualquier xeA. Un elemeritu bteA ee llama el Elements Minimo de. A, si bSx para cualquie~ x B tiene Inf, es decir, se cumple ii). El dual del resultado anterior es el resto di la demostracién. SICIOS 4.4. 3 3 TUTALMENTE ORDENADAS Y Cli SES BIEN ORDENADAS. DEEINICION 72. Sea A una clase p:rcialmente ordenada. A se llama Chae,’ TetR/ Crile to g Clr, fla. Ordre aed az. See A oe deme preach eben Aw Jed totalmente ordenada, si cualquiir dos elementos de A son © comparable Nota. f) Cualquier subclase de una clase totalmente ordenada es totalmente ordenada. ) e totalmente ordenada es un filtro. Tahal men| una funcién, donde A ‘es una clase deneds y Bes una clsse parcialmate ordenada. Si AvB es un Isomerfiame. que f(x) = f(y). Pero x y y.son comparables, es declr, pero f(y) = f(x) y, luego, f(y) < f(s), lo cual contredi Sn inicial. Por tanto, Sy Si oy«x, entonces f(y) < s¢ “iwplicaria la clase pare SFL vnada, A ae . Llama Bien ordenada 84 cualavier subclase no vacia de A tiene elemento NT. Aun minimo. DEFINICION 75. Sea A wna clase pare almente ordenada, y suponga que Un e nto beA Be llama e! sucesor Inmediato de a, si ab, y ng existe un elemento ceA, tal que a¢ccb. y se llama pred jato de x agesor inmediato de y, en Sea A una clase pare almente ordénada, B se llama é A, st E entonces, xB. y cumple 1. siguiente propiedad: segme ito inicial, de A. oetrarion. 4) 5i BA 6 B es un segmento inicial de A, claramente B es cién de A. fi) Reciprocamente, suponga que 3 es una seccién de. A; entences todo esta probado. Supongamos ane A*B, )#¢. Pero como A es una tlase bien ordensda (A-B) tiene Glemento minimo, denotado po> m. Debemos demostrar que B=S, . ntonces nto mind m. Luego x€B, (Porque n eg ele rocamente, suponga que <€B. Si entonces: (por definicién de seccién), Lo cial es absurdo por la. escogencia ce m. Luego, xem, es decir, 245. TE TEQREMA GO. (Principio de Induce 6n Transfinita.) la Sea A una c bien ordenada, y sea P(x) do el cual nga que se puede ser cierto 6 falso, para ada ell lente condieisn Ind: Si Ply) es cierto sete caso, P(x) es cierto. para ceda elemento xeA, cumple ls ara cada y que la clase A, y sea a el elem@hto minimo de P. Por decir, 00" de. Py Por tanto, P=@. LENA 4. Sea A una clase ‘bie: ordenada. Entonces no existe snorfismo de A en una subclase de un segmento inicial de A. Supongsmos lo contrario, es decir. ave f es un isomorfismo de A en lase de un segmento initial §. de A. Por lema 3, s£f(a), s decir, f(s) ¢ 8, lo cual es iposible por que e! o susneste en una subclase de £.. Por tanto, la funcién’ f¢ | como fué asumida no existe. ee ECOROLARIO 6. Ninguna clase bien crdenada es isomorfica, con -un segmento inicial de ella misma. Demostracién. fe deja como ejercicio al lector. LEMA 5. Sean A y B clases bien or tenadas. Si A es isomorfica con un segmento inicial de B, entinces B ne es isomorfica con cualquier subelase de A. Aono €2 Demostracién. Sea ft AS, un ieomorfiemo de A in ‘un segmento inieial de B. sion Supongamos shora, aque exieted: BC, donde CSA. Claramente gi BoA 126 una funcién, y ad BeA, / f: AvS, eon ambas de incremento, Por tanto su compursta (f og): Bes, ito. Es decir, (P ef) e un isomorfismo eubelase de un segmento inicial d: B. Lo cual lema 4. Por tanto, el isomerfismo g comm fue TEOREMA 81. Sean A y Ec ordenadas, entonces. se cumple ung yo oflo una de las siguientes .firmaciones: ib A es somorfico con B. ii) A es isomérfico con un segme:to inicial de B. 444) Bes isomorfico con un segesto inicial de A. Dewostracion. Primero probaramos que se cumple la sigviente afirmacién vara cualquier clase X! I: Sean 8, y 8S segnentos inicialcs de X, si x P es una p-serie, luego por (8B), #CEP. Ahora, como x es selecto, entonces f(y)Sx o x y, esi Sty) > Sx . Por tanto, scy) ’a caso concluimos ane /(y) © B. una cadens de B, sea m= Sup C, para cada yeB, y= © tal que y2/(x), entoness (como my) p > 468i meB Gecir, Vy © C, ySx, entonces x es un meyorante de C, asi Ei tonces, otra vez me B. SOROLARIO &. S41 = es selecto, entonce: Demoetractén. BL es una p-serie, P es la. interceccién de todas las p-series. Por tanto, i: Pe anied xO YES (RD 0 BSP por Luego Piz Ro Ass, LEMA 9. E1 conjunto de todos los elementos selectos es una p-serie. Dem o) pes selecto, porque-es menor que cada yeP. tracién. B) Suponga que x e8 selecto. Por corolario anterior Vy «© P, ySx (en tal caso yS/(x) porque x

You might also like