Prove or disprove about Dual space

  • Thread starter Thread starter TZenith
  • Start date Start date
  • Tags Tags
    Dual Space
Click For Summary
SUMMARY

This discussion centers on the relationship between dual spaces in the context of Banach spaces and normed spaces. It specifically addresses the assertion that for a Banach space X and a closed subspace Z, the inclusion X* ⊆ Z* does not hold. The participants explore the implications of continuity and boundedness of linear functionals, concluding that if a linear functional f defined on X maps an open ball B(a,r) to the entire set of real numbers R, then f must be discontinuous. This contradiction supports the claim regarding the dual spaces.

PREREQUISITES
  • Understanding of Banach spaces and their properties
  • Familiarity with dual spaces and linear functionals
  • Knowledge of continuity and boundedness in functional analysis
  • Concept of open balls in normed spaces
NEXT STEPS
  • Study the properties of Banach spaces and their duals
  • Learn about the implications of the Hahn-Banach theorem
  • Explore the concept of continuity in the context of linear functionals
  • Investigate examples of bounded and unbounded linear functionals in normed spaces
USEFUL FOR

Mathematicians, particularly those specializing in functional analysis, graduate students studying advanced topics in linear algebra, and researchers exploring the properties of dual spaces in Banach and normed spaces.

TZenith
Messages
1
Reaction score
0
1. X : Banach space

Z : closed subspace of X

Prove or disprove that X* ⊆ Z*

where Z* and X* are dual space of Z and X, respectively.

2. X : normed space and f : X → R : linear functional.

Assume that ∃a∈X and r∈(0,1] such that f(B(a,r))=R(Real numbers)

where B(a,r) is open ball. Prove that f is discontinuous

Proof. 2) I think it must suppose f is continuous and find a contradiction with f(B(a,r))=R

But I can't find some contradiction.

1) We think it doesn't satisfy X* ⊆ Z*. But we will show X* ⊆ Z* and find some contradiction. Let f ∈ X*. Thus f : X → R is bounded linear functional. We must to show that f : Z → R is bounded linear functional or find some contradiction.
 
Physics news on Phys.org
You have that Z \subseteq X right? Linear functionals must be linear maps into \mathbb R for all elements on which they act. A way of thinking about this is that the bigger a space is, the more restrictions are imposed on the dual functions, hence we would suspect that the dual spaces reverse inclusion!

Now check this. As you started, let f \in X^* so that f^*: X \to \mathbb R is linear and bounded. You want to know how it acts on a closed subspace of X. So first of all, could the function fail to be linear? Secondly, could the function fail to be bounded?

For the second question, think about the definition of continuity. The function f is continuous at a if for all \epsilon >0 there exists \delta >0 such that f(B(a,\delta)) \subseteq B(f(a),\epsilon). Could you function be continuous at 'a'? Why or why not?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
14
Views
4K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
3
Views
2K