Firð
Úr Wikipediu, frjálsa alfræðiritinu
Firð (e. metric) í stærðfræði er fall 
, þar sem M er mengi, sem uppfyllir eftirfarandi skilyrði fyrir sérhver 
.
- d(a,a) = 0.
- d(a,b) > 0 ef
. - d(a,b) = d(b,a), þ.e. d er samhverft.
, þ.e. d uppfyllir þríhyrningsójöfnu.
Tvenndin (M,d) er nefnd firðrúm.
Það má ímynda sér að firð sé formleg skilgreining á fjarlægð eða lengd. Við sjáum að við tölum aldrei um neikvæðar fjarlægðir milli staða, þær eru samhverfar (það er jafnlangt frá Reykjavík til Húsavíkur, og frá Húsavík til Reykjavíkur), og uppfylla þríhyrningsójöfnu (að koma við í einhverjum punkti er vissulega lengra en að ganga eftir beinni línu).
[breyta] Dæmi
- Sú firð sem við notum á rauntalnaásnum er oft kölluð venjulega firðin á (
er d(a,b) = | a − b | þar sem 
. Sem dæmi er firðin milli punktanna 3.5 og -2 jöfn d(3.5, − 2) = | 3.5 − ( − 2) | = 5.5. Þegar lengra er haldið er 
nefnt L1-rúm. - Í tvívíðu rúmi er gjarnan notuð Evklíðska firðin á
og er skilgreind sem 
þar sem 
. Hún er oft táknuð sem 
. Takið eftir því hvað formúlan svipar til Pýþagórasarreglu - þetta er að sjálfsögðu ekki tilviljun. Tvenndin 
er kölluð L2-rúm - Einnig er mögulegt að skilgreina firð á strjált mengi, t.d. mætti skilgreina firð á mengi íslenskra orða sem minnsta fjölda eins-stafs breytinga (þ.m.t. viðbætur eða eyðingar) sem þarf til að breyta einu orði í annað. Sem dæmi væri firðin milli Spergilkál og Meginmál 5.
