У топологији и сродним областима математике, близина представља један од основних појмова тополошког простора. Интуитивно се каже да су два скупа близу уколико су произвољно удаљени један од другог. Овај концепт се може природно дефинисати у метричком простору, где је појам удаљености између елемената у простору прецизно дефинисан, али се може генерализовати на тополошке просторе, где не постоји конкретан начин за мерење удаљености.
Оператор затварањаClosure operator - Wikipedia, the free encyclopedia затвара дати скуп тако што га мапира на затворен скуп који садржи оригинални скуп и све тачке које су му близу. Концепт близине је сродан граничној тачки.Limit point - Wikipedia, the free encyclopedia
Дефиниција
У датом метричком простору тачка је близу скупу ако важи: , где је удаљеност између тачке и скупа дефинисана као . Слично, скуп је близу скупу ако важи:
где је .
Особине ако је тачка близу скупу и скупу , онда су и близу. (обрнуто не важи!) близина тачке и скупа је одржана непрекидним функцијама. близина два скупа је одржана равномерним непрекидностима.
Релација близине између тачке и скупа
Нека су и два скупа и нека је тачка. ако је близу , онда је ако је близу и , онда је близу ако је близу , онда је или близу или близу
Релација близине између два скупа
Нека су , и скупови. ако су и близу, онда и ако су и близу, онда су и и близу ако су и близу и онда су и и близу ако су и близу, онда су или и близу, или и близу ако је , онда су и близу
Генерализована дефиниција
Релација близине између скупа и тачке се може генерализовати на било који тополошки простор. Ако су дати тополошки простор и тачка , за тачку се каже да је близу скупу ако .
Тополошке структуре су превише слабе да би се могла дефинисати релација близине између два скупа, и онда морају да се користе униформне структуреUniform space - Wikipedia, the free encyclopedia. У датом униформном просторуUniform space - Wikipedia, the free encyclopedia, за скупове A и B се каже да су близу један другом ако се секу у свим околинама, то јест, за сваку околину U, скуп (A×B) ∩ U је непразан.
Види још Тополошки простор
Референце
Категорија:Топологија