misura di Wiener
Luca Tomassini
Una misura di probabilità sullo spazio C([0,1],ℝ) delle funzioni continue a valori reali sull’intervallo chiuso [0,1] definita come segue. Siano 0⟨t1⟨...⟨tν≤1 punti arbitrari [...] )=1/√__2πt e−χ2/2τ. La misura può essere poi estesa alla σ-algebra dei sottoinsiemi boreliani di C([0,1],ℝ) generata dai C(t1,...,tν;A1,..., Aν). Sia ora F:C([0,1],ℝ)→ℝ un funzionale lineare a valori reali misurabile (nel senso di Lebesgue) rispetto ...
Leggi Tutto
autoaggiunto
autoaggiunto [agg. Comp. di auto- e aggiunto] [ANM] Di operatore lineare che è identico al suo operatore aggiunto (anche come s.m.); il termine è sinon. di hermitiano (←) per operatori definiti [...] se lo spazio è infinito-dimensionale; precis., dato uno spazio di Hilbert H, l'a. è un operatore lineare A per cui è (a, Ab)=(Aa, b) con a∈H, b∈H. ◆ [ALG] Elemento a., o hermitiano, di un'algebra di Banach involutiva: v. algebre di operatori: I 93 f. ...
Leggi Tutto
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] i vettori di En sono chiamati "vettori contravarianti".
Sia poi f una forma lineare (f. l.) definita su En e a valori in R (v. spazio contravariante (simmetrico). La relazione [5] stabilisce un isomorfismo (v. algebra, App. II,1, p. 125) fra En e il ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] molto semplice, detto risoluzione SLD (risoluzione lineare per clausole definite con scelta).
Per spiegarlo ha permesso di scoprire nuovi teoremi in vari campi, dall'algebra booleana ternaria alla teoria dei nodi) nonché di varie estensioni ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] di convergenza (operatori lineari continui); questo, sia per la intrinseca bellezza della teoria (Algebra o, rispettivamente Analisi, lineare), sia perché molti problemi della fisica matematica possono tradursi nella discussione dell'esistenza di ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] (ω2) = exp (ω1 + ω2).
Si sviluppano algebre sempre più particolari e differenziate, nella misura in cui gli esse sono del tipo generale
dove
è un generico operatore differenziale lineare, con coefficienti ϑi(z) funzioni delle n variabili complesse z1 ...
Leggi Tutto
RAPPRESENTAZIONE
Guido ZAPPA
. Matematica. - Nell'algebra moderna, la parola rappresentazione ha un significato molto lato, ed è sinonimo della parola omomorfismo (v. algebra; applicazione; gruppo, [...] relative alle indeterminate x1, .., xn di un dato gruppo finito - di una data algebra A - sono gli omomorfismi di G in Γ - rispettivamente di A in H -.
Una sostituzione lineare T porta x1,x2, ..., xn in certe combinazioni lineari
Possiamo quindi far ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] non ben approssimabile con numeri razionali), allora la mappa è coniugata alla mappa lineare g(z)=λz in un intorno di 0.
Il lemma di Sard. un tempo finito se la formula è vera in tutte le algebre di Boole.
Il teorema di Ionescu Tulcea. In una breve ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] che Diofanto parla di tre specie: quella del numero lineare, quella del numero piano e quella del numero solido. IV, p. 103). L'Aritmetica di Diofanto non è un libro di algebra, contrariamente a quanto si legge spesso, ma un vero e proprio trattato di ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] L. Fredman e Tarjan hanno fornito il primo algoritmo sostanzialmente lineare; oppure, il problema della massimizzazione del flusso in una rete Pnueli sempre alla fine degli anni Settanta) e delle algebre di processi (introdotte da Jan Bergstra e Jan ...
Leggi Tutto
sostituzione
sostituzióne (ant. sustituzióne) s. f. [dal lat. tardo substitutio -onis, der. di substituĕre «sostituire»]. – 1. L’azione, l’atto di sostituire; il fatto di sostituirsi o di essere sostituito: nessuno si è accorto della s. dell’originale...
equazione
equazióne s. f. [dal lat. aequatio -onis, der. di aequare «uguagliare»]. – Propr., uguaglianza, uguagliamento, pareggiamento. Il termine, raro con uso generico (si adopera tuttavia, a volte, nel linguaggio letter. e in frasi di tono...