- #1
Rasalhague
- 1,387
- 2
I'm used to the notation f : X --> Y for a map, where X and Y are sets. I recently came across this notation for a map between topological spaces, where the second item of each pair is a topology on the first:
f : (X,{t}a) --> (Y,{tb})
Is the notation to be read "f maps each element of X to an element of Y, and f also maps each element, of {t}a to an element of {tb}? (Presumably the domain and codomain aren't to be understood as in the nested sets definition of a tuple.)
Source: Fecko: Differential Geometry and Lie Groups for Physicists.
f : (X,{t}a) --> (Y,{tb})
Is the notation to be read "f maps each element of X to an element of Y, and f also maps each element, of {t}a to an element of {tb}? (Presumably the domain and codomain aren't to be understood as in the nested sets definition of a tuple.)
Source: Fecko: Differential Geometry and Lie Groups for Physicists.