Continuous function
Set
context | ⟨X,TX⟩ … topological space |
context | ⟨Y,TY⟩ … topological space |
definiendum | f∈it |
inclusion | f:X→Y |
for all | V∈TY |
postulate | f−1(V)∈TX |
Discussion
Theorems
A function to Rn is continuous iff all its components are.
clarify topologies here