aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] n+m); (c) l’assioma di induzione, secondo il quale ogni proprietà P deinumerinaturali esprimibile nell’aritmetica tale che P è soddisfatta da 0 e da s(n) molto alto: esso è sostituito da un insieme infinito di assiomi, uno per ciascuna proprietà P ...
Leggi Tutto
standard
stàndard [s.ingl. standard 〈stèndëd〉, dal fr. ant. estendart "stendardo"] [LSF] Campione o modello di riferimento per una categoria di grandezze o anche, astrattamente, di una categoria di fenomeni: [...] S. televisivo: lo stesso che sistema televisivo, cioè l'insieme delle caratteristiche dei segnali video (frequenza di trama e di riga, ecc.): una teoria deinumeri interi ammette vari modelli, tra i quali il modello s. è quello deinumerinaturali. ◆ ...
Leggi Tutto
uno
uno [agg. Der. del lat. unus] [ALG] (a) Il primo numero non nullo della successione crescente deinumerinaturali, indicato, nella numerazione con cifre arabe, con il simb. 1. Nel mondo antico, per [...] di questi casi la sua definizione è sostanzialmente diversa: per es., nell'insiemedeinumeri razionali, 1 è la classe di equivalenza costituita da tutte le coppie di numerinaturali (con il secondo elemento non nullo) aventi uguali i due elementi ...
Leggi Tutto
algebrico
algèbrico [agg. (pl.m. -ci) Der. di algebra] [ALG] Qualifica di ente matematico la cui definizione è connessa con polinomi a coefficienti in un campo numerico (polinomi a.). ◆ [ANM] Curva piana [...] di elementi è dotato di una struttura a. quando in esso sono definite una o più leggi di composizione. Per es., l'insieme N deinumerinaturali è dotato di struttura a., in quanto in esso sono definite le leggi di composizioni binarie di addizione e ...
Leggi Tutto
spazio di Banach
Arrigo Cellina
Uno spazio normato X diventa metrico definendo la distanza tra due punti x e y, indicata con d(x,y), come d(x,y)=∥x−y∥. Se questo spazio metrico è ‘completo’, è cioè [...] tale che ogni successione di Cauchy converge, X viene detto spazio di Banach. I n umeri reali hanno questa proprietà di essere completi e gli spazi di Banach sono le naturali generalizzazioni dell’insiemedeinumeri reali.
→ Convessità ...
Leggi Tutto
VARIAZIONI, CALCOLO DELLE.
Leonida Tonelli
- È quel ramo dell'analisi matematica che studia i problemi di massimo e minimo (v. massimi e minimi) relativi a quantità variabili, che si presentano sotto [...] massimo. Queste derivate, all'infuori di coefficienti numerici, sono date da
e cioè dalla variazione prima (reale) finita e continua, insieme con le sue derivate parziali dei primi due ordini, per tutti C. Ciò vale naturalmente quando, come appunto ...
Leggi Tutto
Giochi, teoria dei
PPierpaolo Battigalli
di Pierpaolo Battigalli
SOMMARIO: 1. Introduzione: a) campo predicativo della teoria dei giochi; b) cenni storici; c) nota sui riferimenti bibliografici. ▭ 2. [...] . I numeri in parentesi insiemedei profili di azioni iterativamente giustificabili). Ciò mostra che, nell'ambito dei giochi che soddisfano P, il concetto di soluzione S cattura (oltre all'ipotesi di razionalità) le ipotesi epistemiche E. Naturalmente ...
Leggi Tutto
Geometria differenziale
SShoshichi Kobayashi
di Shoshichi Kobayashi
Geometria differenziale
sommario: 1. Cenno storico. 2. Varietà. 3. Geometria riemanniana. 4. Varietà complesse e varietà kähleriane. [...] da zero. Per ogni α, 0≤α≤n, sia Uα l'insiemedei punti di Pn(C) con aα≠0. Allora Pn(C) è devono soddisfare certe condizioni naturali. Un buon esempio )=v−e+f. (55)
Alternativamente, se bi è l'i-mo numero di Betti di M, cioè bi=dim Hi(M;R), allora
χ( ...
Leggi Tutto
Fermat, ultimo teorema di
MMassimo Bertolini
di Massimo Bertolini
SOMMARIO: 1. Introduzione. ▭ 2. Storia: il lavoro di Kummer. ▭ 3. Estensioni abeliane di Q. ▭ 4. Estensioni esplicite di campi e funzioni [...] i numeri complessi della forma a0 + a1ζp + … + ap-1ζpp-1 con gli ai interi. È naturale chiedersi al genere della curva modulare X0(2). Analogamente al caso di X0(1), l'insiemedei punti complessi di X0(2) è isomorfo a P1(C); in altre parole, la ...
Leggi Tutto
CARDANO, Gerolamo
Giuliano Gliozzi
Nacque a Pavia il 24 sett. 1501 da Fazio e Chiara Micheri.
Fazio (1445-1524), di famiglia originaria di Cardano (oggi Cardano al Campo, vicino a Gallarate), che vantava [...] a causa delle difficoltà dei tempi. Rifiutate nel frattempo personalità del C. (insieme con il suo Liber molto dopo, erano numerosi i tentativi di ottenerlo P. Capparoni, Profili bio-bibliogr. di medici e naturalisti italiani, II, Roma 1928, pp. 24-28; ...
Leggi Tutto
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
numerabile
numeràbile agg. e s. m. [dal lat. numerabĭlis]. – Che può essere numerato, cioè distinto con numeri, oppure calcolato esattamente: ci darà la quantità esatta delle ore e minuti ..., se la frequenza fusse da noi n. (Galilei). In...