diff options
author | Justin Gassner <justin.gassner@mailbox.org> | 2024-02-14 07:24:38 +0100 |
---|---|---|
committer | Justin Gassner <justin.gassner@mailbox.org> | 2024-02-14 07:24:38 +0100 |
commit | 28407333ffceca9b99fae721c30e8ae146a863da (patch) | |
tree | 67fa2b79d5c48b50d4e394858af79c88c1447e51 /pages/general-topology/universal-constructions.md | |
parent | 777f9d3fd8caf56e6bc6999a4b05379307d0733f (diff) | |
download | site-28407333ffceca9b99fae721c30e8ae146a863da.tar.zst |
Update
Diffstat (limited to 'pages/general-topology/universal-constructions.md')
-rw-r--r-- | pages/general-topology/universal-constructions.md | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pages/general-topology/universal-constructions.md b/pages/general-topology/universal-constructions.md new file mode 100644 index 0000000..827f730 --- /dev/null +++ b/pages/general-topology/universal-constructions.md @@ -0,0 +1,23 @@ +--- +title: Universal Constructions +parent: General Topology +nav_order: 1 +--- + +# {{ page.title }} + +{% definition Initial Topology %} +Suppose that $f_i : S \to X_i$, $i \in I$, is a family of maps, +from a set $S$ into topological spaces $X_i$. +The *initial topology* on $S$ induced by the family $(f_i)$ +is defined to be the weakest topology on $S$ +making all maps $f_i$ continuous. +{% enddefinition %} + +{% theorem * Universal Property of the Initial Topology %} +The initial topology on $S$ induced by the family $(f_i)$ +is the unique topology on $S$ with the property that +for any topological space $T$, +a mapping $g : T \to S$ is continuous if and only if +all compositions $f_i \circ g : T \to X_i$ are continuous. +{% endtheorem %} |