Indipendenza affine

In geometria, l'indipendenza affine è una relazione fra punti di uno spazio affine simile all'indipendenza lineare.

Definizione

Siano $P_0,\dots ,P_k$ dei punti in uno spazio affine di dimensione $n$. Questi sono affinemente indipendenti se il più piccolo sottospazio affine che li contiene ha dimensione $k$.

Esempi

Due punti sono affinemente indipendenti se e solo se sono distinti.

Tre punti sono affinemente indipendenti se e solo se non sono contenuti in una retta affine, cioè se non sono collineari.

Quattro punti (ad esempio nello spazio tridimensionale) sono affinemente indipendenti se e solo se non sono contenuti in un piano affine.

Simplesso

Punti affinemente indipendenti $P_0,\dots ,P_k$ in uno spazio affine reale sono i vertici di un simplesso, definito in modo equivalente come:

• l'inviluppo convesso dei punti $P_0,\dots ,P_k$;
• l'insieme dei punti aventi coordinate affini $x_0{P}_0+\dots x_k{P}_k$ con $x_i\ge 0$.

Proprietà

Sottoinsiemi

Qualsiasi sottoinsieme di un insieme di punti affinemente indipendenti è anch'esso un insieme di punti affinemente indipendenti. Ad esempio, se quattro punti non stanno in un piano affine, tre qualsiasi di questi non sono collineari.

Relazione con l'indipendenza lineare

I punti $P_0,\dots ,P_k$ di uno spazio affine sono affinemente indipendenti se e solo se i vettori

$\overrightarrow{P_0{P}_1},\dots ,\overrightarrow{P_0{P}_k}$

sono linearmente indipendenti. Questi vettori generano la giacitura del sottospazio affine generato dai punti. Tutto ciò rimane invariato se si permutano i vettori $P_0,\dots ,P_k$.

Bibliografia

• Edoardo Sernesi, Geometria 1, Bollati Boringhieri, Torino, 1989, ISBN 978-88-339-5447-9

Voci correlate

• Indipendenza lineare
• Indipendenza algebrica
• Coordinate baricentriche