Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] Ext si annulli sulla seconda variabile anziché sulla prima, si ha una nozione duale di dimensione omologica. Inoltre, diciamo che B ha dimensione iniettiva n se Extn+1(A, B) = 0 per ogni A e se n è minimale rispetto a tale proprietà. Ciò conduce, a ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] se e solo se esiste una funzione f tale che
Il dominio di f sia A e il codominio di f sia A′,F sia una funzione iniettiva,
3) se x e y sono in A, allora xRy se e solo se f(x)R′f(y). Per illustrare questa definizione di isomorfismo consideriamo la ...
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) [...] mappa naturale Hq (X, ℂ) → Hq (Y, ℚ) in coomologia indotta dall'inclusione Y → X è un isomorfismo se q ≤ n - 2; ed è iniettiva se q = n - 1. Da questo risultato si deduce, ad esempio, che le varietà lisce intersezioni complete di dimensione n ≥ 3 in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] in questa forma). Gli assiomi inoltre stabiliscono che (III) 0 non è successore di alcun numero naturale, (IV) sc è un'operazione iniettiva da ℕ a ℕ, e (V) ℕ è il più piccolo insieme che contiene 0 ed è chiuso rispetto al successore. Un po' più ...
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 [...] Una funzione differenziabile F tra due v. differenziabili è un’immersione se il differenziale di F è un’applicazione lineare iniettiva, è un embedding se è un’immersione con un omeomorfismo sull’immagine; in questo modo una sottovarietà può essere ...
Leggi Tutto
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] in cui la corrispondenza delle orbite è data da un omeomorfismo, purché il sistema sia dato da un'applicazione iniettiva e due volte derivabile con continuità. Denjoy costruì inoltre dei controesempi a questa affermazione in regolarità più bassa. Per ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] definizione 71, Dedekind arriva a caratterizzare il sistema dei numeri naturali come un insieme N su cui è data una funzione iniettiva f da N a N. (l’operazione di passaggio al successore), che include un unico elemento non appartenente all’immagine ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] essere ordinamenti definibili di n-ple formanti catene infinite e questo nel caso dei gruppi significa che ogni endomorfismo iniettivo da un gruppo stabile in sé stesso è anche suriettivo: un analogo del teorema di Ax. Esiste, attualmente, una ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] λ, tranne al più un insieme numerabile di valori isolati, l'applicazione che porta f−λAf in un punto g è un'applicazione iniettiva di C[a,b] su sé stesso, con inversa continua che definisce f come funzione di g. I valori isolati che fanno eccezione ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] per sistematizzare i problemi algebrici della topologia. In particolare, sono sviluppati i concetti di modulo iniettivo e proiettivo, di risoluzione iniettiva o proiettiva di un modulo e di funtore derivato.
Il linguaggio Lisp. L'informatico ...
Leggi Tutto
iniettare
v. tr. [dal lat. tardo iniectare, intens. di inicĕre «gettar dentro», comp. della prep. in e iacĕre «gettare»] (io iniètto, ecc.). – 1. tr. a. Introdurre in una cavità del corpo o in un tessuto sostanze medicamentose, o anche stupefacenti,...