Reticoli Flashcards
Definizione Reticoli
Un reticolo è una struttura dove ci sono due sottoinsiemi che rispettano le proprietà:
- associativa
- commutativa
- assorbimento
- idempotenza
- distributiva
Definizione Semireticolo
Un semireticolo è una struttura algebrica definibile come semigruppo commutativo idempotente.
Insieme:
- riflessivo
- antisimmetrico
- transitivo
Definizione Reticolo Complemento
Un elemento b di un reticolo A si dice complemento di a ∈ A se a ∪ b = T (top) e a ⟂ (bottom)
Teorema = in un reticolo distributivo, ogni elemento ha al più un complemento
Esistono reticoli non distributivi a complemento unico (DILWHORT):
- non abbiamo un esempio
- esistono
- sono infiniti
Lemma 1 Reticolo Distributivo
In un reticolo distributivo, ∀ a,b,c se
a ∪ b = a ∪ c a ∩ b = a ∩ c allora b = c
Definizione Omomorfismo
E’ un’applicazione tra due strutture algebriche dello stesso tipo che conserva le operazioni in esse definite
Un omomorfismo di reticoli è un omomorfismo di algebre di boole