Restrictions of compact operators

  • Context: Graduate 
  • Thread starter Thread starter AxiomOfChoice
  • Start date Start date
  • Tags Tags
    Compact Operators
Click For Summary
SUMMARY

If T: X → Y is a compact linear operator between normed spaces X and Y, then the restriction of T to a subspace N, denoted T|_N, is indeed compact. This conclusion holds true as long as N is a closed linear subspace of X. If N is merely an arbitrary subset, the restriction does not maintain the properties of a linear operator, thus complicating the definition of compactness. Therefore, the compactness of T|_N is guaranteed only when N is a closed linear subspace.

PREREQUISITES
  • Understanding of compact linear operators in functional analysis
  • Knowledge of normed spaces and their properties
  • Familiarity with the concept of bounded subsets in vector spaces
  • Basic principles of linear algebra, particularly subspaces
NEXT STEPS
  • Study the properties of compact operators in functional analysis
  • Explore the implications of closed linear subspaces in normed spaces
  • Learn about the relationship between bounded subsets and compactness
  • Investigate the definitions and properties of linear operators on arbitrary subsets
USEFUL FOR

Mathematicians, particularly those specializing in functional analysis, as well as students and researchers interested in the properties of compact operators and their applications in normed spaces.

AxiomOfChoice
Messages
531
Reaction score
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.
 
Physics news on Phys.org
Yes,the restriction will be compact by definition. When N is arbitrary, T would still make sense on the closed linear span of N.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K