UNIV.

SANTOS HUANCA FERNANDEZ

CONJUNTOS CONVEXOS

2.3 ALGUNAS PROPIEDADES TOPOLOGICAS DE CONJUNTOS CONVEXOS

Definición.- Se dice que el conjunto C  E n , es convexo si dados x, y  C se tiene que:

x, y  C y   0,1 : x  (1   ) y  C
_
Definición.- Dado S  E n se dice que x está en la cerradura de S denotado por S , ssi B( x,  ) :   0 , se tiene que
B ( x,  )  S  𝜙
En otras palabras esta definición es un teorema
_ _
Demostración.- ( ) sup. x  S , por def. S   F donde los F
i i son los cerrados que contiene a S
i
_
luego debe F  S así x  F , entonces x  E n  F abierto y como S  S , entonces x  S
así x  ( E n  F )  x  S esto es ( E n  F )  S  𝜙 contradicción
() sup. B( x,  ) :   0 y B( x,  )  S  𝜙, esto dice x  S
_ _
Pero como S  S , luego x  S contradicción. Así queda demostrada
Proposición.- se dice x  S es un punto interior de S ssi existe B( x,  ) :   0 : B( x,  )  S
Demostración.- ( ) si x  int( S ) , como int( S ) es abierto B( x,  ) :   0  int( S )  S
() sup B( x,  ) :   0  S pero como B( x,  ) es abierto, entonces B ( x,  )  int( S )
_ _
Definición.- se dice que X está en la frontera de S , denotado por S , si B( x,  ) :   0 contiene puntos de S y
_
puntos fuera de S x, y  B( x,  ) : x  S  y  S
_
Teorema sea S  E n un conjunto conexo con int( S )  𝜙, sean x  S  y  int( S ) y
 
C  x k  E n : x k  x  (1   ) y :   (0.1) entonces cualquier x k  C es punto interior de S
Demostración.-
Primer caso
Sea x  S y xk  x  (1   ) y con   (0.1)
Pero como y  int( S )   0 : B( y,  )  S , si vemos que B( xk , (1   )  )  S
Ahora sup. w  B( xk , (1   )  )  xk  (1   ) B(0,  ) esto es por la suma de Minkowsky como bola unida
Luego u  B(0,  ) : w  xk  (1   )u , si reemplazamos x k tendremos
w  x  (1   ) y  (1   )u
como y  u  B( y,  )  S y S es conexo se tiene w S de esta forma
w  x  (1  y )( y  u )
B( xk , (1   )  )  S  xk  int( S )
_
Segundo caso ahora supongamos x  S  S , primeramente veamos C  S

UNIVERSIDAD AUTONOMA TOMAS FRIAS

 UNIV. SANTOS HUANCA FERNANDEZ

Sea x k  C si x k  y tendremos x k  int( S ) y sup. x k  ( x, y ) por pertenecer al interior de S , así

_
  (0,1) : xk  x  (1   ) y pero como y  int( S )   0 : B( y,  )  S pero x  S  x  S luego
1 
B( y,  )  S  𝜙 y así x es un punto de acumulación y así a  S  B( x, ) , luego por la suma de Minkowsky

1 
a  x v para algún v  B (0,  ) , si despejamos x obtendremos

x  a  (1   )v reemplazando x tendremos
xk  a  (1   )v  (1   ) y
como y  v  B( y,  )  S , a  S y S es convexo así deducimos que
xk  a  (1   )( y  v)
xk  S C  S

Finalmente dado xk  S , se aplica C  int( S ) entonces afirmamos x k  C concluimos C  int( S )

UNIVERSIDAD AUTONOMA TOMAS FRIAS