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 [...] A, R) è isomorfa a una struttura di relazione semplice A′ = (A′, R′) 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 funzioneiniettiva,
3) se x e y sono in A, allora xRy se e solo se f(x)R′f(y ...
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 funzioneiniettiva f da N a N. (l’operazione di passaggio al successore), che include un unico elemento non appartenente all’immagine ...
Leggi Tutto
Matematica
Il concetto di a. è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di a. di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza [...] è immagine di più di un elemento di p, l’a. si dice iniettiva oppure una iniezione. Un’a. si dice biiettiva oppure una biiezione quando gli gruppo di programmi che svolge un insieme di funzioni proprie di uno specifico ambito organizzativo. Una prima ...
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 [...] e topologiche della v. stessa (omologia, coomologia ecc.). 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 ...
Leggi Tutto
. Introduzione. - L'a. o. è stata già introdotta nella voce topologia, (App. III, 11, p. 960) in quanto è proprio in questa materia che essa trova le sue motivazioni d'origine. Infatti, in topologia, "teorie [...] 1, . . ..
Se per ogni A-modulo M si prende una risoluzione iniettiva 0 S-107??? M S-107??? I0 S-107??? I1 S-107???. . fissati N, per ogni omomorfismo f: M′ S-107??? M si definisce una funzione indotta f*: YextAn(M, N) S-107??? YextAn(M′, N), e per ...
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) [...] Y → X è un isomorfismo se q ≤ n - 2; ed è iniettiva se q = n - 1. Da questo risultato si deduce, ad esempio Y; se r 〈 0, allora - r è l'‛ordine di polo'.
Per una data funzione non nulla f, il numero r è diverso da zero solo per un numero finito di ...
Leggi Tutto
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. [...] corpo K, che esso lascia fisso, è il corpo di tutte le funzioni razionali simmetriche nelle xi con coefficienti in k. Il corpo L è nozione duale di dimensione omologica. Inoltre, diciamo che B ha dimensione iniettiva n se Extn+1(A, B) = 0 per ogni A ...
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 [...] sviluppati i concetti di modulo iniettivo e proiettivo, di risoluzione iniettiva o proiettiva di un modulo (con q=1,…,2n+1; p=1,…,n) per opportune gp funzioni continue di una variabile.
Omologia stabile dei gruppi classici. Il matematico ungherese ...
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 [...] è successore di alcun numero naturale, (IV) sc è un'operazione iniettiva da ℕ a ℕ, e (V) ℕ è il più piccolo insieme per giustificare le definizioni ricorsive in ℕ, con le quali viene determinata una funzione F su ℕ fissando F(0) e dicendo come F(sc(x ...
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 [...] 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, λ1,λ2,…, se in numero infinito, sono ...
Leggi Tutto
palo
s. m. [lat. palus, etimologicamente affine a pala1, con cui ha in comune il sign. di «ciò che si affonda nel terreno»]. – 1. Legno, avente sezione tondeggiante e sviluppo prevalente nel senso della lunghezza, che piantato in terra per...
occhio
òcchio s. m. [lat. ŏcŭlus]. – 1. a. In anatomia, organo di senso, pari, caratteristico dei vertebrati, che ha la funzione di ricevere gli stimoli luminosi e di trasmetterli ai centri nervosi dando origine alle sensazioni visive; è costituito...