Отворени и затворени пресликувања

Во математиката, или поточно во топологијата, **отворено пресликување** е функција помеѓу два тополошки простора кое пресликува отворени множества во отворени множества. Тоа значи, пресликување f : X \to Y е отворено ако за кое било отворено множество U во X, сликата f(U) е отворено множество во Y. Слично на тоа, **затворено пресликување** е функција која пресликува затворени множества во затворени множества. Пресликувањето може да биде отворено, затворено, и отворено и затворено или ниту отворено ниту затворено; посебно, отворено пресликување не мора да биде затворено и обратно.

Отворените и затворените пресликувања не се нужно непрекинати. Понатаму, непрекинатоста е независна од отвореноста и затвореноста во општ случај и непрекината функција може да има едно, обете или ниту едно од овие својства; овој факт останува вистинит дури и ако се ограничиме само на метрички простори. Иако нивните дефиниции изгледаат поприродни, отворените и затворените мапи се многу помалку важни од непренинатите пресликувања. Потсетете се дека, по дефиниција, функцијата f : X \to Y е континуирано ако инверзната слика на секое отворено множество од Y е отворено во X.  (Еквивалентно, ако инверзната слика на секое затворено множество од Y е затворено во X).

Раното проучување на отворените пресликувања го започнале Симион Стоилов и Гордон Томас Вајбурн.

## Дефиниции и карактеризации
Ако S е подмножество од тополошки простор, тогаш со \overline{S} и \operatorname{Cl} S (соодветно \operatorname{Int} S) се означува затворачот (соодветно внатрешноста) на S во тој простор. Нека f : X \to Y е функција помеѓу тополошки простори. Ако S е кое било множество, тогаш f(S) := \left\{ f(s) ~:~ s \in S \cap \operatorname{domain} f \right\} се нарекува слика на S при f.

### Конкурентни дефиниции
Постојат две различни, но тесно поврзани дефиниции на поимот „отворено пресликување“ кои се широко користени. Притоа, обете дефиниции може да се сумираат како: „тоа е пресликување со кое отворени множества се пресликуваат во отворени множества“. Понекогаш се користи следнава терминологија за да се направи разлика помеѓу двете дефиниции.

Едно пресликување f : X \to Y се нарекува ***' или ***' ако задоволува некој од следниве еквивалентни услови:

* „***'“ ако за секое отворено множество <math>U</math> во доменот <math>X</math>, неговата слика <math>f(U)</math> е отворено множество во кодоменот на <math>f</math>, <math>Y.</math>
* „***'" ако за секое отворено множество Uво доменот X, множеството f(U) е отворено во сликата на f, \operatorname{Im} f := f(X), каде вообичаено ова множество е опремено со топологијата на потпросторот индуцирана на него од кодоменот на f, Y.

Секое силно отворено пресликување е релативно отворено. Сепак, овие дефиниции не се еквивалентни во општ случај.

: **Предупредување**: Многу автори го дефинираат терминот „отворено пресликување“ како „  отворено пресликување“ (на пример, во Енциклопедија на математиката), додека други го дефинираат терминот „отворено пресликување“ како „  отворено пресликување“. Генерално, овие дефиниции  се еквивалентни, па затоа е препорачливо секогаш да се провери која дефиниција за „отворено пресликување“ ја користи авторот.

Сурјективно пресликување е релативно отворено ако и само ако е силно отворено; па за овој важен посебен случај дефинициите се еквивалентни. Поопшто, пресликување f : X \to Y е релативно отворено ако и само ако сурјекцијата f : X \to f(X) е силно отворено пресликување.

Бидејќи X е секогаш отворено множество во X, сликата f(X) = \operatorname{Im} f на силно отворено пресликување f : X \to Y мора да биде отворено подмножество од неговиот кодомен Y. Всушност, релативно отворено пресликување е силно отворено пресликување ако и само ако нејзината слика е отворено подмножество на нејзиниот кодомен. Накратко,

: Пресликување е силно отворено ако и само ако е релативно отворени и неговата слика е отворено подмножество на неговиот кодомен.

Со користење на оваа карактеризација, честопати е едноставно да се применат резултатите што вклучуваат една од овие две дефиниции за „отворено пресликување“ во ситуација што ја вклучува другата дефиниција.

Горенаведената дискусија ќе важи и за затворените пресликувања ако секаде зборот „отворено“ се замени со зборот „затворено“.

### Отворени пресликувања
Пресликување f : X \to Y се нарекува ***' ако секое [[:en:Closed set|затворено множество]]  <math>C</math> од доменот <math>X</math>, се пресликува во <math>f(C)</math> кое е затворено множество во неговиот кодомен <math>Y.</math>

# Дефиниција: <math>f : X \to Y</math> ги пресликува отворените множества од својот домен во отворени множества од неговиот кодомен, т.е. за секое отворено множество <math>U</math> вo <math>X</math>, <math>f(U)</math> е отворено множество вo <math>Y.</math>
# <math>f : X \to Y</math> е релативно отворено пресликување и неговата слика <math>\operatorname{Im} f := f(X)</math> е oтворено множество во неговиот кодомен <math>Y.</math>
# За секој <math>x \in X</math> и секоја околина <math>N</math> на <math>x,</math> <math>f(N)</math> е околина на <math>f(x).</math>  Ако во претходниот услов се замени првиот или двата збора „околина“ ги замениме со „отворена околина“, се добива еквивалентен услов:
#* За секој <math>x \in X</math> и секоја отворена околина <math>N</math> на <math>x,</math> <math>f(N)</math> е околина на <math>f(x).</math>
#* За секој <math>x \in X</math> и секоја отворена околина <math>N</math> на <math>x,</math> <math>f(N)</math> е отворена околина на <math>f(x).</math>
# <math>f\left( \operatorname{Int}_X A \right) \subseteq \operatorname{Int}_Y ( f(A) )</math> за сите подмножества <math>A</math> на <math>X,</math> кадe со <math>\operatorname{Int}</math> ја означуваме тoпoлошката внатрешност на множеството.
# Ако <math>C</math> е затворено подмножество на <math>X,</math> тогаш множеството <math>\left\{ y \in Y ~:~ f^{-1}(y) \subseteq C \right\}</math> е затворено подмножество на <math>Y.</math>
#* Ова е последица на идентитетот <math>f(X \setminus R) = Y \setminus \left\{ y \in Y : f^{-1}(y) \subseteq R \right\},</math> кој важи за секое <math>R \subseteq X.</math>

Ако <math>\mathcal{B}</math> е база на <math>X</math> тогаш на оваа листа може да се додаде следниов услов:

#
# <math>f</math> ги пресликува базните отворени множества во отворени множества од неговиот кодомен (т.е. за кое било отворено множество од базата <math>B \in \mathcal{B},</math> <math>f(B)</math> е отворено множество во <math>Y</math>).

=== Затворени пресликувања ===
Пресликување <math>f : X \to Y</math> се нарекува ***' или ***' ако задоволува некој од следниве еквивалентни услови:

[[Сурјективна функција|Сурјективно]] пресликување е релативно затворено ако и само ако е силно затворено. Затоа, за овој важен посебен случај дефинициите се еквивалентни. Поопшто, едно пресликување <math>f : X \to Y</math> е релативно затворено ако и само ако [[Сурјективна функција|сурјекцијата]] <math>f : X \to f(X)</math> е силно затворено пресликување.

# Дефиниција: Со <math>f : X \to Y</math> секое затворено множество од неговиот домен го пресликува во затворено множество од неговиот кодомен, т.е. за секое затворено множество <math>C</math> oд <math>X,</math> <math>f(C)</math> е затворено множество вo <math>Y.</math>
# <math>f : X \to Y</math> е релативно затворено пресликување и неговата слика <math>\operatorname{Im} f := f(X)</math>е затворено множество во неговиот кодомен <math>Y.</math>
# <math>\overline{f(A)} \subseteq f\left(\overline{A}\right)</math> за секое подмножество <math>A \subseteq X.</math>
# <math>\overline{f(C)} \subseteq f(C)</math> за секое затворено множество <math>C \subseteq X.</math>
# <math>\overline{f(C)} = f(C)</math> за секое затворено множество <math>C \subseteq X.</math>
# Ако <math>U</math> е отворено множество во <math>X</math>, тогаш множеството <math>\left\{y \in Y ~:~ f^{-1}(y) \subseteq U\right\}</math> е отворено множество во <math>Y.</math>
# Ако <math>x_{\bull}</math> е мрежа во <math>X</math> и <math>y \in Y</math> е точка за која <math>f\left(x_{\bull}\right) \to y</math> во <math>Y,</math> тогаш <math>x_{\bull}</math> конвергира во <math>X</math> кон множеството <math>f^{-1}(y).</math>
#* Конвергенцијата <math>x_{\bull} \to f^{-1}(y)</math> значи дека секое е отворено множество во <math>X</math> кое го содржи <math>f^{-1}(y)</math> ќе го содржи <math>x_j</math> за сите доволно големи индекси <math>j.</math>

Ако пресликувањето е континуирано, тогаш горенаведениот услов е неопходен и за пресликувањето да биде отворено. Тоа значи, ако <math>f : X \to Y</math> е континуирана сурјекција, тогаш таа е отворено пресликување ако и само ако е речиси отворена и го задоволува горенаведениот услов.

Ако во дефиницијата за отворено множество за „непрекинато пресликување“ (тоа е исказот: „инверзната слика на секое отворено множество е отворено множество“), обете инстанци на зборот „отворено“ се заменуваат со „затворено“, тогаш исказот за резултатите („инверзната слика на секое затворено множество е затворено множество“) е  на непрекинатоста на пресликувањето. Ова не е случај со дефиницијата за „отворено пресликвање“ („слика на секое отворено множество е отворено множество“) бидејќи исказот што произлегува („слика на секое затворено множество е затворено множество“) е дефиницијата за „затворена мапа“, што генерално  е еквивалентно на отвореноста на пресликувањето. Постојат отворени пресликувања кои не се затворени, а постојат и затворени пресликувањето кои не се отворени. Оваа разлика помеѓу отворени/затворени пресликувања и непрекинати пресликувања во крајна линија се должи на фактот дека за кое било множество <math>S,</math> само инклузијата <math>f(X \setminus S) \supseteq f(X) \setminus f(S)</math> е секогаш точна, додека кај инверзните пресликувања важи и обратната инклузија, т.е. секогаш важи равенството <math>f^{-1}(Y \setminus S) = f^{-1}(Y) \setminus f^{-1}(S)</math>.

== Дефиниции и карактеризации ==

Ако <math>S</math> е подмножество од тополошки простор, тогаш нека <math>\overline{S}</math> и <math>\operatorname{Cl} S</math> (соодветно <math>\operatorname{Int} S</math> ) означува затворач (односно внатрешност) на <math>S</math> во тој простор. Нека <math>f : X \to Y</math> е функција помеѓу тополошки простори. Ако <math>S</math> е кое било множество тогаш <math>f(S) := \left\{ f(s) ~:~ s \in S \cap \operatorname{domain} f \right\}</math> се нарекува слика на <math>S</math> при <math>f.</math>

=== Конкурентни дефиниции ===
Постојат две различни конкурентни, но тесно поврзани дефиниции за „ “ кои широко се користат, а обете дефиниции можат да се сумираат како: „тоа е пресликување со кое отворени множества се пресликуваат во отворени множества“. Следната терминологија понекогаш се користи за да се направи разлика помеѓу двете дефиниции.

Пресликувањето  <math>f : X \to Y</math> се нарекува

* „***'“ ако за секое отворено множество U на доменот X,  f(U) е отворено множество во кодоменот Y.
* **„**" ако за секое отворено множество U на доменот X,  f(U) е отворено множество во сликата \operatorname{Im} f := f(X), каде, како вообичаено, ова множество е опремено со наследената топологија  индуцирана од онаа на кодоменот на f - Y.„

Секое силно отворено пресликување е релативно отворено пресликување. Сепак, овие дефиниции не се еквивалентни во општ случај.

: **Предупредување**: Многу автори го дефинираат терминот „отворено пресликување“ како „  отворено пресликување“ (на пример, Енциклопедијата за математика), додека други го дефинираат терминот „отворено пресликување“ како „  отворено пресликување“. Општо земено, овие дефиниции  се еквивалентни, па затоа е препорачливо секогаш да се провери која дефиниција за „отворено пресликување“ ја користи авторот.

Сурјекцијата е релативно отворено ако и само ако е силно отворено; па за овој важен посебен случај дефинициите се еквивалентни. Поопшто, пресликувањетоf : X \to Y е релативно отворено ако и само ако f : X \to f(X) е суркцијата и силно отворено пресликување.

Бидејќи X е секогаш отворено подмножество од X, сликата f(X) = \operatorname{Im} f на силно отворено пресликување f : X \to Y мора да биде отворено подмножество од неговиот кодомен Y. Всушност, релативно отворено пресликување е силно отворено пресликување ако и само ако нејзината слика е отворено подмножество од нејзиниот кодомен. Накратко,

: пресликување е силно отворено ако и само ако е релативно отворено и нејзината слика е отворено подмножество на нејзиниот кодомен.

Со користење на оваа карактеризација, честопати е едноставно да се применат резултатите што вклучуваат една од овие две дефиниции за „отворено пресликување“ во ситуација што ја вклучува другата дефиниција.

Горенаведената дискусија ќе важи и за затворени пресликувања ако во секоја инстанца зборот „отворено“ се замени со зборот „затворено“.

### Отвори пресликувања
Пресликување f : X \to Y се нарекува ***' или ***' ако задоволува некој од следниве еквивалентни услови:

# Дефиниција: f : X \to Y пресликува отворени множество од неговиот домен во отворени множества од неговиот кодомен, т.е. за секое отворено множество U oд X, f(U) е отворено во Y.
# f : X \to Y е релативно отворено пресликување и неговата слика \operatorname{Im} f := f(X) е отворено множество во неговиот кодомен Y.
# За секој x \in X и секоја нејзина околина N (произволно мала), f(N) е околина на f(x). Може да ја замениме првата или двете појавувања на зборот „околина“ со „отворена околина“ во овој услов и резултатот ќе биде еквивалентниот услов:
#* за секој x \in X и секоја отворена околина N на x, f(N) е околина на  f(x).
#* за секој x \in X и секоја отворена околина N на x, f(N) е отворена околина на  f(x).
# f\left( \operatorname{Int}_X A \right) \subseteq \operatorname{Int}_Y ( f(A) ) за секое подмножество A на X, кадe \operatorname{Int} означува тополошка внатрешност на множеството.
# Кога C е затворено множество во X, тогаш множеството \left\{ y \in Y ~:~ f^{-1}(y) \subseteq C \right\} е затворено множество во Y.
#* Ова е последица на идентитетот f(X \setminus R) = Y \setminus \left\{ y \in Y : f^{-1}(y) \subseteq R \right\}, кој важи за секое подмножество R \subseteq X.

Ако \mathcal{B} е база за X, тогаш следново својство може да се додаде на горната листа:

#
# f го пресликува секое отворено множество од базата во отворено множество од неговиот кодомен, т.е. за секое отворено множество од базата B \in \mathcal{B}, множеството f(B) е отворено множество во Y).

### Затворени пресликувања
Пресликувањето  f : X \to Y се нарекува ***' ако за секое затворено множество <math>C</math> од доменот <math>X</math>,  <math>f(C)</math> е затворено множество во сликата <math>\operatorname{Im} f := f(X),</math> каде, како вообичаено, ова множество е опремено со [[:en:Subspace topology|наследената топологија]]  индуцирана од онаа на кодоменот на <math>f</math> - <math>Y.</math>„

Мапа <math>f : X \to Y</math> се нарекува ***' или ***' ако задоволува некој од следниве еквивалентни услови:

# Дефиниција: <math>f : X \to Y</math> пресликува затворени множество од неговиот домен во затворени множества од неговиот кодомен, т.е. за секое затворено множество <math>C</math> oд <math>X</math>, <math>f(C)</math> е затворено во <math>Y.</math>
# <math>f : X \to Y</math> е релативно затворено пресликување и неговата слика <math>\operatorname{Im} f := f(X)</math> е затворено множество во неговиот кодомен <math>Y.</math>
# <math>\overline{f(A)} \subseteq f\left(\overline{A}\right)</math> за секое подмножество <math>A \subseteq X.</math>
# <math>\overline{f(C)} \subseteq f(C)</math> за секое затворено подмножество <math>C \subseteq X.</math>
# Кога <math>U</math> е отворено множество во <math>X</math>, тогаш множеството <math>\left\{y \in Y ~:~ f^{-1}(y) \subseteq U\right\}</math> е отворено множество во <math>Y.</math>
# Ако <math>x_{\bull}</math> е мрежа во <math>X</math> и <math>y \in Y</math> е точка таква што <math>f\left(x_{\bull}\right) \to y</math> во <math>Y,</math> тогаш <math>x_{\bull}</math> кoнвeргира во <math>X</math> кон множеството <math>f^{-1}(y).</math>
#* Конвергенцијата <math>x_{\bull} \to f^{-1}(y)</math> значи дека секое отворено множество вo <math>X</math> кое го содржи <math>f^{-1}(y)</math> ќе го содржи <math>x_j</math> за сите доволно големи индекси <math>j.</math>

[[Сурјективна функција|Сурјективното]] пресликување е силно затворено ако и само ако е релативно затворено. Значи, за овој важен посебен случај, двете дефиниции се еквивалентни. По дефиниција, пресликувањето <math>f : X \to Y</math> е релативно затворено пресликување ако и само ако [[Сурјективна функција|суркцијата]] <math>f : X \to \operatorname{Im} f</math> е силно затворено пресликување.

Ако во дефиницијата за [[Непрекинатост на функција|непрекинато пресликување]] со отворени множества (исказот: „секоја претслика од отворено множество е отворена“), обете инстанци на зборот „отворено“ се заменуваат со „затворено“, тогаш исказот за резултатите („секоја претслика од затворено множество е затворена“) е  на непрекинатост. Ова не се случува со дефиницијата за „отворено пресликување“ („секоја слика од отворено множество е отворена“) бидејќи исказот што резултира („секоја слика од затворено множество е затворена“) е всушност дефиницијата за „затворено пресликување“, што генерално  е еквивалентно на отвореност. Постојат отворени пресликувања кои не се затворени и постојат и затворени пресликувања кои не се отворени. Оваа разлика помеѓу отворени/затворени пресликувања и непрекинати пресликувања во крајна линија се должи на фактот дека за кое било множество <math>S,</math> само <math>f(X \setminus S) \supseteq f(X) \setminus f(S)</math> важи во општ случај, додека за инверзните слики секогаш важи равенството <math>f^{-1}(Y \setminus S) = f^{-1}(Y) \setminus f^{-1}(S)</math>.
== Примери ==
Функцијата <math>f : \R \to \R</math> дефинирано со <math>f(x) = x^2</math> е непрекината, затворена и релативно отворена, но не е (силно) отворена. Ова е затоа што ако <math>U = (a, b)</math> е кој било отворен интервал во <math>\R</math> - доменот на <math>f</math> што  ја содржи нулата, тогаш <math>f(U) = (\min \{ a^2, b^2 \}, \max \{ a^2, b^2 \}),</math> каде што овој отворен интервал е отворено множество и во <math>\R</math> и во <math>\operatorname{Im} f := f(\R) = [0, \infty).</math> Сепак, ако <math>U = (a, b)</math> е кој било отворен интервал во <math>\R</math> што ја содржи нулата, тогаш <math>f(U) = [0, \max \{ a^2, b^2 \}),</math> што не е отворено множество во <math>\R</math> - кодоменот на <math>f,</math> но  отворено множество во <math>\operatorname{Im} f = [0, \infty).</math> Бидејќи множеството од сите отворени интервали во <math>\R</math> е база за Евклидовата топологија на <math>\R,</math> ова покажува дека <math>f : \R \to \R</math> е релативно отворено, но не е (силно) отворено.

Ако <math>Y</math> има дискретна топологија (т.е. сите подмножества се и отворени и затворени), тогаш секоја функција <math>f : X \to Y</math> е и отворена и затворена (но не мора да значи дека е непрекината). На пример, функцијата „цел дел“ од '''[[Реален број|<math>\R</math>]]''' во '''[[Цел број|<math>\Z</math>]]''' е и отворено и затворено пресликување, но не е непрекинато. Овој пример покажува дека сликата од сврзан простор при отворено или затворено пресликување не мора да биде сврзано множество.

Секогаш кога имаме производ од тополошки простори <math display="inline">X=\prod X_i,</math> природните проекции <math>p_i : X \to X_i</math> се отворени  (како и непрекинати). Бидејќи проекциите на сноповите од влакна и покривањата се локално природни проекции на производи, и тие се отворени пресликувања. Сепак, проекциите не мора да бидат затворени. На пример, да ја разгледаме проекцијата <math>p_1 : \R^2 \to \R</math> на првата компонента. Множеството <math>A = \{(x, 1/x) : x \neq 0\}</math> е затворено во <math>\R^2,</math> но <math>p_1(A) = \R \setminus \{0\}</math> не е затворено во <math>\R.</math> Сепак, за компактен простор <math>Y,</math> проекцијата <math>X \times Y \to X</math> е затворено пресликување. Ова е во суштина лемата на цевка (туба).

Секоја точка од [[Единична кружница|единичната кружница]] можеме ја пресликаме во [[агол]]от кој позитивниот дел на <math>x</math> - оската го зафаќа со зракот (полуправата) што ја поврзува точката со координатниот почеток. Оваа функција од единичната кружница на полуотворениот [[Интервал (математика)|интервал]] [0,2&#x3C0;) е биекција, отворено и затворено пресликување, но не е континуирана. Тоа покажува дека сликата на компактен простор при отворено или затворено пресликување не мора да биде компактна. Исто така, забележете дека ако го сметаме ова како функција од единичната кружница во реалните броеви, тогаш таа не е ниту отворена ниту затворена. Одредувањето на кодоменот е од суштинско значење.

== Доволни услови ==
Секој хомеоморфизам е отворено, затворено и континуирано пресликување. Всушност, [[Биекција|биективно]] континуирано пресликување е хомеоморфизам [[ако и само ако]] е отворено, или еквивалентно, ако и само ако е затворено.

Нека <math>f : X \to Y</math> е пресликување. За произволно дадено подмножество <math>T \subseteq Y,</math> ако <math>f : X \to Y</math> е релативно отворено (соодветно, релативно затворено, силно отворено, силно затворено, континуирано, [[Сурјективна функција|сурјективно]]) пресликување, тогаш истото важи и за неговото ограничување (рестрикцијата)<math display="block">f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T</math>на <math>f</math> - заситеното подмножество <math>f^{-1}(T).</math>

Категориската сума на две отворени пресликувања е отворено, а на две затворени пресликувања е затворено пресликување. Категорискиот производ на две отворени пресликувања е отворено пресликување, меѓутоа, категорискиот производ на две затворени пресликувања не мора да биде затворено пресликување.

Биективно пресликување е отворено ако и само ако е затворено. Инверзната слика на биективно непрекинато пресликување е биективно отворено/затворено пресликување (и обратно). Сурјективно отворено пресликување не е нужно затворено пресликување, и слично, сурјективно затворено пресликување не мора да е отворено пресликување. Сите локални хомеоморфизми, вклучувајќи ги сите координатни дијаграми на многуобразија и сите покривања, се отворени пресликувања.

'''Лема за затворено пресликување:''' Секое пресликување од компактен простор во Хаусдорфов простор е затворено и правилно (инверзната слика на секое компактно множество е компактно).

Една варијанта на лемата за затворено пресликување наведува дека ако непрекината функција помеѓу локално компактни Хаусдорфови простори е правилно, тогаш тоа е исто така затворено.

Во [[Комплексна анализа|комплексната анализа]], идентично именуваната теорема за отворено пресликување наведува дека секоја неконстантна холоморфна функција дефинирана на сврзано отворено подмножество од комплексната рамнина е отворено пресликување.

Теоремата за инвариантност на доменот наведува дека непрекинато и локално инјективно пресликување помеѓу две <math>n</math> -димензионални тополошки многуобразија мора да биде отворено.

'''Инваријантност на доменот:''' Ако <math>U</math> e отворено множество во <math>\R^n</math> и <math>f:U\rightarrow \R^n</math> и непрекината инјекција, тогаш <math>V=f(U)</math> e oтворено во <math>\R^n</math> и е хомеоморфизам меѓу <math>U</math> и <math>V.</math>

Во функционалната анализа, теоремата за отворено пресликување наведува дека секој сурјективен непрекинат линеарен оператор помеѓу Банахови простори е отворено пресликување. Оваа теорема е генерализирана на тополошки векторски простори кои не мора да се Банахови простори.

Сурјективно пресликување <math>f : X \to Y</math> се нарекува ***' ако за секој y \in Y постои некој x \in f^{-1}(y) така што x е точка на отвореност за f, што по дефиниција значи дека за секоја отворена околина U на x, f(U) е околина на f(x) во Y (приметете дека околината f(U) не се бара да биде to be an  околина). Секое сурјективно отворено пресликување е скоро отворено. Но, во општ случај обратното не е точно. Ако некоја сурјекција f : (X, \tau) \to (Y, \sigma) е скоро отворено пресликување, тогаш таа ќе биде отворено пресликување ако го задоволува следниов услов (кој никако  зависи од топологијата \sigma на Y):

: ако m, n \in X припаѓаат на истото влакно од f (т.е. f(m) = f(n)), тогаш за секоја околина U \in \tau на m, постои некоја околина V \in \tau на n така што F(V) \subseteq F(U).

Ако пресликувањето е непрекинато, тогаш горенаведениот услов е неопходен и за пресликувањето да биде отворено. Тоа значи, ако f : X \to Y е непрекината сурјекција, тогаш таа е отворено пресликување ако и само ако е речиси отворено и го задоволува горенаведениот услов.

## Својства

### Отворени или затворени пресликувања кои се непрекинати (континуирани)
Пресликување f : X \to Y се нарекува ***' или ***' ако задоволува некој од следниве еквивалентни услови:

* ако f е сурјекција, тогаш тоа е фактор-пресликување, па дури и наследно фактор-пресликување,
** Сурјективно пресликување f : X \to Y се нарекува  ако за секое подмножество T \subseteq Y, ограничувањето f\big\vert_{f^{-1}(T)} ~:~ f^{-1}(T) \to T е фактор-пресликување.
* ако f е инјекција, тогаш тоа е тополошко вградување.
* ако f е биекција, тогаш тоа е хомеоморфизам.

Во првите два случаја, отвореноста или затвореноста е само доволен услов за заклучокот што следи. Во третиот случај, тоа е и потребен услов.

### Отворени непрекинати пресликувања
Ако f : X \to Y е непрекинато (строго) отворено пресликување, A \subseteq X, и S \subseteq Y, тогаш:

* f^{-1}\left(\operatorname{Bd}_Y S\right) = \operatorname{Bd}_X \left(f^{-1}(S)\right) каде \operatorname{Bd} e границата (работ) на множество.
* f^{-1}\left(\overline{S}\right) = \overline{f^{-1}(S)} каде \overline{S} e затворачот (атхеренцијата) на множеството {S}.
* Ако \overline{A} = \overline{\operatorname{Int}_X A}, каде \operatorname{Int}  e внатрешноста на множеството {S}, тогаш\overline{\operatorname{Int}_Y f(A)} = \overline{f(A)} = \overline{f\left(\operatorname{Int}_X A\right)} = \overline{f \left(\overline{\operatorname{Int}_X A}\right)}каде множеството \overline{f(A)} мора да биде регуларно затворено множество (во Y). Специјално, ако A е регуларно затворено множество, тогаш такво е и \overline{f(A)}. Aко и A е регуларно отворено множество, тогаш такво е и Y \setminus \overline{f(X \setminus A)}. 
* Ако непрекинатото отворено пресликување f : X \to Y е и сурјективно, тогаш \operatorname{Int}_X f^{-1}(S) = f^{-1}\left(\operatorname{Int}_Y S\right) и уште повеќе S е регуларно отворено (затворено) множество во Y ако и само ако f^{-1}(S) е регуларно отворено (затворено) множество во X. 
* Ако мрежата y_{\bull} = \left(y_i\right)_{i \in I} конвергира во Y кон точка y \in Y и ако непрекинатото отворено пресликување f : X \to Y е сурјективно, тогаш за секој x \in f^{-1}(y) постои мрежа x_{\bull} = \left(x_a\right)_{a \in A} во X (индексирана со некое насочено множество A) така што x_{\bull} \to x во X и f\left(x_{\bull}\right) := \left(f\left(x_a\right)\right)_{a \in A} е подмрежа од y_{\bull}. Уште повеќе, индексирачкото множествоthe A може да се земе да биде A := I \times \mathcal{N}_x со подредување на производот каде \mathcal{N}_x е која било база на околини на x насочена со \,\supseteq.\,

## Белешки

## Наводи

Категорија:Леми
Категорија:Општа топологија