Cartan Elie
Cartan 〈kartàn〉 Elie [STF] (Dolomieu 1869 - Parigi 1951) Prof. di geometria superiore nell'univ. di Parigi (1909); socio straniero dei Lincei (1927). ◆ [ALG] Algebra di C.: data un'algebra [...] e. ◆ [ALG] Metodo di C.: v. gruppi di Lie: III 115 d. ◆ [ALG] Sviluppo di C.: costruzione che fornisce una biiezione fra particolari insiemi di curve lisce: v. geometria differenziale stocastica: III 37 f. ◆ [PRB] Teorema di C.-Hadamard: v. geometria ...
Leggi Tutto
applicazione
applicazióne [Der. del lat. applicatio -onis "atto ed effetto dell'applicare", dal part. pass. applicatus di applicare: (→ applicabile)] [ALG] Si dice che f è un'a. di un insieme P in un [...] 'a. iniettiva o iniezione; un'a. che sia simultaneamente suriettiva e iniettiva si chiama a. biiettiva o a. biunivoca o biiezione. Il concetto di a. è una generalizzazione del concetto di funzione. ◆ [ALG] A. biiettiva: v. sopra. ◆ [ALG] A. bilineare ...
Leggi Tutto
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] Allora t è definibile in termini di S in T se e solo se per tutte le coppie di m. di T, U(α) e U(β), e per ogni biiezione ϕ di α in β che sia s-isomorfismo per tutti gli s ∈ S, ϕ è anche t-isomorfismo". Anche questo è, dunque, un esempio di proprietà ...
Leggi Tutto
biiezione
biiezióne (meno corretto bigezióne) s. f. [comp. di bi- e (in)iezione]. – In matematica, lo stesso che funzione biiettiva (v. biiettivo), sinon. di corrispondenza biunivoca e di permutazione.