Reference articles on history, science, culture and more
Surprise meSurprise meSubscribe
Encyclopedia

Almost open map

Map that satisfies a condition similar to that of being an open map

Wikipedia contributorsAdapted for Fathomly · View authors
3 min read
Source updated November 16, 2025

In functional analysis and related areas of mathematics, an almost open map between topological spaces is a map that satisfies a condition similar to, but weaker than, the condition of being an open map. As described below, for certain broad categories of topological vector spaces, all surjective linear operators are necessarily almost open.

01Definitions

Given a surjective map f:X\to Y, a point x\in X is called a point of openness for f and f is said to be open at x (or an open map at x) if for every open neighborhood U of x, f(U) is a neighborhood of f(x) in Y (note that the neighborhood f(U) is not required to be an open neighborhood).

A surjective map is called an open map if it is open at every point of its domain, while it is called an almost open map if each of its fibers has some point of openness. Explicitly, a surjective map f:X\to Y is said to be almost open if for every y\in Y, there exists some x\in f^{-1}(y) such that f is open at x. Every almost open surjection is necessarily a pseudo-open map (introduced by Alexander Arhangelskii in 1963), which by definition means that for every y\in Y and every neighborhood U of f^{-1}(y) (that is, f^{-1}(y)\subseteq \operatorname {Int} _{X}U), f(U) is necessarily a neighborhood of y.

Almost open linear map

A linear map T:X\to Y between two topological vector spaces (TVSs) is called a nearly open linear map or an almost open linear map if for any neighborhood U of 0 in X, the closure of T(U) in Y is a neighborhood of the origin. Importantly, some authors use a different definition of "almost open map" in which they instead require that the linear map T satisfy: for any neighborhood U of 0 in X, the closure of T(U) in T(X) (rather than in Y) is a neighborhood of the origin; this article will not use this definition.

If a linear map T:X\to Y is almost open then because T(X) is a vector subspace of Y that contains a neighborhood of the origin in Y, the map T:X\to Y is necessarily surjective. For this reason many authors require surjectivity as part of the definition of "almost open".

If T:X\to Y is a bijective linear operator, then T is almost open if and only if T^{-1} is almost continuous.

02Relationship to open maps

Every surjective open map is an almost open map but in general, the converse is not necessarily true. If a surjection f:(X,\tau )\to (Y,\sigma ) is an almost open map then it will be an open map if it satisfies the following condition (a condition that does not depend in any way on Y's topology \sigma):

whenever m,n\in X belong to the same fiber of f (that is, f(m)=f(n)) then for every neighborhood U\in \tau of m, there exists some neighborhood V\in \tau of n such that F(V)\subseteq F(U).

If the map is continuous then the above condition is also necessary for the map to be open. That is, if f:X\to Y is a continuous surjection then it is an open map if and only if it is almost open and it satisfies the above condition.

Open mapping theorems

Theorem: If T:X\to Y is a surjective linear operator from a locally convex space X onto a barrelled space Y then T is almost open.
Theorem: If T:X\to Y is a surjective linear operator from a TVS X onto a Baire space Y then T is almost open.

The two theorems above do not require the surjective linear map to satisfy any topological conditions.

Theorem: If X is a complete pseudometrizable TVS, Y is a Hausdorff TVS, and T:X\to Y is a closed and almost open linear surjection, then T is an open map.
Theorem: Suppose T:X\to Y is a continuous linear operator from a complete pseudometrizable TVS X into a Hausdorff TVS Y. If the image of T is non-meager in Y then T:X\to Y is a surjective open map and Y is a complete metrizable space.
Watch videos about Almost open mapExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Almost open map”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.

Continue exploring

Related topics

Property of Baire

A subset A {\displaystyle A} of a topological space X {\displaystyle X} has the property of Baire, or is called an almost open set, if it differs from an open set by a meager set; that is, if there is an open set U ⊆ X {\displaystyle U\subseteq X} such that A △ U {\displaystyle A\bigtriangleup U} is meager (where △ {\displaystyle \bigtriangleup } denotes the symmetric difference).

Barrelled space

In functional analysis and related areas of mathematics, a barrelled space is a topological vector space (TVS) for which every barrelled set in the space is a neighbourhood for the zero vector. A barrelled set or a barrel in a topological vector space is a set that is convex, balanced, absorbing, and closed.

Open mapping theorem (functional analysis)

In functional analysis, the open mapping theorem, also known as the Banach-Schauder theorem or the Banach theorem, is a fundamental result that states that if a bounded or continuous linear operator between Banach spaces is surjective then it is an open map. A special case is also called the bounded inverse theorem (also called inverse mapping theorem or Banach isomorphism theorem), which states that a bijective bounded linear operator T {\displaystyle T} from one Banach space to another has bounded inverse T − 1 {\displaystyle T^{-1}} .