Kanonický tvar

Z Wikipedie, otevřené encyklopedie

V matematice a informatice se pojmem kanonický tvar (případně kanonická forma, normální tvar nebo normální forma) objektu označuje forma, ve které může být objekt jednoznačně prezentován.

Obsah 1 Definice 2 Příklady 2.1 Logika 2.2 Informatika

[editovat] Definice

Kanonický tvar má dvě základní vlastnosti. Zaprvé, každý objekt musí mít právě jeden kanonický tvar. Zadruhé, každé dva objekty, které mají stejný kanonický tvar, musí být stejné (vzhledem k nějaké ekvivalenci)

To, že pro danou třídu objektů existuje kanonický tvar, může být zřejmé, někdy to však zřejmé není a existence kanonického tvaru je hlubokým matematickým výsledkem.

Například polynomy se často zapisují od vyšších mocnin k nižším: Spíše než x + 30 + x² se používá x² + x + 30. Lze tedy říci, že kanonickým tvarem polynomu x + 30 + x² je x² + x + 30. Na druhou stranu Jordanův normální tvar matice je důležitou větou lineární algebry.

[editovat] Příklady

[editovat] Logika

• Disjunktivní normální forma
• Konjunktivní normální forma

[editovat] Informatika

• Normální forma konečného automatu

Tento matematický článek je příliš stručný nebo neobsahuje důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte.