title: Sottospazio affine
text: # Sottospazio affine
  
  In matematica, un sottospazio affine è un sottoinsieme di uno spazio affine avente proprietà tali da farne a sua volta un altro spazio affine. Esempi di sottospazi affini sono i punti, le rette e i piani nell'ordinario spazio euclideo tridimensionale.
  
  I sottospazi affini si distinguono dai sottospazi vettoriali per il fatto che non sono forzati a passare per un punto fissato (l'origine dello spazio vettoriale). A differenza dei sottospazi vettoriali, i sottospazi affini possono quindi non intersecarsi ed essere ad esempio paralleli. Questa maggiore libertà ha però una controparte: per i sottospazi affini non vale la formula di Grassmann.
  
  I sottospazi affini sono strettamente correlati ai sistemi lineari: l'insieme delle soluzioni di un sistema lineare è in effetti uno spazio affine.
  
  ## Definizione
  
  ### In uno spazio vettoriale
  
  Un sottospazio affine di uno spazio vettoriale $V$ è un sottoinsieme $S$ del tipo
  
      $S=p+W=\{p+w\ |\ w\in W\}$
  
  dove $p$ è un punto fissato di $V$ e $W$ è un sottospazio vettoriale fissato di $V$. Si tratta in altre parole del sottospazio $W$ traslato del vettore $p$.
  
  ### In uno spazio affine
  
  La definizione all'interno di uno spazio affine è analoga. Sia $A$ uno spazio affine. Più precisamente, $A$ è dotato di uno spazio vettoriale $V$ e di una funzione
  
      $f:A\times V\to A$
  
  che viene solitamente indicata con il simbolo "+", quindi $f(p,v)=p+v$. Un sottospazio affine di $A$ è un sottoinsieme $S$ del tipo
  
      $S=p+W=\{p+w\ |\ w\in W\}.$
  
  La definizione appena data è più generale della precedente, perché ogni spazio vettoriale può essere considerato come spazio affine con $A=V$, in cui la funzione $f$ è l'usuale somma fra vettori.
  
  ## Proprietà
  
  In uno spazio affine $A$, dati due punti $P,Q$ di $A$ si indica con ${\overrightarrow {PQ}}$ l'unico vettore in $V$ tale che
  
      $P+{\overrightarrow {PQ}}=Q.$
  
  ### Giacitura
  
  Lo stesso sottospazio può essere definito in varie forme diverse come $S=p+W$. In tutte queste rappresentazioni, il punto $p$ può variare (può essere un punto qualsiasi di $S$, a conferma che in geometria affine non ci sono "punti privilegiati"), ma $W$ risulta essere sempre lo stesso: questo sottospazio di $V$ è chiamato giacitura di $S$. La giacitura è infatti definita intrinsecamente come
  
      $W=\{{\overrightarrow {PQ}}\ |\ P,Q\in S\}.$
  
  La dimensione di $S$ è definita come la dimensione di $W$. Quando la dimensione è 1 o 2 si parla di retta affine o piano affine. Quando la dimensione è pari alla dimensione di $A$ meno uno, si parla di iperpiano affine.
  
  ### Sottospazio generato
  
  Il sottospazio affine generato da un sottoinsieme $S$ del piano affine $A$ è il più piccolo sottospazio che contiene $S$ (equivalentemente, è l'intersezione di tutti i sottospazi affini che contengono $S$). Viene indicato con $L(S)$.
  
  Ad esempio, $k$ punti $x_{1},\ldots ,x_{k}$ in $A$ generano un sottospazio $L(x_{1},\ldots ,x_{k})$. In questo caso la dimensione del sottospazio è minore o uguale di $k-1$: quando è precisamente $k-1$ i punti sono detti affinemente indipendenti.
  
  ## Esempi
  
  ### Nello spazio euclideo tridimensionale
  
  **Retta affine**
  
  Sia
  
      $\mathbb {R} ^{3}=\{(x,y,z)\ |\ x,y,z\in \mathbb {R} \}$
  
  lo spazio euclideo tridimensionale. Fissato un punto $P_{0}=(x_{0},y_{0},z_{0})$, una retta affine passante per $P_{0}$ è l'insieme dei punti:
  
      $r=\{P_{0}+tv\ |\ t\in \mathbb {R} \}$
  
  dove $v=(v_{x},v_{y},v_{z})$ è un vettore fissato, detto vettore direzione della retta. La giacitura è qui la retta
  
      $W=\{tv\ |\ t\in \mathbb {R} \}={\rm {Span}}(v)$
  
  generata da $v$. La stessa retta affine $r$ può essere rappresentata sostituendo il vettore direzione $v$ con un qualsiasi suo multiplo $kv$ avente $k\neq 0$.
  
  **Piano affine**
  
  Analogamente, un piano affine passante per $P_{0}$ è del tipo:
  
      $\pi =\{P_{0}+tv_{1}+sv_{2}\ |\ t,s\in \mathbb {R} \}$
  
  dove $v_{1}$ e $v_{2}$ sono due vettori linearmente indipendenti.
  
  ### Soluzioni di sistemi lineari
  
  Negli esempi precedenti, i sottospazi sono definiti tramite l'ausilio di parametri $t$ e $s$: le equazioni che li descrivono sono per questo dette parametriche. Un sottospazio affine in uno spazio euclideo $\mathbb {R} ^{n}$ (o in un più generale spazio vettoriale $K^{n}$) è anche descrivibile in forma più implicita, come spazio di soluzioni di un sistema lineare. Vale cioè il fatto seguente:
  
  Lo spazio delle soluzioni di un sistema lineare con $n$ incognite a coefficienti in $K$ è un sottospazio affine di $K^{n}$. D'altro canto, ogni sottospazio affine in $K^{n}$ è lo spazio di soluzioni di un sistema lineare.
  
  Un sottospazio affine determinato come spazio di soluzioni di un sistema lineare è descritto in forma cartesiana. I coefficienti del sistema lineare formano una matrice, e la dimensione del sottospazio è collegata al rango di questa tramite il teorema di Rouché-Capelli.
  
  Ad esempio, una singola equazione
  
      $a_{1}x_{1}+\ldots +a_{n}x_{n}=c$
  
  descrive un iperpiano in $K^{n}$. In particolare, questo è una retta nel piano se $n=2$ ed un piano nello spazio se $n=3$. Una retta nello spazio $K^{3}$ può essere descritta da due equazioni
  
      ${\begin{cases}a_{1}x+b_{1}y+c_{1}z=d_{1},\\a_{2}x+b_{2}y+c_{2}z=d_{2}.\end{cases}}$
  
  ## Equazioni parametriche e cartesiane
  
  Come mostrato negli esempi precedenti, i sottospazi di uno spazio affine $K^{n}$ possono essere descritti in forma parametrica o cartesiana. Il passaggio da una rappresentazione all'altra può essere svolto nel modo seguente.
  
  ### Da cartesiana a parametrica
  
  Il passaggio da cartesiana a parametrica consiste nella risoluzione del sistema lineare. Questa può essere fatta tramite l'algoritmo di Gauss.
  
  ### Da parametrica a cartesiana
  
  Il passaggio da parametrica a cartesiana consiste nel determinare equazioni che descrivono il sottospazio. Questo può essere fatto scrivendo delle condizioni che un punto deve soddisfare per appartenere al sottospazio. Ad esempio, se $S$ è descritto come
  
      $S=\{p+t_{1}w_{1}+\ldots t_{k}w_{k}\ |\ t_{1},\ldots ,t_{k}\in K\}$
  
  dove i vettori $w_{1},\ldots ,w_{k}$ formano una base della giacitura $W$, un punto $x=(x_{1},\ldots ,x_{n})$ appartiene a $S$ se e solo se il vettore
  
      ${\overrightarrow {px}}=(x_{1}-p_{1},\ldots ,x_{n}-p_{n})$
  
  appartiene alla giacitura. Questo accade precisamente quando la matrice
  
      ${\begin{pmatrix}w_{1}^{1}&\ldots &w_{k}^{1}&x_{1}-p_{1}\\\vdots &&\vdots &\vdots \\w_{1}^{n}&\ldots &w_{k}^{n}&x_{n}-p_{n}\end{pmatrix}}$
  
  avente come primi vettori colonna la base di $W$ ha rango pari a $k$. Quest'ultima condizione può essere espressa come l'annullamento dei determinanti di tutti i minori di ordine $k+1$. Ciascuno di questi determinanti fornisce una equazione lineare nelle variabili $x_{1},\ldots ,x_{n}$; queste equazioni lineari insieme formano un sistema lineare che descrive il sottospazio in forma cartesiana.
  
  ## Relazioni fra sottospazi
  
  Due sottospazi affini sono detti:
  
  * incidenti quando hanno intersezione non vuota,
  * paralleli quando una delle due giaciture è contenuta nell'altra,
  * sghembi quando l'intersezione è vuota e le due giaciture si intersecano solo nell'origine,
  * esiste un altro caso che si presenta solo in spazi affini di dimensione 4 o superiore, ovvero quando i due sottospazi hanno intersezione vuota, nessuna delle due giaciture è contenuta nell'altra ma queste si intersecano in un sottospazio più grande dell'origine.
  
  Per i sottospazi affini non vale la formula di Grassmann: questo è il prezzo da pagare per aver liberato i sottospazi dalla costrizione di passare per un punto privilegiato. La geometria proiettiva risolve questo problema (cioè recupera la formula di Grasmann) aggiungendo allo spazio affine dei "punti all'infinito".
  
  ### Esempi
  
  Le relazioni di incidenza e parallelismo possono essere determinate con l'ausilio dell'algebra lineare. Ad esempio, due piani in $\mathbb {R} ^{3}$ descritti in forma cartesiana
  
      $\pi :ax+by+cz+d=0,\,\!$
      $\pi ':a'x+b'y+c'z+d'=0.$
  
  sono paralleli precisamente quando la matrice dei coefficienti ha rango 1:
  
      $rg{\begin{vmatrix}a&b&c\\a'&b'&c'\end{vmatrix}}=1.$
  
  Altrimenti per il teorema di Rouché-Capelli i due piani si intersecano in una retta. Due piani nello spazio non possono quindi essere sghembi.
  
  Discorso analogo è valido per due iperpiani in $K^{n}$ (ad esempio, due rette nel piano $K^{2}$). Due rette nello spazio $K^{3}$ possono però essere sghembe.
  
  ### Formula di Grassmann
  
  La formula di Grassmann è valida in geometria affine soltanto se gli spazi affini si intersecano. Quindi se due spazi affini $S$ e $S'$ hanno intersezione non vuota vale la formula
  
      $\dim(L(S,S'))=\dim S+\dim S'-\dim S\cap S'\,\!$
  
  dove $L(S,S')$ è il sottospazio affine generato da $S$ e $S'$.
  
  