Intereting Posts

Uniform distribution on a simplex via i.i.d. random variables
Limits of sequences of sets
A question about sampling distribution
Find the inverse of a Trig Matrix
Prime factors + number of Divisors
Semigroups: Entire Elements (II)
Compute: $\sum\limits_{n=1}^{\infty}\frac {1\cdot 3\cdots (2n-1)} {2\cdot 4\cdots (2n)\cdot (2n+1)}$
How many strings of $8$ English letters are there (repetition allowed)?
Convert Equilateral triangle to Isosceles triangle
$\mathbb{Q}/\mathbb{Z}$ is divisible
Could someone explain rough path theory? More specifically, what is the higher ordered “area process” and what information is it giving us?
How do we prove $\int_I\int_x^1\frac{1}{t}f(t)\text{ dt}\text{ dx}=\int_If(x)\text{ dx}$
Product of nilpotent ideal and simple module is zero
A very easy probability problem but opinions diverge greatly. Need some help.
Number of positive integral solutions to $x+y+z+w=20$ with $x<y<z<w$ and $x,y,z,w\geq1\;?$

I have two seemingly simple questions in topology but I have no idea how to answer them.

1) Let $\varphi:X\to Y$ be a continuous map such that $\varphi^0:X\to\mathrm{Im}(\varphi)$ is a homemorphism. Assume we have a representation $\varphi=\psi\circ\chi$, where $\chi:X\to Z$ is a bijective continuous map, and $\psi:Z\to Y$ is a continuous map. How to prove that $\chi:X\to Z$ is a homeomorphism? Maps for which such an implication holds are called extreme monomorphisms.

2) Let $\varphi:X\to Y$ be a continuous map and topology of $Y$ is the strongest topology for which $\varphi$ is continuous. Assume we have a representation $\varphi=\chi\circ\psi$, where $\chi:Z\to Y$ is a bijective continuous map, and $\psi:X\to Z$ is a continuous map. How to prove that $\chi:X\to Z$ is a homeomorphism? Maps for which such an implication holds are called extreme epimorphisms.

- Prove by elementary methods: the plane cannot be covered by countably many copies of the letter “Y”
- Understanding quotient topology
- Compact topological space with closed graph implies continuity
- Can anyone clarify how a diverging sequence can have cluster points?
- Cartesian Product of Two Complete Metric Spaces is Complete
- Integral classes in de Rham cohomology

Thanks for your help.

- Is my understanding of product sigma algebra (or topology) correct?
- Looking for a counter example for non-connected intersection of descending chain of closed connected sets
- What about the continuity of these functions in the uniform topology?
- Orbit space of a free, proper G-action principal bundle
- Every subspace of a compact space is compact?
- Projective closure in the Zariski and Euclidean topologies
- Give examples of compact spaces $A,B$ such that $A\cap B$ is not compact
- Every infinite Hausdorff space has an infinite discrete subspace
- The shortest distance between any two distinct points is the line segment joining them.How can I see why this is true?
- identify the topological type obtained by gluing sides of the hexagon

(1) It suffices to prove that $\chi$ is an open map. Suppose that $V$ is an open set in $X$ such that $A=\chi[V]$ is not open in $Z$. Let $B=\psi[A]\subseteq\varphi[X]$. Clearly $V=(\psi\circ\chi)^{-1}[B]=\varphi^{-1}[B]=(\varphi^0)^{-1}[B]$, and $\varphi^{0}$ is a homeomorphism, so $B=\varphi^0[V]$ must be open in $\varphi[X]$. It follows that $\psi^{-1}[B]$ is open in $Z$. If $\psi^{-1}[B]=A$, we’re done. If not, there must be some $z\in\psi^{-1}[B]\setminus A$. Let $x$ be the unique element of $X$ such that $\chi(x)=z$. Then $x\notin V$, but $\varphi^0(x)=(\psi\circ\chi)(x)=\psi(z)\in B=\varphi^0[V]$, contradicting the assumption that $\varphi^0$ is bijective.

(2) Assuming that you actually want to prove that $\chi:Z\to Y$ is a homeomorphism, you can use the same idea. Again it suffices to show that $\chi$ is open, so let $[V]$ be an open subset of $Z$, let $A=\chi[V]$, and let $W=\psi^{-1}[V]$, an open set in $X$. Clearly $A=\chi[V]=(\chi\circ\psi)[W]=\varphi[W]$. Let $\tau$ be the topology on $Y$. If $A\notin\tau$, the topology on $Y$ generated by $\tau\cup\{A\}$ would be a strictly stronger topology with respect to which $\varphi$ was continuous.

- Derivation of Euler-Lagrange equation
- The space of Riemannian metrics on a given manifold.
- A bad Cayley–Hamilton theorem proof
- random thought: are some infinite sets larger than other
- Fibonacci Sequence, Golden Ratio
- Trying to prove (A ∩ B) − C = (A − C) ∩ (B − C)
- Sum with parameter convergence
- Number of consecutive zeros at the end of $11^{100} – 1$.
- Visualizing a homotopy pull back
- $x^a – 1$ divides $x^b – 1$ if and only if $a$ divides $b$
- Difference between a theorem and a law
- Why is the 2nd derivative written as $\frac{\mathrm d^2y}{\mathrm dx^2}$?
- Prove $\omega^{\omega_1}=\omega_1$ and $2^{\omega_1}=\omega_1$
- Induction on Real Numbers
- Coefficients of a polynomial also are the roots of the polynomial?