Skip to main content
deleted 1413 characters in body
Source Link

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revised problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revised problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revised problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Thanks a lot!

deleted 1 character in body
Source Link

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revisiedrevised problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revisied problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revised problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

edited body
Source Link

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. For every closed subspace $\mathcal{M}$, whatWhat condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revisied problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. ForWhat condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, what condition should I pose on $\mathcal{B}$ such that the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. For every closed subspace $\mathcal{M}$, what condition should I pose on $\mathcal{B}$ such that the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revisied problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. For every finite dimensional subspace $\mathcal{M}$, what condition should I pose on $\mathcal{B}$ such that the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every closed subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

Edit---------------

The comment of M.González looks really good to me. I am considering a revisied problem:

Suppose $\mathcal{B}$ is a Banach space which is not isomorphic to a Hilbert space. What condition should I pose on $\mathcal{B}$ such that for every finite dimensional subspace $\mathcal{M}$, the quotient space $\mathcal{B}/\mathcal{M}$ is isomorphically isometric to some closed subspace of $\mathcal{B}$?

The following is some attempts. Since finite dimensional subspace is always complemented, there exists a closed subspace $\mathcal{N}$ such that $$\mathcal{B}=\mathcal{M}\oplus\mathcal{N}.$$ And then we can prove $\mathcal{B}/\mathcal{M}$ with natural quotient topology is isomorphic to $\mathcal{N}$ where natural quotient topology is defined as $$ \|x+\mathcal{M}\|_{\mathcal{B}/\mathcal{M}}:=\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}},\quad\forall x\in\mathcal{B} $$ But it seems not isometric in general. I am trying to put some semi-inner-product in the sense of Lumer-Giles on $\mathcal{B}$. There is a theorem (Theorem 71 of Semi-Inner Products and Applications by S. S. Dragomir) which says if $\mathcal{B}$ is strictly convex, reflective, smooth and has an semi-inner-product (L-G), then there is a unique decomposition of $\mathcal{B}$ as $$ \mathcal{B}=\mathcal{M}\oplus\mathcal{M^{\perp}} $$ where $\mathcal{M^{\perp}}$ is the orthogonal complement of $\mathcal{M}$ in the sense of Lumer-Giles. Clearly, here $\mathcal{M}^{\perp}=\mathcal{N}$. But I cannot prove $$\inf_{y\in\mathcal{M}}\|x-y\|_{\mathcal{B}}=\|P_{\mathcal{M}^\perp}(x)\|_{\mathcal{M^{\perp}}}$$ where $P_{\mathcal{M}^\perp}(x)$ is the projection of $x\in\mathcal{B}$ on $\mathcal{M}^\perp$. Once we prove that, the isometry will be true? Any remedy for this? Or any other condition should be posed on $\mathcal{B}$? Thanks a lot!

deleted 29 characters in body
Source Link
Loading
added 1880 characters in body
Source Link
Loading
Probable Typo fixed
Source Link
Johannes Hahn
  • 9.7k
  • 2
  • 33
  • 66
Loading
Source Link
Loading