Captulo 1 Dualidad

En adelante, la notacin <mor designar a la clase de los morsmos de la categora <. 1. Sea < cualquier categora; entonces, la cuarteta (|<| , <mor , d, c) constituye una digrca. Sea la coleccin que consta de lo siguiente: Una clase || = |<| Otra clase mor = <mor

Dos funciones d0 , c0 entre estas clases denidas como d0 : mor || f Entonces, es claro que la cuarteta (|| , mor , d0 , c0 ) constituye una digrca. 2. (i) Sean f (A, B) Entonces A = d0 (f ) = c (f ) , B = c0 (f ) = d (f ) Puesto que f < (d (f ) , c (f )) entonces f < (B, A) y 1 g < (C, B) y g < (d (g) , c (g)) y B = d0 (g) = c (g) , C = c0 (g) = d (g) y g (B, C) 7 c (f ) y c0 : mor || f 7 d (f )

2 por lo que se puede hacer referencia a la <-echa f < g < (C, A) Consecuentemente, si se dene entonces se tendr la referencia de una -echa g f = f < g

g f (A, C) (ii) Sea A ||; entonces, (A, A) = < (A, A)

por lo que se puede hacer referencia a la <-echa 1A . Este par de hechos bastan para armar que la cuarteta (|| , mor , d0 , c0 ) constituye un sistema deductivo. 3. Por tratarse de una categora, en <mor est denida una congruencia < ; puesto que toda -prueba es una <-prueba, puede mirarse a < como una congruencia entre -pruebas, deniendo = < (iii) Sean Entonces Por lo tanto (iv) Si entonces f < (B, A) y se sabe que (f < 1B ) < f Por lo tanto (1B f ) f Esto demuestra que la cuarteta (|| , mor , d0 , c0 ) constituye una categora, para la cual se emplear la notacin <op . <op es la categora dual de la categora <. [X] y g (g 1B ) y g < (1B < g) y g < (C, B) f (A, B) , g (B, C) , h (C, D) h (g f ) = (f < g) < h < f < (g < h) = (h g) f h (g f ) (h g) f f (A, B) y g (B, C)

3 Ejemplo 1.1 La categora dual, Setop , a la categora de los conjuntos tiene como objetos a todos los conjuntos y como conjunto de morsmos entre dos conjuntos X y Y arbitrarios a Setop (X, Y ) = Set (Y, X) Es decir, un Setop -morsmo de X en Y es una funcin de Y en X. Ejercicio 1.1 Sea C la categora pequea cuya clase de objetos es el conjunto subyacente X del conjunto preordenado (X, ). Probar que C op tambin es una categora pequea inducida por un conjunto preordenado. Ejercicio 1.2 Sea G = (X, , e) un grupo cualquiera y sea CG la categora con un slo objeto op O y cuyo conjunto de morsmos es X. Probar que tambin CG es una categora pequea inducida por un grupo G0 = (X, , e). Observacin 1.1 El hecho de que tanto los objetos como los morsmos de una categora son objetos y morsmos en la categora dual1 , y que la composicin de cualesquiera dos de sus morsmos se traduce en otra composicin (la composicin dual) en la categora dual conlleva repercusiones tericas de caracter profundo porque hace factible duplicar el contenido terico de la teora tanto a nivel proposicional como a nivel conceptual. Para entender cmo es esto posible, supngase que A es una armacin que tiene sentido en cualquier categora; si con A (<) denotamos la armacin A en <, entonces A (<op ) es una armacin con sentido en <op que puede interpretarse como otra armacin en < (la armacin dual) que se denotar como co A (<) para distinguirla de A (<). As, si A dene un concepto en cualquier categora, entonces A (<op ), que es la denicin de tal concepto en <op , dene otro concepto (el concepto dual o co-concepto) en <. Ms an, si A fuese una proposicin cuya validez ha sido demostrada en cualquier categora, entonces A (<op ) es una proposicin verdadera que conserva su caracter de verdad an leda como co-proposicin en <. Se ilustrar lo dicho con unos ejemplos: Ejemplo 1.2 La denicin de monomorsmo dada en puede reescribirse de la manera siguiente: A : Un monomorsmo es un morsmo f : A B tal que para todo par de morsmos h, k : A0 A se tiene que fh = fk h = k Entonces, A (<) es la denicin de <-monomorsmo. <-escribmosla: A (<) : Un <-monomorsmo es un <-morsmo f < (A, B) tal que para todo par de <-morsmos h, k < (A0 , A) se tiene que
1

Y viceversa: (<op )op = <.

f h=f k h=k

4 Anlogamente, A (<op ) dene monomorsmo en <op ; si se quiere <op -escribirla slo hay que elevar a la op algunas letras del prrafo anterior: A (<op ) : Un <op -monomorsmo es un <op -morsmo f <op (A, B) tal que para todo par de <op -morsmos h, k <op (A0 , A) se tiene que f op h = f op k h = k Llega el toque nal: Leer a A (<op ) como codenicin del coconcepto de monomorsmo en <; co-escribmosla: co A (<) : Un <-comonomorsmo es un <-morsmo f < (B, A) tal que para todo par de <-morsmos h, k < (A, A0 ) se tiene que hf =kf h=k Por razones tcnicas y lingsticas se ha credo idneo elegir el prejo epi para sustituirlo por los prejos co y mono al referirse a este tipo de morsmos. El procedimiento anterior ha conducido a ellos y ahora se puede dar su denicin precisa: B : Un epimorsmo es un morsmo f : A B tal que para todo par de morsmos h, k : B B 0 se tiene que hf = kf h = k Es fcil comprobar que la aplicacin del proceso anterior a la armacin B llevara de regreso a A. Ahora se demostrar que la siguiente proposicin P es verdadera en toda categora. f g P : Si A B y B C son monomorsmos, entonces g f es monomorsmo. h,k Dem. Sean A0 A morsmos tales que (g f ) h = (g f ) k Entonces g (f h) = g (f k) , de donde f h = f k por ser g un monomorsmo. Como f tambin lo es, de la ltima igualdad se sigue que h = k. Por lo tanto, g f es monomorsmo.
[X]

La proposicin P referida a una categora < arbitraria dice: P (<) : Si f < (A, B) y g < (B, C) son <-monomorsmos, entonces g f es <monomorsmo. Referida a la categora dual dice: P (<op ) : Si f <op (A, B) y g <op (B, C) son <op -monomorsmos, entonces g op f es op < -monomorsmo. P (<op ) es particularmente verdadera en <op porque la verdad de P est demostrada en general; vale para cualquier categora. Slo que ahora, por la relacin entre <op y <, se la puede releer como una armacin (verdadera) referente a <-morsmos que dice otra cosa: co P (<) : Si f < (B, A) y g < (C, B) son <-comonomorsmos, entonces f g es <-comonomorsmo. Bien traducida, esta nueva proposicin puede quedar as:

5 Q : Si A B y B C son epimorsmos, entonces g f es epimorsmo.

[X]

Para quedar en punto de formular un Principio de Dualidad slo resta hacer la advertencia de que no ser formulado con todo el rigor de que es susceptible; aunque sugerente, la formulacin que aqu se ofrezca ser informal e imprecisa. Mayor precisin exige una aplicacin metdica de la lgica formal que, quien se interese, podr hallarla en el libro de Mac Lane Categories for the Working Mathematician (Springer-Verlag, Berln-Heidelberg-New York 1971). Principio de Dualidad I. Para todo concepto i concerniente a cualquier categora <, el concepto dual o coconcepto ( co i) se obtiene aplicando i a la categora dual <op y leyendo lo enunciado con referencia a <. II. Para toda proposicin verdadera p sobre categoras, la proposicin dual o coproposicin ( co p), que se obtiene sustituyendo en p todo concepto por el coconcepto correspondiente, tambin es verdadera. Los ejemplos anteriores ya han dado idea del uso que se har de este principio. Desde luego, en adelante se omitirn los detalles del proceso de dualizar limitndose a dar nombres (cuando haya que darlos) a los coconceptos obtenidos y a dejar enunciadas las coproposiciones anteponindoles siempre el prejo co . Para ilustrar este breve modo de proceder, a continuacin se presenta otra proposicin referente tambin a monomorsmos. Proposicin 1.1 Sea < una categora arbitraria y sean f < (A, B) y g < (B, C). Si gf es un <-monomorsmo, entonces tambin lo es f . Demostracin. Sean h, k < (A0 , A) tales que f h = fk. Entonces (gf ) h = g (f h) = g (fk) = (gf ) k y como gf es monomorsmo, entonces h = k. Por lo tanto, f tambin es monomorsmo.
[X]

Proposicin. Sea < una categora arbitraria y sean f < (A, B) y g < (B, C). Si gf es un <-epimorsmo, entonces tambin lo es g.
[X]

co

Denicin 1.1 En una categora arbitraria un morsmo que sea simultneamente monomorsmo y epimorsmo se llama bimorsmo. Obsrvese que el someter esta denicin al proceso de dualizacin en busca del coconcepto correspondiente conduce de regreso al mismo concepto de bimorsmo. Se trata pues de un concepto autodual. Tomando en cuenta que los morsmos identidad de <op son los mismos que los de <, se tiene que tambin el concepto de isomorsmo es ejemplo de un concepto autodual. Esta situacin deja puestas las condiciones de poder mostrar un ejemplo de una proposicin que sea autodual. Proposicin 1.2 En cualquier categora todo isomorsmo es un bimorsmo.

6 Demostracin. Sea f < (A, B) un isomorsmo; entonces existe g < (B, A) tal que gf = 1A y f g = 1B Sean
h1 k1 h2 k2

A0 A y B B 0 morsmos tales que f h1 = f k1 y h2 f = k2 f entonces (gf ) h1 = (gf ) k1 y h2 (f g) = k2 (fg) de modo que h1 = k1 y h2 = k2 Esto signica que f es monomorsmo y es epimorsmo. Por lo tanto, f es un bimorsmo.
[X]

Ejercicio 1.3 Demuestre que en Set: a) f es inyectiva si, y slo si, f es un monomorsmo. b) f es suprayectiva si, y slo si, f es un epimorsmo. De acuerdo al ejercicio anterior, en Set los conceptos categricos de monomorsmo y epimorsmo coinciden con los de funcin inyectiva y funcin suprayectiva, respectivamente. Como entre aqullos se da una dualidad mutua, hay quienes presentan a stos ltimos como recprocamente duales, cosa que ya no es del todo cierta. En Set las ideas de inyectividad y suprayectividad tienen una conotacin muy precisa; pensemos en la primera: aplicar elementos distintos de un conjunto en otro conjunto de modo que se consiga la inmersin del primero en el segundo. Y qu nocin se antojara proponer como dual de esta idea? ...Pues, quin sabe! Intuyendo lo que ha de ser dualidad, acaso pudiera ocurrirse algo, menos proponer la suprayectividad como nocin dual. Y lo propio acontece si pensamos en sta ltima. Y es que a la idea de dualidad le ocurre lo que ya presuma Platn que acaeca a toda idea: mientras se mantiene inscrita al orbe al que pertenece, goza de una perfeccin impecable, pero a medida que tiende a concretarse su perfeccin se diluye, sus componentes mutan y la idea de dualidad asume deformaciones tericamente muy interesantes dentro de cada categora especca. Pese a esto, no deja de dar la gana de pensar a lo inyectivo como dual deformado de lo suprayectivo, no slo en Set, sino incluso hacer extensivo este pensamiento y concebir a los morsmos inyectivos y suprayectivos como nociones recprocamente duales dentro de toda categora concreta. Sostenerse en este tenor puede parecer necio pero da la pauta para que pueda hacer un uso un tanto diferente del Principio de Dualidad, pues a partir de una armacin que, sin tener sentido en toda categora s lo tenga para una clase especial de stas como son las categoras concretas, se puede, aplicando el Principio, conjeturar una armacin que sea casi dual de la inicial.

7 Despus se comprobar que la categora dual de una categora concreta tambin es concreta; por ahora se supondr cierto tal resultado. Ya se demostr que en toda categora concreta una fuente que separa puntos es monofuente. Un caso particular de este resultado se tiene cuando la fuente consta de una sola echa; si la fuente separa puntos, tal echa es un morsmo inyectivo. Por lo tanto, el corolario que se est desprendiendo aqu puede enunciarse as: C : Todo morsmo inyectivo es un monomorsmo. Como C slo tiene sentido (y es verdadera) en cualquier categora concreta, aplicada a una categora concreta K es: C (K) : Todo K-morsmo inyectivo es un K-monomorsmo. Como (segn se ha supuesto) tambin K op es concreta, entonces tambin es verdadera la armacin: C (K op ) : Todo K op -morsmo inyectivo es un K op -monomorsmo. De lo cual puede sospecharse la verdad de la armacin siguiente: D : Todo morsmo suprayectivo es un epimorsmo.2 Tratemos de probarla: Sea f K (A, B) suprayectivo y sean h, k K (B, B 0 ) tales que hf = kf . Entonces, dada la suprayectividad de f , para cada elemento y del conjunto subyacente a B existe x en el conjunto subyacente a A tal que f (x) = y. En consecuencia h (y) = h (f (x)) = k (f (x)) = k (y) Por lo tanto, h = k.
[X]

De la verdad de una proposicin casi dual siempre hay que cerciorarse pues aunque en los ms de los casos es legitimable, no siempre resulta cierta. Pero insstase ms sobre lo poco conveniente que resulta mirar como duales conceptos cuya signicacin slo tiene sentido en el mbito de las categoras concretas; para tal efecto se redundar un poco respecto de lo ya comentado arriba y, como ah, se hablar guradamente. Segn se ha visto, los monomorsmos y los epimorsmos son perfectamente duales en una alta esfera del pensamiento abstracto y cuando son proyectados sobre la categora base de las categoras concretas (Set) coinciden con sus morsmos inyectivos y suprayectivos, respectivamente. Cuando, con base en Set, se forma una categora concreta K, posiblemente slo una parte de las funciones inyectivas y suprayectivas entre los conjuntos subyacentes de los K-objetos sean K-morsmos porque quiz no todas ellas preserven la K-estructura. Ya se vi que todas aquellas que s la preservan pasan a formar parte de los K-monomorsmos, si son inyectivas, y de los K-epimorsmos, si son suprayectivas. Denotando por K mor y in K mor a las clases de K-morsmos inyectivos y suprayectivos, y por MK y EK a las clases de spa K-monomorsmos y K-epimorsmos, respectivamente, se pueden simbolizar esos resultados escribiendo K mor MK y K mor EK in spa Ahora bien, pueden mostrarse ejemplos de categoras concretas para las cuales al menos una de las contenciones anteriores resulte una contencin propia (se vern ejemplos). Tomando esto en consideracin, se ve con algo ms de claridad lo complicado que resultara
Desde luego, f : (X, ) (Y, ) es un morsmo suprayectivo si f K ((X, ) , (Y, )) y la funcin f : X Y es suprayectiva.
2

8 insistir sobre la dualidad entre las subclases K mor y K mor (o entre sus miembros) siendo in spa que en ellas la dualidad efectiva que hay entre MK y EK se encuentra menguada, quiz estrictamente y, peor an, quiz en proporciones diferentes. Pero no vaya a pensarse que ya por eso haya que desentenderse de estas subclases de K-morsmos ni que las haya que hacer a un lado. No; pese a la casi dualidad que guardan (o tal vez debido a ella), los K-morsmos inyectivos y suprayectivos (acompaados de Kestructuras iniciales y coiniciales) constituyen parte esencial de este estudio. Una categora concreta en la que existen epimorsmos que no son morsmos suprayectivos es Rngu , la categora de los anillos con elemento unitario y de los homomorsmos anulares que conservan la unidad. (i) Para todo X Set, Rngu [X] consta de ternas (+, , u) en las que +, : X X X y u X estn sujetos a los consabidos axiomas para anillos con uno. (ii) En consecuencia, parejas del tipo (X, (+, , u)) en las que X Set y (+, , u) Rngu [X] son los Rngu -objetos o anillos con elemento unitario.3 (iii) Dados dos anillos con uno, A = (X, (+X , X , uX )) y B = (Y, (+Y , Y , uY )), una funcin f : X Y tal que f (x1 +X x2 ) = f (x1 ) +Y f (x2 ) f (x1 X x2 ) = f (x1 ) Y f (x2 ) y f (uX ) = uY es un Rngu -morsmo u homomorsmo anular que conserva la unidad. Los axiomas (m1 ) y (m2 ) que denen a una categora concreta se verican fcilmente. Considrense ahora los anillos (Z, (+, , 1)) y (Q, (+, , 1)) con sus sumas, productos y unos usuales, y pinsese en la inclusin : Z Q. Es claro que Rngu ((Z, (+, , 1)) , (Q, (+, , 1))) y que no es un morsmo suprayectivo. Es un epimorsmo sin embargo. En efecto, dados h, k Rngu ((Q, (+, , 1)) , (X, (+, , 1))) tales que h = k se tiene que, para cualquier n Z, h (n) = h ( (n)) = h (n) = k (n) = k ( (n)) = k (n) y si n 6= 0 1 1 1 1 h (n) h =h n = h (1) = 1 = k (1) = k n =k k (n) n n n n

Por brevedad se hablar de anilos con uno.

9 de modo que 1 1 1 1 1 1 1 1 h =h k (n) k = h k (n) k = h h (n) k =k n n n n n n n n As, si m, n Z y n 6= 0 m m 1 1 = h (m) h = k (m) k =k h n n n n

i.e. h = k

Otra categora concreta en la que hay epimorsmos que no son suprayectivos es la categora T2 de los espacios de Hausdor y de las funciones continuas. Para mostrar un ejemplo se requiere de un par de resultados bsicos de topologa general que son los siguientes. Proposicin 1.3 Sean, h, k : (X, ) (Y, ) dos funciones continuas cualesquiera y A = {x X : h (x) = k (x)} Si (Y, ) es T2 entonces A es cerrado en (X, ). Demostracin: Sea x X A; entonces h (x) 6= k (x), y como (Y, ) es T2 , existen V1 , V2 tales que h (x) V1 , k (x) V2 y V1 V2 = . Adems h y k son continuas, de modo que, siendo Nx la familia de vecindades abiertas de x, se tiene h1 (V1 ) , k 1 (V2 ) Nx ; 1 1 h (V1 ) k (V2 ) Nx , y como h h1 (V1 ) k1 (V2 ) V1 y k h1 (V1 ) k1 (V2 ) V2 entonces h1 (V1 ) k1 (V2 ) X A; X A ; por lo tanto, A es cerrado.
[X]

Corolario 1.1 Sean h, k : (X, ) (Y, ) dos funciones continuas tales que h | D = k | D, donde D es denso en (X, ); si (Y, ) es T2 entonces h = k. Demostracin: Como h | D = k | D, entonces D A (de la proposicin anterior) que es cerrado. Luego, X =DA=A 4 Por lo tanto, A = X; por lo tanto, h = k.
[X]

Ahora el ejemplo: Considrense los conjuntos Q y R que con sus topologas usuales son espacios de Hausdor; tmese la inclusin : Q R y un par de T2 -morsmos h, k : R (Y, ) tales que h = k. Entonces h (q) = h ( (q)) = h (q) = k (q) = k ( (q)) = k (q) para todo q Q; o sea que Q A. Como consecuencia del corolario anterior se tiene h = k. Por lo tanto, es un epimorsmo que, por supuesto, no es suprayectivo.
[X]
4

Las barras denotan cerradura.

10 Observacin 1.2 En cada uno de los ejemplos anteriores el ejemplo expuesto ha sido un morsmo inyectivo, por lo tanto, un monomorsmo. Como ambos son epimorsmos y ninguno suprayectivo, ambos son ejemplos de bimorsmos que no son isomorsmos. Para el caso de T2 se puede decir ms todava. Denicin 1.2 En Top y en cualquiera de sus subcategoras, un morsmo es denso si es densa su imagen en el codominio. Proposicin 1.4 En T2 todo morsmo denso es un epimorsmo. Demostracin. Sea f T2 ((X, ) , (Y, )) denso y sean h, k T2 ((Y, ) , (Y 0 , 0 )) tales que hf = kf ; entonces, h | f (X) = k | f (X). Debido al corolario anterior, h = k; por lo tanto, f es un epimorsmo.
[X]

La caracterizacin de los epimorsmos en una categora concreta abre un interesante campo de dicultades en esta teora. En el caso de T2 , el recproco de la proposicin anterior termina de dar la caracterizacin completa. Proposicin 1.5 Todo epimorsmo en T2 es un morsmo denso. Demostracin. Se probar la proposicin contrapuesta, demostrando que si f T2 ((X, ) , (Y, )) no es denso entonces f no puede ser epimorsmo. Para ello se construir un espacio de Hausdor (Z, ) hacia el cual puedan denirse desde (Y, ) dos funciones continuas distintas pero cuyas composiciones con f sean iguales. Para la constuccin de Z hay que empezar fabricando dos copias de Y : Para cada i {1, 2} sean Yi = {(y, i) : y Y } y considrense las biyecciones gi : Y Entonces i = {gi (V ) : V } es una topologa para Yi que hace de cada gi : (Y, ) (Yi , i ) un homeomorsmo. Para la construccin de Z habr identicar estas copias de Y pegndolas sobre la cerradura de f (X); antes hay que unirlas, considerar las inclusiones i : Yi Y1 Y2 Yi y 7 (y, i)

11 y la topologa para Y1 Y2 denida por = U Y1 Y2 : 1 (U ) i , i {1, 2} i

que hace de cada inclusin una funcin continua. No es difcil comprobar que (Y1 Y2 , ) es de Hausdor. Sea la relacin de equivalencia en Y1 Y2 denida por (1) (y, i) (y, i) , y Y, i {1, 2} ; (2) (y, i) (y, j), si y f (X) e i, j {1, 2}. Sea Z la familia de clases de equivalencia (Y1 Y2 ) / y considrese la aplicacin cannica p : Y1 Y2 Z (y, i) 7 [(y, i)] Entonces o n e e = U Z : p1 U

es una topologa para Z que hace de p una funcin continua. Se ver que T2 [Z] analizando dos posibles casos. Sean [(u, i)] , [(v, j)] Z, [(u, i)] 6= [(v, j)]; sea W = Y f (X). (1o ) u = v; entonces u, v W y j 6= i; [(u, i)] = {(u, i)} , [(v, j)] = {(v, j)} Adems (u, i) gi (W ) i , [(v, j)] gj (W ) j porque W ; y como gi (W ) = 1 (gi (W )) , 1 (gi (W )) = y gj (W ) = 1 (gj (W )) , 1 (gj (W )) = i j j i entonces gi (W ) , gj (W ) (en conformidad con la denicin de ). Sean e e U = {[(y, i)] : y W } y V = {[(y, j)] : y W } e e p1 U = gi (W ) y p1 V = gj (W ) (u, i) Ui , (v, i) Vi y Ui Vi = e e [(u, i)] U y [(v, j)] V

entonces Adems

e e e e por lo tanto, U, V y es claro que U V = . (2o ) u 6= v; entonces para (u, i) y (v, i) existen Ui , Vi i tales que

12 Sea k {1, 2} , k 6= i; entonces 1 (Ui ) = Ui , 1 (Ui ) = y 1 (Vi ) = Vi , 1 (Vi ) = i i k k En consecuencia, se tiene que Ui , Vi . Para esta k hgase Uk = {(y, k) : (y, i) Ui } y Vk = {(y, k) : (y, i) Vi } Tambin Uk y Vk son abiertos ajenos en porque g : (Yi , i ) (Yk , k ) (y, i) 7 (y, k) es un homeomorsmo y g (Ui ) = Uk y g (Vi ) = Vk . Luego U = Ui Uk Entonces (u, i) U , (v, j) V y U V = cualquiera que sea el caso (i.e. j = i i 6= j). Sean e e U = {[z] : z U} y V = {[z] : z V } y V = Vi Vk

e e entonces U, V y

e e e e [(u, i)] U , [(v, j)] V y U V = 1 e 1 e U =U yp V = V , como fcilmente se comprueba. porque p Hasta aqu la prueba de que (Z, ) es de Hausdor. Finalmente, defnanse para cualesquiera y Y e i {1, 2} hi : (Y, ) (Z, ) y 7 [(y, i)]
p

Entonces

hi : (Y, ) (Yi , i ) (Y1 Y2 , ) (Z, ) , i {1, 2} Por lo tanto, h1 y h2 son funciones continuas. El suponer que f no es denso permite asegurar que h1 6= h2 ya que entonces existe y Y f (X) para la que h1 (y) = [(y, 1)] = {(y, 1)} 6= {(y, 2)} = [(y, 2)] = h2 (y) Sin embargo h1 f (x) = h1 (f (x)) = [(f (x) , 1)] = {(f (x) , 1) , (f (x) , 2)} = [(f (x) , 2)] = h2 (f (x)) = h2 f (x)

gi

13 Por consiguiente, f no es un epimorsmo, como se quera demostrar.

En cuanto a los monomorsmos, ms adelante se ver que es posible dar hiptesis adecuadas a n de garantizar su coincidencia con los morsmos inyectivos en una amplia familia de categoras concretas. El carcter general que poseen las nociones de monomorsmo y epimorsmo en categoras se consigue abstrayendo las propiedades algebraicas de composicin correspondientes (leyes laterales de cancelacin) elevndolas al rango abstracto de los morsmos. Siguiendo la misma va es posible dar cabida a otras nociones de carcter igualmente abstracto y general y cuya resonancia con las que ya se tienen son de gran inters terico. Ejercicio 1.4 Demuestre que en Set: a) f : X Y es inyectiva si, y slo si, existe g : Y X tal que gf = 1X . b) f : X Y es suprayectiva si, y slo si, existe g : Y X tal que f g = 1Y . Denicin 1.3 Sea < una categora arbitraria; entonces, cualquiera de sus morsmos f < (A, B) es una <-retraccin si existe otro morsmo g < (B, A) tal que fg = 1B . Denicin. En una categora < un morsmo f < (A, B) es una <-corretraccin si existe otro morsmo g < (B, A) tal que gf = 1A . Nota: Las corretracciones se llaman secciones. Proposicin 1.6 Si K es una categora concreta, entonces toda K-retraccin es un morsmo suprayectivo. Demostracin. Sea f : (X, ) (Y, ) una K-retraccin. Entonces, f es un K-morsmo y existe otro, g : (Y, ) (X, ) tal que fg = 1(Y,) . En consecuencia, f : X Y es una funcin para la cual existe otra, g : Y X, tal que f g = 1Y . Por (b) del ejercicio anterior, f es suprayectiva como haba que demostrar.
[X] co

La proposicin casi dual co Proposicin. En una categora concreta K, toda K-seccin es un morsmo inyectivo tambin es verdadera y se prueba similarmente. Estos resultados, sumados a la informacin reunida con respecto a las relaciones entre inyectividad y monomorfa, suprayectividad y epimorfa, ya hablan sobre la no coincidencia entre retracciones y epimorsmos ni entre secciones y monomorsmos. De hecho, retomando una notacin anteriormente introducida y denotando como SK y RK a las clases de secciones y retracciones de una categora concreta K, se tiene SK K mor MK y RK K mor EK in spa Esto trae a colacin que en una categora concreta toda seccin es un monomorsmo y toda retraccin un epimorsmo, lo cual sugiere proponer un resultado ms general:

14 Proposicin 1.7 En cualquier categora < toda seccin es un monomorsmo. Demostracin. Sea f < (A, B) una seccin arbitraria y sean h, k < (A0 , A) tales que fh = fk. Por denicin de seccin, existe otro morsmo g < (B, A) tal que gf = 1A ; en consecuencia h = 1A h = (gf ) h = g (f h) = g (f k) = (gf ) k = 1A k = k Por lo tanto, f es un monomorsmo.
co [X]

Proposicin. En cualquier categora < toda retraccin es un epimorsmo.

[X]

Ejercicio 1.5 Sean, < una categora y f : A B un <-morsmo, arbitrarios. Probar que son equivalentes: (a) f es un isomorsmo. (b) f es seccin y retraccin. Ejemplo 1.3 He aqu un morsmo inyectivo que no es seccin. Sean X = {a, b, c} y X 0 = {a0 , b0 , c0 } y sean Pos [X] y 0 Pos [X 0 ] denidas como = {(x, x) , (a, x) | x X} y 0 = {(x0 , x0 ) , (a0 , x0 ) , (b0 , c0 ) | x0 X 0 } Entonces f : (X, ) (X 0 , 0 ) x 7 x0 es una funcin montona e inyectiva y suprayectiva; por lo tanto, existe su funcin inversa f 1 : X 0 X x0 7 x Sin embargo f 1 Pos ((X 0 , 0 ) , (X, )) / ya que porque (b, c) . / (b0 , c0 ) 0 ; f 1 b0 , f 1 c0

[X]

15

1.0.1

Funtores y Dualidad

A continuacin se aplicar el Principio de Dualidad al concepto de funtor, a n de conocer el coconcepto correspondiente. Recurdese que, siendo = y < unas categoras cualesquiera, un funtor F :=< es una regla de correspondencia que asocia (i) a cada =-objeto A un <-objeto F A (ii) a cada =-morsmo f = (A, B) un <-morsmo F f < (F A, F B) Esta regla: [a] preserva composiciones, es decir (F g) (F f ) = F (gf ) : F A F C para cualesquiera morsmos f = (A, B) , g = (B, C); [b] preserva morsmos idnticos, es decir F 1A = 1F A , A = En consecuencia, un cofuntor F op : =op <op es una regla de correspondencia que asocia (i) a cada =op -objeto A un <op -objeto F op A (ii) a cada =op -morsmo f =op (A, B) un <op -morsmo F op f <op (F op A, F op B) i.e. a cada =-morsmo f = (B, A) un <-morsmo F op f < (F op B, F op A) Esta regla: [a] preserva composiciones, es decir, para cualesquiera morsmos f =op (A, B) , g op = (B, C) (F op g) op (F op f ) = F op (g op f ) <op (F op A, F op C) o, lo que es lo mismo, para cualesquiera morsmos g = (C, B) , f = (B, A) (F op f ) (F op g) = F op (fg) < (F op C, F op A) [b] preserva morsmos idnticos, es decir F op 1A = 1F o p A , A |=op | (= |=|)
[X]

Ejercicio 1.6 Sea F : = < un funtor arbitrario y sea F op : =op <op el funtor dual a F que se dene con la misma regla que se dene F , i.e. F op A = F A, A = y F op f = F f, f =op (A, B) Probar que:

16 (a) F op es el si, y slo si, F es el; (b) F op es pleno si, y slo si, F es pleno. Segn queda indicado en (a) del ejercicio anterior, no es gran novedad lo que se obtiene sometiendo la idea de funtor al proceso de dualizacin; el coconcepto obtenido es el mismo. En cambio, ha resultado mejor la idea de dejar la dualidad a medio camino, ya sea de ida o de regreso, aplicando el procedimiento a medias, considerando funtores F : =op < o G : = <op Como los objetos y morsmos de la categora dual de una categora son objetos y morsmos de la propia categora, puede mirarse en tales funtores reglas que asocian objetos y morsmos de = con objetos y morsmos de <. Como las identidades en una categora son las mismas que en la categora dual, en su paso de = a < estas reglas preservan identidades. Y lo propio acontece con las composiciones slo que en el orden invertido. En efecto, si f = (A, B) y g = (B, C) entonces: (i) f =op (B, A), g =op (C, B) y se tiene que F (g f ) = F (f op g) = (F f ) (F g) ; (ii) Gf <op (GA, GB), Gg <op (GB, GC) por lo que G (g f ) = (Gg) op (Gf ) = (Gf ) (Gg) . Este hecho distingue a estas reglas de las dadas por los funtores tal cual se venan concibiendo hasta ahora; sin embargo, segn se acaba de ver, tambin son reglas funtoriales de asociacin de elementos entre categoras, debido a lo cual, tambin se llamarn funtores. Denicin 1.4 Sean = y < categoras arbitrarias. Un funtor contravariante de = en < es un funtor F : =op < Se escribir: F : = <. Observacin 1.3 1. Para acentuar ms la diferencia entre los funtores contravariantes y los funtores (a secas) se ha dado a stos el nombre compuesto de funtores covariantes. 2. Est claro que la notacin F : = < para un funtor contravariante no da lugar a equvocos porque en tal caso sabemos, de acuerdo con la denicin, que F (como funtor covariante) va de =op en <. 3. Siguiendo la denicin anterior, un funtor G : = <op es un funtor contravariante de =op en <op ya que (como funtor covariante) se puede reescribir como G : (=op )op (<op )

17 Ejemplo 1.4 Sea Opt : Setop Set tal que y si f Setop (X, Y ) entonces se dene por Opt X = 2X , X Setop ; Opt f Set 2X , 2Y

Opt f (A) = f 1 (A) , A 2X [a] Opt preserva composiciones. En efecto, sean f Setop (X, Y ) y g Setop (Y, Z) entonces, para cualquier C Z se tiene Opt (g op f ) (C) = Opt (f g) (C) = (f g)1 (C) = g 1 f 1 (C) = (Optg) (Optf ) (C) [b] Opt preserva identidades. En efecto, si A X, entonces Opt 1X Set 2X , 2X

es tal que

Opt1X (A) = 11 (A) = A = 12X (A) = 1OptX (A) X Opt : Set Set es el llamado funtor conjunto potencia contravariante. Proposicin 1.8 Opt : Setop Set es un funtor el. Demostracin. Hay que probar que para cualesquiera conjuntos X, Y , son inyectivas las funciones Opt(X,Y ) : Setop (X, Y ) Set 2X , 2Y Opt(X,Y ) (f ) : 2X 2Y

a las que Opt da lugar. Recurdese que para tales funciones la regla es: Dada f Setop (X, Y ),

A 7 f 1 (A)

Para demostrar la inyectividad de Opt(X,Y ) se probar que aplica elementos distintos de su dominio en elementos distintos de su codominio. En efecto, sean f1 , f2 Setop (X, Y ) , f1 6= f2 Entonces existe y Y tal que f1 (y) 6= f2 (y)

18 Se quiere ver que tambin Opt(X,Y ) (f1 ) 6= Opt(X,Y ) (f2 ) para lo cual hay que exhibir un A 2X tal que
1 1 f1 (A) 6= f2 (A)

Considrese A = {f1 (y)} Es claro que

y
[X]

y f2 {f1 (y)} / 1

con lo cual la proposicin queda demostrada. Ejercicio 1.7 Describa la concrecin de Setop a la que Opt da lugar. Ejercicio 1.8 (a) Demuestre que para Opt valen las siguientes propiedades (que Pot no tiene): (i) Opt f (B1 B2 ) =Opt f (B1 ) Opt f (B2 )

(iii) Opt f () =

(ii) Opt f (B1 B2 ) =Opt f (B1 ) Opt f (B2 )

(iv) Opt f (Y ) = X (v) XOpt f (B) = Opt f (Y B)

(b) Puede describirse una concrecin de Set va Opt? De responder armativamente describa tal concrecin. De responder negativamente, justique su respuesta. Antes de pasar a otra cosa se probar un resultado cuya demostracin qued pendiente. Proposicin 1.9 La categora dual de una categora concreta es concretable. Demostracin. Sea K cualquier categora concreta y sea U : K Set el funtor que olvida; se sabe que U es un funtor el, de modo que tambin es el el funtor dual U op : K op Setop Entonces, el funtor compuesto es un funtor el, lo cual signica que K op es una categora concretable.
[X]

OptU op : K op Set

19

1.0.2

Estructuras Finales

En la seccin anterior se habl de la posibilidad de duplicar el contenido de la teora expuesta empleando el Principio de Dualidad. Es lo que se har con relacin a la seccin antepresedente. Se ha denido una fuente para una categora < arbitraria como una pareja (A, (fi )I ) en la que A es un <-objeto arbitrario y (fi )I es una clase arbitraria de <-morsmos fi < (A, Ai ), i I. El coconcepto correspondiente al de fuente se llama sumidero. Denicin 1.5 Sea < una categora arbitraria. Un sumidero en < o <-sumidero es una pareja ((fi )I , A) en la que A es un <-objeto arbitrario y (fi )I es una clase arbitraria de <-morsmos fi < (Ai , A), i I. En tal caso, A recibe el nombre de codominio del sumidero, la clase (Ai )I de <-objetos es el dominio del sumidero y cada morsmo fi es una echa del sumidero. Notaciones alternativas para sumideros son: f i y (fi : Ai A)I Ai A
I

Como con las fuentes, tambin se considerarn sumideros en Set (fi : Xi X)I

suponiendo que cada miembro Xi de su dominio puede K-estructurarse segn una categora concreta arbitraria K, y lo mismo que entonces, no se reconocer a este sumidero (hbrido) un K-sumidero sino hasta que se demuestre la existencia de una K-estructura para X que haga de cada fi un K-morsmo. Ejemplo 1.5 Si S = ((fi )I , X) es un sumidero cuyo dominio es una familia (Xi , i )I de espacios topolgicos, entonces la familia = U X : fi1 (U) i , i I es una Top-estructura para X que hace de cada fi una funcin continua. En efecto, dados i I y U cualesquiera se tiene fi1 (U ) i , de modo que fi : (Xi , i ) (X, ) es una funcin continua. La topologa anterior es la topologa fuerte5 para X correspondiente a ( i )I y a (fi )I . El coconcepto correspondiente al de K-estructura inicial es el de K-estructura nal. Su denicin es como sigue: Sea X un conjunto arbitrario. Si S = ((fi )I , X) es un sumidero cuyo dominio es una familia (Ai )I de K-objetos Ai = (Xi , i ) de una categora concreta K, entonces una Kestructura nal para X con respecto al sumidero S es una estructura K [X] tal que si A = (X, ) entonces: (i) fi K (Ai , A), i I.
5

tambin llamada nal

20 (ii) Si B = (Y, ) es un K-objeto y f : X Y es una funcin tal que ffi K (Ai , B) , i I entonces f K (A, B). Si es una K-estructura nal para X con respecto a S, entonces se hablar de S como de un K-sumidero nal. Ejercicio 1.9 Las condiciones (i) y (ii) pueden sintetizarse en una sola: Para cada K-objeto B = (Y, ) y cada funcin f : X Y f K (A, B) ffi K (Ai , B) , i I Ejercicio 1.10 Sea S = ((fi )I , X) un sumidero cuyo dominio es una familia (Xi , i )I de espacios topolgicos. Probar que la topologa fuerte para X correspondiente a ( i )I y a (fi )I es una Top-estructura nal para X con respecto al sumidero S. Ejemplo 1.6 Debido al ejercicio anterior, la topologa fuerte para X correspondiente a ( i )I y a (fi )I es una Top-estructura nal para X con respecto al sumidero S = (fi : (Xi , i ) X)I Ejemplo 1.7 Si Set es la concrecin de Set descrita anteriormente y S = (fi : (Xi , Xi ) X)I es un sumidero de dominio en Set, entonces X es una Set-estructura nal para X con respecto a S. En efecto, X Set [X] y si A = (X, X) y Ai = (Xi , Xi ), i I, entonces: (i) Como fi Set (Xi , X), i I, entonces 1Set fi Set ((1Set Xi , Xi ) , (1Set X, X)) , i I o sea fi Set (Ai , A) , i I (ii) Si B = (Y, Y ) y f : X Y es tal que para cada i I, f fi Set (Ai , B), entonces [por el solo hecho de ser f Set (X, Y )], f Set (A, B). fi Ejemplo 1.8 Si S = (Xi , i ) X es un sumidero cuyo dominio es una clase de GraI

objetos (Xi , i )I , entonces una Gra-estructura nal para X con respecto a S es = {(fi (x) , fi (x0 )) : (x, x0 ) i e i I}

21 En efecto; (i) Para cada i I, fi : (Xi , i ) (X, ) es compatible porque (x, x0 ) i (fi (x) , fi (x0 )) (ii) Si (Y, ) es una digrca y f : X Y es una funcin tal que toda composicin ffi : (Xi , i ) (Y, ) es compatible, entonces dada cualquier (fi (x) , fi (x0 )) tenemos (ffi (x) , f fi (x0 )) , o sea que f : (X, ) (Y, ) es compatible. Tambin se tiene un coconcepto correspondiente al de <-monofuente cuyo caso particular, cuando consta de una sola echa, ya ha sido empleado: es el de epimorsmo. El concepto de K-fuente que separa puntos tambin da lugar a un concepto casi dual en una categora concreta: Denicin 1.6 (a) Sea < una categora arbitraria. Un <-sumidero S = ((fi )I , A) es un <-episumidero si toda vez que para un <-objeto B cualquiera se tengan morsmos h, k < (A, B) tales que hfi = kfi , i I, resulta que h = k. (b) Si S = (f, A) es un <-episumidero con una sola echa f , entonces f recibe el nombre de epimorsmo. (c) Si K es concreta y S = ((fi )I , (X, )) es un K-sumidero, se dice que S es exhaustivo si todo punto de su codominio posee una preimagen bajo al menos un miembro de la clase de K-morsmos de S. Proposicin 1.10 Si K es concreta y S = ((fi )I , (X, )) es un K-sumidero exhaustivo, entonces S es episumidero. Demostracin. Hay que probar que para h, k K ((X, ) , (Y, )) se tiene Pero si h 6= k, entonces h (x) 6= k (x), p.a. x X; como S es exhaustivo, existe i I tal que x = fi (x0 ). Por lo tanto hfi (x0 ) 6= kfi (x0 ) para esa misma i, que es a lo que se quera llegar. [X] f Ejercicio 1.11 Sea S = (W, ) X un sumidero de una sola echa y supngase que f es biyectiva. Probar que es nal en X con respecto a S si, y slo si, f : (W, ) (X, ) es un isomorsmo. Como con las estructuras iniciales, tambin con las nales se da una unicidad esencial que ser enunciada enseguida. Como consecuencia, tambin aqu se hablar (cuando exista) de la estructura nal para un conjunto X respecto de un sumidero S. h 6= k hfi 6= kfi , p.a. i I

22 Proposicin 1.11 a) Si S = ((fi )I , (X, )) es un K-sumidero nal y h : (X, ) (X, 0 ) es un K-isomorsmo, entonces S 0 = ((hfi )I , (X, 0 )) tambin es un K-sumidero nal. b) Si fi S = (Xi , i ) (X, ) fi y S 0 = (Xi , i ) (X, 0 )

son K-sumideros nales, entonces existe un K-isomorsmo h : (X, ) (X, 0 ) tal que hfi = fi , i I. Demostracin. a) Sea (Y, ) un K-objeto arbitrario y supngase que f : X Y es una funcin tal que f (hfi ) es un K-morsmo, i I. Entonces fh es una funcin tal que (fh) fi es un K-morsmo, i I, de manera que, por la nalidad de S, fh resulta K-morsmo. Como adems h es un K-isomorsmo entonces, debido al resultado establecido en el ejercicio anterior, puede aplicarse la propiedad caracterstica de un sumidero nal y asegurar que f es un K-morsmo. b) Sea h = 1X : (X, ) (X, 0 ) Como S 0 es un K-sumidero, entonces 1X fi = fi : (Xi , i ) (X, 0 ) es un K-morsmo, i I, de modo que, por la nalidad de S, resulta 1X K ((X, ) , (X, 0 )) La demostracin de que 11 K ((X, 0 ) , (X, )) X es anloga. (X, 0 ) fi 1X (Xi , i ) Por lo tanto, 1X es un K-isomorsmo. [X] En Top la topologa fuerte para X es la Top-estructura nal con relacin a cierto sumidero S. El nombre de fuerte le viene a consecuencia de ser la ms grande de las topologas para X que hace de cada echa de S una funcin continua. Tambin el vocablo nal para una K-estructura obedece a razones similares. Es justamente la situacin casi dual que priva con las estructuras iniciales: Proposicin 1.12 Sea S = ((fi )I , (X, )) un K-sumidero nal cualquiera. Entonces es la ms na de las K-estructuras para X que hacen de cada fi un K-morsmo. (X, ) % fi

23 Demostracin. Supngase que es otra K-estructura para X que hace de cada fi un K-morsmo. 1X (X, ) (X, ) fi % fi (Xi , i ) Entonces, la composicin 1X fi es un K-morsmo, i I, lo cual, debido a la nalidad de S, implica que 1X es un K-morsmo, y esto signica precisamente que es ms na que . [X]