Definizione d.1.1. In matematica si dice INSIEME qualunque collezione di oggetti per il quale sia sempre possibile decidere se un generico oggetto appartiene o meno alla collezione stessa. Indicheremo gli inisemi con le lettere maiuscole dell’alfabeto.
Definizione d.1.2. Si dice che A è contenuto in B (A ⊆ B) se ogni elemento di A è anche elemento di B, cioè A ⊆ B se ∀ x ∈ A, x ∈ B.
Definizione d.1.3. Si dice che A è strettamente contenuti in B (A ⊂ B) se ogni elemento di A è anche elemento di B e esiste almeno un elemento di B che non è elemento di A, cioè A ⊂ B se ∀ x ∈ A, x ∈ B ∧ ∃ y ∈ B, y ∉ A.
Definizione d.1.4. A = B se A ⊆ B ∧ B ⊆ A.
Proprietà p.1.1. A ⊆ B ∧ B ⊆ C ⇒ A ⊆ C.
Proprietà p.1.2. A = B ∧ B = C ⇒ A = C.
Definizione d.5. Si dice insieme vuoto ( ∅ ) ogni insieme privo di elementi.
Teorema t.1.1 Ogni iniseme vuoto è sottoinsieme di ogni insieme.
Dimostrazione 1.1. Siano A e B insiemi, A vuoto. Per assurdo A ⊈ B. Allora ∃ x ∈ A tale che x ∉ B. Ma A non ha elementi e questo porta all’assurdo.
Leggi il seguito di questo post »