Firðrúm

Firðrúm er hugtak í stærðfræði, sem á við mengi M ásamt firð d, táknað með (M,d). Um firðrúm (M,d) gilda eftirfarandi:

1. $d\left(x,y\right)\geq 0$
2. $d\left(x,y\right)=d\left(y,x\right)$ (samhverfa)
3. $d\left(x,y\right)=0\Leftrightarrow x=y$
4. $d\left(x,y\right)\leq d\left(x,z\right)+d\left(z,y\right)$ (þríhyrningsójafna)

fyrir öll stök x, y og z í M.

Firðrúm, þar sem sérhver Cauchyruna er samleitin, með markgildi í rúminu, er sagt fullkomið firðrúm. Firðrúm hafa mikilvæga eiginleika og koma mikið við sögu í náttúruvísindum.

Sjá einnig

• Staðall (stærðfræði)
• Vigurrúm