Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Espacios Métricos

    Cargado por

    AmIn20122
    613 vistas7 páginas
    Este capítulo introduce conceptos básicos sobre espacios métricos y normados. Define una métrica como una función que asocia distancias entre puntos de un conjunto satisfaciendo propiedades de simetría, no negatividad y desigualdad triangular. Un espacio métrico consiste en un conjunto junto con una métrica. También define normas en espacios vectoriales y espacios normados. Presenta ejemplos como las métricas discreta y usual.

    Descripción original:

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    Este capítulo introduce conceptos básicos sobre espacios métricos y normados. Define una métrica como una función que asocia distancias entre puntos de un conjunto satisfaciendo propiedades de simetría, no negatividad y desigualdad triangular. Un espacio métrico consiste en un conjunto junto con una métrica. También define normas en espacios vectoriales y espacios normados. Presenta ejemplos como las métricas discreta y usual.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    613 vistas7 páginas

    Espacios Métricos

    Cargado por

    AmIn20122
    Este capítulo introduce conceptos básicos sobre espacios métricos y normados. Define una métrica como una función que asocia distancias entre puntos de un conjunto satisfaciendo propiedades de simetría, no negatividad y desigualdad triangular. Un espacio métrico consiste en un conjunto junto con una métrica. También define normas en espacios vectoriales y espacios normados. Presenta ejemplos como las métricas discreta y usual.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 7

    El objetivo principal de este capitulo es dar un breve repaso de algunos conceptos, propiedades y resultados necesarios para el desarrollo satisfactorio

    de este trabajo. Los resultados que enunciaremos son ampliamente conocidos pues son resultados clsicos del anlisis y la topologa, por lo tanto, en la mayora de los casos omitiremos sus respectivas demostraciones, para los interesados en dichas demostraciones pueden consultar cualquier libro sobre el tema, en especial [1],[2] y [3].

    d : M M [0, +) que asocia a cada par de elementos x, y M un numero real positivo d(x, y), llamado distancia del punto x al punto y, de modo que i. d(x, y) = 0 x = y ii. d(x, y) = d(y, x) (Simetra) iii. d(x, z) d(x, y) + d(y, z) (Desigualdad Triangular) Un espacio mtrico es un par (M, d), formado por el conjunto no vaco M y una metrca d sobre M.

    ww

    w.

    Denicin 1.1 Una mtrica en un conjunto no vaco M, es una funcin

    M at

    em

    at

    1.1.

    Espacios Mtricos

    ic a

    1.c

    om

    Ejemplo 1.1 Sea M = y consideremos d : M x M R una funcin denida por


    8 > > < > :

    1 si x = y 0 si x = y

    d(x, y) = >

    Es claro que d es una metrca sobre M. Llamada mtrica discreta. El par (M, d) es un espacio metrco llamado espacio mtrico discreto. Ejemplo 1.2 Sea M = R y considere d : M M [0, +) denida por

    d(x, y) = |x y|

    x, y M
    .c o m

    Nuevamente, es claro que d es una metrca sobre M llamada metrca usual,

    y considere d : M M [0, +) denida por

    d (f, g) = sup{d(f (x), g(x)) : x [a, b]} Nuevamente, es claro que d es una metrca sobre M llamada metrca uniforme, as el par (M, d ) es un espacio metrco Denicin 1.2 Sea (M, d) un espacio metrco y sean {xn } M y xo M . Decimos que {xn } converge a xo y lo denotamos como {xn } xo , si n d(xn , xo ) = 0 l m En otras palabras decimos que {xn } xo si y solo si > 0 que d(xn , xo ) < , n> no no N tal

    ww

    Sea M = C[a, b] el conjunto de todas las funciones continuas en el intervalo [a, b]


    w.

    Ejemplo 1.3

    at

    em

    at

    as el par (M, d) es un espacio metrco

    ic a1

    Denicin 1.3 Sea {xn } una sucesin en (M, d). Se dice que {xn } es una sucesin de Cauchy en M si > 0 no N tal que d(xn , xm ) < , n, m > no En este caso lo denotaremos por l d(xn , xm ) = 0 m
    n

    Denicin 1.4 Sea (M, d) un espacio mtrico. Decimos que M es completo si toda sucesin de Cauchy en M converge a un punto de M. Proposicin 1.1 Sea (M, d) un espacio mtrico completo. Entonces, {xn } (M, d) es una sucesin de Cauchy {xn } es convergente en M. Ejemplo 1.4 El espacio mtrico (R, | |) es completo. Ejemplo 1.5

    cin. Entonces T es una funcin.

    d(xo , y) < (T (xo ), T (y)) < ii. Continua en M, si T es continua x M Ejemplo 1.6 La funcuin constante es continua. Ejemplo 1.7 La funcuin identidad es continua. Ejemplo 1.8 Consideremos F : R R una funcin denida por F (x) = >
    > : 8 > > <

    ww

    i. Continua en un punto xo M si > 0


    w.

    at

    em

    at

    Denicin 1.5 Sean (M, d) y (N, ) espacios mtricos y T : M N una fun-

    ic a1
    1

    El espacio (0, 1) (R, | |) no es completo.

    .c o

    > 0 tal que, si y M y

    si x > 0

    1 si x 0

    No es continua en todo R. Denicin 1.6 Sean (M, d) y (N, ) espacios mtricos y T : M N una funcin. Se dice que T es uniformemente continua (U.C) si, > 0 () > 0 tal que, x, y M y d(x, y) < () (T (x), T (y)) < Ejemplo 1.9 La funcin constante y la funcin identidad son funciones uniformemente continuas. Ejemplo 1.10 La funcin T : R R denida por T (x) = x2 , no es uniformemente continua. x R
    .c o m

    Proposicin 1.2 Sean (M, d) y (N, ) espacios mtricos y T : M N una


    w.

    Denicin 1.7 Sean (M, d) y (N, ) espacios mtricos y T : M N una funcin. Se dice que T es una aplicacin Lipschitziana si existe una constante 0 tal que (T (x), T (y)) d(x, y), Ejemplo 1.11 La funcin T : [0, 1] [0, 1] denida por T (x) = x2 , es una aplicacin Lipschitziana. Proposicin 1.3 Sean (M, d) y (N, ) espacios mtricos y T : M N una funcin Lipschitziana, entonces T es uniformemente continua. x [0, 1] x, y M

    ww

    funcin. Entonces, si T es uniformemente continua T es continua.

    at

    em

    at

    ic a1

    Denicin 1.8 Sea {xn } una sucesin en un espacio mtrico (M, d), se dice que {xn } es una sucesin -contraccin si existe 0 < 1 tal que

    d(xn+1 , xn ) d(xn , xn1 ),

    n N

    (1.1)

    Lema 1.1 Sea {xn } una sucesin -contraccin en (M, d), entonces {xn } es Cauchy en (M, d) Demostracin: Observemos que de (1.1) se tiene que d(xn+1 , xn ) n d(x1 , x0 ), Sean n, m N tal que m > n
    .c o m

    n N

    (1.2)

    Por desigualdad triangular tenemos que

    d(xn , xm ) n d(x1 , x0 ) + d(xn+1 , xm ) As aplicando nuevamente desigualdad triangular se obtiene

    d(xn , xm ) n d(x1 , x0 ) + d(xn+1 , xn+2 ) + + d(xm1 , xm ) luego, por (1.2) se tiene d(xn , xm ) n d(x1 , x0 ) + n+1 d(x1 , x0 ) + + m1 d(x1 , x0 ) por lo tanto, d(xn , xm ) n d(x1 , x0 )[1 + + n+1 + + m1n ] tomando k = m 1 n tenemos d(xn , xm ) d(x1 , x0 )
    n k X i=0

    ww

    w.

    por lo tanto por (1.2),

    at

    em

    d(xn , xm ) d(xn , xn+1 ) + d(xn+1 , xm )

    at

    ic a1
    i

    como

    k X i=0

    i =

    1 por ser una serie convergente entonces 1 d(xn , xm ) d(x1 , x0 ) n 1

    por otra parte como (0, 1) y k + 1 = m n > 0 entonces n convergen a 0 por lo tanto,
    n,m

    l m d(xn , xm ) = 0

    luego, por la denicin (1.3) {xn } es de Cauchy. f

    Lema 1.2 Sea {xn } una sucesin -contraccin en (M, d) completo, entonces {xn } converge a un punto de (M, d).
    m

    Por el lema (1.1) {xn } es de Cauchy y como (M, d) es un espacio mtrico complef
    ww

    em

    to, por la proposicin (1.1) se tiene que {xn } converge a un punto de M.

    at

    ic a1

    Demostracin:

    .c o

    1.2.

    Espacios Normados

    Denicin 1.9 Sea E un espacio vectorial, una aplicacin que hace corresponder a cada valor x E el numero real x , se llama una norma de E si y solo si verica los siguientes axiomas. i. x 0 y x = 0 x = 0 ii. x = || x , R, x E iii. x + y x + y , x, y E Un espacio normado es un par (E, ) donde es una norma sobre E

    w.

    at

    n Ejemplo 1.12 Consideremos lp , n N, 1 p < , es el espacio que consiste de n todas las n-uplas x = (1 , 2 , . . . , n ), donde i R, 1 i n, lp con la norma n X i=1

    !1/p

    x es un espacio normado. Ejemplo 1.13

    |i |p

    n Consideremos l , el espacio vectorial de todas las n-uplas x = (1 , 2 , ..., n ), n donde i R, 1 i n, l con la norma

    x es un espacio normado. Observacin:

    = sup{|i | : 1 i n}

    sobre E, siempre es posible denir una mtrica sobre E, consideremos la funcin d(x, y) = x y ,
    ww w.

    denida por

    at

    em

    at

    Dado un espacio vectorial E, recordemos que si tenemos una norma denida

    ic a1

    es una mtrica en E, en consecuencia, todo espacio normado es un espacio mtrico.

    .c o

    x, y E

    También podría gustarte