Accuratezza vs. Precisione

I coefficienti della serie di Fourier di una funzione [latex]s(x)[/latex] con periodo [latex]P[/latex] sono calcolati utilizzando formule integrali. La componente DC è [latex]a_0 = \frac{2}{P} \int_{P} s(x) , dx[/latex]. I coefficienti coseno sono [latex]a_n = \frac{2}{P} int_{P} s(x) \cos\left(\frac{2pi n x}{P}\right) , dx[/latex], mentre i coefficienti seno sono [latex]b_n = \frac{2}{P} \int_{P} s(x) \sin\left(\frac{2\pi n x}{P}\right) , dx[/latex] per [latex]n ge 1[/latex].

Una soluzione fondamentale di un operatore differenziale parziale lineare [latex]L[/latex] è una soluzione dell'equazione [latex]Lu = delta(x)[/latex], dove [latex]delta(x)[/latex] è la funzione delta di Dirac. Essa rappresenta la risposta del sistema a una sorgente puntiforme o a un impulso. Una volta nota, la soluzione dell'equazione disomogenea [latex]Lu = f(x)[/latex] può essere trovata mediante convoluzione: [latex]u(x) = (G * f)(x)[/latex], dove [latex]G[/latex] è la soluzione fondamentale.

Il teorema di Gauss-Bonnet collega la geometria di una superficie bidimensionale compatta alla sua topologia. Esso afferma che l'integrale della curvatura gaussiana [latex]K[/latex] sull'intera superficie [latex]M[/latex] è uguale a [latex]2\pi[/latex] per la caratteristica di Eulero [latex]\chi(M)[/latex] della superficie. La formula è [latex]int_M K \, dA = 2\pi \chi(M)[/latex].

La geometria riemanniana è la branca della geometria differenziale che studia le varietà riemanniane, ovvero varietà lisce dotate di una metrica riemanniana. Questa metrica è un insieme di prodotti scalari sugli spazi tangenti, che variano in modo uniforme da punto a punto. Permette la definizione di nozioni geometriche locali come angolo, lunghezza delle curve, area superficiale e volume, portando a una nozione generalizzata di curvatura.

Nell'algebra lineare, il teorema di rango-nullità afferma che per qualsiasi mappa lineare [latex]T: V \to W[/latex] tra spazi vettoriali di dimensione finita, la dimensione del suo dominio [latex]V[/latex] è la somma del suo rango (la dimensione della sua immagine) e della sua nullità (la dimensione del suo kernel). La formula è [latex]\dim(V) = \text{rango}(T) + \text{nullità}(T)[/latex].

Il teorema dei numeri primi descrive la distribuzione asintotica dei numeri primi tra i numeri interi. Esso afferma che la funzione di conteggio dei primi [latex]\pi(x)[/latex], che dà il numero di primi minori o uguali a [latex]x[/latex], è asintoticamente equivalente a [latex]x / \ln(x)[/latex]. Formalmente, [latex]lim_{x ´a ´infty} \frac{\pi(x)}{x/\ln(x)} = 1[/latex]. Questo fornisce un legame fondamentale tra i primi e il logaritmo naturale.

Una serie di Fourier scompone qualsiasi funzione o segnale periodico in una somma di semplici funzioni oscillanti, ovvero seni e coseni. Per una funzione [latex]s(x)[/latex] con periodo [latex]P[/latex], la serie è data da [latex]s(x) \approx \frac{a_0}{2} + \sum_{n=1}^{\infty} \left[ a_n \cos\left(\frac{2\pi n x}{P}\right) + b_n \sin\left(\frac{2\pi n x}{P}\right)\right][/latex]. I termini [latex]a_n[/latex] e [latex]b_n[/latex] sono i coefficienti di Fourier.

Il Teorema Egregium (in latino "Teorema notevole") afferma che la curvatura gaussiana di una superficie è una proprietà intrinseca. Ciò significa che dipende solo dal modo in cui le distanze sono misurate sulla superficie stessa, non da come la superficie è inserita nello spazio tridimensionale. Un foglio di carta piatto può essere arrotolato in un cilindro ma non in una sfera senza allungarsi.

Affinché una serie di Fourier converga al valore della funzione, la funzione deve soddisfare le condizioni di Dirichlet su un periodo. Queste sono: (1) la funzione deve essere assolutamente integrabile, (2) deve avere un numero finito di estremi (massimi e minimi) e (3) deve avere un numero finito di discontinuità finite.

Le leggi di De Morgan sono una coppia di regole di trasformazione dell'algebra booleana, fondamentali per la progettazione di circuiti digitali. La prima legge afferma che la negazione di una congiunzione è la disgiunzione delle negazioni: [latex]\neg(P ´land Q) ´iff (´neg P) ´lor (´neg Q)[/latex]. La seconda afferma che la negazione di una disgiunzione è la congiunzione delle negazioni: [latex]\neg(P \lor Q) \iff (\neg P) \land (\neg Q)[/latex].

Un manifesto differenziabile è uno spazio topologico localmente simile allo spazio euclideo, che consente di applicare il calcolo. Ogni punto ha un vicinato che è omeomorfo a un sottoinsieme aperto di [latex]\mathbb{R}^n[/latex]. Questi sistemi di coordinate locali, detti grafici, sono correlati da funzioni di transizione lisce, che formano un atlante che definisce la struttura differenziabile del manifold.

L'elettronica digitale si basa sull'algebra booleana, un sistema logico matematico introdotto da George Boole. Utilizza due valori, tipicamente 0 e 1 (o falso e vero), e tre operazioni di base: AND (congiunzione), OR (disgiunzione) e NOT (negazione). Queste operazioni corrispondono direttamente alle porte logiche che costituiscono i componenti fondamentali di tutti i circuiti digitali.

Un omeomorfismo è una funzione continua tra due spazi topologici che ha una funzione inversa continua. Due spazi topologici sono detti omeomorfi se tale funzione esiste. Da un punto di vista topologico, gli spazi omeomorfi sono identici. Questo concetto racchiude l'idea che un oggetto può essere allungato, piegato o deformato in un altro senza strapparsi o incollarsi, come una tazza da caffè in una ciambella.

Il fenomeno di Gibbs descrive il comportamento di una serie di Fourier in corrispondenza di una discontinuità di salto. Le somme parziali della serie presentano un overshoot in prossimità del salto, che non scompare aggiungendo altri termini. Questo overshoot converge a un valore costante pari a circa il 9% dell'altezza del salto, indipendentemente dal numero di termini nella serie.