A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.

learn more… | top users | synonyms

0
votes
2answers
118 views

Proving that a Hölder space is a Banach space

I am trying to show that the Hölder space $C^{k,\gamma}(\bar{U})$ is a Banach space. To do this, I successfully proved that the mapping $\| \quad \| : C^{k,\gamma}(\bar{U}) \to [0,\infty)$ is a norm, ...
1
vote
1answer
59 views

How to use Triangle inequality to find the projection onto unit ball?

The projection onto the unit ball $$C:=\mathbb{B}(0,1)=\{x:||x||\leq1\}$$ is given by $$P_{C}(x)=\frac{x}{max\{||x||,1\}}, \quad\forall x\in X$$ where $X$ is Hilbert space. Now I can understand this ...
3
votes
1answer
43 views

Is there a non-dense subspace of $\ell_1$ which is dense in every finite-dimensional subspace?

We want to find a subspace $F \subseteq \ell_1(\mathbb{R})$ such that for any finite $n \in \mathbb{N}$ and tuple $x=(x_1,\dots,x_n) \in \mathbb{R}^n$ we can find a sequence $(f^k)_k \subseteq F$ with ...
2
votes
0answers
22 views

Explicit Hahn-Banach extension formula in finite dimensional $l^p$ /Smoothness of the Hahn-Banach mapping

Consider the finite dimensional vector space $V=(\mathbb{R}^N,\|\cdot\|_{p})$, equipped with the usual $l^p$ norm, $1<p<\infty$. Consider a linear subspace $U\subset V$ (not necessarily a ...
1
vote
1answer
37 views

States: Extension

Definition Define positivity in terms of: $$\omega\geq0:\iff\omega(X^*X)\geq0$$ (This way it serves best for the GNS-construction.) Problem Given a C*-algebra $1\notin\mathcal{A}$ and adjoin a unit ...
0
votes
1answer
42 views

Verifying that the Sobolev space is a Banach Space

In PDE Evans 2nd edition (pages 262-263), I am trying to understand a proof of a theorem, which states: THEOREM 2 (Sobolev spaces as function spaces). For each $k=1,\ldots$ and $1\le p\le\infty$, ...
0
votes
0answers
19 views

Proving the inclusion operator is compact on Lipschitz Spaces [duplicate]

Consider the $\alpha$-Lipschitz functions on a bounded domain $D$ in $\mathbb{R}^n$, so the functions: $C^{0, \alpha}=\{f\in C^0(D): sup_{x\in D}|f(x)|+sup_{x, y \in ...
1
vote
1answer
46 views

Why do we consider only real or complex Banach spaces?

In wikipedia, normed vector space is defined as a vector space over a subfield of $\mathbb{C}$ equipped with a norm. However, Banach space is defined as a complete normed space over $\mathbb{R}$ or ...
3
votes
1answer
71 views

Is $T(X)$ a banach space?

Let $X$ be a banach space and $Y$ be a normed space and $T:X\rightarrow Y$ be a linear transformation. Then is $T(X)$ a banach space? How do i prove this? I'm asking this since I saw a post saying ...
2
votes
1answer
51 views

If Banach space is algebraic sum of its two linear subspaces with mutually separated unit spheres then these subspaces are closed.

Let $X$ be a Banach space, $Y$ and $Z$ be its linear subspaces such that $X = Y+Z$, $\ Y\cap Z = \{0\}$ and the unit spheres in $Y$ and $Z$ are separated, i.e. $$ \exists r>0 \ \ \lVert y-z\rVert ...
1
vote
0answers
47 views

Vector measure for the working computer scientist

Could you give elementary examples of vector measures that can help a non-mathematician to understand this concept and how it can be useful? Edit: This question is missing context because its point ...
1
vote
0answers
27 views

Can there be weak* open cover of the dual banach space with the arbitrary small (in diameter) sets?

That is, I want to cover $X^*$ (X is Banach space) with a family $\{U_{\alpha}\}$, where $diam(U_{\alpha})<\epsilon$ and each $U_{\alpha}$ is weak* open. I expect, that not every open ball is ...
3
votes
0answers
55 views

Gelfand width of $l_1$ unit ball in $\infty$ metric

The $l_1$ balls in $l^N_p$ are well studied, but I cannot find anything about estimates of $d^m(B^N_1,l^N_\infty)$ except of $d^m(B^N_1,l^N_\infty)\geq C\min\{1,\frac{\ln(eN/m)}{m}\}$ which is not ...
4
votes
1answer
109 views

Prove a certain property of linear functionals, using the Hahn-Banach-Separation theorems

I've been trying to solve this question, with no luck so far: Let $X$ be a real linear space, and $\{\|\cdot \|_i\}_{i=1}^{n}$ family of norms on $X$. Let $f$ be a linear functional on $X$ such that ...
1
vote
1answer
38 views

Max norm of product normes spaces

Edit: I need some help with this. Let $$(V_1, \|·\|_1)$$ and $$(V_2, \|·\|_2)$$ be normed spaces, and the product space $$V = V_1\times V_2$$ be endowed with the norm $$\|(x_1, x_2)\| = \max\{ ...
6
votes
1answer
112 views

$p^2=p$ in closure of ideal $I$ of Banach algebra implies $p\in I$.

Let $I\subset A$ be a ideal of a Banach algebra $A$. Assume $p\in \overline I$ and $p^2=p$. Show: $p\in I$. Can someone give me a little hint how to solve this, please?
1
vote
0answers
42 views

If a bidual space $X^{**}$ is isomorphic to a dual space $Y^*$, is there any relation between $(X, \rho|_X)^*$ and $Y$?

If a bidual space $X^{**}$ is isomorphically renormed to a dual space $Y^*$, in other words there exists a norm $\rho$ s.t.$(X^{**},\rho )=Y^*$, then is there any relation between $(X, \rho|_X)^*$ ...
1
vote
1answer
38 views

Nonunital C*-Algebras: Closed Image

Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$. Consider a morphism: $\pi:\mathcal{A}\to\mathcal{B}$. Then its image is closed: $\mathrm{im}\pi\subsetneq\overline{\mathrm{im}\pi}$ The proof I ...
1
vote
1answer
106 views

Extensions: Spectrum

Problem Given a C*-algebra $\mathcal{A}_0$ and unital extensions $1\in\mathcal{A}$ and $1'\in\mathcal{A}'$. Regard a common element: $$A_0\in\mathcal{A}_0:\quad A^{(\prime)}:=\iota^{(\prime)}(A_0)$$ ...
1
vote
1answer
45 views

Show that a subspace is closed in Hilbert space $H$

Let $u\in B(H)$ , $\lambda < 0$. Also we have $\|(u-\lambda)x\|\geq |\lambda|\|x\|$. So $u-\lambda$ is bounded below. To show $(u-\lambda)(H)$ is closed in $H$, suppose $\{(u-\lambda)x_n\}$ be ...
0
votes
1answer
57 views

Open mapping lemma - are these versions equivalent?

Here is a version the Open Mapping Lemma given in class : Let $X$ be a Banach space and $Y$ be a normed space. Let $T : X\rightarrow Y$ be a bounded linear map. Assume there exist $M \geq 0$ and ...
1
vote
2answers
74 views

Prove that $T^*$ is injective iff $ImT$ Is dense

Let X,Y be two normed spaces, and $T:X\rightarrow Y$ a bounded linear operator. prove that the adjoint operator $T^*$ ($T^*f(x)=f(Tx)$ is injective iff $ImT$ is dense any help would be great guys. I ...
2
votes
1answer
80 views

Proving existence of a linear functional

Let $(X, \| \cdot \|)$ be a normed space, and let $A, B ⊂ X$ be disjoint convex sets such that $B$ is closed and $A$ is compact. Prove that there exists $\varphi ∈ X^*$ such that $$\sup_{a\in A} ...
2
votes
1answer
102 views

Show that an operator is well-defined

Let $v\in B(H)$, Define $u:|v|H\to H$ such that $u(|v|\xi) = v\xi$ . To show the map $u$ is well-defined, the author writes $$\||v|\xi\|^2=\langle v^*v\xi,\xi\rangle = \|v\xi\|^2$$ But I do not know ...
1
vote
1answer
34 views

Partial isometry and projection

The following is a Theorem of Murphy's C*-algebras and operator theory: Let $H_1, H_2$ be Hilbert spaces and $u\in B(H_1,H_2)$. If $u^*u$ is a projection, then $uu^*u=u$. To show it, for $\xi\in ...
1
vote
2answers
55 views

Equality of two operators

The following is a fact in Murphy's C*-algebras and operator theory page 49: Suppose $u,v \in B(H)$, where $H$ is a Hilbert space, then $u=v$ if and only if $\langle u\xi,\xi\rangle = \langle ...
5
votes
0answers
59 views

Alternate proof of a result on dual spaces: what is wrong with it?

I am familiar with Rudin's book's proof of the fact that, in $\sigma$-finite measure spaces and for $p\in[1,+\infty)$, the dual space of $L^p$ is $L^q$ where $p,q$ are conjugate, i.e. ...
1
vote
2answers
86 views

C*-algebras: Literature?

I'd like to better understand states on C*-algebras. What properties should I investigate and in which order? (Positive functionals, extremal states, Schwarz's inequality, Kadison's inequality, what ...
1
vote
0answers
33 views

Density and Fredholmness

Let $X$ be a Banach Space and $Y$ a dense subset of $X$. An operator $T:X \to X$ is said to be Fredholm if it has closed range, $\dim \ker(T)<\infty$ and $\dim coker(T) < \infty$. Here is my ...
0
votes
0answers
27 views

The dual of the space $L^\infty$. [duplicate]

As we know the dual of $L^p$s are $L^q$s where $\frac{1}{p} + \frac{1}{q} =1$, and dual of $L^1$ is $L^\infty$. What is dual of the space $L^\infty (E)$ where E is a measurable subset of $\mathbb{R} ^ ...
0
votes
0answers
21 views

Geometric intuition behind of uniformly rotund in every direction

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $\lim_{n\to\infty} ||x_n-y_n||=0$ whenever $x_n, y_n \in S_X$ are such that $\lim_{n\to\infty} ||x_n+y_n||=2$ and ...
0
votes
1answer
102 views

Fundamental theorem of calculus with Gâteaux differentials and Riemann integrals

Let $f:[a,b]\to E$ where $E$ is a Banach space and let $Df(x,h)$ be its Gâteaux differential in $x$ with direction $h$. If $\mathbb{R}\to E$, $h\mapsto Df(x,h)$ is linear and continuous, then we write ...
3
votes
1answer
79 views

Having trouble understanding a proof after it applies the Hanh Banach theorem.

I have been reading a proof on the convergence of Newton's method that has been fairly easy to follow except for a single step that has totally mystified me because it suddenly depends on a lot more ...
1
vote
1answer
34 views

Homeomorphism from $K$ to $\Phi_{C(K)}$

Let $K$ be a compact Hausdorff and $C(K)$ be a Banach algebra of continuous function on $K$ such that $\textbf{1} \in C(K)$ and such that $C(K)$ separates the point of $K$. I am trying to show that ...
0
votes
0answers
36 views

Spectrum of a bounded operator on a (not necessarily Banach) normed vector space

It's well known that on a Banach space, the spectrum of each bounded operator is compact in $\mathbb C$. What about a general normed vector space? Is there a counterexample if we don't assume ...
3
votes
1answer
73 views

Closed subspace. A Hahn–Banach theorem consequence

I am trying to prove: If M is a subspace of a normed space $X$, that $\overline{M}=\bigcap\{\ker(\phi):\phi|_{M} = 0 \}$ It is really easy to see that $\overline{M} \subset ...
13
votes
1answer
348 views

Smallest constant of Lipschitz retraction from bounded to continuous functions

Let $B$ be the space of all bounded functions $f:[0,1]\to\mathbb R$ equipped with the supremum norm*. It contains $C$, the space of continuous functions on $[0,1]$, as a subspace. An $L$-Lipschitz ...
1
vote
0answers
50 views

Newton method for maps between Banach spaces

I am trying to understand the following theorem, which can be found in Kolmogorov and Fomin's (p. 509 here): Let map $F$ [$:X\to Y$ where $X,Y$ are Banach spaces] be strongly differentiable in a ...
7
votes
0answers
191 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
0
votes
1answer
36 views

Dynamics: Schwinger-Dyson-Expansion

Given a C*-algebra $\mathcal{A}$ Consider a free generator $\delta_0:\mathcal{D}_0\to\mathcal{A}$ with $\overline{\mathcal{D}_0}=\mathcal{A}$. Introduce a perturbation ...
0
votes
1answer
24 views

Lower bound for the norm of the resolvent

I need to prove next statement (I want to do it for general case) $\|R_A(z)\| = \lVert \frac{1}{A-zI} \rVert \ge \text{dist}(z,\sigma(A))^{-1}$ I think it could be like this let $a\in \sigma(A) z ...
5
votes
0answers
67 views

Conditions for Taylor formula

I know that, if $F:X\to Y$, where $X,Y$ are Banach spaces, is a map whose $n$-th Fréchet derivative $x\mapsto F^{(n)}(x)$ is continuous as a function of $x$ in a neighbourhood of $x_0\in X$, then the ...
2
votes
0answers
50 views

Subalgebras of $C_b(X)$ whose elements do not vanish simultaneously at any point

Let $X$ be a completely regular space. How can I find all Banach subalgebras of $C_b(X)$ (all complex-valued bounded continuous functions on $X$) with the property that for every $x\in X$ there ...
1
vote
1answer
49 views

Extreme point of unit balls, over $\mathbb C$

I've been trying to determine what are the extreme point of the unit balls of $\ell^1$ and $\mathcal{C}[0,1]$. I think that I cracked the real case (I got for $\ell^1$: $\{e_n\}_{n\in \mathbb ...
1
vote
0answers
38 views

Extreme point of unit balls, the complex case [duplicate]

I've been trying to determine what are the extreme point of the unit balls of $\ell^1$ and $C[0,1]$. I think that I cracked the real case (I got for $\ell^1$: $\{e_n\}_{n\in \mathbb ...
1
vote
1answer
41 views

How to prove that operators are isometry on $\ell^p$/$c$?

Lately I've been studying Banach spaces and isometries, and encountered many explicit isometrys involving $c$, $c_0$, $c^*$, $c_o^*$, $\ell^1$, $\ell^\infty$, etc. (Here $c\subset\ell^\infty$ is the ...
1
vote
0answers
14 views

Strong derivative of a compound map

I find the strong Fréchet derivative of $\Phi(h,\psi(h))$, where $\Phi:T_0\times T_\xi\to Y$ with $T_0, T_\xi, Y$ Banach spaces and $\psi:T_0\to T_\xi$ is strongly differentiable in $0$, evaluated in ...
1
vote
2answers
38 views

Is a countable union of complete subspaces complete?

I would like to ask the following, which I wanted to use a part of my proof but couldn't determine if it's right: Assume $X$ is a normed space, and $(X_n)_{n\in \mathbb N}$ complete subspaces. Must ...
1
vote
1answer
113 views

Eigenvalues of Left Shift + Right Shift in $l_2([0,\infty))$

This question appeared on an old final exam and I am having difficulty completing it for practice. Let $S_r$ and $S_l$ be defined on the hilbert space $l_2[0,\infty)\to l_2[0,\infty)$ as the ...
2
votes
0answers
74 views

Continuity of implicit function

I find a proof of the following theorem in A.N. Kolmogorov and S.V. Fomin's Элементы теории функций и функционального анализа (pp. 492-493 here): Let $X,Y,Z$ be Banach spaces, $U$ a neighbourhood ...