<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/' xmlns:georss='http://www.georss.org/georss' xmlns:gd='http://schemas.google.com/g/2005' xmlns:thr='http://purl.org/syndication/thread/1.0'><id>tag:blogger.com,1999:blog-3031928883658652874</id><updated>2011-07-30T18:58:30.803+02:00</updated><category term='análisis matemático'/><category term='ecuaciones diferenciales'/><title type='text'>Durmiendo con Integrales</title><subtitle type='html'></subtitle><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/posts/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default?max-results=100'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/'/><link rel='hub' href='http://pubsubhubbub.appspot.com/'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>21</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>100</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-7551553234769631550</id><published>2009-11-07T10:21:00.006+01:00</published><updated>2009-11-08T01:25:58.285+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Aplicaciones Lipschitzianas. Conexión, continuidad y convergencia de aplicaciones.</title><content type='html'>Las funciones lipschitzianas son un ejemplo de funciones uniformemente continuas.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Definición: &lt;/span&gt;Decimos que f:M⊂(E,d)--&gt;(F, ρ) es lipschitziana con constante de lipschitz c&gt;0 si para cada par  de puntos x, y de M se cumple ρ(f(x),f(y))≤c·d(x,y).&lt;br /&gt;Toda aplicación lipschitziana es uniformemente continua (dado &lt;span&gt;ε&gt;0, basta con tomar &lt;/span&gt;&lt;span&gt;δ=&lt;/span&gt;&lt;span&gt;ε/c).&lt;br /&gt;&lt;br /&gt;Ejemplos.&lt;br /&gt;&lt;/span&gt;&lt;ol&gt;&lt;li&gt;Si f:(a,b)--&gt;R es derivable con derivada acotada, es decir, existe M&gt;0 tal que |f '(x)|≤M para x,y∈(a,b) tenemos |f(x)-f(y)|=|f '(e)|·|x-y|≤M|x-y|.&lt;/li&gt;&lt;li&gt;Las aplicaciones lineales y continuas entre espacios normados; si T⊂K(E,F), T es lipschitziana con constante de lipschitz precisamente ||T||.&lt;/li&gt;&lt;/ol&gt;Una aplicación f:(E,d)--&gt;(E,d) se dice que es contractiva si es lipschitziana con constante de lipschitz 0&lt;c&gt;&lt;1. style="font-weight: bold;"&gt;Teorema del punto fijo de Banach: &lt;/span&gt;Supongamos que (E,d) es un e.m. completo y que f:E--&gt;E es contractiva. Entonces f tiene un único punto fijo, es decir, existe x∈E tal que f(x)=x.&lt;br /&gt;&lt;br /&gt;&lt;span style="color: rgb(255, 0, 0);"&gt;(No pongo la demostración porque es bastante farragosa de escribir a ordenador).&lt;br /&gt;&lt;br /&gt;&lt;span style="font-size:130%;"&gt; &lt;/span&gt;&lt;/span&gt;&lt;span style="font-size:130%;"&gt;&lt;span style="font-weight: bold;"&gt;Conexión y continuidad:&lt;/span&gt;&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema: &lt;/span&gt;Sean (E,d) y (F, ρ) e.m., M⊂E un conjunto conexo y f:M---&gt;F una aplicación continua. Entonces f(M) es un subconjunto conexo de F.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Corolario:&lt;/span&gt; R2 no puede ser homeomorfo a R (recordemos que tendríamos un homeomorfismo si f:R2--&gt;R fuese biyectiva y tanto f como su inversa fuesen continuas).&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;Si existiera un homeomorfismo f:R2--&gt;R, la imagen del conjunto R2\{0}, que es conexo, tendría que ser conexa. Pero f(R2\{0})=R\{f(0)} no es conexo.&lt;br /&gt;&lt;br /&gt;Otro corolario: Si f:&lt;/c&gt;M⊂(E,d)--&gt;R es continua y M es conexo, entonces f(M) tiene la propiedad de los valores intermedios, esto es, si a,b∈M y &lt;span style="font-weight: bold;"&gt;e&lt;/span&gt; es un número real entre f(a) y f(b), entonces existe c∈M tal que f(c)=e.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-size:130%;"&gt;&lt;span style="font-weight: bold;"&gt;Convergencia de aplicaciones.&lt;/span&gt;&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;Sea T un conjunto no vacío y (F, ρ) un espacio métrico. Una sucesión de funciones fn:T--&gt;F converge puntualmente cuando para cada t perteneciente a T la sucesión (fn(t)) converge en (F,ρ). En este caso el límite puntual de la sucesión es la aplicación f:T--&gt;F definida por f(t):=lim fn(t) cuando n tiende a infinito.&lt;br /&gt;La definición de convergencia puntual equivale a la condición: Para cada t perteneciente a T y cada &lt;span&gt;ε&gt;0 existe &lt;/span&gt;un número natural n(&lt;span&gt;ε,t)&lt;/span&gt; tal que si n&gt;n(&lt;span&gt;ε,t) entonces&lt;/span&gt; ρ(fn(t),f(t))&lt;&lt;span&gt;ε&lt;/span&gt;.&lt;br /&gt;&lt;c&gt;&lt;br /&gt;Definimos una convergencia más fuerte: &lt;/c&gt;Sea T un conjunto no vacío y (F, ρ) un espacio métrico. Una sucesión de funciones fn:T--&gt;F converge uniformemente hacia f:T--&gt;F si para todo &lt;span&gt;ε&gt;0 existe n(&lt;/span&gt;&lt;span&gt;ε) tal que si n&gt;n(&lt;/span&gt;&lt;span&gt;ε) entonces &lt;/span&gt;ρ(fn(t),f(t))&lt;&lt;span&gt;ε para todo t perteneciente a T.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema: &lt;/span&gt;&lt;/span&gt;Sean (E,d) y (F, ρ) e.m.,&lt;span&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt; y sea &lt;/span&gt;fn:T--&gt;F una sucesión de funciones continuas convergente uniformemente a f:[a,b]---&gt;R. Entonces f es integrable y tenemos que el límite de la integral de fn(x) entre a y b es igual que la integral entre a y b de f(x).&lt;br /&gt;&lt;br /&gt;&lt;span style="color: rgb(255, 0, 0);"&gt;(No pongo la demostración por lo mismo de antes).&lt;br /&gt;&lt;/span&gt;&lt;br /&gt;Y ya.&lt;br /&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-7551553234769631550?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/7551553234769631550/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=7551553234769631550&amp;isPopup=true' title='3 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/7551553234769631550'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/7551553234769631550'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/11/aplicaciones-lipschitzianas-conexion.html' title='Aplicaciones Lipschitzianas. Conexión, continuidad y convergencia de aplicaciones.'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>3</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-9196047163782223712</id><published>2009-11-05T16:05:00.004+01:00</published><updated>2009-11-07T10:21:40.093+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Aplicaciones lineales</title><content type='html'>Vamos ahora a estudiar las &lt;span style="font-weight: bold;"&gt;aplicaciones lineales&lt;/span&gt; en espacios normados.&lt;br /&gt;&lt;br /&gt;Sean E y F dos e.v. Una aplicación T:E--&gt;F se dice que es lineal si T(a·x+b·y)=a·T(x)+b·T(y). (Siendo a y b números reales y x,y∈E.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Proposición:&lt;/span&gt; Sean (E,||·||) y (F, ||·||') e. normados y T:E--&gt;F una aplicación lineal, son equivalentes:&lt;br /&gt;&lt;ol&gt;&lt;li&gt;T es continua.&lt;/li&gt;&lt;li&gt;T es continua en 0.&lt;/li&gt;&lt;li&gt;Existe c&gt;0 tal que ||T(x)||'≤c·||x|| para todo x∈E.&lt;/li&gt;&lt;/ol&gt;Si E es de dimensión finita, toda aplicación lineal T:E--&gt;F es continua.&lt;br /&gt;Pruebas:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;3 implica 1: ||T(y)-T(x)||'=||T(y-x)||' (por la linealidad).&lt;/li&gt;&lt;li&gt;||T(y-x)||'≤c·||y-x||. Dado &lt;span&gt;ε&gt;0 podemos encontrar &lt;/span&gt;&lt;span&gt;δ&gt;0 tal que si &lt;/span&gt;||y-x||&lt;&lt;span&gt;δ&lt;/span&gt;&lt;span&gt; &lt;/span&gt;||T(y)-T(x)||'&lt;&lt;span&gt;ε. Basta con elegir &lt;/span&gt;&lt;span&gt;δ=&lt;/span&gt;&lt;span&gt;ε/c. &lt;/span&gt;||T(y-x)||'&lt;c·&gt;&lt;span&gt;ε/c=&lt;/span&gt;&lt;span&gt;ε.&lt;/span&gt;&lt;/c·&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;1 implica 2 está claro, pues si T es continua, en particular es continua en 0.&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;2 implica 3. Tomando &lt;/span&gt;&lt;span&gt;ε=1, existe &lt;/span&gt;&lt;span&gt;δ&gt;0 tal que si &lt;/span&gt;||y||&lt;&lt;span&gt;δ entonces ||T(y)||'=||T(y)-T(0)||'&lt;1.&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;La constante c=&lt;/span&gt;&lt;span&gt;2/δ cumple la desigualdad del punto 3. Esto es evidente si x=0. Supongamos x distinto de 0. Consideramos y=x/(c·||x||), y tenemos que ||y||=1/c=&lt;/span&gt;&lt;span&gt;δ/2&lt;&lt;/span&gt;&lt;span&gt;δ, entonces 1&lt;||T(y)||=||T(x)||'/(c·||x||)---&gt;||T(x)||'&lt;/span&gt;≤c·||x||.&lt;/li&gt;&lt;li&gt;Ahora, si el espacio E es de dimensión finita, dimE=n, fijamos una base {u1,...un} de E y definimos la aplicación S: Rn---&gt;E mediante S(x1,...xn)=sum(xi·ui).&lt;/li&gt;&lt;li&gt;Para cada x∈E, x=sum(xi·ui), definimos la norma en E ||x||*=sum|xi|=||S&lt;sup&gt;-1&lt;/sup&gt;:(x)||1, que es equivalente a la inicial ||·|| (por ser de dimensión finita).&lt;/li&gt;&lt;li&gt;La constante C=máx{||T(uk)||':1≤k≤n} verifica ||T(x)||'=||sum(xi·T(ui))||'=sum(|xi|·||T(ui)||'≤C||x||*. Como se cumple 3, T es continua para la norma ||·||* y por tanto también para ||·||.&lt;/li&gt;&lt;/ul&gt;Si (E,||·||) y (F, ||·||') son e. normados, el conjunto de aplicaciones lineales continuas T:E--&gt;F, denotado por K(E,F), también es un e.v.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Corolario: &lt;/span&gt;Para cada T∈K(E,F), el número ||T||=sup{||T(x)||':||x||≤1} es finito y define una norma sobre K(E,F).&lt;br /&gt;||T(x)||'≤||T||·||x|| para cada x∈E y ||T|| es la mejor constante (la mínima) que cumple la condición 3 de la proposición anterior.&lt;br /&gt;&lt;br /&gt;Mañana o al otro más y mejor.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-9196047163782223712?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/9196047163782223712/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=9196047163782223712&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/9196047163782223712'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/9196047163782223712'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/11/aplicaciones-lineales.html' title='Aplicaciones lineales'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-8546695010460209591</id><published>2009-10-30T20:23:00.006+01:00</published><updated>2009-11-05T23:44:15.840+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Funciones continuas definidas en compactos</title><content type='html'>&lt;span style="font-weight: bold;"&gt;Teorema: &lt;/span&gt;Sean (E,d) y (F, ρ) e. m. Si K⊂E es compacto y f: K--&gt;F es continua entonces f(K) es compacto.&lt;br /&gt;&lt;br /&gt;Vamos a ver dos demostraciones para este teorema (la primera quizás es más elegante):&lt;br /&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="font-weight: bold;"&gt;1. Utilizaremos que un conjunto es compacto si y solo si es sucesionalmente compacto&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;Sea (yn)⊂f(K) entonces existe (xn)⊂K tal que yn=f(xn). (xn)⊂K sucesionalmente compacto, luego existe (xnk) subsucesión de (xn) convergente a x∈K.&lt;/li&gt;&lt;li&gt;Como f es continua, ynk=f(xnk) converge a f(x), luego (ynk) subsucesión de (yn) converge a f(x)∈f(K). f(K) es compacto.&lt;/li&gt;&lt;li&gt;&lt;span style="font-weight: bold;"&gt;2. Mediante la definición de compacidad&lt;/span&gt;. Sea {Vi} cubrimiento abierto de f(K). Como f es continua, existen {Ui} abiertos en (E,d) tales que  f&lt;sup&gt;-1&lt;/sup&gt;(Vi)=K&lt;span&gt;&lt;span&gt;∩Ui.&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;&lt;span&gt;Veamos que &lt;/span&gt;&lt;/span&gt;&lt;span style="font-size:130%;"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="font-weight: bold;"&gt;∪Ui cubre a K&lt;/span&gt;&lt;/span&gt;: Si x&lt;/span&gt;∈K, f(x)∈f(K), luego f(x)∈{Vi}, luego x∈K&lt;span&gt;&lt;span&gt;∩Ui. Luego todo x&lt;/span&gt;&lt;/span&gt;∈K queda cubierto por &lt;span style="font-size:130%;"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="font-weight: bold;"&gt;∪Ui.&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Como K es compacto hay una cantidad finita de cubrimientos Ui tales que K⊂&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∪Uik. Y esto implica que f(K) queda cubierto por una cantidad finita de Vi. f(K) es compacto.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Corolario de este teorema:&lt;/span&gt; (Teorema de Weierstrass) Toda función real continua, definida en un subconjunto compacto de un e.m. alcanza su máximo y su mínimo absolutos.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;f(K) es compacto (en R) si y solo si es cerrado y acotado. Como es acotado existe i=ínf{f(x):x∈K} y s=sup{f(x):x∈K.&lt;/li&gt;&lt;li&gt;Se tiene que para todo número natural existe (xn)⊂K tal que &lt;span style="font-weight: bold;"&gt;s-1/n&lt;f(xn)≤s.&gt;&lt;/f(xn)≤s.&gt;&lt;/span&gt;De aquí vemos que cuando n tiende a infinito, f(xn) tiende a s. Como f(K) es cerrado, toda sucesión convergente de f(K) tiene su límite en f(K), luego s∈f(K), es decir, existe x∈K tal que f(x)=s.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Corolario: &lt;/span&gt;Si f:K--&gt;F es continua e inyectiva sobre un compacto K⊂E, entonces la aplicación inversa f&lt;sup&gt;-1&lt;/sup&gt;:Y=f(K)--&gt;K es continua.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Sea (yn): yn--&gt;y∈f(K), ¿f&lt;sup&gt;-1&lt;/sup&gt;(yn)--&gt;f&lt;sup&gt;-1&lt;/sup&gt;(y)?&lt;/li&gt;&lt;li&gt;Sea xn∈K y x∈K: f(xn)=yn, f(x)=y. Sea z un punto de aglomeración en K de (xn). Existe (xnk)--&gt;z, además, por continuidad, ynk=f(xnk)--&gt;f(z)=y=f(x). Y como f es inyectiva, x=z (porque no puede haber dos puntos de K que tengan la misma imagen). x es el único punto de aglomeración, xn--&gt;x.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Definición: &lt;/span&gt;Una aplicación f:(E,d)--&gt;(F,ρ) se dice que es un homeomorfismo si es biyectiva y tanto f como f&lt;sup&gt;-1&lt;/sup&gt; son funciones continuas.&lt;br /&gt;Podemos decir, a partir de esto y del corolario anterior, que toda aplicación continua e inyectiva, definida en un compacto, es un homeomorfismo sobre su imagen.&lt;br /&gt;&lt;br /&gt;Vamos ahora a ver que aportan estos resultados al asunto de las normas.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema: &lt;/span&gt;Sobre un espacio vectorial de dimensión finita todas las normas son equivalentes y además dicho espacio es completo.&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Para empezar veremos que toda norma ||·|| en Rn es equivalente a la euclídea.&lt;/li&gt;&lt;li&gt;Sea {e1, e2,..., en} la base canónica de Rn y β=sum||ei||&gt;0 de i=1 hasta i=n. Sea x=(x1,x2,...xn)∈Rn.&lt;/li&gt;&lt;li&gt;||x||=||sum(xi·ei)||≤sum||xi·ei||=sum|xi|·||ei||≤sum||x||2·||ei||=β·||x||2. Luego ||x||≤β·||x||2.&lt;/li&gt;&lt;li&gt;Esto implica que la función f:(Rn,||·||2)--&gt;R definida por f(x)=||x|| es continua: Como |f(xn)-f(x)|=|||xn||-||x|||≤||xn-x||≤β||xn-x||2, si xn--&gt;x en ||·||2 entonces f(xn)--&gt;f(x). Y por tanto alcanza un mínimo absoluto sobre el conjunto compacto K={y∈Rn:||y||2=1}, es decir, existe a∈K tal que ||a||≤||y|| (f(a)≤f(y)) para todo y∈K. Llamando α=||a||, como el vector y=x/||x||2∈K (con x≠0), tenemos:&lt;/li&gt;&lt;li&gt;α≤||y||=||x||/||x||2------------&gt;α||x||2≤||x||.&lt;/li&gt;&lt;/ul&gt;Sea E un e. v. de dimensión n. Fijada una base {u1,u2,...un} de E podemos identificar E con Rn mediante el isomorfismo algebraico S:Rn--&gt;E definido así: si x=(x1,x2,...xn)∈Rn entonces &lt;span style="font-weight: bold;"&gt;S(x1,...xn)=sum(xi·ui)&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Si ||·|| y ||·||' son dos normas cualesquiera en E, definimos las siguientes normas: Dado x∈Rn: ||x||s:=||S(x)|| y ||x||'s:=||S(x)||'.&lt;br /&gt;Estas normas son equivalentes en Rn, esto es, existen a,b&gt;0 tales quepara todo x∈Rn a·||x||s≤||x||'s≤b·||x||s si y solo si a·||S(x)||'≤||S(x)||'≤b·||S(x)||'.&lt;br /&gt;&lt;br /&gt;Sea y∈E, como S es suprpayectiva existe x∈Rn tal que y=S(x), entonces a·||y||s≤||y||'≤b·||y||.&lt;br /&gt;&lt;br /&gt;La completitud en E con cualquiera de sus normas se deduce de la completitud en Rn usando la identificación dada por ||x||s:=||S(x)|| para todo x∈Rn.&lt;br /&gt;&lt;br /&gt;The last &lt;span style="font-weight: bold;"&gt;definition&lt;/span&gt;: &lt;span style="font-weight: bold;"&gt; &lt;/span&gt;Sean (E,d) y (F, ρ) e. m. y f:M--&gt;F una aplicación definida en M⊂E. Se dice que f es &lt;span style="font-weight: bold;"&gt;uniformemente continua&lt;/span&gt; cuando para cada &lt;span&gt;ε&gt;0 existe un δ&gt;&lt;/span&gt;0 tal que [x,y∈M, d(x,y)&lt;&lt;span&gt;δ&lt;/span&gt;] implica ρ(f(x),f(y))&lt;&lt;span&gt;ε. &lt;/span&gt;&lt;br /&gt;Seguro que esta definición nos recuerda mucho a la de continuidad (y es lógico). ¿Dónde está la diferencia? Pues bien, en la continuidad hablamos de puntos concretos (describimos un comportamiento local de la función), en la continuidad uniforme hablamos de todos los puntos del dominio de f (comportamiento global de la función). Una función será uniformemente continua cuando podamos encontrar un &lt;span&gt;δ&gt;&lt;/span&gt;0 concreto con el que se cumpla lo dicho en la definición para cualquier pareja de puntos del dominio.&lt;br /&gt;&lt;br /&gt;Hay que señalar que la continuidad uniforme implica continuidad, pero el recíproco no es cierto. Ejemplo:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Escogemos la función f:(x)=x². Esta función es continua, pero no uniformemente continua, pues conforme nos alejamos del origen (0,0), la distancia entre las imágenes de los puntos aumenta mucho.&lt;/li&gt;&lt;/ul&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;&lt;a onblur="try {parent.deselectBloggerImageGracefully();} catch(e) {}" href="http://4.bp.blogspot.com/_HOzdkSIShaA/Sut0v6JvrHI/AAAAAAAAAPM/2cWkywfeqHw/s1600-h/x2.jpg"&gt;&lt;img style="margin: 0px auto 10px; display: block; text-align: center; cursor: pointer; width: 260px; height: 306px;" src="http://4.bp.blogspot.com/_HOzdkSIShaA/Sut0v6JvrHI/AAAAAAAAAPM/2cWkywfeqHw/s320/x2.jpg" alt="" id="BLOGGER_PHOTO_ID_5398536944746474610" border="0" /&gt;&lt;/a&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Vemos que si  el dominio fuera un entorno perqueño del origen podríamos encontrar un &lt;span&gt;δ pequeñín que nos sirviera para todos los puntos, pero a medida que nos alejamos del origen el valor de la función cambia bruscamente y las imágenes cada vez están más distantes.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;Y para acabar:&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema: &lt;/span&gt;(Teorema de Heine): Sean (E,d) y (F, ρ) e. m. y f:M--&gt;F una aplicación continua definida en M⊂E. Si K⊂M es compacto entonces f es uniformemente continua sobre K.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt; &lt;span&gt;Dado ε&gt;0 y &lt;/span&gt;x∈K &lt;span&gt;elegimos δx&gt;&lt;/span&gt;0 tal que si d(x,y)&lt;&lt;span&gt;δx&lt;/span&gt;, para y∈M, tengamos ρ(f(x),f(y))&lt;&lt;span&gt;ε/2. Los conjuntos B(x,&lt;/span&gt;&lt;span&gt; δx/2) cubren K y son abiertos. Por tanto, existe un cubrimiento finito &lt;/span&gt;&lt;span&gt;B(x1,&lt;/span&gt;&lt;span&gt; δx1/2),...,&lt;/span&gt;&lt;span&gt;B(xn,&lt;/span&gt;&lt;span&gt; δxn/2) que cubre a K.&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;Sea &lt;/span&gt;&lt;span&gt;δ=mín{&lt;/span&gt;&lt;span&gt;δx1/2,...,&lt;/span&gt;&lt;span&gt;δxn/2&lt;/span&gt;&lt;span&gt;}. Si &lt;/span&gt;y∈K y d(x,y)&lt;&lt;span&gt;δ, existe xi tal que d(x,xi)&lt;&lt;/span&gt;&lt;span&gt;δxi/2 (porque las bolas cubren K) y entonces: d(xi,y)&lt;/span&gt;≤d(xi,x)+d(x,y)&lt;&lt;span&gt;δxi/2+&lt;/span&gt;&lt;span&gt;δ&lt;&lt;/span&gt;&lt;span&gt;δxi.&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;Por lo tanto, &lt;/span&gt;ρ(f(x),f(y))≤&lt;span&gt; &lt;/span&gt;ρ(f(x),f(xi))+&lt;span&gt; &lt;/span&gt;ρ(f(xi),f(y))&lt;&lt;span&gt;ε/2+&lt;/span&gt;&lt;span&gt;ε/2=&lt;/span&gt;&lt;span&gt;ε.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;Et voilà.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-8546695010460209591?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/8546695010460209591/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=8546695010460209591&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/8546695010460209591'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/8546695010460209591'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/funciones-continuas-definidas-en.html' title='Funciones continuas definidas en compactos'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><media:thumbnail xmlns:media='http://search.yahoo.com/mrss/' url='http://4.bp.blogspot.com/_HOzdkSIShaA/Sut0v6JvrHI/AAAAAAAAAPM/2cWkywfeqHw/s72-c/x2.jpg' height='72' width='72'/><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-3692904307250395347</id><published>2009-10-30T14:58:00.006+01:00</published><updated>2009-10-30T20:29:11.226+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Límites y continuidad (3)</title><content type='html'>Antes de seguir conviene distinguir que dado A⊂M &lt;span style="font-weight: bold;"&gt;no es lo mismo&lt;/span&gt; decir que&lt;span style="font-weight: bold;"&gt; &lt;/span&gt;&lt;span style="font-style: italic; font-weight: bold;"&gt;f es continua en cada a&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;∈A&lt;/span&gt;&lt;span style="font-style: italic;"&gt; &lt;/span&gt;que decir que  &lt;span style="font-style: italic; font-weight: bold;"&gt;f|&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0); font-weight: bold;"&gt;&lt;sub&gt;A &lt;span style="font-size:100%;"&gt;&lt;span style="font-style: italic;"&gt;es continua&lt;/span&gt;&lt;/span&gt;&lt;/sub&gt;&lt;/span&gt;. La primera implica la segunda, pero el recíproco es falso. Veamos esto con un ejemplo:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Sea A=Q (el conjunto de los números racionales)&lt;/li&gt;&lt;li&gt;Sea f(x)=0 si x∈Q y f(x)=1 si x∈R\Q.&lt;/li&gt;&lt;li&gt;Entonces tenemos que &lt;span style="font-style: italic;"&gt;, &lt;/span&gt;como &lt;span style="font-style: italic;"&gt;f|&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;sub&gt;A&lt;/sub&gt;&lt;/span&gt;: A=Q--&gt;R,  &lt;span style="font-style: italic;"&gt;f|&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;sub&gt;A&lt;/sub&gt;&lt;/span&gt;=0 en todo su dominio. Esta función es constante, así que está claro que &lt;span style="font-style: italic;"&gt;f|&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;sub&gt;A&lt;/sub&gt;&lt;/span&gt; es continua.&lt;/li&gt;&lt;li&gt;En cambio, f: R--&gt;R no es continua en A, pues entre dos puntos racionales siempre hay un irracional y f iría dando saltos del 0 al 1.&lt;br /&gt;&lt;/li&gt;&lt;li&gt;Vemos así que a la hora de describir el comportamiento de una función es de vital importancia que nos fijemos en el dominio.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Proposición: &lt;/span&gt;Sean (E,d) y (F, ρ) e. m., M⊂E y f: M--&gt;F. Son equivalentes:&lt;br /&gt;&lt;ol&gt;&lt;li&gt;f es continua.&lt;/li&gt;&lt;li&gt;Para cada abierto V⊂F existe un abierto U⊂E tal que  &lt;i&gt;f &lt;sup&gt;-1&lt;/sup&gt;&lt;/i&gt;(V)=M&lt;span style="font-style: italic;"&gt;&lt;span style="font-style: italic;"&gt;∩&lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;U, es decir, la antiimagen de un abierto en F es un abierto relativo en M.&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;&lt;span&gt;La antiimagen de un cerrado en F es un cerrado relativo en M.&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;f(A|&lt;span&gt;&lt;span&gt;∩&lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;M)&lt;/span&gt;&lt;/span&gt;⊂f(A)| para cada A⊂M.&lt;/li&gt;&lt;/ol&gt;&lt;br /&gt;De momento sólo pongo una de las pruebas:&lt;br /&gt;&lt;ul&gt;&lt;li&gt; &lt;span style="font-weight: bold;"&gt;1 implica 2:&lt;/span&gt; Sea x∈ f&lt;sup&gt;-1&lt;/sup&gt;(V). Sea y=f(x). Como V es abierto puedo construir una bola B(y,&lt;span&gt;ε)&lt;/span&gt;⊂V. Como &lt;span style="font-weight: bold;"&gt;f es continua&lt;/span&gt;, &lt;span&gt;dado ε&gt;0 existe un δ&gt;0 tal que f(B(x,&lt;/span&gt;&lt;span&gt;δ)&lt;/span&gt;&lt;span&gt;&lt;span&gt;∩&lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;M)&lt;/span&gt;&lt;/span&gt;⊂B(y,&lt;span&gt;ε)&lt;/span&gt;⊂V.&lt;/li&gt;&lt;li&gt;U=&lt;span style="font-size:130%;"&gt;∪&lt;/span&gt; &lt;span style="color: rgb(0, 0, 0);font-size:85%;" &gt;&lt;sub&gt;x&lt;/sub&gt;&lt;/span&gt;&lt;span style="font-size:78%;"&gt;∈&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);font-size:85%;" &gt;&lt;sub&gt;&lt;span&gt;f-1&lt;/span&gt;&lt;span style="font-style: italic;"&gt;(V)&lt;/span&gt;&lt;/sub&gt;&lt;/span&gt; B(x,&lt;span&gt;δx) (&lt;/span&gt;&lt;span&gt;δx son los distintos &lt;/span&gt;&lt;span&gt;δ). U&lt;/span&gt;&lt;span&gt;&lt;span&gt;∩&lt;/span&gt;&lt;/span&gt;&lt;span&gt;&lt;span&gt;M=&lt;/span&gt;&lt;/span&gt;f&lt;sup&gt;-1&lt;/sup&gt;(V).&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Otra proposición:&lt;/span&gt; Si f,g: M⊂(E,d)--&gt;(F,||·||) y alfa:M--&gt;R y existen &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;f(x), &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(x) y &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;alfa(x) entonces:&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;ol&gt;&lt;li&gt;Existe &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;(f(x)+g(x))=&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;f(x)+&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(x).&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Existe &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;(alfa(x)·g(x))=&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;alfa(x)·&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(x).&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Si &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;alfa(x)&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;≠0, existe &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;/span&gt;&lt;/span&gt;&lt;i&gt;(&lt;/i&gt;alfa&lt;sup&gt;-1&lt;/sup&gt;(&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;x)·g(x))=&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;(lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;alfa(x))&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;sup&gt;-1&lt;/sup&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;·&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(x).&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Si f:E--&gt;R&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;sup&gt;m&lt;/sup&gt;, f=(f1,f2...fm) donde f1: E--&gt;R son las funciones coordenadas, entonces f es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; si y sólo si cada fi es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;Si la norma de F es la asociada al producto escalar &lt;·,·&gt;, entonces también existe el límite &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;f(x&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;),&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/f(x&gt;&lt;/span&gt;&lt;/span&gt;&lt;f(x),&gt;g(x)&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;f(x),g(x)&gt;=&lt;&lt;/f(x),g(x)&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;f(x),&lt;/span&gt; &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(x)&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&gt;.&lt;/li&gt;&lt;/ol&gt;Demostración de 5: (&lt;span style="color: rgb(255, 0, 0);"&gt;tengo que revisarla, que hay algo que no me cuadra)&lt;/span&gt;.&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Sea l=&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;f(x) y k=&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(x). Veamos que&lt;l,k&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;&lt;/span&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;l&lt;/span&gt;l&lt;/span&gt;,&lt;/l&gt;&lt;/span&gt;&lt;/span&gt;k&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;l,&gt;es el límite de &lt;/l,&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;f(x&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;),&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),&gt;g(x)&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),g(x)&gt;cuando x--&gt;a.&lt;/f(x),g(x)&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;|&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;f(x&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;),&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;&lt;f(x),&gt;g(x)&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f(x),&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;f(x),g(x)&gt;&lt;/f(x),g(x)&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;-&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;&lt;/span&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;l&lt;/span&gt;l&lt;/span&gt;,&lt;/l&gt;&lt;/span&gt;&lt;/span&gt;k&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;span style="color: rgb(0, 0, 0);"&gt;|&lt;/span&gt;&lt;/span&gt;&lt;/l,&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;l,k&gt;=&lt;/l,k&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;|&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;f(x)&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;-l&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;f(x)-&gt;&lt;/f(x)-&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;,g(x)-k&gt;| &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;≤||f(x)-l||·||g(x)-k|| (esta última desigualdad es por la&lt;span style="font-weight: bold;"&gt; &lt;a style="color: rgb(102, 0, 204);" href="http://durmiendoconintegrales.blogspot.com/2009/09/espacios-metricos-y-normados-producto.html"&gt;desigualdad de Cauchy-Schwarz&lt;/a&gt;&lt;/span&gt;).&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Regla de la cadena: &lt;/span&gt;Sean (Ej,d,), 1≤j≤3, tres e. m. y Mj⊂Ej para j=1,2. Sea f: M1--&gt;M2 una aplicación con límite &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;∈M2 cuando x--&gt;a∈M1'. Si g: M2--&gt;E3 es continua en &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; entonces existe &lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;g(f(x))=g(b).&lt;br /&gt;Si además a&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;∈M1 y f es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; entonces &lt;span style="font-weight: bold;"&gt;gof &lt;/span&gt;(g compuesta con f) es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Sigo en otra entrada.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-3692904307250395347?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/3692904307250395347/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=3692904307250395347&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/3692904307250395347'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/3692904307250395347'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/limites-y-continuidad-3.html' title='Límites y continuidad (3)'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-878187181391799852</id><published>2009-10-29T22:54:00.004+01:00</published><updated>2009-10-30T15:04:57.036+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Límites y continuidad (2)</title><content type='html'>Continuamos con el capítulo (aunque hoy será breve).&lt;br /&gt;&lt;br /&gt;Sean (E,d) y (F, ρ) e. m., M⊂E y a∈M'. f: M--&gt;F y b∈F. Entonces,&lt;span style="color: rgb(51, 51, 51);"&gt; &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(51, 51, 51);"&gt;f(x)=b &lt;span style="color: rgb(0, 0, 0);"&gt;si y solo si para cualquier sucesión (xn)&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;⊂M, con xn distinto de &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; y &lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt; n-&gt;&lt;/sub&gt;&lt;/span&gt;∞&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(51, 51, 51);"&gt;xn=a &lt;span style="color: rgb(0, 0, 0);"&gt;se tiene que &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt; n-&gt;&lt;/sub&gt;&lt;/span&gt;∞&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(51, 51, 51);"&gt;f(xn)=&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;b.&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;Sean (E,d) y (F, ρ) e. m., M⊂E. Una aplicación f: M--&gt;F es continua en a∈M cuando &lt;span&gt;para cada ε&gt;0 existe un δ&gt;0 tal que  [&lt;/span&gt;&lt;span&gt;para todo&lt;/span&gt;&lt;span style="font-weight: bold;"&gt; x∈&lt;/span&gt;&lt;span&gt;M, con &lt;d(x,a)&gt;d(x,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;a)&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;δ]&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;se tiene que &lt;/d(x,a)&gt;&lt;/span&gt;ρ&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;(f(x),f(a))&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;span&gt;&lt;d(x,a)&gt;&gt;ε.&lt;br /&gt;En estas condiciones, si además &lt;/d(x,a)&gt;&lt;/span&gt;a∈M', entonces f(a)=&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt;x-&gt;a&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; &lt;span style="color: rgb(0, 0, 0);"&gt;f(x)&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;. Diremos que f es continua cuando lo sea en todo su dominio.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Proposición: &lt;/span&gt;Sean (E,d) y (F, ρ) e. m., M⊂E, a∈M y f: M--&gt;F. Son equivalentes:&lt;br /&gt;&lt;ol&gt;&lt;li&gt;f es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;lím&lt;/span&gt;&lt;sub&gt; n-&gt;&lt;/sub&gt;&lt;/span&gt;∞f(xn)=f(a) para cada sucesión (xn) de M convergente a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;Para cada A⊂M con a⊂A| se cumple f(a)∈f(A)|.&lt;/li&gt;&lt;/ol&gt;Algunas demostraciones:&lt;br /&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="font-weight: bold;"&gt;2 implica 3&lt;/span&gt;. Sea A⊂M, a⊂A|. Entonces existe una sucesión (xn)⊂A tal que xn converge a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;. Por hipótesis f(xn) converge a f(a) y esto implica que f(a)∈{f(xn) n∈N}&lt;/li&gt;&lt;li&gt;&lt;span style="font-weight: bold;"&gt;2 implica 1.&lt;/span&gt; Supongamos que f no es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;, es decir, existe un &lt;span&gt;ε&gt;0 para todo &lt;/span&gt;n∈N tal que existe una sucesión xn⊂B(a,1/n) de modo que f(xn)∉B(f(a)&lt;span&gt;ε)&lt;/span&gt;. Pero esto contradice nuestra hipótesis. ¡Absurdo!&lt;/li&gt;&lt;li&gt;&lt;span style="font-weight: bold;"&gt;3 implica 2&lt;/span&gt;. Sea (xn)⊂M, xn--&gt;a entonces, por hipótesis, a∈{xn: n∈N}| implica que f(a)∈{f(xn): n∈N}|. Supongamos que f(xn) no converge a f(&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;). Entonces existe un &lt;span&gt;ε&gt;0&lt;/span&gt;&lt;span&gt; tal que para todo &lt;/span&gt;n∈N existe m&gt;n tal que f(xm)∉B(f(a)&lt;span&gt;ε)&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;n=1. Existe n1&gt;1 tal que f(xn1)∉B(f(a)&lt;span&gt;ε)&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;n=n1. Existe n2&gt;n1 tal que f(xn2)∉B(f(a)&lt;span&gt;ε)&lt;/span&gt;...&lt;/li&gt;&lt;li&gt;Es decir, tenemos que xn converge a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; y que f(xn) no está en la bola B(f(a),&lt;span&gt;ε). Pero si aplico la hipótesis al nuevo conjunto tengo que &lt;/span&gt;a∈{xnk: k∈N}| pero f(a)∉{f(xnk): n∈N}|. ¡Contradcicción!&lt;/li&gt;&lt;/ul&gt;&lt;br /&gt;Además, es claro que si &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; es un punto aislado de M, toda aplicación f:M--&gt;F es continua en &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Y hasta aquí.&lt;br /&gt;&lt;br /&gt;&lt;span&gt;&lt;d(x,a)&gt;&lt;br /&gt;&lt;/d(x,a)&gt;&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-878187181391799852?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/878187181391799852/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=878187181391799852&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/878187181391799852'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/878187181391799852'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/limites-y-continuidad_29.html' title='Límites y continuidad (2)'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-5625144804180542786</id><published>2009-10-26T19:23:00.008+01:00</published><updated>2009-10-27T23:41:27.532+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Límites y continuidad</title><content type='html'>Allá vamos con un nuevo capítulo: &lt;span style="font-weight: bold;font-size:130%;" &gt;Aplicaciones entre espacios métricos.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;Y qué menos que comenzar con una definición:&lt;br /&gt;&lt;br /&gt;Sean (E,d) y (F, ρ) e. m., M⊂E y a∈M' (a es un punto de acumulación de M que puede pertenecer o no a M).&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Definición (importantiña)&lt;/span&gt;: Una aplicación &lt;span style="font-weight: bold;"&gt;f: M--&gt;F&lt;/span&gt; tiene límite &lt;span style="font-weight: bold;"&gt;b∈F&lt;/span&gt; cuando &lt;span style="font-weight: bold;"&gt;x tiende &lt;/span&gt;hacia&lt;span style="font-weight: bold;"&gt; a&lt;/span&gt; si &lt;span style="font-style: italic;"&gt;para cada ε&gt;0 existe un δ&gt;0 tal que  [&lt;/span&gt;&lt;span style="font-style: italic;"&gt;para todo&lt;/span&gt;&lt;span style="font-weight: bold; font-style: italic;"&gt; x∈&lt;/span&gt;&lt;span style="font-style: italic;"&gt;M, con 0&lt;d(x,a)&gt;&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;d(x,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;a)&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;δ]&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;se tiene que &lt;/d(x,a)&gt;&lt;/span&gt;ρ&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;(f(x),b)&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;d(x,a)&gt;&gt;ε. Esto se escribe así: lím f(x)=b (cuando &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; tiende a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;).&lt;br /&gt;&lt;br /&gt;&lt;/d(x,a)&gt;&lt;/span&gt;&lt;span&gt;&lt;d(x,a)&gt;También podemos expresar está definición en términos de topologías (ya que es lo que hemos estado estudiando)&lt;/d(x,a)&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;d(x,a)&gt;: &lt;span style="font-style: italic;"&gt;Para todo U entorno abierto de &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; existe V entorno reducido de &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; tal que f(V∩M)⊂U&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;&lt;/d(x,a)&gt;&lt;/span&gt;&lt;span&gt;&lt;d(x,a)&gt;Vemos que en la definición de límite no interviene para nada el valor f(a) cuando a∈M.&lt;br /&gt;&lt;br /&gt;Si &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; es un punto de acumulación de A&lt;span&gt;⊂&lt;/span&gt;M y f|&lt;sub&gt;A&lt;/sub&gt;: A--&gt;F tiene límite b&lt;sub&gt;A&lt;/sub&gt;, cuando &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; tiende a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;, se dice que b&lt;sub&gt;A &lt;/sub&gt;es el límite de f(x) cuando &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; tiende a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; a través del conjunto A.&lt;br /&gt;Es claro que si existe el límite cuando&lt;span style="font-weight: bold;"&gt; x&lt;/span&gt; tiende a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; en general, también existirá cuando &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; tiende a &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; a través de un conjunto determinado.&lt;br /&gt;&lt;br /&gt;Y aunque parezca tonto, este concepto de límite a través de un conjunto es muy útil para decidir si un límite existe o no. Sólo hay que encontrar un conjunto A&lt;span&gt;⊂&lt;/span&gt;M con &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;&lt;span&gt;⊂&lt;/span&gt;A', a través del cual no exista el límite; o dos conjuntos A&lt;sub&gt;1&lt;/sub&gt;,A&lt;sub&gt;2&lt;/sub&gt;∈M con &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;&lt;span&gt;⊂&lt;/span&gt;A'&lt;sub&gt;1&lt;/sub&gt;, &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;&lt;span&gt;⊂&lt;/span&gt;A'&lt;sub&gt;2, &lt;/sub&gt;a través de los cuales existan y sean distintos los límites.&lt;br /&gt;Por otro lado, para estudiar la existencia de un límite, hay que averiguar el candidato a límite, esto es, un punto &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; ∈F del que se pueda asegurar que si existe el límite vale &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;).&lt;br /&gt;&lt;br /&gt;Definimos ahora el concepto de &lt;span style="font-weight: bold;"&gt;límites iterados&lt;/span&gt;, que consiste en el límite a través de rectas y el uso de coordenadas polares en el plano para el estudio de límites de funciones reales de dos variables.&lt;br /&gt;&lt;br /&gt;Sea f: M&lt;span&gt;⊂&lt;/span&gt;R²--&gt;R, con (0,0)∈M' y para cierto (x0,y0)∈M los conjuntos A={(x0,y): 0≤ y≤ y0}∪{(x,0): 0≤ x≤ x0} y B={(x,y0): 0≤ x≤ x0}∪{(0,y): 0≤ y≤ y0} cumplen A⊂M y B⊂M. Se definen los límites iterados en (0,0) (cuando existen) como:&lt;br /&gt;&lt;br /&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;y-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; (lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;x-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; f(x,y) ) = λ&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;1,2&lt;br /&gt;&lt;br /&gt;&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;x-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; (lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;y-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; f(x,y) ) = λ&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;2,1&lt;br /&gt;&lt;br /&gt;&lt;/sub&gt;En las condiciones de la definición anterior, si los límites son distintos entonces no existe &lt;span style="color: rgb(51, 51, 255);"&gt;lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;(x,y)-&gt;(0,0) &lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;f(x,y)&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Límites direccionales:&lt;/span&gt; Sea g: I&lt;span&gt;⊂&lt;/span&gt;R--&gt;R, con 0 un punto de acumulación de I y &lt;span style="color: rgb(51, 51, 255);"&gt;lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;x-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; g(x)=0. &lt;span style="color: rgb(51, 51, 51);"&gt;Definimos el límite de f:&lt;/span&gt; &lt;/span&gt;M&lt;span&gt;⊂&lt;/span&gt;R²--&gt;R a lo largo de g (cuando exista) como &lt;span style="color: rgb(51, 51, 255);"&gt;λ&lt;/span&gt;&lt;sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;g=&lt;/span&gt;&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;x-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; (x,g(x)). &lt;/span&gt;&lt;br /&gt;&lt;br /&gt;Si encontramos dos funciones, g1 y g2, cumpliendo las condiciones de la definición anterior y tales que &lt;span style="color: rgb(51, 51, 51);"&gt;λ&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 51);"&gt;g1,&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 51);"&gt; λ&lt;/span&gt;&lt;sub&gt;g2&lt;/sub&gt; son distintos, entonces no existe el límite de f en (0,0). Es habitual tomar como función &lt;span style="font-weight: bold;"&gt;g&lt;/span&gt; rectas que pasan por el origen de coordenadas (y=x, y=x², x=y²,...).&lt;span style="color: rgb(51, 51, 255);"&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;Y por último, las &lt;span style="font-weight: bold;"&gt;polares&lt;/span&gt;: Sea f: R²--&gt;R, l∈R. Consideremos la función que resulta de cambiar a coordenadas polares las variables en f, f*(θ,ρ)=f(ρcosθ,ρsenθ). Si |f*(θ,ρ)-l| ≤φ(ρ) con&lt;span style="color: rgb(51, 51, 255);"&gt; lím ρ&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;-&gt;0&lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt; φ(ρ) =0&lt;/span&gt; , entonces &lt;span style="color: rgb(51, 51, 255);"&gt;lím&lt;/span&gt;&lt;sub style="color: rgb(51, 51, 255);"&gt;(x,y)-&gt;(0,0) &lt;/sub&gt;&lt;span style="color: rgb(51, 51, 255);"&gt;f(x,y)=l&lt;/span&gt; .&lt;br /&gt;&lt;br /&gt;A lo largo de esta semana iré poniendo más cosichuelas.&lt;/d(x,a)&gt;&lt;/span&gt;&lt;span style="font-style: italic;"&gt;&lt;d(x,a)&gt;&lt;br /&gt;&lt;br /&gt;&lt;/d(x,a)&gt;&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-5625144804180542786?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/5625144804180542786/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=5625144804180542786&amp;isPopup=true' title='5 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/5625144804180542786'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/5625144804180542786'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/limites-y-continuidad.html' title='Límites y continuidad'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>5</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-4860331121403906986</id><published>2009-10-14T21:24:00.002+02:00</published><updated>2009-10-15T00:04:27.929+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Conexión (2).</title><content type='html'>&lt;span style="font-weight: bold;"&gt;Teorema: &lt;/span&gt;Un e.m. E es conexo si y solo si los únicos subconjuntos de E que son a la vez abiertos y cerrados son ∅ y E. (&lt;span style="color: rgb(255, 0, 0);"&gt;falta demostración&lt;/span&gt;).&lt;br /&gt;&lt;br /&gt;Sea ahora E un espacio normado. Si a, b∈E, el segmento que une a y b es el conjunto [&lt;span style="font-weight: bold;"&gt;a,b&lt;/span&gt;]={t·&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;+(1-t)·&lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; : 0≤t≤1}.&lt;br /&gt;&lt;br /&gt;Una poligonal que enlace &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; con &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; es la unión finita de segmentos [a,c1]∪[c1,c2]∪...∪[&lt;span style="font-weight: bold;"&gt;c&lt;/span&gt;n-1,&lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;].&lt;br /&gt;&lt;br /&gt;A partir de la conexión de los intervalos de R es fácil ver que una poligonal es un conjunto conexo. Un conjunto M⊂E se dice que es conexo por poligonales si cualesquiera de sus puntos pueden ser enlazados por una poligonal contenida en M. Puede comprobarse que todo conjunto conexo por poligonales es conexo, pero el recíproco es falso en general. Lo que sí que se puede demostrar es que en &lt;span style="font-weight: bold;"&gt;espacios normados&lt;/span&gt; todo conjunto &lt;span style="font-weight: bold;"&gt;abierto y conexo&lt;/span&gt; es &lt;span style="font-weight: bold;"&gt;conexo por poligonales&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Sea S conjunto abierto y conexo en E y sea &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt;∈S. Vamos a probar que x puede unirse con cualquier otro punto de S mediante una poligonal contenida en S.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Sea A el subconjunto de S formado por los puntos que pueden unirse con x mediante una poligonal. Sea B=S\A. Entonces S=A∪B, con A y B disjuntos.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Probaremos que A y B son abiertos en E. Sea &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;∈A y unamos &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; con &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; por medio de una poligonal. Como &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;∈S y S es abierto, existe B(&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;,r)⊂S para algún r&gt;0. Si &lt;span style="font-weight: bold;"&gt;y&lt;/span&gt;∈B(&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;,r), [&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;,&lt;span style="font-weight: bold;"&gt;y&lt;/span&gt;]⊂B(&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;,r) y por tanto&lt;span style="font-weight: bold;"&gt; y&lt;/span&gt; puede unirse con &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; por medio de una poligonal (a la que une &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; y &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; le unimos el segmento [&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;,&lt;span style="font-weight: bold;"&gt;y&lt;/span&gt;]) lo cual implica que &lt;span style="font-weight: bold;"&gt;y&lt;/span&gt;∈A, es decir, B(&lt;span style="font-weight: bold;"&gt;a&lt;/span&gt;,r)⊂A, y por tanto A es abierto.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Sea &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;∈B, y sea B(&lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;,s)⊂S. Si un punto de B(&lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;,s) puede unirse con&lt;span style="font-weight: bold;"&gt; x &lt;/span&gt;mediante una poligonal tendríamos que &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; también se podría unir con &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt;, es decir, &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; pertenecería a A, pero como &lt;span style="font-weight: bold;"&gt;b&lt;/span&gt; no pertenece a A, tenemos que ningún punto de la bola se puede unir con x, es decir, B(&lt;span style="font-weight: bold;"&gt;b&lt;/span&gt;,s)⊂B. Luego B es abierto.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Hemos obtenido una descomposición S=A∪B, de S formada por abiertos disjuntos. Pero A es no vacío ya que &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt;∈A. Como S es conexo, B deberá ser vacío, con lo cual S=A.&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Pero es evidente que A es conexo por poligonales y que cualquier par de puntos de A pueden unirse por medio de una poligonal (uniendo ambos con &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt;). Por consguiente S es conexo por poligonales.&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;Y sanseacabó.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-4860331121403906986?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/4860331121403906986/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=4860331121403906986&amp;isPopup=true' title='2 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/4860331121403906986'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/4860331121403906986'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/conexion-2.html' title='Conexión (2).'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>2</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-6743484363349351299</id><published>2009-10-13T19:00:00.007+02:00</published><updated>2009-10-17T21:17:48.055+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Compacidad en espacios métricos (3) y conexión</title><content type='html'>Informo de que esta es la penúltima entrada del capítulo.&lt;br /&gt;&lt;br /&gt;Ya vimos que en un e.m. los conjuntos compactos son cerrados y acotados, pero el recíproco no es cierto en general. El teorema siguiente establece que en Rn con la norma euclídea el recíproco sí que se cumple.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema de Heine-Borel-Lebesgue:&lt;/span&gt; Un subconjunto K de Rn es compacto para la topología usual si y sólo si es cerrado y acotado.&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Sólo queda realizar la segunda aplicación, así que allá vamos.&lt;/li&gt;&lt;li&gt;Si K es acotado, existe r&gt;0 tal que K⊂B(0,r)⊂B(0,r)∞=[-R.R]x...x[-R,R]. Probaremos que [-R,R]&lt;sup&gt;n&lt;/sup&gt; es compacto, y como K es cerrado y ⊂[-R,R]&lt;sup&gt;n&lt;/sup&gt; será por tanto, compacto. Haremos la prueba para n=2 y usaremos que un conjunto es compacto si y solo si es sucesionalmente compacto. (a¹ y a² denotan cada una de las coordenadas de la sucesión).&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Sea (Xm)∞=(Xm¹,Xm²)∞∈[-R,R]x[-R,R]. Como (Xm¹)∞⊂[-R,R]x[-R,R], es compacto. Existe entonces (Xmj¹)∞ subsucesión de (Xm¹)∞ convergente hacia un punto x¹∈[-R,R].&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;La sucesión (Xmj²)∞⊂[-R,R]. Existe una subsucesión (Xmjk²)∞ convergente a un punto x²∈[-R,R].&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Como (Xmj¹)∞ converge hacia x¹, puedo coger los términos que yo quiera de esta susubsucesión y construirme otra subsucesión que también va a converger a x¹. Para que en [-R,R]x[-R,R] una sucesión converja, tienen que converger cada una de las coordenadas por separado pero con los mismo índices. Es por eso que voy a elegir unos términos determinados de (Xmj¹)∞. Me voy a quedar con la subsucesión (Xmjk¹)∞ (que converge a x¹).&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Entonces tenemos que la subsucesión (Xmjk)∞=(Xmjk¹,Xmjk²)  converge a (x¹,x²) y es subsucesión de (Xm)∞.&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;[-R,R] es sucesionalmente compacto (cada sucesión de [-R,R] tiene una subsucesión convergente a un punto de [-R,R]), y por tanto, es compacto.&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;Pasamos a la &lt;span style="font-weight: bold;"&gt;conexión:&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt;&lt;/span&gt;Un conjunto M de un e.m. E se dice que es conexo cuando para toda partición no trivial de él: M=S∪T, S∩T=∅, S≠∅, T≠∅, se tiene S∩T|≠∅ o S|∩T≠∅. Es decir, el conjunto es conexo si no está "roto", como explicaré en la &lt;span style="font-weight: bold;"&gt;nota.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;En particular, si M=E obtenemos la noción de e.m. conexo.&lt;br /&gt;&lt;br /&gt;Hay que tener en cuenta que en esta definición no interviene la métrica del espacio sino su topología.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Nota:&lt;/span&gt; Otra forma de ver la conexión es que un conjunto conexo M⊂E no se puede escribir como la unión disjunta de dos conjuntos abiertos no vacíos. Si fueran S,T abiertos en E con M=S∪T, S∩T=∅, S≠∅, T≠∅, por ser M conexo podemos suponer que  S∩T|≠∅. Sea x∈S∩T|. Como S es abierto, existe ε&gt;0 tal que B(x,ε)⊂S y como además x∈T|, B(x,ε)∩T≠∅ lo cual implica que S∩T≠∅, y esto es una contradicción.&lt;br /&gt;&lt;br /&gt;El primer ejemplo de conjuntos conexos lo encontramos en R: Un subconjunto de R es conexo si y solo si es un intervalo.&lt;br /&gt;Recordemos que un intervalo queda definido de la siguiente forma: (a,b)={x∈R: a&lt;x&gt;&lt;b}.&gt;&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;s&lt;/span&gt;x&lt;span style="color: rgb(255, 255, 255);"&gt;d&lt;/span&gt;&lt;x&gt;&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;b&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;}.&lt;br /&gt;&lt;br /&gt;Los espacios Rn son conexos. En e.m. arbitrarios se demuestra que la unión arbitraria de conjuntos conexos tales que cada dos de ellos tienen intersección no vacía, es un conjunto conexo. Además, la clausura de un conjunto conexo vuelve a ser un conjunto conexo.&lt;br /&gt;&lt;br /&gt;Mañana o después veremos una caracterización importante de los e.m. conexos.&lt;br /&gt;&lt;br /&gt;&lt;/x&gt;&lt;/b}.&gt;&lt;/x&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-6743484363349351299?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/6743484363349351299/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=6743484363349351299&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/6743484363349351299'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/6743484363349351299'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/compacidad-en-espacios-metricos-3-y.html' title='Compacidad en espacios métricos (3) y conexión'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-3520936430909340751</id><published>2009-10-12T12:14:00.006+02:00</published><updated>2009-10-12T13:34:55.743+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Compacidad en espacios métricos (2).</title><content type='html'>&lt;span style="font-weight: bold;"&gt;Teorema de Bolzano Weierstrass: &lt;/span&gt;Sea (E,d) un e.m. y K⊂E un subconjunto, las siguientes afirmaciones son equivalentes:&lt;br /&gt;&lt;ol&gt;&lt;li&gt;K es compacto.&lt;/li&gt;&lt;li&gt;K es sucesionalmente compacto.&lt;/li&gt;&lt;/ol&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;1 implica 2. Sea Xn⊂K, supongamos que no tiene ninguna subsucesión convergente. En particular, esto implica que la sucesión tiene infinitos puntos distintos yk, que podemos tomar como subsucesión de Xn.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Además, para todo k&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈N existe un entorno abierto Uk que contiene a yk tal que yj&lt;/span&gt;&lt;/span&gt;∉Uk si j≠k. Probemos esto: Si no fuera así habría de existir un k tal que cualquier entorno abierto de yk contiene a un yj. Tenemos, en particular, que para cualquier m&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈N existe un jm&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈N con yjm&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈B(yk,1/m). Podemos extraer una subsucesión (yjm)&lt;/span&gt;&lt;/span&gt;∞ de (yn)∞ cumpliendo que d(yk,yjm)&lt;1/m,&lt;span style="color: rgb(255, 255, 255);"&gt;styi&lt;/span&gt;para cualquier &lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;m&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈N, lo que implica que la sucesión yjm converge a yk, contrario a la hipótesis por ser yjm subsucesión de Xn.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;El conjunto {y1, y2...yn...} no tiene ningún punto de acumulación (ya que podemos hacer bolitas de centro y1, y2... que sólo contienen a y1, y2... Recordemos que M|=M&lt;/span&gt;&lt;/span&gt;∪M'. Como no hay ningún punto de acumulación, M|=M, y esto implica que M es cerrado. Luego &lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;{y1, y2...yn...} es cerrado. Además, como está en K, que es compacto, &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;{y1, y2...yn...} también es compacto. La familia {Uk}&lt;/span&gt;&lt;/span&gt;∞ es un recubrimiento abierto de&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt; {y1, y2...yn...} que no admite un cubrimiento finito debido a que &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;{y1, y2...yn...} es infinito y a que &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;demostramos que &lt;/span&gt;&lt;/span&gt;para todo k&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈N existe un entorno abierto Uk que contiene a yk tal que yj&lt;/span&gt;&lt;/span&gt;∉Uk si j≠k. Esto es una contradicción, pues &lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;{y1, y2...yn...} es compacto. Por tanto Xn tiene una subsucesión convergente y como K es cerrado, el límite está en K.&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;2 implica 1. Sea {Ui} un cubrimiento abierto de K. Existe r&gt;0 tal que para todo y&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈K, B(y,r)&lt;/span&gt;&lt;/span&gt;⊂Ui&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt; para algún I. &lt;span style="font-weight: bold;"&gt;Si no fuese así para todo n existiría yn&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51); font-weight: bold;"&gt;&lt;span style="font-size:100%;"&gt;∈&lt;/span&gt;&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;K de manera que B(yn,1/n) no está contenida en ningún Ui. &lt;/span&gt;Pero por hipótesis la sucesión yn ha de tener una subsucesión (zn) convergente a z&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈&lt;/span&gt;&lt;/span&gt;K. Como {Ui} recubre a K, z&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈Ui0 para algún i0. Como Ui0 es abierto existe &lt;/span&gt;&lt;/span&gt;ε&gt;0 tal que B(z,ε)⊂Ui0. Podemos tomar N lo suficientemente grande para que d(zN,z)&lt;ε/2 y 1/N&lt;ε/2. &lt;span style="font-weight: bold;"&gt;Entonces B(zN,1/N)⊂Ui0. Contradicción&lt;/span&gt;.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Para cualquier ε&gt;0 existe &lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;{y1, y2...yn}&lt;/span&gt;&lt;/span&gt;⊂K tal que K⊂∪B(yk,ε). Supongamos que existe ε tal que K no se pueda cubrir con un número finito de bolas abiertas de radio ε. Elegimos y1&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈K arbitrario y tomamos &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;y2∈K\B(y1,&lt;/span&gt;&lt;/span&gt;ε)≠∅. Por hipótesis podemos repetir el proceso y así elegir yn&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈K&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;\[B(y1,&lt;/span&gt;&lt;/span&gt;ε)∪...∪&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;B(yn-1,&lt;/span&gt;&lt;/span&gt;ε)]. La sucesión así formada cumple que d(yj,yk)≥ε para j≠k y por tanto no admite subsucesiones convergentes, lo cual contradice el hecho de que K es sucesionalmente compacto.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Para terminar, sea r&gt;0  y sean {y1...yn} para ε=r. Así K⊂∪k B(yk,ε) (desde k=1 hasta k=n) y como B(yk,ε)⊂Uik para algún ik tenemos que K⊂Ui1∪...Uin, que es el cubrimiento finito que buscamos.&lt;/li&gt;&lt;/ul&gt;Ála, ya llevo análisis al día.&lt;br /&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-3520936430909340751?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/3520936430909340751/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=3520936430909340751&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/3520936430909340751'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/3520936430909340751'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/compacidad-en-espacios-metricos-2.html' title='Compacidad en espacios métricos (2).'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-874823264819170009</id><published>2009-10-11T17:17:00.003+02:00</published><updated>2009-10-11T20:02:49.497+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Compacidad en espacios métricos.</title><content type='html'>Hoy, si voy a buen ritmo, termino con análisis. Y ya vuelvo a con él el martes.&lt;br /&gt;&lt;br /&gt;Vamos a comenzar fuerte con una de las formulaciones del teorema de &lt;span style="font-weight: bold;"&gt;Bolzano-Weierstrass&lt;/span&gt;: Sea K⊂(E,d) un conjunto &lt;a href="http://durmiendoconintegrales.blogspot.com/2009/09/topologia-de-la-recta-r.html"&gt;compacto&lt;/a&gt;. Entonces&lt;br /&gt;&lt;ol&gt;&lt;li&gt;K es cerrado.&lt;/li&gt;&lt;li&gt;K es acotado.&lt;/li&gt;&lt;li&gt;Si F⊂K es cerrado, F es compacto.&lt;/li&gt;&lt;/ol&gt;Pruebas varias:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;1. Consideramos G=E\K. Probaremos que G es abierto. Sea x&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈G y  los conjuntos abiertos Un={y&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈E : d(x,y)&gt;1/n para todo n&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;}=B&lt;/span&gt;&lt;/span&gt;&lt;sup&gt;c&lt;/sup&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;(x,1/n). Es decir, en Un están todos los puntos y que están fuera de la bola B(x,1/n). Vemos que a mayor n, esta bola es más pequeña, luego Un es cada vez más grande.&lt;/span&gt;&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt; Como todos los y&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈K son distintos de x, tenemos que d(x,y)&gt;0, habrá por tanto algún n tal que &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;y&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈Un. Así, K&lt;/span&gt;&lt;/span&gt;⊂∪Un (desde n=1 hasta infinito). Como K es compacto se puede extraer un cubrimiento finito, así que K⊂Un1∪Un2∪...Unk.&lt;/li&gt;&lt;li&gt;Sea ahora N el máximo de los n1, n2...nk. U=&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;B&lt;/span&gt;&lt;/span&gt;&lt;sup&gt;c&lt;/sup&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;(x,1/N) es el mayor de los Un, luego es claro que K&lt;/span&gt;&lt;/span&gt;⊂U. Pero entonces, como G es el complementario de K, y B(x,1/N) el complementario de U, tenemos que B(x,1/N)⊂G. Esto quiere decir que para todo x puedo encontrar una bola con centro x que esté contenida en G, esto es, G es abierto (K es cerrado).&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;2. Sea x0&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈K, la familia {B(x0,n) &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;con n∈N&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;} es un cubrimiento abierto de K. Como K es compacto ha de tener un cubrimiento finito, K&lt;/span&gt;&lt;/span&gt;⊂∪B(x0,nj) (desde k=1 hasta j=k). Sea M el máximo de los n1,n2...nn, entonces &lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;K&lt;/span&gt;&lt;/span&gt;⊂B(x0,M), luego diam(K)≤2M, esto es, K está acotado.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;3. Sea {Ui} un cubrimiento abierto de F. Consideramos G=E\F, que es abierto (por ser F cerrado). Entonces [{Ui,G} cubre a K. Por ser K compacto podemos extraer un cubrimiento finito de K, que será de la forma {Ui1,Ui2...Uin,G}. Luego{Ui1,Ui2...Uin} cubre a F. F es compacto.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Definición: &lt;/span&gt;Un subconjunto A⊂(E,d) de un e.m. decimos que es sucesionalmente compacto si de toda sucesión de A podemos extraer una subsucesión convergente a un punto de A.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Proposición:&lt;/span&gt; Sea K⊂(E,d) un conjunto sucesionalmente compacto. Entonces:&lt;br /&gt;&lt;ol&gt;&lt;li&gt;K es cerrado.&lt;/li&gt;&lt;li&gt;K es acotado.&lt;/li&gt;&lt;li&gt;Si F⊂K es cerrado, F es compacto.&lt;/li&gt;&lt;/ol&gt;Además, K es sucesionalmente compacto si y solo si todo subconjunto infinito de K tiene un punto de acumulación en K (es decir, un punto x tal que B(x,r)∩K=infinito). (&lt;span style="color: rgb(255, 0, 0);"&gt;me falta escribir esta demostración&lt;/span&gt;).&lt;br /&gt;&lt;br /&gt;Otras tantas pruebiñas:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;1. &lt;span style="font-size:100%;"&gt;Veamos que K es cerrado. Si no lo fuese, K&lt;sup&gt;c&lt;/sup&gt; sería cerrado por lo que existiría algún &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K&lt;sup&gt;c&lt;/sup&gt; tal que B(&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;,ε) no está contenido en K&lt;sup&gt;c&lt;/sup&gt;  para cualquier ε&gt;0. Es decir, que hay puntos en el intervalo (&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;-ε, &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;+ε) que están en K. Si tomamos ε=1/n, para cada n existirá &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K con d(yn,x)&lt;1/n&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, o lo que es igual, &lt;/span&gt;&lt;span style="font-size:100%;"&gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;⊂(&lt;/span&gt;&lt;span style="font-size:100%;"&gt;x-1/n,&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;+1/n). De la sucesión de puntos &lt;/span&gt;&lt;span style="font-size:100%;"&gt;(&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;) podemos encontrar una subsucesión (ynk) convergente a un punto &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;y &lt;/span&gt;&lt;span style="font-size:100%;"&gt;de K (hipótesis). Pero resulta que la sucesión (&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;) converge a &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, pues cuanto mayor es n, menor es la distancia entre los términos de la sucesión y &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;. Como (ynk) es subsucesión de &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, también converge a &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;. Como el límite de una sucesión (en este caso subsucesión) es único llegamos a que&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt; x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;=&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;y&lt;/span&gt;&lt;span style="font-size:100%;"&gt;. Luego &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt; está en K, que es una contradicción. Concluimos que K entonces tiene que ser cerrado.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;2. Si no fuese acotado, para cualquier n existiría Xn∈K con |Xn|&gt;n. Por hipótesis podemos encontrar una subsucesión Xnk convergente a un punto de K, y por ser convergente, es acotada, por lo que entramos en una contradicción. K es por tanto acotado.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;3. &lt;/span&gt;&lt;span style="font-size:100%;"&gt;Probaremos que F está acotado. Si no lo fuese, para cualquier n existiría Xn∈F con |Xn|&gt;n. &lt;/span&gt;&lt;span style="font-size:100%;"&gt;Consideramos Xn&lt;/span&gt;⊂F. Como Xn también está contenida en K, sabemos que existe una subsucesión Xnk⊂K que converge a x&lt;span style="font-size:100%;"&gt;∈&lt;/span&gt;&lt;span style="font-size:100%;"&gt;K. Pero como (Xnk)&lt;/span&gt;⊂(Xn),  Xnk⊂F, y como F es cerrado, Xnk converge a un punto de F (que coincide con x, pues el límite es único).&lt;span style="font-size:100%;"&gt; Contradicción, porque si es convergente, es acotada. Luego F es acotado, y por ser también cerrado, es compacto.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;Mañana (o en un rato) añado lo último que me falta, otro teorema de los señores Bolzano y Weierstrass, que es bastante largo y su correspondiente demostración.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-874823264819170009?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/874823264819170009/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=874823264819170009&amp;isPopup=true' title='2 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/874823264819170009'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/874823264819170009'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/compacidad-en-espacios-metricos.html' title='Compacidad en espacios métricos.'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>2</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-1824307846474260978</id><published>2009-10-10T16:25:00.004+02:00</published><updated>2009-10-10T19:23:59.753+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Completitud en espacios métricos.</title><content type='html'>Ayer prometía una bonita proposición, así que aquí la traigo:&lt;br /&gt;&lt;br /&gt;Todo subconjunto &lt;span style="font-weight: bold;"&gt;completo M⊆(E,d) es cerrado&lt;/span&gt;, y &lt;span style="font-weight: bold;"&gt;si (E,d) es completo&lt;/span&gt;, todo &lt;span style="font-weight: bold;"&gt;subconjunto cerrado de E es completo&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;A por la demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Sea M⊆(E,d) completo. Sea Xn⊆M una sucesión convergente a  x∈E. Tenemos que probar x está en M (recordemos que un conjunto es cerrado si y solo si el límite de toda sucesión convergente del conjunto está en dicho conjunto). Como Xn es convergente en E, es por tanto, de Cauchy (tanto en E como en M, pues la distancia entre los términos no varía de E a M). Por ser M completo, Xn tiene que converger a y∈M. Como el límite es único---&gt;x=y∈M. M es cerrado.&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Probaremos la segunda parte de la proposición: Suponemos E completo y M⊆(E,d) cerrado. Sea Xn⊆M una sucesión de Cauchy en M. Si la "miramos" en E también será de Cauchy, luego está claro que por ser E completo, Xn convergerá a x∈E. Ahora bien, M es cerrado, así que el límite de Xn tiene que quedarse en M, por tanto M es completo (toda sucesión de Cauchy es convergente).&lt;/li&gt;&lt;/ul&gt;Las nociones de sucesión de Cauchy y espacio métrico completo no son topológicas. ¿Qué quiere decir esto? Que puede haber dos distancias equivalentes sobre el mismo conjunto E que no den lugar a las mismas sucesiones de Cauchy, de forma que E sea completo para una distancia y no lo sea para la otra. En espacios normados esto no ocurre (gracias a la proposición importantilla de ayer. Recordemos que el hecho de que dos distancias sean equivalentes no implica que se cumpla la desigualdad a||x||≤||x||'≤b||x||).&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema:&lt;/span&gt; Si ||·|| es una de las tres normas usuales de Rn (que estuvimos manejando ayer), entonces (Rn,||·||) es completo.&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Vamos a probar, por ejemplo, que (Rn, ||·||∞) es completo.&lt;/li&gt;&lt;li&gt;Sea xk sucesión de Cauchy en (Rn, ||·||∞). Dado ε&gt;0 existe k0∈&lt;b&gt;N&lt;/b&gt; tal que si k,m&gt;k0 ||xk-xm||≤ε. Tomamos ahora xk=(xk¹,xk²...) con i=1,2...n. Tenemos entonces lo siguiente: |xk&lt;sup&gt;i&lt;/sup&gt;-xm&lt;sup&gt;i&lt;/sup&gt;|≤||xk-xm||∞≤ε (esto se debe a que ||xk-xm||∞=máx{|xk&lt;sup&gt;i&lt;/sup&gt;-xm&lt;sup&gt;i&lt;/sup&gt;|, i=1...n.}) para todo k,m&gt;k0.&lt;/li&gt;&lt;li&gt;Esto significa que la sucesión xn&lt;sup&gt;i&lt;/sup&gt; es de Cauchy. Como R es completo, las sucesiones de las coordenadas son convergentes, esto es, para cada i existe x&lt;sup&gt;i&lt;/sup&gt;=lim(xk&lt;sup&gt;i&lt;/sup&gt;) y por tanto xk converge hacia (x¹,x²...) con i=1,2...n.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Definición: &lt;/span&gt;El diámetro de un subconjunto A de un e.m. (E,d), por defición es el supremo.&lt;br /&gt;       diam(A)=sup{d(x,y);x,y∈A}≤+∞.&lt;br /&gt;Un subconjunto M de E se dice que es acotado si diam(A)&lt;∞.&lt;br /&gt;&lt;br /&gt;#Si A es acotado, dado x0∈A existe r&gt;0 : A⊆B(x0,r).&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;diam(A)=K&lt;∞. x0∈A, r=K. A⊆B(x0,r).&lt;/li&gt;&lt;li&gt;A⊆B(x0,r). diam(B(x0,r))≤2r. Sean x,y∈A; d(x,y)≤d(x0,x)+d(y,x0)≤r+r=2r. Luego A está acotado.&lt;/li&gt;&lt;/ul&gt;No es cierto en general que dos métricas equivalentes definan los mismos conjuntos acotadas, pero esto sí ocurre en un espacio normado (debido a la proposición bendita que antes ya hemos mencionado).&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Teorema de Cantor: &lt;/span&gt;Sea (E,d) un e.m. completo. Toda sucesión decreciente de conjuntos cerrados no vacíos, Cn⊆E que cumpla lim(diam(Cn))=0 tiene intersección no vacía.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Para cada n elegimos xn∈Cn. Probemos primero que la sucesión es de Cauchy. Dado ε&gt;0, como lim(diam(Cn))=0 existe n0 tal que diam(Cn)&lt;ε para todo n&gt;n0. Si n,m&gt;n0 tenemos que xn∈Cn⊆Cn0 y xm∈Cm⊆Cn0, y llegamos a que d(xn,xm)≤diam(Cn)≤ε.&lt;/li&gt;&lt;li&gt;Como (E,d) es completo, xn es convergente hacia un punto de E. Cada Cn es cerrado y xk∈Cn para todo k&gt;n, luego x∈Cn, esto es, la intersección de los Cn es no vacía, pues está x.&lt;/li&gt;&lt;/ul&gt;Después sigo.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-1824307846474260978?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/1824307846474260978/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=1824307846474260978&amp;isPopup=true' title='1 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/1824307846474260978'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/1824307846474260978'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/completitud-en-espacios-metricos.html' title='Completitud en espacios métricos.'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>1</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-1089322199683195767</id><published>2009-10-09T16:32:00.003+02:00</published><updated>2009-10-10T17:43:57.414+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Topología en espacios métricos (4).</title><content type='html'>Let's go on.&lt;br /&gt;&lt;br /&gt;x es un &lt;span style="font-weight: bold;"&gt;punto de aglomeración&lt;/span&gt; de la sucesión Xn si y sólo si para cada ε&gt;0 el conjunto {n∈&lt;b&gt;N:&lt;/b&gt; Xn∈B(x,ε)} es infinito, esto es, si en la bola hay infinitos términos.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Si x es un punto de aglomeración de Xn, existe una subsucesión de Xn que converge hacia x. Dado ε&gt;0 existe k0∈&lt;b&gt;N&lt;/b&gt; tal que si k&gt;k0, entonces Xnk∈B(x,ε). Luego dentro de la bola se quedan infinitos términos.&lt;/li&gt;&lt;li&gt;A por el recíproco. Sea ε=1, el conjunto{n∈&lt;b&gt;N:&lt;/b&gt; Xn∈B(x,1)}≠∅, podemos elegir por tanto n1∈&lt;b&gt;N:&lt;/b&gt; x1∈B(x,1). Tomemos ahora ε=1/2, el conjunto {n∈&lt;b&gt;N:&lt;/b&gt; Xn∈B(x,1/2)} es infinito, así que podemos coger un n2&gt;n1 tal que x2∈B(x,1/2). Respitiendo este proceso voy consiguiendo una sucesión creciente de números naturales n1, n2, n3...nk... tal que una subsucesión Xnk∈B(x,1/k).&lt;/li&gt;&lt;/ul&gt;Dos métricas,&lt;span style="font-weight: bold;"&gt; d y d',&lt;/span&gt; definidas sobre un mismo conjunto E se dice que son &lt;span style="font-weight: bold;"&gt;equivalentes si definen la misma topología sobre E.&lt;/span&gt;&lt;br /&gt;Dos normas, ||·|| y ||·||', sobre un mismo espacio vectorial se dice que son equivalentes cuando las distancias asociadas lo son.&lt;br /&gt;&lt;br /&gt;Dos métricas sobre un conjunto son equivalentes si y solo si tienen las mismas sucesiones convergentes y convergen al mismo límite. Es decir, Xn d-converge a x∈E  si y solo si Xn d'-converge a x.&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Partimos de que d y d' son métricas equivalentes (tienen por tanto los mismos conjuntos abiertos). Sea Xn d-convergente a x∈E. Sea U d'-abierto, x∈U. U es también d-abierto, así que existe un n0 a partir del cual Xn∈U. Por tanto Xn d'-converge tambiém a x.&lt;/li&gt;&lt;li&gt;Suponemos F⊆E d-cerrado. Sea Xn⊆F, Xn d'-converge a x∈E, y por hipótesis Xn d-converge a x∈F (porque F es cerrado). Luego F es también d'-cerrado. d y d' son equivalentes.&lt;/li&gt;&lt;/ul&gt;La distancia asociada a la norma d(x,y)=||x-y|| es invariante por translaciones: d(x,y)=d(a+x,a+y). La distancia también se comporta bien con las homotecias respecto al origen: d(ax,by)=ab·d(x,y). Y otra propiedad que diferencia a las normas de las métricas generales es la que da el siguiente resultado:&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Proposición importantilla&lt;/span&gt;:Sea E un e.v. sobre K y ||·||, ||·||' dos normas sobre E. Una condición necesaria y suficiente para que las dors normas seas equivalentes es que existan dos constantes a,b&gt;0 tal que &lt;span style="font-weight: bold;"&gt;a||x||≤||x||'≤b||x|| &lt;/span&gt;para todo x∈E.&lt;br /&gt;&lt;br /&gt;Probémoslo:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Veremos primero la condición necesaria. Supongamos que las dos normas son equivalentes. Como las topologías de ambas normas tienen los mismos abiertos, la bola abierta B(0,1) respecto de ||·|| ha de ser un conjunto abierto respecto de ||·||'. En particular, como el 0 está contenido en la bola B(0,1) respecto de ||·||, existe r&gt;0 tal que B(0,r)(||·||')⊆B(0,1)(||·||).&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Sea a∈R con a&lt;r.&gt;&lt;/r.&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Veamos la condición suficiente, esto es, que si se cumple a||x||≤||x||', todo abierto para ||·|| es abierto para ||·||'.&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Sea r&gt;0 y x∈B(c,a·r)(||·||'), es decir, ||x-c||'&lt;a·r, a="r."&gt;&lt;/a·r,&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Consideramos C abierto para ||·|| y c∈C. Eciste r&gt;0 tal que B(c,r)(||·||)⊆C. Pero esntonces también se cumple que B(c,a·r)(||·||')⊆C. Luego llegamos a que C es ||·||'-abierto.&lt;/li&gt;&lt;/ul&gt;En el caso de espacios métricos en general, si d y d' son métricas de E, si existen a,b&gt;0 con a·d(x,y)≤d'(x,y)≤b·d(x,y) entonces d y d' son equivalentes. Sin embargo, el hecho de que sean equivalentes no implica que existan a y b que cumplan la desigualdad. Veamos un ejemplo de que no se cumple:&lt;br /&gt;&lt;br /&gt;Consideramos la métrica del valor absoluto y la métrica acotada, p. La métrica del valor absoluto es equivalente a p pero no existe a&gt;0 tal que a·d(x,y)≤p(x,y) para todo x e y.&lt;br /&gt;&lt;br /&gt;Las normas ||·||1 y ||·||∞ aunque no proceden de un producto escalar (al contrario que ||·||2), también definen la topología usual de Rn. Basta aplicar la proposición anterior teniendo en cuenta las desigualdades:&lt;br /&gt;&lt;br /&gt;&lt;ol&gt;&lt;li&gt;||x||∞≤||x||2≤sqrt(n)||x||∞                                         &lt;br /&gt;&lt;/li&gt;&lt;li&gt;1/sqrt(n) ·||x||1≤||x||2≤sqrt(n)||x||1&lt;/li&gt;&lt;/ol&gt;Pruebas:&lt;br /&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Recordamos que ||x||∞=max{|xi| con i=1,2...}. |xi|=sqrt(xi²)≤sqrt(x1²+...+...xi²+...xn²)=||x||2.&lt;/li&gt;&lt;li&gt;||x||2=sqrt(x1²+...+...xi²+...xn²)≤sqrt(||x||∞²+...+...||x||∞²+...||x||∞²)=sqrt(n)||x||∞.&lt;/li&gt;&lt;li&gt;Para demostrar 1/sqrt(n) ·||x||1≤||x||2 utilizamos la desigualdad de Cauchy Schwarz.  Sea x∈Rn, tomamos a∈Rn tal que ai·xi=|xi| (luego a=+1,-1). ||xi||1=sum|xi|=sum(ai·xi)=&lt;a,x&gt;≤||a||2·||x||2=sqrt(n)·||x||2.&lt;/a,x&gt;&lt;/li&gt;&lt;li&gt;||x||2=sqrt(x1²+...+xn²)≤sum(xi)=||x||1.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Corolario: &lt;/span&gt;En (Rn, ||·||2), limXn=x si y solo si la convergencia es coordenada a coordenada.&lt;br /&gt;&lt;br /&gt;Demostración:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Supongasmo que (xn,yn)------&gt;(x,y). Entonces d∞((x,y),(xn,yn))=max{|xn-x|,|yn-y|} y esto tiene que tender a 0. La única forma es que tanto |xn-x| como |yn-y| tiendan a 0.&lt;/li&gt;&lt;/ul&gt;Para acabar introduciré algunos nuevos relacionados con la&lt;span style="font-weight: bold;"&gt; completitud&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Recordaré que la noción de completitud, esto es, que toda sucesión de números reales que sea de Cauchy es convergente, equivale al Principio de encaje de Cantor y éste al axioma del supremo (todo conjunto no vacío acotado superiormente tiene un supremo). Sobre (San) Cantor hablaremos más adelante.&lt;br /&gt;&lt;br /&gt;Sea (E,d) un e.m. Una sucesión Xn en E se dice que &lt;span style="font-weight: bold;"&gt;es de Cauchy&lt;/span&gt; si dado ε&gt;0 existe un número natural n0 tal que &lt;span style="font-weight: bold;"&gt;si k,n&gt;n0 entonces d(xnk,xn)≤ε.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;#En un espacio métrico toda sucesión de Cauchy es acotada y toda sucesión convergente es de Cauchy, pero el recíproco generalmente es falso.&lt;br /&gt;&lt;br /&gt;Un e.m. se dice que es completo si y solo si toda sucesión de Cauchy en E es convergente. Cuando un espacio normado es completo se le denomina &lt;span style="font-weight: bold;"&gt;espacio de Banach&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Sea M un subconjunto del e.m. (E,d), la restricción MxM de la distancia d es una distancia en M que denotaremos dM. Si el espacio (M,dM) es completo diremos que M es un subconjunto completo de E.&lt;br /&gt;&lt;br /&gt;Creo que hoy me puse bien las pilas. Mañana seguimos con una bonita proposición.&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-1089322199683195767?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/1089322199683195767/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=1089322199683195767&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/1089322199683195767'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/1089322199683195767'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/topologia-en-espacios-metricos-4.html' title='Topología en espacios métricos (4).'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-2740195371126802963</id><published>2009-10-07T20:35:00.008+02:00</published><updated>2009-10-09T17:30:34.897+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Topología en espacios métricos (3).</title><content type='html'>Tras este tiempo sin repasar nada de análisis, volvemos por donde lo dejamos.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;Proposición(I): &lt;/span&gt;Un punto x es adherente a M⊂E  si y solo si es límite de alguna sucesión contenida en M.&lt;br /&gt;&lt;br /&gt;Demostrémoslo:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Si x∈M| para todo n B(x,1/n)∩M ≠ ∅. Podemos elegir para cada n, Xn∈B(x,1/n)∩M y entonces d(x,Xn)&lt;1/n.&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;Por tanto Xn converge a x.&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;br /&gt;&lt;/li&gt;&lt;li&gt;Probemos el recíproco. Sea Xn∈M cuyo límite es x. Sea U abierto con x∈U, por definición de límite, existe n0 tal que si n&gt;n0, Xn∈U, y esto implica que U∩M≠∅, es decir, x es un punto adherente a M.&lt;/li&gt;&lt;/ul&gt; &lt;span style="font-weight: bold;"&gt;Proposición(II): &lt;/span&gt;Un punto x es un punto de acumulación de M⊂E  si y solo si es límite de alguna sucesión contenida en M\{x}. Quitamos el x porque si x está en la sucesión y además es el límite, la sucesión sólo puede ser una sucesión constante en la que todos los términos son el x. Pero entonces no se cumpliría el recíproco que diría que si x es límite de alguna sucesión contenida en M, x es un punto de acumulación.&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Si x∈M' para todo n B(x,1/n)∩M=∞. Podemos elegir para cada n,  Xn∈B(x,1/n)∩M (lo elegimos con x∉Xn, y podemos hacer esto porque la intersección está formada por un número infinito de elementos) y entonces d(x,Xn)&lt;1/n.&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;Por tanto Xn converge a x.&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;ul&gt;&lt;li&gt;Sea Xn∈M\{x} cuyo límite es x. Sea U abierto con x∈U, por definición de límite, existe n0 tal que si n&gt;n0, Xn∈U. Como la sucesión no puede ser constante (es decir, que todos los términos sean x) tenemos que Xn obligatoriamente está formada por infinitos números distintos, luego U∩M=∞. x es por tanto un punto de acumulación de M.&lt;/li&gt;&lt;/ul&gt;Un conjunto F⊂(E,d) es cerrado si y solo si toda sucesión Xn⊂F convergente tiene su límite en F.&lt;br /&gt;&lt;br /&gt;Prueba:&lt;br /&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Suponemos que F es cerrado y sea Xn una sucesión de F convergente hacia x. Si x∉F, x∈E\F, y como este conjunto es abierto existe r&gt;0 tal que B(x,r)⊂E\F. Como el límite es x, existe n0 tal que si n&gt;n0 Xn∈B(x,r), y esto nos lleva a que Xn∉F. ¡Absurdo! x está en F.&lt;/li&gt;&lt;li&gt;Sea x∈E\F=:G. Si G fuese cerrado, podríamos elegir una sucesión Xn∈B(x,1/n) de forma que la sucesión no estuviese contenida en G. Xn entonces pertenecería a F y además ||x-Xn||&lt;1/n,&lt;span style="color: rgb(255, 255, 255);"&gt;ty&lt;span style="color: rgb(51, 51, 51);"&gt;es decir, Xn tiende a x&lt;span style="color: rgb(255, 255, 255);"&gt;.j.&lt;/span&gt;y por hipótesis x&lt;/span&gt;&lt;/span&gt;∈F&lt;span style="color: rgb(255, 255, 255);"&gt;y&lt;/span&gt;. Luego G es abierto.&lt;br /&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-weight: bold;"&gt;Definición: &lt;/span&gt;Sea Xn una sucesión en E. Si n1&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;n2&lt;span style="color: rgb(255, 255, 255);"&gt;o&lt;span style="color: rgb(51, 51, 51);"&gt;... es una sucesión infinita creciente de números naturales, a &lt;span style="font-weight: bold;"&gt;Xnk&lt;/span&gt; le llamaremos &lt;span style="font-weight: bold;"&gt;subsucesión de Xn.&lt;/span&gt;&lt;br /&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;dfrgthyjkml,ñ&lt;/span&gt;&lt;br /&gt;La última proposición de hoy: Si la sucesión Xn de E converge hacia x, cada subsucesión de Xn también.&lt;br /&gt;Prueba:&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;&lt;n2...nk&gt;&lt;n2..&gt;&lt;nk....&gt;&lt;li&gt;Dado ε&gt;0 existe n0∈N tal que si n&gt;n0, d(Xn,x)&lt;ε. Consideramos ahora Xnk subsucesión de Xn. Sea k0∈N tal que n0k&gt;n0, entonces si k&gt;k0 tenemos que d(Xnk,x)&lt;ε.&lt;/li&gt;Para acabar diremos que x∈E es un &lt;span style="font-weight: bold;"&gt;punto de aglomeración&lt;/span&gt; de la sucesión Xn si x es límite de alguna subsucesión de Xn.&lt;br /&gt;&lt;br /&gt;Mañana y pasado a ver si sigo con esto y lo consigo poner al día, que se me está acumulando la tarea.&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;/nk....&gt;&lt;/n2..&gt;&lt;/n2...nk&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-2740195371126802963?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/2740195371126802963/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=2740195371126802963&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/2740195371126802963'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/2740195371126802963'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/topologia-en-espacios-metricos-3.html' title='Topología en espacios métricos (3).'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-6163541361859334961</id><published>2009-10-01T17:42:00.005+02:00</published><updated>2009-10-08T19:07:43.962+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Topología en espacios métricos (2).</title><content type='html'>Hoy seguimos el tema que dejamos ayer. Comenzamos con el concepto de &lt;span style="font-weight: bold;"&gt;frontera&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;La frontera de M, &lt;span style="font-weight: bold;"&gt; &lt;/span&gt;&lt;span style="font-weight: bold;font-size:130%;" &gt;∂&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;M&lt;/span&gt;, es el conjunto formado por los puntos adherentes a M que no son interiores a M (los bordes del intervalo, vamos). El &lt;span style="font-weight: bold;"&gt;exterior&lt;/span&gt; de M es el interior de su complementario, que coincide con el complementario de M|. Por ejemplo, si consideramos el conjunto M=[0,1]∈R.  &lt;span style="font-weight: bold;"&gt; &lt;/span&gt;&lt;span style="font-weight: bold;font-size:130%;" &gt;&lt;span style="font-size:100%;"&gt;M⁰=&lt;/span&gt;&lt;/span&gt;&lt;span style="font-size:130%;"&gt;&lt;span style="font-size:100%;"&gt;(0,1); &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;M|&lt;/span&gt;&lt;span style="font-size:100%;"&gt;=[0,1];&lt;/span&gt; &lt;/span&gt;&lt;span style="font-weight: bold;font-size:130%;" &gt;∂&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;M&lt;/span&gt;=&lt;span style="font-size:130%;"&gt;[0,1]\&lt;/span&gt;&lt;span style="font-size:130%;"&gt;(0,1)=&lt;/span&gt;{0,1};&lt;br /&gt;&lt;span style="font-weight: bold;"&gt;extM&lt;/span&gt;=(-∞,0)∪(1,+∞).&lt;br /&gt;&lt;br /&gt;Definición: Sea M⊂(E,d). Si para cada r&gt;0 el conjunto B(x,r)∩M tiene &lt;span style="font-weight: bold;"&gt;infinitos &lt;/span&gt;elementos se dice que x es un &lt;span style="font-weight: bold;"&gt;punto de acumulación&lt;/span&gt; de M y se escribe x∈M'.&lt;br /&gt;&lt;br /&gt;Ejemplo: A={1/n: n∈N}, los puntos de A son 1,1/2,1/3... y tienden a 0. Los puntos de A no son puntos de acumulación, puesto que puedo encontrar un r tal que B(x,r)∩A={x}, es decir, bolas que únicamente contengan a un elemento de A (y eso es contrario a la definición de punto de acumulación. El único punto de acumulación es el 0, ya que a partir de un término se cumple que |1/n -0|&lt;ε, y esto sólo se da cuando el número de términos es infinito.  Es claro que &lt;span style="font-weight: bold;"&gt;M'⊂M|&lt;/span&gt;, pues si x es un punto de acumulación, evidentemente estará en el cierre de M, pues M| contiene a todos los x tal que B(x,r)∩M es distinto del vacío, no sólo a los que hagan que la intersección tenga un número infinito de elementos.&lt;br /&gt;&lt;br /&gt;Veamos que &lt;span style="font-weight: bold;"&gt;M| \M'⊂M&lt;/span&gt;: Sea x∈M| \M'; x∉M. Existe r&gt;0: B(x,r)∩M={x1,x2...xn} con x distinto de x1,x2...xn. Además puedo encontrar un ε&gt;0: B(x,ε)∩{x1,x2...xn}=∅ (ya que x1,x2...xn es una cantidad finita de elementos). y como x no está en M, B(x,ε)∩M=∅ Llegamos entonces a que x∉M|. Contradicción. Luego M| \M'⊂M.&lt;br /&gt;&lt;br /&gt;A los puntos de M| \M' se les denomina &lt;span style="font-weight: bold;"&gt;puntos aislados&lt;/span&gt;. x es un punto aislado de M si hay algún r&gt;0 tal que B(x,r)∩M={x}. Se verifica que M|=M⁰∪&lt;span style="font-weight: bold;font-size:130%;" &gt;∂&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;&lt;/span&gt;M=M∪M', donde la primera unión es disjunta.&lt;br /&gt;&lt;br /&gt;Proposición: Si M⊂(E,d), &lt;span style="font-weight: bold;"&gt;M es cerrado si y solo si M'⊂M&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;Demostración: &lt;/span&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Primero veamos que si M es cerrado, M'⊂M. Sabemos que M|=M∪M', y como M es cerrado, M|=M, luego M∪M'=M, es decir, al añadir M' no estoy añadiendo nuevos puntos a M, luego M'⊂M.&lt;/li&gt;&lt;li&gt;Probemos el recíproco. Como M'⊂M, M&lt;sup&gt;c&lt;/sup&gt;⊂(M')&lt;sup&gt;c&lt;/sup&gt;. M|∩M&lt;sup&gt;c&lt;/sup&gt;⊆M|∩M&lt;sup&gt;'c&lt;/sup&gt;=(M∪M')∩M&lt;sup&gt;'c&lt;/sup&gt;⊆M (esto se debe a que M|=M∪M'). Pero entonces M|∩M&lt;sup&gt;c&lt;/sup&gt;=∅. Pues los puntos de M&lt;sup&gt;c&lt;/sup&gt; no están en M. Y como M|∩M&lt;sup&gt;c&lt;/sup&gt;=∅, y esto quiere decir que no hay ningún punto de M| que esté en M&lt;sup&gt;c&lt;/sup&gt;, luego los puntos de M| estarán en M, esto es, M|=M.&lt;/li&gt;&lt;/ul&gt;La última definición de hoy: Una &lt;span style="font-weight: bold;"&gt;sucesión Xn&lt;/span&gt; en un e.m. (E,d) es &lt;span style="font-weight: bold;"&gt;convergente hacia x∈E&lt;/span&gt; y se escribe limXn=x, si para cada &lt;span style="font-weight: bold;"&gt;subconjunto abierto U&lt;/span&gt; en E conteniendo a x, &lt;span style="font-weight: bold;"&gt;existe n0 tal que Xk∈U para todo k≥n0&lt;/span&gt;. Es decir, como x∈U abierto, existe ε&gt;0: B(x,ε)⊆U.&lt;br /&gt;En este caso dicho punto x, necesariamente único, se dice que es el límite de la sucesión.&lt;br /&gt;&lt;br /&gt;Esta definición es equivalente a la siguiente: Para todo  ε&gt;0 existe n0 tal que si k≥n0 Xk∈B(x,ε).&lt;br /&gt;&lt;br /&gt;Demostremos la doble implicación:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Está claro que si se da la primera definición se da la segunda, pues ya dijimos ayer que toda bola abierta es un conjunto abierto (la bola abierta es un caso particular de conjunto abierto). Probemos entonces que la segunda implica la primera.&lt;/li&gt;&lt;li&gt;Como U es abierto hay una bola B(x,ε)⊂U, y por la definición, a partir de un momento todos los términos estás en la bola, y en particular, dentro de U.&lt;/li&gt;&lt;/ul&gt;Para espacios normados, si Xn es una sucesión de (E,||·||), Xn converge a x si y solo si la sucesión de números reales ||Xn-x||--&gt;0 cuando n--&gt;∞.&lt;br /&gt;&lt;br /&gt;El asunto sigue mañana.&lt;br /&gt;&lt;br /&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-6163541361859334961?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/6163541361859334961/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=6163541361859334961&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/6163541361859334961'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/6163541361859334961'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/10/topologia-en-espacios-metricos-2.html' title='Topología en espacios métricos (2).'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-768060652260681837</id><published>2009-09-30T18:31:00.005+02:00</published><updated>2009-10-01T23:08:19.265+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Topología en espacios métricos.</title><content type='html'>Hoy vamos a repasar conceptos y resultados ya conocidos de Análisis.&lt;br /&gt;&lt;br /&gt;Sea (E,d) un e.m. se define la &lt;span style="font-weight: bold;"&gt;bola abierta&lt;/span&gt; de centro a∈E y radio r&gt;0 como B(a,r)={x∈E, d(x,a)&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;}.&lt;span style="color: rgb(255, 255, 255);"&gt;ii&lt;/span&gt;La &lt;r}. la=""&gt;&lt;span style="font-weight: bold;"&gt;bola cerrada&lt;/span&gt; se definiría así: B(a,r)={x∈E, d(x,a)≤r}.&lt;br /&gt;&lt;br /&gt;Un &lt;span style="font-weight: bold;"&gt;conjunto A⊂E es abierto&lt;/span&gt; si para cada x de A existe r&gt;0 tal que B(x,r)⊂A. Gracias a la desigualdad triangular podemos decir que cualquier bola abierta es un conjunto abierto. Esta demostración se ve clara gráficamente. Dibujamos una bola de centro &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; y radio r, y dentro de nuestra bola abierta hacemos una bola  de menor tamaño (o igual tamaño) con centro en un punto &lt;span style="font-weight: bold;"&gt;x&lt;/span&gt; cualquiera y con radio &lt;span style="font-weight: bold;"&gt;&lt;/span&gt; ε. Lo que vamos a probar es que esta última bola está siempre contenida en la primera (o es igual que esta) para todo x∈B(a,r).&lt;ul&gt;&lt;li&gt;Sea z∈B(x,ε), es decir, d(x,z)&lt;ε. Consideramos ε=(r-d(x,a))/2 (De esta forma evitamos que la bolita se salga de B(a,r)). Tenemos entonces d(z,a)≤d(z,x)+d(x,a)&lt;(r-d(x,a))/2 +d(x,a)= r/2 +d(x,a)/2 = r/2+r/2=r. &lt;/li&gt;&lt;/ul&gt;Un &lt;span style="font-weight: bold;"&gt;conjunto A⊂E es cerrado&lt;/span&gt; si  E\A (su complementario) es abierto. Definimos el &lt;span style="font-weight: bold;"&gt;conjunto vacío&lt;/span&gt; como un &lt;span style="font-weight: bold;"&gt;conjunto abierto&lt;/span&gt; (y así nos ahorramos complicaciones).&lt;br /&gt;&lt;br /&gt;Un conjunto V es entorno de a∈E si existe r&gt;0 tal que B(a,r)⊂V. Teniendo en cuenta esto y la definición anterior de conjunto abierto llegamos a que un conjunto es abierto si y solo si es entorno de todos sus puntos.&lt;br /&gt;&lt;br /&gt;El &lt;span style="font-weight: bold;"&gt;entorno reducido&lt;/span&gt; de un punto a es un conjunto de la forma V\a (todos los puntos de V menos el punto a) donde V es entorno de a. ¿Y esto para qué? Pues bien, este concepto se utiliza a la hora de estudiar límites, donde lo que importa son los alrededores del punto y no el punto en sí.&lt;br /&gt;&lt;br /&gt;La &lt;span style="font-weight: bold;"&gt;topología&lt;/span&gt; de un espacio métrico (E,d) viene dada por la &lt;span style="font-weight: bold;"&gt;familia de todos los conjuntos abiertos&lt;/span&gt; y una &lt;span style="font-weight: bold;"&gt;base&lt;/span&gt; para dicha topología estará formada por la familia de bolas abiertas {B(x,r); x∈E; r&gt;0}.&lt;br /&gt;&lt;br /&gt;Si (E,||·||) es un espacio normado, la topología de E es la de la métrica asociada a esa norma. La topología de E quedará denotada por ζ||·||.&lt;br /&gt;&lt;br /&gt;Toca una definición: Sea M un subconjunto de un e.m. (E,d), se dice que x∈E:&lt;br /&gt;&lt;ol&gt;&lt;li&gt;es interior a M, &lt;span style="font-style: italic;"&gt;x&lt;/span&gt;∈&lt;span style="font-style: italic;"&gt;M&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;, si existe r&gt;0 tal que B(x,r)⊂M.&lt;/li&gt;&lt;li&gt;es adherente a M, &lt;span style="font-style: italic;"&gt;x&lt;/span&gt;∈&lt;span style="font-style: italic;"&gt;M&lt;/span&gt;| , si para cada r&gt;0,  B(x,r)∩M≠∅.&lt;/li&gt;&lt;/ol&gt;Al conjunto &lt;span style="font-style: italic;"&gt;M&lt;/span&gt;| se le llama cierre o clausura de M, a&lt;span style="font-style: italic;"&gt; M&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;&lt;span style="font-style: italic;"&gt;,&lt;/span&gt; interior de M.&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;&lt;br /&gt;&lt;/span&gt;&lt;/span&gt;Vamos ahora a por una proposición: Sea (E,d) un espacio métrico. Un subconjunto G de E es &lt;span style="font-weight: bold;"&gt;abierto si y solo si G=&lt;/span&gt;&lt;span style="font-style: italic; font-weight: bold;"&gt;G&lt;/span&gt;&lt;sup style="font-weight: bold;"&gt;o&lt;/sup&gt;&lt;span style="font-style: italic;"&gt;,&lt;/span&gt; y un subconjunto F es &lt;span style="font-weight: bold;"&gt;cerrado si y solo si F=F|.&lt;/span&gt;&lt;br /&gt;Además, &lt;span style="font-weight: bold;"&gt;el interior de un conjunto M es el mayor conjunto abierto contenido en M&lt;/span&gt;, y su &lt;span style="font-weight: bold;"&gt;clausura es el menor conjunto cerrado que contiene a M&lt;/span&gt;.&lt;br /&gt;&lt;br /&gt;Veamos cómo marcha la cosa con un ejemplo. Consideremos el subconjunto B=[0,1]. &lt;span style="font-style: italic;"&gt;B&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;=(0,1). No están incluidos el 0 y el 1, puesto que si hacemos una bola (en este caso se trataría de un intervalo) con centro en 0 o en 1, no estará toda ella en B. Por otro lado, B|=B.&lt;br /&gt;&lt;br /&gt;Pasamos a demostrar las dos últimas líneas de la proposición:&lt;br /&gt;&lt;ul&gt;&lt;li&gt;Supongo &lt;span style="font-weight: bold;"&gt;G subconjunto abierto&lt;/span&gt;. Es claro que &lt;span style="font-style: italic;"&gt;G&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;⊂G, pues los puntos de &lt;span style="font-style: italic;"&gt;G&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;, por definición, son puntos de G. Probemos el recíproco.&lt;/li&gt;&lt;li&gt;Considero x∈G. Como G es abierto puedo hacer una bola de centro x y radio ε contenida en G, pero todo lo que hay dentro de G son puntos interiores, luego G⊂&lt;span style="font-style: italic;"&gt;G&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;. Hemos llegado a que G=&lt;span style="font-style: italic;"&gt;G&lt;/span&gt;&lt;sup&gt;o&lt;/sup&gt;.&lt;/li&gt;&lt;li&gt;Supongo &lt;span style="font-weight: bold;"&gt;F subconjunto cerrado&lt;/span&gt;. Es claro que &lt;span style="font-style: italic;"&gt;F&lt;/span&gt;&lt;sup&gt;&lt;/sup&gt;⊂F|, pues evidentemente la intersección de puntos que están en F con F no es el vacío. Luego, como mínimo, la adherencia es el propio subconjunto. Probemos que F|⊂F.&lt;/li&gt;&lt;li&gt;Sea x∈F| y x∉F. Como F es cerrado, E\F es abierto y podemos construir una bola B(x,r)⊂E\F (complementario de F). Pero resulta que x∈F|, y esto quiere decir que B(x,r)∩F≠∅. Estaríamos diciendo que F y su complementario tienen puntos en común, por lo que llegamos a una contradicción. Esto es, F|⊂F, y, por tanto podemos decir que F=F|.&lt;/li&gt;&lt;/ul&gt;&lt;br /&gt;Y esta fue la lección de hoy.&lt;br /&gt;&lt;br /&gt;&lt;/r}.&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-768060652260681837?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/768060652260681837/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=768060652260681837&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/768060652260681837'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/768060652260681837'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/topologia-en-espacios-metricos.html' title='Topología en espacios métricos.'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-891784847489267414</id><published>2009-09-29T19:03:00.008+02:00</published><updated>2009-10-07T23:16:31.953+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Espacios normados. Producto interior.</title><content type='html'>&lt;span style="font-family:trebuchet ms;"&gt;Un espacio normado (E, ||.||) es un espacio vectorial E y una función ||.||: E--&gt;R, llamada norma (que cumple las propiedades 1.N,2.N y 3.N que vimos  ayer). El ejemplo más sencillo de norma lo proporciona el valor absoluto en R.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Ejemplos de espacios normados:&lt;/span&gt;&lt;br /&gt;&lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;Para x∈Rn definimos ||&lt;span style="font-weight: bold;"&gt;x&lt;/span&gt;||1=∑|xi| desde i=1 hasta n.&lt;/li&gt;&lt;li&gt;Para x∈Rn definimos ||&lt;span style="font-weight: bold;"&gt;x&lt;/span&gt;||∞=máx{|xi|; i=1,...n}.&lt;/li&gt;&lt;li&gt;Sea E={f:[0,1]--&gt;R; f está acotada}. Se comprueba que E es un e.v. con las operaciones usuales de funciones y se define para f∈R, ||f||∞=sup{|f(x)|; x∈[0,1]}.&lt;/li&gt;&lt;/ol&gt;&lt;span style="font-family:trebuchet ms;"&gt;A las normas de la forma ||&lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;·&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;||∞ se las denomina &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;normas del supremo&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Es bastante claro que la norma definida en el punto 3 cumple las propiedades 1.N y 2.N. Veamos si cumple la 3.N (desigualdad triangular).&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;|&lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;(f+g)(x)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;|=|f(x)+g(x)|≤|f(x)|+|g(x)|≤||f(x)||∞+||g(x)||∞&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;||(f+g)(x)||∞≤||f(x)||∞+||g(x)||∞&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;||(f+g)(x)||∞ no puede ser mayor que ||f(x)||∞+||g(x)||∞ puesto que es la menor de las cotas de |&lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;(f+g)(x)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;|.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;En un espacio normado podemos siempre definir una métrica. Si tenemos un espacio (E,||·||), dados u,v∈E definimos d(u,v)=||u-v||. La demostración a partir de la desigualdad de Cauchy-Schuarz de que 3.N implica 3.D nos asegura que &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;d&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; así definida es una métrica en E que se denomina métrica asociada a la norma del espacio.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Veamos que el recíproco no se cumple, es decir, que no todas las métricas en un e.v. provienen de una norma. Pongamos como ejemplo la &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;métrica discreta&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; (explicada ayer):&lt;/span&gt;&lt;br /&gt;&lt;ul style="font-family: trebuchet ms;"&gt;&lt;li&gt;Supongamos (E,||·||) e.v. normado tal que d(u,v)=||u-v|| es la métrica discreta. Si u=v, d(u,v)=0=||u-v||. Si u es distinto de v, entonces d(u,v)=1=||u-v||. En este último caso, consideremos los vectores 2u y 2v (que siguen siendo distintos). Tenemos entonces  d(2u,2v)=1 y ||2u-2v||=2||u-v||=2·1=2. Pero d(2u,2v)=||2u-2v||, con lo que llegamos a un absurdo.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family:trebuchet ms;"&gt;Comentamos también ayer la noción de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;producto interior&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;. Dado un e.v. E, diremos que una aplicación &lt;·,·&gt;:ExE--&gt;R es un p.i. de E si verifica las propiedades 1.P, 2.P y 3.P.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Un ejemplo de espacio con la aplicación producto interior es el siguiente: En el e.v. de las funciones continuas en el intervalo [0,1] definimos el producto interior &lt;/span&gt;&lt;f,g style="font-family: trebuchet ms;"&gt;=∫&lt;sub&gt;0&lt;/sub&gt;&lt;sup&gt;&lt;i&gt;1&lt;/i&gt;&lt;/sup&gt;f(x)g(x)dx. Probaremos que, efectivamente, se trata de un p.i:&lt;br /&gt;&lt;br /&gt;&lt;ul&gt;&lt;li&gt;2.P es inmediata y 3.P resulta de la linealidad en las integrales. Demostremos 1.P, esto es, que &lt;f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;&lt;/span&gt;i&lt;/span&gt;f,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;f&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;e&lt;/span&gt;&lt;f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;/span&gt;≥0 y que&lt;/f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;/span&gt;i&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;f&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;&lt;/span&gt;i&lt;/span&gt;f&lt;f,&gt;,&lt;f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;f&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;e&lt;/span&gt;=0 si y solo si f=0.&lt;br /&gt;&lt;/f,&gt;&lt;/f,&gt;&lt;/li&gt;&lt;li&gt;Lo primero se prueba así: &lt;f,f&gt;=∫&lt;sub&gt;0&lt;/sub&gt;&lt;sup&gt;&lt;i&gt;1&lt;/i&gt;&lt;/sup&gt;f ²(x)dx≥∫&lt;sub&gt;0&lt;/sub&gt;&lt;sup&gt;&lt;i&gt;1&lt;/i&gt;&lt;/sup&gt;0dx=0.&lt;/f,f&gt;&lt;/li&gt;&lt;li&gt;Si f=0 es claro que &lt;f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;&lt;/span&gt;i&lt;/span&gt;f,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;f&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;e&lt;/span&gt;&lt;f,f&gt;=0. Vamos a demostrar el recíproco.&lt;/f,f&gt;&lt;/li&gt;&lt;li&gt;Partimos de que &lt;f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/f,&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;&lt;/span&gt;i&lt;/span&gt;f,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;f&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;e&lt;/span&gt;&lt;f,f&gt;=0. Supongamos que existe x0∈[0,1] tal que f(x0) es distinto de 0. Tomamos  ε=|f(x0)|/2&gt;0. Por ser f continua sabemos que existe δ&gt;0 tal que si x∈[x0-δ,x0+δ] entonces |f(x)-f(x0)|≤ ε (no es un menor estricto debido a que el intervalo [x0-δ,x0+δ]es cerrado).  ||f(x)|-|f(x0)||≤|f(x)-f(x0)|≤ ε, es decir, -ε≤|f(x)|-|f(x0)|≤ ε y de aquí deducimos que |f(x)|&gt;ε. Por la monotonía de la integral, al ser f²(x)≥0, para todo x∈[0,1] tenemos: 0=∫&lt;sub&gt;0&lt;/sub&gt;&lt;sup&gt;&lt;i&gt;1&lt;/i&gt;&lt;/sup&gt;f ²(x)dx≥∫f ²(x)dx [entre x0-δ y x0+δ]≥2δε² &gt;0, y esto es una contradicción.&lt;/f,f&gt;&lt;/li&gt;&lt;/ul&gt;&lt;br /&gt;Mañana más.&lt;/f,g&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-891784847489267414?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/891784847489267414/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=891784847489267414&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/891784847489267414'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/891784847489267414'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/espacios-normados-producto-interior.html' title='Espacios normados. Producto interior.'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-7398918829857818812</id><published>2009-09-28T20:02:00.007+02:00</published><updated>2009-10-30T20:05:54.519+01:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Espacios métricos. Producto interior</title><content type='html'>&lt;span style="color: rgb(255, 255, 255);"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;A partir de ahora trabajaremos en Rn. A los elementos de Rn los denominaremos puntos o vectores (estarán en negrita).&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;En primer lugar definiremos 3 conceptos fundamentales:&lt;/span&gt;&lt;br /&gt;&lt;ul  style="font-family:trebuchet ms;"&gt;&lt;li&gt;Norma: ||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||=sqrt&lt;span class="texhtml"&gt; Σ&lt;/span&gt;(Xi)²&lt;/li&gt;&lt;li&gt;Distancia: d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)=||&lt;span style="font-weight: bold;"&gt;X-Y&lt;/span&gt;||= sqrt&lt;span class="texhtml"&gt; Σ&lt;/span&gt;(Xi-Yi)²&lt;/li&gt;&lt;li&gt;Producto interior (o escalar): &lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;=&lt;span class="texhtml"&gt;Σ&lt;/span&gt;Xi·Yi&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family:trebuchet ms;"&gt;Pasamos a enunciar sus respectivas propiedades.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;N-  ||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||≥0 y es 0 si, y solo si &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;=0.&lt;/li&gt;&lt;li&gt;N-   ||a·&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||=a·||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||  con a=constante.&lt;/li&gt;&lt;li&gt;N-   ||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;+&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;||≤||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;|| +||&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;|| (Des. Triangular).&lt;/li&gt;&lt;/ol&gt;&lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;D-  d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)≥0 y es 0 si, y solo si &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;=&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;D-  d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)= d(&lt;span style="font-weight: bold;"&gt;Y,X&lt;/span&gt;).&lt;/li&gt;&lt;li&gt;D-   d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)≤  d(&lt;span style="font-weight: bold;"&gt;X,Z&lt;/span&gt;)&lt;span style="font-weight: bold;"&gt;+&lt;/span&gt;  d(&lt;span style="font-weight: bold;"&gt;Z,Y&lt;/span&gt;) (Des. Triangular).&lt;/li&gt;&lt;/ol&gt;&lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;P-   &lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;≥0 y es 0 si, y solo si &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;=0.&lt;/li&gt;&lt;li&gt;P-    &lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;=  &lt;&lt;span style="font-weight: bold;"&gt;Y,X&lt;/span&gt;&gt;.&lt;/li&gt;&lt;li&gt;P-    &lt;a&gt;&lt;span style="font-weight: bold;"&gt;&lt;span style="font-weight: bold;"&gt;·&lt;/span&gt;X+&lt;/span&gt;b&lt;span style="font-weight: bold;"&gt;·Y,Z&lt;/span&gt;&gt;=   a·&lt;&lt;span style="font-weight: bold;"&gt;X,Z&lt;/span&gt;&gt;+  b·&lt;&lt;span style="font-weight: bold;"&gt;Y,Z&lt;/span&gt;&gt;.&lt;/a&gt;&lt;/li&gt;&lt;/ol&gt;&lt;a  style="font-family:trebuchet ms;"&gt;&lt;br /&gt;Las propiedades que quizás son sean muy obvias son la 3.N y la 3.P, y las vamos a demostrar probando previamente la &lt;span style="font-weight: bold;"&gt;desigualdad de Cauchy-Schuarz:&lt;br /&gt;&lt;br /&gt;        &lt;/span&gt;  |&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;|≤||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||·||&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;||&lt;br /&gt;&lt;br /&gt;&lt;/a&gt;&lt;ul  style="font-family:trebuchet ms;"&gt;&lt;li&gt;&lt;a&gt;Supongamos &lt;span style="font-weight: bold;"&gt;X,Y &lt;/span&gt;distintos de 0, pues si alguno es 0 está claro que se cumple la desigualdad (0=0). Tenemos entonces que &lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;&gt;0 y &lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt;&gt;0. Para cualquier constante &lt;span style="font-weight: bold;"&gt;a&lt;/span&gt; se cumple lo siguiente:&lt;/a&gt;&lt;/li&gt;&lt;li&gt;&lt;a&gt;0≤&lt;&lt;span style="font-weight: bold;"&gt;a·X+Y,a·X&lt;/span&gt;+&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;&gt;= &lt;&lt;span style="font-weight: bold;"&gt;a·X,a·X+Y&lt;/span&gt;&gt;+&lt;&lt;span style="font-weight: bold;"&gt;Y,a·X+Y&lt;/span&gt;&gt;= &lt;&lt;span style="font-weight: bold;"&gt;a·X,a·X&lt;/span&gt;&gt;+&lt;&lt;span style="font-weight: bold;"&gt;a·X,Y&lt;/span&gt;&gt;+&lt;&lt;span style="font-weight: bold;"&gt;Y,a·X&lt;/span&gt;&gt;+&lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt;= a²&lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;+2a&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;+&lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt;&lt;/a&gt;&lt;/li&gt;&lt;li&gt;&lt;a&gt;Esto vemos que tiene pinta de ecuación cuadrática. Si consideramos A=&lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;, B=2&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt; y C=&lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt;, ya la tenemos, pues nos queda: 0≤Aa&lt;span style="font-weight: bold;"&gt;²&lt;/span&gt;+Ba+C. Si derivamos esta ecuación llegamos a que -B/2A≤a, en  -B/2A tiene un mínimo. A continuación sustituimos en la ecuación: 0≤A(-B/2A)&lt;span style="font-weight: bold;"&gt;²&lt;/span&gt;+ B(-B/2A)+C y nos queda que B²/4A≤C; B²≤4AC.&lt;br /&gt;&lt;/a&gt;&lt;/li&gt;&lt;li&gt;&lt;a&gt;Sustituimos B,A y C por sus valores originales:  B²≤4AC; 4(&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;)²≤4&lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;·&lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt;; (&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;)²≤&lt;span style="font-weight: bold;"&gt;||X||²&lt;/span&gt;·||&lt;span style="font-weight: bold;"&gt;Y||² &lt;/span&gt;Tomo raices cuadradas a ambos lados y nos queda |&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;|≤&lt;span style="font-weight: bold;"&gt;||X||&lt;/span&gt;·||&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;||.&lt;/a&gt;&lt;/li&gt;&lt;/ul&gt;&lt;a  style="font-family:trebuchet ms;"&gt;Probaremos ahora la propiedad 3.N, haciendo uso de que ||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||²=&lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;.&lt;br /&gt;&lt;/a&gt;&lt;ul  style="font-family:trebuchet ms;"&gt;&lt;li&gt;&lt;a&gt;||X+Y||²=&lt;&lt;span style="font-weight: bold;"&gt;X+Y,X+Y&lt;/span&gt;&gt;=&lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;+2&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;+&lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt; Como el valor absoluto de un número es siempre mayor o igual que dicho número, &lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;≤|&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;| y decimos entonces &lt;span style="color: rgb(153, 0, 0);"&gt;||X+Y||²&lt;/span&gt;≤&lt;&lt;span style="font-weight: bold;"&gt;X,X&lt;/span&gt;&gt;+2|&lt;&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;&gt;|+&lt;&lt;span style="font-weight: bold;"&gt;Y,Y&lt;/span&gt;&gt;≤||&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;||²+&lt;span style="font-weight: bold;"&gt;2||X||&lt;/span&gt;·||&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;||+||&lt;span style="font-weight: bold;"&gt;Y||²&lt;/span&gt;=&lt;span style="color: rgb(153, 0, 0);"&gt;(||&lt;/span&gt;&lt;span style="font-weight: bold; color: rgb(153, 0, 0);"&gt;X&lt;/span&gt;&lt;span style="color: rgb(153, 0, 0);"&gt;||+||&lt;/span&gt;&lt;span style="font-weight: bold; color: rgb(153, 0, 0);"&gt;Y&lt;/span&gt;&lt;span style="color: rgb(153, 0, 0);"&gt;||)².&lt;/span&gt;&lt;/a&gt;&lt;/li&gt;&lt;li&gt;&lt;a&gt; Tomando raices cuadradas obtenemos ya el resultado &lt;span style="color: rgb(153, 0, 0);"&gt;||X+Y||&lt;/span&gt;≤&lt;span style="color: rgb(153, 0, 0);"&gt;||&lt;/span&gt;&lt;span style="font-weight: bold; color: rgb(153, 0, 0);"&gt;X&lt;/span&gt;&lt;span style="color: rgb(153, 0, 0);"&gt;||+||&lt;/span&gt;&lt;span style="font-weight: bold; color: rgb(153, 0, 0);"&gt;Y&lt;/span&gt;&lt;span style="color: rgb(153, 0, 0);"&gt;||.&lt;/span&gt;&lt;/a&gt;&lt;/li&gt;&lt;/ul&gt;&lt;a  style="font-family:trebuchet ms;"&gt;Apoyándonos en esta última demostración probaremos la propiedad 3.D:&lt;br /&gt;&lt;br /&gt;d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)=||x-y||=||x-z + z-y||≤||x-z||+||z-y||=d(&lt;span style="font-weight: bold;"&gt;X,&lt;/span&gt;&lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt;)+d(&lt;span style="font-weight: bold;"&gt;Z,Y&lt;/span&gt;).&lt;br /&gt;&lt;br /&gt;&lt;/a&gt;&lt;span style="font-family:trebuchet ms;"&gt;Una vez conocidos estos conceptos y sus propiedades, podemos empezar a profundizar en el tema de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;espacios métricos&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Un espacio métrico (M,&lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;d&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;) es un conjunto M dotado de una función &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;d&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;:MxM--&gt;R que cumple las propiedades 1.D, 2.D y 3.D. La función &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;d&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; se denomina &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;métrica&lt;/span&gt;&lt;a style="font-family: trebuchet ms;"&gt;. Vienen aquí algunos ejemplos de espacios métricos:&lt;br /&gt;&lt;/a&gt;&lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;R con la métrica d(&lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;,&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;)=|&lt;span style="font-weight: bold;"&gt;X-Y&lt;/span&gt;|, que es la que hemos estado tomando nosotros.&lt;/li&gt;&lt;li&gt;La métrica discreta: Se define d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)=0 si &lt;span style="font-weight: bold;"&gt;X=Y&lt;/span&gt; y d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)=1 si &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt; es distinto de &lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;.&lt;/li&gt;&lt;li&gt;Métrica acotada: La función definida por la expresión p(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)=mín{1,d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)} es una métrica y cumple p(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)&lt;a style="font-weight: bold;"&gt;≤1 &lt;/a&gt;&lt;a&gt;para todo&lt;/a&gt;&lt;a style="font-weight: bold;"&gt; X &lt;/a&gt;&lt;a&gt;e&lt;/a&gt;&lt;a style="font-weight: bold;"&gt; Y.&lt;/a&gt;&lt;/li&gt;&lt;/ol&gt;&lt;span style="font-family:trebuchet ms;"&gt;Demostración de 2:&lt;/span&gt;&lt;br /&gt;&lt;ul  style="font-family:trebuchet ms;"&gt;&lt;li&gt;1.D y 2.D es obvio que se cumplen. Vamos a por la 3.D. Supongamos que &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt; es distinto de &lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt;, luego d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)=1. Si &lt;span style="font-weight: bold;"&gt;X=Z&lt;/span&gt; ,&lt;span style="font-weight: bold;"&gt; Y&lt;/span&gt; es distinto de &lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt; (ya que &lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt; es distinto de &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;) y tendríamos que 1&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;0+1, que es cierto. Si &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt; es distinto de &lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt;, tendríamos dos posibles casos, que &lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt; fuese igual a &lt;span style="font-weight: bold;"&gt;Z&lt;/span&gt;, en cuyo caso tendríamos que 1&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;1+0 (que es cierto), o que &lt;/a&gt;&lt;a&gt;&lt;span style="font-weight: bold;"&gt;Y&lt;/span&gt; fuese distinto de &lt;span style="font-weight: bold;"&gt;Z, &lt;/span&gt;&lt;/a&gt;&lt;a&gt;1&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;1+1 (que también es cierto). Supongamos ahora que &lt;span style="font-weight: bold;"&gt;X&lt;/span&gt;=&lt;span style="font-weight: bold;"&gt;Y. &lt;/span&gt;Entonces &lt;/a&gt;hay dos posibilidades: 0&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;1+1 ó &lt;/a&gt;&lt;a&gt;0&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;0+0 (y ambas son ciertas). Queda probada por tanto la propiedad 3.D.&lt;/a&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family:trebuchet ms;"&gt;Demostración de 3:&lt;/span&gt;&lt;br /&gt;&lt;ul  style="font-family:trebuchet ms;"&gt;&lt;li&gt;Si d(X,Z) o d(Y,Z) son mayores o iguales que 1 (supongamos que es d(Y,Z)) entonces: p(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;1&lt;a style="font-weight: bold;"&gt;=&lt;/a&gt;&lt;a&gt;p(&lt;span style="font-weight: bold;"&gt;Y,Z&lt;/span&gt;)&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;p(&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;Y,Z&lt;/a&gt;&lt;a&gt;)+p(&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;X,Z&lt;/a&gt;&lt;a&gt;).&lt;/a&gt;&lt;/li&gt;&lt;li&gt;Si d(X,Z) y d(Y,Z) son menores que 1: p(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)&lt;a&gt;≤&lt;/a&gt;d(&lt;span style="font-weight: bold;"&gt;X,Y&lt;/span&gt;)&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;d(&lt;span style="font-weight: bold;"&gt;X,Z&lt;/span&gt;)+&lt;/a&gt;&lt;a&gt;d(&lt;span style="font-weight: bold;"&gt;Y,Z&lt;/span&gt;)&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;≤&lt;/a&gt;&lt;a&gt;p(&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;X,Z&lt;/a&gt;&lt;a&gt;)+p(&lt;/a&gt;&lt;a style="font-weight: bold;"&gt;Y,Z&lt;/a&gt;&lt;a&gt;).&lt;/a&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family:trebuchet ms;"&gt;C'est fini. Continúo mañana con los &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;espacios normados&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;.&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-7398918829857818812?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/7398918829857818812/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=7398918829857818812&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/7398918829857818812'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/7398918829857818812'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/espacios-metricos-y-normados-producto.html' title='Espacios métricos. Producto interior'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-5426693363593925541</id><published>2009-09-26T16:50:00.009+02:00</published><updated>2009-10-01T23:07:50.129+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='ecuaciones diferenciales'/><title type='text'>Ecuaciones integrales</title><content type='html'>&lt;span style="color: rgb(255, 255, 255);"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Mencionaré un ejemplo de ecuación integral simplemente para que se sepa que "existen", pues las que vamos a estudiar con profundidad más adelante serán las ecuaciones diferenciales.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Un tipo de ecuación integral es la de Volterra de 2ª especie, que tiene la siguiente forma:&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;φ(x) = f(x) + λ·&lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:130%;" &gt;∫&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:85%;" &gt;&lt;span style="font-style: italic; font-weight: bold;"&gt;a&lt;/span&gt;&lt;/span&gt;&lt;sup style="font-weight: bold; font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt; [&lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;φ(t)·&lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;K(x,t)] dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Un ejemplo podría ser el siguiente:&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;φ(x) = 1/(1+x²) - &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:130%;" &gt;∫&lt;/span&gt;&lt;sub style="font-weight: bold; font-family: trebuchet ms;"&gt;&lt;i&gt;0&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-weight: bold; font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt; [φ(t)·t / (1+x²)] dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;A continuación realizaremos el ejercicio de comprobar que la función &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;φ(x)=1/(1+&lt;/span&gt;&lt;i style="font-weight: bold; font-family: trebuchet ms;"&gt;x²)&lt;/i&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;span style="font-weight: bold;"&gt;3/2&lt;/span&gt; &lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;es solución de la ecuación dada. Esto servirá para repasar el asunto de la resolución de integrales.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;En primer lugar multiplicaremos ambos miembros de la ecuación por 1+x². De esta forma el 1/(1+x²) dejará de estar dentro de la integral, pero podemos hacerlo ya que la integración es con respecto a &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;t&lt;/span&gt;&lt;span style="font-family: trebuchet ms;"&gt;, lo que significa que el &lt;/span&gt;&lt;span style="font-family: trebuchet ms;"&gt; 1/(1+x²) que está dentro de la integral actúa como una constante.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Nos queda entonces algo más "bonito" a la vista:&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;φ(x)·(1+x²) = 1 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:130%;" &gt;∫&lt;/span&gt;&lt;sub style="font-family: trebuchet ms;"&gt;&lt;i&gt;0&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt; [φ(t)·t] dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Sustituimos φ(t) por su valor:&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;φ(x)·(1+x²) = 1 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:130%;" &gt;∫&lt;/span&gt;&lt;sub style="font-family: trebuchet ms;"&gt;&lt;i&gt;0&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt; [1/(1+&lt;/span&gt;&lt;i style="font-family: trebuchet ms;"&gt;t²)&lt;/i&gt;&lt;sup style="font-family: trebuchet ms;"&gt;3/2 &lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;·t] dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;φ(x)·(1+x²) = 1 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:130%;" &gt;∫&lt;/span&gt;&lt;sub style="font-family: trebuchet ms;"&gt;&lt;i&gt;0&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;  t/(1+&lt;/span&gt;&lt;i style="font-family: trebuchet ms;"&gt;t²)&lt;/i&gt;&lt;sup style="font-family: trebuchet ms;"&gt;3/2 &lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Multiplicamos y dividimos por 2 la integral, de modo que en el numerador nos queda la derivada de lo que está dentro del paréntesis en el denominador.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;φ(x)·(1+x²) = 1 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:130%;" &gt;&lt;span style="font-size:100%;"&gt;(1/2)·&lt;/span&gt;∫&lt;/span&gt;&lt;sub style="font-family: trebuchet ms;"&gt;&lt;i&gt;0&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;  2t/(1+&lt;/span&gt;&lt;i style="font-family: trebuchet ms;"&gt;t²)&lt;/i&gt;&lt;sup style="font-family: trebuchet ms;"&gt;3/2 &lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Esto nos va a facilitar mucho las cosas, porque para resolver la integral basta con hacer el cambio de variable z=1+t².&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;z=1+t²&lt;/span&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;dz=(1+t²)' dt =2t dt&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Puesto que se trata de una integral definida no debemos olvidar calcular los nuevos límites de integración:&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;t=x;           a=1+x²&lt;/span&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;t=0;           b=1+0²=1&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;La ecuación se nos queda de esta forma :&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;φ(x)·(1+x²) = 1 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:130%;" &gt;&lt;span style="font-size:100%;"&gt;(1/2)·&lt;/span&gt;∫&lt;/span&gt;&lt;sub style="font-family: trebuchet ms;"&gt;&lt;i&gt;0&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;i&gt;x&lt;/i&gt;&lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;  1/z&lt;/span&gt;&lt;sup style="font-family: trebuchet ms;"&gt;3/2 &lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;dz&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Multiplico por 2 (para quitarme el 1/2) e integro, que es muy sencillo, puesto que es la integral del polinomio z&lt;/span&gt;&lt;sup style="font-family: trebuchet ms;"&gt;-3/2&lt;/sup&gt;&lt;span style="font-family: trebuchet ms;"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;2·φ(x)·(1+x²) = 2 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;[z&lt;sup&gt;-1/2&lt;/sup&gt;/(-1/2)]&lt;/span&gt;&lt;span style="font-family: trebuchet ms;"&gt; &lt;/span&gt;&lt;sub style="font-family: trebuchet ms;"&gt;&lt;i&gt;1&lt;/i&gt;&lt;/sub&gt;&lt;sup style="font-family: trebuchet ms;"&gt;&lt;i&gt;1+x²&lt;/i&gt;&lt;/sup&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;2·φ(x)·(1+x²) = 2 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;[(1+x²)&lt;sup&gt;-1/2&lt;/sup&gt;/(-1/2) - 1&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;&lt;sup&gt;-1/2&lt;/sup&gt;/(-1/2)]&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="font-family: trebuchet ms;"&gt;2·φ(x)·(1+x²) = 2 - &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;[-2·(1+x²)&lt;sup&gt;-1/2&lt;/sup&gt; + 2&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;]&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;2·φ(x)·(1+x²) = 2 + &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;2·(1+x²)&lt;sup&gt;-1/2&lt;/sup&gt; - 2&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;2·φ(x)·(1+x²) = &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;2·(1+x²)&lt;sup&gt;-1/2&lt;/sup&gt; &lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;φ(x)·(1+x²) = &lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;(1+x²)&lt;sup&gt;-1/2&lt;/sup&gt; &lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;"&gt;φ(x) = &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:100%;" &gt;(1+x²)&lt;sup&gt;-3/2&lt;/sup&gt; &lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;Y esto es todo.&lt;/span&gt;&lt;br /&gt;&lt;span style="color: rgb(255, 255, 255); font-family: trebuchet ms;"&gt;.&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-5426693363593925541?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/5426693363593925541/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=5426693363593925541&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/5426693363593925541'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/5426693363593925541'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/ecuaciones-integrales.html' title='Ecuaciones integrales'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-6441961726932935359</id><published>2009-09-24T19:07:00.012+02:00</published><updated>2009-10-01T23:07:36.798+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Topología de la recta R (2)</title><content type='html'>&lt;span style="color: rgb(255, 255, 255);"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;Hoy vamos a ir a por el primer teorema en condiciones:&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="font-style: italic; font-family: trebuchet ms;font-size:100%;" &gt;Sea K&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;⊂&lt;/span&gt;&lt;span style="font-style: italic; font-family: trebuchet ms;font-size:100%;" &gt;R. Son equivalentes:&lt;br /&gt;&lt;/span&gt;&lt;ol style="font-family: trebuchet ms;"&gt;&lt;li&gt;&lt;span style="font-style: italic;font-size:100%;" &gt;K es cerrado y acotado.&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="font-style: italic;font-size:100%;" &gt;Cada sucesión en K tiene una subsucesión convergente hacia un punto de K. (K es sucesionalmente compacto).&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="font-style: italic;font-size:100%;" &gt;Cada cubrimiento abierto de K tiene un subrecubrimiento finito (K es compacto).&lt;/span&gt;&lt;/li&gt;&lt;/ol&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="font-style: italic; font-family: trebuchet ms;font-size:100%;" &gt;Demostración:&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;&lt;br /&gt;&lt;br /&gt;Primero probaremos que &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:100%;" &gt;1 implica 2.&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;ul style="font-family: trebuchet ms;"&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Consideramos Xn⊂K una sucesión. Como K es un conjunto acotado (por hipótesis), la sucesión contenida en él es también acotada y podemos hacer uso del &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;Teorema de Bolzano-Weierstrass&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, que nos dice que en esas condiciones existe una subsucesión (Xnk) de (Xn) que converge hacia un cierto&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt; x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈R.&lt;br /&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Queda demostrar que dicho&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt; x &lt;/span&gt;&lt;span style="font-size:100%;"&gt;está en K. Supongamos que x∉K, es decir, x∈K&lt;sup&gt;c&lt;/sup&gt;&lt;/span&gt; que es abierto (por ser K cerrado). Por ser abierto tiene que existir ε&gt;0 tal que (&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;-ε, &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;+ε)⊂K&lt;sup&gt;c&lt;/sup&gt;. Dado dicho ε, existirá k0∈N tal que si k&gt;k0  d(Xnk,&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;)≤ε (Es decir, a partir del término k0 todos los términos de la subsucesión estarán en B(&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;,ε) ). Esto contradice el hecho de que la subsucesión está en K, que es algo que ya hemos demostrado, luego el punto al que converge Xnk está en K.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;&lt;br /&gt;A continuación vamos a probar que &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:100%;" &gt;2 implica 1&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;.&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;ul style="font-family: trebuchet ms;"&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Probamos en primer lugar que K está acotado. Si no lo fuese, para cualquier n existiría Xn∈K con |Xn|&gt;n. Por hipótesis podemos encontrar una subsucesión Xnk convergente a un punto de K, y por ser convergente es acotada, por lo que entramos en una contradicción. K es por tanto acotado.&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Veamos que K es cerrado. Si no lo fuese, K&lt;sup&gt;c&lt;/sup&gt; sería cerrado por lo que existiría algún &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K&lt;sup&gt;c&lt;/sup&gt; tal que B(&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;,ε) no está contenido en K&lt;sup&gt;c&lt;/sup&gt;  para cualquier ε&gt;0. Es decir, que hay puntos en el intervalo (&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;-ε, &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;+ε) que están en K. Si tomamos ε=1/n, para cada n existirá &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K con d(yn,x)&lt;1/n&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, o lo que es igual, &lt;/span&gt;&lt;span style="font-size:100%;"&gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;⊂(&lt;/span&gt;&lt;span style="font-size:100%;"&gt;x-1/n,&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;+1/n). De la sucesión de puntos &lt;/span&gt;&lt;span style="font-size:100%;"&gt;(&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;) podemos encontrar una subsucesión (ynk) convergente a un punto &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;y &lt;/span&gt;&lt;span style="font-size:100%;"&gt;de K (hipótesis). Pero resulta que la sucesión (&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;) converge a &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, pues cuanto mayor es n, menor es la distancia entre los términos de la sucesión y &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;. Como (ynk) es subsucesión de &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;yn&lt;/span&gt;&lt;span style="font-size:100%;"&gt;, también converge a &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;. Como el límite de una sucesión (en este caso subsucesión) es único llegamos a que&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt; x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;=&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;y&lt;/span&gt;&lt;span style="font-size:100%;"&gt;. Luego &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt; está en K, que es una contradicción. Concluimos que K entonces tiene que ser cerrado.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;&lt;br /&gt;Demostración de que &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:100%;" &gt;3 implica 1&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;.&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;ul style="font-family: trebuchet ms;"&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Primero vemos que K es acotado. Sea x0∈K. Es claro que la familia {B(x0,n):n∈N} cubre a K (en realidad cubre toda la recta de números reales). Por hipótesis existen n1,n2...nk∈N, cubrimiento finito de K, es decir, K⊂∪&lt;/span&gt;&lt;span style="font-size:100%;"&gt;B(x0,ni) con &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;i&lt;/span&gt;&lt;span style="font-size:100%;"&gt;=1,...k. Sea n0 el máximo n, K estará contenido en el intervalo (&lt;/span&gt;&lt;span style="font-size:100%;"&gt;x0-n0, x0&lt;/span&gt;&lt;span style="font-size:100%;"&gt;+n0), luego estará acotado.&lt;br /&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Veamos que K es cerrado (que equivale a demostrar que K&lt;sup&gt;c&lt;/sup&gt; es abierto. Sea &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K&lt;sup&gt;c&lt;/sup&gt;. Para cada &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;y&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K consideramos ρy&gt;0 y ry&gt;0 tales que B(x,ρy)∩B(y,ry)=&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∅ (Para asegurarme de que cubro &lt;/span&gt;&lt;span style="font-size:100%;"&gt;K sin llegar a coger a &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt; hago ry=|x-y|/3).  Es claro que K está contenido en la unión de los intervalos (y-ry, y+ry). Existirá por tanto un número finito de estos intervalos en el que K estará contenido (por hipótesis). Sea ρ el mínimo de los ρyi, entonces B(&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;,ρ)⊂K&lt;sup&gt;c&lt;/sup&gt;. Y esto se cumple para todo &lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt;x&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∈K&lt;sup&gt;c&lt;/sup&gt;. K&lt;sup&gt;c&lt;/sup&gt; es entorno de todos sus puntos (tomando ε=ρ) lo que significa que K&lt;sup&gt;c&lt;/sup&gt; es abierto. Veámoslo: Si z∈B(x,ρ)∩K entonces z∈B(yi,ryi) para algún&lt;/span&gt;&lt;span style="font-weight: bold;font-size:100%;" &gt; i&lt;/span&gt;&lt;span style="font-size:100%;"&gt; y z∈B(x,ρyi)⊂B(x,ρ). Pero esto es una contradicción pues partimos de que B(x,ρy)∩B(y,ry)=&lt;/span&gt;&lt;span style="font-size:100%;"&gt;∅. Por lo tanto &lt;/span&gt;&lt;span style="font-size:100%;"&gt;K&lt;sup&gt;c&lt;/sup&gt; es abierto&lt;/span&gt;&lt;span style="font-size:100%;"&gt; (ergo K es cerrado).&lt;/span&gt;&lt;span style="font-size:100%;"&gt; &lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;Falta una última demostración: &lt;/span&gt;&lt;span style="font-weight: bold; font-family: trebuchet ms;font-size:100%;" &gt;1 implica 3&lt;/span&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;.&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;ul style="font-family: trebuchet ms;"&gt;&lt;li&gt;&lt;span style="font-size:100%;"&gt;Como K es acotado, ∃ M&gt;0 tal que K⊂[-M,M], que es compacto (es un caso particular del [a,b], que ya está demostrado). Sea (Gi) un cubrimiento de K, podremos cubrir [-M,M] con la unión de los (Gi) y K&lt;sup&gt;c&lt;/sup&gt;, y por ser K cerrado, esta unión es un cubrimiento abierto de [-M,M]. Por ser [-M,M] compacto podemos encontrarle un cubrimiento finito: [-M,M]⊂ ∪Gi∪K&lt;sup&gt;c&lt;/sup&gt; (If⊂I, i⊂If). Y con esto llegamos a que Gi, que es finito, cubre K, que es justamente lo que se quería probar.&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;"&gt;#Creo que está claro que no es necesario demostrar la doble implicación entre 2 y 3. 2⇒3 equivale a 2⇒1 ⇒3. 3⇒2 equivale a 3⇒ 1⇒ 2.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family: trebuchet ms;font-size:100%;" &gt;Hoy fue una lección más dura.&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;br /&gt;&lt;span style="font-style: italic;"&gt;&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-6441961726932935359?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/6441961726932935359/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=6441961726932935359&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/6441961726932935359'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/6441961726932935359'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/topologia-de-la-recta-r-2.html' title='Topología de la recta R (2)'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-9132423467371743630</id><published>2009-09-23T17:08:00.039+02:00</published><updated>2009-10-11T17:53:45.135+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Topología de la recta R</title><content type='html'>&lt;span style="font-family:trebuchet ms;"&gt;La &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;topología de R&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;   	&lt;/span&gt;&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21&lt;/style&gt;&lt;span style=";font-family:trebuchet ms;font-size:100%;"  &gt;&lt;span style="color: rgb(51, 51, 51);"&gt;es la familia ζ &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;de todos los conjuntos abiertos de R y sus propiedades son:&lt;/span&gt;&lt;/span&gt; &lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;&lt;p style="margin-bottom: 0cm;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ø∈&lt;span style="color: rgb(0, 0, 0);"&gt;ζ, 	R&lt;/span&gt;∈&lt;span style="color: rgb(0, 0, 0);"&gt;ζ.&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; 	&lt;/li&gt;&lt;li&gt;&lt;p style="margin-bottom: 0cm;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-size:100%;"&gt;La 	unión &lt;b&gt;arbitraria&lt;/b&gt; de conjuntos abiertos es un conjunto 	abierto.&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; 	&lt;/li&gt;&lt;li&gt;&lt;p&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;span style="font-size:100%;"&gt;La intersección de un 	&lt;b&gt;número finito&lt;/b&gt; de conjuntos abiertos es un conjunto abierto.&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;&lt;/li&gt;&lt;/ol&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt; 	&lt;/style&gt;  &lt;p face="trebuchet ms"&gt;&lt;a name=".E2.88.AA"&gt;&lt;/a&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;ø&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; y R son conjuntos abiertos pues son entorno de todos sus puntos.&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Demostramos la segunda propiedad de esta forma: Sean {&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;Gi&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;} los conjuntos abiertos contenidos en la familia &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;ζ&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;, la unión del número de conjuntos que yo quiera(unión arbitraria) será también un conjunto abierto de la familia, esto es, &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;g &lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;=&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;∪&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Gi ∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;ζ&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;. Dado &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈ &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;g&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; (es decir, &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; está en la unión), por tanto tiene que existir algún&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt; &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;i&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; tal que &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈Gi, y como Gi∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;g&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; entonces &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;ζ, &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;esto es, los puntos de la unión están en la familia de conjuntos abiertos, luego dicha unión es también un conjunto abierto.&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Demostración de la propiedad 3. Defino &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;G&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; = G1∩G2. Sea &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;G&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;: Como &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈G1, ∃&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt; ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;1&gt;0 tal que (&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;-ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;1, &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;+ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;1)⊆ G1. Como &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈G2, ∃&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt; ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;2&gt;0 tal que (&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;-ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;2, &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;+ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;2)⊆ G2. Como quiero que esté en la intersección, cojo el &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;menor ε de entre ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;1 y &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;2. De esta forma me aseguro que el intervalo (&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;-ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;1, &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;+ε&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;1) va a estar contenido en &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;G.&lt;/b&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;&lt;p face="trebuchet ms"&gt;&lt;br /&gt;&lt;/p&gt;&lt;p style="font-family: trebuchet ms;"&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt; 	&lt;/style&gt;  &lt;/p&gt;&lt;p  style="margin-bottom: 0cm;font-family:trebuchet ms;"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Pasamos a definir los conjuntos &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;cerrados&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;. Un conjunto &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;F&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; es cerrado si su complementario &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;Fc&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; ≡ R\F es abierto. La familia de todos los conjuntos cerrados de R la denotamos por &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;ϝ &lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;y cumple lo siguiente:&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;ol  style="font-family:trebuchet ms;"&gt;&lt;li&gt;&lt;p style="margin-bottom: 0cm;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ø∈&lt;b&gt;ϝ 	y R∈ϝ&lt;/b&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; 	&lt;/li&gt;&lt;li&gt;&lt;p style="margin-bottom: 0cm;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;La 	intersección &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;b&gt;arbitraria&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; 	de miembros de &lt;/span&gt;&lt;b&gt;ϝ&lt;/b&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; pertenece a &lt;/span&gt;&lt;b&gt;ϝ&lt;/b&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;.&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; 	&lt;/li&gt;&lt;li&gt;&lt;p&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;La 	unión de un &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;b&gt;número finito&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; 	de miembros de &lt;/span&gt;&lt;b&gt;ϝ&lt;/b&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; pertenece a &lt;/span&gt;&lt;b&gt;ϝ&lt;/b&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;.&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt; &lt;/li&gt;&lt;/ol&gt; &lt;p style="font-family: trebuchet ms;"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;ø y R son cerrados porque sus complementarios, R y ø respectivamente, son abiertos.&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; Estas propiedades se pueden deducir de las propiedades de la topología de R.&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Continuamos con el concepto de &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;cubrimiento abierto&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;. Una familia de conjuntos {&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;Gi&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;} de R es un cubrimiento abierto de &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;⊂R si todos los conjuntos Gi son abiertos y &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; está contenido en la unión de todos ellos, esto es, para todo &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; ∃&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt; &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;i&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;I&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; (existe algún índice) tal que &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;Gi &lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;(&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;x&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; está contenido al menos en uno de ellos).&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Otro nuevo concepto es el de conjunto &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;compacto. &lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Un conjunto &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; diremos que es compacto si para cada cubrimiento abierto de &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; existe un subconjunto finito de índices (If ⊂ I ) tal que &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; ∈&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;∪&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Gi (con i∈If). Es decir, si &lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;b&gt;K &lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;se puede cubrir con un número finito de conjuntos abiertos.&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;br /&gt;&lt;br /&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Vamos a demostrar que el intervalo [a,b] es compacto.&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;&lt;ul style="font-family: trebuchet ms;"&gt;&lt;li&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt; 	&lt;/style&gt;  &lt;p style="margin-bottom: 0cm;"&gt;&lt;a name=".E2.88.AA4"&gt;&lt;/a&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;Sea (Gi) con i∈&lt;/span&gt;I un cubrimiento abierto de [a,b]. &lt;/span&gt;&lt;/span&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt;&lt;/style&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;Definimos el conjunto &lt;span style="color: rgb(0, 153, 0);"&gt;A:={x∈[a,b] tal que [a,x] es cubierto por una cantidad finita de elementos de (Gi)}.&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;&lt;/li&gt;&lt;li&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt; 	&lt;/style&gt;     	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt; 	&lt;/style&gt;  &lt;p style="margin-bottom: 0cm;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;A es no vacío, pues contiene a &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;b&gt;a&lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;, y al estar acotado superiormente por &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;&lt;b&gt;b &lt;/b&gt;&lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;sabemos que existe&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;span style="color: rgb(0, 0, 0);"&gt; &lt;/span&gt;α=supremo(A). α va a ser menor o igual que &lt;b&gt;b&lt;/b&gt;, ya que es la menor de las cotas superiores.&lt;/span&gt;&lt;/span&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt;&lt;/style&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;Probaremos que α∈A y que α=&lt;b&gt;b&lt;/b&gt;, con lo que quedará demostrado el resultado. Si α está en &lt;/span&gt;&lt;/span&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: &lt;/style&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;A el intervalo [a,α] (por la definición de A) estará&lt;span style="color: rgb(0, 153, 0);"&gt; &lt;/span&gt;&lt;span style="color: rgb(0, 0, 0);"&gt;cubierto por una cantidad finita de elementos de (Gi). Y &lt;/span&gt;si ese máximo es igual a &lt;b&gt;b&lt;/b&gt;, estará cubierto el intervalo [a,b], que es lo que queremos demostrar.&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;&lt;/li&gt;&lt;li&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt; 	&lt;/style&gt;  &lt;p style="margin-bottom: 0cm;"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;b&gt;1º α∈A.&lt;/b&gt; Existe Gj de forma que α∈Gj y como éste es abierto, ∃ ε&gt;0 tal que (α-ε,α+ε) es&lt;/span&gt;&lt;/span&gt;   	&lt;meta equiv="CONTENT-TYPE" content="text/html; charset=utf-8"&gt; 	&lt;title&gt;&lt;/title&gt; 	&lt;meta name="GENERATOR" content="OpenOffice.org 3.0  (Linux)"&gt; 	&lt;style type="text/css"&gt; 	&lt;!-- 		@page { margin: 2cm } 		P { margin-bottom: 0.21cm } 	--&gt;&lt;/style&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;tá contenido en Gj. Como α-ε no es cota superior de A, ∃ x∈A tal que&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt; α-ε&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;&lt;/span&gt;&lt;/span&gt;x≤&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;α&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt; &lt;x≤α color="#000000"&gt;y [a,x], por pertenecer a A, está cubierta por una cantidad finita de elementos (Gi). Por tanto, &lt;/x≤α&gt;&lt;/span&gt;∪Gi∪Gj cubre a [a,α] (i∈If).&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;&lt;x≤α color="#000000"&gt;&lt;/x≤α&gt;&lt;/span&gt;&lt;/span&gt;&lt;/p&gt;&lt;/li&gt;&lt;li&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;2º &lt;/span&gt;&lt;/span&gt;α=b. Si fuese &lt;span style="font-size:100%;"&gt; α&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);font-size:78%;" &gt;()&lt;/span&gt;&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;b &lt;span style="color: rgb(255, 255, 255);"&gt;ii&lt;/span&gt;dado&lt;span style="color: rgb(255, 255, 255);"&gt;ii&lt;/span&gt;&lt;/x≤α&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ε&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;d&lt;/span&gt;&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;f&lt;/span&gt;0 se cumple que &lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;(α-ε,α+ε) &lt;/span&gt;&lt;/span&gt;está contenido en Gj y podemos tomar &lt;span style="font-size:100%;"&gt;&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;ii&lt;/span&gt;&lt;/x≤α&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ε&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;d&lt;span style="color: rgb(51, 51, 51);"&gt;además que &lt;/span&gt;&lt;/span&gt;α+&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ε&lt;/span&gt;&lt;/span&gt;&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);font-size:78%;" &gt;()&lt;/span&gt;&lt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;b &lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;span style="color: rgb(51, 51, 51);"&gt;. El intervalo [a,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/x≤α&gt;α+&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ε&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);font-size:78%;" &gt;(&lt;/span&gt;&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;/2&lt;/span&gt;] está cubierto por una cantidad finita de miembros de (Gi) (esto es así porque como &lt;/span&gt;&lt;/span&gt;&lt;/x≤α&gt;&lt;span style="font-size:100%;"&gt; α&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);font-size:78%;" &gt;(&lt;/span&gt;&lt;/x≤α&gt;&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈A, el intervalo &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;[a,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;α&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;] está cubierto por una cantidad finita, y si añadimos Gj cubriremos&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt; &lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;[a,&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;α+&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ε&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);font-size:78%;" &gt;(&lt;/span&gt;&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;/2&lt;/span&gt;]). Tenemos entonces que &lt;/span&gt;&lt;/span&gt;&lt;/x≤α&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;α+&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;ε&lt;/span&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);font-size:78%;" &gt;(&lt;/span&gt;&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;/2&lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/x≤α&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="font-size:100%;"&gt;∈A, lo que implica que &lt;/span&gt;&lt;/span&gt;&lt;span style="font-size:100%;"&gt;α&lt;x≤α style="color: rgb(0, 0, 0);"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;()&lt;span style="color: rgb(51, 51, 51);"&gt;&lt;span style="color: rgb(51, 51, 51);"&gt;no es cota superior de A, y esto es absurdo puesto que partimos de que &lt;/span&gt;&lt;/span&gt;&lt;/span&gt;&lt;/x≤α&gt;&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);font-size:100%;" &gt;i&lt;/span&gt;&lt;span style="font-size:100%;"&gt;α&lt;/span&gt;&lt;span style="color: rgb(255, 255, 255);font-size:100%;" &gt;i&lt;/span&gt;&lt;span style="font-size:100%;"&gt; es&lt;/span&gt; supremo de A. Luego &lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;α&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;=&lt;span style="color: rgb(255, 255, 255);"&gt;ii&lt;/span&gt;b&lt;span style="color: rgb(255, 255, 255);"&gt;i&lt;/span&gt;.&lt;/li&gt;&lt;/ul&gt;&lt;span style="font-family:trebuchet ms;"&gt;Y así concluye la primera demostracioncilla medio importante.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-9132423467371743630?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/9132423467371743630/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=9132423467371743630&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/9132423467371743630'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/9132423467371743630'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/topologia-de-la-recta-r.html' title='Topología de la recta R'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-3031928883658652874.post-4388202273084191113</id><published>2009-09-22T19:46:00.006+02:00</published><updated>2009-10-01T23:07:05.548+02:00</updated><category scheme='http://www.blogger.com/atom/ns#' term='análisis matemático'/><title type='text'>Introduciendo la topología de la recta real</title><content type='html'>&lt;span style="font-family:trebuchet ms;"&gt;&lt;span style="color: rgb(255, 255, 255);"&gt;.&lt;/span&gt;&lt;br /&gt;La recta de los números reales, es decir, (R, +, ·, ≤) es un cuerpo totalmente ordenado.  Además, todo conjunto no vacío acotado superiormente tiene &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;supremo&lt;/span&gt; (la menor de las cotas superiores).&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Recordaré ahora algo fundamental: el valor absoluto de un número real positivo &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt; coincide con &lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x. &lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;Si es negativo, es igual a &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;-x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;. Algunas de sus propiedades son:&lt;/span&gt;&lt;br /&gt;&lt;ol style="font-family: trebuchet ms;"&gt;&lt;li&gt;|x| = 0 si y sólo si x 0.&lt;/li&gt;&lt;li&gt;|x+y| ≤ |x|+ y| (Desigualdad triangular)&lt;br /&gt;&lt;/li&gt;&lt;li&gt;|x·y| = |x|·|y|&lt;/li&gt;&lt;/ol&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; e &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;y&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; siempre números reales.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Podemos ya definir la aplicación &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;métrica &lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;o &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;distancia&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;: d(x,y) = |x-y|. Esta aplicación cumple las siguiente propiedades:&lt;/span&gt;&lt;br /&gt;&lt;ol style="font-family: trebuchet ms;"&gt;&lt;li&gt;d(x,y) = 0 si, y sólo si x=y.&lt;/li&gt;&lt;li&gt;d(x,y) ≤ d(x,z) + d(z,y).&lt;/li&gt;&lt;li&gt;d(x,y) = d(y,x)&lt;/li&gt;&lt;/ol&gt;&lt;span style="font-family:trebuchet ms;"&gt;Las propiedades 1 y 3 están claritas. La propiedad 2 viene directamente de la desigualdad triangular aplicando la definición de métrica:&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;d(x,z) + d(z,y) = |x-z|+|z-y|  ≥ |x-z + z-y| = |x-y| = d(x,y)&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Al considerar la recta real junto con esta aplicación métrica, (R,d), tenemos un espacio métrico completo, esto es, toda sucesión de Cauchy es convergente -en una sucesión de Cauchy existe un término a partir del cual los siguientes términos están "muy próximos" entre sí. En una sucesión convergente existe un término a partir del cual los términos siguientes están muy próximos a un punto, el límite-.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Toca ahora definir el concepto de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;entorno &lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;en R. Sea &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; un número real, un entorno de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; es un conjunto V contenido en R tal que: existe  ε &gt;0  con B(x,ε):=(x-ε ,x+ε) contenido en V. Para que se vea más claro podemos decir que un entorno de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; es un intervalo de la recta real tal que podemos tomar un intervalito más pequeño de centro &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; y  radio ε  de modo que todos los puntos de dicho intervalo van a estar dentro de dicho conjunto.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;---&lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;(&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;-----(---x---)------------&lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;--   El conjunto &lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;(a,b)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; es entorno de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;x&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;---&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;---(--&lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;[&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;a---)------------&lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;-----   (&lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;a&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; es el límite izquierdo del intervalo) El conjunto &lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;[a,b)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; no es&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; entorno de &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;a&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;, pues por pequeño que sea el ε, será mayor que cero, luego el intervalito se saldrá siempre del conjunto &lt;/span&gt;&lt;span style="color: rgb(255, 0, 0);font-family:trebuchet ms;" &gt;[a,b)&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt;, y esto quiere decir que hay puntos del intervalito que no estarán contenidos en el conjunto.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Decimos que un conjunto es &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;abierto&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; si es entorno de todos sus puntos. En el primer caso es así, en el segundo no, porque &lt;/span&gt;&lt;span style="font-weight: bold;font-family:trebuchet ms;" &gt;a&lt;/span&gt;&lt;span style="font-family:trebuchet ms;"&gt; es justo el límite del conjunto, luego para cualquier ε que cojamos se nos quedará parte del intervalito fuera del conjunto.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="font-family:trebuchet ms;"&gt;Todo por hoy.&lt;/span&gt;&lt;br /&gt;&lt;br /&gt;&lt;span style="color: rgb(255, 0, 0);"&gt;&lt;/span&gt;&lt;div class="blogger-post-footer"&gt;&lt;img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/3031928883658652874-4388202273084191113?l=durmiendoconintegrales.blogspot.com' alt='' /&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://durmiendoconintegrales.blogspot.com/feeds/4388202273084191113/comments/default' title='Enviar comentarios'/><link rel='replies' type='text/html' href='http://www.blogger.com/comment.g?blogID=3031928883658652874&amp;postID=4388202273084191113&amp;isPopup=true' title='0 comentarios'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/4388202273084191113'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/3031928883658652874/posts/default/4388202273084191113'/><link rel='alternate' type='text/html' href='http://durmiendoconintegrales.blogspot.com/2009/09/documentclassa4paper12ptarticle.html' title='Introduciendo la topología de la recta real'/><author><name>María</name><uri>http://www.blogger.com/profile/10466543792215729265</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='31' height='19' src='http://1.bp.blogspot.com/_HOzdkSIShaA/SNFhdUAInSI/AAAAAAAAABg/lg4EQZRnPo0/S220/musica.jpg'/></author><thr:total>0</thr:total></entry></feed>
