Confusión sobre la noción de variedad compacta con o sin límite

Estoy tratando de entender cómo hacer las siguientes dos preguntas sobre variedades compactas:

Muestra esa   METRO   es una variedad compacta en R norte ,   entonces   METRO   también es compacto; si tambien   METRO   es   norte   -dimensional, entonces   METRO =   seco   METRO  

Demuestre que una variedad compacta no puede representarse mediante una (única) ecuación paramétrica.

Mi confusión es lo que significa que una variedad sea compacta. En algunos libros que tienen que ver con cálculo avanzado o teoría de variedades, se establece que la noción de compacidad al describir variedades es distinta de la noción topológica de compacidad. También me encuentro con preguntas en las que pide probar propiedades sobre variedades compactas sin límite. Esto solo lo hace más confuso. Es como decir que un intervalo cerrado, un círculo o una esfera no tiene puntos límite o un límite vacío, pero aún así está cerrado y acotado. En Wikipedia, la variedad compacta se analiza en el tema de variedades cerradas. Nuevamente, me encuentro con nociones topológicas asociadas con la compacidad. Pero los libros de texto dicen lo contrario.

¿Puede alguien ayudarme con algunas aclaraciones sobre mis confusiones, por favor? gracias de antemano

Observo que la única variedad compacta unidimensional, S 1 , satisface la ecuación X 2 + y 2 = 1 en R 2 . Si se trata de una sola ecuación paramétrica depende de cómo espera representar los puntos en R 2 . Por ejemplo
( X y ) = ( porque θ pecado θ ) , θ [ 0 , 2 π ] .
@Sou, ¿no estoy seguro de entender tu pregunta?
#Eric Towers, las preguntas las saqué de un texto titulado: Análisis en espacios vectoriales. No estoy seguro de si podría significar de manera equivalente que una variedad k no puede representarse mediante un solo gráfico
@Sou, ¿puede explicar brevemente qué significa entonces que una variedad compacta no tenga un límite? Simplemente parece realmente extraño la forma en que se usa la palabra "compacto" en este contexto. Gracias
Simplemente significa que por cada pag METRO no hay gráficos ( tu , φ ) contener pag tal que φ ( pag ) H norte .
@Sou, ah... está bien. Ahora todo tiene sentido. Realmente admiro a las personas que investigan en topología/geometría diferencial. Hay tantas definiciones para ordenar y recordar. Se siente como la química orgánica de las matemáticas. :)

Respuestas (1)

Lo sabemos METRO es una variedad compacta en R norte y el límite (de cualquier variedad con límite) METRO está cerrado en METRO . Como todo subconjunto cerrado de un espacio compacto es compacto, entonces METRO es compacto Para el problema de que cualquier variedad compacta no se puede representar como una sola ecuación paramétrica, solo tenga en cuenta que si podemos, entonces METRO debe ser homeomorfo a un subconjunto abierto de tu R oscuro  METRO . Es decir, existe un homeomorfismo φ : METRO tu = φ ( METRO ) R oscuro  METRO . Esto implica que tu es compacto (cerrado y acotado) y también abierto. Desde tu R oscuro  METRO es abierto y cerrado y R oscuro  METRO conectado, esto significa tu = R oscuro  METRO . Pero esto es imposible ya que tu = φ ( METRO ) es compacto por continuidad.

Gracias por su respuesta. Mis disculpas por responder tarde. Estoy escribiendo la definición de límite de M del libro de texto usando LaTex y todavía no me he acostumbrado a escribirlo rápido porque todavía soy muy nuevo en eso. De todos modos, del texto de Andrew Browder: Decimos que   pag   se encuentra en el límite de M, y escribe   pag METRO ,   si   pag   METRO   y existe una coordenada local α   en   pag   tal que   V α R + k ,   y   pag   =   α ( tu )   con tu =   ( tu 1 , . . . tu k 1 , 0 )   .
Gracias por la referencia. Supongo que todas las superficies cuádricas estándar que encontramos en un texto típico de Geometría analítica/cálculo vectorial pueden considerarse múltiples cerradas. Y cuando se refieren al límite de esas superficies, se refieren al límite topológico. ¿Es eso correcto?
1) Si están nivelados, debe estar cerrado 2) Sí
gracias por los ejemplos :)