• No se han encontrado resultados

Topolog´ıa inducida por una m´etrica

N/A
N/A
Protected

Academic year: 2022

Share "Topolog´ıa inducida por una m´etrica"

Copied!
3
0
0

Texto completo

(1)

Topolog´ıa inducida por una m´ etrica

Objetivos. Definir la topolog´ıa inducida por una m´etrica, verificar los axiomas de topo- log´ıa, demostrar la concordancia de algunos conceptos.

Prerrequisitos. Espacios m´etricos, bolas en espacios m´etricos. Pueden ayudar conoci- mientos b´asicos de la topolog´ıa general.

Bolas en un espacio m´ etrico (repaso)

Recordemos tres proposiciones sobre bolas en espacios m´etricos. Se supone que (X, d) es un espacio m´etrico.

1 Proposici´on (sobre una bola contenida en la otra). Sean a, b ∈ X y sean R, r > 0.

Complete el enunciado de la proposici´on:

Si , entonces B(b, r) ⊆ B(a, R).

2 Proposici´on (sobre dos bolas ajenas). Sean a1, a2 ∈ X y sean r1, r2 > 0. Complete el enunciado de la proposici´on:

Si , entonces B(a1, r1) ∩ B(a2, r2) = ∅.

3 Proposici´on (sobre la intersecci´on de dos bolas conc´entricas). Sea a ∈ X y sean r1, r2 > 0. Complete el enunciado de la proposici´on:

B(a, r1) ∩ B(a, r2) =

4 Proposici´on (sobre el centro de la bola). Sean a ∈ X, r > 0. Entonces a ∈ B(a, r).

Topolog´ıa inducida por una m´ etrica

5 Definici´on (los puntos interiores de un conjunto con respecto a una m´etrica). Sea (X, d) un espacio m´etrico y sea A un subconjunto de X. Un punto a ∈ X se llama punto interior de A respecto a la m´etrica d si existe un n´umero r > 0 tal que B(a, r) ⊆ A. Denotemos por intd(A) al conjunto de los puntos interiores de A respecto d. Formalmente,

intd(A) := {a ∈ X : ∃r > 0 B(a, r) ⊆ A}.

Topolog´ıa inducida por una m´etrica, p´agina 1 de 3

(2)

6 Proposici´on. Sea (X, d) un espacio m´etrico y sea A un subconjunto de X. Entonces intd(A) ⊆ A.

Demostraci´on. Se sigue de la Proposici´on 4.

7 Definici´on (conjunto abierto respecto a una m´etrica). Sea (X, d) un espacio m´etrico y sea A ⊆ X. Se dice que A es abierto con respecto a la m´etrica d si A ⊆ intd(A), esto es, si todo punto del conjunto A es su punto interior con respecto a la m´etrica d.

8 Definici´on (el conjunto de los conjuntos abiertos respecto una m´etrica). Sea (X, d) un espacio m´etrico. Denotemos por τd al conjunto de todos los conjuntos abiertos respecto a la m´etrica d:

τd:=A ⊆ X : intd(A) = A . En otras palabras,

τd=A ⊆ X : ∀a ∈ A ∃r > 0 B(a, r) ⊆ A .

9 Proposici´on (sobre la topolog´ıa generada por una m´etrica). Sea (X, d) un espacio m´etrico. Entonces el conjunto τd es una topolog´ıa sobre X. Esto significa que se cumplen las siguientes condiciones:

1. Si A ⊆ τd, entonces ∪A ∈ τd.

2. Si A1, A2 ∈ τd, entonces A1∩ A2 ∈ τd. 3. X ∈ τd.

Demostraci´on. 1. Sea A ⊆ τd. Pongamos V = ∪A. Probemos que V ∈ τd. Sea x ∈ V . Entonces existe A en A tal que x ∈ A. Como A ∈ τd, existe r > 0 tal que B(x, r) ⊆ A.

Luego B(x, r) ⊆ V .

2. Sean A1, A2 ∈ τd. Pongamos A3 = A1∩ A2. Probemos que A3 ∈ τd. Sea x ∈ A3. Como x ∈ A1 y A1 ∈ τd, existe r1 > 0 tal que B(x, r1) ⊆ A1. Como x ∈ A2 y A2 ∈ τd, existe r2 > 0 tal que B(x, r2) ⊆ A2. Pongamos r3 := m´ın{r1, r2}. Entonces r3 > 0 y

B(x, r3) ⊆ B(x, r1) ∩ B(x, r2) ⊆ A1∩ A2 = A3.

3. Probemos que X ∈ τd. Sea x ∈ X. Poniendo r = 1 obtenemos B(x, r) ⊆ X. Por supuesto, en vez de r = 1 podr´ıamos usar cualquier n´umero estrictamente positivo.

10 Definici´on. Sea (X, d) un espacio m´etrico. La topolog´ıa τd se llama la topolog´ıa inducida (o generada) por la m´etrica d.

Topolog´ıa inducida por una m´etrica, p´agina 2 de 3

(3)

11 Proposici´on (las bolas abiertas realmente son abiertas). Sea (X, d) un espacio m´etrico y sean a ∈ X, r > 0. Entonces B(a, r) ∈ τd.

Demostraci´on. Sea x ∈ B(a, r). Pongamos s := r − d(a, x). Entonces s > 0 y B(x, s) ⊆ B(a, r). Hemos probado que B(a, r) ∈ τd.

Topolog´ıa inducida por una m´etrica, p´agina 3 de 3

Referencias

Documento similar

3) En tercer lugar despeje los t´erminos con x hacia un lado, se suele usar el lado izquierdo, y los n´umeros u otras cantidades, literales por ejemplo, hacia el lado opuesto,

Ejemplo Hallar la ecuaci´on del plano que pasa por el punto P (1, 2, 3) siendo el tri´angulo formado por los puntos de corte de dicho plano con los ejes coordenados

Escriba el algoritmo de la sustituci´ on hacia atr´ as que se usa para resolver sistemas de ecuaciones lineales de la forma Ux = b, donde U es una matriz triangular superior de orden

Para que se formen cristales de hielo a las temperaturas observadas en el interior de la nube (∼ −4 ◦ C) es necesario que existan peque˜ nas part´ıculas, en este caso no

(masa inercial) · (intensidad del campo gravitatorio) Pues bien, si queremos que para un campo gravitatorio dado la aceleraci´ on sea siempre la misma, independientemente de

Ella lo miró con una sonrisa perfecta y los ojos miel más transparentes que había visto.. Andrés se sorprendió tanto al oír sus palabras, que no pudo

O fenômeno de piping também pode ser simulado ao aplicar condições de contorno móveis como as propostas por (Lallemand & Luo, 2003). Outra possibilidade é estudar os

A través de los resultados del estudio hemos podido corroborar las hipótesis de las que partíamos: que las personas cercanas a la jubilación tienen un adecuado nivel de calidad