Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
Set of symbols
▼
Alphabet
▼
Deduction system
▼
Theory
▼
Zermelo-Fraenkel set theory
▼
Set
▼
Subset
▼
Power set
▼
Hyperpower set sequence
▼
Hyperpower set
▼
Hypersubset
▼
Subset algebra
▼
Subset structure
▼
Topological space
▼
Continuous map
Definition D386
Set of continuous maps
Formulation 1
Let
T
X
=
(
X
,
T
X
)
and
T
Y
=
(
Y
,
T
Y
)
each be a
D1106: Topological space
.
The
set of continuous maps
from
T
X
to
T
Y
is the
D11: Set
C
(
T
X
→
T
Y
)
:=
{
f
∣
f
:
X
→
Y
is continuous from
T
X
to
T
Y
}