Sección 4.8 Paralelismo en un Espacio Afín
¶La nocion de paralelismo dada en los planos afines, podemos extenderla a los subespacios afines en los espacios afines
Sea \((V,X,\cdot)\) un espacio afín, \(S_1=S(x,\mathcal{U}) \text{ y } S_2=S(y,\mathcal{W})\) subespacios afines.
La nocion de paralelismo se puede amplir a multidimensional, del siguiente modo
\(S_{1} \parallel S_2\) si y sólo si la \(\mathcal{U} \leq \mathcal{W}\) o bien \(\mathcal{W} \leq \mathcal{U}\text{.}\)Al restriguir esta noción a los hiperplanos afines, obtenemos
\(S_{1} \parallel S_2\) si y sólo si la \(S_1=S_2\) o bien \(S_1\cap S_2=\phi \text{.}\)Determine si \(S_1\) y \(S_2\) son paralelos donde
\(S_1:x=1-2y-z\text{,}\) entonces
entonces
Análogamente
Luego \(S_1 \parallel S_2\)
Teorema 4.8.2
Sean \((V,X,\cdot)\) un espacio afín, \(S_1,S_2\) subespacio afines tal que \(\text{dim }S_1=\text{dim } S_2\text{,}\) entonces
\(S_1 \parallel S_2\text{,}\) si y sólo si existe \(t \) traslación tal que \(t(S_1)=S_2\text{.}\)
Demostración
Supongamos \(S_1 \parallel S_2\text{,}\) por demostrar que existe \(t\) traslación tal que \(t(S_1)=S_2\)
Ya que \(\mathcal{U}=\mathcal{W}\text{,}\) tenemos
Sea \(\overrightarrow{v}=\overrightarrow{xy}\text{,}\) luego \(t_{\overrightarrow{v}}(x)=y\) y por lo tanto
Ahora supongamos que existe \(t\) traslación tal que \(t(S_1)=S_2\text{,}\) por demostrar \(S_1 \parallel S_2\text{.}\)
Sea \(S_1=S(x,\mathcal{U})\) y \(t_{\overrightarrow{v}}(S_1)=t_{\overrightarrow{v}}(S(x,\mathcal{U}))=S(\overrightarrow{v} \cdot x ,\mathcal{U})=S_2\text{,}\) luego ambos tienen la misma dirección por lo tanto \(S_1 \parallel S_2\text{.}\)
Teorema 4.8.3
Sea \((V,X,\cdot)\) un espacio afín, \(S_1 \text{ y } S_2\) hiperplanos afines, entonces
\(S_1 \parallel S_2\text{,}\) si y sólo si \(S_1=S_2 \vee S_1 \cap S_2= \varnothing\)
Demostración
Sean \(S_1 = S(x,\mathcal{U}), S_2 = S(y, \mathcal{W})\)
Supongamos \(S_1 \parallel S_2\text{,}\) por demostración \(S_1=S_2 \vee S_1 \cap S_2= \varnothing\)
Si \(S_1 \cap S_2= \varnothing\) listo
-
Ahora \(S_1 \cap S_2 \neq \varnothing\text{,}\) por el teorema anterior, existe una traslación,luego \(\mathcal{U}=\mathcal{W} \text{,}\) además existe \(z \in X\) tal que \(z \in S_1 \cap S_2\) como \(S_1 \cap S_2\text{.}\) entonces
\begin{equation*} \begin{array}{ccccc} S_1 \amp = \amp S(x,\mathcal{U}) \amp = \amp S(z,\mathcal{U}) \\ S_2 \amp = \amp S(y,\mathcal{U}) \amp = \amp S(z,\mathcal{U}) \end{array} \end{equation*}Por lo tanto \(S_1 = S_2\)
Ahora supongamos \(S_1=S_2 \vee S_1 \cap S_2 = \varnothing\text{,}\) por demostrar \(S_1 \parallel S_2\text{.}\)
Si \(S_1=S_2\text{,}\) entonces \(S_1 \parallel S_2\) listo
-
Caso \(S_1 \cap S_2= \varnothing\text{,}\) por absurdo
Supongamos que \(S_1 \cap S_2 = \varnothing \ \wedge \ S_1\not\, \parallel S_2 \text{.}\) Como \(\mathcal{U},\mathcal{W}\) son hiperplanos distintos se tiene que \(V=\mathcal{U}+\mathcal{W}\text{.}\)
\(\overrightarrow{xy}\in V\text{,}\) existe \(\overrightarrow{u}\in \mathcal{U},\overrightarrow{w}\in \mathcal{W}\)
\begin{equation*} \overrightarrow{xy}=\overrightarrow{u}+\overrightarrow{w} \end{equation*}\begin{equation*} \begin{array}{rclr} (\overrightarrow{u}+\overrightarrow{w})\cdot x \amp = \amp y \amp /-\overrightarrow{w} \\ \overrightarrow{u}\cdot x\amp = \amp -\overrightarrow{w}\cdot y \amp \end{array} \end{equation*}de donde \(\overrightarrow{u}\cdot y =-\overrightarrow{w}\cdot x\in S_1 \cap S_2 \neq \varnothing\)
Por lo tanto
\begin{equation*} S_1 \parallel S_2. \end{equation*}
Definición 4.8.4
Sea \((V,X,\cdot)\) un espacio afín y \(S=\{x_0,x_1,x_2,\cdots , x_n\} \subseteq X\text{.}\)
Se dice que \(S\) es linealmente independiente si y sólo si
\((\sharp (S)=1 )\vee \) \((\sharp (S) \gt 1 \wedge \{\overrightarrow{x_0x_1},\overrightarrow{x_0x_2},\cdots , \overrightarrow{x_0x_n}\})\) es linealmente independiente.Definición 4.8.5
Sea \((V,X,\cdot)\) un espacio afín y \(S=\{x_0,x_1,x_2,\cdots , x_n\} \subseteq X\text{.}\)
Se define el subespacio afín generado por \(S\) es
note que \(S=\{x_0,x_1,x_2,\cdots , x_n\} \subseteq S(x_0, \{\overrightarrow{x_0x_1},\overrightarrow{x_0x_2},\cdots , \overrightarrow{x_0x_n}\})\text{.}\)
Notemos que dado \(x,z\in X\) distintos, luego la recta afín que contiene a los puntos esta dada por
Del mismo modo la intersección de dos rectas afines, es vacía o un punto o son iguales.