Tagged Questions

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
29 views

Show this function is well defined and continuous. [on hold]

Let $$(X,\|.\|)$$ be a Banach space and a sequence $$(x_n) \mbox{ is a subset of } X$$ such that the series $$\sum_{n=1}^{\infty}\|x_n\|$$ converges in $\mathbb{R}$. Prove that the sequence ...
2
votes
1answer
25 views

Every metric space can be isometrically embedded in a Banach space, so that it's a linearly independent set

I'm trying to prove the following: Every metric space can be isometrically embedded in a Banach space, so that it's a linearly independent set. I came up with the following idea: Let $ (X,d) $ be a ...
0
votes
1answer
25 views

Banach spaces, partial sums converge?

Let $(X,||.||)$ be a Banach space. Suppose the sequence $(x_n) \subset X$ is such that $\sum_{n=1}^{\infty} \|x_n\|$ converges in $\mathbb{R}$. Prove that $S_n = x_1+x_2+...+x_n$ the "Partial sums" ...
0
votes
0answers
26 views

Definition of reflexive Banach spaces

I'm trying to understand the definition of reflexive spaces. I wrote in my notes: If $Y$ is reflexive then for all $\eta\in Y^{**}$, $f\in Y^*$, $\exists y\in Y$ where $\eta(f) = f(y)$. My question ...
1
vote
2answers
53 views

About the adjoint operator and weak operator topology.

Let $X,Y$ be Banach spaces. Let $\lbrace{S_n\rbrace}\subset\mathcal{L}(X,Y)$, and $T\in\mathcal{L}(X,Y)$, such that $S_n\xrightarrow[n\to\infty]{WOT}T$, that is: $$\langle ...
0
votes
0answers
29 views

Is the sequence convergent? [on hold]

Please give me a detailed explanation of this, consider me a layman in functional analysis! This question requires me to find whether the sequences are convergent in nature, using the following data. ...
2
votes
1answer
32 views

A Counter Example about Closed Graph Theorem

This is an example I read around closed graph theorem. Let $Y=C[0, 1]$ and $X$ be its subset $C^\infty[0, 1]$. Equip both with uniform norm. Define $D: X \to Y$ by $f \mapsto f'$. Suppose $(f_n, f_n') ...
0
votes
0answers
35 views

Weak convergence and convergence in distribution

Is convergence in distribution related to weak convergence in Banach theory? Where by weak convergence I mean: for every functional f the sequence $\langle f,x_n\rangle \overset{n}{\rightarrow} ...
2
votes
2answers
20 views

Completeness of the space of random variables with bounded conditional first moment with respect t0 $\left\Vert \cdot\right\Vert _{2} $

Consider a probability space $\left(\Omega,\mathcal{F},P\right) $, and a sub-sigma-algebra $\mathcal{G}\subseteq\mathcal{F} $. As usual, let $L^{2}\left(\Omega,\mathcal{F},P\right) $ be the space ...
0
votes
0answers
21 views

Soft: Interesting examples of applications of the Itô–Nisio theorem

I'm writing up a presentation on the Itô–Nisio theorem and I'm looking for a simple (nontrivial) example showcasing it. I was thinking of a 2-dimensional simple random walk, but that seems ...
0
votes
1answer
21 views

Proof completeness of $L^p$

I'd like to check if I understood the proof that $L^p$ is complete ($1 \le p <+\infty$). I have to use the following fact: in a metric space, if a Cauchy sequence has a convergent subsequence then ...
1
vote
3answers
48 views

Why $L^1$ is not reflexive [duplicate]

We already known that $$ (L^p(\Omega))^* = L^q(\Omega), $$ for all $1\le p < \infty $ and $q$ is the exponent conjugate to $p$. So that, $L^p(\Omega)$ is reflexive with $1<p<\infty$. However, ...
0
votes
1answer
25 views

Given $X,Y$ are Banach spaces with norms $\|x\|_X,\|y\|_Y$, prove $\|(x,y)\|=\max(\|x\|_X,\|y\|_Y)$ is a norm and defines a Banach space

Here is the question: Let $X$ and $Y$ be Banach spaces with norms $\|x\|_X$ and $\|y\|_Y$ respectively. Prove that $$\|(x,y)\|=\max\{\|x\|_X,\|y\|_Y\}$$ defines a norm on $X\times Y$, and that ...
0
votes
1answer
23 views

Find $f$ such that the contraction $\phi$ has a fixed-point $\rho= \sqrt{2}$

I use the Newton method and the Banach fixed-point theorem and have: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous and $f: I \rightarrow \mathbb{R}$ a ...
0
votes
0answers
20 views

Banach fixed-point theorem and Newton

I have to combine the Newton method and the Banach fixed-point theorem: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous. Let $f: I \rightarrow ...
3
votes
1answer
33 views

Holder Inequality

I have a problem with the demonstration of this inequality ('m following Royden) : If $p$ and $q$ are nonnegative numbers such that $\frac{1}{p}+\frac{1}{q}$ and if $f \in L^p$ and $g \in L^q$, then ...
2
votes
1answer
51 views

$p$-summable series in a Banach space

Let $E$ be a Banach space and denote its dual space by $E^*$. Let $p \in [1, \infty)$ and $x : \mathbb{N}\rightarrow E$ be such that for every $\phi \in E^*$, $$\left( \sum_{n=1}^{\infty} \lvert ...
0
votes
1answer
11 views

Convergence with respect to the graph norm

Let $T:A\subset E\to F$ be a linear closed operator with dense domain. (E,F are Banach spaces) and $x_n$ a sequence in A such that $||x_n-x||_E\to 0$. Let $||x||_1:=||x||_E+||T(x)||_F$ be the graph ...
1
vote
2answers
70 views

$L^{p}$ spaces and their properties

I have a question: I don't know how to show that if $1<p<q<\infty$ , then $L^{q}(0,1)\subset L^{p}(0,1)$ and $\mid\mid f\mid\mid_p$ < $\mid\mid f\mid\mid_q$, $\,f \in L^{q}(0,1)$?
1
vote
0answers
46 views

Does this function have a unique fixed point?

Consider the following equations in fixed-point form: $$\mathbf{x}=F(\mathbf{x})=[f_1(\mathbf{x}),f_2(\mathbf{x}),\cdots,f_n(\mathbf{x})]^T$$ where the function $f_i$ is defined as ...
1
vote
0answers
22 views

Newton method and the Banach fixed-point theorem

I try to combine the Newton method and the Banach fixed-point theorem but I have still some questions: Let $I \subset \mathbb{R}$ a closed interval and $\phi: I \rightarrow I$ Lipschitz continous. ...
1
vote
1answer
18 views

Isometric Operators: Common Core

Given a Hilbert or Banach space $\mathcal{H}$. Consider two closed operators $S:\mathcal{D}(S)\to\mathcal{H}$ and $T:\mathcal{D}(T)\to\mathcal{H}$. Suppose they're isometric on a common core ...
3
votes
1answer
23 views

Natural *-isomorphism

Show that if $X,Y$ are locally compact spaces, then there is a natural *-isomorphism from $C_0(X,C_0(Y))$ onto $C_0(X\times Y)$. My attempt: I define $\phi:C_0(X,C_0(Y))\to C_0(X\times Y)$ such that ...
0
votes
1answer
17 views

Gelfand triple: what happens if we don't identify the pivot Hilbert space with its dual?

People usually say $V \subset H = H^* \subset V^*$ is a Gelfand triple if $V$ is continuously and densely embedded in $H$ and $H$ is identified with its dual. Sometimes they do not mentioned that ...
1
vote
1answer
68 views

Banach fixed point theorem (application)

Let $X$ and $Y$ be Banach Spaces, and $T: X \to Y$, where T is continuous, linear and bijective, and let $S: X \to Y$ (where $S$ is continuous and linear) with $|S|\cdot|T^{-1}|< 1$. Show that ...
2
votes
1answer
94 views

What's Helly's theorem in the proof of the Goldstine–Weston density theorem

I have a problem in understanding a proof of Goldstine–Weston density theorem. The only thing I don't know in the proof is the part of Helly's theorem to be related. The Goldstine–Weston density ...
2
votes
1answer
32 views

Positive linear functional on an involutive Banach algebra

Why is every positive linear functional on an involutive Banach algebra with a bounded approximate continuous?
1
vote
1answer
27 views

Convergence in $L^1 \cap L^2$

I am very confused about the following: Assume we have a sequence of functions $f_n \in$$L^1 \cap L^2 (\mathbb{R}^n)$. Then is it true that if this sequence is Cauchy both in $L^1$ and $L^2$, two ...
0
votes
1answer
22 views

Nonequivalent norms on infinite-dimensional linear space

I've just proven that for every infinite-dimensional space with a norm $(V, ||~||)$ we can find a discontinuous linear functional $ \phi $. But next I'm trying to prove the following: The norm $ ...
2
votes
0answers
30 views

Banach space, dual of its quotient, isometric isomorphism

I'm trying to prove the following: If $X$ is a Banach space, $Y$ its closed linear subspace, $\pi : X \rightarrow \ ^X/_Y$ is a canonical projection, then $ (^X/_Y)^* \ni u \rightarrow u \circ \pi ...
0
votes
1answer
36 views

Space of real polynomials of one variable isn't complete

Consider $E$ - the vector space of all real polynomials of one variable. I need to prove that it is not complete under any norm. I was thinking I could use the fact that certain functions, for ...
2
votes
1answer
132 views

Why isn't $\,\mathcal C[0,1]$ a Banach space in this unusual norm?

I wish to ask the following question: Let $\mathcal X$ be the normed space $\,\mathcal X=\mathcal C([0,1])$, with norm defined as $$ \|\,f\|= \max_{x\in[0,1]} x^2 \lvert\,f(x)\rvert. $$ Why isn't ...
1
vote
0answers
36 views

Separable dual space implies existence of complete series

Let $\{x_n\}$ be a basis for a Banach space $X$ and let $\{f_n\}$ be the associated sequence of coefficient functionals. Prove or disprove: if $X^\ast$ is separable, then ${f_n}$ is complete ...
5
votes
1answer
106 views

Is $\mathcal{B}(H)$ complemented in $\ell_\infty(I, H)$

Let $H$ be an infinite diensional Hilbert space. Consider unit ball of $H$ as index set, denote it by $I$, then we have an isometric embedding $$ ...
0
votes
1answer
27 views

Neighborhood base of weak topology

If $X$ is a Banach space, the weak topology on $X$ is the weakest topology in which each functional $f$ in $X^\ast$ is continuous. I have some difficulties in understanding its neighborhood basis in ...
2
votes
1answer
49 views

What is the image of operator exponential?

Given a Banach space $V$ and a bounded linear operator $A:V\to V$, the operator $e^A$ is bounded and invertible. When $V$ is finite dimensional, every invertible operator is of the form $e^B$ (one can ...
1
vote
3answers
38 views

Show $\ell_\infty (M)$ is a Banach Space

I'm working on problems from Carothers' Real Analysis. The following problem is in the section on completions. Given any metric space $(M,d)$, check that $\ell_\infty(M)$ is a Banach space. ...
13
votes
1answer
138 views

Are there spaces “smaller” than $c_0$ whose dual is $\ell^1$?

It is well known that both the sequence spaces $c$ and $c_0$ have duals which are isometrically isomorphic to $\ell^1$. Now, $c_0$ is a subspace of $c$. My question - is there an even smaller subspace ...
0
votes
1answer
48 views

Prove $\dim X = \mathfrak{c}$ for every infinite dimentional Banach space

Let $X$ be an infinite-dimensional Separable Banach Space. Prove that $\dim X=\mathfrak{c}$. On the direction of $\dim X\ge \mathfrak{c}$, I thought taking the subset of all elements $x\in X$ ...
1
vote
0answers
27 views

There is no continuous function h on unit circle such that u=exp ih when spectrum u is entire unit circle

Let $\Gamma$ be the unit circle. Let u be the unitary element in $C(\Gamma)$ defined by $u(\lambda)=\lambda$. Show that there is no continuous function h on unite circle such that u=exp ih. ...
2
votes
0answers
22 views

functional calculus on a set of normal elements is continuous

Let $K$ be a compact subset of $\Bbb C$. Let $A_K$ denote the set of all normal elements $x$ with $\sigma_A(x)\subset K$. If $f$ is a continuous function on $K$, then the functional calculus :$x\in ...
0
votes
1answer
20 views

Can a linear functional be infinite at a point?

On a Banach (or Hilbert) space $X$, when we define a linear functional (not necessarily bounded), we define it to be a linear function from the elements of $X$ to the field $\Bbb F$. (Say, $\Bbb R$). ...
0
votes
0answers
12 views

Homeomorphism between locally compact space $\Omega$ and maximal ideals space of $C_0(\Omega)$

the following is a proposition: If $\Omega$ is locally compact and $\Sigma$ is the maximal ideal space of $C_0(\Omega)$, then the map $x\to \delta_x$ is a homeomorphism. To prove it, the author ...
3
votes
1answer
39 views

Spectral radius of a normal element in a Banach algebra

I know that if $A$ is a C*-algebra, then $||x||=||x||_{sp}$ for every normal element $x\in A$. I like to find an example of a normal element $x$ in a involutive Banach algebra with $||x||\neq ...
1
vote
3answers
39 views

$(C_{[0;1]}, \Vert . \Vert_1)$ is not a Banach space

I'm going to prove that $C_{[0;1]}$ is not a Banach space w.r.s to the norm $\Vert x \Vert_1 = \int_{0}^{1} |x(t)| dt$ by consider the series $\sum_{n=1}^{\infty}x_n$ where $x_{n}(t)= t^{n} \cdot ...
1
vote
1answer
47 views

Spectrum of an element of a non unital C*-algebra

I know that spectrum of an element $x$ of a unital C*-algebra is nonempty. I like to find an example of a non unital C*-algebra that has an element with empty spectrum, if it exists. Motivation I ...
3
votes
3answers
97 views

Spectral radius of an element in a C*-algebra

The following is an proposition of Takesaki's Operator Theory: For any element $x$ of a Banach algebra ${\cal A}$, we have $$||x||_{sp}=\lim_{n\to \infty}||x^n||^{\frac{1}{n}}$$ Proof: My ...
0
votes
0answers
21 views

Book/Papers for properties of convex/ uniformly convex Banach Spaces

I am looking for reference books and research articles which cover analysis of uniformly convex and strictly convex Banach spaces.
2
votes
1answer
47 views

Uniqueness of projection in a Banach space

Let $X$ be a Banach space, $M$ be a subspace of $X$ and $x \in X$ be any vector in $X$. Consider $\displaystyle \hat{x}_M=\arg \inf_{m\in M}\|x - m\|$. Under what conditions for $l_p$ norms $p = ...
1
vote
0answers
54 views

Minimum distance from a subspace in a Banach space

$X,Y,Z$ are disjoint sets of vectors in a Banach space M. $S_X,S_Y,S_Z$ denotes the subspace formed by the vectors in $X, Y$ and $Z$ respectively. $S_{YZ}$ and $S_{XZ}$ denote the subspaces formed by ...