armonico
armònico [agg. (pl.m. -ci) e s.m. Der. del gr. harmonikós, da harmózo "accordare"] [LSF] Termine inizialmente proprio dell'arte musicale, dall'accez. relativa alle corde di alcuni strumenti [...] (CA/CB)/(DA/DB) valga -1. ◆ [ANM] Integrale a.: integrale di una forma armonica. ◆ [PRB] Media a.: per n numeri positivi an, è l'inverso A della media aritmetica degli inversi dei numeri: A=n/ Σn(1/an). ◆ [MCC] Moto a.: v. cinematica: I 592 e. ◆ [ANM ...
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 [...] su sottoinsiemi di un anello generico. Si definisce in analogia alla funzione esponenziale, tramite lo sviluppo in serie exp(a)=Σn=∞n=0 an/n! Nella teoria dei gruppi di Lie l'a. esponenziale è della forma exp:g→G, dove G è un gruppo di Lie e g è la ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] operatori: I 96 b. ◆ [ANM] P. infinito: data una successione di numeri a₁,a₂,a₃,... è l'espressione a₁a₂a₃...=Πnn==₁∞an; si dice che esso ha il valore P, o converge a P, se il limite dei p. troncati a N fattori è P (in partic., si ha un p. nullo se P ...
Leggi Tutto
rappresentazione galoisiana
Massimo Bertolini
Sia ℚ il campo dei numeri razionali e si indichi con ℚ_ la chiusura algebrica di ℚ. Il campo ℚ_ è il sottocampo del campo dei numeri complessi contenente [...] x)=0, dove p(x) è un polinomio xn+an−1xn−1+...+a0 di grado n≥1 a coefficienti in ℚ. In modo equivalente, si può definire K è un campo e GLd(K) è il gruppo delle matrici d×d a coefficienti in K aventi determinante diverso da zero. Nei casi in cui la ...
Leggi Tutto
anello di polinomi
Luca Tomassini
Sia F un campo, ovvero un corpo commutativo. Si definisce anello di polinomi F[x] in una indeterminata x l’insieme dei simboli a0+a1x+...+anxn, dove n è un intero non [...] i termini così ottenuti. Se
p(x)=a0+a1x+...+anxne an≠0,
l’intero n si chiama grado di p(x) e si indica δp(x). La generalizzazione al caso F[x1,...,xν] di anelli di polinomi a più variabili è immediata, tenendo conto della definizione δx1α1x2α2...xναν ...
Leggi Tutto
numerazione
numerazióne [Der. del lat. numeratio -onis "atto ed effetto del numerare", da numerare (→ numeratore)] [ALG] (a) Il sistema dei numeri e la rappresentazione di questi (anche sistema di n.: [...] sistema per cui a ogni utente di corrispondere, a uno a uno, a contare sino a 12 con una sola mano e sino a (una mano per contare fino a 12, come detto sopra, e per i numeri, con: (a) la n. primitiva, della scomposizione seguente: a=b0a₀+b1a₁+b2a₂+...+ ...
Leggi Tutto
definibilità
Silvio Bozzi
Nella logica matematica, concetto utilizzato in due sensi: uno riferito alle costanti extralogiche di una teoria in un linguaggio L, l’altro alle relazioni o funzioni su una [...] la relazione R⊂DnM è definibile con parametri in X⊂DM se esiste una formula A(x1,...,xn, y1,...,yk) di L e b1,…,bk in X per cui
X={〈a1,...,an>:M∣=A[a1,...,an b1,...,bk]}.
Parleremo di definibilità tout court se X=∅. Discorso analogo si può fare ...
Leggi Tutto
parabola
paràbola [Der. del gr. parabállo "gettare accanto", riferendosi al fatto di condurre un piano parallelamente a una generatrice di un cono] [ALG] Curva piana aperta, appartenente alla famiglia [...] ALG] P. campaniforme, cuspidata, nodata, puntata: tipi di cubiche: → cubica. ◆ [ALG] P. di ordine superiore: ogni curva di equazione y=a₀xn+a₁n+a1xn-1+...+an(l'ordine è n); lo stesso nome p. è dato anche alle curve di equazione ym=pxn, con p costante ...
Leggi Tutto
ramo
ramo [Der. del lat. ramus] [LSF] Termine usato nel linguaggio scientifico con signif. mutuati dall'immagine propria del r. delle piante. ◆ [ALG] R. cuspidale: v. curve e superfici: II 76 b. ◆ [ANM] [...] sono esprimibili mediante serie di potenze di un parametro t, x=a₀+a₁t+a₂t₂+..., y=b₀+b₁t+b₂t₂+..., in modo tale che (z₀), è l'insieme dei valori della funzione dati da una serie di potenze, w=w₀+Σn=∞n=1 an(z-z₀)n, nel suo cerchio di convergenza. ...
Leggi Tutto
Laguerre Edmond-Nicolas
Laguerre 〈lag✄èr〉 Edmond-Nicolas [STF] (Bar-le-Duc 1834 - m. 1886) Ufficiale di artiglieria, poi prof. di geometria nell'Accademia delle scienze di Parigi (1874). ◆ [ANM] Equazione [...] data sopra; (b) nella teoria delle equazioni algebriche, per un dato polinomio f(x)=a₀xn+a₁xn-1+... +an-1x+an, ogni polinomio del tipo fr(x)=a₀xn-r+ a₁xn-r-1+...+an-r-1x+an-r, con r=0,1,...,n, che interviene in varie questioni di algebra dei polinomi ...
Leggi Tutto
a-2
a-2 (davanti a vocale an-) [dal gr. ἀ-, ἀν-, con lo stesso etimo e valore del lat. in-; cfr. gr. ἄ-σοϕος, lat. in-doctus]. – Primo elemento (detto alfa privativo, o anche, meno spesso, a- privativo, a- negativo) di composti greci o formati...