Sistemi, scienza e ingegneria dei
Salvatore Monaco
Con il termine sistema si intende qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti [...] se Δt∑(t0) =∑(t0) per ogni (t, t0) ∈T×T, dove Δt denota l’operatore di traslazione
[5] (Δt f )(t′) = f (t′+ t).
In questo caso il 1991, pp. 259-294.
Wonham 1979: Wonham, W. Murray, Linear multivariable control: a geometric approach, 2. ed., New York, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] e di algebra (in particolare di algebra lineare e teoria dell'eliminazione). Tra il 1952 e n è una coppia (m,k) e k realizza B(m).
Qui ∙ è l'operazione di applicazione tra un numero e il codice di una funzione ricorsiva parziale. Kleene stabilì ...
Leggi Tutto
Poisson Simeon-Denis
Poisson 〈puasòn〉 Siméon-Denis [STF] (Pithiviers 1781 - Parigi 1840) Prof. di analisi matematica e di meccanica nell'École polytechnique (1802) e alla Sorbona di Parigi (1812). ◆ [...] estese applicazioni nella fisica delle particelle. ◆ [ANM] Equazione di P.: è l'equazione lineare alle derivate parziali seconde, non omogenea, ∇2V+kp=0, con ∇2 operatore laplaciano, V e p funzioni delle coordinate spaziali e k costante; è una delle ...
Leggi Tutto
algebre di von Neumann
Luca Tomassini
Un’algebra di von Neumann C è una sotto-algebra involutiva dell’algebra B(ℋ) degli operatori lineari limitati (ovvero continui) su uno spazio di Hilbert ℋ (con [...] Aν−Bx∣∣=0; allora B appartiene a C; (b) contiene l’operatore identità ed è un insieme chiuso rispetto alla convergenza debole: sia Aν di von Neumann C, in particolare, è un funzionale lineare positivo, definito su un sottoinsieme denso ✄ di C e ...
Leggi Tutto
spettrale
spettrale [agg. Der. di spettro] [LSF] (a) Che si riferisce a spettri atomici o molecolari di emissione o di assorbimento. (b) Di proprietà dipendente dalla lunghezza d'onda o dalla frequenza [...] (spec. se è un reticolo di diffrazione) non è lineare in frequenza o ha difetti di costruzione. ◆ [ANM] Raggio s.: v. algebre di operatori: I 93 c. ◆ [ANM] Rappresentazione s. di un operatore: v. equazioni integrali: II 480 e. ◆ [OTT] Riga s ...
Leggi Tutto
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 [...] : Teoria delle matrici. ◆ [ALG] [ANM] A. principale: v. equazioni integrali: II 480 c. ◆ [MCQ] Problema agli a.: locuz. talvolta adottata per indicare la soluzione di un'equazione agli a. per un dato operatore: v. meccanica quantistica: III 706 c. ...
Leggi Tutto
Hermite Charles
Hermite 〈ermìt〉 Charles [STF] (Dieuze 1822 - Parigi 1901) [STF] Prof. di analisi matematica alla Sorbona (1869) e poi nell'École Polytechnique (1878); socio straniero dei Lincei (1883). [...] =0 e intervengono, per es., nella teoria dell'oscillatore lineare nella meccanica quantistica (v. oscillatore armonico quantistico: IV 322 di n si ha H₀=1, H₁=2x, H₂=4x2-2. ◆ [ANM] Operatore di H.: v. analisi armonica: I 127 c. ◆ [ANM] Polinomi di H ...
Leggi Tutto
antilineare
antilineàre [Comp. di anti- e lineare] [ALG] [ANM] Detto di un operatore T che gode della proprietà: T(a₁f₁+a₂f₂)=a-₁Tf₁+a-₂Tf₂, dove f₁ e f₂ sono funzioni, a₁ e a₂ costanti complesse, a-₁ [...] e a-₂ i loro valori coniugati ...
Leggi Tutto
lineamento
lineaménto s. m. [dal lat. lineamentum (der. di linea) «linea, riga» e al pl. «contorni, fattezze»]. – Non com., linea, soprattutto in quanto venga tracciata, o disposizione di linee; ant., modo di disegnare, in genere; nel linguaggio...
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...