Definition 5.6.3 (0406)—The Stacks project

Processing math: 100%

Definition 5.6.3. Let $f : X \to Y$ be a continuous map of topological spaces.

We say $f$ is a strict map of topological spaces if the induced topology and the quotient topology on $f(X)$ agree (see discussion above).
We say $f$ is submersive¹ if $f$ is surjective and strict.

[1] This is very different from the notion of a submersion between differential manifolds! It is probably a good idea to use “strict and surjective” in stead of “submersive”.

Comments (1)

Comment #628 by Wei Xu on May 30, 2014 at 06:34

A typo: "...topology on $f(Y)$ agree" should be "...topology on $f(X)$ agree".

There are also:

2 comment(s) on Section 5.6: Submersive maps

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (1)

Post a comment