Rovnost v matematice a informatice: definice, ekvivalence a kongruence

Rovnost v matematice a informatice: srozumilé vysvětlení definic, relací ekvivalence a kongruence s příklady porovnání hodnot, objektů a referencí.

V matematice jsou si dvě věci v obecné rovině považovány za rovny, jestliže představují tentýž matematický objekt nebo mají stejnou hodnotu ve smyslu, v jakém je vztah rovnosti definován. Značí se to znaménkem rovnosti (=). Výrok "x = y" tvrdí, že x a y jsou zaměnitelné: cokoli, co platí pro x, platí i pro y. V teorii množin se rovnost množin vyjadřuje tím, že obě mají přesně stejné prvky.

Vlastnosti rovnosti

Rovnost v matematice splňuje základní logické vlastnosti, které ji charakterizují jako ekvivalenci:

• reflexivita: pro každé x platí x = x;
• symetrie: pokud x = y, pak y = x;
• tranzitivita: pokud x = y a y = z, pak x = z.

Kromě toho platí tzv. Leibnizovo pravidlo (substituce): pokud x = y, lze x nahradit y v libovolném logickém i matematickém výroku aniž by se pravdivost změnila.

Ekvivalence vs. relace ekvivalence

Pojem relace ekvivalence se od rovnosti liší: je to binární relace na množině, která má vlastnosti reflexivity, symetrie a tranzitivity. Relace ekvivalence nerozlišuje různé prvky patřící do stejné třídy ekvivalence — takové třídy (tzv. ekvivalenční třídy) pak hrají roli „rovných“ prvků vzhledem k danému kriteriu. To je širší pojem než striktní rovnost (identita). Množiny, které mají přesně stejné prvky, se považují za rovné (identické), a nemusí být konečné, aby byla tato rovnost definována.

Tvrzení, že dva algebraické nebo aritmetické výrazy označují tutéž veličinu, je matematická rovnost. Opačný typ vztahu, nerovnosti, vyjadřuje, že hodnoty nejsou stejné (např. <, >, ≠) a podléhá vlastním pravidlům a algebraickým úpravám.

Rovnost v logice a predikátech

V matematické logice je rovnost predikátem s velmi silnými důsledky: jestliže najdeme vlastnost, která je pravdivá pro jeden prvek, ale nepravdivá pro jiný, pak tyto dva prvky nejsou rovné (nemají identickou roli v teorii). Rovnost tedy zaručuje vzájemnou zaměnitelnost v jakémkoli kontextu, kde je tato relace respektována.

Kongruence a podobnost v geometrii

V geometrii se často používá pojem kongruence místo „rovnosti“. Geometrické objekty jsou kongruentní, pokud existuje rigidní pohyb (posun, rotace, případně zrcadlení), který jeden objekt přemístí přesně na druhý. Takové zachování velikosti a tvaru se nazývá isometrie. Pokud je třeba objekt zmenšit nebo zvětšit (podle měřítka), objekty už nejsou kongruentní, ale mohou být podobné — mají stejný tvar, ale různou velikost. Pojem kongruence se v algebře používá i v obecnějším smyslu jako kompatibilní ekvivalence s algebraickou strukturou (např. kongruence modulo n).

Dva útvary jsou tedy kongruentní tehdy, když lze jeden přesunout a otočit tak, aby přesně překryl druhý; jestliže je nutné škálování, hovoříme o podobnosti.

Rovnost v informatice a programování

V informatice se obvykle využívá matematická koncepce rovnosti, ale praktická implementace v programovacích jazycích má několik rozdílů. Běžně se pro porovnání hodnot používá operátor ==, zatímco pro přiřazení hodnoty proměnné se užívá = nebo v některých jazycích :=. U typů základních (primitivních) většina jazyků porovnává hodnoty pomocí ==, ale u složených objektů nastává otázka identity versus ekvivalence:

• identita (reference) – dva ukazatele či reference odkazují na tentýž objekt v paměti; v mnoha jazycích se to testuje == nebo speciálním operátorem (např. v Pythonu is);
• hodnotová rovnost – porovnává se obsah nebo „semantická“ hodnota objektů; v některých jazycích je potřeba tuto rovnost explicitně definovat.

V objektově orientovaných jazycích a v jazycích s ukazateli se tedy často rozlišuje, zda a == b znamená „oba jsou stejná reference“ (identita) nebo „oba mají stejné hodnoty“ (ekvivalence). Pokud dva odkazy neukazují na přesně tentýž objekt, může být první test nepravdivý, i když mají objekty stejný obsah.

Proto mnoho jazyků poskytuje speciální mechanismus pro porovnání hodnot objektů: v Javě je to metoda equals, která (pokud je správně implementovaná) porovnává významy/obsahy objektů, nikoli jen to, kam ukazují reference. U různých jazyků se detail implementace a názvy liší (např. v JavaScriptu existují == a přísné === se zřetelem na typy).

Rovnost ve společenských vědách

Ve společenských vědách slovo „rovnost“ obvykle neznamená naprostou identitu dvou osob, ale spíše podobnost nebo parity v určitých důležitých ohledech (např. právní rovnost, rovnost příležitostí, ekonomická rovnost). Dva lidé, kteří mají srovnatelné vzdělání, ekonomické podmínky a sociální postavení, se často považují za sobě rovné v daném kontextu. Jiný termín pro osobu stejného věku nebo stejné sociální skupiny je vrstevník, ale i zde jde o sociálně vymezenou podobnost, nikoli o matematickou identitu.

Stručně řečeno: pojem rovnosti je v matematice přesně definovaný a nese důsledky substituce; v jiných oborech (geometrie, informatika, společenské vědy) se používají blízké, ale specializované významy — kongruence, ekvivalence, nebo sociální/etické pojetí „rovnosti“ podle kontextu.

Otázky a odpovědi

Otázka: Jaký symbol se používá k vyjádření rovnosti v matematice?

Otázka: Jak mohou být dva matematické objekty ekvivalentní?

Otázka: Co znamená, když dva výrazy označují stejné veličiny?

Otázka: Jak matematici rozlišují mezi rovnicemi a nerovnicemi?

Otázka: Jaký je rozdíl mezi shodností a podobností v geometrii?

Otázka: Jaký operátor v informatice porovnává skutečné hodnoty objektů, a nikoli to, kam ukazují proměnné?

Otázka: Jak se definuje rovnost ve společenských vědách?

Hledání podle dopisu