Scribd Logo
Upload

Welcome to Scribd!

  • Unidad 4 Clases Parcialmente Ordenadas

    Uploaded by

    Barbara
    5 views21 pages

    Original Title

    UNIDAD 4 CLASES PARCIALMENTE ORDENADAS

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    Download as pdf
    5 views21 pages

    Unidad 4 Clases Parcialmente Ordenadas

    Uploaded by

    Barbara

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    Download as pdf
    of 21
    Saath fh CLASES PARCIALMENTE ee » UNIDAD 4. > * DEFINICION 53. Una clase parcialmente ordenada ez donde A es una clase y G es una telacié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 Pare cualquier dog elementos x. € A. [ecw fhe fo) BREFINICION 61. Sean Ay B claser parcialmente ordenadas; -una funcién f: A*B se llama un Isomoriismo, si es biyectiva y cumple le siguiente condicién: - Para cualquier dos 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 (F(a) ¥8F(&), 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) Sis: AxB ee un temorfiemo, En:onces es biyectiva, Por tanto J‘: BA es biyectiva. Luego Por Teorema anterior / BA es de incremento. Finalmente, E00 5 £*0y) & 16S 00) s 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 e+ (@s)u < (sof yr]. 7 (xsy me f(x) SF Cy) ow GF) 5 BS) oe (@fyo < (et rb). y f?ezmuctoy 82. St Ay B son clases rarcialmente ordenadas y sviate ; isomorfiswo-enctre Ay B, decimos que A es Isomorfico con B. \Para indicar este hecho escribimos A = B. (gueneicios\ \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 estrictamese 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 elemenitu 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 TOTALMENTE ORDENADAS Y Cli SES BIEN ORDENADAS. DEEINICION 72. Sea A una clase pr rcialmente ordenada. A se llama Chae,’ TetR/ Crile lo g Clr, fli. OCrdterte aed a2, Set A oe dee Preeti, etter Aw Jel totalmente ordenada, si cualquiir dos elementos de A son © comparable Noha. 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 deneda y Bes una clese 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 inicisl. Por tanto, Sy Si oy m. Debemos demostrar que B=S, . ntonces nto mindio m. Luego xeB. (Porque mn es ele rocamente, suponga que €B. Si entonces: (por definicién de seccién), Lo cial es absurdo por la. escogencia ce m. Luego, xem, e8 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 Ing: Si Ply) es cierto sete caso, P(x) es cierto. para ceda elemento xeA, cumple ls ara cada y que la clase 2, y sea g el elem@hto minimo de P. Por decir, 0° 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¢fa), s decir, f(s) ¢ 8), lo cual es iposible por que e! @ Susneste en una subclase de £.. Por tanto, la funcién’ # | como fué asumida no existe. ee BCOROLARIO 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 extete"d: BC, donde CSA. Claramente gi Bea 126 una funcién, y ad BeA, ' f: AvS, eon ambas de incremento, Por tanto su compursta (f og): BoB, ito. Es decir, (PoP) 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 y of lo una de las siguientes .firmaciones: ib A es somorfico con B, ii) A es isomérfico con un segme:to inicial de B. i444) 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 28 un fsomorfismo. asi Cx)? » gue Des una seecién de B. Entonces, por teorema 59 el ema quedara probado si demo stramos que el sig nte enune ado also: C es un s ento inicial de A y D es un segmento inicial ngauos que es cierto. 8.. debemos proba» que C+D es un isomorfiemo, es devir, C = Dasis,*§. Pero entonces, cusl ©3 absurdo. Esto prueba ane twee—vondicionss—1y;" iT) 711) Be sue na se cumplan dos condiciones’ simaltaneamen e se d4 por corolario 6 y \lema'5. “ COROLARIO 2. Sea A una clase bien ordenada, cualquier subelase de A es iscmorfica con A o con un <=gmento inicial de A. is emostracién. . Bega como éJercicio al lector ta @ EJERCICIOS 4.6. EL AXIOMA DE BLECCTON, - wn condunto, acordsremos escribir "ay (A) ~ {%}). Urs’ funetén elecotén para A ea una functén ry @® "(ayoa, tal que VwBe F "AD, PCB) € 128 AXLOMA &.(48) (AXIOMA DE ELECCIOK) Cualguier conjunte tiene una funcién eleccién. un conjunto y f: AeB una funcién. / solo si existe una funcién g: IsA tal aque Demos tra, uO) Yr, para cada yeR, f(y} es un subconjunto no vacio de A. Si r és la funcién elece ion rp E+A por gy) =r(7os), para ety) es un element: arbitrario a), entonce: x € F(y), por tanto, f(x) = y, eatonces Fog F/O sy = Ty). ongamos alora aque ue iste una juncién igo fA mrchbac is fo Bah 1,Q)= (sof) = flap), es decir. si y €8 cualquier elemento B, entonces y = f(x), donde x = g(x)eA. BIERGICIOS 4.7. . UNA APLICACION DEL AXIOMA DE ELECC(ON. Sea A om ecenjunto parcialmente ord:nado, tal que cualquier cadena de A tiene Sup en A y supongamos qie A tiene elemento minimo p. Mostrurcnng que existe un elemento seA, tal que,a no tiene sucesor ato. Suponganos que cualauier elemento tiene sucesor inmediato y v 808 gue cesta suposicién nos lleva a una contradiccisn. Si cvalauicr elemento de A tiene sucesor inmediato, podemos definiy una funelén f: AA, tal cue, para cada FO) es 129 sor inmediato de x. Ahora, :a T, el conjunto de todos sucescr inmediatos de x, por el axioma de eleccién, existe elon g tal que gf) © T. Definamos = a(T,). Cleramente f(x) e8 el sucesor inmediato de x. Aun iguientes condiciones: Junto y BS Jhana peaerié st f) Si x © B, entonces f(x) € una cadena de B, entonzes (sup C) « B cién de p-series es una p-serie. Be deja como rejicio al lector. Nota. D notaremos por P la inters.-ccién de todas las p-series. SION 80. Un elemento x«P se Llama selecto #1 es sto Yer. i dauicr—elon Suponga que x selecto, yeP y y 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 y6B., 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 = e3 selecto, entonce: Demon tractén. BL es una p-serie, P es la. interceccién de todas las p-series. Por tanto, i+ Pe anied xO YES (RT oO BSP por d Luego P\= Ro Ass, LEMA 9. E1 conjunto de todos los elementos selectos es una p-serie. Dem o) pes selecto, porque-es menor ave cada yeP. tracién. 6B) Suponga que x e8 selecto. Por corolario anterior Vy «© P, ySx (en tal caso yS/(x) porque x

    You might also like