# Local Module Homomorphism

Let $A$ be Banach algebra and $X,Y$ be two left Banach $A$-modules. It is said that the linear bounded map $\phi:X\to Y$ is left $A$-module homomorphism if for any $a\in A$ and any $x\in X$ we have $\phi(a.x)=a.\phi(x)$.

We define Local left $A$-module homomorphism. We say that $\phi:X\to Y$ is local left $A$-module homomorphism if for any $x\in X$ there exist a open neigborhood $V_x\subset X$ of $x$ and a left $A$-module homomorphism $\psi:X\to Y$ such that for all $y\in V_x$ we have $\phi(y)=\psi(y)$ i.e., $\phi=\psi$ on $V_x$.

First question: Is this definition well-defined? I mean is there a difference between local left $A$-module homomorphism and left $A$-module homomorphism?

Second question: Is this definition defined before?

• Yes, both definition are the same. Since $\phi = \psi$ on a neighbbohood of $0$, then for $x \in X$ $a \in A$ and $t \in \mathbb{R}$ small enought, $\phi(ax) = t^{-1}.\phi(tax) = t^{-1}.\psi(tax) = \psi(ax) = a \psi(x) = a.t^{-1} \psi(tx) = a.t^{-1} \phi(tx) = a\phi(x)$. Jun 18, 2014 at 14:05
• wow!!!!!!!!!!!!!!!!!!!!!!!!!!!! Jun 18, 2014 at 18:08