¿Las definiciones de conjuntos abiertos y cerrados en espacio métrico parcial son las mismas que las del espacio métrico?

En un espacio métrico [matemática] (X, d) [/ matemática], un conjunto se define como abierto si se puede expresar una unión de una familia arbitraria de bolas abiertas, es decir, conjuntos de la forma

[matemáticas] B (x, r) = \ {y \ en X \ colon d (x, y) 0). [/ matemáticas]

Tenga en cuenta que debido a la simetría de la métrica, tenemos

[matemáticas] B (x, r) = \ {y \ en X \ colon d (y, x) <r \}. [/ matemáticas]

Para un espacio métrico parcial [matemática] (X, d) [/ matemática] adoptamos esta definición y también definimos conjuntos abiertos como unión de conjuntos de la forma

[matemáticas] B (x, r) = \ {y \ en X \ colon d (x, y) 0). [/ matemáticas]

Curiosamente, tomando en su lugar

[matemáticas] B ^ \ prime (x, r) = \ {y \ en X \ colon d (y, x) <r \} [/ matemáticas]

obtendríamos una topología diferente en general.

Un conjunto está cerrado si el complemento está abierto, por lo que la respuesta breve a su pregunta es sí, las definiciones son las mismas, pero debemos tener cuidado con la dirección de medición de la distancia.

Toda la información relevante está contenida en esta nota mensual de Michael Bukatin, Ralph Kopperman, Steve Matthews y Homeira Pajoohesh.

More Interesting

¿Están los matemáticos interesados ​​en simplificar más los axiomas de un campo dado o están contentos con el conjunto actual de axiomas?

¿Cuáles son los máximos y mínimos de f (x) = (x ^ 2 + 3 * x + 1) / (x ^ 2-3 * x + 1)?

¿Puedes probar la siguiente igualdad? [matemáticas] {e ^ {ix} = \ cos (x) + i \ sin (x)} [/ matemáticas]

¿Cuál es el mejor método para leer y comprender los documentos de matemáticas?

¿Para qué es algo específico para lo que las matemáticas son útiles?

¿Por qué los valores son diferentes si multiplico un número irracional al numerador y al denominador al mismo tiempo?

¿Cómo podemos probar que [matemáticas] \ frac {\ zeta (k)} {\ zeta (k + 1)} = \ sum \ limits_ {n = 1} ^ {\ infty} \ frac {| \ mu (n) | \ cdot \ varphi (n)} {n \ cdot J_ {k} (n)} [/ math]?

Al hacer transformadas de Fourier, ¿por qué realiza FT y nuevamente realiza transformadas inversas de Fourier?

¿Cuál es la idea detrás de la esfera de Riemann en el análisis complejo y por qué es útil?

Geometría diferencial: de la misma manera que se puede definir el 'punto en el infinito' en espacios de vectores reales de dimensiones finitas, ¿existe correspondientemente una variedad riemanniana en la que tenga sentido hablar de la 'línea en el infinito'?

¿Qué significa 'filosofía es axiomática'?

Si tengo 8 - (5x - 1) ¿puedo dejar los corchetes o deben expandirse con la multiplicación?

¿Cómo se conectan las transformadas de Laplace y Fourier?

¿Por qué algunas personas aman las matemáticas tanto que incluso se olvidan de la familia, los amigos y la sociedad?

¿Cuántos números primos hay en 1-200?