Usuario:Juan Marquez/Analisis matemático

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

Definición de puntos de acumulación y clausura[editar]

Los puntos de acumulación de un conjunto E de es

y la clausura de E en es

Vamos a demostrar la

Proposición A[editar]

Tenemos que:

Demostración de la proposición A[editar]

Para demostrar que , transformamos a demostrar , es decir vamos a establecer

Observación: Vamos a utilizar la siguiente propiedad de conjuntos: si y sólo si . Además, por las leyes de De Morgan tenemos .

1) Sea entonces . Así, existe una -vecindad talque . Esto implica dos cosas y que , es decir . Pero por De Morgan inferimos que . Así .

2) Para el converso, sea lo que implica que tanto como , entonces existe una para la cual sucede . Así . Entonces , i.e. . Por lo tanto

En general[editar]

Las definiciones y la proposición anterior son válidas para espacios topológicos en general y no sólo para .



Lemas auxiliares[editar]

  • La intersección de una cantidad infinita de 1-celdas cerradas y anidadas es no vacía
  • La intersección de una cantidad infinita de 2-celdas cerradas y anidadas es no vacía

Demostración: Primero demostramos que cada 1-celda (intevalo finito), I, es compacto.

Empezamos por elegir una cubierta abierta de I. Luego suponemos que tal cubierta no tiene una subcubierta finita.

Sea y equi-particionamos para obtener dos subintervalos , de donde llamaremos a uno de entre los dos que no se puede cubrir con una cantidad finita de .

Al intervalo lo equi-particionamos para obtener dos subintervalos del mismo tamaño y observamos que de entre ellos hay uno que no se puede cubrir con una cantidad finita de .

Siguiendo el mismo procedimiento encontramos una sucesión de 1-celdas cerradas anidadas

La intersección .

Sea .

Como las cubren a entonces ahy un factor talque y como es abierto existe .

De esta manera eligiendo un índice bastante grande m en la sucesión vamos a lograr

lo cual contradice la construcción de (no se puede cubrir con una cantidad finita de ).

Entonces la suposión de que la cubierta abierta no tiene subcubierta finita es falsa y así hemos demostrado que cualquier cubierta abierta de I tiene subcubierta finita y por definición compacto


.

Heine-Borel[editar]

Weierstrass[editar]

Hadamard[editar]

R^n es conexo[editar]

La siguiente argumentación es una versión ligeramente modificada de la versión que se encuentra en la página de discusión

Primeramente se demuestra que la recta númerica es conexa

Demostración.

Supongamos que no es conexo. Entonces existen un par de conjutos no triviales, abiertos y disjuntos A,B cuya unión es .

Elijamos a∈A y b∈B suponiendo que a < b. Como es convexo, el intervalo [a,b] está totalmente contenido en . Entonces, el intervalo [a,b] es igual a la unión de los conjuntos disjuntos A0 = A ∩ [a,b] y B0 = B ∩ [a,b]. Ambos conjuntos son abiertos relativos en [a,b]. Sea c = sup(A0). Observemos que claramente c∈[a,b]. Ahora se demostrará que c no pertenece ni a A0 ni a B0, lo cual contradice el hecho de que [a,b] es la unión de dichos conjuntos.

Primero supongamos que c∈B0. Entonces c≠a, así que o c = b o a < c < b. Debido a que B0 es abierto relativo, existe un intervalo de la forma (d,c] ("media" bola abierta) totalmente contenido en B0. Si c = b se llega a una contradicción porque d es una cota superior de A0 más pequeña que c. Si c < b, el conjunto (c,b] no intercepta a A0 (porque c es una cota superior de A0), y entonces el conjutno (d,b] = (d,c] ∪ (c,b] no intercepta a A0. De nuevo hay una contradicción porque d es una cotra superior de A0 menor que c.

Ahora supongamos que c∈A0. Entonces c≠b, así que o c = a o a < c < b. Debido a que A0 es abierto relativo, existe un intervalo de la forma [c,e) que esté contenido en A0. Utilizando las propiedades de la recta real, podemos encontrar un punto x∈ℝ tal que c < x < e. Entonces x∈A0, lo cual contradice el hecho de que c es una cota superior de A0.

Sólo queda demostrar que el producto finito de espacios conexos es conexo. Haremos la prueba para el producto , ya que por inducción puede fácilmente generalizarse a .

Pero antes hay que demostrar el siguiente lema:

Lema. La unión de espacios conexos que comparten un punto es conexa.

Demostración Lema

Sean A y B espacios conexos y p∈A∩B. Supongamos que A∪B no es conexo. Sean C y D un par de conjuntos no triviales abiertos y disjuntos cuya unión es A∪B. El punto p o está en C o está en D. Supongamos que p∈C. Como A es conexo, debe estar completamente contenido en alguno de los dos conjutnos C o D. Sin embargo, como p∈A, entonces A está contenido en C. De la misma forma, B está contenido en C, lo cual contradice el hecho de que D es no vacío. □

Usando el mismo argumento, la demostración anterior puede generalizarse a la unión de cualquier colección de espacios conexos que compartan un punto.


Demostración es conexo

Sea (a,b)∈ fijo. Observemos que los conjuntos (a,) = {(a,x):x∈} y (,b) = {(x,b):x∈} son ambos homeomorfos (iguales topológicamente) a , y por lo tanto son conexos. Así cada conjunto Ty = (,b)∪(y,) es conexo ya que consiste en la unión de dos conjuntos conexos que comparten un punto. Ahora, ∪Ty (donde y es la que varía) es la unión de espacios conexos que comparten al punto (a,b), por lo que también es conexa. Finalmente, notemos que ∪Ty es igual a , por lo que se concluye que es conexo.

Abiertos y conexidad[editar]

En esta sección todo sucederá en . Sea A un subconjunto no vacío ahí. Bajo estas condiciones tenemos la siguiente:

Proposición: Si entonces
Demostración: Sea entonces como A no tiene frontera va a suceder que para algún número real r positivo . Esto implica que , lo cual dice que es abierto.
Ahora supongamos que es no vacío. Si y observando que , entonces habrá una radio-vecindad tal que por lo que también es abierto.
Estamos viendo que , que es la unión de dos abiertos disjuntos, lo cual contradice la conexidad de .
Esta contradición se disuelve si tuvieramos por lo que

Con esta proposición podremos ordenar nuestras ideas para demostrar que si un subconjunto no vacío de R^n es abierto y cerrado al mismo tiempo, entonces debe ser todo R^n.