Identificarse Registrarse

Psu
Enseñanza Básica
Enseñanza Media
Universidad
Olimpiadas
Comunidad



 
 Reply to this topicStart new topic
> Compactos
mamboraper
mensaje Jun 5 2020, 12:53 PM
Publicado: #1


Maestro Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 134
Registrado: 28-March 14
Miembro Nº: 128.100
Nacionalidad:
Sexo:



TEX: Sea $(X,d)$ un espacio métrico y $(K_n)_{n\in\mathbb{N}}$ una secuencia decreciente de compactos no vacíos. Sea $K = \bigcap_{n\in\mathbb{N}}K_n$. Pruebe que $$ \lim_{n\to\infty} \ \sup{\{ d(x,K) : x\in K_n \} } = 0 $$


--------------------
Hago clases particulares (activo 2024).
Cualquier consulta por MP.
Go to the top of the page
 
+Quote Post
hermite
mensaje Jun 7 2020, 01:46 PM
Publicado: #2


Maestro Matemático
Ícono de Grupo

Grupo: Usuario FMAT
Mensajes: 128
Registrado: 27-November 15
Miembro Nº: 142.558
TEX: Partamos introduciendo algo de notación:<br />Para todo $n$ consideremos las funciones<br />\begin{align*}<br />f_n: K_n & \rightarrow \mathbb R_{>0}\\<br />x & \mapsto d(x,K)<br />\end{align*}<br />y la secuencia $a_n = \sup f_n \geq 0$.<br />Por lo que lo que queremos demostrar es<br />$$\lim_n a_n = 0.$$<br />Como los conjuntos $K_n$ están anidados, esto implica que la secuencia $a_n$ es decreciente y como es acotada inferiormente por $0$, el limite existe y por tanto solo debemos encontrar su valor.<br /><br />Como la función $f_n$ es continua y $K_n$ es compacto, la función alcanza su máximo, es decir<br />$$ \exists x_n \in K_n,\text{ t.q. } a_n = f_n(x_n). $$<br />Como la secuencia $x_n$ esta contenida en el compacto $K_1$, tenemos que existe una subsucecion<br />$x_{n_k}$ tal que<br />$$ x_{n_k} \rightarrow \hat x \in K_1$$<br />Como la sucesion eventualmente esta contenida en todos los $K_n$ y estos son cerrados,<br />entonces $\bar x \in K_n \forall n$, por lo tanto<br />$$\bar x \in K.$$<br />Sea $\varepsilon > 0$, tenemos que existe $\bar k$ tal que<br />$$ |x_{n_{\bar k}} - \bar x| < \varepsilon $$<br />entonces<br />$$ a_{n_{\bar k}} = d(x_{n_{\bar k}},K) \leq |x_{n_{\bar k}} - \bar x| < \varepsilon $$<br />Lo que implica que <br />$$\inf a_n \leq 0$$<br />y como mencione antes, $a_n$ es decreciente y positiva, por lo tanto<br />$$\lim_n a_n = 0,$$<br />como queríamos demostrar.<br />
Go to the top of the page
 
+Quote Post
 

Reply to this topicStart new topic
1 usuario(s) está(n) leyendo esta discusión (1 invitado(s) y 0 usuario(s) anónimo(s))
0 miembro(s):

 

Versión Lo-Fi Fecha y Hora actual: 6th March 2025 - 09:29 PM
Powered By IP.Board 2.2.1 © 2007  IPS, Inc.