Espazio trinko

Topologian, espazio trinko bat bere mugako puntu posible guztiak dituen espazio bat da.

Definizioa

Definizio orokorra 
Espazio topologiko X bat konpaktutzat hartzen da honako baldintza baliokideak betetzen baditu:

 Xen estaldura ireki orok azpiestaldura finitu bat onartzen du.
  Xeko azpimultzo itxi bat da, nola Iren J azpimultzo bakoitzarentzat  betetzen baldin bada, orduan .
 Sare orok Xen azpisare konbergente bat onartzen du.
 X punturako funtzioa propioa da.

Trinkotasuna espazio metrikoetan 
Espazio metriko baten A azpimultzo bat, eta, bereziki,  espazio euklidestarrarena, trinkoa da definizio orokorreko lau baldintzetakoren bat betetzen badu. Dena dela, hirugarrenak honako berridazketa hau onartzen du testuinguru honetan: Ako segida orok azpisegida konbergente bat onartzen du.

Adibideak 

 Espazio trinkoaren ohiko eredua lerro zuzen baten tarte itxi bat da.
 Modu orokorragoan, espazio euklidestarraren edozein multzo itxi eta bornatu ere bada.
 Espazio ez trinko baten adibidea lerro zuzen erreala da, ez baita bornatua eta infiniturako joera duten segidak baititu.
 Zenbaki arrazionalen multzoa ere ez da trinkoa, bat nahi eran hurbil baitaiteke falta diren puntuetara.

Trikotasunarekin lotutako teoremak

Heine-Borelen teorema 

Artikulu nagusia: Heine-Borelen teorema

Heine-Borelen teoremaren arabera, espazio metriko bat konpaktua da, soilik osoa eta erabat bornatua baldin bada. Espazio euklidestarraren azpimultzoentzat, nahikoa da hau itxia eta bornatua izatea, karakterizazio erabilgarri bat dena.

Alabaina, dimentsio infinituan, hau ez da egia, eta, izan ere, testuinguru honetan bola bateratu itxia sekula ez da trinkoa izango; arrazoi beragatik, askoz zailagoa da trinkotasuna ziurtatzea.

Arzelá-Ascoliren teorema 

Artikulu nagusia: Arzelá-Ascoliren teorema

Ikus, gainera 

 Trinkotasun lokala
 Euskarri trinkoa

Kanpo estekak 

Matematika
Topologia