La palabra topología significa “El estudio de las asignaciones”. En matemáticas es un gran área de estudio con muchos subcampos más específicos.
La topología se preocupa por cómo las cosas están conectadas entre sí. Muchas cosas que damos por sentado en geometría, como la distancia y el ángulo, no son propiedades topológicas, mientras que las nociones de conjuntos abiertos, compacidad y conectividad sí lo son.
Los subcampos de topología incluyen
- Si tengo la serie de Fourier de una función, ¿cómo puedo encontrar la función?
- ¿Cuál es la diferencia entre el método Rayleigh Ritz y el método de elementos finitos?
- Si la correlación (A, B) es +0.8, ¿se puede concluir que un rendimiento positivo del stock A va acompañado de un rendimiento positivo del stock B el 80% del tiempo?
- Me dicen que podría haber afirmaciones verdaderas en una teoría matemática que no son demostrables. ¿Qué quiere decir uno con la "verdad" de una declaración matemática no demostrable?
- ¿Qué método matemático se usa en una herramienta de ajuste de curvas en MATLAB?
- Topología algebraica
- Topología geométrica
- Topología diferencial / Teoría del múltiple
- Teoría de nudos
También se cruza con muchas áreas de análisis.
Un espacio topológico [math] (X, \ tau) [/ math] es un conjunto [math] X [/ math] emparejado con una topología [math] \ tau [/ math] que es una colección de subconjuntos de [math] ] X [/ math] que se consideran conjuntos abiertos, con las siguientes propiedades.
- La topología incluye el conjunto vacío y el conjunto completo.
- [matemáticas] \ conjunto vacío, X \ in \ tau [/ matemáticas]
- Las uniones de conjuntos abiertos están abiertas
- [matemáticas] U_j \ in \ tau \ Rightarrow \ bigcup_j U_j \ in \ tau [/ math]
- Las intersecciones de una colección finita de conjuntos abiertos están abiertas
- [matemáticas] U_j \ in \ tau \ Rightarrow \ bigcap_ {j = 1} ^ N U_j \ in \ tau [/ math]
El complemento de un conjunto abierto se denomina conjunto cerrado. Observe que el conjunto vacío y el conjunto completo son complementos entre sí, por lo tanto, están abiertos y cerrados. Los conjuntos tampoco pueden ser abiertos ni cerrados.
Una función que va de un espacio topológico a otro es continua si solo los conjuntos abiertos se asignan a conjuntos abiertos.
[matemática] f: (X, \ tau_X) \ a (Y, \ tau_Y) [/ matemática] es continua [matemática] \ Leftrightarrow f ^ {- 1} (U) \ in \ tau_X [/ matemática] para todos [ matemáticas] U \ in \ tau_Y [/ matemáticas]
Por ejemplo, en un espacio métrico, las bolas abiertas generan los conjuntos abiertos.
[matemáticas] B_r (x) = \ {y: d (x, y) <r \} [/ matemáticas]
Por lo tanto, una asignación de un espacio métrico a otro es continua si cumple con la definición tradicional del delta del épsilon.
[matemática] f: (X, d_X) \ a (Y, d_Y) [/ matemática] es continua [matemática] \ Leftrightarrow [/ matemática] para todos [matemática] \ epsilon> 0 [/ matemática] existe [matemática] \ delta> 0 [/ math] tal que [math] d_1 (x, y) <\ delta \ Rightarrow d_2 (f (x), f (y)) <\ epsilon [/ math]
Los espacios métricos tienen mucha estructura en su topología inducida. Las topologías pueden volverse muy raras cuanto menos estructura tenga el espacio. Por ejemplo, si un espacio topológico no es un espacio de Hausdorff, una secuencia de puntos puede converger en más de un punto.
Un mapeo que es biyectivo, y tanto él como su inverso son continuos se llama homeomorfismo. Los homeomorfismos son los mapas que preservan la topología del espacio. Los conjuntos abiertos están correlacionados, los conjuntos conectados están correlacionados, etc. Puedes pensar en un homeomorfismo como una deformación que se estira y empuja sin rasgaduras. Una esfera es homeomorfa a un cubo, pero no a un toro. El toro tiene un agujero que es una propiedad topológica intrínseca.