Beruflich Dokumente
Kultur Dokumente
( )
i=1
a i b i ai . bi2
i=1
i=1
2
2
2
Esto es, (a . b) a . b
Dndola por supuesto, demostrar la desigualdad triangular para esta distancia se reduce
al truco anterior de escribir ai = xi yi , bi = yi zi . Tras elevar al cuadrado y efectuar
algunas simplificaciones, la triangular es equivalente a Cauchy-Schwarz.
2.4. Sean (X1, d1), ..., (Xn, dn) una familia finita de espacios mtricos. Vamos a definir lo
que se denomina el espacio mtrico producto de tres maneras diferentes. Sean X = X1
Xn y x = (x1, . . . , xn), y = (y1, . . . , yn) X. Podemos definir tres distancias sobre
X:
a) dmx : X X R definida por dmx(x, y) = mx.{di(xi , yi) : 1 i n}
n
d i .(x i . y i )
i=1
i=1
d i2 .( x i . y i )
es la distancia eucldea. La
(i)
en (X, ddis), B(x, 1) = {x}, B(x, 2) = X, B (x, 1) = X, B (x, 1/2 ) = {x},
S(x, 1) = X {x} y S(x, 2) =
(ii)
(iii)
(iv)
(v)
en (R, du), B(x, r) = (xr, x+r), B (x, r) = [xr, x+r] y S(x, r) = {xr, x+r}
en (Rn, dmx), la bola B(x, r) = (x1 r, x1 + r) (xn r, xn + r) es el cubo
de dimensin n, centrado en x y arista 2r
en (Rn, dsum), la bola B(x, r) es el cubo de dimensin n centrado en x, de
arista 2r y girado 45 grados
en (Rn, du), B(x, r) es la bola abierta de dimensin n, centrada en x y de radio
r
Proposicin 2.9. En un espacio metrico (X, d), se cumplen las siguientes propiedades:
(i)
para cada x X y r > 0, es B(x, r) B (x, r); pero S(x, r) puede ser
vaca
(ii)
(iii)
(iv)
si r1, . . . , rn > 0, B(x, r1) B(x, rn) = B(x, r) y B(x, r1) B(x, rn)
= B(x, r), donde r = mn{r1, . . . , rn}.
Observacion :La interseccion arbitraria de bolas no tiene porque serlo; por ejemplo:
1
1 1
n N B (0, )
nN (
, )
En (R, du),
n =
n n = {0}, que no es una bola.
Teorema 2.10. (Propiedad de Hausdorff) En un espacio metrico (X, d), dos puntos
distintos se pueden separar por bolas abiertas disjuntas.
1
1
)
y
B(y,
2
2 ) son
obviamente disjuntas.
2.3. Conjuntos abiertos y cerrados
2.3.1. Conjuntos abiertos
Definicion 2.6. En (X, d), un subconjunto A se dice abierto, si para cada a A, existe ra
> 0 (que depende solo de a) tal que B(a, ra) A.
Teorema 2.11. En un espacio metrico (X, d), los conjuntos X y son abiertos.
Teorema 2.12. En un espacio metrico (X, d), para cada x X y r > 0, la bola B(x, r) es
un conjunto abierto.
Demostracion: Sea y B(x, r) y s = d(x, y) < r; es B(y, r s) B(x, r).
Ejemplos 2.4. Algunos ejemplos de conjuntos abiertos son:
(i)
en (R, du), los intervalos abiertos son conjuntos abiertos
(ii)
en (X, ddis), cualquier conjunto es abierto.
Teorema 2.13. En (X, d), sea {Ai}iI una familia de conjuntos abiertos. Entonces:
i I A i
(i)
es abierto
(ii)
si I es finito, entonces
Demostracion:
(i)
Si x
i I Ai
i I A i
Si x
i I A i
es abierto.
i I Ai
i I A i
Observacion 2.3.En el teorema 2.13 (ii), el conjunto de ndices debe de ser finito: en
1
1
efecto, en (R, du), si se toma I = N y la familia de abiertos An = ( n , n ),
entonces
n N Ai