0 votos

Si $U \subset M_{n,k}(\mathbb{R})$ está abierto, y $g \in GL_k(\mathbb{R})$ Entonces, ¿cómo demostrar que $Ug$ ¿está abierto?

Esta pregunta es de mi curso de colectores lisos.

Dejemos que $G(k,n)$ denotan $\{k\text{-dimensional vector space in } \mathbb{R}^n\}$ , que es igual a $\{n \times k \text{ matrix of rank }= k\} \big/ \sim$

donde $A \sim B \iff \exists g \in GL_k(\mathbb{R}) ~\text{such that} ~B = Ag$ .

Quiero demostrar que la relación equivalente $\sim$ es abierto, lo que significa que el mapa canónico (de proyección) es abierto.

La siguiente es mi prueba :

Dejemos que $F(k,n)$ denotan $\{n \times k \text{ matrix of rank }= k\}$ , y $\pi$ denota el mapa canónico (de proyección) derivado de $\sim$ .

Supongamos que $U$ está abierto en $F(k,n)$ .

Para demostrar que $\sim$ está abierto, basta con demostrar que $\pi^{-1}(\pi(U))$ está abierto en $F(k,n)$ .

$$\pi^{-1}(\pi(U)) = \{Ag : A \in U, ~ g \in GL_k(\mathbb{R})\} = \bigcup_{g \in GL_k(\mathbb{R})} Ug .$$

Por lo tanto, si $Ug$ está abierto para todos $g \in GL_k(\mathbb{R})$ entonces $\pi^{-1}(\pi(U))$ está abierto, y así obtengo el hecho de que $\sim$ está abierto.

Intenté probarlo directamente.

Para cualquier $A \in Ug$ Sabemos que $Ag^{-1} \in U$ . Porque $U$ está abierto, existe $\epsilon >0$ tal que $B_\epsilon(Ag^{-1}) \subset U$ .

Por lo tanto, $B_\epsilon(Ag^{-1})g \subset Ug$ y sabemos que $A \in B_\epsilon(Ag^{-1})g$ .

Por lo tanto, si podemos encontrar $\delta > 0$ Satisfaciendo a $B_\delta(A) \subset B_\epsilon(Ag^{-1})g$ , entonces podemos concluir que $Ug$ está abierto.

Sin embargo, estoy atascado para proceder.

Le agradecería mucho que se preocupara y aconsejara.

2voto

Reavered Puntos 6

El mapa $g: M_{n, k}(\mathbb R) \to M_{n, k}(\mathbb R)$ dado por $A \mapsto Ag$ es continua; conoces las reglas de la multiplicación de matrices, las entradas de $Ag$ acaban siendo polinomios en las entradas de $A$ Los polinomios son continuos.

Además, tiene una inversa continua $A \mapsto A g^{-1}$ por lo que es un homeomorfismo. Los homeomorfismos son mapas abiertos, por lo que $Ug$ está abierto.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X