Banach Space Isomorphisms

Let $X, Y$ be Banach spaces and let $S, T \in \mathcal{L}(X, Y)$. Suppose that the operator $S T$ is invertible. Prove or disprove: $T$ is invertible.

Let $X$ be a Banach space and let $T \in \mathcal{L}(X)$ satisfy $\left\| T\right\| \leq \eta <1$. Prove that the operator $\operatorname {Id}-T$ has a bounded inverse $(\operatorname {Id}-T)^{-1}$ and that $\left\| (\operatorname {Id}-T)^{-1}\right\| \leq 1 /(1-\eta )$.

Let $X, Y$ be normed spaces and $T: X \rightarrow Y$ a linear map that has a unique left inverse $S$. Prove that $T$ is invertible.

Give an example of normed spaces $X, Y$ and an operator $T: X \rightarrow Y$ that is:

Let $X$ be a linear space and let $S, T: X \rightarrow X$ be linear maps. Prove:

Let $X$ be a linear space and let $T: X \rightarrow X$ be a linear map that satisfies equation $p(T)=0$ for some polynomial $p$ with $p(0) \neq 0$. Prove that $T$ is invertible.

Let $X$ be a linear space, let $T: X \rightarrow X$ be a bounded map that satisfies equation $T^{2}=T$, and let $0<\left|\lambda \right|<1$. Find the inverse of $\lambda \operatorname {Id}-T$.

Let $X$ be a linear space, let $T: X \rightarrow X$ be a bounded operator with $\left\| T\right\| <1$. Prove or disprove: the equation $x-T x=y$ has a solution $x$ for every $y \in X$.

Let $X$ be a Banach space. Prove that the set of invertible operators in $\mathcal{L}(X, X)$ is open.

Let $\mathcal{H}$ be Hilbert space, let $\left\{ x_{n}\right\}_{n=1}^{\infty }$ be an orthonormal basis of $\mathcal{H}$, let $0 \leq C<1$, and let $\left\{ y_{n}\right\}_{n=1}^{\infty }$ be a sequence in $\mathcal{H}$ such that for any scalars $\left\{ \alpha_{n}\right\}$,

Prove that for each $x \in \mathcal{H}$ there are scalars $\left\{ \beta_{n}\right\}$ such that $x=\sum_{k=1}^{\infty } \beta_{k} y_{k}$, with the series converging in the norm of $\mathcal{H}$.

Let $X$ be a normed linear space of dimension $n$, let $\left\{ e_{1}, \ldots , e_{n}\right\}$ be a basis of $X$, and let $T: \mathbb {R}^{n} \rightarrow (X,\left\| \cdot \right\| )$ be defined by $T\left(x_{1}, \ldots , x_{n}\right)= \sum_{k=1}^{n} x_{k} e_{k}$. Prove that $T$ is an invertible linear operator.

Prove Corollary 11.2.6.

Corollary 11.2.6: Two normed linear spaces are isomorphic if and only if there is a linear operator $T$ mapping $X$ onto $Y$ and positive constants $m, M$ such that $m\left\| x\right\| \leq \left\| Tx\right\| \leq M\left\| x\right\|$, for all $x \in X$.

Prove Corollary 11.2.7.

Corollary 11.2.7: Let $X$ be a vector space and let $\left\| \cdot \right\|_{\alpha }$ and $\left\| \cdot \right\|_{\beta }$ be two norms on $X$. Normed spaces $(X, \left\| \cdot \right\|_{\alpha })$ and $(X, \left\| \cdot \right\|_{\beta })$ are isomorphic if and only if there are positive constants $m, M$ such that $m\left\| x\right\|_{\alpha } \leq \left\| x\right\|_{\beta } \leq M\left\| x\right\|_{\alpha }$, for all $x \in X$.

Prove that any two infinite-dimensional separable Hilbert spaces are isometrically isomorphic and that any such isomorphism preserves the inner product.

Prove that the space $C[0,1]$ is isometrically isomorphic to its subspace $A=\left\{ f \in C[0,1]: f(t)=f(1-t)\right\}$.

Let $B\left(\ell^{1}\right)$ denote the vector space of bounded sequences $\left\{ a_{n}\right\}$, where for each $n \in \mathbb {N}, a_{n} \in \ell^{1}$. The norm on $B\left(\ell^{1}\right)$ is defined by

Prove that the normed spaces $B\left(\ell^{1}\right)$ and $\mathcal{L}\left(\ell^{1}\right)$ are isometrically isomorphic.

Let $X, Y$ be Banach spaces and let $T \in \mathcal{L}(X, Y)$ be an isometry. Prove that the range of $T$ is a closed subspace of Y .

Let $X, Y, Z$ be normed linear spaces, let $F: X \rightarrow Y$ be an isometric isomorphism, and let $G \in \mathcal{L}(Y, Z)$. Prove that $\left\| G\right\| =\left\| G \circ F\right\|$.

Let $\mathcal{H}$ be Hilbert space. Prove that there is a measure space ( $X, \mathfrak {M}, \mu$ ) for which $\mathcal{H}$ is isometrically isomorphic to $L^{2}\left(X, \mu \right)$.

Let $\mathcal{H}$ be an infinite dimensional Hilbert space. Prove that there exists a continuous injective mapping $\gamma :[0,1] \rightarrow \mathcal{H}$ such that $\gamma (b)-\gamma (a)$ is orthogonal to $\gamma (d)-\gamma (c)$ whenever $0 \leq a \leq b \leq c \leq d \leq 1$.

Prove that if $T \in \mathcal{L}(\mathcal{H})$ then $T$ is an isometry on Hilbert space $\mathcal{H}$ if and only if $\left\langle T u, T v \right\rangle = \left\langle u, v \right\rangle$ for all $u, v \in \mathcal{H}$.

Let $X$ be a vector space and let $\left\| \cdot \right\|_{\alpha }$ and $\left\| \cdot \right\|_{\beta }$ be two equivalent norms on $X$. Prove that a sequence $\left\{ x_{n}\right\}_{n=1}^{\infty }$ in $X$ is Cauchy with respect to $\left\| \cdot \right\|_{\alpha }$ if and only if it is Cauchy with respect to $\left\| \cdot \right\|_{\beta }$. Conclude that ( $X,\left\| \cdot \right\|_{\alpha }$ ) is complete if and only if ( $X,\left\| \cdot \right\|_{\beta }$ ) is.

Let $X$ be a vector space and let $\left\| \cdot \right\|_{\alpha }$ and $\left\| \cdot \right\|_{\beta }$ be two equivalent norms on $X$. Let $\mathcal{T}_{\alpha }$ and $\mathcal{T}_{\beta }$ be the corresponding topologies. Prove that $\mathcal{T}_{\alpha }=\mathcal{T}_{\beta }$.

Prove that the equivalence of norms is an equivalence relation.

Let $X$ be a normed linear space and let $T$ be a linear invertible the operator on $X$ such that

Prove that there exists an equivalent norm on $X$ which makes $T$ an isometry.

Prove that $\left\| f\right\| =\left|f(0)\right|+\left\| f^{\prime }\right\|_{\infty }$ defines a norm on $C^{1}[0,1]$ that is equivalent to the norm defined by $\left\| f\right\|_{\alpha }:=\left\| f\right\|_{\infty }+\left\| f^{\prime }\right\|_{\infty }$.

Let $X$ be a linear space equipped with two norms $\left\| \cdot \right\|_{1}$ and $\left\| \cdot \right\|_{2}$ such that ( $X,\left\| \cdot \right\|_{1}$ ) is complete and the identity mapping $\operatorname {Id}:\left(X,\left\| \cdot \right\|_{1}\right) \rightarrow \left(X,\left\| \cdot \right\|_{2}\right)$ is continuous. Suppose that there exists $r>0$ such that $B_{2}(0,1) \subset B_{1}(0, r)+ B_{2}(0,1 / 2)$. Prove that these norms are equivalent.

Prove that there is $M>0$ such that if $p(t)=a_{0}+a_{1} t+\cdots +a_{n} t^{n}$ then

Let

Given $p \in [1, \infty )$, define

Show that $\left\| \cdot \right\|_{p}^{i n f}$ is a norm for each $p$, and all of these norms are equivalent.

Give an example of an open cover of the closed unit ball in $\ell^{2}$ that has no finite subcover.

Give an example of an open cover of the closed unit ball in $C[0,1]$ that has no finite subcover.

The Hilbert cube is a subset of $\ell^{2}$ consisting of all sequences $\left\{ x_{n}\right\}$ such that $\left|x_{n}\right| \leq 1 / n$, for all $n \in \mathbb {N}$. Prove that it is a compact set.

Let $\left\{ e_{n}\right\}$ be an orthonormal basis of Hilbert space $\mathcal{H}$, let $\left\{ a_{n}\right\} \subset$ ( $0,+\infty$ ), and let

Prove that $A$ is compact if and only if $\sum_{n} a_{n}^{2}$ is convergent.

Let $X$ be an infinite dimensional normed linear space. Prove that there exists a sequence $\left\{ x_{n}\right\} \subset X$ such that $\left\| x_{n}\right\| =1$ for all $n \in \mathbb {N}$ and $\left\| x_{m}-x_{n}\right\| \geq 1 / 2$ for $m \neq n$.

Prove that the vector space of all polynomials in one variable is not a Banach space in any norm.

Let $X, Y$ be normed linear spaces. Prove that:

Let $\mathcal{F}$ be a closed subspace of $L^{p}\left(\mathbb {R}, \mathcal{M}, m\right), 1 \leq p<\infty$. Prove that $\mathcal{F}$ is compact if and only if all of the following conditions hold: