Un insieme I si dice e. quando esiste un procedimento effettivo (➔ decisione) per stabilire una corrispondenzabiunivoca tra I e l’insieme dei numeri naturali (nell’insieme numerabile invece non viene [...] posta una condizione di effettiva costruibilità della corrispondenza).
Valgono tra i concetti di decidibilità, computabilità ed enumerabilità le relazioni: a) un insieme I è decidibile se e solo se sia I che il suo complemento sono e.; b) un insieme ...
Leggi Tutto
antiproiettività In geometria, trasformazione sulla retta proiettiva, che, pur non essendo una proiettività (➔) conserva però i birapporti quando essi abbiano valori reali: è tale, per es., il coniugio, [...] se esso è reale). L’esistenza di a. mostra che le due condizioni che caratterizzano le proiettività tra rette nel campo complesso (corrispondenzabiunivoca che conserva i birapporti) non sono sufficienti a caratterizzare le stesse nel campo reale. ...
Leggi Tutto
In matematica, l’omomorfismo (➔) di un’algebra (nel senso astratto di insieme con operazioni) con sé stessa o con una sua sottoalgebra. In particolare, se l’omomorfismo è un isomorfismo (➔), cioè una corrispondenza [...] biunivoca conservante le operazioni, si hanno gli automorfismi dell’algebra. ...
Leggi Tutto
Agraria
Entità comprese in una specie (dette anche spesso razze). Per la nomenclatura delle piante coltivate il Congresso internazionale di orticoltura del 1952 stabilì alcune norme e propose il termine [...] ), U un aperto di S, e ϑ un omeomorfismo (funzione biunivoca e continua) tra U e un aperto dello spazio reale n-dimensionale n numeri reali (x1, ..., xn) che sono le coordinate del punto corrispondente di P in Rn nell’omeomorfismo ϑ. Se (U′, ϑ′) è un ...
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) [...] semipiano H e il gruppo simplettico Γ è l'ordinario gruppo modulare. Dunque, le curve ellittiche non isomorfe sono in corrispondenzabiunivoca con i punti di H/Γ. La funzione j, detta ‛invariante modulare assoluto', determina un isomorfismo j : H/Γ ...
Leggi Tutto
infinito
infinito [agg. e s.m. Der. del lat. infinitus, comp. di in- neg. e del part. pass. finitus di finire "limitare", da finis "confine"] [LSF] Oltre che nei signif. matematici (per i quali v. oltre), [...] spazio (l'insieme dei punti e delle rette all'i.). ◆ [ALG] Insieme i.: insieme che può essere messo in corrispondenzabiunivoca con un suo sottoinsieme proprio. ◆ [ANM] Numeri i.: lo stesso che numeri transfiniti: → transfinito. ◆ [ANM] Ordine di i ...
Leggi Tutto
Il Rinascimento. Le arti matematiche
Eberhard Knobloch
Ivo Schneider
Le arti matematiche
Il concetto di scienze matematiche
di Eberhard Knobloch
Il Rinascimento riprese dal Medioevo il concetto delle [...] di Michael Stifel (1486/1487-1567), dove i termini di una successione aritmetica erano posti in corrispondenzabiunivoca con i termini di una successione geometrica. Stifel estese la correlazione ai termini negativi della successione aritmetica ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Le discipline matematiche
Menso Folkerts
Richard P. Lorch
Anne Tihon
Le discipline matematiche
La matematica nell'Europa latina
di [...] indivisibili) e, in quest'ultimo caso, se questi atomi fossero di numero finito oppure infinito. Stabilendo una corrispondenzabiunivoca tra elementi di insiemi (finiti o infiniti), per esempio tra i punti che costituiscono il diametro del cerchio ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] '; vale a dire, tra le relazioni definite nell'ambito del modello, non ve n'è nessuna che fornisca una corrispondenzabiunivoca tra l'insieme considerato e un insieme numerabile. Anche in questo caso il fenomeno dei modelli non-standard fu alla ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. Dalla Geometrie al calcolo: il problema delle tangenti...
Enrico Giusti
Dalla Géométrie al calcolo: il problema delle tangenti e le origini del [...] non riuscì a trovare una giustificazione al fatto che figure diverse in grandezza possano avere i loro indivisibili in corrispondenzabiunivoca. In un contesto molto più ristretto, Pascal riuscirà non solo a dar conto di questo fenomeno, ma anche a ...
Leggi Tutto
corrispondenza
corrispondènza s. f. [der. di corrispondere]. – 1. a. Il corrispondere, il corrispondersi, come rapporto reciproco fra elementi diversi; quindi convenienza, proporzione, simmetria, o conformità: la c. fra le varie parti dell’opera...
biunivoco
biunìvoco agg. [comp. di bi- e univoco] (pl. m. -ci). – In matematica, univoco in tutti e due i sensi. Corrispondenza b., corrispondenza che intercorre tra due insiemi di oggetti (o di enti) A e A′ se è definita una legge per cui...