La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] le loro proprietà funtoriali e si mette in rilievo l'anticommutatività.
Si introducono il determinante di un endomorfismo e di una matrice quadrata e se ne esplicita il calcolo. La teoria dei determinanti dà luogo a un trattato completo e si studia ...
Leggi Tutto
autovalóre
Dizionario delle Scienze Fisiche (1996)
autovalore
autovalóre [Comp. di auto- e valore] (a) [ALG] [ANM] (a) Data una trasformazione lineare f di uno spazio vettoriale V in sé stesso, è uno scalare s tale che, per qualche v∈V vale la relazione [...] non identicamente nulle, dette autofunzioni: v. equazioni integrali: II 477 d. ◆ [ALG] A. e autovettore di una matrice: → matrice: Teoria delle matrici. ◆ [ALG] [ANM] A. principale: v. equazioni integrali: II 480 c. ◆ [MCQ] Problema agli a.: locuz ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] primo ordine). Si è occupato inoltre di questioni di decidibilità, di logiche intuizionistiche (proponendo come matrici per il calcolo intuizionistico proposizionale sottoinsiemi chiusi di uno spazio topologico e sviluppando ulteriormente la tendenza ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
caratteristica
Enciclopedia on line
In matematica, il termine è usato con diversi significati.
In algebra la c. di un corpo K sia lo zero oppure un numero primo, p, a seconda che il sottocorpo fondamentale di K sia il campo razionale, o [...] elemento di M non appartenente a E.
C. di un logaritmo è la sua parte intera.
C. (o rango) di una matrice è il massimo numero delle sue righe che sono linearmente indipendenti; questo è anche il massimo numero delle colonne linearmente indipendenti ...
Leggi Tutto
Computazionali, metodi
Enciclopedia Italiana - VI Appendice (2000)
I m. c. permettono di risolvere con calcolatori elettronici, all'interno delle scienze applicate, i problemi complessi che sono formulabili tramite il linguaggio della matematica. Tali problemi raramente [...] per es., si fissano uguali a 1 gli elementi diagonali di L (decomposizione di Gauss) o quelli di U (decomposizione di Crout). Note le matrici L e U, la risoluzione di un sistema Ax=b può ricondursi a quella di due sistemi triangolari Ly=b e Ux=y (in ...
Leggi Tutto
autoconsistènte
Dizionario delle Scienze Fisiche (1996)
autoconsistente
autoconsistènte [agg. Comp. di auto- e consistente] [LSF] Di soluzioni di problemi, di valori dedotti da dati con procedimenti di calcolo, e simili, i quali hanno un signif. intrinseco, [...] nel campo (appunto il campo a.) generato dalla distribuzione di carica degli altri elettroni; un suo miglioramento (uso di matrici di funzioni d'onda, anziché prodotti, e altro) ha dato luogo al metodo di Hartree-Fock (v.). ◆ [MCS] Soluzione ...
Leggi Tutto
tensore
Enciclopedia on line
Anatomia
Muscolo volontario o involontario che ha la funzione di tendere un organo o una formazione anatomica: t. del palato, contrae il palato molle; t. del tarso, nell’orbita, comprime i punti lacrimali [...] di tali enti fu condotto dalle sue ricerche sui cristalli (1882). Ma l’algoritmo tensoriale ha le sue origini nella teoria delle matrici e dei determinanti, i cui primi accenni sono dovuti a G.W. Leibniz (1693) e il loro sviluppo sistematico a K.G ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
meccanica
Dizionario delle Scienze Fisiche (1996)
meccanica
meccànica [Der. del lat. mechanica, dal gr. mechaniké (téchne) "(arte) delle macchine"] [MCC] Nella suddivisione tradizionale della fisica, la scienza che studia le leggi del moto dei corpi, [...] corrispondente a una grandezza fisica è esprimibile con una matrice (a infinite righe e infinite colonne) i cui fra grandezze fisiche si traducono in relazioni tra le matrici corrispondenti, secondo le regole proprie del calcolo matriciale: ...
Leggi Tutto
ortogonale
Dizionario delle Scienze Fisiche (1996)
ortogonale
ortogonale [Der. del lat. orthogonus, dal gr. orthog✄ònios "ad angolo retto", comp. di orthós "dritto" e g✄onía "angolo"] [ALG] Qualifica di ciascuno di due enti che formano tra loro un angolo [...] f,g)=0. ◆ [ALG] Gruppo o.: il gruppo delle matrici quadrate o. (v. oltre) a elementi reali composte con il prodotto righe per colonne. ◆ [ALG] Matrice o.: matrice R per cui valga RT=R-1, dove RT indica la matrice trasposta di R e R-1 la sua inversa ...
Leggi Tutto
fibrato vettoriale
Enciclopedia della Scienza e della Tecnica (2008)
fibrato vettoriale
Luca Tomassini
Un fibrato {B,X,F,τ} con spazio totale B, spazio di base X e proiezione canonica τ:B→X è detto fibrato vettoriale se: (a) la fibra tipica X è uno spazio vettoriale [...] C(X,M{[(ℂ)) delle funzioni continue dallo spazio X (supposto compatto, di Hausdorff e connesso) a valori nello spazio M{[(ℂ) delle matrici n×n a valori complessi con
dove la norma a secondo membro è una qualunque norma su M{[(ℂ)). Una funzione p∈C ...
Leggi Tutto
CATEGORIA:
GEOMETRIA