Spás méadrach

Is é is spás méadrach Bunachar Náisiúnta Téarmaíochta don Ghaeilge - "Metric Space" ann ná tacar neamhfholamh X ar a bhfuil méadrach . Is sórt fad é an luach  idir na pointí  agus . Ní bheidh  ina mheithreach muna bhfuil na hairíonna seo a leanas ag gach :

  , 
  má  ,
  agus
      (an éagothromóid triantánach) .

Thug matamaiticeoir Francach an coincheap seo isteach i 1906. Maurice Fréchet ba ainm dó. 

Má , áit gur spás méadrach é  agus spás méadrach eile é , is feidhm leanúnach é  má shásaíonn sé an coinníoll seo a leanas ag gach : 
 de réir . Sainítear teorainn i spásanna méadracha mar sin:

.
Ciallaíonn é sin go ndruideann  chun , de réir ''n → . 

Má tá  agus , is é is brí leis an dtacar
 ná liathróid oscailte le ga  agus lár .

Más fothacar é , is tacar oscailte é   má shásaíonn sé an coinníoll seo a leanas ag gach :
ag gach  tá luach  ionas go bhfuil  ina fothacar de .Ó Buachalla, Stíofán M.; Codaigh agus Córais Dhinimiciúla Réadacha. Cló Loighic 2006.

 Tagairtí 

Catagóir:Toipeolaíocht