# Assume $T_n,T$ are bounded bijective linear operators $T_n to T$ pointwise. Show $T_n^{-1}to T^{-1}$ pointwise $iff$ $|T_n^{-1}|leq C$

Mathematics Asked on January 3, 2022

Assume $$T_n,T$$ are bounded bijective linear operators $$X to Y$$ and $$T_n to T$$ pointwise. Show $$T_n^{-1}to T^{-1}$$ pointwise $$iff$$ $$|T_n^{-1}|leq C$$

Note: $$X,Y$$ are banach spaces.

My proof:

Forward direction is uniform boundedness principle. Backwards:

Let us assume that $$T_n^{-1}(y)not to T^{-1}(y)$$ so there is a subsequence and $$y$$ s.t $$|T_{n_k}^{-1}(y)- T^{-1}(y)|geq epsilon$$. Now we know that $$T_{n_k}(x)to T(x)$$ and since $$T^{-1}_{n}$$ are uniformly boundaed we get that $$|T^{-1}_{n_k}(T_{n_k}(x)-T(x))| Now just let $$x=T^{-1}(y)$$ and we arrive at contradiction. Is this correct? It seems roundabout in my opinon and there is probably more direct way to do it.

You can do it directly without the contradiction. Let $$yin Y$$ be arbitrary. Since $${T_n}, T$$ are assumed to be bijective functions, there exist $$T^{-1}(y) = xin X$$. We also have a sequence of vectors $$T^{-1}_n(y) = x_n$$. You noticed that $$T^{-1}_n(T_n(x)) = x$$ and $$T^{-1}_n(T(x)) = T^{-1}_n(y) = x_n$$. Hence begin{align*}|| T_n^{-1}(y) - T^{-1}(y) || = ||x_n - x || &= ||T^{-1}_n(T(x)) - T^{-1}_n(T_n(x)) ||\ &= ||T_n^{-1} (T(x) - T_n(x))||\ &leq C ||T(x) -T_n(x)||to 0 end{align*} Since $$T_nto T$$ pointwise.

Answered by Andrew Shedlock on January 3, 2022

## Related Questions

### How to prove $Pleft(cup_{i=1}^{infty}A_iright)=1$ implies that $P({A_i i.o.})=1$

1  Asked on January 7, 2021 by xiangdong-meng

### Finding the order of a pole of a complex function

1  Asked on January 7, 2021 by prasiortle

### Can someone find a (two-sided) inverse function to the characteristic function χ? given…

2  Asked on January 7, 2021 by thecreator

### How To Prove This Is Continuous Or Discontinuous

1  Asked on January 7, 2021 by mat-rhine

### Given ?1 and ?2, how do you calculate ?3 and ?4 after shortening the line segment by equal distance on each point?

1  Asked on January 7, 2021 by jordan-farris

### Aprroximating the area of a surface of revolution using simpsons rule

1  Asked on January 7, 2021 by firefenix777

### The transportation problem with uncertain (and, in general, linearly interdependent) supply- and demand values

0  Asked on January 7, 2021 by rasus

### Finding maximum of this function in complex analysis

0  Asked on January 7, 2021 by avenger

### Is my solution to this first order ODE correct? (Integrating factor method)

1  Asked on January 7, 2021 by ryan-seah

### How to know convexity of the following equation/Problem?

1  Asked on January 7, 2021 by user814045

### Is it true that $prod_{i=1}^nleft(3 + frac{1}{3i}right) < left(3 + frac{1}{n}right)^n$?

2  Asked on January 7, 2021 by larry-freeman

### Quotient rule for limits of functions

1  Asked on January 6, 2021 by ashish

### Create Transfer Function with Known Input Delay and Specified Attributes

3  Asked on January 6, 2021 by lawliet

### How to verify this given homeomorphism in Munkres on stereographic projection

1  Asked on January 6, 2021 by bud-light-d-va

### Find the roots of all cubics $f(x)$ given $f(2)=1$ and all roots are integral

1  Asked on January 6, 2021 by jc5535

### A integral involving hyperbolic and trigonometric functions

1  Asked on January 6, 2021 by math-bob

### Are there any sets of axioms that have an efficient algorithm for all provable statements?

1  Asked on January 6, 2021 by phylliida

### Finding $int_S z,dS$ where $S=left{ big(x,y,zbig):x^2+y^2+z^2=a^2,zge 0, a>0right}$

2  Asked on January 6, 2021 by john-mars