Matemáticas: ¿se pueden relacionar de alguna manera una topología y un espacio vectorial?

Estoy un poco confundido acerca de la parte “muy similar” de la pregunta. Como usted dice, un espacio vectorial se define como un conjunto con operaciones de suma y multiplicación escalar que satisfacen varios axiomas, y un espacio topológico se define como un conjunto con una clase distinguida de subconjuntos llamados conjuntos abiertos que satisfacen varios axiomas. Aparte de la parte de “satisfacer varios axiomas” que es compartida por casi cualquier estructura matemática, no veo la similitud aquí.

No veo ninguna manera en que estos dos conceptos estén significativamente “relacionados”. Hay objetos importantes llamados espacios vectoriales topológicos que llevan ambas estructuras y satisfacen axiomas de continuidad adicionales, pero no creo que esto sea lo que quiere decir con “relacionado”.

Los espacios vectoriales son aparentemente similares a los módulos, por ejemplo. Las definiciones de estas dos estructuras son muy similares, excepto que para los módulos los escalares pertenecen a un anillo en lugar de a un campo. Estoy de acuerdo en que los espacios y módulos vectoriales están “relacionados”, aunque resulta que el cambio de estructura de los escalares hace una gran diferencia, y los módulos son bestias muy diferentes de los espacios vectoriales.

De manera similar, la definición de un espacio topológico es superficialmente similar a la definición de un álgebra [matemática] \ sigma [/ matemática]. Los conjuntos abiertos en un espacio topológico están cerrados bajo uniones e intersecciones finitas; los conjuntos de un álgebra [matemática] \ sigma [/ matemática] están cerrados bajo uniones contables, intersecciones contables y complementos. Esto parece algo similar pero, una vez más, estos cambios “menores” en los axiomas provocan diferencias bastante grandes en los resultados.

La topología y la estructura lineal son ideas fundamentalmente diferentes. Las similitudes que mencionas son superficiales. La idea básica de un espacio vectorial es que puede agregar sus elementos y multiplicarlos por números reales. La idea básica de un espacio topológico es que sabes qué subconjuntos del espacio están abiertos, y eso te permite decir qué significa convergencia. Puede tener un espacio vectorial sin noción de convergencia, y por el contrario, puede tener un espacio topológico cuyos elementos no se pueden sumar o multiplicar por un número real. Si tiene un espacio que tiene ambos tipos de estructura (y satisface ciertas condiciones asegurando que interactúen de la manera que esperaría), se llama espacio vectorial topológico.

Creo que esta puede ser la idea a la que estás llegando. Hay una manera de hacer un espacio vectorial sobre el campo [math] \ mathbb {Z} / 2 \ mathbb {Z} [/ math] fuera del conjunto de potencia de un conjunto.

Sea [math] X [/ math] un conjunto y para todos [math] A, B \ en 2 ^ X [/ math] considere la operación [math] A \ Delta B [/ math], la diferencia simétrica de establece, como la suma del vector. La identidad aditiva es solo el conjunto vacío, y cada conjunto es su propio inverso aditivo. La multiplicación por 1 es solo la identidad y por cero solo envía cualquier conjunto al conjunto vacío.

Si pensamos en el vector o en el conjunto A como una cadena de 1s y 0s para cada elemento de X, donde 1 significa que el elemento está en A y 0 significa que no, entonces puede imaginarse [math] A \ Delta B [/ math ] como [math] A \ oplus B [/ math] donde [math] \ oplus [/ math] es la función XOR de elemento inteligente. Se explica en la sección de propiedades del artículo de Wikipedia vinculado.

Esta estructura convierte el conjunto de potencia (o quizás un poco de álgebra más pequeña) en un espacio vectorial. No funciona para ninguna topología general.

Los axiomas de una topología están destinados a generalizar el concepto geométrico de tener un espacio abierto para recorrer de una manera teórica establecida y son muy útiles en muchos otros contextos (por ejemplo, espacios de funciones). No se derivan de alguna otra estructura algebraica bien conocida.

Ambos son el tipo de cosas que los matemáticos les gusta estudiar, pero eso es todo. Es decir, son conjuntos que están cerrados bajo ciertas operaciones y que satisfacen ciertas propiedades. Muchos objetos de interés matemático pueden describirse así.

Una vez que defina mapas en ambos contextos (funciones continuas entre espacios topológicos y mapas lineales entre espacios vectoriales), también puede comprender ambos en el lenguaje de la teoría de categorías. Pero eso también es cierto para la mayoría de las cosas que estudian los matemáticos.