stringtranslate.com

Confinitud

En matemáticas , un subconjunto cofinito de un conjunto es un subconjunto cuyo complemento en es un conjunto finito . En otras palabras, contiene todos los elementos de un conjunto excepto un número finito . Si el complemento no es finito, pero es numerable, entonces se dice que el conjunto es cocontable .

Estos surgen naturalmente cuando se generalizan estructuras en conjuntos finitos a conjuntos infinitos, particularmente en productos infinitos, como en la topología del producto o la suma directa.

Este uso del prefijo " co " para describir una propiedad que posee el complemento de un conjunto es coherente con su uso en otros términos como " co conjunto magro ".

Álgebras de Boole

El conjunto de todos los subconjuntos de que son finitos o cofinitos forma un álgebra de Boole , lo que significa que es cerrada bajo las operaciones de unión , intersección y complementación. Esta álgebra de Boole es laálgebra finito-cofinita en

En la otra dirección, un álgebra de Boole tiene un ultrafiltro no principal único (es decir, un filtro maximal no generado por un solo elemento del álgebra) si y solo si existe un conjunto infinito tal que sea isomorfo al álgebra finito-cofinita en En este caso, el ultrafiltro no principal es el conjunto de todos los subconjuntos cofinitos de .

Topología cofinita

La topología cofinita (a veces llamada topología de complemento finito ) es una topología que se puede definir en cada conjunto Tiene precisamente el conjunto vacío y todos los subconjuntos cofinitos de como conjuntos abiertos. Como consecuencia, en la topología cofinita, los únicos subconjuntos cerrados son los conjuntos finitos, o la totalidad de Simbólicamente, se escribe la topología como

Esta topología se da de forma natural en el contexto de la topología de Zariski . Puesto que los polinomios en una variable sobre un cuerpo son cero en conjuntos finitos, o toda la topología de Zariski en (considerada como línea afín ) es la topología cofinita. Lo mismo es cierto para cualquier curva algebraica irreducible ; no es cierto, por ejemplo, para en el plano.

Propiedades

Topología cofinita de doble punta

La topología cofinita de doble punta es la topología cofinita con cada punto duplicado; es decir, es el producto topológico de la topología cofinita con la topología indiscreta en un conjunto de dos elementos. No es T 0 ni T 1 , ya que los puntos de cada doblete son topológicamente indistinguibles . Sin embargo, es R 0 ya que los puntos topológicamente distinguibles están separados . El espacio es compacto como producto de dos espacios compactos; alternativamente, es compacto porque cada conjunto abierto no vacío contiene todos los puntos excepto un número finito.

Como ejemplo de la topología cofinita de doble punta contable, se puede dar al conjunto de números enteros una topología tal que cada número par sea topológicamente indistinguible del siguiente número impar . Los conjuntos cerrados son las uniones de un número finito de pares o el conjunto completo. Los conjuntos abiertos son los complementos de los conjuntos cerrados; es decir, cada conjunto abierto consta de todos los pares excepto un número finito o es el conjunto vacío.

Otros ejemplos

Topología del producto

La topología del producto de un producto de espacios topológicos tiene como base donde es abierto y cofinitamente muchos

El análogo sin requerir que un número cofinito de factores sean todo el espacio es la topología de caja .

Suma directa

Los elementos de la suma directa de módulos son secuencias donde hay un número cofinito de

El análogo que no requiere que un número finito de sumandos sean cero es el producto directo .

Véase también

Referencias