El límite de una variedad es un subconjunto cerrado.

Queremos demostrar que la frontera METRO de un norte la variedad M es un subconjunto cerrado de la variedad. Mostramos que su complemento METRO METRO está abierto en METRO . De hecho, cada punto X METRO METRO tiene un barrio abierto V X METRO homeomorfo a R norte . Solo queda demostrar que V X yace enteramente en METRO METRO Lo que significa que V X METRO = . ¡Gracias por su ayuda!

EDITAR: en una variedad con límite, cada punto tiene una vecindad abierta que es homeomorfa a R norte o para R + norte = { ( X 1 , , X norte ) R norte | X norte 0 } , los puntos que tienen vecindades abiertas homeomorfas a R + norte forman el límite de la variedad.

¿Cómo encuentras tu V X ?
Es por definición de un punto
¿Puede incluir también la definición de "múltiple con límite" en su pregunta?
Incluí una definición, ¡gracias!
Tu definición no es del todo correcta. Los puntos límite son aquellos puntos que se encuentran en X norte = 0 . (hay puntos en R + norte que no son puntos límite).
Pista: cada punto de V X tiene un vecindario abierto homeomorfo a R norte .
@Alex Ravsky: estás diciendo implícitamente que V X está completamente en METRO METRO , de lo contrario puntos de V X que yacen en el límite METRO tienen vecindarios homeomorfos a R + norte no R norte .
podemos simplemente tomar V X ( METRO METRO ) ser el barrio abierto que contiene X ?

Respuestas (1)

Esto es obvio. Dejar X METRO METRO . Existe un barrio abierto V de X en METRO que es homeomorfo a R norte . Entonces cualquier y V tiene la misma propiedad, por lo tanto V METRO METRO .

Por cierto, tu definición del límite no es correcta. Llevar METRO = R + norte . Entonces cada uno X R + norte tiene R + norte como un vecindario abierto que es homeomorfo R + norte . Una definición correcta es esta: Un punto pag METRO se llama punto límite si existe un homeomorfismo ϕ : tu R + norte definido en una vecindad abierta tu de pag en METRO tal que ϕ ( pag ) R + norte = R norte 1 × { 0 } .

te refieres a R + norte = R norte 1 × { 0 } .
Sí, ¡corregiré esto!
Es fácil ver que el interior del colector está abierto en METRO , pero - suponiendo que METRO es una subvariedad de R d con límite: ¿estará abierto en el espacio ambiental? R d ¿también?
Si d = norte si si d > norte No.