Conjuntos Arco Conexos.

En esta parte, lo que se intenta es de…nir de forma precisa la idea intuitiva

de: "un conjunto de una sola pieza".
Existen en realidad dos formas de formalizar esta idea:
(I) Conjunto Arco-conexo.
(II) Conjunto Conexo.
La primera de éstas es más intuitiva, y es con la que comenzaremos, y …nal-
izamos estableciendo la relación que hay entre estas dos.

De…nición: Una curva continua que une dos puntos x; y 2 Rn , es una

función ' : [a; b] ! Rn tal que ' (a) = x; ' (b) = y y ' es continua.
Por el momento, diremos que ' es continua en t si:

(tk ! t) ) (' (tk ) ! ' (t))

para toda (tk )k2 [a; b] que converja a t:

Una curva ' se dice que yace en A si ' (t) 2 A para toda t 2 [a; b] :
Decimos que un conjunto A es arco-conexo, si cualesquiera dos puntos en
el conjunto A pueden unirse por una curva continua que yace en el conjunto A:

Por ejemplo, el conjunto [0; 1] es arco-conexo. Para probar esto, sean x; y 2

[0; 1] y de…nimos ' : [0; 1] ! R por ' (t) := (y x) t + x: Esta es una curva
continua, que conecta a x con y; y además yace en [0; 1] ; para esto último, es
conveniente reescribir a ' (t) :

' (t) = ty + (1 t) x:::

La ventaja de esta función es que esta sigue teniendo sentido si x; y 2 Rn :::

Nota: El conjunto A := x; sin x1 : x > 0 [ f(0; y) : y 2 [ 1; 1]g, no es

arco-conexo, pero esto no es sencillo probarlo.

Ejemplos:
(1) ¿Cuáles de los siguientes conjuntos son arco-conexos?

(a) [0; 3]
(b) [1; 2] [ [3; 4]
(c) (x; y) 2 R2 : 0 < x 1
(d) (x; y) 2 R2 : 0 < x2 + y 2 1

(2) ¿Debe un conjunto arco-conexo ser cerrado, abierto?

R: No, [0; 1] ; (0; 1) ; [0; 1) todos son arco-conexos.
(3) Sea ' : [0; 1] ! R3 una curva continua y A := ' ([0; 1]) : Muestre que A
es arco-conexo.
Solución: Esto es intuitivamente claro, pues podemos usar la curva ' para
unir dos puntos en A. Precisando, si x = ' (a) ; y = ' (b) ; donde 0 a b 1;

1
sea c : [a; b] ! R3 ; c (t) := ' (t) : Entonces, c es una curva continua que conecta
a x con y; y c yace en A:

Conjuntos Conexos.

De…nición: Un conjunto A Rn es llamado conexo si no existen dos

conjuntos abiertos U y V no vacíos tales que:
(I) A U [ V
(II) A \ U 6= ?
(III) A \ V 6= ?
(IV ) A \ U \ V = ?:

Intuitivamente, los conjuntos U y V separarían a A en dos partes, y si esto

sucede, decimos que A no es conexo.

Nota: El conjunto A := x; sin x1 : x > 0 [f(0; y) : y 2 [ 1; 1]g, es conexo,

pero no es arco-conexo, así las dos nociones no son iguales. Sin embargo, existe
una relación entre las dos ideas, la cual se presenta en:

Teorema 3.
Si un conjunto A es arco-conexo, entonces es conexo.
Demostración: Pendiente.

Si A no es conexo (y por tanto no es arco-conexo), podemos dividirlo en

"piezas", o componentes. Precisando, una componente conexa de un con-
junto A es un subconjunto conexo Ao A tal que no existe ningún conexo en A
que contenga a Ao : Así, vemos que una componente conexa es un subconjunto
conexo maximal.

Ejemplos:
(1) ¿Es Z R conexo?
(2) ¿Es (x; y) 2 R2 : 0 < x2 + y 2 1 conexo?