Notazioni matematiche
# Notazioni matematiche

In matematica le formule rivestono grande importanza: molti risultati si possono esprimere con una sola formula. Ha quindi grande importanza la scelta delle notazioni: come in tutte le discipline ed in tutti gli ambienti culturali è importante il linguaggio utilizzato per registrare e comunicare fatti e idee.

Molti simboli derivano da abbreviazioni di parole e sono motivati dalla opportunità di evitare con la concisione i lunghi giri di frase dispersivi. Talvolta lo stesso simbolo assume più significati (ad esempio l'apice non sempre indica derivazione). Altre volte più notazioni sono associate allo stesso significato (come nel caso della trasposizione).

| $y=y(t)$ | Variabile dipendente y espressa come funzione (non specificata) della variabile indipendente t |
| - | - |
| $\operatorname {dom} \,y(t)$ | Dominio della funzione (non specificata) della variabile indipendente y(t) |
| $\operatorname {codom} \,y(t)$ | Codominio della funzione (non specificata) della variabile indipendente y(t) |
| $y=\sin {t}=\operatorname {sen} \,{(t)}$ | Variabile dipendente y espressa come la funzione trigonometrica seno della variabile indipendente t |
| $y=\cos {t}$ | Variabile dipendente y espressa come la funzione trigonometrica coseno della variabile indipendente t |
| $y=\tan {t}=\operatorname {tg} \,t$ | Variabile dipendente y espressa come la funzione trigonometrica tangente della variabile indipendente t |
| $y=\cot {t}=\operatorname {cotg} \,t$ | Variabile dipendente y espressa come la funzione trigonometrica cotangente della variabile indipendente t |
| $y=\sec {t}$ | Variabile dipendente y espressa come la funzione trigonometrica secante della variabile indipendente t |
| $y=\csc {t}=\operatorname {cosec} \,t$ | Variabile dipendente y espressa come la funzione trigonometrica cosecante della variabile indipendente t |
| $y=\exp {t}=e^{t}$ | Variabile dipendente y espressa come la funzione trascendente esponenziale della variabile indipendente t (ovvero elevamento del numero di Nepero e alla potenza t) |
| $y={\sqrt[{n}]{t}}=t^{\frac {1}{n}}$ | Variabile dipendente y espressa come la funzione trascendente di estrazione della radice n-esima della variabile indipendente t (ovvero elevamento di t alla potenza ${\frac {1}{n}}$) |
| $y=\log _{b}{t}$ | Variabile dipendente y espressa come la funzione trascendente logaritmo in base b della variabile indipendente t |
| $y=\ln {t}$ | Variabile dipendente y espressa come la funzione trascendente logaritmo naturale della variabile indipendente t |
| $y=\operatorname {Log} \,t=\log _{10}t$ | Variabile dipendente y espressa come la funzione trascendente logaritmo in base 10 della variabile indipendente t |
| $y=\sinh {t}$ | Variabile dipendente y espressa come la funzione trascendente seno iperbolico della variabile indipendente t |
| $y=\cosh {t}$ | Variabile dipendente y espressa come la funzione trascendente coseno iperbolico della variabile indipendente t |
| $y=\tanh {t}$ | Variabile dipendente y espressa come la funzione trascendente tangente iperbolica della variabile indipendente t |
| $y=\coth {t}$ | Variabile dipendente y espressa come la funzione trascendente cotangente iperbolica della variabile indipendente t |
| $y=\arcsin {t}=\sin ^{-1}\,t$ | Variabile dipendente y espressa come la funzione trigonometrica arcoseno della variabile indipendente t |
| $y=\arccos {t}=\cos ^{-1}\,t$ | Variabile dipendente y espressa come la funzione trigonometrica arcocoseno della variabile indipendente t |
| $y=\arctan {t}=\operatorname {tg} ^{-1}\,t$ | Variabile dipendente y espressa come la funzione trigonometrica arcotangente della variabile indipendente t |
| $\lim _{t\rightarrow \infty }\,y(t)$ | Limite della funzione y al tendere all'infinito (∞) della variabile indipendente t |
| $dy=\lim _{dt\rightarrow 0}\,y(t+dt)-y(t)$ | Differenziale dy dell'incremento della funzione y a fronte dell'incremento infinitesimo dt della variabile indipendente t |
| ${\frac {dy(t)}{dt}}=y^{(1)}(t)=y^{\prime }(t)={\dot {y}}(t)$ | Derivata prima della funzione y rispetto alla sua variabile indipendente t |
| ${\frac {d^{2}y(t)}{dt^{2}}}=y^{(2)}(t)=y^{\prime \prime }(t)={\ddot {y}}({t})$ | Derivata seconda della funzione y rispetto alla sua variabile indipendente t |
| $\mathbf {v} ={\vec {v}}={\underline {v}}=\left({\begin{matrix}v_{1}\\\vdots \\v_{n}\end{matrix}}\right)={\begin{bmatrix}v_{1}\\\vdots \\v_{n}\end{bmatrix}}$ | Vettore colonna v espresso nelle sue componenti $v_{1},\cdots ,v_{n}$ |
| $y={f(v_{1},\cdots ,v_{n})}={f({\vec {v}})}$ | Variabile dipendente y espressa come Funzione in più variabili $f({\vec {v}})$ |
| ${\frac {\partial y(v_{1},\cdots ,v_{i},\cdots ,v_{n})}{\partial v_{i}}}=y_{v_{i}}(v_{1},\cdots ,v_{i},\cdots ,v_{n})$ | Derivata parziale della funzione y rispetto alla sua variabile indipendente $v_{i}$ |
| $f_{xy}{(x,y)}$ | Funzione in due variabili $f(x,y)$ derivata parzialmente prima rispetto alla sua variabile indipendente x e poi derivata parzialmente rispetto a y |
| $f_{xx}{(x,y)}$ | Funzione in due variabili $f(x,y)$ derivata parzialmente due volte rispetto alla sua variabile indipendente x |
| $\sum _{i=0}^{N}\{a_{i}\}$ | Sommatoria per l'indice i che va da 0 a N della successione $\{a_{i}\}$ |
| $\prod _{i=0}^{N}\{a_{i}\}$ | Produttoria per l'indice i che va da 0 a N della successione $\{a_{i}\}$ |
| $\int _{0}^{\infty }f(x)\,dx=\lim _{dx\rightarrow 0}\,\sum _{i\in \operatorname {dom} \,f(x),i=0}^{\infty }f(i)\cdot dx$ | Integrale definito nell'intervallo compreso tra 0 e ∞ della funzione f(x) |
| $\iint _^f(x,y)\,dx\,dy$ | Integrale doppio indefinito della funzione f(x,y) negli incrementi infinitesimi dx e dy |
| $\int _^f(x)\,dx$ | Integrale indefinito della funzione f(x) nell'incremento infinitesimo dx |
| $\iiint _{D}f(x,y,z)\,dx\,dy\,dz$ | Integrale triplo definito della funzione f(x,y,z) nella regione di spazio D |
| $\oint _{C}f(x)\,dx$ | Integrale di linea definito lungo una curva chiusa C (integrale ciclico) della funzione f(x) nel differenziale dx |
| ${\vec {\nabla }}{f(v_{1},\cdots ,v_{n})}={\vec {\nabla }}{f({\vec {v}})}=\nabla {f({\vec {v}})}$ | Gradiente (o nabla) della funzione in più variabili $f({\vec {v}})$ |
| $\mathbf {v} \wedge \mathbf {w} =\mathbf {v} \times \mathbf {w}$ | Prodotto vettoriale o esterno tra due vettori v e w |
| $\mathbf {v} \cdot \mathbf {w} =\mathbf {v} ^{T}\mathbf {w} =\mathbf {v} ^{\prime }\mathbf {w}$ | Prodotto scalare o interno tra due vettori v e w |
| $\mathbf {F} (x,y,z,t)={\vec {F}}(x,y,z,t)$ | Funzione vettoriale o campo vettoriale in più variabili F(x,y,z,t) |
| ${\nabla }^{2}f(x,y,z,t)$ | Laplaciano della funzione in più variabili f(x,y,z,t) |
| ${\nabla }\cdot \mathbf {F} (x,y,z,t)=\operatorname {div} \,\mathbf {F}$ | Divergenza del campo vettoriale in più variabili F(x,y,z,t) |
| ${\nabla }\times \mathbf {F} (x,y,z,t)={\nabla }\wedge \mathbf {F} (x,y,z,t)=\mathrm {rot} \,\mathbf {F}$ | Rotore del campo vettoriale in più variabili F(x,y,z,t) |
| $A=\mathbf {A} ={\underline {A}}=[A]=[a_{ij}]=$ $={\begin{bmatrix}a_{11}&\cdots &a_{1n}\\\vdots &\ddots &\vdots \\a_{m1}&\cdots &a_{mn}\end{bmatrix}}={\begin{pmatrix}a_{11}&\cdots &a_{1n}\\\vdots &\ddots &\vdots \\a_{m1}&\cdots &a_{mn}\end{pmatrix}}$ | Matrice A di dimensioni m×n espressa nei suoi elementi $a_{ij}:i\in [0,m]\subset \mathbb {N} ,j\in [0,n]\subset \mathbb {N}$ (se m=n, A è una matrice quadrata) |
| $\det {A}=|A|={\begin{vmatrix}a_{11}&\cdots &a_{1n}\\\vdots &\ddots &\vdots \\a_{n1}&\cdots &a_{nn}\end{vmatrix}}$ | Determinante della matrice quadrata A |
| $||A||={\begin{Vmatrix}a_{11}&\cdots &a_{1n}\\\vdots &\ddots &\vdots \\a_{n1}&\cdots &a_{nn}\end{Vmatrix}}$ | Norma della matrice quadrata A |
| $|\,s\,|={\begin{cases}s,&{\mbox{se }}s>0\\-s,&{\mbox{se }}s<0\end{cases}}$ | Modulo dello scalare s |
| $||\,\mathbf {v} \,||=|\,{\vec {v}}\,|={\sqrt {\mathbf {v} ^{T}\mathbf {v} }}$ | Norma o modulo del vettore v |
| $\mathbf {v} ^{T}={\begin{bmatrix}v_{1}\\\vdots \\v_{n}\end{bmatrix}}^{T}={\begin{bmatrix}v_{1},&\cdots ,&v_{n}\end{bmatrix}}$ | Vettore riga espresso come trasposizione del vettore colonna v |
| $\mathbf {e} _{x}\,=\,{\hat {e}}_{x}\,=\mathbf {\hat {i}} \,$ | Versore di base di uno spazio |
| $A'=A^{\mbox{T}}=A^{tr}=^{t}A=A_{-1}=A*$ $={\begin{bmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&\ddots &\ddots &\vdots \\\vdots &\ddots &\ddots &\vdots \\a_{m1}&\cdots &\cdots &a_{mn}\end{bmatrix}}^{T}={\begin{bmatrix}a_{11}&a_{21}&\cdots &a_{n1}\\a_{12}&\ddots &\ddots &\vdots \\\vdots &\ddots &\ddots &\vdots \\a_{1m}&\cdots &\cdots &a_{nm}\end{bmatrix}}$ | Trasposizione della matrice A |
| $A^{-1}\,$ | Inversa della matrice quadrata A ($A^{-1}\,$ esiste solo se A è una matrice invertibile) |
| ${\mbox{adj}}A$ | Trasposta della matrice dei cofattori della matrice A |
| $A^{-1}A=I_{n}$ | Prodotto di matrici tra la matrice quadrata A n×n e la sua inversa $A^{-1}\,$ ($A^{-1}\,$ esiste solo se A è una matrice invertibile) che dà come risultato la matrice identica n×n $\mathbf {1} _{n}$ |
| $A\mathbf {v} _{i}=A(\operatorname {eig_{i}} A)=\lambda _{i}\mathbf {v} _{i}\,$ | $\mathbf {v} _{i}$ è l'autovettore i-esimo della matrice quadrata A, mentre $\lambda _{i}\,$è l'autovalore associato |
| $\operatorname {tr} \,A=\operatorname {track} \,A=$ $=\operatorname {tr} {\begin{pmatrix}a_{11}&\cdots &a_{1n}\\\vdots &\ddots &\vdots \\a_{n1}&\cdots &a_{nn}\end{pmatrix}}=\sum _{i=j}^{m,n}a_{ij}$ | Traccia della matrice quadrata A |
| $\operatorname {ker} \,A=\operatorname {nul} \,A$ | Nucleo della matrice A |
| $\operatorname {span} \,A$ | Spazio vettoriale generato dalla matrice A |
| $\operatorname {rank} \,A=\operatorname {\rho } \,(A)$ | Rango o caratteristica della matrice A |
| $\mathrm {cof} (A,x_{i,j})$ | Cofattore in posizione $i,j$ della matrice A |
| $z=a+\mathbf {\imath } b=\Re \{z\}+\mathbf {i} \Im \{z\}=|z|e^{\mathbf {i} \angle z}=a+jb$ | Numero complesso z espresso come somma algebrica della sua parte reale a e della sua parte immaginaria b moltiplicata per l'unità immaginaria |
| $z^{*}={\bar {z}}=a-\mathbf {\imath } b$ | Complesso coniugato del numero complesso $z=a+\mathbf {\imath } b$ |
| $|\,z\,|={\sqrt {z{\bar {z}}}}$ | Modulo del numero complesso z |
| $\angle z=\arg z=\arctan {\frac {\Im \{z\}}{\Re \{z\}}}$ | Fase o argomento del numero complesso z |
| $\forall z\in \mathbb {C}$ | Quantificatore universale applicato al generico elemento z dell'insieme dei numeri complessi |
| $\exists z\in \mathbb {C}$ | Quantificatore esistenziale applicato al generico elemento z dell'insieme dei numeri complessi |
| $p\land q$ | Congiunzione logica (AND) tra il predicato p e il predicato q |
| $p\lor q$ | Disgiunzione logica (OR) tra il predicato p e il predicato q |
| ${\bar {q}}=\neg q$ | Negazione logica (NOT) del predicato q |
| $p\oplus q$ | Disgiunzione esclusiva logica (XOR) tra il predicato p e il predicato q |
| $\mathbf {v} \otimes \mathbf {w}$ | Prodotto tensoriale tra due vettori v e w |
| $p\supset q$ $p\Rightarrow q$ | Il predicato q è conseguenza logica del predicato p |
| $p\Leftrightarrow q$ | Corrispondenza biunivoca logica tra il predicato p e il predicato q |
| $P(A,B)=P(A\cap B)$ | Probabilità congiunta relativa al verificarsi in contemporanea dell'evento A e dell'evento B |
| $P(A|B)=P(A/B)$ | Probabilità condizionata relativa al verificarsi dell'evento A dato il verificarsi dell'evento B |
| $\mathbb {E} \ [X]={\bar {X}}$ | Valore atteso della variabile stocastica X |
| $\operatorname {var} \ (X)$ $=\sigma ^{2}\ (X)$ | Varianza della variabile stocastica X |
| $n!=\prod _{i=1}^{n}i$ | Fattoriale del numero naturale n |
| ${n \choose k}={\frac {n!}{k!(n-k)!}}$ | Coefficiente binomiale per combinazioni di n esiti che si realizzano a gruppi di k |
| $I=\{x:P(x)\}$ | Insieme degli elementi che soddisfano il predicato P(.) |
| $x\in I$ | L'elemento x appartiene all'insieme I |
| $S\subset I$ | L'insieme S è un sottoinsieme dell'insieme I |
| $S\subseteq I$ | L'insieme S è un sottoinsieme dell'insieme I o coincide con esso |
| $S-I=S\backslash I$ | Differenza tra l'insieme S e l'insieme I |
| $S\cup I$ | Unione tra l'insieme S e l'insieme I |
| $S\cap I$ | intersezione tra l'insieme S e l'insieme I |
| $S={\bar {I}}=\complement (I)$ | S e l'insieme complementare dell'insieme I |
| $S\times I:=\{(s,i):s\in S\;\mathrm {e} \;i\in I\}.$ | Prodotto cartesiano tra l'insieme S e l'insieme I |
| $\mathbb {N} \,$ | Insieme dei numeri naturali |
| $\mathbb {N} _{0}\,$ | Insieme dei numeri naturali a cui è aggiunto lo zero |
| $\mathbb {Z} \,$ | Insieme dei numeri interi o relativi |
| $\mathbb {Q} \,$ | Insieme dei numeri razionali |
| $\mathbb {R}$ | Insieme dei numeri reali |
| $\mathbb {C}$ | Insieme dei numeri complessi |
| $\mathbb {H}$ | Insieme dei quaternioni |
