2024-10-20

818: Support of Map from Topological Space into Ring or Module

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of support of map from topological space into ring or module

Topics


About: topological space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of support of map from topological space into ring or module.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
\( T\): \(\in \{\text{ the topological spaces }\}\)
\( S\): \(\in \{\text{ the rings }\} \cup \{\text{ the modules }\}\)
\( f\): \(: T \to S\)
\(*supp f\): \(= \overline{f^{-1} (S \setminus \{0\})}\), where the over line denotes taking the closure
//

Conditions:
//


2: Note


The domain needs to be a topological space, because otherwise, the closure would not make sense; the codomain needs to be a ring or a module, because otherwise, \(0\) would not make sense.


References


<The previous article in this series | The table of contents of this series | The next article in this series>