Estratto del documento

NOTAZIONI DEL LINGUAGGIO LOGICO E DEGLI INSIEMI

17/09/2018

  • INSIEMI: LETTERE MAIUSCOLE A, B, C
  • ELEMENTI: LETTERE MINUSCOLE x, y, z

COME DEFINIRE UN INSIEME:

  1. ELENCO SOTTOELEMENTI es. A = {1, 2, 3, u}
  2. SPECIFICO UNA PROPRIETÀ DEGL'INSIEMEes. A = {m ∈ ℕ: m è pari}A = {x | P(x)}

SIMBOLI DELLA LOGICA

  • : TALE CHE
  • => IMPLICA/IMPLICAZIONE, ALLORA
  • DOPPIA IMPLICAZIONE, SE E SOLO SE
  • ∃ ESISTE
  • ∀ PER OGNI
  • ∄ NON ESISTE
  • ∈ APPARTIENE
  • ∉ NON APPARTIENE
  • = UGUALE
  • ≠ DIVERSO
  • ∧, e CONGIUNZIONE LOGICA "E"
  • ∨, o CONGIUNZIONE LOGICA "O"

RELAZIONI TRA GLI INSIEMI (CON LINGUAGGIO LOGICO)

  • Ω INSIEME UNIVERSO
  • ∅ INSIEME VUOTO
  • ⊆ RELAZIONE DI INCLUSIONE

A ⊆ B A è un sottoinsieme di B

x ∈ A ⇒ x ∈ B

Notazioni del Linguaggio Logico e degli Insiemi

17/09/2018

  • Insiemi: Lettere Maiuscole A, B, C
  • Elementi: Lettere minuscole x, y, z

Come definire un insieme:

  1. Elenco Subelementi es. A = {1, 2, 3, u}
  2. Specifico una proprietà dell'insieme

es. A = {m ∈ N : m è pari}

A = {x | P(x)}

Simboli della Logica

  • : Tale che
  • ⇒ Implicazione, allora
  • ⇔ Doppia Implicazione, se e solo se
  • ∃ Esiste
  • ∀ Per ogni
  • ∄ Non esiste
  • ∈ Appartiene
  • ∉ Non appartiene
  • = Uguale
  • ≠ Diverso
  • ∧, e Congiunzione logica "e"
  • ∨, o Congiunzione logica "o"

Relazioni tra Gli Insiemi (con linguaggio logico)

  • Ω Insieme universo
  • ∅ Insieme Vuoto
  • ⊆ Relazione di inclusione: A ⊆ B A è un sottoinsieme di B

x ∈ A ⇒ x ∈ B

– Relazione di uguaglianza   A = B   x ∈ A ⇔ x ∈ B

⊂ Relazione di inclusione stretta:   A ⊂ B

    x ∈ A → x ∈ B e ∃ x ∈ B t.c. x ∉ A

E.g. A = {1, 2}   B = {1, 2, 3}   A ⊂ B   A è sottoinsieme stretto di B

* Un elemento non può essere sottoinsieme

INSIEMI NUMERICI

  • ℕ (Numeri naturali)  =   {1, 2, 3, 4, ...}
  • ℤ (Numeri interi)  =   {..., -1, 0, 1, ...}
  • ℚ (Numeri razionali)  =   m/m   t.c. m ∈ ℤ e m ∈ ℕ
  • ℂ (Numeri complessi)  =   {x + iy   ;   x, y ∈ ℝ}   i = unità immaginaria
  • ℝ: Numeri reali  =   {insieme dei numeri che possono essere ordinati su una retta}

OPERAZIONI SUGLI INSIEMI

INTERSEZIONE A ∩ B = { x | x ∈ A e x ∈ B }

UNIONE A ∪ B = { x | x ∈ A o x ∈ B }

DIFFERENZA A / B = { x | x ∈ A e x ∉ B }

COMPLEMENTARE Ac = { x | x ∉ A } ; ⊆ / A

LEGGE DI DE MORGAN

  1. (Ac ∩ Bc) = (A ∪ B)c
  2. Ac ∪ Bc = (A ∩ B)c
  3. (Ac)c = A
  4. Rc = ∅
  5. c = ℝ
  6. A ⊆ B -> Bc ⊆ Ac

* LA RELAZIONE 5 INDICA IL PASSAGGIO A COMPLEMENTARE

NUMERI REALI

ℝ INSIEME DEI NUMERI TAL CHE IN ESSO SIANO DEFINITI:

  • SOMMA +
  • PRODOTTO ⋅
  • RELAZIONE D'ORDINE ≤

PROPRIETÀ:

  1. COMMUTATIVA a ⋅ b = b ⋅ a
  2. ASSOCIATIVA a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c
  3. ∀x ∈ ℝ ∃0 ∈ ℝ / a + 0 = 0
  4. ∀x ∈ ℝ ∃-a ∈ ℝ / a - a = 0
  1. COMM a ⋅ b = b ⋅ a
  2. ASS. a ⋅ (b ⋅ c) = (a ⋅ b) ⋅ c
  3. ∀x ∈ ℝ 0 ∈ ℝ, a ⋅ 0 = 0
  4. ∀x ∈ ℝ ∃(a-1) ∈ ℝ / a ⋅ a-1 = 1, a ≠ 0

9. a · (b + c) = ab + ac DISTRIBUTIVA

  1. ∀ a, b ϵ ℚ a ≤ b ⇔ a ≤ b o b≤ a
  2. ANTISIMMETRIA se a ≤ b e b ≤ a ⇒ a = b
  3. a ≤ b ⇒ ∀ c ϵ ℝ a + c ≤ b + c
  4. se a ≥ 0 e b ≥ 0 ⇒ a · b ≥ 0 e a · b ≥ 0

ASSIOMA DI COMPLETEZZA

Siano A, B ⊆ ℝ, A, B ≠ Ø e A, B insiemi separati t.c. a ≤ b ∀ a ϵ A e ∀ b ϵ B ⇒ ∃ c ϵ ℝ a ≤ c ≤ b c = ELEMENTO SEPARATORE

MAGGIORANTE

A ⊆ ℝ A ≠ Ø

L ϵ ℝ e L MAGGIORANTE di A ⇔ a≤ L ∀ a ϵ A

MINORANTE

A ⊆ ℝ A ≠ Ø

L ϵ ℝ e L MINORANTE di A ⇔ b≥ a ∀ a ϵ A

MASSIMO (max A)

A ⊆ ℝ A ≠ Ø

M ϵ A e MASSI

Anteprima
Vedrai una selezione di 17 pagine su 80
Analisi matematica Pag. 1 Analisi matematica Pag. 2
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 6
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 11
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 16
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 21
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 26
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 31
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 36
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 41
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 46
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 51
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 56
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 61
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 66
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 71
Anteprima di 17 pagg. su 80.
Scarica il documento per vederlo tutto.
Analisi matematica Pag. 76
1 su 80
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/05 Analisi matematica

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher francesco.farolfi di informazioni apprese con la frequenza delle lezioni di Analisi matematica e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi di Bologna o del prof Montanari Annamaria.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community