Equitation - online puzzle

Rovnost v matematice je relace neboli vztah, vyjadřující totožnost objektů, které jsou v tomto vztahu. Každý objekt je roven jen sám sobě. Žádné dva různé objekty si nemohou být rovny.

Symbol

Symbol rovnosti („=“; „rovná se“) pochází od waleského matematika Roberta Recorda. Ve své knize The Whetstone of Witte z roku 1557 vysvětluje zavedení nového symbolu takto:

To avoid the tediouse repetition of these woordes: „is equalle to“: I will sette as I doe often in woorke use, a pair of paralleles, or Gemowe lines of one lengthe, thus: =, bicause noe.2. thynges, can be moare equalle

(Abych se vyhnul únavnému opakování slov: „je rovno“: používám (místo nich), stejně jako to často dělám při (své) práci, dvojici rovnoběžek nebo dvě úsečky stejné délky, tedy: =, protože žádné dvě věci si nemohou být více rovny)

Symbol „=“ se však po dlouhou dobu nedočkal obecného uznání. Místo něj byly až do 18. století často užívány symboly || nebo æ či œ, pocházející z latinského slova aequalis znamenajícího „(je) rovno“.

Rovnost v logice

V predikátové logice se rovnost zavádí jako binární relační symbol, který je v každé struktuře povinně realizován relací identity. Ze syntaktického hlediska je rovnost určena několika axiomy, které se nazývají axiomy rovnosti.