From Wikipedia, the free encyclopedia
V matematice a informatice se pojmem kanonický tvar (případně kanonická forma, normální tvar, základní tvar, standardní forma nebo normální forma) označuje způsob, jakým se obvykle (či přednostně) zapisuje nebo v počítači ukládá objekt dané třídy.
Kanonický tvar zápisu objektů z nějaké třídy musí mít dvě základní vlastnosti:
Z matematického hlediska tedy předpokládáme, že máme nějakou množinu objektů, které nás zajímají, a nějakou na ní existující relaci ekvivalence. Definici konkrétního kanonického tvaru pro objekty této množiny pak vytvoříme tím, že z každé třídy ekvivalence vybereme jednoho reprezentanta jakožto kanonický tvar všech prvků příslušné třídy.
Kanonický tvar může být v některých případech jen otázkou formální konvence, jindy může být existence kanonického tvaru zjevná, někdy však zjevná není a fakt, že kanonický tvar existuje je hlubokým matematickým výsledkem.
Například polynomy se často zapisují od vyšších mocnin k nižším: spíše než se používá zápis . Lze říci, že zápis je kanonickým tvarem a jelikož se na tento kanonický tvar převede jak , tak např. , je ihned vidět, že tyto polynomy jsou shodné.
Oproti tomu např. Jordanova normální forma matice je důležitou větou lineární algebry.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.