Forma canonica

Disambiguazione – Se stai cercando il concetto dell'algebra di Boole, vedi Forma canonica (algebra di Boole).

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In matematica la forma canonica di un oggetto è una maniera uniforme utilizzata per descriverlo in modo unico^[1], salvo una relazione di equivalenza.^{[non chiaro]}

Una forma canonica per un insieme di oggetti dotato di una relazione di equivalenza è la scelta di un unico elemento (detto "in forma canonica") per ogni classe di equivalenza; ogni oggetto appartiene ad una classe e la sua forma canonica è il rappresentante scelto per quella classe. Una forma canonica può essere una semplice convenzione (come la forma canonica di una conica), oppure può essere il risultato di un teorema più profondo (come la forma canonica di Jordan per le matrici): essa classifica infatti tutte le classi di equivalenza di un insieme, fornendo un rappresentante per ciascuna.

Tramite la forma canonica per verificare l'equivalenza tra due oggetti basta confrontare le loro forme canoniche: essi sono equivalenti se e solo se hanno la stessa forma canonica. In termini pratici può tuttavia essere un problema trovare la forma canonica di un oggetto fissato. Ciononostante, l'impiego della forma canonica può rendere più semplice trattare con la relazione di equivalenza.

Lo stesso argomento in dettaglio: Forma canonica (algebra di Boole).

In algebra booleana la forma canonica di una funzione è un polinomio espresso come somma di termini-prodotto oppure prodotto di termini-somma. Per ogni funzione booleana è possibile calcolare una forma normale associata utilizzando l'algoritmo di Quine-McCluskey.

• Matrice diagonale
• Forma canonica di Jordan

Una forma canonica per i polinomi in una variabile è con le potenze in ordine decrescente.

• (EN) Eric W. Weisstein, Forma canonica / Forma canonica (altra versione), su MathWorld, Wolfram Research.

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica