title: Teorema delle intersezioni dimensionali
text: # Teorema delle intersezioni dimensionali
  
  In matematica, il teorema delle intersezioni dimensionali determina la dimensione dello spazio affine risultante dall'intersezione di due spazi di dimensione nota. Si applica a spazi vettoriali di qualsiasi dimensione, comprendendo anche gli spazi di dimensione inferiore alla terza, convenendo che il piano sia uno spazio di dimensione $2$, la retta sia uno spazio di dimensione $1$, il punto sia uno spazio di dimensione $0$.
  
  Il teorema può risultare utile nella geometria oltre la terza dimensione, laddove le intersezioni risultano meno intuitive rispetto ai più consueti casi del piano e dello spazio tridimensionale.
  
  ## Enunciato
  
  In uno spazio affine di dimensione $n$, due spazi di dimensione $p$ e $q$, non mutuamente paralleli e non entrambi appartenenti ad uno stesso spazio di dimensione inferiore ad $n$, si intersecano in uno spazio di dimensione:
  
  $m=p+q-n\qquad {\text{ con }}\qquad 0\leq p\leq n\qquad 0\leq q\leq n.$
  
  Dalle condizioni imposte risulterà sempre $m\leq n$.
  
  Un valore negativo di $m$ indica che i due spazi di dimensione $p$ e $q$ non si intersecano nello spazio di dimensione $n$. In tal caso il valore assoluto di $m$ indica il numero di dimensioni da sottrarre allo spazio di dimensione $n$ per ottenerne uno in cui i due spazi di dimensione $p$ e $q$ si intersechino in un punto.
  
  ## Esempi
  
  Ovviamente per la consueta geometria bidimensionale e tridimensionale il teorema restituisce le note regole di intersezione:
  
  * In un piano (dimensione $2$), considerando due rette (dimensione $1$), risulta:
  
      $n=2\qquad p=1\qquad q=1\qquad m=p+q-n=0,$
  
  quindi le due rette si intersecano in un punto (dimensione $0$).
  
  * In uno spazio di dimensione $3$, considerando due piani (dimensione $2$), risulta:
  
      $n=3\qquad p=2\qquad q=2\qquad m=p+q-n=1,$
  
  quindi i due piani si intersecano in una retta (dimensione $1$).
  
  * In uno spazio di dimensione $3$, considerando una retta ed un piano, risulta:
  
      $n=3\qquad p=1\qquad q=2\qquad m=p+q-n=0,$
  
  quindi la retta ed il piano si intersecano in punto (dimensione $0$).
  
  * In uno spazio di dimensione $3$, considerando due rette, risulta:
  
      $n=3\qquad p=1\qquad q=1\qquad m=p+q-n=-1,$
  
  quindi, essendo il valore di $m$ negativo, le due rette non si intersecano. Nel caso in cui le due rette si intersecassero in un punto allora sarebbero complanari e ci sarebbe uno spazio di dimensione inferiore a $3$ che li contenga entrambi. Il valore di $m=-1$ indica, come esposto nell'enunciato, che bisogna sottrarre una dimensione allo spazio di dimensione $3$ per trovarne uno in cui le due rette si intersechino necessariamente in un punto.
  
  * In uno spazio di dimensione $4$, considerando una retta ed un piano, risulta:
  
      $n=4\qquad p=1\qquad q=2\qquad m=p+q-n=-1,$
  
  quindi, risultando un valore negativo di $m$, una retta ed un piano non si intersecano in uno spazio di dimensione $4$, a meno che non appartengano entrambi ad uno stesso spazio di dimensione $3$.
  
  * In uno spazio di dimensione $4$, considerando una retta ed uno spazio di dimensione $3$, risulta:
  
      $n=4\qquad p=1\qquad q=3\qquad m=p+q-n=0,$
  
  quindi la retta e lo spazio di dimensione $3$ si intersecano in punto (dimensione $0$).
  
  ## Dimostrazione
  
  La dimostrazione del teorema può essere desunta direttamente da considerazioni analitiche.
  
  In uno spazio affine di dimensione $n$, con assi cartesiani $X_{1},X_{2},\cdots ,X_{n}$, una equazione lineare di primo grado del tipo
  
      $a_{1}x_{1}+a_{2}x_{2}+\cdots +a_{n}x_{n}+a_{n+1}=0,$
  
  rappresenta uno spazio di dimensione $n-1$.
  
  Ad esempio, in uno spazio tridimensionale $xyz$, una equazione del tipo $ax+by+cz+d=0$ rappresenta un piano bidimensionale.
  
  Allo stesso modo, in uno spazio bidimensionale $xy$, una equazione del tipo $ax+by+c=0$ rappresenta una retta monodimensionale.
  
  Ogni ulteriore equazione dello stesso tipo, aggiunta alla prima, riduce di uno il numero di dimensioni dell'ente geometrico rappresentato dal sistema dell'insieme delle equazioni.
  
  In altre parole, in uno spazio cartesiano euclideo di dimensione $n$, un sistema di $g$ equazioni del tipo
  
      ${\begin{cases}a_{11}x_{1}+a_{12}x_{1}+\cdots +a_{1n}x_{n}+a_{1(n+1)}=0\\a_{21}x_{1}+a_{22}x_{1}+\cdots +a_{2n}x_{n}+a_{2(n+1)}=0\\\cdots \qquad \cdots \qquad \cdots \qquad \cdots \qquad \cdots \qquad \cdots \\a_{g1}x_{1}+a_{g2}x_{1}+\cdots +a_{gn}x_{n}+a_{g(n+1)}=0\end{cases}}$
  
  rappresenta uno spazio di dimensione $n-g$
  
  In uno spazio di dimensione $n$, dunque, per due spazi di dimensione $p$ e $q$ sarà:
  
      $g_{p}=n-p$
      $g_{q}=n-q$
  
  Intersecare due spazi significa considerare il sistema delle equazioni che li individuano. Non accade che ci siano equazioni linearmente dipendenti perché si sta supponendo che i due spazi non siano contenuti in uno spazio di dimensione minore di $n$. Per lo spazio di dimensione $m$ risultante dall'intersezione di due spazi dimensione $p$ e $q$ rispettivamente, sarà dunque:
  
      $g_{m}=g_{p}+g_{q}=(n-p)+(n-q)=2n-p-q,$
  
  e quindi:
  
      $m=n-g_{m}=n-(2n-p-q)=p+q-n.$
  
  che dimostra il teorema.
  
  ## Teorema inverso
  
  Invertendo il ragionamento, dalla formula del teorema delle intersezioni dimensionali si può desumere che:
  
  In uno spazio di dimensione $n$, considerati due spazi di dimensione $p$ e $q$ che si intersecano secondo uno spazio di dimensione $m$, se risulta:
  
      $n-(p+q-m)=s>0,$
  
  allora i due spazi considerati appartengono necessariamente ad uno stesso spazio di dimensione $n-s$.
  
  Ad esempio, in uno spazio di dimensione $3$, considerate due rette (dimensione $1$), se esse si intersecano in un punto (dimensione $0$), risulterà:
  
      $n=3\qquad p=1\qquad q=1\qquad m=0\qquad s=n-(p+q-m)=1.$
  
  Le rette devono dunque appartenere necessariamente ad uno stesso spazio di dimensione $n-s=2$, cioè ad uno stesso piano.
  
  Se le due rette (dimensione $1$) si intersecassero invece secondo una retta (dimensione $1$), allora sarebbe:
  
      $n=3\qquad p=1\qquad q=1\qquad m=1\qquad s=n-(p+q-m)=2,$
  
  e di conseguenza le due rette dovrebbero necessariamente appartenere ad uno stesso spazio di dimensione $n-s=1$, cioè ad una stessa retta, come è evidente che sia per due rette che si sovrappongono.
  
  ## Intersezioni non intuitive
  
  Quando lo si applichi a spazi di dimensione superiore alla terza, il teorema restituisce risultati non immediatamente intuibili per chi è abituato al nostro consueto mondo tridimensionale. Vediamo due esempi per uno spazio 4D:
  
  Primo esempio:
  
  In uno spazio 3D una retta 1D interseca un cubo 3D in un segmento 1D, infatti: $n=3\qquad p=1\qquad q=3\qquad m=p+q-n=1$
  
  Il risultato appare evidente. Però se ci spostiamo in uno spazio 4D una retta 1D interseca un cubo 3D in un punto 0D, infatti: $n=4\qquad p=1\qquad q=3\qquad m=p+q-n=0$
  
  Il fatto che una retta possa attraversare un cubo 3D intersecandolo solo in un punto non risulta per niente intuitivo. Per provare a comprenderlo può utilizzarsi un'analogia: per un essere 2D, che viva su un piano, risulterebbe altrettanto incomprensibile come una retta possa attraversare un quadrato intersecandolo solo in un punto, cosa del tutto evidente invece per un essere 3D in uno spazio tridimensionale.
  
  Due oggetti della stessa dimensione dello spazio in cui sono immersi, si intersecano sempre in un oggetto della loro stessa dimensione. Risulterà infatti:
  
  $m=p+q-n=n+n-n=n$
  
  Così nel nostro spazio 3D due oggetti 3D si intersecano in un oggetto tridimensionale e su un piano l'intersezione di due figure piane è ancora una figura piana.
  
  In uno spazio 4D due oggetti tridimensionali si intersecano in una figura 2D: $n=4\qquad p=3\qquad q=3\qquad m=p+q-n=2$
  
  Ancora una volta tale circostanza può risultare poco intuitiva. Ricorrendo alla stessa analogia precedente, si pensi a come per un essere 2D, che viva su un piano, risulti incomprensibile come due figure piane possano intersecarsi in un segmento, fatto del tutto naturale nel nostro spazio 3D.
  
  