Professional Documents
Culture Documents
Relazioni ee funzioni
Relazioni funzioni
X, Y insiemi 3 X ⇥B Y = {(x, y) | x 2 X, y 2 Y }
BB D T T
prodotto
prodotto cartesiano
cartesiano
Nota X ⇥ Y 6= Y ⇥ X (coppie ordinate)
Nota
Nota:
relazione da X a Y
R ⇢ X ⇥ Y relazione
S ⇢ X 3 R(S) = {y 2 Y | 9 x 2 S con (x, y) 2 R} ⇢ Y
T ⇢ Y 3 R 1 (T ) = {x 2 X | 9 y 2 T con (x, y) 2 R} ⇢ X
R| = R \ (S ⇥ T ) ⇢ S ⇥ T restrizione
restrizione di R da S a T
Note
Note 1) R : X ! Y notazione diversa per R ⇢ X ⇥ Y
Note:
R
2) x R y , x ! y, R : x 7! y notazioni diverse per (x, y) 2 R
R relazione da X a Y
3 R B 1 = {(y, x) 2 Y ⇥ X | (x, y) 2 R}
BB D T T
relazione
relazione inversa
inversa di R (da Y a X)
R relazione da X a Y , S relazione da Y a Z
3 S aB R = {(x, z) 2 X ⇥ Z | 9 y 2 Y con (x, y) 2 R e (y, z) 2 S}
BB D T T
relazione composta di R e S (da X a Z)
relazione composta
f : X ! Y relazione da X a Y
def f
funzione () per ogni x 2 X esiste unico y 2 Y t.c. x ! y
funzione
(in tal caso si scrive anche f (x) = y)
Note 1) f : X ! Y , f : Y ! Z funzioni ) g a f : X ! Z funzione
Note
Note:
2) f : X ! Y funzione, f| : S ! T funzione , f (S) ⇢ T
Esempi P , R insiemi e A , I , P relazioni definiti sopra
Esempi
Esempi:
1) ⇢ : P ⇥ P ! R definita ((p, q), r) 2 ⇢ , {p, q} ⇢ r
non è una funzione, ma lo è ⇢| : (P ⇥ P P) ! R
2) : R ⇥ R ! P definita ((r, s), p) 2 , p 2 r \ s
non è una funzione, ma lo è | : I ! P
3) ⌧ : P ⇥ R ! R definita ((p, r), s) 2 ⌧ , p 2 s e r P s
non è una funzione, ma lo è ⌧| : (P ⇥ R A) ! R
f : X ! Y funzione da X a Y
def f
iniettiva () per ogni y 2 Y esiste al più un x 2 X t.c. x ! y
iniettiva
def f
suriettiva () per ogni y 2 Y esiste al meno un x 2 X t.c. x ! y
suriettiva
def f
biiettiva () per ogni y 2 Y esiste unico x 2 X t.c. x ! y
biiettiva
Note 1) f : X ! Y , g : Y ! Z funzioni
Note
Note:
f, g iniettive ) g a f iniettiva ) f iniettiva
f, g suriettive ) g a f suriettiva ) g suriettiva
2) f 1 funzione , f biiettiva , f iniettiva e suriettiva
Esempi P, R, A, I, ⇢, definiti sopra, (r1 , r2 ) 2 I, p0 = (r1 , r2 )
Esempi
Esempi:
⇢| : P ⇥ P P ! R funz. suriettiva non iniettiva
⇢| : r1 ⇥ r2 {(p0 , p0 )} ! R funz. iniettiva non suriettiva
⇢| : r1 ⇥ r2 {(p0 , p0 )} ! I(r1 ) [ I(r2 ) A(p0 ) funz. biiettiva
Relazioni su
Relazioni su un
un insieme
insieme
R ⇢ X n relazione
relazione n-aria
n-aria su X
Esempi 1) I e P definite sopra sono relazioni binarie su R
Esempi
Esempi:
2) T = {(p1 , p2 , p3 ) | p2 sta tra p1 e p2 } rel. ternaria su P
Geometria 1 Nozioni preliminari/3
R relazione binaria su X
def
riflessiva () X ⇢ R (cioè: x R x, 8 x 2 X)
riflessiva
def
antiriflessiva () R \ X = ? (cioè: x R y ) x 6= y)
antiriflessiva
def
simmetrica () R = R 1 (cioè: x R y ) y R x)
simmetrica
def
antisimmetrica () R \ R 1 = X (cioè: x R y ^ y R x ) x = y)
antisimmetrica
def
transitiva () R a R ⇢ R (cioè: x R y ^ y R z ) x R z)
transitiva
Esempi 1) I e P def. sopra sono antiriflessive e simmetriche
Esempi
Esempi:
2) Q = P a P è riflessiva, simmetrica e transitiva
Insiemi ordinati
Insiemi ordinati
R relazione binaria su X
def
ordine () R riflessiva, antisimmetrica e transitiva
ordine
def
ordine stretto
ordine stretto () R antiriflessiva, antisimmetrica e transitiva
def
ordine totale () R ordine t.c. X 2
ordine totale X ⇢R[R 1
(cioè: x 6= y ) x R y _ y R x)
Note 1) R e <R notaz. usuali per ordine e ordine stretto
Note
Note:
2) R ordine su X 2 S ordine stretto su X
(infatti: R 3 S = R X e S 3 R = S [ X)
insieme ordinato
(X, ) insieme ordinato (con relazione di ordine su X)
def
limitato inf.
S ⇢ X limitato inf. () 9 l 2 X t.c. l s, 8 s 2 S (l limite
limite inf.
inf.
inf.)
def
limitato
limitato sup.
sup. () 9 l 2 X t.c. s l, 8 s 2 S (l limite
limite sup.
sup.)
sup.
def
limitato () limitato inf. e sup.
limitato
3 min S = s 2 S t.c. s limite inf. per S (minimo
minimo
minimo)
minimo
max S = s 2 S t.c. s limite sup. per S (massimo
massimo
massimo)
massimo
estremo inf.
3 inf S = max{l 2 X t.c. l lim. inf. per S} (estremo
estremo inf.
inf.)
estremo sup.
sup S = min{l 2 X t.c. l lim. sup. per S} (estremo
estremo sup.
sup.)
Note 1) s = min S , s = inf S 2 S , s = max S , s = sup S 2 S
Note
Note:
2) min S , max S , inf S , sup S sono unici (se esistono)
3) ordine totale, S 6= ? finito ) min S e max S esistono
(per induzione su |S| = cardinalità di S)
Geometria 1 Nozioni preliminari/4
Esempi 1) (N, ) totalm. ordinato, limitato inf. ma non sup.
Esempi
Esempi:
? 6= S ⇢ N ) 9 min S (2 principio di induzione)
2) (Z, ) totalm. ordinato, illimitato inf. e sup.
? 6= S ⇢ Z limitato inf. (sup.) ) esiste min S (max S)
3) (Q, ) totalm. ordinato, illimitato inf. e sup.
S = {q 2 Q | q > 0} 3 inf S = 0 2/ S (@ min S)
p
S = {q 2 Q | q > 2} 3 non esiste inf S
4) (R, ) totalm. ordinato, illimitato inf. e sup.
? 6= S ⇢ R limitato inf. (sup.) ) esiste inf S (sup S)
5) (P (X), ⇢) ordinato non totalm., limitato inf. e sup.
? 6= S ⇢ P (X) ) inf S = \Y 2S Y , sup S = [Y 2S Y
(X, ) insieme totalmente ordinato
def
denso () 8 x1 , x2 2 X, x1 < x2 ) 9 x 2 X t.c. x1 < x < x2
denso
def
completo () 8 ? 6= S ⇢ X limitato inf. (sup.) 9 inf S (sup S)
completo
R relazione binaria su X
relazione di
3 ⇠R relazione di equivalenza
equivalenza generata
generata da R
def
== più piccola relaz. di equiv. su X contenente R
== intersez. di tutte le relaz. di equiv. su X contenenti R
Nota x ⇠R x0 , 9 x1 , . . . , xn 2 X con x1 = x , xn = x0 , n 1
Nota
Nota:
t.c. xi R xi+1 _ xi+1 R xi , 8 i = 1, . . . , n 1
Esempio P, Q relaz. definite sopra ) Q = ⇠P
Esempio
Esempio:
R = ⇠R relazione di equivalenza su X
classe di
3 [x]R = {y 2 X | x ⇠R y} classe di equivalenza
equivalenza di x 2 X
3 X/R = {[x]R | x 2 X 0 } insieme quoziente (X 0 = ins.
insieme quoziente ins. di
di rappr.
rappr.
rappr.)
Note 1) le classi di equiv. formano una partizione di X
Note
Note:
([x2X 0 [x]R = [x2X [x]R = X in quanto x 2 [x]R 8 x 2 X,
x⇠R y , [x]R = [y]R , [x]R \ [y]R 6= ?
e quindi x6⇠R y , [x]R 6= [y]R , [x]R \ [y]R = ?)
2) ⇡R : X ! X/R proiezione
proiezione canonica
canonica def. ⇡R (x) = [x]R
3) R coincide con la relaz. di equiv. indotta da ⇡R
(infatti: [x]R 2 X/R 3 ⇡R1 ([xR ]) = [x]R ⇢ X)
⇡
4) f : X ! Y funzione 3 X ! X/ ⇠f $ f (X) ⇢ Y
Esempi 1)
Esempi
Esempi: R, Q def. come sopra 3 R/Q = {direzioni del piano}
def
2) Zn == Z/⌘n = {[0]n , . . . , [n 1]n } classi
classi di
di resto
resto mod n
3) Z $ (N ⇥ N)/ ⇠ con (a, b) ⇠ (a0 , b0 ) , a + b0 = a0 + b
3) Q $ (Z ⇥ N)/ ⇠ con (a, b) ⇠ (a0 , b0 ) , a b0 = a0 b
Operazioni
Operazioni su
su un
un insieme
insieme
X n ! X funz. (x1 , . . . , xn ) 7! x1 · . . . · xn operaz.
operaz. n-aria
n-aria su X
Esempi 1) operazioni su P = {punti del piano}
Esempi
Esempi:
(p1 , p2 ) 7! p1 ? p2 = punto medio(p1 , p2 ) oper. binaria
(p1 , p2 , p3 ) 7! p1 ? p2 ? p3 = baric.(p1 , p2 , p3 ) op. ternaria
2) a operaz. binaria su Rel X = {R : X ! X relazione} ,
Fun X = {f : X ! X funz.} e ⌃X = {f : X ! X biiett.}
Geometria 1 Nozioni preliminari/6
H ⇢ G sottogruppo, x 2 G
def
3 x1 ⇠H x2 () x1 · x2 1 2 H relaz. di equiv. (congruenza
congruenza
congruenza mod H)
def
3 [x]H = H · x == {h · x | h 2 H} laterale
laterale (destro)
(destro) di H in G
sottogruppo normale
H ⇢ G sottogruppo normale
def def
() H · x = x · H == {x · h | h 2 H} per ogni x 2 G
() H = x · H · x 1 per ogni x 2 G (H invariante per coniugio)
3 (H · x1 ) · (H · x2 ) = H · (x1 · x2 ) per ogni x1 , x2 2 G
3 G/H = ({H · x | x 2 G}, · ) gruppo quoziente
' : G ! H omomorfismo
def
immagine di ')
3 Im ' == '(G) ⇢ H sottogruppo (immagine
immagine
def
Ker ' == ' 1 (eH ) ⇢ G sottogruppo normale (nucleo
nucleo
nucleo di ')
Geometria 1 Nozioni preliminari/9
⇡
Note 1) ' : G ! H omomorfismo 3 G ! G/ Ker ' 5 Im ' ⇢ H
Note
Note:
2) ' : G ! H omomorfismo iniettivo , ker ' = {eG }
('(x) = y ) ' 1 (y) = ker ' · x , 8 x 2 G)
Gruppi
Gruppi di
di trasformazioni
trasformazioni
' : G ⇥ X ! X azione
azione del gruppo G sull’insieme X
def
() 1) '(eG , x) = x , 8 x 2 X
2) '(g1 · g2 , x) = '(g2 , '(g1 , x)) , 8 g1 , g2 2 G 8 x 2 X
() : G ! ⌃X def. (g)(x) = 'g (x) = '(g, x) omomorfismo
' : G ⇥ X ! X azione di G su X
def
e↵ettiva () : G ! ⌃X iniettiva () G 5 (G) = T H H ⇢ ⌃X )
e↵ettiva
H ∑∂
gruppo
gruppo di trasformazioni 0 0
di trasformazioni
def
libera () 'g (x) 6= x , 8 g 2 G {eG } 8 x 2 X () e↵ettiva)
libera
def
transitiva () 8 x1 , x2 2 X 9 g 2 G tale che 'g (x1 ) = x2
transitiva
def
semplicemente transitiva
semplicemente transitiva () libera e transitiva
' : G ⇥ X ! X azione di G su X
def
3 x1 ⇠ x ( ) 9 g 2 G tale che 'g (x1 ) = x2
<ŒÕ< < G 2
D T T relazione di equivalenza indotta dall’azione
def
3 Orb' (x) == [x]⇠G = {'g (x) | g 2 G} '-orbita orbita
orbita di x 2 X
def
3 X/G == X/ ⇠G = {Orb' (x) | x 2 X} insieme insieme delle
delle orbite
orbite
Campo
Campo dei
dei numeri
numeri reali
reali
(qn )n 1 ⇢ Q successione
successione di di Cauchy
Cauchy
def
() 8 n 1 9 m 1 t.c. i, j > m ) |xi xj | < 1/n
(qn )n 1 ⇠ (qn0 )n 1 succ. di Cauchy equivalenti equivalenti
def
() (q1 , q10 , q2 , q20 , . . . , qn , qn0 , . . .) succ. di Cauchy
r = [(qn )n 1 ] , r0 = [(qn0 )n 1 ] 2 R
3 r + r0 = [(qn + qn0 )n 1 ] 2 R
r · r0 = [(qn · qn0 )n 1 ] 2 R
r r0 se qn qn0 per ogni n 1
z = x+yi 2 C
3 Re z = x 2 R parte
parte reale
reale di z
Im z = y 2 R parte
parte immaginaria
immaginaria di z
3 z = x y i 2 Cpconiugato
coniugato di z
p
3 |z| = z · z = x2 + y 2 2 R modulo
modulo di z
Note 1) z = z1 + z2 ) z = z1 + z2 , 8 z1 , z2 2 C
Note
Note:
z = z1 · z2 ) z = z1 · z2 , 8 z1 , z2 2 C
z = z , z = Re z , z 2 R
2) |z| 0 8 z 2 C e |z| = 0 , z = 0
z = z1 + z2 ) |z| |z1 | + |z2 | , 8 z1 , z2 2 C
z = z1 · z2 ) |z| = |z1 | · |z2 | , 8 z1 , z2 2 C
|z| = ±z , z 2 R
Nota Cn = ({e2ki⇡/n | k = 0, . . . , n
Nota
Nota: 1}, · ) 5 (Zn , +)
Teorema
Teorema fondamentale
fondamentale dell’algebra
dell’algebra
C = (C, + , · ) è un campo algebricamente
algebricamente chiuso
chiuso,
chiuso cioè:
p(z) = an z n + . . . + a1 z + a0 2 C[z] polinomio di grado n 1
) l’equaz. algebrica p(z) = 0 ammette una soluzione in C
Corol p(z) = an z n + . . . + a1 z + a0 2 C[z] polinomio di grado n 1
Corol
Corol.
) 9 z1 , . . . , zk 2 C t.c. p(z) = an · (z z1 )µ1 · . . . · (z zk )µk
(z = zi soluz. di molteplicità
molteplicità µi dell’equaz. alg. p(z) = 0)
Dim
Dim.
Dim per induzione su n 1 a partire dal caso banale n = 1
(p(zi ) = 0 ) z zi divide p(z) (teorema del resto)
) p(z) = (z zi )q(z) con q(z) polimonio di grado n 1)
Note 1) R non è algebric. chiuso (x2 + 1 = 0 non ha sol. in R),
Note
Note:
C è il più piccolo campo algebric. chiuso contenente R
2) p(x) 2 R[x], z 2 C tale che p(z) = 0 ) p(z) = 0
grado di p(x) dispari ) p(x) = 0 ha una soluz. reale