ADITIVIDAD EN CONJUNTOS PARCIALMENTE ORDENADOS por el doctor Roberto V azquez Garc a Hay tres tipos de aditividad que pueden

denirse en cualquier conjunto parcialmente ordenado (copo); a saber: semiaditividad, aditividad a secas y aditividad completa, donde cada uno de los dos u ltimos implica su inmediato anterior. La semiaditividad es una generalizaci on u til de la superabilidad en subconjuntos no vac os de conjuntos parcialmente ordenados (copos). En casos especiales, como son el de los conjuntos -completos o el de los conjuntos Ainductivos, las dos nociones coinciden en subconjuntos no vac os. En este art culo, P denota, sin excepci on, a un copo arbitrario.

Aditividad en copos arbitrarios

Denition 1 Sea = A P . Mediante A se denota a la familia de los subconjuntos no vac os y superables de A; s (A) denota al conjunto de las cotas superiores de A; B (A) := {x P : x = sup F, p.a. F A} Lemma 2 Sea = A P ; entonces: (a) s (A) = s (B (A)) (b) Si = G B (A), son equivalentes: (i) G es superable. (ii) Fx es superable, donde Fx A y x = sup Fx . Si se satisface cualquiera de las condiciones anteriores, entonces: sup G = sup Fx
xG xG

En particular: sup G B (A) Proof. (a) Se tiene: c s (A) c s (B (A)) En consecuencia, s (A) = s (B (A)). (i) (ii) Sea F = Fx . Entonces, para todo x G es
xG

x sup G de donde sup G es cota superior de F . Ahora sea z cualquier cota superior de F ; entonces, para todo x G, xz de donde sup G z 1

En consecuencia sup G = sup F Por consiguiente, sup G B (A) (ii) (i) Para todo x G, se tiene: x sup F Por consiguiente, sup F es cota superior de G. Ahora sea z cualquier cota superior de G; entonces, para todo y F , yz de donde sup F z En consecuencia G es superable y sup G = sup F Para cualquier x B (A) consid erese la subfamilia (Fj )J de A cuyos elementos Fj son tales que sup Fj = x. Si Fm,x := Fj entonces:
j J

Corollary 3 Fm,x A y, seg un el orden denido por la inclusi on, es el m aximo de los elementos de A cuyo supremo es x. Lemma 4 (a) Si = A P y x = sup A entonces A = Fm,x . ( b) Sean x, y B (A); entonces: x y Fm,x Fm,y Proof. x y y es cota superior de Fm,x Fm,y (Fm,x Fm,y ) Fm,y Fm,x Fm,y

Denition 5 Si = A P diremos que: (a) A es semiaditivo si C, D A implica que existe E A tal que C D E. (b) A es aditivo si C, D A implica C D A. (c) A es completamente aditivo si para cualquier subfamilia no vac a (Cj )J de A resulta que Cj A.
j J

Veamos ahora unas caracterizaciones de estos conceptos. 2

Proposition 6 Sea = A P ; entonces: (a) A es semiaditivo si, y s olo si, B (A) est a dirigido. (b) A es aditivo si, y s olo si, B (A) es una -semirret cula. (c) A es completamente aditivo si, y s olo si, B (A) es una -semirret cula completa. Proof. (a) Sean C, D A; si A es semiaditivo, entonces existe E A tal que C D E . Por consiguiente: sup C, sup D sup E y B (A) est a dirigido. Rec procamente: Si B (A) est a dirigido y sup C = x, sup D = y sea z B (A) tal que x, y z Debido al lema anterior se tienen: C Fm,z , D Fm,z Entonces C D Fm,z Por lo tanto, A es semiaditivo. (b) y (c) se siguen del segundo inciso del primer lema.

1.1

Caracterizaci on de los subconjuntos semiaditivos superables

Theorem 7 Sea = A P ; son equivalentes: (a) A es superable. (b) A es semiaditivo y existe una sucesi on (Gi )I de B (A) subconjuntos superables no vac os, donde I es un intervalo inicial de n umeros ordinales, cumpliendo con las condiciones: (i) Gj Gk si j k y existe i I tal que Gi = Gi+1 . (ii) Si G j := Gi (j 1) entonces Gj es superable.
i<j

(iii) Si sup FG / s (A), entonces existe a A FG tal que FG {a} FGj . j j j Proof. (a) (b) Por (a) y por (a) del primer lema, B (A) posee un u ltimo elemento; en consecuencia, B (A) est a dirigido. Por (a) de la proposici on anterior, A es semiaditivo. Ahora sea Gi = B (A) para i = 0, 1; entonces (Gi )I satisface las condiciones (i),(ii),(iii) anteriores. (b) (a) Sea i I tal que Gi = Gi+1 ; entonces G i+1 = Gi y, por (iii), si sup FG / s ( A ), entonces existe a A F tal que F G {a} FGi+1 . G i+1 i+1 i+1 Consecuentemente: sup FG s ( A) i+1 Por lo tanto, A es superable. 3

Proposition 8 Sea A cualquier conjunto aditivo; entonces: (a) Todo subconjunto no vac o de A es aditivo. (b) Si A no es completamente aditivo, existe un subconjunto no vac o de A que no es superable. (c) A es completamente aditivo si, y s olo si, para todo subconjunto no vac o A de A resulta que B (A ) contiene una sucesi on (Gi )I de B (A) subconjuntos superables no vac os, donde I es un intervalo inicial de n umeros ordinales, cumpliendo con las condiciones (i), (ii) y (iii) del teorema anterior. Proof. Sea = A A; entonces, A A. Consiguientemente: C, D A C, D A C D A

Theorem 9 Sea = A P ; son equivalentes: (a) A es completamente aditivo. (b) B (A) es completamente aditivo. Proof. (a) (b) Sea = G B (A). Por (b) del primer lema, G es superable. (b) (a) Es inmediato. Example 10 P = (Z, ), donde denota al orden usual en Z. Example 11 P es -completo o P es A-inductivo. Example 12 Si P = (Q (0, 1] , ), donde denota al orden usual en Q (0, 1], entonces P es aditivo y superable. Si para toda i (0, 1] Q es Pi := ({r Q (0, 1] : r < i} , ) donde denota al orden usual, entonces Pi no es superable. Del primer ejemplo resulta que la aditividad y la aditividad completa son nociones diferentes. Adem as, por el teorema anteanterior, puede considerarse la semiaditividad como una generalizaci on de la superabilidad en conjuntos no vac os. Respecto al segundo de los ejemplos anteriores, se tendr a que todo P subconjunto dirigido ser a superable tanto si P es -completo como si P es A-inductivo por el lema 2 de [1]. Cabe se nalar que, sin emplear el lema 2, se tendr a una sucesi on (Gi )I , donde I es un intervalo inicial de n umeros ordinales, tal que Gi+1 Gi = {xi+1 } hasta cierto rango y Gj = Gj +1 para los t erminos restantes, resultando as un conjunto bien ordenado cuyo supremo es cota superior de B (A). Por el u ltimo ejemplo resulta que en (b) del teorema anteanterior no se puede omitir la hip otesis de que exista la sucesi on (Gi )I .

Copos en donde todo conjunto aditivo es superable

Theorem 13 Sea A cualquier P -subconjunto no vac o; son equivalentes: (a) A es aditivo. (b) A es completamente aditivo. Proof. (a) (b) Por (a) de la proposici on anterior. (b) (a) Es inmediato. Proposition 14 Si en P todo conjunto semiaditivo es superable entonces todo conjunto aditivo es completamente aditivo. Proof. referencias [1] A. Abian y P.A. Kent. Total compactness of A-inductive partially ordered sets. Revista colombiana de Mat.4 n 3-4 (1990).