Intereting Posts

How to find all rational points on the elliptic curves like $y^2=x^3-2$
Is $G/pG$ is a $p$-group?
Let $a$, $b$ and $c$ be the three sides of a triangle. Show that $\frac{a}{b+c-a}+\frac{b}{c+a-b} + \frac{c}{a+b-c}\geqslant3$
What is needed to make Euclidean spaces isomorphic as groups?
Optimisation Problem on Cone
What can be gleaned from looking at a domain-colored graph of a complex function?
When do two functions become equal?
What does it mean to say a boundary is $C^k$?
Distinct Balls and distict Urns with constraint maximum
Idealizer of one-sided ideal
Graph of a continuous function is closed
Construction of a Hausdorff space from a topological space
What is limit superior and limit inferior?
Correct process for proof in graph theory.
Represent Dirac distruibution as a combination of derivatives of continuous functions?

The question I have in mind is (see here, page 60, the solution is at page 297):

Assume $f_{n}$ is a sequence of functions from a metric space $X$ to $Y$. Suppose $f_{n}\rightarrow f$ uniformly and has inverse $g_{n}$. Now assume $f$’s inverse $g$ is uniformly continuous on $Y$. Prove that $g_{n}\rightarrow g$ uniformly.

I could not prove it using standard techniques as I do not know how to bound $|g_{n}(y)-g(y)|$ when $n$ becomes very large. The authors argue that the convergence of $g_{n}(y)\rightarrow g(y)$ is similar to $f(g_{n}(y))\rightarrow f(g(y))$ because the mapping by a uniformly convergent function series keeps uniform convergence. Thus they give the following argument that $$d(f(g(y)),f(g_{n}(y)))=d(y,f(g_{n}(y)))\le d(y,f_{n}(g_{n}(y)))+d(f_{n}(g_{n}(y)),f(g_{n}(y)))=d(f_{n}(g_{n}(y)),f(g_{n}(y)))$$

- Lebesgue Dominated Convergence example
- sequential continuity vs. continuity
- Fibonacci Sequence, Golden Ratio
- About Banach Spaces And Absolute Convergence Of Series
- Does there exist a bijective $f:\mathbb{N} \to \mathbb{N}$ such that $\sum f(n)/n^2$ converges?
- Variation of the Kempner series – convergence of series $\sum\frac{1}{n}$ where $9$ is not a digit of $1/n$.

So since $f_{n}\rightarrow f$ uniformly by hypothesis the statement is proved. My question is: Is the step of substituting $|g_{n}(y)-g(y)|$ by $|f(g(y))-f(g_{n}(y))|$ really justified? I could not get the “keep uniform convergence” thing the author is talking about. But I also could not come up with a better proof.

- How many connected components does $\mathrm{GL}_n(\mathbb R)$ have?
- Normed space where all absolutely convergent series converge is Banach
- Can anybody recommend me a topology textbook?
- concepts which is present in metric space but not in topological space
- Every open set in $\mathbb{R}$ is the union of an at most countable collection of disjoint segments
- Axiomatizing topology through continuous maps
- Is there a similar concept for a sigma algebra like a base for a topology?
- Is $\mathbf{R}^\omega$ in the uniform topology connected?
- “Pseudo-Cauchy” sequences: are they also Cauchy?
- What is the homotopy type of the affine space in the Zariski topology..?

If $h_n\colon S\to S’$ converges uniformly to $h$ on $S$ and $\varphi\colon S’\to S”$ is uniformly continuous on $S$, fix $\varepsilon>0$. There is a $\delta>0$ such that if $d_{S’}(x,y)\leq \delta$ then $d_{S”}(\varphi(x),\varphi(y))\leq\varepsilon)$. Now, we use the fact that there is an integer $n_0$ such that for all $n\geq n_0$, we have

$$\sup_{x\in S}d_S(h_n(x),h(x))\leq \delta.$$

Then

$$\sup_{x\in S}d_S(\varphi(h_n(x)),\varphi(h(x)))\leq\varepsilon.$$

Now, we apply this result with $\varphi=g$ and $h_n:=f\circ g_n$.

- Solve for $x$: $2^x = x^3$
- Elementary proof that if $A$ is a matrix map from $\mathbb{Z}^m$ to $\mathbb Z^n$, then the map is surjective iff the gcd of maximal minors is $1$
- Could we show $1-(x-\frac{x^3}{3!}+\frac{x^5}{5!}-\dots)^2=(1-\frac{x^2}{2!}+\frac{x^4}{4!}- \dots)^2$ if we didn't know about Taylor Expansion?
- Equivalence relations on classes instead of sets
- Proof that $\displaystyle\sum_{n=0}^{\infty}{\frac{x^{n}}{n!}}={\left(\sum_{n=0}^{\infty}{\frac{1}{n!}}\right)}^{x}$?
- Why is $1/i$ equal to $-i$?
- Can every nonsingular $n\times n$ matrix with real entries be made singular by changing exactly one entry?
- Surreal numbers without the axiom of infinity
- How could we define the factorial of a matrix?
- Definition of conditional expectation
- Finding a pair of functions with properties
- Test if point is in convex hull of $n$ points
- Concerning Hurwitz Zeta function, how to prove the following identity?
- Justification of ZFC without using Con(ZFC)?
- Showing $\cos(t^2)$ is not a Characteristic Function