An automorphism in a Banach space

  • Context: Graduate 
  • Thread starter Thread starter Calabi
  • Start date Start date
  • Tags Tags
    Banach Space
Click For Summary

Discussion Overview

The discussion revolves around the properties of an automorphism in a Banach space, specifically examining the conditions under which the sum of a Lipschitz function and a continuous automorphism results in another automorphism. The scope includes theoretical aspects of functional analysis and operator theory.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant proposes that if \( f \) is a Lipschitz function with a constant \( k < \frac{1}{\|A^{-1}\|} \), then \( f + A \) could be shown to be an automorphism.
  • Another participant questions the necessity of \( f \) being linear for \( f + A \) to be an automorphism, suggesting that linearity may not be required for invertibility.
  • Several participants emphasize that automorphisms must preserve the linear structure of the space, implying that \( f \) should be linear for \( f + A \) to qualify as an automorphism.
  • One participant discusses the invertibility of \( A + f \) under certain conditions, drawing parallels to known results about linear operators in Banach spaces.
  • Concerns are raised about the clarity of the original problem statement and the need for a more precise formulation to facilitate discussion.

Areas of Agreement / Disagreement

Participants express differing views on whether \( f \) must be linear for \( f + A \) to be an automorphism. There is no consensus on the exact requirements for \( f \) or the clarity of the original question posed by the OP.

Contextual Notes

There are unresolved assumptions regarding the properties of \( f \) and the implications of its Lipschitz condition. The discussion also reflects a lack of clarity in the problem statement, which affects the direction of the conversation.

Who May Find This Useful

This discussion may be of interest to those studying functional analysis, particularly in the context of operator theory and the properties of Banach spaces.

Calabi
Messages
140
Reaction score
2
Hello I've got a problem : let be a normed vectorial space E, N and A an continue automorphism.
I suppose E is complete. So by the banach theorem
$$A^{−1}$$
is continue.
So now let be f a k lipshitz application with
$$k<\frac{1}{||A^{−1}||}$$.
.
I'd like to show that f + A is an homomorphism.
I don't even know how to start.

Have you got any idea please?

Thank you in advance and have a nice afternoon:oldbiggrin:.
 
Physics news on Phys.org
I don't understand.
If f is a Lipschitz function (from E to E), f + A will be continuous, and f + A will also be linear if f is linear.

What am I missing?
 
Oh no. Change homomorphisme in automorphism.
And I never say that f is linear.
 
Calabi said:
Oh no. Change homomorphisme in automorphism.
And I never say that f is linear.
Ok, you changed the question.

Anyway, an automorphism on the Banach space E would be a bounded linear invertible operator. A necessary condition for f + A to be an automorphism is f being linear.

EDIT: if A is an automorphism of a Banach space, and B is a linear operator on that space satisfying ##\|A-B\|<\frac{1}{\|A^{−1}\|}##, then B is invertible too.
That would imply that in your case f + A will be an automorphism if f is linear.
 
Last edited:
Calabi said:
Oh no. Change homomorphisme in automorphism.
And I never say that f is linear.
Like Samy_A said, linearity is necessary, unless you consider some structure other than the vector space/linear structure on your space, which does not seem to be what you are doing. EDIT basically, automorphisms of a space are maps (from the space to itself here) that respect/preserve the structure of the space. A Banach space is by definition a linear/vector space, so automorphisms are maps that must preserve this structure.
 
Calabi said:
Oh no. Change homomorphisme in automorphism.
And I never say that f is linear.
I think it may be that the OP is trying to merely prove that ##A + f## is invertible, not that it is an automorphism. For this, it is indeed not needed that ##f## is linear.
 
Krylov said:
I think it may be that the OP is trying to merely prove that ##A + f## is invertible, not that it is an automorphism. For this, it is indeed not needed that ##f## is linear.
I tried to mimic the proof for the basic linear case: if ##T## is a linear operator satisfying ##\|T\|<1##, then ##I-T## is invertible.
So the hypothesis is: If ##f## is a Lipschitz function satisfying ##\forall x,y: \ \|f(x)-f(y)\|<=k\|x-y\|##, with ##k<1##, then ##I-f## is invertible.
In the linear case one constructs the inverse with the series ##\sum_{n=0}^\infty T^n(x)##, that obviously converges for linear T.
Does the similar series for the Lipschitz function, ##\sum_{n=0}^\infty f^n(x)##, also converge? It does if ##f(0)=0##, but not in general.
 
Last edited:
Hello guys and girls and sorry for the time of answer.
 
Samy_A said:
: if TT is a linear operator satisfying ∥T∥<1\|T\|

Is it always true please?
 
  • #10
Calabi said:
Is it always true please?
What is true is that if ##T## is a linear operator on a Banach space satisfying ##\|T\|<1##, then ##I-T## is invertible.
(A specific case of a more general property of unital Banach algebras.)
 
Last edited:
  • #11
Which property do you refere please?
 
  • #12
Forget what I said : in a Banch space the absolute convegrence make the convergence, so let be a Banach algebra : let be x with $$||x||< 1$$, as $$\Sigma ||x||^{n}$$ converge the $$\sigma x^{n}$$ converge,
and $$(x - Id)$$ is invertible his inverse is $$\Sigma x^{n}$$.

Since E is a banach space so all all the continious endomorphisme are a Banach algebra.
 
  • #13
But $$k < \frac{1}{||A||^{-1}}$$. We could have $$k \ge 1$$.
 
  • #14
It's not taht esay.
 
  • #15
Calabi said:
But $$k < \frac{1}{||A||^{-1}}$$. We could have $$k \ge 1$$.
If ##T## is a linear operator on a Banach space satisfying ##\|T\|<1##, then ##I-T## is invertible.
You can deduce from this (see it as an exercise):
if A is an automorphism of a Banach space, and B is a linear operator on that space satisfying ##\|A-B\|<\frac{1}{\|A^{−1}\|}##, then B is invertible too.
Calabi said:
It's not taht esay.
It would be easier if you stated clearly what you want to prove. For now we are just trying to guess what you really mean. Strictly speaking your question as stated has been answered.

,
 
  • Like
Likes   Reactions: S.G. Janssens
  • #16
I think we want to proove A + f is an automorphisme.
 
  • #17
As it at been said we have to proove f linear and bijectif.
 
  • #18
Two different answers to the question "what do you want to prove".
Calabi said:
I think we want to proove A + f is an automorphisme.
Then we are back to where we were two days ago. A + f will be an automorphism if and only if f is linear (given the properties of A and f in the OP).

Calabi said:
As it at been said we have to proove f linear and bijectif.
No idea where this comes from. There is no way one can prove f is linear and/or bijective using only the properties of f given in the OP.
 
  • #19
Could a moderator please clean this thread up? It has become quite unreadable, notwithstanding the amount of patience that Samy_A has displayed. We require a clear problem statement from the OP, written in a single post and in clear English. Only then can others help.
 
  • #20
Thread closed for moderation.
 
  • #21
@Calabi after discussion with the mentors we recommend that you open up a new thread in the advanced homework section. Please use the template, that will greatly benefit the discussion and add some structure and clarity.
 
  • #22
Hello sorry I'm late, I accept and I'm sorry for 2 reason : first I was not very active on the conversation.
Then this exercicse is extract from a paper and the teacher made many mistake in the paper.
 

Similar threads

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