# Combinación afín

En matemáticas, dado un espacio afín $(\mathbb {A} ,V,\varphi )$ sobre un cuerpo $\mathbb {K}$, y un número finito de puntos $p_{1},...,p_{n}\in \mathbb {A}$, una combinación afín de $p_{1},...,p_{n}$ es un punto expresado con una combinación lineal
$\sum _{i=1}^{n}{\alpha _{i}\cdot p_{i}}=\alpha _{1}p_{1}+\alpha _{2}p_{2}+\cdots +\alpha _{n}p_{n},$
con $\alpha _{1},...,\alpha _{n}\in \mathbb {K}$ tales que
$\sum _{i=1}^{n}{\alpha _{i}}=1.$
En general, las operaciones producto por escalar y suma no están definidas en el conjunto $\mathbb {A}$, de forma que, fijado un punto auxiliar ${\bar {p}}\in \mathbb {A} ,$ la expresión anterior se define como
$\sum _{i=1}^{n}{\alpha _{i}\cdot p_{i}}={\bar {p}}+\sum _{i=1}^{n}{\alpha _{i}{\overrightarrow {({\bar {p}}p_{i})}}}\in \mathbb {A}$.
En esta expresión, las operaciones suma y producto por escalar sí que están definidas, pues se aplican a ${\vec {{\bar {p}}p_{i}}}$, elementos de un espacio vectorial $V$.
La expresión anterior está bien definida porque es independiente del punto auxiliar ${\bar {p}}\in \mathbb {A}$ escogido. Es decir, fijado otro punto auxiliar $p'\in \mathbb {A}$ arbitrario, la combinación afín obtenida por la anterior definición es la misma:
* $\forall {{\bar {p}},p'}\in \mathbb {A} \quad {\bar {p}}+\sum _{i=1}^{n}{\alpha _{i}{\overrightarrow {({\bar {p}}p_{i})}}}=p'+\sum _{i=1}^{n}{\alpha _{i}{\overrightarrow {(p'p_{i})}}},\quad {\text{si }}\sum _{i=1}^{n}{\alpha _{i}}=1\,$
* Queremos ver que
* ${\bar {p}}+\sum _{i=1}^{n}{\alpha _{i}{\overrightarrow {({\bar {p}}p_{i})}}}=p'+\sum _{i=1}^{n}{\alpha _{i}{\overrightarrow {(p'p_{i}}}})\Leftrightarrow {\overrightarrow {{\bar {p}}p'}}=\sum _{i=1}^{n}{\alpha _{i}({\overrightarrow {{\bar {p}}p_{i}}}-{\overrightarrow {p'p_{i}}})}.\,$
* Veamos que es cierto:
* $\sum _{i=1}^{n}{\alpha _{i}({\overrightarrow {{\bar {p}}p_{i}}}-{\overrightarrow {p'p_{i}}})}=\sum _{i=1}^{n}{\alpha _{i}({\overrightarrow {{\bar {p}}p_{i}}}+{\overrightarrow {p_{i}p'}})}=\sum _{i=1}^{n}{\alpha _{i}({\overrightarrow {{\bar {p}}p'}})}={\overrightarrow {({\bar {p}}p')}}\sum _{i=1}^{n}{\alpha _{i}}={\overrightarrow {{\bar {p}}p'}}\cdot 1={\overrightarrow {{\bar {p}}p'}}.\,$
* Por tanto, la definición de combinación afín de puntos no depende del punto auxiliar elegido para calcularla. $\square$
El concepto de combinación afín es fundamental en geometría euclidiana y geometría afín, porque el conjunto de todas las combinaciones afines de un conjunto de puntos forman la variedad lineal más pequeña que los contiene. Es decir, si consideramos el conjunto de puntos $S:=\left\{{p_{1},...,p_{m}}\right\}\subseteq \mathbb {A}$ y denotamos como $\left\langle S\right\rangle$ al conjunto de combinaciones afines de $S$, entonces
* $\left\langle S\right\rangle$ es la variedad lineal más pequeña que contiene a $S.$
* Vemos que, claramente, $S\subseteq \left\langle S\right\rangle$, ya que $p_{j}=p_{j}+\sum _{i=1,i\neq j}^{m}{0\cdot {\overrightarrow {p_{j}p_{i}}}}+1\cdot {\overrightarrow {p_{j}p_{j}}}=0\cdot p_{1}+...+1\cdot p_{j}+...+0\cdot p_{m}\in \left\langle S\right\rangle \quad \forall j=1,...,m$.
* Por tanto, solo queda ver que $\left\langle S\right\rangle$ es una variedad lineal y que no solo contiene a $S$, sino que es la más pequeña con esta característica.
* En primer lugar, veremos que si consideramos una variedad lineal $U$ tal que $S\subseteq U$, necesariamente $\left\langle S\right\rangle \subseteq U$.
* De esto obtenemos que cualquier variedad lineal que contenga a $S$ es más grande o igual que $\left\langle S\right\rangle$, y solo quedará comprobar que $\left\langle S\right\rangle$ es efectivamente una variedad lineal para poder afirmar el enunciado.
* Sea, pues, $U$ una variedad lineal tal que $S\subseteq U$. En particular, $p_{1}\in U\Rightarrow U=p_{1}+F$, con $F\subseteq V$ cierto subespacio vectorial.
* Tomamos $q\in \left\langle S\right\rangle$ arbitrario. Si vemos que necesariamente $q\in U$ tendremos la inclusión que buscamos.
* Por tanto, utilizando la definición anterior y tomando $p_{1}$ como punto auxiliar,
* $q=\sum _{i=1}^{m}a_{i}p_{i}=p_{1}+\sum _{i=1}^{m}a_{i}{\overrightarrow {p_{1}p_{i}}}.$
* Por otro lado, como $S\subseteq U=p_{1}+F,\quad p_{i}=p_{1}+u_{i}$, con $u_{i}\in F\quad \forall i=1,...,m\Rightarrow {\overrightarrow {p_{1}p_{i}}}=u_{i}\in F$.
* Como $F$ es un subespacio vectorial, entonces $v:=\sum _{i=1}^{m}a_{i}{\overrightarrow {p_{1}p_{i}}}\in F\Rightarrow q=p_{1}+v,$ con $v\in F\Rightarrow q\in p_{1}+F=U.$
* Como esto es cierto para un $q\in \left\langle S\right\rangle$ arbitrario, entonces es cierto para todo $q$ y tenemos $\left\langle S\right\rangle \subseteq U$, como queríamos ver.
* Solo queda ver, pues, que $\left\langle S\right\rangle$ es, en efecto, una variedad lineal.
* Lo vemos probando que $\left\langle S\right\rangle =p_{1}+[{\overrightarrow {p_{1}p_{2}}},{\overrightarrow {p_{1}p_{3}}},...,{\overrightarrow {p_{1}p_{m}}}]=:W$, donde $[A]$ denota el subespacio generado por el conjunto de vectores $A.$
* $W$ es claramente una variedad lineal porque está construida como un punto más un espacio vectorial.
* $(\subseteq )$ Observamos que $p_{1}\in W$, y, si $i=2,...,m,$ entonces $p_{i}=p_{1}+{\overrightarrow {p_{1}p_{i}}}\in W$, porque ${\overrightarrow {p_{1}p_{i}}}\in [{\overrightarrow {p_{1}p_{2}}},...,{\overrightarrow {p_{1}p_{m}}}]$.
* Así, $S\subseteq W$ y, por lo que hemos visto antes, $\left\langle S\right\rangle \subseteq W.$
* $(\supseteq )$ Sea $q\in W$ arbitrario. Tenemos que ver que $q\in \left\langle S\right\rangle$. Por definición de $W$ y de combinación afín,
* $q\in W\Rightarrow q=p_{1}+\sum _{i=2}^{m}{c_{i}{\overrightarrow {p_{1}p_{i}}}}=p_{1}+\left(1-\sum _{i=2}^{m}{c_{i}}\right)\cdot {\overrightarrow {p_{1}p_{1}}}+\sum _{i=2}^{m}{c_{i}{\overrightarrow {p_{1}p_{i}}}}=\left(1-\sum _{i=2}^{m}{c_{i}}\right)\cdot p_{1}+\sum _{i=2}^{m}{c_{i}p_{i}}\in \left\langle S\right\rangle .$
* La segunda igualdad porque ${\overrightarrow {p_{1}p_{1}}}=0$ y la última pertenencia por ser una combinación afín de $\left\{p_{1},...,p_{m}\right\}=S.$
* Por tanto, hemos demostrado que $\left\langle S\right\rangle$ es una variedad lineal y que, además, es la más pequeña que contiene a $S.$ $\square$