Está en la página 1de 5

1 Categora de conexin generada y su

caracterizacin
Teorema 1.1. Sean, K una ccce arbitraria y {A
i
}
I
cualquier familia de categoras de conexin en K; entonces,

iI
A
i
es una categora de conexin.
Demostracin. (C
1
) Sean, A =
iI
A
i
y (X, )
f
(Y, ) cualquier K-morsmo suprayectivo con (X, ) en A; enton-
ces, (X, ) es elemento de A
i
, para cada i en I. Por lo tanto, para cada i en I, (Y, ) pertenece a A
i
; es decir, (Y, )
es elemento de A.
(C
2
) Si (X, ) es un K-objeto tal que |X| 1, entonces, para cada i en I, (X, ) es elemento de A
i
; de donde,
(X, ) pertenece a A.
(C
3
) Sea
_
(X
j
,
j
)
_
J
una familia de subobjetos de un K-objeto (X, ) y supongamos que, para cada j en J,
_
(X
j
,
j
)
_
J
pertenece a A,
jJ
X
j
= / 0 y que
_

iI
X
i
,
_
es un subobjeto de (X, ); entonces, (X
j
,
j
) pertenece a A
i
,
para cada j en J y para cada i en I. Por lo tanto,
_

iI
X
i
,
_
pertenece a A
i
, para cada i en I. Entonces
_

iI
X
i
,
_
pertenece a A y, consecuentemente, A es una categora de conexin.
Corolario y Denicin 1.1. Sean, K una ccce arbiraria y B cualquier familia de K-objetos; entonces, existe la
categoria de conexin mnima que contienen a B; es la categora de conexin generada por B. La notacin que
emplearemos para referirnos a ella es [B].

Ejemplo 1.1. En cualquier ccce K, [ / 0] =A


m
.
Observacin 1.1. Si K es una ccce arbitraria y A es una categora conectiva en K, entonces AA
m
es una categora
de conexin en K. De hecho, AA
m
es la mnima categora de conexin que contiene a A.
Proposicin 1.1. Sean (X, ) y (Y, ) K-objetos y f : X Y una funcin. Entonces:
(a) Si C
1
:={(A
1
,
1
), (A
2
,
2
), ..., (A
n
,
n
)} es una cadena en (X, ) y
C
2
={( f (A
1
),
1
), ( f (A
2
),
2
), ..., ( f (A
n
),
n
)}
es una familia de subobjetos de (Y, ), entonces C
2
es una cadena en (Y, ).
(b) Si F
X
es una familia encadenada en (X, ) y
F
Y
:={( f (A),
f (A)
) : (A,
A
) F
X
}
es una familia de subobjetos en (Y, ), entonces F
Y
es una familia encadenada en (Y, ).
Demostracin. (a) Supongamos que f (A
i
) = / 0 para alguna i en {1, ..., n}; entonces A
i
= / 0. En consecuencia, A
i
= / 0
para toda i en {1, ..., n}; de donde, f (A
i
) = / 0 para toda i en {1, ..., n}. Sea i en {1, ..., n}, entonces f (A
i
) f (A
i+1
) =
/ 0, pues,
f (A
i
A
i+1
) f (A
i
) f (A
i+1
) y A
i
A
i+1
= / 0
1
1 Categora de conexin generada y su caracterizacin
Esto prueba que C
2
es una cadena en (Y, ).
(b) Supongamos que F
Y
no es vaca y que para algn K-objeto (A,
A
) en F
X
, f (A) = / 0; entonces A = / 0, y
como F
X
es una familia encadenada, para cada (A,
A
) en F
X
, A = / 0. En consecuencia, ningn miembro de F
Y
es
vaco. Dados ( f (A),
f (A)
) y ( f (B),
f (B)
) en F
Y
, existe
{(A
1
,
A
1
), (A
2
,
A
2
), ..., (A
n
,
A
n
)}
que es una cadena de elementos de F
X
tal que (A
1
,
A
1
) = (A,
A
) y (A
n
,
A
n
) = (B,
B
). Por lo tanto,
__
f (A
1
),
f (A
1
)
_
, ..., ( f (A
n
),
f (An)
)
_
es una cadena en F
Y
cuyos eslabones extremos son ( f (A),
f (A)
) y ( f (B),
f (B)
).
Denicin 1.1. Si (X, ) es un K-objeto y F ={(A
i
,
i
)}
J
es una familia encadenada en (X, ), entonces diremos
que F es una cubiera encadenada en (X, ), si
iI
A
i
= X.
Proposicin 1.2. Sea (X, ) un K-objeto arbitrario tal que |X| > 1; si F es una cubierta encadenada en (X, ) y,
F

:={(A, ) F : |A| > 1}


entonces F

tambin es una cubierta encadenada en (X, ).


Demostracin. Sean x, y elementos distintos de X; entonces existen (A
x
,
x
) y
_
A
y
,
A
y
_
en F tales que x per-
tenece a A
x
y y pertenece a A
y
. Dado que F es una cubierta encadenada en (X, ), existe una cadena C =
{(A
1
,
1
), (A
2
,
2
), ..., (A
n
,
n
)} de elementos de F tal que (A
x
,
x
) = (A
1
,
1
) y (A
y
,
y
) = (A
n
,
n
). Si |A
x
| > 1
y |A
y
| > 1, entonces (A
x
,
x
) y (A
y
,
y
) estn en F

. Si |A
y
| = |A
x
| = 1, entonces, puesto que x = y, debe existir i
en {1, ..., n} tal que |A
i
| > 1. Sea i
0
:= mn{i {1, ..., n} : (A
i
,
i
) C y |A
i
| > 1}; entonces, x pertenece a A
i
0
.
Esto prueba que F

es una cubierta de (X, ).


Ahora probemos que F

es una familia encadenada en (X, ). Sean (A,


A
) y (B,
B
) elementos de F

; entonces
existe una cadena,
C ={(A
1
,
1
), (A
2
,
2
), ..., (A
n
,
n
)}
contenida en F y tal que (A
1
,
1
) = (A,
A
) y (A
n
,
n
) = (B,
B
). Para cada m en {1, ..., n}, denamos,
j
m
= mn{i {m, m+1, ..., n} : (A
i
,
i
) C y |A
i
| > 1}
Entonces, C

=
_
(A
j
1
,
j
1
), (A
j
2
,
j
2
), ..., (A
j
n
,
j
n
)
_
es una cadena de elementos de F. Sea j
m
un elemento de
{ j
1
, ..., j
n1
} y consideremos a los K-objetos (A
j
m
,
j
m
) y
_
A
j
m+1
,
j
m+1
_
de C

. Vistos como elementos de la cadena


C, puede suceder que stos sean consecutivos; en este caso, A
j
m
A
j
m+1
= / 0. Si no son elementos consecutivos en C,
entonces entre ellos media un elemento de C cuyo conjunto subyacente es unitario. Sea A
k
={x
k
} dicho conjunto.
Como C es una cadena, resulta que x
k
es un elemento comn de A
j
m
y A
j
m+1
. En consecuencia, A
j
m
A
j
m+1
= / 0.
2
Observacin 1.2. Sea F una familia encadenada en un K-objeto (X, ) y consideremos una familia nita de
cadenas en F:
C
1
={A
11
, A
12
, ..., A
1m
1
}
C
2
={A
21
, A
22
, ..., A
2m
2
}
C
3
={A
31
, A
32
, ..., A
3m
3
}
.
.
.
C
n
={A
n1
, A
n2
, ..., A
nm
n
}
Supongamos que:
A
1m
1
A
21
= / 0
A
2m
2
A
31
= / 0
.
.
.
A
n1m
n1
A
n1
= / 0
Denimos
n

k=1
C
k
:={B
1
, B
2
, ..., B
m
}, donde m =
n

k=1
m
k
y, para cada i en {1, ..., m}, se dene,
B
i
=
_

_
A
1i
si 1 i m
1
A
k j
si i =
k1

k=1
m
l
+ j
No es difcil vericar que
n

k=1
C
k
es una cadena en F cuyos primer y ltimo eslabones son A
11
y A
nm
n
, respectiva-
mente.
Proposicin 1.3. Sean, (X, ) un K-objeto y F
X
={(A
i
,
i
)}
J
una cubierta encadenada en (X, ). Si para cada i
en J es F
i
=
_
(A
i j
,
i j
)
_
J
i
una cubierta encadenada en (A
i
,
i
) , entonces la familia,
F

:=
_
((A
i j
,
i j
)) : i J, j J
i
_
es una cubierta encadenada en (X, ).
Demostracin. Si X = / 0, entonces la armacin es trivial. Supongamos que X = / 0. En este caso, F

es una familia
no vaca de subobjetos (ver lema x) de (X, ) tal que, para cualesquier i en J y j en J
i
, A
i j
= / 0. Desde luego, F

es
una cubierta para el conjunto X, pues,
X =
iI
A
i
=
_
iI, jJ
i
A
i j
Sean (A
i j
,
i j
) y (A
i

j
,
i

j
) dos elementos cualesquiera de F
i j
. Consideremos a los K-objetos (A
i
,
i
) y (A
i
,
i
)
en F
X
. Sea,
C ={(A
i
1
,
i
1
), (A
i
2
,
i
2
), ..., (A
i
n
,
i
n
)}
una cadena de elementos en F tal que (A
i
1
,
i
1
) = (A
i
,
i
) y (A
i
n
,
i
n
) = (A
i
,
j
). Como A
i
1
A
i
2
= / 0, existen
(A
i
1
j
1
,
i
1
j
1
) en F
i
1
y (A
i
2
j
2
,
i
2
j
2
) en F
i
2
tales que A
i
1
j
1
A
i
2
j
2
= / 0. Sea C
1
una cadena de elementos en F
i
1
cuyo
3
1 Categora de conexin generada y su caracterizacin
primer eslabn es (A
i j
,
i j
), y cuyo ltimo eslabn es (A
i
1
j
1
,
i
1
j
1
). De manera anloga, puesto que A
i
2
A
i
3
= / 0,
existen
_
A

i
2
j
2
,

i
2
j
2
_
en F
i
2
y (A
i
3
j
3
,
i
3
j
3
) en F
i
3
tales que A

i
2
j
2
A
i
3
j
3
= / 0. Sea C
2
una cadena de elementos en
F
i
2
cuyo primer eslabn es (A
i
2
j
2
,
i
2
j
2
), y cuyo ltimo eslabn es
_
A

i
2
j
2
,

i
2
j
2
_
. Continuando con este proceso,
llegaremos a que existen
_
A

i
n1
j
n1
,

i
n1
j
n1
_
en F
i
n1
y (A
i
n
j
n
,
i
n
j
n
) en F
i
n
tales que A

i
n1
j
n1
A
i
n
j
n
= / 0. Luego,
hay una cadena C
n
, de elementos en F
i
n
, cuyo primer eslabn es (A
i
n
j
n
,
i
n
j
n
), y cuyo ltimo eslabn es (A
i

j
,
i

j
).
Ntese que la familia nita de cadenas {C
k
}
n
k=1
cumple con las condiciones de la observacin 1.2. De este modo,
si denimos,
C

=
n

k=1
C
k
entonces C

es una cadena de elementos en F

cuyo primer eslabn es (A


i j
,
i j
), y cuyo ltimo eslabn es
(A
i

j
,
i

j
). Esto demuestra que F

es una cubierta encadenada en (X, ).


Denicin 1.2. Sea K una ccce arbitraria y f : (X, ) (Y, ) un K-morsmo. Diremos que (Y, ) es imagen de
(X, ) bajo f , si f (X) =Y; en otras palabras, si f : (X, ) (Y, ) es un un K-morsmo suprayectivo.
Teorema 1.2. Sean, K una ccce hereditaria, y B cualquier familia de K-objetos;
(a) Si B A
m
, entonces [B] =A
m
.
(b) Si B A
m
, entonces [B] = A
m
A

, donde A

es la familia de K-objetos que tienen una cubierta encadenada


cuyos elementos son imgenes, bajo K-morsmos, de elementos de B.
Demostracin. (a) Como [B] es la interseccin de todas las categoras de conexin que contienen a B, si A
m
contiene a B, entonces [B] A
m
. Pero A
m
es la mnima categora de conexin; luego, [B] =A
m
.
(b) Sea A

=A
m
A

; entonces B A

, porque todo elemento de B que pertenece a A


m
pertenece, obviamente,
a A

; y si B pertenece a B, pero no a A
m
, entonces {B} es una cubierta encadenada de B (toda cubierta con un
solo elemento est encadenada) cuyo miembro, que pertenece a B, es imagen de s mismo bajo el K-morsmo 1
B
;
luego, B pertenece a A

y , por denicin, A

es subconjunto de A

. Por otro lado, A

[B], porque A
m
[B] y si
A = (X, ) pertenece a A

, entonces A posee una cubierta encadenada {(A


i
,
i
)}
I
tal que, para cada i en I, existe un
K-morsmo suprayectivo f
i
: (B
i
,
i
) (A
i
,
i
), con (B
i
,
i
) en B. Esto implica que, para cada i en I, (A
i
,
i
) es un
elemento de B, y, como consecuencia, un elemento de [B]. Puesto que
iI
A
i
= X y (X, ) es subobjeto de s mismo,
entonces, por un teorema, (X, ) =
_

iI
A
i
,
_
pertenece a [B] Por lo tanto,
B A

y A

[B]
Si demostramos que A

es conectiva en K, entonces, por la observacin 1.1., A

sera de conexin y esto concluira


la demostracin. Veamos que as acontece
1
.
(C
1
) Sea f : (X, ) (Y, ) un K-morsmo suprayectivo, con (X, ) en A

. Si (X, ) es un elemento de A
m
,
entonces (Y, ) es un elemento de A
m
y, por lo tanto, (Y, ) pertenece a A

. Si (X, ) no pertenece a A
m
, entonces
(X, ) posee una cubierta encadenada {(A
i
,
i
)}
I
tal que, para cada i en I, existe un K-morsmo suprayectivo
f
i
: (B
i
,
i
) (A
i
,
i
), con (B
i
,
i
) en B. Sea C = {( f (A
i
),
i
)}
I
una familia de subobjetos de (Y, )
2
. Por el inciso
(a) de la proposicin 1.1, C es una familia encadenada en (Y, ) que, adems, cubre a Y, porque:
Y = f (X) =
iI
f (A
i
) =
iI
f ( f
i
(B
i
))
1
Observemos que hasta ahora no hemos ocupado la hiptesis de que la ccce K es hereditaria.
2
Aqu aplicamos la hiptesis de que la ccce K es hereditaria.
4
Entonces, (Y, ) posee una cubierta encadenada cuyos miembros son imgenes continuas de elementos de B; es
decir, (Y, ) pertenece a A

, y por tanto, (Y, ) pertenece a A

.
(C
2
) Los miembros no vacos de A
m
son miembros no vacos de A

.
(C
3
) Sean, (X, ) un K-objeto arbitrario, C
1
= {(A
i
,
i
)}
J
una familia encadenada en (X, ) tal que, para cada i
en I, (A
i
,
i
) pertenece a A

y (Z,
Z
) =
_

iI
A
i
,

iI
A
i
_
un subobjeto de (X, ); hay que probar que (Z,
Z
) pertenece
a A

. Si |Z| 1, entonces (Z,


Z
) pertenece a A
m
y, por lo tanto, (Z,
Z
) pertenece a A

. Por la proposicin x (falta


agregarla), la familia {(A
i
,
i
)}
J
es una cubierta encadenada de subobjetos de (Z,
Z
); luego, si |Z| > 1, entonces,
por la proposicin 1.2.,
C
2
={(A
i
,
i
) : |A
i
| > 1}
J
tambin es una cubierta encadenada de (Z,
Z
). Por denicin de A

, cada elemento de C
2
tiene una cubierta en-
cadenada
_
(A
i j
,
i j
)
_
J
i
cuyos elementos son imgenes, bajo K-morsmos, de elementos de B; por la proposicin
1.3.,
C
3
=
_
(A
i j
,
i j
) : i I, j J
i
_
es una cubierta encadenada en (Z,
Z
); luego, (Z,
Z
) posee una cubierta encadenada cuyos miembros son imgenes,
bajo K-morsmos, de elementos de B; es decir, (Z,
Z
) pertenece a A

, y en consecuencia, (Z,
Z
) pertenece a A

.
Esto prueba que A

es una categora conectiva y el teorema queda demostrado.


5

También podría gustarte