Estratto del documento

Relazioni

A ⇒ B è falsa solamente se A vera e B falsa

Se fa freddo mi ammalo

Def

Il prodotto cartesiano degli insiemi A1, ..., An

  • A1 x A2 ... x An = { (a1, ..., an) : ai ∈ Ai, i ∈ [1,n] }

Es A = {1, 1, 2} B = {2, 0, □}

  • A x B = { (1,0), (1,□), (2,0), (2,□) }

Quindi (0,1) ∉ A x B

Oss

La coppia ordinata (a,b) ∈ A, b ∈ B la definisco { a, {a,b} }

Def

Una relazione su A1, ... Am è un sottoinsieme:

  • R ⊆ A1 x ... x Am

R si dice una relazione n-aria su A1, ... Am.

Casi che ci interessano:

  1. Relazione 1-aria: R ⊆ A1

Es A = ℤ R = {x ∈ ℤ : x pari} ⊆ ℤ

  1. Relazioni binarie: R ⊆ A1 x A2

Es A1 = {a, b, c, d} A2 = {casa, moto, macchina, cell}

  • R = {(a, casa), (a, moto), (b, moto), (c, casa), (c, macchina), (d, cell)}
  • R = "La persona x ∈ A1 possiede y ∈ A2"

Oss: A volte scriviamo (a, casa) ∈ R come a R casa

  1. R, S ⊆ A x B
  2. R ⊆ S se ∀ (a, b) ∈ R => (a, b) ∈ S
  3. R = S
  4. R ⊆ S e S ⊆ R

Relazioni

A ⇒ B è falsa solamente se A vera e B falsaSe fa freddo mi ammalo

Def

Il prodotto cartesiano degli insiemi A₁, ..., Aₙ,A₁ x A₂ x ... x Aₙ = { (a₁, ..., aₙ) : a₁ ∈ A₁, a₂ ∈ A₂, ..., aₙ ∈ Aₙ }

Es A={1, 2} B={0, □} A x B = { (1, 0), (1, □), (2, 0), (2, □) }Quindi (0, 1) ∉ A x B

Oss: La coppia ordinata (a, b) ∈ A, b ∈ B la definisco { a, { a, b } }

Def

Una relazione su A₁, ..., Aₙ è un sottoinsieme:R ⊆ A₁ x ... x Aₙ

R si dice una relazione n-aria su A₁, ..., Aₙ.Casi che ci interessano:

  • Relazione 1-aria: R ⊆ A₁

Es A₁ = ℤ R= { x ∈ ℤ : x pari } ⊆ ℤ

  • Relazioni binarie: R ⊆ A₁ x A₂

Es A₁ = { a, b, c, d} A₂ = { casa, moto, macchina, cell }R = { (a, CA), (a, MO), (b, MO), (c, CA), (c, MA), (d, cell) } ⊆ A₁ x A₂

R = "La persona x ∈ A₁ possiede y ∈ A₂"

Oss: A volte scriviamo (a, CA) ∈ R come a R CA

  1. R₁ ⊆ A x B R ⊆ S se ∀ (a, b) ∈ R ⇒ (a, b) ∈ S
  2. R = S
  3. R ⊆ S e S ⊆ R

OPERAZIONI

  1. UNIONE / INTERSEZIONE:

    R, S ⊆ A1 x A2 R ∪ S ={(a, b) : (a, b) ∈ R ∪ (a, b) ∈ S}

  2. PRODOTTO DI RELAZIONI

    R ≤ A1 x A2 S ≤ A2 x A3 la rela R · S ≤ A1 x A3

    R · S = {(a, c) ∈ A1 x A3 : ∃ b ∈ A2 t.c. (a, b) ∈ R e (b, c) ∈ S}

METODI DI RAPPRESENTAZIONE

R ≤ A1 x A2 DOVE A1, A2 SONO FINITI

  1. ELENCANDO GLI ELEM. DI R

    R = {(a1, b1), (a2, b2), ....}

  2. GRAFO D'ADIACENZA:

    VERTICI SONO A1 ∪ A2 E DISEGNO UNA FRECCIA

    a ∈ A1

    • b ∈ A2 se (a, b) ∈ R

    ES A1 = {1, 2, 3} A2 = {b1, c1, d2} R = {(1, b1), (1, d1), (3, d1)}

    GRAFO D'AD. DI R

    • 1 → b1
    • c2 → 2
    • d3 → 3

    =MR = (1 0 1) (0 0 0) (1 0 1)

  3. MATRICE D'ADIACENZA

    NUMERO GLI ELEMENTI An = {o1, ..., on}

    A2 = {b1, ..., bm}

    ALLORA MR ∈ Mn x m ({0, 1}) DEF

    (MR)ij = {1 se (ai, bj) ∈ R 0 altrimenti}

    ES A = {o1, o2, o3} B = {x1, x2}

    R HA GRAFO o1 → x1 o2 → x1 o3 → x2

Anteprima
Vedrai una selezione di 6 pagine su 25
Relazioni ed applicazioni Pag. 1 Relazioni ed applicazioni Pag. 2
Anteprima di 6 pagg. su 25.
Scarica il documento per vederlo tutto.
Relazioni ed applicazioni Pag. 6
Anteprima di 6 pagg. su 25.
Scarica il documento per vederlo tutto.
Relazioni ed applicazioni Pag. 11
Anteprima di 6 pagg. su 25.
Scarica il documento per vederlo tutto.
Relazioni ed applicazioni Pag. 16
Anteprima di 6 pagg. su 25.
Scarica il documento per vederlo tutto.
Relazioni ed applicazioni Pag. 21
1 su 25
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche INF/01 Informatica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher danieledeluca.1405 di informazioni apprese con la frequenza delle lezioni di Logica e algebra e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Politecnico di Milano o del prof Rodaro Emanuele.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community