Kanonický tvar

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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.

Definice[editovat | editovat zdroj]

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 + x2 se používá x2 + x + 30. Lze tedy říci, že kanonickým tvarem polynomu x + 30 + x2 je x2 + x + 30. Na druhou stranu Jordanův normální tvar matice je důležitou větou lineární algebry.

Příklady[editovat | editovat zdroj]

Související články[editovat | editovat zdroj]