AxiomOfChoice
- 531
- 1
Is it true that if [itex]T: X\to Y[/itex] is a compact linear operator, [itex]X[/itex] and [itex]Y[/itex] are normed spaces, and [itex]N[/itex] is a subspace, then [itex]T|_N[/itex] (the restriction of [itex]T[/itex] to [itex]N[/itex]) is compact? It seems like it would work, since if [itex]B[/itex] is a bounded subset of [itex]N[/itex], it's also a bounded subset of [itex]X[/itex] and hence its image is precompact in [itex]Y[/itex].
But what if [itex]N[/itex] is just an arbitrary subset of [itex]X[/itex]? I guess it doesn't work in that case, though, since it doesn't even make sense to talk about [itex]T[/itex] being a linear operator in that case.
But what if [itex]N[/itex] is just an arbitrary subset of [itex]X[/itex]? I guess it doesn't work in that case, though, since it doesn't even make sense to talk about [itex]T[/itex] being a linear operator in that case.