Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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].
. 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
; 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
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
j
,
i
j
). Esto demuestra que F
, donde A
=A
m
A
; entonces B 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
[B], porque A
m
[B] y si
A = (X, ) pertenece a A
iI
A
i
,
_
pertenece a [B] Por lo tanto,
B A
y A
[B]
Si demostramos que 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
.
(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
, 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