Intereting Posts

Stochastic Integral and Ito Isometry
Does Euclidean geometry require a complete metric space?
How to compute the sum $ 1+a(1+b)+a^2(1+b+b^2)+a^3(1+b+b^2+b^3)+\cdots$
Center of $D_6$ is $\mathbb{Z}_2$
Computing the Fourier series of $f(\theta)=(\pi-\theta)^2/4$ for $0\leq\theta\leq{2\pi}$
Does the number pi have any significance besides being the ratio of a circle's diameter to its circumference?
Trying to solve the equation $\sum_{i=0}^{t}(-1)^i\binom{m}{i}\binom{n-m}{t-i}=0 $ for non-negative integers $m,n,t$
Do a matrix and its transpose have the same invariant factors over a PID?
Uniqueness of a continuous extension of a function into a Hausdorff space
$\sum\limits_{k\in\mathbb{Z}}$ versus $\sum\limits_{k=-\infty}^{\infty}$
Olympiad Inequality $\sum\limits_{cyc} \frac{x^4}{8x^3+5y^3} \geqslant \frac{x+y+z}{13}$
Are there more true statements than false ones?
Modular interpretation of modular curves
Finding a largest chain
Do the real numbers and the complex numbers have the same cardinality?

I’m teaching my self topology with the aid of a book, but i’m confused about the meaning of homeomorphic. Below, I have 2 topologies, $\mathscr{T}_1$ and $\mathscr{T}_2$ and I’m pretty sure they are not homeomorphic, but I can make a continuous bijection between them.

Definition of homeomorphism:

If $X$ and $Y$ are topological spaces, a homeomorphism from $X$ to $Y$ is a bijective map $\varphi : X \rightarrow Y$ such that both $\varphi$ and $\varphi^{-1}$ are continuous.

- Why is $^\mathbb{N}$ not countably compact with the uniform topology?
- Why is this quotient space not Hausdorff?
- Verify if this is correct idea of continuous and homeomorphism
- What is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration?
- Ring with spectrum homeomorphic to a given topological space
- Cartesian product and closure

Definition of continuous:

If $X$ and $Y$ are topological spaces, a map $f: X \rightarrow Y$ is said to be continuous if for every open subset $U \subseteq Y$, its preimage $f^{-1}(U)$ is open in $X$.

my (counter) example:

Let: $X = \{ 1,2,3 \}$

$\mathscr{T}_1=\{X,\varnothing,\{1\},\{2\},\{1,2\}\}$;

$\mathscr{T}_2=\{X,\varnothing,\{1\},\{1,2\},\{1,3\}\}$;

$ g: \mathscr{T}_1 \rightarrow \mathscr{T}_2$

$g$ is defined by the table below:

$$\begin{array}{|c|c|}

V & g(V) \\ \hline \hline

X & X \\ \hline

\varnothing & \varnothing \\ \hline

\{1\} & \{1\} \\ \hline

\{1,2\} & \{1,2\} \\ \hline

\{2\} & \{1,3\} \\ \hline

\end{array}$$

Then $g^{-1}$ would be:

$$\begin{array}{|c|c|}

U & g^{-1}(U) \\ \hline \hline

X & X \\ \hline

\varnothing & \varnothing \\ \hline

\{1\} & \{1\} \\ \hline

\{1,2\} & \{1,2\} \\ \hline

\{1,3\} & \{2\} \\ \hline

\end{array}$$

The space is discrete so all sets are open (and closed). My book says that “size” is not a topological property, so it seems okay to map {2} to {1,3}.

So, it seems to me that $g$ and $g^{-1}$ are continuous and bijective, so the topologies are homeomorphic.

I’m pretty sure i’m doing something wrong, and I have another similar example like this. Please help me understand to meaning of homeomorphic.

note: I **Do** understand why a line segment and a circle are not homeopathic, when there are two topological spaces generated by different metrics (on the same set), by showing there are sets that are open in one space but not the other. But in this example everything is open, so wouldn’t all bijections be continuous in a discrete space?

- Does this intuition for “calculus-ish” continuity generalize to topological continuity?
- $\varphi\colon M\to N$ continuous and open. Then $f$ continuous iff $f\circ\varphi$ continuous.
- Functions between topological spaces being continuous at a point?
- (Certain) colimit and product in category of topological spaces
- Are all metric spaces topological spaces?
- Defining a metric space
- pseudo-inverse to the operation of turning a metric space into a topological space
- Is there a way of working with the Zariski topology in terms of convergence/limits?
- Show that $\mathbb{R}^2/{\sim}$ is homeomorphic to the sphere $S^2$.
- Prove that a separable metric space is Lindelöf without proving it is second-countable

Like par said, the mapping is supposed to be on the underlying sets themselves. When we have a continuous function $g: X \rightarrow Y$ where $X$ and $Y$ are topological spaces, the function sends points in the set $X$ to points in in the set $Y$. Notice that if $\{2\}$ is being mapped to $\{1,3\}$, then 2 is mapped to 1 and 3 which can’t even happen with a function. Your function is still a bijection between the two topologies but not the sets $X$ and $Y$.

A homeomorphism needs to be a map **from a space to another**, not a map from the topology of one space to the topology of another.

That is, if $(X,\mathscr{T}_X)$ and $(Y,\mathscr{T}_Y)$ are topological spaces, a homeomorphism should be a **pointwise map** be a map $g\colon X\rightarrow Y$ satisfying the properties you listed above. You have used instead a map $g\colon \mathscr{T}_X\rightarrow \mathscr{T}_Y$. Note that the latter requires a topology of topology to begin talking about continuity.

- For natural numbers $a$ and $b$, show that $a \Bbb Z + b \Bbb Z = \gcd(a, b)\Bbb Z $
- What is the meaning of the third derivative of a function at a point
- A non-UFD such that $a^2 \mid b^2$ does not lead to $a\mid b$
- Are there any elegant methods to classify of the Gaussian primes?
- Finite-dimensional subspaces of normed vector spaces are direct summands
- Most important Linear Algebra theorems?
- Optimal Strategy for Deal or No Deal
- Tensors, what should I learn before?
- Why isn't the gamma function defined so that $\Gamma(n) = n! $?
- Banach-Tarski paradox: minimum number of pieces to get from a sphere of any size to a sphere of any other size?
- A lemma for proving Myers-Steenrod theorem
- If the integral of $c/x$ is $c.log(x)+C$ what is the base?
- Alice and Bob matrix problem.
- Bilinear form with symmetric “perpendicular” relation is either symmetric or skew-symmetric
- Distance between triangle's centroid and incenter, given coordinates of vertices