Mi pregunta es
Deje $A: \mathbb{R}^n \to \mathbb{R}^m$ ser una transformación lineal, ¿cómo puede uno demostrar que $\{Ay|y\geq 0\}$ es un conjunto cerrado?
Aquí $y\geq 0$ significa que cada componente de $y$ $\geq 0$.
Puedo simplificar la pregunta de dos maneras
Ya que la imagen de $A$ es un cerrado lineal subespacio de $\mathbb{R}^m$, mediante la sustitución de $\mathbb{R}^m$ con este subespacio lineal, podemos suponer que a es surjective.
Después de un cambio de base del codominio y un reordenamiento de la base del dominio, podemos suponer que $A$ es de la forma $[I|B]$
Cualquier ayuda o sugerencias son muy apreciados, gracias.
Ideas:
Deje $v_i=Ae_i$, entonces mi declaración original es equivalente a decir que el conjunto de $\{\sum a_iv_i |a_i\geq 0\}$ es un conjunto cerrado. Así que ahora debe demostrar los siguientes:
Para cualquier $v_1,...,v_k \in \mathbb{R}^n$, la $S=\{\sum a_iv_i |a_i\geq 0\}$ es un subconjunto cerrado de $\mathbb{R}^n$.
Sospecho que el conjunto $S$ es un punto de intersección de la mitad de los espacios, a partir de esta closedness será evidente.
Equivalentemente, sospecho que para cada una de las $x\notin S$, existe un espacio medio $H$ (cortado por un codimension 1 lineal subespacio).t. $S\subset H$.
Es esta afirmación verdadera? Supongo que esto debe ser verdad, después de dibujar algunos ejemplos.
Nuevas ideas: Estoy demostrando que el conjunto $\{\sum a_iv_i|a_i\geq 0 \}$ es cerrado, y esto es fácil si todos los $v_i$'s son realmente independientes, así que me gustaría probar lo siguiente:
Deje $S=\{$linealmente independientes subconjuntos de a$\{v_i\}\}$, $\{\sum a_iv_i|a_i\geq 0\}=\cup_{T\subset S}\{$no negativa de combinaciones lineales de $T\}$
Y esta unión es cerrado, ya que es una unión finita de conjunto cerrado.
Equivalentemente, vamos a $x=\sum a_ie_i,a_i\geq 0$, quiero escribir $x=\sum b_ie_i$ donde $b_i\geq 0$ $\{e_i\}\subset \{v_i\}$ es linealmente independiente.
Mi prueba es como sigue: Puedo reemplazar $\{v_i\}$ con un pequeño subconjunto de s.t. $x$ no puede ser expresado por no negativa de combinaciones lineales de cualquier estrictamente subconjunto más pequeño de la misma. Ahora me dicen que este conjunto es linealmente independiente.
Supongamos que no, entonces podemos escribir $c_1v_1+c_2v_2+\cdots + c_nv_n=0$, con algunos $c_i$'s son positivos(ya que podemos multiplicar la expresión completa por $-1$) y supongo que $c_i>0$ $i=1,2,\dots ,k$ $c_i \leq 0$ $i>k$
Ahora supongo que $b=a_1/c_1=\min _{i=1,2,\dots ,k}{a_i/c_i}$, Entonces he $$x=\sum a_iv_i-b(\sum c_iv_i)= (a_2-bc_2)v_2 +(a_3-bc_3)+\cdots + (a_n-bc_n)v_n$$ La cual no es un negativo de las combinaciones lineales de un menor número de vectores, contradice a mi suposición y, por tanto, el conjunto mínimo $\{v_i\}$ es linealmente independiente.