Skip to main content
added 513 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

In general, no. Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ is a separable subspace of both infinite dimension and infinite co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ of $N$ such that $M\cap N=(0)$, and $N\subset \overline{M} $. In this situation, of course, any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$.

Details. Finding the subspace (And here$M$ requires a little argument. By the assumptions on $N$: There is a closedsequence $\{u_k\}_k$ such that $\overline{\operatorname{span}}\{u_k\}_k=N$. There is an infinite dimensional subspace of $N'$ such that $\overline{M}=X$$N'\cap N=(0)$. There is a bounded linearly independent double sequence $\{v_{j,k}\}_{j,k}\subset N'$. Then $\{u_k+2^{-j}v_{j,k}\}_{j,k}$ is a linearly independent family that generates a linear subspace $M$ such that $N\subset \overline{M}$ and $N\cap M=(0)$, as required)wanted.

Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ is a separable subspace of infinite dimension and co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ such that $M\cap N=(0)$, and of course any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$. (And here $N$ is a closed infinite dimensional subspace of $\overline{M}=X$ as required).

In general, no. Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ is a separable subspace of both infinite dimension and infinite co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ of $N$ such that $M\cap N=(0)$ and $N\subset \overline{M} $. In this situation, of course, any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$.

Details. Finding the subspace $M$ requires a little argument. By the assumptions on $N$: There is a sequence $\{u_k\}_k$ such that $\overline{\operatorname{span}}\{u_k\}_k=N$. There is an infinite dimensional subspace $N'$ such that $N'\cap N=(0)$. There is a bounded linearly independent double sequence $\{v_{j,k}\}_{j,k}\subset N'$. Then $\{u_k+2^{-j}v_{j,k}\}_{j,k}$ is a linearly independent family that generates a linear subspace $M$ such that $N\subset \overline{M}$ and $N\cap M=(0)$, as wanted.

added 23 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ hasis a separable subspace of infinite dimension and co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ such that $M\cap N=(0)$, and of course any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$. (And here $N$ is a closed infinite dimensional subspace of $\overline{M}=X$ as required).

Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ has infinite dimension and co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ such that $M\cap N=(0)$, and of course any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$. (And here $N$ is a closed infinite dimensional subspace of $\overline{M}=X$ as required).

Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ is a separable subspace of infinite dimension and co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ such that $M\cap N=(0)$, and of course any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$. (And here $N$ is a closed infinite dimensional subspace of $\overline{M}=X$ as required).

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

Let $T:X\to Y$ be a bounded linear operator between infinite dimensional Banach spaces, as assumed in the question. Assume further $N:=\ker T$ has infinite dimension and co-dimension. Then, there is an infinite dimensional dense subspace $M\subset X$ such that $M\cap N=(0)$, and of course any non-null subspace $W\subset M$ verifies $\|T_{|W}\| >0=\|T_{|N}\|$. (And here $N$ is a closed infinite dimensional subspace of $\overline{M}=X$ as required).