Estoy haciendo algo de topología ahora y honestamente estoy muy confundido en cómo decir formalmente que un conjunto es abierto, cerrado o compacto. Especialmente con los conjuntos abiertos, la prueba de ello (deben existir bolas de radio $r$) parece muy arbitraria (ya que el radio puede ser tan pequeño como se desee). Tiene más sentido para mí desde un punto de vista geométrico (es decir, dibujándolo). Desafortunadamente, esto no es suficiente en mi clase, por lo que estoy pidiendo ayuda para las siguientes preguntas
Mis pensamientos para las siguientes preguntas son los siguientes:
1a) ya resuelto
1b) Toma el punto $(n,0)$. En $n=0$, el punto está en $B$, pero si tomas el punto mientras $n$ tiende a infinito, el punto alterna entre estar dentro y fuera de $B, por lo tanto, por convergencia, el conjunto no está cerrado. Luego estoy completamente confundido en cómo hacer la prueba de la bola para mostrar que es/no es abierto.
1c) $C$ no es ni cerrado ni abierto. Si eliges el punto $(0,1,1/n)$, entonces sí está en $C$. Pero si tomas el límite cuando $n$ tiende a infinito, entonces el punto converge a $(0,1,1)$, que no está en el conjunto. Por lo tanto, no está cerrado. Entonces, si colocas una bola en $(0,1,1)$, algunos puntos estarán fuera de $C$, por lo que no es abierto.
1d) Para empezar, $D$ es un cilindro parabólico (creo). No tengo idea de qué hacer aquí.
Sé que un conjunto compacto es un conjunto limitado y cerrado.
2a) Este conjunto está limitado debido a los términos cuadrados y el signo igual. Dado que este conjunto contiene sus puntos de límite, ¿debe ser cerrado? ¿Entonces es compacto?
2b) Este conjunto es un cono elíptico. No creo que esté limitado porque se extiende infinitamente. ¿Y por lo tanto tampoco debe estar cerrado? Realmente confundido aquí
2c) El lado izquierdo es innecesario, ya que $e^x+e^y$ nunca será cero o menor que $0$. Entonces, si tomamos el punto $(1/n,1/n)$, este existe en $C$, y el límite del punto cuando $n$ tiende a infinito también existe en $C$, por lo que el conjunto está cerrado. Luego creo que este conjunto también está limitado (más de una forma más "obvia" para mí que cualquier forma matemática formal de mostrarlo). ¿Entonces es compacto?
Cualquier ayuda o consejo sobre cómo abordar estos problemas sería muy apreciada :)
0 votos
Puede ser útil para ti saber que la preimagen bajo un mapeo continuo de un conjunto cerrado (abierto) es cerrado (abierto). Por ejemplo, 1(b) es cerrado por esa razón. Y, además, en un conjunto conexo, ningún conjunto diferente al completo y al vacío son clopen, así que una vez que sepas que están cerrados (abiertos), no necesitas verificar lo contrario. Finalmente, para compacidad, utiliza la caracterización de ser cerrado y acotado.
0 votos
Tu razonamiento en 1 (b) no es correcto. Para usar el criterio de convergencia, debes encontrar una secuencia que esté dentro de B pero cuyo límite no lo esté.
1 votos
Simplemente para ampliar el comentario de Javi, el conjunto de puntos donde $cos(x)+e^{xy} \geq 1$ es cerrado ya que es la preimagen de $[1, \infty)$ bajo la función continua $f(x,y)=cos(x)+e^{xy}$ (pregúntate a ti mismo por qué es continua). Puedes usar un razonamiento similar para los demás.
0 votos
@Javi, realmente no veo cómo el criterio de convergencia para 1b no se cumple con mi explicación. ¿Es por lo que dije acerca de que el límite alterna entre estar en el conjunto y no estar en el conjunto (como resultado de que el límite no existe)?
0 votos
@Anthony, la secuencia que elegiste no estaba dentro de B para todos los $n$, como notaste, y esa es una condición necesaria para usar ese criterio. Es el límite el que te dice si el conjunto no está cerrado.
0 votos
También, la secuencia debe converger para usarla, porque el cierre es el conjunto de puntos límite.
0 votos
Tiene sentido. ¿Podrías aclarar qué exactamente es una preimagen? Parecía interesante
0 votos
@Anthony Quizás lo conoces como imagen inversa, porque no puedo creer que estés estudiando topología sin conocer ese concepto. Por si acaso, la preimagen de un conjunto $B$ bajo $f:A\to C\supseteq B$ es el conjunto $f^{-1}(B)=\{x\in A: f(x)\in B\}$.
1 votos
@Javi wow yeah we've never discussed that in class. Nuestro profesor simplemente se lanzó a clasificar conjuntos utilizando la convergencia y el teorema de la bola (siento que tendría más trucos bajo la manga si hubiéramos hecho cosas como esa)
0 votos
Permite que continuemos esta discusión en el chat.