Você está na página 1de 4

Topologa euclidiana

En matemtica, y especialmente en topologa general, la topologa euclidiana o topologa


eucldea es un ejemplo de topologa dado por el conjunto de los nmeros reales,
denotados mediante R. Dado el conjunto R una topologa significa decir que
los subconjuntos de R son abiertos, y hacerlo de tal manera que los
siguientes axiomas se cumplan:
1. La unin de conjuntos abiertos es un conjunto abierto.
2. La interseccin finita de conjuntos abiertos es un conjunto abierto.
3. El conjunto R y el conjunto vaco son conjuntos abiertos.
Construccin
Se requiere que el conjunto R y el conjunto vaco sean conjuntos abiertos, as que se
definir R y como conjuntos abiertos en esta topologa. Dados dos nmeros reales, por
ejemplo x e y, con x < y se difine una familia incontable infinita de conjuntos abiertos
denotados mediante Sx,ycomo sigue:1

Junto con el conjunto R y el conjunto vaco , los conjuntos Sx,y con x < y son usados
como base para la topologa euclidiana. En otras palabras, los conjuntos abiertos de
la topologa euclidiana son dados por el conjunto R, el conjunto vaco y las uniones
e intersecciones finitas de varios conjuntos Sx,y para los diferentes pares (x,y).
Propiedades

La lnea real, con su topologa, es un espacio T5. Dados dos subconjuntos,


digamos A y B, de R con A B = A B = , donde A denota laclausura de A, etc.,

existen conjuntos abiertos SA y SB con A SA y B SB tales que SA SB = .1


TOPOLOGA EUCLIDIANA O DE LOS ESPACIOS MULTIDIMENSIONALES DE EUCLIDES,
ANLISIS TOPOLGICO.
Sea n N, a un punto ordenado de n nmeros reales se le llama punto n-dimensional
vector de n componentes, y aqu los denotaremos por : x, y, z. As pues, x se
definira como: x1, x2, x3,,xn, y a xk se le denominara k-sima componente de x. Al
conjunto de todos los puntos n-dimensionales de le llama R^n o Espacio Eucldeo ndimensional.
Como recordaris, en este blog he recurrido al Espacio Eucldeo para tratar la Relatividad
y la Teora de Cuerdas. Si este espacio posee una dimensin decimos que es una recta, si
posee dos ser un plano, si posee tres ser el espacio que se suele tratar en geometra

tridimensional, si posee cuatro ser el espacio-tiempo (ms o menos), si posee cinco


podra ser una generacin universal, etc (ver Teora de los Multiversos).
Los vectores n-dimensionales de un Espacio Eucldeo cumplen las siguientes
propiedades:

Igualdad: si x = y x1 = y1; x2 = y2

Suma: x + y = (x1 + y1, x2 + y2, )

Multiplicacin por escalares: a x = (ax1, ax2, )

Diferencia: x y = x + (-1) y.

Vector nulo u origen: 0 = 0, 0,

Producto interior o producto escalar: x y = x1 y1 + x2 y2 +

Norma o Longitud Eucldea del vector: |x| = [x x]^ = [(x x) desde i =


1 hasta n]^
La distancia entre x e y se define como: |x y|.

El vector coordenado unitario uk R^n es el vector cuya componente k-sima vale 1 y el


resto vale 0, y se cumple que:
ui uj = 0 si i j.

, pero:

ui uj = 1 si i = j.
Sean x e y R^n, y sea a R:

|a x| = |a| |x|

|x y| = |y x|

|x y| = |x| |y|

|x + y| |x| + |y|. sta ltima es la Desigualdad de Minkowski.


Espacio de Banach:
Es un espacio vectorial M sobre un cuerpo K que est dotado de una funcin de M
en K, y que satisface las siguientes propiedades, siendo x e y M:

|x| > 0 y |x| = 0 x = 0.

|a x| = |a| |x|, si a K.

|x + y| |x| + |y|.
Espacio Mtrico:

Un conjunto M 0 de objetos dotado de una funcin d (M, M), denominada mtrica del
espacio, que satisface:

Si x y , d(x, y) > 0, d(x, y) = 0.

d(x, y) = d(y, x).

d(x, y) d(x, z) + d(y, z).


Sea a R y sea r R // r > 0, se define Bola Abierta de centro a y radio r al conjunto
de puntos // d(r, a) < r: B (a, r). En una dimensin:

B (a, r) = (a r, a + r) = x R // a r < x < a + r.


, y en dos dimensiones:

B (a, r) = x1, x2 R // (x1 a1)^2 + (x2 a2)^2 < r.


Sea S R^n y sea a S a se denomina Punto Interiorde S si existe una Bola
Abierta centrada en a y contenida en S.
Sea S R^n, el Interior de S es el conjunto de todos los Puntos Interiores:

S = S.
Sea S R^n, S es un Conjunto Abierto si:

S = S.
Un espacio topolgico X es un conjunto de objetos junto con una coleccin de
subconjuntos de X que vamos a denotar por Y = X, satisfaciones que:

El vaco pertenece a Y

XY

La unin de una subcoleccin arbitraria de Y pertenece a Y.

La interseccin de una coleccin infinita de elementos de Y pertenece a Y.

A los elementos de Y se les llama Conjuntos Abiertos.


R^n es un Espacio Topolgico La unin de una coleccin arbitraria de Abiertos de R^n
es un Abierto, y la interseccin de los mismos es finita.
Un conjunto S R es Cerrado si su complementario es Abierto.
La unin de una coleccin finita de conjuntos cerrados es cerrada, al igual que la
interseccin de una coleccin arbitraria de conjuntos cerrados.
Sea S R^n y sea x R^n, se dice que x es Adherente a S si toda Bola Cerrada en
x contiene al menos un punto de S.

AdhS = S.
Al conjunto de todos los puntos Adherentes se le llama Adherencia.
Sea S R^n sea x R^n, se dice que x es un Punto de Acumulacin de S si cada
Bola B(x) contiene por lo menos un punto de S distinto de x.
Al conjunto de todos los Puntos de Acumulacin se le llama Conjunto Derivado.
Sea x un conjunto de acumulacin de S R^n cada Bola B (x) tiene infinitos puntos
de S.
Si un conjunto tiene un Punto de Acumulacin, es conjunto es infinito.
Sea S un conjunto de R^n S es cerrado si S S.
eTeorema de Encaje de Cantor:
Sean Q1, Q2 una coleccin de R^n numerable de conjuntos no vacos tales que Qk+1
Qk, y que cada uno de los Qk es cerrado y Q1 acotado Una coleccin F de conjuntos
se denomina Recubrimiento de un conjunto S R^n si S unin de los conjuntos.
Teorema del Recubrimiento de Linde Lf:
Sea S R^n y F un Recubrimiento Abierto de S Existe una subcoleccin numerable
que tambin recubre a S.
Teorema de Heine-Borel:
Sea S R^n cerrado y acotado, y sea F un Recubrimiento Abierto de S Existe una
subcoleccin numerable que tambin recubre a S.
Sea S R^n, se dice que S es conjunto si todo Recubrimiento Abierto de S contine un
Recubrimiento finito.
Sea S R^n, S es Compacto S es Cerrado y acotado.
Sea S R^n, y x R^n x es un Punto frontera de S si cada Bola centrada en el
punto x contiene al menos un punto de S y un punto de R^n S:

FronS = S S.

Você também pode gostar