Help Needed Proving Implication for Linear Functional on Banach Space

Click For Summary
SUMMARY

The discussion centers on proving that a linear functional \( l \) on a Banach space \( B \) is continuous if and only if the set \( A = \{ f \in \mathcal{B} : l(f) = 0 \} \) is closed. The user, Carter, seeks assistance in demonstrating that \( l^{-1}\{0\} = A \) is closed, which is a key aspect of the proof. The conversation also highlights the equivalence of continuity and boundedness for linear functionals on Banach spaces.

PREREQUISITES
  • Understanding of linear functionals in functional analysis
  • Familiarity with Banach spaces and their properties
  • Knowledge of continuity and boundedness in the context of linear mappings
  • Proficiency in mathematical notation, particularly in using double hash for LaTeX formatting
NEXT STEPS
  • Study the properties of linear functionals on Banach spaces
  • Learn about the closed graph theorem and its implications
  • Explore the relationship between continuity and boundedness in functional analysis
  • Review examples of closed sets in the context of Banach spaces
USEFUL FOR

Mathematicians, particularly those specializing in functional analysis, students studying linear algebra, and anyone interested in the properties of Banach spaces and linear functionals.

cbarker1
Gold Member
MHB
Messages
345
Reaction score
23
Homework Statement
Show that for any linear functional ##l## on ##B## is continuous if and only if ##A=\{f\in\B:l(f)=0\}## is closed.
Relevant Equations
#B# is a Banach space over the complex field and #ker(l)={f\in \mcalB: l(f)=0}#
Dear everybody,

I am having some trouble proving the implication (or the forward direction.) Here is my work:

Suppose that we have an arbitrary linear functional ##l## on a Banach Space ##B## is continuous. Since ##l## is continuous linear functional on B, in other words, we want show that ##l^{-1}\{0\}=A## and this is closed. I am having trouble with this claim.

Thanks
Carter
 
Last edited:
Physics news on Phys.org
cbarker1 said:
Homework Statement:: Show that for any linear functional #l# on #B# is continuous if and only if #A=\{f\in\mclB:l(f)=0\}# is closed.
Relevant Equations:: #B# is a Banach space over the complex field and #ker(l)={f\in \mcalB: l(f)=0}#

Dear everybody,

I am having some trouble proving the implication (or the forward direction.) Here is my work:

Suppose that we have an arbitrary linear functional l on a Banach Space #B# is continuous. Since #l# is continuous linear functional on #B#, in other words, we want show that #l^{-1}{0}=A# and this is closed. I am having trouble with this claim.

Thanks
Carter
It is also equivalent to being bound. You can use this for the way back.
 
@cbarker1 : Please use a double hash to wrap your math. Like in ##l^{-1}##, instead of a single one , like #l^{-1}#.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K