Spazio affine: differenze tra le versioni
aggiunto riferimento bibliografico; rimmosso avviso {{F|matematica|febbraio 2012}} |
|||
Riga 1: | Riga 1: | ||
{{F|matematica|febbraio 2012}} |
|||
Lo '''spazio affine''' è una struttura [[matematica]] strettamente collegata a quella di [[spazio vettoriale]]. Intuitivamente, uno spazio affine si ottiene da uno spazio vettoriale facendo in modo che tra i suoi punti non ve ne sia uno, l'origine, "centrale" e "privilegiato" rispetto agli altri. |
Lo '''spazio affine''' è una struttura [[matematica]] strettamente collegata a quella di [[spazio vettoriale]]. Intuitivamente, uno spazio affine si ottiene da uno spazio vettoriale facendo in modo che tra i suoi punti non ve ne sia uno, l'origine, "centrale" e "privilegiato" rispetto agli altri. |
||
Riga 5: | Riga 4: | ||
== Definizione == |
== Definizione == |
||
La nozione di spazio affine può essere definita in molti modi equivalenti. Una possibile definizione è la seguente. |
La nozione di spazio affine può essere definita in molti modi equivalenti. Una possibile definizione è la seguente.<ref>{{Cita libro | autore=Edoardo Sernesi| titolo=Geometria 1 | editore=Bollati Boringhieri | anno=1989 | pagine='''p. 93'''}}</ref> |
||
<div style="float:center; width:85%; padding:15px; background: white; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> |
<div style="float:center; width:85%; padding:15px; background: white; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> |
||
Riga 21: | Riga 20: | ||
=== Definizione alternativa === |
=== Definizione alternativa === |
||
La definizione seguente è equivalente alla precedente. |
La definizione seguente è equivalente alla precedente.<ref>{{Cita libro | autore=Edoardo Sernesi| titolo=Geometria 1 | editore=Bollati Boringhieri | anno=1989 | pagine='''p. 102'''}}</ref> |
||
<div style="float:center; width:85%; padding:15px; background: white; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> |
<div style="float:center; width:85%; padding:15px; background: white; border: 1px solid blue; margin-left:8px; margin-right:8px;margin-bottom:15px; text-align:left"> |
||
Uno spazio affine <math>A</math> è un insieme dotato di una funzione |
Uno spazio affine <math>A</math> è un insieme dotato di una funzione |
||
Riga 74: | Riga 74: | ||
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 dei "punti all'infinito". |
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 dei "punti all'infinito". |
||
== Note == |
|||
<references /> |
|||
== Bibliografia == |
|||
*{{Cita libro | autore=Edoardo Sernesi| titolo=Geometria 1 | editore=Bollati Boringhieri | anno=1989 | isbn=978-88-339-5447-9}} |
|||
== Voci correlate == |
== Voci correlate == |
Versione delle 15:28, 28 ott 2012
Lo spazio affine è una struttura matematica strettamente collegata a quella di spazio vettoriale. Intuitivamente, uno spazio affine si ottiene da uno spazio vettoriale facendo in modo che tra i suoi punti non ve ne sia uno, l'origine, "centrale" e "privilegiato" rispetto agli altri.
Lo spazio affine tridimensionale è lo strumento naturale per modellizzare lo spazio della fisica classica, le cui leggi sono infatti indipendenti dalla scelta di un sistema di riferimento. Come gli spazi vettoriali, gli spazi affini vengono studiati con gli strumenti dell'algebra lineare.
Definizione
La nozione di spazio affine può essere definita in molti modi equivalenti. Una possibile definizione è la seguente.[1]
Uno spazio affine è un insieme di elementi chiamati punti affini (o semplicemente punti) dotato di una funzione
a valori in uno spazio vettoriale su un campo che soddisfi i requisiti seguenti:
- per ogni punto fissato, l'applicazione che associa a il vettore è una biiezione da in ;
- per ogni terna di punti , , vale la relazione
L'immagine è chiamata vettore applicato da in ed è indicata generalmente con il simbolo seguente
o, più brevemente, con .
Definizione alternativa
La definizione seguente è equivalente alla precedente.[2]
Uno spazio affine è un insieme dotato di una funzione
dove è uno spazio vettoriale su un campo , generalmente indicata con il segno + nel modo seguente
tale che
- per ogni punto P fissato, l'applicazione che associa al vettore il punto è una biiezione da in ;
- per ogni punto in e ogni coppia di vettori in vale la relazione
Le due definizioni sono collegate dalla relazione
Due elementi di questa relazione determinano il terzo. Ad esempio, Q è il punto raggiunto applicando il vettore a P, mentre è l'unico vettore che "collega" i due punti P e Q.
Esempi
Spazio vettoriale
Ogni spazio vettoriale è uno spazio affine, avente come spazio vettoriale associato stesso. La mappa è definita come
mentre la funzione è la semplice somma fra vettori in .
Riferimento affine
Come per gli spazi vettoriali dove è possibile avere una base dello spazio, in uno spazio affine si può considerare un riferimento affine, ovvero un insieme di punti dello spazio affinemente indipendenti tali che la loro combinazione affine generi tutto lo spazio, ovvero .
Sottospazi affini
Definizione
Un sottospazio affine di è un sottoinsieme del tipo
dove è un punto fissato di e è un sottospazio vettoriale di .
Giacitura
Lo stesso sottospazio può essere definito in varie forme diverse come . In tutte queste rappresentazioni, può variare (può essere un punto qualsiasi di , a conferma che in geometria affine non ci sono "punti privilegiati"), ma risulta essere sempre lo stesso: questo sottospazio di è chiamato giacitura di . La giacitura è definita intrinsecamente come
La dimensione di è definita come la dimensione di .
Sottospazio generato
Il sottospazio affine generato da alcuni punti in è il più piccolo sottospazio che li contiene.
Sottospazi affini in spazi vettoriali
Per quanto detto sopra, uno spazio vettoriale è anche affine, e quindi abbiamo definito anche la nozione di sottospazio affine di : in questo caso, un sottospazio affine è il risultato di una traslazione di un sottospazio vettoriale lungo il vettore .
Relazioni
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 dei "punti all'infinito".
Note
Bibliografia
- Edoardo Sernesi, Geometria 1, Bollati Boringhieri, 1989, ISBN 978-88-339-5447-9.