Estratto del documento

Insiemi - Operazioni e proprietà

Appartenenza

A = {4, 3, 2, 3, 6}

x ∈ A

L'∉ A non appartenenza

Inclusione

A = {1, 2, 3, 5, 6}

B = {1, 2, 3}

B ⊆ A

B è una sottinclusione di A

Unione

A ∪ B

A ∪ B: {x | x ∈ A ∨ x ∈ B}

A ∪ B: {1, 2, 3, 4, 5}

Intersezione

A ∩ B

A ∩ B: {x | x ∈ A ∧ x ∈ B}

A ∩ B: {3}

Differenza

A - B: {x | x ∈ A ∧ x ∉ B}

B - A: {x | x ∈ B ∧ x ∉ A}

A = {1, 2, 3}

B = {1, 5}

A - B: {2}

A - B: {β}

A ∈ B "ci sono alcuni elementi"

Prodotto cartesiano

A × B (accoppiamento)

Insieme di coppie A × B = {(a, b) | a ∈ A e b ∈ B}

A = {1, 2}

B = {x, y}

A × B = {(1, x), (1, y), (2, x), (2, y)}

Proprietà caratteristica

Caratterizza gli elementi di un insieme

{x ∈ X | P(x)}

P(x) -> x è pari {x | P(x)}

Proposizione o predicato

L'insieme ambiente -> universo specifica il tipo di oggetto

{x | 2x + 1 = 0}

Z: considerato Z è un insieme vuoto

{x ∈ Z | ∃ x ∈ A : 2 + 1}

Se considero Q: A = {?}

Quantificatori

∃: map (place)

∀: per ogni (all places)

Si usano entrambi per due valori, un quantificatore... non si possono trasporre i quantificatori di diverso tipo

Importanza dell'ordine dei quantificatori dipende da cosa si vuole

Vengono scambiati da diverso tipo al loro interno

Insiemi - Operazioni e proprietà

Appartenenza

A = {3, 4, 2, 3, 6, ...}

x ∈ A

x ∉ A non appartenenza

Inclusione

A = {3, 2, 3, 2, 3, 6}

B = {1, 2, ...}

B ⊆ A

B ⊈ A sottoinsieme di A

Unione

A ∪ B

A ∪ B; {x | x ∈ A ∨ x ∈ B}

A = {3, 4, 5}

B = {3, 1, 5}

A ∪ B; {1, 2, 3, 4, 5}

Intersezione

A ∩ B; {x | x ∈ A ∧ x ∈ B}

A = {3, 4, 5}

B = {1, 5}

A ∩ B = {3, 1}

Differenza

A \ B; {x | x ∈ A ∧ x ∉ B}

A ∩ B; {1, 2}

A = {1, 2, 3}

B = {1, 5}

A \ B; {1}

Prodotto cartesiano

A × B (accorenviamo B)

Insieme di coppie A × B; {(a, b) | a ∈ A ∧ a ∈ B}

A = {3, 5}

B = {x, y}

(x, 1), (2, 3) ∈ A

(1, 2) ∈ A ∧ B

Proprietà caratteristica

Caratterizza gli elementi di un insieme

{x ∈ X | P(x)}

P(x) -> x è pari {x | P(x)}

Proposizione o predicato

Insieme ambiente

Universo specifica il tipo di oggetto

{x | 2x + 1 Se considero Z è un insieme vuoto

{x ∈ Z | ₂x + 1 Se considero Q A = [?]}

Quantificatori

∃3 prop falsa; ∃3 prop vera; ∀3 ne vera, ne falsa; il numero presuppone 2 elementi, e quelel; non eleminisco x → quanto, onde una variabile che cita quanti

∀x (neogazioni) è quandi, universale

∃x (assiomi li piu quadre), quanti, esistenziale

Quanti fň issare la variabile

∀x ∃x ∃3

Ogni variabile può fare avere un quantificatore. Non si possono abbinare mai 1 frase

Importanza dell'ordine dei quantificatori che cerca zanzata di differenza tra x, y = il dimento di

NOT (∀x P(x)) = ∃x NOT P(x)

NOT (∃x P(x)) = ∀x NOT P(x)

∀x ∃y P(x, y) → ∃y ∀x P(x, y)

NOT (∀x ∀y ∀z P(x, y, z)) = ∃x ∃y ∃z NOT P(x, y, z)

∀x ∃y ∃z ∀t P(x, y, z, t)

NOT (∀x ∃y ∀z ∀t P(x, y, z, t)) → ∃x ∀y ∀z ∃t NOT P(x, y, z, t)

Insiemi numerici

Numeri naturali N (1 somma piccola)

Numeri interi Z (somma piccola, sottrazione)

Numeri razionali Q: p/q | p, q ∈ Z, q ≠ 0

Teorema

Tra due razionali, ne cade sempre un altro (proprietà che non si ha in N e Z)

Dimostrazione x1 + x2/2 2 e x1 < x1 + x2/2 x1 + x2/2 - x1

Q̄ è un insieme “chiuso” di numeri tra due razionali cadono infiniti razionali ∈ Q, e la espansione decimale finita o periodica

Numeri irrazionali

Pi greco √2

Teorema

Non esiste alcun razionale il quale la sua riduzione p/q = √2

Dimostrazione (per assurdo) esisterebbe un tale che (√2)2 = q/2 e che (√2)2 e p, q ∈ Z e q ≠ 0

p, q NON devono essere entrambi pari, ma primi tra loro

h2 : 2q2 | 2k1/2: 2q2: 4k2 : 2k, q2 pari - q è pari

Assurdo, in quanto li avevamo presi non entrambi pari

Teorema

1 (p) (q/2)̅: 3

Dimostrazione (per assurdo)

Anteprima
Vedrai una selezione di 16 pagine su 75
Lezioni e esempi, Analisi matematica I Pag. 1 Lezioni e esempi, Analisi matematica I Pag. 2
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 6
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 11
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 16
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 21
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 26
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 31
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 36
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 41
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 46
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 51
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 56
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 61
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 66
Anteprima di 16 pagg. su 75.
Scarica il documento per vederlo tutto.
Lezioni e esempi, Analisi matematica I Pag. 71
1 su 75
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 mariachiarabello di informazioni apprese con la frequenza delle lezioni di Analisi matematica I 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 Torino o del prof Serra Enrico.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community