This is the problem: I have a space $X=\{a,b\}$ with trivial topology (open sets are empty set and whole $X$) and continuous map $f\colon X\to Y$. ($Y$ is arbitrary space). Can I conclude that $f(a)=f(b)$ because original of some open set in $Y$ is $\{a,b\}$, and original of some closed set in $Y$ is $\{a,b\}$? My friend used it but I don't agree.
Continuous map on topologial space with trivial topology
0
$\begingroup$
general-topology
3 Answers
3
Generally you cannot use that argument. For instance we might ask $Y=X$ and we also give $Y$ the trivial topology. Then the identity map is continuous but $f(a)\neq f(b)$.
In general, when the target space is in trivial topology, all functions are continuous.
2
No you cannot conclude this.
Consider the topology on $Y=\{a,b,c\}$ where $\{\varnothing,\{c\},\{a,b\},Y\}$ are open; and $f\colon X\to Y$ is the identity function.
2
You can conclude that $f(a)$ and $f(b)$ are topologically indistinguishable, i.e., every open set either contains both $f(a)$ and $f(b)$ or contains neither. In general, you cannot conclude $f(a) = f(b)$. However, if $Y$ satisfies the $\mathrm{T}_0$ separation axiom, then $f(a) = f(b)$.