ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI
|
|
|
- Sebastiano Renzi
- 9 anni fa
- Просмотров:
Транскрипт
1 ALGEBRA I: ASSIOMI DI PEANO E PROPRIETÀ DEI NUMERI NATURALI 1. GLI ASSIOMI DI PEANO Come puro esercizio di stile voglio offrire una derivazione delle proprietà elementari dei numeri naturali e delle operazioni definite su N. L unica struttura originaria di N è il principio di induzione, pertanto la definizione di tutti i concetti primitivi come la relazione d ordine e le operazioni di somma e prodotto è fatta per ricorrenza, e le loro proprietà sono dimostrate per induzione. Man mano che i concetti sono definiti e le proprietà dimostrate, le tecniche diventano più mature, e le dimostrazioni più naturali. I concetti primitivi necessari per definire l insieme N dei numeri naturali sono un elemento 0 N, anche detto zero, ed un applicazione iniettiva s : N N, detta successivo, che non ha 0 nella sua immagine. Gli assiomi di Peano sono in effetti 0 N; s : N N è iniettiva e 0 / s(n); Vale il principio di induzione: se X N è un sottoinsieme che contiene 0 e tale che s(x) X, allora X = N. In generale, per mostrare che un sottoinsieme X N coincide con N si mostra prima che 0 X e poi che n X s(n) X per ogni n N. Allo stesso modo, per definire una proprietà o un operazione su ogni elemento di N è sufficiente farlo per lo 0 e per s(n) ogni volta che la definizione sia già stata data per n: la definizione è data, in altri termini, ricorsivamente o per ricorrenza. Per mostrare che un enunciato p(n), n N è vero per ogni n è sufficiente mostrare che vale p(0) (base dell induzione) e che dalla validità di p(n) (ipotesi induttiva) segue (passo induttivo) quella di p(s(n)) per ogni n. L enunciato viene dimostrato così per induzione. Lemma 1.1. Se a N è diverso da 0, allora a = s(a ) per qualche a N. Dimostrazione. Se p(a) indica l implicazione a 0 a N tale che a = s(a ), dobbiamo mostrare che p(a) è vera per ogni a N. Lo facciamo per induzione su a. La base dell induzione p(0) è banalmente vera in quanto l ipotesi è falsa. Per mostrare il passo induttivo dobbiamo far vedere che se p(n) è vera, allora lo è anche p(s(n)). Ma in effetti p(s(n)) è vera a prescindere da p(n), perché s(n) si ottiene applicando s all elemento n. 2. IL BUON ORDINAMENTO DI N Siamo pronti a definire la relazione d ordine su N. Ricordo che una relazione è nota una volta che siano noti gli elementi che mette in relazione. Definizione 2.1. La relazione è definita ricorsivamente come segue: 0 b per ogni scelta di b N; s(a) b se e solo se b = s(b ) con a b. Lemma 2.2. Valgono le seguenti proprietà: (1) s(a) non è mai 0; (2) Se a 0 allora a = 0; (3) a b se e solo se s(a) s(b). Dimostrazione. Gli assiomi di Peano garantiscono che s(a) 0. Ma per definizione, affinché s(a) b è necessario che b sia della forma s(b ), e quindi diverso da 0, il che mostra (1). (2) segue allora facilmente: supponiamo per assurdo che a 0. Allora a = s(a ) per qualche a N, e la definizione di mostra che s(a ) 0 non è possibile. L ultima affermazione è una semplice riformulazione dalla definizione di. Corollario 2.3. Non si ha mai s(0) 0. Allo stesso modo s(m) non è mai m. Corollario 2.4. Se a s(0), allora a = 0 oppure a = s(0). Dimostrazione. Se a 0, allora a = s(a ) per qualche a. Ma allora da s(a ) s(0) segue a 0 e quindi a = 0. Proposizione 2.5. La relazione definisce su N un ordinamento totale. Dimostrazione. Bisogna mostrare che è una relazione d ordine, cioè che soddisfa le proprietà riflessiva, antisimmetrica e transitiva; e inoltre che comunque scelti a, b N almeno una tra a b e b a è vera. Riflessività. Sia 0 0 che n n s(n) s(n) seguono dalla definizione di. Ma allora a a è vera per ogni a N per induzione su a. 1
2 2 ALGEBRA I Antisimmetria. Dobbiamo mostrare che a b, b a a = b per ogni scelta di a, b N, e lo facciamo per induzione su a. La base dell induzione a = 0 segue dal Lemma 2.2 che mostra come da b 0 si ottenga b = 0. Per quanto riguarda il passo induttivo, supponiamo che s(n) b, b s(n). Da s(n) b segue b = s(b ) per qualche b N. Ma s(n) s(b ), s(b ) s(n) valgono se e solo se valgono n b, b n. Per ipotesi induttiva abbiamo allora n = b e quindi s(n) = s(b ) = b. Transitività. Mostro per induzione su a che a b, b c a c. La base dell induzione a = 0 segue immediatamente, in quanto 0 c è sempre vera. Per quanto riguarda il passo induttivo, da s(a) b segue b = s(b ), e da b = s(b ) c segue c = s(c ). Ma allora s(a) s(b ), s(b ) s(c ) e di conseguenza a b, b c da cui a c per ipotesi induttiva. Pertanto s(a) s(c ) = c. Ordinamento totale. Mostriamo per induzione su a che, comunque presi a, b N, vale a b oppure b a. La base dell induzione a = 0 è chiara, in quanto 0 b è comunque vera. Il passo induttivo richiede di mostrare che, comunque scelti a, b N, si ha s(a) b oppure b s(a). Questo è chiaro se b = 0, in quanto 0 s(a). Se invece b 0, allora b = s(b ), e dobbiamo solamente stabilire che almeno una tra a b e b a è vera, che è garantito dall ipotesi induttiva. E comune scrivere a < b se a b ma a b. Chiaramente, a b se e solo se b < a, in quanto è un ordinamento totale. Inoltre a < b se e solo se s(a) < s(b). Lemma 2.6. Se a b < s(a) allora a = b Dimostrazione. Per induzione su a. La base dell induzione a = 0 è chiara: infatti se b < s(0) con b 0 si ha b = s(b ), ma allora s(b ) < s(0) è equivalente a b < 0, che è impossibile. Dimostriamo ora il passo induttivo: se s(a) b < s(s(a)), dalla prima disuguaglianza si ricava b = s(b ). Ma allora s(a) s(b ) < s(s(a)) è equivalente a a b < s(a), da cui a = b per ipotesi induttiva, e quindi s(a) = s(b ) = b. Abbiamo ora tutti gli strumenti per dimostrare che è un buon ordinamento. Teorema 2.7. Ogni sottoinsieme non vuoto di N possiede un elemento minimo rispetto all ordinamento. Dimostrazione. Sia X un sottoinsieme di N privo di elemento minimo. Voglio mostrare che l insieme Y = {n N m X m s(n)} coincide con tutto N. In effetti 0 appartiene a Y altrimenti, per la definizione dell insieme Y, 0 apparterrebbe ad X, e ne sarebbe l elemento minimo, contrariamente alle ipotesi fatte. Se accadesse che n Y ma s(n) / Y, allora esisterebbe m X tale che m s(n) ma m s(s(n)). Quindi s(n) m < s(s(n)) e m = s(n) appartiene ad X. Ma da n Y segue che gli elementi di X sono tutti s(n) e quindi s(n) è minimo in X, un assurdo. Pertanto se n Y allora anche s(n) Y. Possiamo concludere che Y coincide con N, e quindi che se m X, allora m s(n) per ogni n N. Ma m s(m) è impossibile, quindi X è vuoto. Abbiamo dimostrato che ogni sottoinsieme di N privo di elemento minimo è vuoto, o equivalentemente che ogni sottoinsieme non vuoto di N possiede un elemento minimo. 3. L OPERAZIONE DI SOMMA Lavorare con N utilizzando soltanto l operazione primitiva di successivo può essere scomodo, laborioso e frustrante. E quindi opportuno definire immediatamente il concetto di somma di elementi di N. Definizione 3.1. L applicazione N N (a, b) a + b N è definita (ricorsivamente in a) da: 0 + b = b; s(a) + b = s(a + b). L elemento a + b si dice somma degli elementi a e b. Lemma 3.2. s(0) + b = s(b) per ogni b N. Dimostrazione. Dalla definizione dell operazione di somma segue che s(0) + b = s(0 + b) = s(b). Generalmente, s(0) viene indicato con 1. Abbiamo quindi appena visto che s(n) = 1 + n per ogni n N. L operazione di successivo si ottiene dalla somma aggiungendo 1 (a sinistra, perché non sappiamo ancora che la somma è commutativa) all argomento. Proposizione 3.3. La somma è un operazione associativa, cioè (a + b) + c = a + (b + c) per ogni scelta di a, b, c N. Dimostrazione. Per induzione su a. La base dell induzione è chiara: in effetti (0 + b) + c = b + c = 0 + (b + c). Anche la dimostrazione del passo induttivo è semplice: (s(a) + b) + c = s(a + b) + c = s((a + b) + c), mentre s(a) + (b + c) = s(a + (b + c)); comunque (a + b) + c = a + (b + c) per ipotesi induttiva, e quindi Lemma 3.4. a + 0 = a per ogni a N. (s(a) + b) + c = s((a + b) + c) = s(a + (b + c)) = s(a) + (b + c). Dimostrazione. Per induzione su a = 0 è chiaro. Inoltre se a + 0 = a, allora s(a) + 0 = s(a + 0) = s(a).
3 ALGEBRA I 3 Lemma 3.5. a + 1 = 1 + a per ogni a N. Dimostrazione. Alla luce del Lemma 3.2, dobbiamo mostrare che a + s(0) = s(a) per ogni a N: lo facciamo per induzione su a. La base dell induzione è chiara, in quanto 0 + s(0) = s(0). Il passo induttivo segue facilmente: s(a) + s(0) = s(a + s(0)), e sappiamo per ipotesi induttiva che a + s(0) = s(a). Quindi s(a) + s(0) = s(a + s(0)) = s(s(a)). Possiamo finalmente concludere che s(n) = n + 1 = 1 + n per ogni n N. Proposizione 3.6. L operazione di somma è commutativa, cioè a + b = b + a per ogni scelta di a, b N. Dimostrazione. Per induzione su a. La base dell induzione segue dalla definizione e dal Lemma 3.4. Il passo induttivo si dimostra utilizzando ripetutamente l associatività della somma (Proposizione 3.3), il Lemma 3.5 e l ipotesi induttiva: s(a) + b = (a + 1) + b = a + (1 + b) = a + (b + 1) = (a + b) + 1 = (b + a) + 1 = b + (a + 1) = b + s(a). Molto utile è la proprietà di cancellazione della somma. Proposizione 3.7. Siano a, b, c N. Allora a + c = b + c se e solo se a = b. Dimostrazione. Per induzione su c, la base dell induzione essendo ovvia. Per quanto riguarda il passo induttivo, da a + (c + 1) = b + (c + 1) segue per associatività (a + c) + 1 = (b + c) + 1 cioè s(a + c) = s(b + c). Ma s è iniettiva, quindi a + c = b + c, e possiamo ora utilizzare l ipotesi induttiva. E importante sottolineare che nella manipolazione degli elementi di N eviteremo rigorosamente di rappresentarli attraverso l applicazione ripetuta di s a 0. Non scriveremo mai s 3 (0) o s(s(s(0))), ma più semplicemente 3. In generale s(s(... (0)... )) = s n (0) sarà rappresentato dall esponente n. Poiché la somma di s m (0) e s n (0) risulta essere s m+n (0), la nostra notazione per la somma coincide con quella usuale. Riassumendo, abbiamo finora mostrato che è possibile definire su N un operazione di somma associativa e commutativa, della quale 0 è l elemento neutro, che permette di rappresentare l operazione s di prendere il successivo per mezzo di s(n) = n + 1. Vale inoltre l utile proprietà di cancellazione descritta nella Proposizione SOMMA, ORDINE E DIFFERENZA Sia l operazione di somma che la relazione d ordine sono state definite a partire dal concetto primitivo di successivo descritto dall applicazione s. Non è quindi sorprendente che la somma e l ordinamento siano compatibili in vari modi. Il lemma che segue traduce l idea intuitiva che sommando ad un elemento di N un altro elemento se ne ottiene uno più grande. Lemma 4.1. a a + b per ogni scelta di a, b N. Dimostrazione. Per induzione su a, la base 0 b dell induzione essendo chiaramente vera. Il passo induttivo è immediato, poiché a a + b se e solo se s(a) s(a + b) da cui s(a) s(a) + b. Più interessante è l affermazione che segue: Lemma 4.2. Se a e c sono elementi di N tali che a c, allora esiste b in N tale che c = a + b. Dimostrazione. Ancora una volta per induzione su a. Se a = 0 non c è nulla da dimostrare, perché c = 0 + c. Per il passo induttivo, se a + 1 = s(a) c, allora c = s(c ) per qualche c, e a c. Ma allora c = a + b, da cui c = c + 1 = (a + 1) + b. L elemento b si chiama differenza di c ed a, e si indica con c a. Si noti che è univocamente determinato da a e da c, in quanto se a + b 1 = a + b 2, allora per la Proposizione 3.7 si ha b 1 = b 2. Abbiamo quindi dimostrato la seguente Proposizione 4.3. a b se e solo se esiste un elemento che sommato ad a fornisce b come risultato. Tale elemento è unico, una volta scelti a e b, e si indica con b a. Chiaramente, a a = 0 e (a + b) a = b. La Proposizione 4.3 spiega che il meno si può fare solo quando il primo numero è più grande. Lemma 4.4. Se a, b, c N, allora a b è vera esattamente quando è vera a + c b + c. Dimostrazione. Per induzione su c, la base dell induzione essendo ovvia. Il passo induttivo è anche ovvio, dal momento che a + (c + 1) = (a + c) + 1 e b + (c + 1) = (b + c) + 1. Quindi a + (c + 1) b + (c + 1) se e solo se s(a + c) s(b + c) se e solo se a + c b + c. Lemma 4.5. Se a c e b d allora a + b c + d. Dimostrazione. Per il Lemma 4.4, a + b c + b e b + c c + d. La tesi segue ora dalla transitività di e dalla commutatività della somma.
4 4 ALGEBRA I 5. L OPERAZIONE DI MOLTIPLICAZIONE La seconda importante operazione da definire sull insieme N dei numeri naturali è la moltiplicazione. Definizione 5.1. L operazione N N (a, b) a b N è definita (ricorsivamente in a) da: 0 b = 0; (a + 1) b = a b + b. L elemento a b si dice prodotto degli elementi a e b. Osservazione 5.2. E evidente dalla definizione che 1 b = b in quanto (0 + 1) b = 0 b + b = 0 + b = b. Pertanto si ha (a + 1) b = a b + 1 b, che è una prima elementare forma di distributività del prodotto rispetto alla somma, vera più in generale. Proposizione 5.3. Per ogni scelta di a, b, c N, si ha (a + b) c = a c + b c. Dimostrazione. Per induzione su a, il caso a = 0 essendo immediato. Per l osservazione appena fatta, abbiamo ((a + 1) + b) c = ((a + b) + 1) c = (a + b) c + c. Usando allora l ipotesi induttiva, insieme con l associatività e la commutatività della somma, si ottiene ((a + 1) + b) c = (a + b) c + c = (a c + b c) + c = (a c + c) + b c = (a + 1) c + b c. La distributività destra è un po più delicata di quella sinistra. Lemma 5.4. a 0 = 0 per ogni a N. Dimostrazione. E chiaro se a = 0. Allo stesso modo (a + 1) 0 = a = 0. L enunciato è quindi dimostrato per induzione. Lemma 5.5. a 1 = a per ogni a N. Dimostrazione. E chiaro se a = 0. Inoltre (a + 1) 1 = a e la tesi segue per ipotesi induttiva. Lemma 5.6. a (b + 1) = a b + a per ogni a, b N. Dimostrazione. Per induzione su a. La base a = 0 dell induzione è chiara. Per il passo induttivo (a + 1) (b + 1) = a (b + 1) + (b + 1) = (a b + a) + (b + 1) = (a b + b) + (a + 1) = (a + 1) b + (a + 1). Proposizione 5.7. Per ogni scelta di a, b, c N, si ha a (b + c) = a b + a c. Dimostrazione. Per induzione su b, il caso b = 0 essendo ovvio. Per quanto riguarda il passo induttivo, abbiamo: a ((b + 1) + c) = a (b + (c + 1)) = a b + a (c + 1) = a b + a c + a = (a b + a) + a c = a (b + 1) + a c. Proposizione 5.8. La moltiplicazione è commutativa, cioè a b = b a per ogni a, b N. Dimostrazione. Per induzione su a. Il caso a = 0 è chiaro, perché entrambi i membri sono uguali a zero. Dimostriamo allora il passo induttivo. Si ha (a + 1) b = a b + b, e b (a + 1) = b a + b. Per ipotesi induttiva, sappiamo già che a b = b a, e quindi (a + 1) b = a b + b = b a + b = b (a + 1). Come ci si aspetta, la moltiplicazione è anche associativa. Proposizione 5.9. Per ogni scelta di a, b, c N si ha (a b) c = a (b c). Dimostrazione. Per induzione su a. Quando a = 0, entrambi i prodotti sono nulli, e l affermazione è quindi vera. Dimostriamo allora il passo induttivo. Abbiamo: ((a + 1) b) c = (a b + b) c = (a b) c + b c, mentre (a + 1) (b c) = a (b c) + b c. Sappiamo per ipotesi induttiva che (a b) c = a (b c), e quindi coincidono anche le quantità appena calcolate.
5 ALGEBRA I 5 6. PRODOTTO, ORDINE E CANCELLAZIONE Studiando la compatibilità della relazione d ordine con la moltiplicazione possiamo ricavare le principali proprietà di cancellazione di tale operazione. Lemma 6.1. Se b 0, allora a a b per ogni a N. Dimostrazione. Per induzione su a. Se a = 0 la tesi diventa 0 0, che è chiaramente vera. Altrimenti, da a a b e 1 b segue a + 1 a b + b = (a + 1) b. La legge di annullamento del prodotto è ora di dimostrazione immediata. Proposizione 6.2. Se a b = 0 e b 0, allora a = 0. Dimostrazione. Per il lemma precedente, abbiamo a a b = 0, da cui a = 0. Avendo dimostrato che in un prodotto nullo almeno uno dei fattori è nullo, la proprietà di cancellazione del prodotto è anch essa immediata. Proposizione 6.3. Se a 0 e a b = a c, allora b = c. Dimostrazione. è una relazione d ordine totale, quindi a meno di scambiare b e c possiamo supporre che b c. Allora, per la Proposizione 4.3, esiste h N tale che c = b + h, da cui a c = a b + a h. Sappiamo che a b = a c, quindi per la proprietà di cancellazione della somma concludiamo che a h = 0. La Proposizione 6.2 garantisce ora che h = 0 e quindi che c = b + h = b. Lemma 6.4. Se b c, allora a b a c. Dimostrazione. Dal momento che b c, la Proposizione 4.3 ci assicura che esiste h N tale che c = b + h. Ma allora a c = a b + a h e quindi a b a c. In particolare, se b c si ha a c a b = a (c b). L enunciato del lemma appena dimostrato si rovescia quando a 0. Lemma 6.5. Se a 0 e a b a c allora b c. Dimostrazione. Per assurdo. Se c < b allora b = c + h con h 0. Ma allora a b = a c + a h, con a h 0 per la Proposizione 6.2. Quindi a c < a b, che è assurdo. Lemma 6.6. Se a c e b d, allora a b c d. Dimostrazione. Da a c segue a b c b, mentre da b d segue b c d c. Utilizzando la transitività di e la commutatività del prodotto, si ottiene a b b c c d. Abbiamo già verificato che 1 è tale che 1 a = a 1 = a per ogni a N. Questo fatto si esprime dicendo che 1 è l elemento neutro della moltiplicazione. Un naturale a si dice invertibile se si può trovare un naturale b tale che a b = 1. Gli elementi invertibili sono importanti nello studio delle proprietà di fattorizzazione, ma tra i numeri naturali 1 è l unico elemento invertibile. Proposizione 6.7. Se a b = 1, allora a = b = 1. Dimostrazione. Il Lemma 6.1 ci assicura che a a b. Quindi a 1, e per il Corollario 2.4 gli unici valori possibili per a sono 0 e 1. Comunque se a = 0, allora a b = 0, quindi a deve essere uguale ad 1. Lo stesso ragionamento può essere ripetuto per b. Se non mi sbaglio, ho dimostrato tutte le proprietà algebriche dell insieme N dei numeri naturali elencati nel libro di Campanella. Sono le proprietà intuitive che usiamo senza timori nelle ordinarie manipolazioni di questi numeri. Il mio scopo era quello di mostrare come fosse possibile ricavarle dagli assiomi di Peano, e come quindi tali assiomi catturino gli aspetti fondamentali delle proprietà dei numeri naturali. DIPARTIMENTO DI MATEMATICA, UNIVERSITÀ DEGLI STUDI DI ROMA LA SAPIENZA address: [email protected]
DAI NUMERI NATURALI AI NUMERI RAZIONALI
DAI NUMERI NATURALI AI NUMERI RAZIONALI 1. L insieme dei numeri naturali Nel sistema assiomatico ZF, l Assioma dell infinito stabilisce che: Esiste un insieme A, i cui elementi sono insiemi e tale che
Gli insiemi N, Z e Q. I numeri naturali
Università Roma Tre L. Chierchia 1 Gli insiemi N, Z e Q Il sistema dei numeri reali (R, +,, ) può essere definito tramite sedici assiomi: quindici assiomi algebrici (si veda ad esempio 2.3 in [Giusti,
NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n
NOTE DI ALGEBRA LINEARE 2- MM 9 NOVEMBRE 2 Combinazioni lineari e generatori Sia K un campo e V uno spazio vettoriale su K Siano v,, v n vettori in V Definizione Un vettore v V si dice combinazione lineare
1 Principio di Induzione
1 Principio di Induzione Per numeri naturali, nel linguaggio comune, si intendono i numeri interi non negativi 0, 1,, 3, Da un punto di vista insiemistico costruttivo, a partire dall esistenza dell insieme
04 - Logica delle dimostrazioni
Università degli Studi di Palermo Facoltà di Economia CdS Sviluppo Economico e Cooperazione Internazionale Appunti del corso di Matematica 04 - Logica delle dimostrazioni Anno Accademico 013/014 D. Provenzano,
ALGEBRE DI BOOLE. (d) x, y X x y oppure y x.
ALGEBRE DI BOOLE Un insieme parzialmente ordinato è una coppia ordinata (X, ) dove X è un insieme non vuoto e " " è una relazione binaria definita su X tale che (a) x X x x (riflessività) (b) x, y, X se
Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.
Capitolo 2 Campi 2.1 Introduzione Studiamo ora i campi. Essi sono una generalizzazione dell insieme R dei numeri reali con le operazioni di addizione e di moltiplicazione. Nel secondo paragrafo ricordiamo
3/10/ Divisibilità e massimo comun divisore
MCD in N e Polinomi 3/10/2013 1 Divisibilità e massimo comun divisore 1.1 Divisibilità in N In questa sezione introdurremo il concetto di divisibilità e di massimo comun divisore di due numeri naturali
Un po di logica. Christian Ferrari. Laboratorio di matematica
Un po di logica Christian Ferrari Laboratorio di matematica 1 Introduzione La logica è la disciplina che studia le condizioni di correttezza del ragionamento. Il suo scopo è quindi quello di elaborare
APPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I
APPUNTI DI TEORIA DEGLI INSIEMI MAURIZIO CORNALBA L assioma della scelta e il lemma di Zorn Sia {A i } i I un insieme di insiemi. Il prodotto i I A i è l insieme di tutte le applicazioni α : I i I A i
IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE.
IL TEOREMA FONDAMENTALE DELL ARITMETICA: DIMOSTRAZIONE VELOCE. PH. ELLIA Indice Introduzione 1 1. Divisori di un numero. 1 2. Il Teorema Fondamentale dell Aritmetica. 2 3. L insieme dei numeri primi è
Spazi Vettoriali ed Applicazioni Lineari
Spazi Vettoriali ed Applicazioni Lineari 1. Sottospazi Definizione. Sia V uno spazio vettoriale sul corpo C. Un sottoinsieme non vuoto W di V è un sottospazio vettoriale di V se è chiuso rispetto alla
Matematica. Corso integrato di. per le scienze naturali ed applicate. Materiale integrativo. Paolo Baiti 1 Lorenzo Freddi 1
Corso integrato di Matematica per le scienze naturali ed applicate Materiale integrativo Paolo Baiti 1 Lorenzo Freddi 1 1 Dipartimento di Matematica e Informatica, Università di Udine, via delle Scienze
L insieme dei numeri Naturali (N)
L insieme dei numeri Naturali (N) Definizione di Numero Naturale Definizione Una corrispondenza fra due insiemi X e Y che sia del tipo asole-bottoni, cioè: tale che ad ogni elemento di X corrisponde uno
Spazi affini e combinazioni affini.
Spazi affini e combinazioni affini. Morfismi affini. Giorgio Ottaviani Abstract Introduciamo il concetto di combinazione affine in uno spazio affine, e in base a questo, ne caratterizziamo i sottospazi.
Capitolo 1. Gli strumenti. 1.1 Relazioni
Capitolo 1 Gli strumenti Consideriamo un insieme X. In geometria siamo abituati a considerare insiemi i cui elementi sono punti ad esempio, la retta reale, il piano cartesiano. Più in generale i matematici
RELAZIONI, FUNZIONI, INSIEMI NUMERICI. 1. Relazioni. Siano X e Y due insiemi non vuoti. Si definisce il prodotto cartesiano
RELAZIONI, FUNZIONI, INSIEMI NUMERICI C. FRANCHI 1. Relazioni Siano X e Y due insiemi non vuoti. Si definisce il prodotto cartesiano X Y := {(x, y) x X, y Y } dove con (x, y) si intende la coppia ordinata
Geometria e Topologia I (U1-4) 2006-mag-10 61
Geometria e Topologia I (U1-4) 2006-mag-10 61 (15.9) Teorema. Consideriamo il piano affine. Se A A 2 (K) è un punto e r una retta che non passa per A, allora esiste unica la retta per A che non interseca
ALGEBRA I: SOLUZIONI QUINTA ESERCITAZIONE 9 maggio 2011
ALGEBRA I: SOLUZIONI QUINTA ESERCITAZIONE 9 maggio 2011 Esercizio 1. Usando l algoritmo euclideo delle divisioni successive, calcolare massimo comune divisore e identità di Bézout per le seguenti coppie
Sviluppi e derivate delle funzioni elementari
Sviluppi e derivate delle funzioni elementari In queste pagine dimostriamo gli sviluppi del prim ordine e le formule di derivazioni delle principali funzioni elementari. Utilizzeremo le uguaglianze lim
Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni
Corso di Laurea in Matematica Geometria 2 Foglio di esercizi n. 1 a.a. 2015-16 Soluzioni Gli esercizi sono presi dal libro di Manetti. Per svolgere questi esercizi, studiare con cura i paragrafi 3.1, 3.2,
X Settimana = 0 R. = 0 R x, x R. + (x 0 R. ) x 0 R = = x 0 R
X Settimana 1 Elementi basilari della teoria degli anelli (I parte) Un anello (R, +, ) è un insieme non vuoto R dotato di due operazioni (binarie), denotate per semplicità con i simboli + e + : R R R,
LEZIONE 8. k e w = wx ı + w y j + w z. k di R 3 definiamo prodotto scalare di v e w il numero
LEZINE 8 8.1. Prodotto scalare. Dati i vettori geometrici v = v x ı + v y j + v z k e w = wx ı + j + k di R 3 definiamo prodotto scalare di v e w il numero v, w = ( v x v y v z ) w x = v x + v y + v z.
i) la somma e il prodotto godano delle proprietà associativa, commutativa e distributiva;
1 Spazi vettoriali 11 Definizioni ed assiomi Definizione 11 Un campo è un insieme K dotato di una operazione somma K K K, (x, y) x + y e di una operazione prodotto K K K, (x, y) xy tali che i) la somma
2 non è un numero razionale
2 non è un numero razionale 1. Richiami: numeri pari e dispari. Un numero naturale m è pari (rispettivamente dispari) se e solo se esiste un numero naturale r tale che m = 2r (rispettivamente m = 2r +
TEORIA DEI NUMERI. 1. Numeri naturali, interi relativi e principi d induzione
TEORIA DEI NUMERI. Numeri naturali, interi relativi e principi d induzione Le proprietà dell insieme N = {0,, 2, } dei numeri naturali possono essere dedotte dai seguenti assiomi di Peano:. C è un applicazione
Giovanna Carnovale. October 18, Divisibilità e massimo comun divisore
MCD in N e Polinomi Giovanna Carnovale October 18, 2011 1 Divisibilità e massimo comun divisore 1.1 Divisibilità in N In questa sezione introdurremo il concetto di divisibilità e di massimo comun divisore
LEZIONE 3. a + b + 2c + e = 1 b + d + g = 0 3b + f + 3g = 2. a b c d e f g
LEZIONE 3 3.. Matrici fortemente ridotte per righe. Nella precedente lezione abbiamo introdotto la nozione di soluzione di un sistema di equazioni lineari. In questa lezione ci poniamo il problema di descrivere
Appunti sui Codici di Reed Muller. Giovanni Barbarino
Appunti sui Codici di Reed Muller Giovanni Barbarino Capitolo 1 Codici di Reed-Muller I codici di Reed-Muller sono codici lineari su F q legati alle valutazioni dei polinomi sullo spazio affine. Per semplicità
Università degli Studi di Roma Tor Vergata. Principio di induzione matematica
Università degli Studi di Roma Tor Vergata. Principio di induzione matematica Il Principio di induzione matematica è una tecnica di dimostrazione che permette la dimostrazione simultanea di infinite affermazioni.
Introduzione alla TEORIA DEI NUMERI
Renato Migliorato Introduzione alla teoria dei numeri Introduzione alla TEORIA DEI NUMERI Avvertenza: questo è l inizio di un testo pensato come supporto al corso di Matematiche Complementari I ed ancora
Esercizi sul Principio d Induzione
AM110 - ESERCITAZIONI I - II - 4 OTTOBRE 01 Esercizi sul Principio d Induzione Esercizio svolto 1. Dimostrare che per ogni n 1, il numero α(n) := n 3 + 5n è divisibile per 6. Soluzione. Dimostriamolo usando
Massimo limite e minimo limite di una funzione
Massimo limite e minimo limite di una funzione Sia f : A R una funzione, e sia p DA). Per ogni r > 0, l insieme ) E f p r) = { fx) x A I r p) \ {p} } è non vuoto; inoltre E f p r ) E f p r ) se 0 < r r.
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1
Luca Costabile Esercizi di Logica Matematica Dispensa Calcolo Proposizionale 1 Esercizio 1.12 Per dimostrare che per ogni funzione esiste una formula in cui compaiono le variabili tale che la corrispondente
1 Numeri reali. Esercizi.
Politecnico di Milano. Scuola di Ingegneria Industriale. Corso di Analisi e Geometria 1 (Docente: Federico Lastaria) Settembre 2012 1 Numeri reali. Esercizi. Esercizio 1.1 (Un numero moltiplicato per zero
Appunti del Corso Analisi 1
Appunti del Corso Analisi 1 Anno Accademico 2011-2012 Roberto Monti Versione del 5 Ottobre 2011 1 Contents Chapter 1. Cardinalità 5 1. Insiemi e funzioni. Introduzione informale 5 2. Cardinalità 7 3.
Elementi di Algebra e di Matematica Discreta Numeri interi, divisibilità, numerazione in base n
Elementi di Algebra e di Matematica Discreta Numeri interi, divisibilità, numerazione in base n Cristina Turrini UNIMI - 2016/2017 Cristina Turrini (UNIMI - 2016/2017) Elementi di Algebra e di Matematica
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13)
LOGICA MATEMATICA PER INFORMATICA (A.A. 12/13) DISPENSA N. 4 Sommario. Dimostriamo il Teorema di Completezza per il Calcolo dei Predicati del I ordine. 1. Teorema di Completezza Dimostriamo il Teorema
ESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1
ESERCIZI DI ANALISI MATEMATICA 1 FOGLIO 1 Logica e connettivi logici Esercizio 0.1. Si costruiscano le tabelle di verità delle seguenti espressioni booleane; cioè, al variare dei valori di verit delle
Indice. 1 Cenni di logica. 2 Elementi di teoria degli insiemi. 3 Relazioni e funzioni. 4 Strutture algebriche
Indice 1 Cenni di logica 2 Elementi di teoria degli insiemi 3 Relazioni e funzioni 4 Strutture algebriche Silvia Pianta - Laura Montagnoli Geometria I - Prerequisiti - UCSC A.A. 2015/2016 1 / 36 1. Cenni
Precorsi di matematica
Precorsi di matematica Francesco Dinuzzo 12 settembre 2005 1 Insiemi Il concetto di base nella matematica moderna è l insieme. Un insieme è una collezione di elementi. Gli elementi di un insieme vengono
ANALISI 1 - Teoremi e dimostrazioni vari
ANALISI 1 - Teoremi e dimostrazioni vari Sommario Proprietà dell estremo superiore per R... 2 Definitivamente... 2 Successioni convergenti... 2 Successioni monotone... 2 Teorema di esistenza del limite
Esercizi per il corso Matematica clea
Esercizi per il corso Matematica clea Daniele Ritelli anno accademico 008/009 Lezione : Numeri naturali e principio di induzione Esercizi svolti. Provare che + + + n. Provare che + + + n n(n + ) n(n +
ELEMENTI di TEORIA degli INSIEMI
ELEMENTI di TEORI degli INSIEMI & 1. Nozioni fondamentali. ssumeremo come primitivi il concetto di insieme e di elementi di un insieme. Nel seguito gli insiemi saranno indicati con lettere maiuscole (,,C,...)
3. Successioni di insiemi.
3. Successioni di insiemi. Per evitare incongruenze supponiamo, in questo capitolo, che tutti gli insiemi considerati siano sottoinsiemi di un dato insieme S (l insieme ambiente ). Quando occorrerà considerare
ALGEBRA 1 Secondo esonero 15 Giugno 2011 soluzioni
ALGEBRA 1 Secondo esonero 15 Giugno 2011 soluzioni (1) Verificare che l anello quoziente Z 5 [x]/(x 3 2) possiede divisori dello zero, e determinare tutti i suoi ideali non banali. Soluzione: Il polinomio
1 I numeri naturali. 1.1 Gli assiomi di Peano
1 I numeri naturali I numeri naturali sono il punto di partenza per la costruzione degli altri insiemi numerici: numeri interi, razionali, reali e quindi complessi, interi modulo n. Il concetto di numero
1 Relazioni. Definizione Una relazione R su un insieme A si dice relazione d ordine se gode delle proprietà 1), 3), 4).
1 Relazioni 1. definizione di relazione; 2. definizione di relazione di equivalenza; 3. definizione di relazione d ordine Definizione Una corrispondenza tra due insiemi A e B è un sottoinsieme R del prodotto
Logica per la Programmazione
Logica per la Programmazione Lezione 2 Dimostrazione di tautologie Proof System pag. 1 Un Problema di Deduzione Logica [da un test di ingresso] Tre amici, Antonio, Bruno e Corrado, sono incerti se andare
ANALISI 1 1 QUINTA LEZIONE
ANALISI 1 1 QUINTA LEZIONE 1 prof. Claudio Saccon, Dipartimento di Matematica Applicata, Via F. Buonarroti 1/C email: [email protected] web: http://www2.ing.unipi.it/ d6081/index.html Ricevimento:
Teoria dei modelli. Alessandro Berarducci. 3 Marzo Dipartimento di Matematica Pisa
Teoria dei modelli Alessandro Berarducci Dipartimento di Matematica Pisa 3 Marzo 2014 Teoria dei campi algebricamente chiusi Denizione 1 La teoria del primo ordine dei campi algebricamente chiusi, ACF,
RISOLUZIONE IN LOGICA PROPOSIZIONALE. Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine
RISOLUZIONE IN LOGICA PROPOSIZIONALE Giovanna D Agostino Dipartimento di Matemaica e Informatica, Università di Udine 1. Risoluzione Definitione 1.1. Un letterale l è una variabile proposizionale (letterale
04 - Numeri Complessi
Università degli Studi di Palermo Scuola Politecnica Dipartimento di Scienze Economiche, Aziendali e Statistiche Appunti del corso di Matematica 04 - Numeri Complessi Anno Accademico 2015/2016 M. Tumminello,
misura. Adesso, ad un arbitrario punto P dello spazio associamo una terna di numeri reali x
4. Geometria di R 3. Questo paragrafo è molto simile al paragrafo : tratta infatti delle proprietà geometriche elementari dello spazio R 3. Per assegnare delle coordinate nello spazio, fissiamo innanzitutto
Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005
Programma del Corso di Matematica Discreta (Elementi) lettere P-Z anno accademico 2004/2005 27 gennaio 2005 1. Logica 2. Insiemi e Funzioni 3. Numeri naturali 4. Numeri interi 5. Relazioni 6. Classi di
G. Pareschi RELAZIONI D ORDINE
G. Pareschi RELAZIONI D ORDINE 1 Definizione 1.1. Sia X un insieme. Una relazione su X è detta una relazione d ordine o un ordinamento di X se è riflessiva, antisimmetrica e transitiva. Un insieme X, munito
Lezione 2. Gruppi e sottogruppi
Lezione 2 Prerequisiti: Insiemi numerici. Lezione 1. Gruppi e sottogruppi In questa lezione diamo il primo esempio di struttura algebrica astratta: un insieme (non necessariamente numerico) dotato di operazioni
Dispense del corso di Algebra 1. Soluzioni di alcuni esercizi
Dispense del corso di Algebra 1 Soluzioni di alcuni esercizi Esercizio 1.1. 1) Vero; ) Falso; 3) V; 4) F; 5) F; 6) F (infatti: {x x Z,x < 1} {0}); 7) V. Esercizio 1.3. Se A B, allora ogni sottoinsieme
1 IL LINGUAGGIO MATEMATICO
1 IL LINGUAGGIO MATEMATICO Il linguaggio matematico moderno è basato su due concetti fondamentali: la teoria degli insiemi e la logica delle proposizioni. La teoria degli insiemi ci assicura che gli oggetti
Introduzione ai grafi
TFA A048 Anno Accademico 2012-13 Outline Cenni storici sui grafi Nozioni introduttive: cammini, connessione, alberi, cicli Cammini di costo minimo Origini storiche La nascita della teoria dei grafi risale
A.A CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 5.
A.A. 2015-2016. CORSO DI ALGEBRA 1. PROFF. P. PIAZZA, E. SPINELLI. SOLUZIONE ESERCIZI FOGLIO 5. Esercizio 5.1. Determinare le ultime tre cifre di n = 13 1625. (Suggerimento. Sfruttare il Teorema di Eulero-Fermat)
NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE
NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE ROBERTO GIAMBÒ 1. DEFINIZIONI E PRIME PROPRIETÀ In queste note saranno presentate alcune proprietà principali delle funzioni convesse di una variabile
OPERAZIONI IN Q = + = = = =
OPERAZIONI IN Q A proposito delle operazioni tra numeri razionali, affinché il passaggio da N a vero e proprio ampliamento è necessario che avvengano tre cose: Q risulti un ) le proprietà di ciascuna operazione
In queste pagine si richiama la definizione secondo Peano dell'insieme. Per la comprensione del testo sono richieste alcune nozioni elementari su
I NUMERI NATURALI In queste pagine si richiama la definizione secondo Peano dell'insieme N = {0, 1, 2,...} dei numeri naturali; successivamente si introducono le operazioni di addizione e moltiplicazione
Capitolo IV SPAZI VETTORIALI EUCLIDEI
Capitolo IV SPAZI VETTORIALI EUCLIDEI È ben noto che in VO 3 si possono considerare strutture più ricche di quella di spazio vettoriale; si pensi in particolare all operazioni di prodotto scalare di vettori.
Sistemi lineari. Lorenzo Pareschi. Dipartimento di Matematica & Facoltá di Architettura Universitá di Ferrara
Sistemi lineari Lorenzo Pareschi Dipartimento di Matematica & Facoltá di Architettura Universitá di Ferrara http://utenti.unife.it/lorenzo.pareschi/ [email protected] Lorenzo Pareschi (Univ. Ferrara)
LEZIONE 2. ( ) a 1 x 1 + a 2 x a n x n = b, ove a j, b R sono fissati.
LEZIONE 2 2 Sistemi di equazioni lineari Definizione 2 Un equazione lineare nelle n incognite x, x 2,, x n a coefficienti reali, è un equazione della forma (2 a x + a 2 x 2 + + a n x n = b, ove a j, b
Il Teorema di Kakutani
Il Teorema di Kakutani Abbiamo visto, precedentemente, il seguente risultato: 1 Sia X uno spazio di Banach. Se X è separabile, la palla è debolmente compatta. B X = {x X x 1} Il Teorema di Kakutani è un
Introduciamo ora un altro campo, formato da un numero finito di elementi; il campo delle classi resto modulo n, con n numero primo.
Capitolo 3 Il campo Z n 31 Introduzione Introduciamo ora un altro campo, formato da un numero finito di elementi; il campo delle classi resto modulo n, con n numero primo 32 Le classi resto Definizione
m = a k n k + + a 1 n + a 0 Tale scrittura si chiama rappresentazione del numero m in base n e si indica
G. Pareschi COMPLEMENTI ED ESEMPI SUI NUMERI INTERI. 1. Divisione con resto di numeri interi 1.1. Divisione con resto. Per evitare fraintendimenti nel caso in cui il numero a del Teorema 0.4 sia negativo,
Elementi di Algebra Lineare Spazi Vettoriali
Elementi di Algebra Lineare Spazi Vettoriali Antonio Lanteri e Cristina Turrini UNIMI - 2015/2016 Antonio Lanteri e Cristina Turrini (UNIMI - 2015/2016) Elementi di Algebra Lineare 1 / 37 index Spazi vettoriali
LEZIONE 12. Y = f(x) = f( x j,1 f(e j ) = x j,1 A j = AX = µ A (X),
LEZIONE 1 1.1. Matrice di un applicazione lineare. Verifichiamo ora che ogni applicazione lineare f: R n R m è della forma µ A per un unica A R m,n. Definizione 1.1.1. Per ogni j 1,..., n indichiamo con
Principio di induzione: esempi ed esercizi
Principio di induzione: esempi ed esercizi Principio di induzione: Se una proprietà P n dipendente da una variabile intera n vale per n e se, per ogni n N vale P n P n + allora P vale su tutto N Variante
IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero
IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero Il teorema degli zeri è fondamentale per determinare se una funzione continua in un intervallo chiuso [ a ; b ] si annulla in almeno un punto interno
Lezione 4. Problemi trattabili e soluzioni sempre più efficienti. Gianluca Rossi
Lezione 4 Problemi trattabili e soluzioni sempre più efficienti Gianluca Rossi Trattabile o intrattabile? Consideriamo ora il problema, ben noto a tutti gli studenti a partire dalla scuola media, di calcolare
Lezioni di ISTITUZIONI di MATEMATICA (gruppo 3)
Lezioni di ISTITUZIONI di MATEMATICA (gruppo 3) Nicola Durante 2011-12 Abstract 1 Insiemi numerici (Lezione del 5.10.11) 1.1 Cenni di teoria degli insiemi Richiamiamo brevemente alcuni simboli usati in
CORSO ZERO DI MATEMATICA
UNIVERSITÀ DEGLI STUDI DI PALERMO FACOLTÀ DI ARCHITETTURA CORSO ZERO DI MATEMATICA RADICALI Dr. Erasmo Modica [email protected] LE RADICI Abbiamo visto che l insieme dei numeri reali è costituito da tutti
1 Funzioni reali di una variabile reale
1 Funzioni reali di una variabile reale Qualche definizione e qualche esempio che risulteranno utili più avanti Durante tutto questo corso studieremo funzioni reali di una variabile reale, cioè Si ha f
8. Completamento di uno spazio di misura.
8. Completamento di uno spazio di misura. 8.1. Spazi di misura. Spazi di misura completi. Definizione 8.1.1. (Spazio misurabile). Si chiama spazio misurabile ogni coppia ordinata (Ω, A), dove Ω è un insieme
Insiemi, Numeri, Terminologia. Prof. Simone Sbaraglia
Insiemi, Numeri, Terminologia Prof. Simone Sbaraglia Corso Rapido di Logica Matematica La logica formale definisce le regole cui deve obbedire qualsiasi teoria deduttiva. Una proposizione e` una affermazione
Cenni di logica matematica e di teoria degli insiemi. CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni
Cenni di logica matematica e di teoria degli insiemi CORSI INTRODUTTIVI Dipartimento di Ingegneria di Perugia a.a. 2016/2017 Paola Rubbioni 1 1 Logica matematica Corsi Introduttivi - a.a. 2016/2017 2 Serve
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI
M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI Assumiamo come primitivo il concetto di insieme e quello di appartenenza di un elemento a un insieme. La notazione x A indica
ALGEBRA 1 PB-Z X. 25 V 2012
ALGEBRA 1 PB-Z X. 25 V 2012 Esercizio 1. Sia A un dominio d integrità unitario e a ideali principali. Si mostri che, per un ideale di A, esser massimale è equivalente a esser primo ( 1 ). Soluzione. La
