proporzionale
proporzionale [agg. e s.m. Der. del lat. proportionalis, da proportio -onis (→ proporzione)] [ALG] [ANM] Che fa parte di una proporzione o che è in una relazione di proporzionalità (←) [...] 'equazione di secondo grado x2=ab. ◆ [ALG] Quarto p.: dopo tre numeri a, b, c è il numero x tale che valga la proporzione a:b=c:x; esiste ed è unico seesolose a≠0, in quanto l'equazione equivalente alla detta proporzione ha per soluzione x=bc/a ...
Leggi Tutto
GEOMETRIA ALGEBRICA
Ciro Ciliberto
Igor R. Shafarevich
Lo sviluppo delle idee di Ciro Ciliberto
Sommario: 1. I temi classici della geometria algebrica. a) Integrali abeliani e curve algebriche. b) [...] il cosiddetto ‛semipiano superiore di Siegel', che si denota con Hn. Se D = E, due matrici S′ e S definiscono varietà abeliane isomorfe seesolose S′ = (A1 + SA3)-1 (A2 + SA4) dove
è una matrice a coefficienti interi tali che MJMt = J, con
Tali ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] Galois, per la costruibilità di un numero complesso β (visto come vettore nel piano) è il seguente: β è costruibile con riga e compasso seesolose a) β è algebrico e b) deg(???OUT-Q???(β)) è una potenza di 2. Poiché deg(???OUT-Q???(cos(2π/9)))=3, l ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] uno di 17 lati sì, come fece Gauss; in generale un poligono regolare con un numero primo N di lati è costruibile se, esolose, N è un numero di Fermat, ossia del tipo 22n+1. Fermat aveva ipotizzato che tutti questi numeri fossero primi, come accade ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] prefisso; nel nostro esempio AHsarà
[2] ∃x, ∃z R(x,f(x),z,g(x,z)).
Il teorema di Herbrand ci dice che A è dimostrabile in LK seesolose esistono un n≥1 e degli esempi A1,….,An della matrice di AH per cui A1 … Anè tautologia. Il teorema di Herbrand ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] abbastanza grande, o G oppure Ḡ (il complementare di G) contiene un grafo Km (Ḡ ha gli stessi vertici di G e due suoi vertici sono adiacenti seesolose non lo sono in G). Più in generale la 'regolarità' può avere la forma "o G contiene un Kp oppure ...
Leggi Tutto
L'Ottocento: matematica. Il rigore in analisi
Umberto Botta
Il rigore in analisi
L'eredità di Lagrange
All'epoca della Rivoluzione francese, l'esigenza di formare una classe di ingegneri civili e militari [...] sua somma non può essere espressa". Quando ∣x∣=1 egli stabiliva "con rigore geometrico" che la serie era convergente seesolose γ−α−β>0. Una serie non sempre convergente come questa, scriveva all'amico Friedrich Wilhelm Bessel (1784-1846), "può ...
Leggi Tutto
Matematica
Definizioni
Si chiama e. un’uguaglianza tra due espressioni contenenti una o più variabili ovvero una o più funzioni o anche enti di natura più generale ( incognite dell’e.); se essa è soddisfatta, [...] /27 è il ‘discriminante’ Δ dell’e.: se a, b, c, d (e quindi p e q) sono reali, per Δ>0 si hanno una radice reale e due e., si dice spesso che la si integra.
La risoluzione di un’e. differenziale è in genere un problema molto complesso che solo ...
Leggi Tutto
(v. topologia, App:. III, 11, p. 960; algebra omologica, App. IV, I, p. 87)
Introduzione. - L'a.o. ha le sue origini nella teoria d'omologia di gruppi astratti che fu coinvolta nello studio di certi spazi [...] V(A) dello spazio vettoriale m/m2 su A/m, ed è Dim(A) = V(A) seesolose l'anello locale A è regolare.
Un'altra dimensione omologica si definisce usando moduli piatti e Tor precisamente se M è un A-modulo a destra, si chiama dimensione piatta di M ...
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. [...] dÿk; (44)
questa forma si chiama generalmente la ‛forma di Kähler associata'. La (43) è una metrica di Kähhler seesolose la forma di Kähhler Φ è chiusa, cioè se dΦ=0.
Possiamo costruire sullo spazio proiettivo Pn(C) una metrica di Kähler usando le ...
Leggi Tutto
se2
se2 cong. [lat. tardo se(d), incrocio di sī con quid «che cosa»] (radd. sint.). – 1. Con valore condizionale, ipotetico: a. Posto che, ammesso che, dandosi il caso che, e sim.; introduce proposizioni che esprimono una condizione, quelle...
se
sé pron. rifl. [lat. sē] (radd. sint.). – 1. Forma forte della declinazione del pron. rifl. di 3a pers.; si usa soltanto quand’è riferito al soggetto (maschile o femminile, singolare o plurale) o nelle frasi enunciate con verbo all’infinito...