Rovnosť v matematike a informatike: definícia, rovnice, kongruencia

Prehľad rovnosti v matematike a informatike: definície, rovnice, kongruencia, ekvivalencia a porovnanie objektov v programovaní — jasne a zrozumiteľne.

Matematika

V matematike sa dve veci rovnajú vtedy a len vtedy, ak sú v každom ohľade úplne rovnaké. To znamená, že majú rovnakú (matematickú) hodnotu a rovnaké matematické vlastnosti. Matematici na vyjadrenie tejto skutočnosti používajú znak rovnosti (=). Tým sa definuje binárny vzťah, rovnosť. Výrok "x = y" znamená, že x a y sa rovnajú.

Rovnosť v matematike je formálne binárny vzťah s niektorými základnými vlastnosťami: je reflexívna (každý objekt sa rovná sám sebe: x = x), symetrická (ak x = y, potom y = x) a tranzitívna (ak x = y a y = z, potom x = z). Dôležitou vlastnosťou rovnosti je aj možnosť substitúcie: čokoľvek platí pre x, platí aj pre y, ak x = y. Príklady: 2 + 3 = 5 alebo {1,2} = {2,1} (množiny s rovnakými prvkami sú rovnaké).

Množiny a ekvivalencia

Ekvivalencia vo všeobecnejšom zmysle je zabezpečená konštrukciou relácie ekvivalencie medzi dvoma množinami, to znamená, že tieto dve množiny majú presne rovnaké prvky. Na to, aby boli množiny rovnaké, nemusia byť konečné. Tvrdenie, že dva výrazy označujú rovnaké veličiny, je rovnica. Rovnice sú si rovné. Nerovnosti sú nerovnosti.

Presné rozlíšenie pojmov: rovnosť (equality) znamená identitu dvoch objektov ako toho istého matematického objektu; relácia ekvivalencie je všeobecnejší pojem — ide o vzťah, ktorý je reflexívny, symetrický a tranzitívny, a pomocou neho vznikajú triedy ekvivalencie. Rovnako treba rozlišovať rovnicu (formálne tvrdenie, ktoré sa rieši) a samotnú binárnu reláciu rovnosti.

Logika a predikáty

Keďže predikát je spôsob opisu niečoho, čo je pravdivé, môžeme to povedať aj tak, že ak nájdeme niečo, čo je pravdivé o jednej premennej, ale nie je pravdivé o druhej premennej, potom si nie sú rovné, pokiaľ ide o matematickú logiku.

Jednoduché pravidlo: ak sú si dve veci rovné, všetko, čo je pravdivé o jednej z nich, musí byť pravdivé aj o druhej. V logike sa preto pri práci s rovnosťou často využíva substitučný princíp pri dokazovaní tvrdení alebo úpravách výrazov.

Geometria a kongruencia

Toto je jednoduchý spôsob, ako to povedať: ak sú si dve veci rovné, všetko, čo je pravdivé o jednej z nich, musí byť pravdivé aj o druhej.

V geometrii sa často uprednostňuje slovo kongruencia. Čísla sú rovnaké, geometrické objekty sú zhodné. Dva útvary sú kongruentné, ak jeden z nich možno posunúť alebo otočiť tak, aby presne zapadol tam, kde je druhý. Ak musíte jeden z dvoch objektov zmenšiť alebo zväčšiť, nie sú kongruentné. Nazývajú sa podobné

Formálne: dva útvary sú kongruentné, ak existuje izometria (rigidný pohyb — preklad, rotácia alebo prípadne odraz), ktorá prenesie jeden útvar na druhý. Symbol pre kongruenciu je často ≅. Naopak, ak stačí, aby sa útvary zhodovali po škálovaní a prípadne rotácii/preklade, hovoríme o podobnosti. Poznámka: pojem kongruencie sa využíva aj v teorii čísel (napr. a ≡ b (mod n)), kde má špecifický význam ekvivalencie modulo n.

Informatika

V informatike sa zvyčajne používa matematická definícia. Veľmi často sa porovnanie píše == (a priradenie, t. j. zadanie hodnoty, sa píše = alebo :=). V objektovo orientovaných jazykoch alebo v jazykoch, ktoré majú ukazovatele, vzniká ďalší problém. Tieto jazyky obsahujú referencie (ktoré sú v skutočnosti ukazovateľmi). Ak dva takéto odkazy neodkazujú na presne ten istý objekt, sú rozdielne. a == b bude v tomto prípade nepravdivé.

Z tohto dôvodu mnohé takéto jazyky zaviedli ďalší operátor (v Jave sa táto metóda nazýva equals). Tento operátor porovnáva skutočné hodnoty objektov, nie to, kam ukazujú premenné, ktoré na ne odkazujú.

Konkrétne príklady a rozdiely medzi jazykmi:

• C/C++: = je priradenie, == porovnáva hodnoty primítov (u ukazateľov == porovnáva adresy — identitu).
• Java: pre primitíva (int, boolean...) == porovná hodnoty; pre objekty == kontroluje, či reference ukazujú na ten istý objekt, zatiaľ čo equals() (ak je správne implementovaná) porovnáva logickú rovnosť obsahu objektov.
• Python: == porovnáva hodnoty (volá metódu __eq__), zatiaľ čo is kontroluje identitu objektov (rovnaká pamäťová lokácia).
• JavaScript: == vykonáva konverziu typov pred porovnaním, kým === (prísna rovnica) porovnáva hodnotu aj typ bez konverzie.

Sociálne vedy

V spoločenských vedách sú si dvaja ľudia rovní, ak o nich platí veľa rovnakých vecí. Dvaja ľudia, ktorí majú rovnaké vzdelanie a peniaze a sú v rovnakom veku, sa zvyčajne považujú za rovnocenných. Iný názov pre osobu, ktorá je rovnocenná s inou osobou, je rovesník.

V spoločenskom kontexte pojem „rovnosť“ môže znamenať rovnosť práv, príležitostí, ekonomického postavenia alebo sociálneho statusu. Je dôležité rozlišovať medzi formálnou rovnosťou (rovnaké zákonné postavenie) a faktickou rovnosťou (rovnaká životná situácia). Ďalší súvisiacim pojmom je spravodlivosť (equity), ktorá sa zameriava na vyrovnávanie nerovností poskytovaním rozdielnej podpory podľa potreby.

Zhrnutie

• Rovnosť v matematike je prísny pojem identity s presnými vlastnosťami (reflexívnosť, symetria, tranzitívnosť) a s možnosťou substitúcie.
• Relácie ekvivalencie generalizujú myšlienku „byť si rovný“ a rozdeľujú množinu na triedy ekvivalencie.
• V geometrii kongruencia znamená zhodu pomocou izometrie; podobnosť povolí zmenu mierky.
• V informatike treba rozlišovať medzi porovnaním hodnôt a porovnaním identít (referencií). Rôzne jazyky majú rozdielne operátory a pravidlá.
• V spoločenských vedách ide o širší, často normatívny pojem, ktorý zahŕňa práva, príležitosti a sociálnu spravodlivosť.

Otázky a odpovede

Otázka: Aký symbol sa používa na vyjadrenie rovnosti v matematike?

Otázka: Ako môžu byť dva matematické objekty rovnocenné?

Otázka: Čo znamená, keď dva výrazy označujú rovnaké veličiny?

Otázka: Ako matematici rozlišujú medzi rovnicami a nerovnicami?

Otázka: Aký je rozdiel medzi zhodnosťou a podobnosťou v geometrii?

Otázka: Ktorý operátor v informatike porovnáva skutočné hodnoty objektov, a nie to, kam ukazujú premenné?

Otázka: Ako sa definuje rovnosť v spoločenských vedách?

Hľadajte podľa písmena