Teorema
Cualquier transformación lineal T de un espacio vectorial topológico de dimensión finita V en otro vector topológico de dimensión finita W El espacio es necesariamente continuo.
Desgraciadamente, no puedo demostrar la afirmación, así que ¿podría alguien demostrarlo? Entonces, si la afirmación es generalmente falsa, ¿es falsa si V=\Bbb R^m y W=\Bbb R^m ¿también? Entonces, ¿podría alguien ayudarme, por favor?
0 votos
¿Necesita que TVS T_1 ?
0 votos
Véase Treves, Topological Vector Spaces, Distributions and Kernels. Probablemente allí se demuestre
0 votos
@user10354138 No necesariamente.
1 votos
Entonces tienes ejemplos tontos como el mapa de identidad (\mathbb{R},\text{indiscrete}) a (\mathbb{R},\text{usual}) .
0 votos
@user10354138 Umm...desafortunadamente \Bbb R ¡dotado de topología indiscreta no es un espacio vectorial topológico! ¿Es esto incorrecto?
4 votos
¡No! Puesto que usted no requirió un TVS para ser T_1 cualquier espacio vectorial con la topología indiscreta es un TVS (ya que todo mapa a un espacio indiscreto es automáticamente continuo, en particular +\colon X\times X\to X y \cdot\colon\mathbb{R}\times X\to X son continuas)
0 votos
@user10354138 Vale, entonces si supongo que los espacios vectoriales topológicos deben ser T_1 entonces, ¿es cierto el teorema? y entonces, ¿cómo demostrarlo?
1 votos
Cualquier dimensión finita T_1 TVS (por lo tanto Hausdorff) debe ser la norma \mathbb{F}^n para algunos n y conoces los mapas lineales \mathbb{F}^n\to\mathbb{F}^m son continuas ( \mathbb{F}=\mathbb{R} o \mathbb{C} ).
0 votos
@user10354138 ¿Cómo es \Bbb F^n ?
0 votos
@AntonioMariaDiMauro: A ver si este ayuda.
0 votos
@BrianM.Scott Lo he leído. Sin embargo no entiendo por qué un espacio vectorial topológico de dimensión finita puede estar dotado de una norma que da la misma topología . De hecho a veces hace que publique una respuesta (mira aquí ) donde pregunté esto pero desgraciadamente nadie me contestó. Entonces, ¿qué se puede decir al respecto?
0 votos
@AntonioMariaDiMauro: Bueno, echa un vistazo a la Sección 3.4 de este PDF . En la proposición 3.17 toma \mathscr{X} ser n -y que \mathscr{Y}=\mathscr{X} . Cualquier base para \mathscr{X} le da un isomorfismo de \mathscr{F}^n a \mathscr{X} y el teorema dice que es un homeomorfismo. Aquí \mathscr{F} es el campo escalar, y está bastante claro por lo que dice antes en el PDF que tiene \Bbb R y \Bbb C en mente. Por lo tanto, en efecto sólo estás mirando el espacio normado \mathscr{F}^n .