Topología finita

Topología finita es un concepto matemático que tiene varios significados distintos.

Espacio topológico finito

Un espacio topológico finito es un espacio topológico cuyo conjunto subyacente es finito.

En anillos y módulos de endomorfismos

Si A y B son grupos abelianos, la topología finita del grupo de homomorfismos Hom( A, B ) se define mediante la siguiente base de entornos abiertos de cero.Plantilla:Cita requerida

$U_{x_1,x_2,\dots ,x_n}=\{f\in \mathrm{Hom}(A,B)\mid f(x_i)=0\text{ for }i=1,2,\dots ,n\}$

Este concepto se aplica en concreto en el estudio de anillos de endomorfismos donde se tiene A = B. Semejantemente, si R es un anillo y M es un módulo R derecho, entonces la topología finita en ${\text{End}}_R(M)$ se define mediante el siguiente sistema de entornos abiertos de cero:

$U_X=\{f\in {\text{End}}_R(M)\mid f(X)=0\}$

En espacios vectoriales

En un espacio vectorial $V$, los abiertos finitos $U\subset V$ se definen como los conjuntos cuyas intersecciones con cada subespacio de dimensión finita $F\subset V$ son abiertas. La topología finita en $V$ se define con esos abiertos y se escribe ${\tau }_f(V)$ .

Cuando V tiene dimensión no numerable, esta topología no es localmente convexa ni le otorga a V la estructura de un espacio vectorial topológico, pero cuando V tiene dimensión numerable, coincide tanto con la topología del espacio vectorial más fina en V como con la topología localmente convexa más fina en V.

En variedades

A veces se dice que una variedad M tiene topología finita, o tipo topológico finito, si es homeomorfa a una superficie compacta de Riemann de la que se ha quitado un número finito de puntos.Plantilla:Listaref

• Plantilla:Obra citada
• Plantilla:Obra citada
• Plantilla:Obra citada
• Plantilla:Obra citada
• Plantilla:Obra citada