Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica...
-
Upload
teodosio-pala -
Category
Documents
-
view
216 -
download
0
Transcript of Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica...
![Page 1: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/1.jpg)
Seminario di Matematica
Prof. Vigna
29 Maggio 2008
Riccardo Cristoferi
Corso di Laurea in Matematica
Università di Trento
![Page 2: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/2.jpg)
Notazione e terminologia
Una per tutte – Seminario di Matematica –Cristoferi Riccardo
Uno spazio affine è una terna ordinata ),,( XX
X X
dove
è un insieme, è uno spazio vettoriale e
soddisfa a:
XXX :
)()(,,)1 QRRPQPXRQP
vPQctXQXvXP ..!,)2
Se è finitamente generato, si poneX )dim()dim( XX
![Page 3: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/3.jpg)
Notazione e terminologia
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dati ),,( XX ),,( YY spazi affini, sia .XO
Sia YXf : una funzione insiemistica.
,
Definiamo
XXO :OPP
f è detta mappa affine se la funzione che fa commutare il
diagramma
Of
YX O )(Of
YX
è lineare.Of
f
![Page 4: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/4.jpg)
Notazione e terminologia
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Uno spazio affine euclideo è una quaterna ordinata ),,,,( XX
),,( XX
.X
dove è uno spazio affine euclideo, e
è un prodotto scalare su
,
In tale spazio possiamo definire la distanza fra due punti come
QPQPQPQPdXQP ,||:),(,
![Page 5: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/5.jpg)
ovvero se rispetta tutte le distanze.
Notazione e terminologia
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Una mappa affine fra due spazi affini euclidei
è detta isometria se la sua giacitura è ortogonale:
f YX ,
f
wvwfvfXwv ,)(),(,
![Page 6: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/6.jpg)
Il Teorema
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Sia ),,,,( XX .2)dim( X
XXf :
uno spazio affine euclideo, e sia
Sia inoltre una funzione (insiemistica!) t.c.
1))(),((1),(, QfPfdQPdXQP
Allora f è un’isometria.
:Teorema
![Page 7: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/7.jpg)
Dimostrazione
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Siano ctXCBA .,,
1),(),(),( CAdCBdBAd
allora
:1Lemma
CBA ,, non sono allineati
e quindi formano un riferimento affine di .X
![Page 8: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/8.jpg)
Dimostrazione
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Costruiamo una mappa affine ..: ctXX
AAf ))((
BBf ))((
CCf ))((
:2Lemma è un’isometria.
allora
![Page 9: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/9.jpg)
Idea dimostrazione
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
C
A B
C
A Bf
f(B)f(A)
f(C)
Se dimostro che
XId
allora ho vinto.
![Page 10: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/10.jpg)
Idea dimostrazione
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
B
C
A
Come dimostro che è l’identità?
2. fissa tutti i punti dell’uni - reticolo
3. fissa tutte le rette del reticolo
4. fissa tutti i punti
1. rispetta la distanza
3
![Page 11: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/11.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - rispetta la distanza 3
:3Lemma
XQP , 3),( QPd
XGE , ),,(),,,( GEQGEP
Siano t.c.
Allora esistono t.c.
sono unitriangoli.
P
Q
E G23
![Page 12: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/12.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - rispetta la distanza 3
:6Lemma
Siano XQP , t.c. .1),( QPdAllora
),,(),,,(..,! SRQSRPctXSR
sono unitriangoli. Inoltre 3),( SRd
P
Q
R S
![Page 13: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/13.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - rispetta la distanza 3
Allora è impossibile costruire un unitriangolo i cui vertici stanno
sulla circonferenza di centro e raggio
:5Lemma
Sia .XP
P 1
![Page 14: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/14.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - rispetta la distanza 3
:4Lemma
Siano 3),(.., QPdctXQP
Allora
3),(1),(.. QEdPEdctE
P
Q
E
![Page 15: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/15.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa tutti i punti del reticolo
BA
C
![Page 16: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/16.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
:eDefinizion
Sia ),( G un sottogruppo di .Gè detto denso se in ogni intervallo di c’è un elementodi .G
Noi considereremo il sottogruppo )],3[( ZZ dove
},3{]3[ ZbaconbaZZ
![Page 17: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/17.jpg)
naturaleka ,0,
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
:11Lemma
)],3[( ZZ è denso in
:12Lemma
anmactknm 3.., naturali
![Page 18: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/18.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
:10Lemma
Sia distanza rispettata da , n un naturale positivo.
Se
nQPdXQP ),(,
allora
nQPd ))(),((
![Page 19: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/19.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
:4eroposizionP
Sia X P
Consideriamo 0X proiezione ortogonale di )(X su P.
Allora .0 XX
![Page 20: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/20.jpg)
:.Dim
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
xvOX
xnm 30
vnmON )3(
mvOM
1 nxm
![Page 21: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/21.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
:13Lemma
Se vnmOX )3( con O
punto del reticolo, allora fissa . X
![Page 22: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/22.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa le rette del reticolo
2 xxvOX
:.Dim
vXXdOQ 2))(,(4
2))(,(432 XXdnmx
vnmOP )3(
![Page 23: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/23.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa tutti i punti
P
![Page 24: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/24.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Dimostrazione - fissa tutti i punti
P
r
s
L M
N
![Page 25: Seminario di Matematica Prof. Vigna 29 Maggio 2008 Riccardo Cristoferi Corso di Laurea in Matematica Università di Trento.](https://reader036.fdocument.pub/reader036/viewer/2022062512/5542eb58497959361e8c3fc3/html5/thumbnails/25.jpg)
Una per tutte – Seminario di Matematica – Cristoferi Riccardo
Conclusione