In fisica delle particelle elementari, l’ operazione CPT consiste nell’eseguire le operazioni di inversione del tempo (T), della parità (P) e della carica (C). Per il teorema CPT, dimostrabile a partire [...] da ipotesi molto generali, tutti i processi debbono essere invarianti rispetto all’operazione CPT ...
Leggi Tutto
funzioni d’onda di Bloch
Mauro Cappelli
Soluzioni dell’equazione di Schrödinger relativa a un elettrone in presenza di un potenziale periodico associato a un reticolo cristallino. Secondo quanto afferma [...] reticolo, la funzione d’onda ψ(r) è un’onda piana modulata su scala atomica da una funzione periodica u(r)=u(r+τ). Il teorema di Bloch può allora scriversi nel seguente modo: ψ(r)=e−∥〈∮u(r), dove i è l’unità immaginaria, r il vettore posizione e k ...
Leggi Tutto
Weil Andre
Weil 〈vèei〉 André [STF] (n. Parigi 1906) Prof. di matematica nell'univ. di Princeton. ◆ [ALG] Congetture di W.: v. varietà algebrica: VI 478 b. ◆ [PRB] Teorema di W.: v. cammini aleatori: [...] I 465 a ...
Leggi Tutto
Geroch Robert Paul
Geroch 〈gÝìrok〉 Robert Paul [STF] (n. Akron, Ohio, 1942) Prof. di fisica e matematica nell'Istituto Enrico Fermi dell'univ. di Chicago (1975). ◆ [RGR] Teorema di G.: v. tetrade: VI [...] 249 d ...
Leggi Tutto
incompletezza
incompletézza [Der. di incompleto] [FAF] Il fenomeno per cui ci sono formule A(x) per le quali, per ogni n, si prova A(n), ma non si prova A(x) per ogni x: v. Gödel, teorema di: III 56 [...] b. ◆ [FAF] Teorema di i.: v. Gödel, teorema di: III 53 c. ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
dimostrabile
dimostràbile [Der. di dimostrare: → dimostrazione] [FAF] Detto di un'espressione in un sistema formale T se esiste una sua dimostrazione in T; allora l'espressione costituisce un teorema [...] di T ...
Leggi Tutto
Kaplansky Irving
Kaplansky 〈këplànski〉 Irving [STF] (n. Toronto 1917) Prof. di algebra nell'univ. di Chicago (1965) e poi di matematica nell'univ. della California, a Berkeley. ◆ [ANM] Teorema di densità [...] di K.: v. algebre di operatori: I 98 c ...
Leggi Tutto
Bott Raoul H.
Bott 〈bòt〉 Raoul H. [STF] (n. Budapest 1923, nat. SUA) Prof. di matematica nell'univ. del Michigan (1959) e poi nella Harvard Univ. (1977). ◆ [ANM] Teorema di periodicità di B.: v. algebre [...] di operatori: I 96 c ...
Leggi Tutto
Siegert Arnold John Frederick
Siegert 〈sìig✄ërt〉 Arnold John Frederick [STF] (n. Dresda 1911, nat. SUA) Prof. di fisica nella North Western Univ. a Evanston, Illinois (1947). ◆ [FNC] Teorema di S.: v. [...] raggi gamma: IV 731 c ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
inverso1
invèrso1 agg. e s. m. [dal lat. inversus, part. pass. di invertĕre «invertire»]. – 1. agg. Contrario, opposto, rovescio rispetto a un altro, rispetto al precedente, rispetto a ciò che è abituale: facciamo ora il caso i.; rifare il...