1. Nozioni preliminari. Strutture algebriche Flashcards
Definizione - Corrispondenza
Assegnati due insiemi non vuoti A e B, una corrispondenza tra A e B è un sottoinsieme R del prodotto cartesiano A × B.
Se A = B, una corrispondenza è detta RELAZIONE su A.
Definizione - Funzione
Una funzione (o applicazione) da un insieme A ad un insieme B è una legge che associa ogni elemento a appartenente ad A uno e un solo elemento b appartenente a B.
Definizione - Funzione ingettiva
Se associa ad elementi distinti di A, elementi distinti di B.
Definizione - Surgettiva
Se l’immagine di f coincide con il codominio B
Teorema - Condizione necessaria e sufficiente per cui una funzione è bigettiva
Una funzione f:A-›B è bigettiva se e solo se esiste una funzione g:B-›A tale che risulti g°f = applicazione identica in A e f°g = applicazione identica in B.
Questa è detta funzione inversa
Definizione - Relazione di equivalenza
Una relazione che gode di proprietà riflessiva, simemtrica e transitiva
Definizione - Partizione
Una famiglia di sottoinsiemi di A tale che:
1. Nessuno sia vuoto
2. Siano tutti disgiunti tra loro
3. L’unione di tutti sia A
Definizione - Classe di equivalenza
Sia R una relazione di equivalenza su A e a appartenente ad A.
Si definisce classe di equivalenza di a rispetto a R:
L’insieme di tutti gli elementi appartenenti ad A, tali che siano in relazione R con A.
Definizione - Relazione d’ordine
Relazione che gode della proprietà riflessiva, ANTIsimmetrica e transitiva.
Definizione - Operazione binaria interna
Ogni applicazione tale che w : S×S -› S
Definizione - Struttura algebrica
Insieme non vuoto dotato di una o più operazioni (interne o esterne).
Definizione - Gruppo
Una struttura algebrica dotata di:
1. Proprietà associativa
2. Elemento neutro (unico)
3. Elemento simmetrico (unico ad ogni elemento)
Definizione - Gruppo commutativo / abeliano
Un gruppo che soddisfa la proprietà commutativa.
Definizione - Gruppo delle permutazioni
L’insieme di tutte le applicazioni bigettive f:A-›A
Si indica con Sym(A).
Definizione - Campo
Un insieme non vuoto dotato di due operazioni binarie interne (+ e •) e tale che:
1.(K, +) e (K, •) siano dei gruppi abeliani
2. Esista la proprietà distributiva del prodotto rispetto alla somma