Haga clic para modificar elConjuntos

1.2.3. estilo Cerrados

de título del patrón

 
Se dice que un punto a es adherente el conjunto X ⊂ R cuando es límite de alguna sucesión de
puntos . Evidentemente, todo punto es adherente a X: basta tomar todos los .

 
Se llama cierre, clausura o adherencia de un conjunto X al conjunto formado por todos los puntos
adherentes a X. Se tiene X ⊂ . Si X ⊂ Y entonces ⊂ .

 
Un conjunto se dice cerrado cuando X = , esto es, cuando todo punto adherente a X pertenece a X.
Si X ⊂ Y, se dice que X es denso en Y cuando Y ⊂ , esto es, cuando todo b ∈ Y es adherente a X.

1
Haga clic para modificar el estilo de título del patrón
Teorema 1. Un punto a es adherente al conjunto X si, y sólo si, todo entorno de a
contiene algún punto de X.

Demostración:
 
Sea a adherente a X. Entonces a = lím , donde ∈ X para todo n ∈ N.
 
Dada cualquier entorno V de a tenemos ∈ V para todo n suficientemente grande
(por la definición de límite), luego
 
Recíprocamente, si todo entorno V de a contiene puntos de X podemos escoger
en cada intervalo n ∈ N, un punto ∈ X. Entonces ,
luego lím = a, y así a es adherente a X.

2
Haga clic para modificar el estilo de título del patrón
 
Corolario. El cierre de cualquier conjunto es un conjunto cerrado. (O sea, = para todo X ⊂ R).

 
En efecto, si a es adherente a entonces todo conjunto abierto A que contiene a a también contiene
algún punto b ∈ X. Así, A es un entorno de b. Como b es adherente a X, se sigue que A contiene
algún punto de X. Luego cualquier punto adherente a X también es adherente a X, esto es, a ∈ X.

Teorema 2

a) Si F1 y F2 son cerrados entonces F1 ∪ F2 es cerrado.

 
b) Si es una familia cualquiera de conjuntos cerrados entonces su intersección es un conjunto cerrado.

3
Haga clic para modificar el estilo de título del patrón

Demostración:

 
a) Los conjuntos son abiertos, por el Teorema 3. Luego, por el Teorema 1, es abierto.
De nuevo por el Teorema 3, F1 ∪ F2 es cerrado.

 
b) Para cada es abierto. Se sigue que es abierto. Como es cerrado.

4
Haga clic para modificar el estilo de título del patrón
Ejemplo 1
El cierre de los intervalos (a, b), (a, b] y [a, b) es el intervalo [a, b]. Q es denso en R y, para todo
intervalo I, Q ∩ I es denso en I. Una unión infinita de conjuntos cerrados puede no ser un conjunto
cerrado; en efecto, todo conjunto (cerrado o no) es la unión de sus puntos, que son conjuntos cerrados.
 
Solución:
Una escisión de un conjunto X ⊂ R es una descomposición
tal que , esto es, ningún punto de A es adherente a B y ningún punto de B es adherente a A.
(En particular, A y B son disjuntos). La descomposición se llama escisión trivial.

5
Haga clic para modificar el estilo de título del patrón
1.2.4. Conjuntos de Cantor

El conjunto de Cantor, que describiremos a continuación, tiene las siguientes propiedades:

1) Es compacto.

2) Tiene interior vacío (no contine intervalos).

3) No contiene puntos aislados (todos sus puntos son puntos de acumulación).

4) No es numerable.

El conjunto de Cantor K es un subconjunto cerrado del intervalo [0, 1] obtenido como el

complemento de una unión de intervalos abiertos, de la siguiente forma. Se retira del
intervalo [0, 1] el intervalo abierto centrado en el punto medio de [0, 1] de longitud 1/3

6
Haga clic para modificar el estilo de título del patrón
 

“
Si indicamos mediante los intervalos retirados vemos que
 
In es un conjunto cerrado, luego K = F ∩ [0, 1] es cerrado y acotado, o
sea, el conjunto de Cantor es compacto.

7
Haga
  clic para modificar el estilo de título del patrón
Para demostrar que K tiene interior vacío, observamos que después de la etapa n-esima de la
construcción sólo restan intervalos de longitud 1/. Por tanto, dado cualquier intervalo J ⊂ [0, 1]
de longitud c > 0, si tomamos n tal que 1/ < c, el intervalo J habrá sido subdividido después de la
n-esima etapa de la construcción de K. Así, K no contiene intervalos.
 
Los puntos extremos de los intervalos retirados en las diversas etapas de la construcción de K,
tales como etc., pertenecen a K, pues en cada etapa sólo se retiran puntos interiores de los
intervalos que quedaban de la etapa anterior. Estos forman un conjunto numerable, sin puntos
aislados.
 
En efecto, sea c ∈ K extremo de algún intervalo, digamos (c, b), retirado de [0, 1] para obtener
K. Cuando (c, b) fue retirado quedó un cierto intervalo [a, c]. En las siguientes etapas de la
construcción de K, quedarán siempre tercios finales de intervalos, del tipo , con ∈ K.
La longitud de [, c] tiende a cero, luego → c y así c no es un punto aislado de K.
8
Haga clic para modificar el estilo de título del patrón

9
Haga clic para modificar
Teorema deel estilo
Radon, Hellyde título del patrón
y Carathéodory

 
Definición. Un conjunto finito es afínmente dependiente si uno de los puntos de K se puede
expresar como combinación afín de los restantes. En caso contrario se dice que es afínmente
independiente. La independencia afín es más cómoda que la independencia lineal para la
teoría de la Convexidad, por cuanto permite razonar algebraicamente sin considerar la
posición del origen.

 
Teorema Helly. Sean conjuntos convexos en con La intersección de cualesquiera n+1 de
esos conjuntos es no vacía, entonces la intersección de todos los es no vacía.

10
Haga clic para modificar el estilo de título del patrón
Demostración:

Usaremos el teorema de Radón. Haremos inducción sobre el número de conjuntos convexos.

 
Consideremos conjuntos que satisfacen las condiciones del teorema.
Para el resultado se sigue inmediatamente, así que supongamos .
Ya que y aplicando hipótesis de inducción. Tenemos que cualesquiera de estos tienen
intersección no vacía.
 
Para cada i fijemos un elemento de la siguiente forma: y consideremos el conjunto .

 
Sin pérdida de generalidad, aplicando el lema de Radon, conseguimos

11
  
Haga clic paraestá
modificar
Veamos que
el estilo de título del patrón
en la intersección de todos los . Para consideremos Sin perdida de
generalidad (posiblemente . Entonces pues y es el único elemento de A que no pertenece a .
Pero es convexo así que y entonces

 
Definición: (propiedad de intersección finita). Una familia de conjuntos tiene la propiedad de
intersección finita para cada subfamilia finita y no vacía de f, la intersección de sus elementos
es no vacía, es decir, si para cada

 
¿ 𝑗∈𝐽 𝐹𝑗≠∅
Necesitamos también la siguiente equivalencia de espacio compacto.

12
 Proposición: 3.1 Un espacio topológico X es compacto si, y sólo si, toda familia de
Haga clic para modificar el estilo de título del patrón
subconjuntos cerrados de X con la propiedad de intersección finita tiene intersección no vacía.

 
Teorema l. (Radon): Un conjunto Ces afínmente dependiente si y sólo si admite una partición
en dos subconjuntos no vacíos. C1 y C2, tales que

 
Teorema 2. (versión infinita del teorema de Helly): Sea F una familia de conjuntos convexos
de tal que toda subfamilia de miembros de F tiene intersección no vacía. Entonces, si la
familia F es finita o si sus miembros son compactos, la intersección de todos los miembros de
F es no vacía.

Demostración:
 
Tomemos k un elemento arbitrario de F. ahora consideremos la familia cuyos elementos son
de la forma .
13
  
Por el teorema de Helly, la intersección de cualquier familia finita de elementos de Es no vacía.
Haga clic
 
para modificar el estilo de título del patrón
Ahora aplicamos la proposición 3.4 para obtener que la intersección de los elementos de es no
vacía y, por tanto, también es no vacía la intersección de los elementos de f.
 
Teorema 3. (Caratheódory): Si p es un punto perteneciente a la cápsula convexa de un conjunto
K de puntos, entonces existe un conjunto M de puntos, contenido en S, tal que p pertenece a la
cápsula convexa de M.

Cadena de implicaciones

 
Proposición l. (Radon) = (Helly) Sea una familia finita de conjuntos convexos en , tal que cada
sub familia de miembros tiene intersección no vacía. Se trata de demostrar, con el apoyo del
teorema de Radon, que la intersección de todos los miembros de F es no vacía; i.e., existe
La demostración será por inducción sobre el cardinal de F.

14
Haga clicDemostración:
para modificar el estilo de título del patrón
1) Si F tiene n+ 1 miembros, nada hay que demostrar.

 
2) Supongamos que el teorema es válido para familias de miembros, con

card. , y sea para todo ,

 𝑥𝑖 ∈ ∩ 𝐶 𝑘 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒 𝐶 𝑘 ∈ 𝐹 − {𝐶 𝑖 } .

 
3) Entonces, tiene puntos y, por el teorema de Radon, existirá una partición de X en dos
conjuntos y tales que

existe

 
4) En efecto, sin pérdida de generalidad y para simplificar, supongamos que

15
15
Haga clic para modificar el estilo de título del patrón
 
5) Por construcción, tales que y tales

que pero entonces será para

 
Proposición 2. (Helly) => (Caratheódory) Se demostrará que si p pertenece a la cápsula
convexa de un conjunto C de puntos en , entonces p pertenece a la cápsula convexa de un
subconjunto K de puntos pertenecientes a la cápsula convexa de C.

La demostración se basará en el uso del contrarrecíproco del teorema de Helly.

Demostración:
 
1) Sea

Para simplificar la notación y sin pérdida de generalidad, supongamos

que

1616
Haga clic para modificar el estilo de título del patrón
 
2) Sea el hiperplano que pasa por y es ortogonal a , es decir

 
Sea el semi espacio abierto limitado por que no contiene al origen. Afirmamos que pues, si
suponemos que existe se tendría entonces mayor que cualquier para , de lo cual resultaría

0=¿ 𝑧;0>¿<𝑧; ∑ 𝑎𝑖𝑝𝑖>¿ ∑ 𝑎𝑖.<𝑧; 𝑝𝑖>¿ ∑ 𝑎𝑖.< 𝑝𝑖; 𝑝𝑖>¿0,

 

 
lo cual es una contradicción; por tanto

1717
  
Haga clic para modificar
3) Entonces, el estilo
por el contrarrecíproco dede título
del teorema del subespacios
Helly, existirán patrón
cuya intersección es vacía.

 
4) En tales condiciones afirmamos que , porque en caso contrario, existiría un hiperplano
H que, pasando por el origen, dejaría estrictamente a un lado la

 
5) Pero entonces, si se tendría dos posibilidades:

 
Y en cualquiera de estos casos, se podría obtener un punto perteneciente a ,

en contradicción con lo señalado en 3). Por tanto, la afirmación 4) es válida y el teorema

queda demostrado.

18
18
Haga clic para modificar el estilo de título del patrón
Ejercicio resuelto

 
Sea S un conjunto convexo y acotado en y sea . Si para cualesquiera dos elementos a y b de S
existe una línea l paralela a v tal que los reflejados de a y de b respecto a l también pertenecen a
S, entonces S tiene un único eje de simetría paralelo a v.

Demostración
 
Supongamos que v = (1, 0).

Para cada consideremos el conjunto que consta de todas las líneas horizontales l tales que el reflejado de a
respecto a l está en S. Luego sea la intersección de con la línea obviamente es convexo, pues S lo es.
Así que la intersección de con la línea es pero trasladado, así que también es convexo. Por tanto, ahora
podemos considerar a como la intersección de con la línea y estar seguros de que es convexo.

19
Haga clic para modificar el estilo de título del patrón

 
Si para todos los resultara que los correspondientes se intersectan dos a dos, aplicando el teorema de
Helly, habría un punto tal que la línea interceptaría a todos los , y entonces esta línea sería el eje de
simetría.

 
Tomemos a y b en S y consideremos y . Por hipótesis, existe una línea horizontal l tal que los
reflejados respecto a l también pertenecen a S, es decir, , si l es la línea , para algún t ∈ R, entonces ,
como queríamos.

20
Haga clic para modificar el estilo de título del patrón

 
Sean ejes de simetría de S. Como ambas son horizontales y distintas consideremos su
distancia d. Sea en , como es eje de simetría, el reflejado de que llamaremos estará
también en S, a una distancia 2d de . Luego, el reflejado de respecto de , también está
en S, a una distancia 2d de , luego el reflejado de respecto de está a una distancia 5d
de , etc. Siguiendo este razonamiento encontramos elementos en S alejados de a1 tanto
como queramos, contradiciendo que S es acotado verticalmente.

21
Haga clic para modificar el estilo de título del patrón

Gracias

22