casco afín

Subespacio afín más pequeño que contiene un subconjunto

En matemáticas , el casco afín o tramo afín de un conjunto S en el espacio euclidiano R ⁿ es el conjunto afín más pequeño que contiene S , ^[1] o equivalentemente, la intersección de todos los conjuntos afines que contienen S. Aquí, un conjunto afín puede definirse como la traducción de un subespacio vectorial .

La cáscara afín aff( S ) de S es el conjunto de todas las combinaciones afines de elementos de S , es decir,

${\displaystyle \operatorname {aff} (S)=\left\{\sum _{i=1}^{k}\alpha _{i}x_{i}\,{\Bigg |}\,k>0,\,x_{i}\in S,\,\alpha _{i}\in \mathbb {R} ,\,\sum _{i=1}^{k}\alpha _{i}=1\right\}.}$

Ejemplos

• La cáscara afín del conjunto vacío es el conjunto vacío.
• La estructura afín de un singleton (un conjunto formado por un solo elemento) es el singleton en sí.
• La envoltura afín de un conjunto de dos puntos diferentes es la línea que los atraviesa.
• El casco afín de un conjunto de tres puntos que no están en una línea es el avión que los atraviesa.
• El casco afín de un conjunto de cuatro puntos que no están en un plano en R ³ es el espacio completo R ³ .

Propiedades

Para cualquier subconjunto ${\displaystyle S,T\subseteq X}$

• ${\displaystyle \operatorname {aff} (\operatorname {aff} S)=\operatorname {aff} S}$
• ${\displaystyle \operatorname {aff} S}$es un conjunto cerrado si es de dimensión finita. ${\displaystyle X}$
• ${\displaystyle \operatorname {aff} (S+T)=\operatorname {aff} S+\operatorname {aff} T}$
• Si entonces . ${\displaystyle 0\in S}$ ${\displaystyle \operatorname {aff} S=\operatorname {span} S}$
• Si entonces es un subespacio lineal de . ${\displaystyle s_{0}\in S}$ ${\displaystyle \operatorname {aff} (S)-s_{0}=\operatorname {span} (S-s_{0})}$ ${\displaystyle X}$
• ${\displaystyle \operatorname {aff} (S-S)=\operatorname {span} (S-S)}$.
  • Entonces, en particular, siempre es un subespacio vectorial de . ${\displaystyle \operatorname {aff} (S-S)}$ ${\displaystyle X}$
• Si es convexo entonces ${\displaystyle S}$ ${\displaystyle \operatorname {aff} (S-S)=\displaystyle \bigcup _{\lambda >0}\lambda (S-S)}$
• Para cada , donde está el cono más pequeño que contiene (aquí, un conjunto es un cono si es para todos y todos no negativos ). ${\displaystyle s_{0}\in S}$ ${\displaystyle \operatorname {aff} S=s_{0}+\operatorname {cone} (S-S)}$ ${\displaystyle \operatorname {cone} (S-S)}$ ${\displaystyle S-S}$ ${\displaystyle C\subseteq X}$ ${\displaystyle rc\in C}$ ${\displaystyle c\in C}$ ${\displaystyle r\geq 0}$
  • Por tanto, siempre hay un subespacio lineal de paralelo a . ${\displaystyle \operatorname {cone} (S-S)}$ ${\displaystyle X}$ ${\displaystyle \operatorname {aff} S}$

Conjuntos relacionados

• Si en lugar de una combinación afín se usa una combinación convexa , es decir, en la fórmula anterior se requiere que todas sean no negativas, se obtiene la cáscara convexa de S , que no puede ser mayor que la cáscara afín de S ya que hay más restricciones involucradas. . ${\displaystyle \alpha _{i}}$
• La noción de combinación cónica da lugar a la noción de casco cónico.
• Sin embargo , si no se impone ninguna restricción a los números , en lugar de una combinación afín se tiene una combinación lineal , y el conjunto resultante es el tramo lineal de S , que contiene la envoltura afín de S. ${\displaystyle \alpha _{i}}$

Referencias

1. Romano 2008, pag. 430 §16

Fuentes

• RJ Webster, Convexidad , Oxford University Press, 1994. ISBN  0-19-853147-8 .
• Roman, Stephen (2008), Álgebra lineal avanzada , Textos de posgrado en matemáticas (tercera ed.), Springer, ISBN 978-0-387-72828-5