A vector space $E$, generally over the field $\mathbb R$ or $\mathbb C$ with a map $\lVert \cdot\rVert\colon E\to \mathbb R_+$ satisfying some conditions.

learn more… | top users | synonyms

1
vote
2answers
54 views

Closed AND open subspaces of a normed vector space

Let $E$ be a finite dimension normed vector space. How can I show that $E$'s only both closed and open (norm-wise) subsets are $\emptyset$ and $E$ ?
0
votes
1answer
40 views

The exponential of the identity operator in a Banach space

Let $X$ be a Banach space and $I \in L(X)$ be the identity operator. Determine the action of the operator $e^I$ on $X$. Pretty stuck here, not sure exactly what it means by determine the action. ...
0
votes
0answers
24 views

Norm of linear functional in $W^{1,2}$

I want to find the norm of the following linear functional: $\phi:W^{1,2}_{[0,1]} \rightarrow\mathbb{R}$ $\phi(f)=\int^1_0t\cdot f(t)+ f^{'}(t) dt $ The norm is: ...
0
votes
0answers
64 views

Riemann integrals of abstract functions into Banach spaces

If we define the (Riemann) integral of an abstract function, i.e. a function $f:[a,b]\to Y$ where $Y$ is a Banach space, as$$\int_a^b F(t)dt:=\lim_{\max(t_{k+1}-t_k)\to ...
3
votes
1answer
51 views

Convergence of a series of vectors in a Banach space

Let $\sum_{k=1}^\infty\lambda^{k-1}\boldsymbol{v}_k$ be a series of vectors where $\lambda^{k-1}\in\mathbb{C}$, or $\lambda^{k-1}\in\mathbb{R}$, and the $\boldsymbol{v}_k$ belong to a Banach space. I ...
0
votes
2answers
57 views

Characterization of compact subsets in the metric space of all complex-valued sequences

Here's the statement of the Problem 4 after Section 2.5 in Introductory Functional Analysis With Applications by Erwine Kryszeg: Show that for an infinite subset $M$ in the space $s$ to be ...
2
votes
1answer
87 views

Reiterate Volterra integral operator is a contraction

I read in Kolmogorov and Fomin's Элементы теории функций и функционального анализа (p. 472 here) the statement that Volterra operator $A:L_2[a,b]\to L_2[a,b]$ defined ...
0
votes
1answer
33 views

$\ker (I-A)=\{0\}\Rightarrow\text{im }(I-A)=H$ for $A:H\to H$ compact

Let $T$ be the operator defined by $T:=I-A$ where $I:H\to H$ is the identity and $A:H\to H$ is a compact operator defined on Hilbert space $H$. In such a case, if we defined the chain of ...
1
vote
1answer
46 views

$\overline{\text{conv}}\{x_n: n\in \mathbb{N}\}$ has empty interior for a w-conv seqeunce $(x_n)_n$.

Given $x_n \to x$ weakly in a Banach space X, $\dim X = \infty$. Show that $\text{int}\left\{ \overline{\text{conv}}\{x_n:n\in\mathbb N \}\right\}$ is empty. Can anyone help me with this problem? ...
0
votes
0answers
21 views

Showing a map is a bounded linear operator.

Show that the map A : (C[0,1],∥·∥∞) → R, Ax = x(0), ∀x ∈ C[0,1] is a bounded linear operator. I know one has to show the map is continuous but I'm not sure how to go about proving it in this case. ...
1
vote
1answer
24 views

Degenerate Hilbert-Schmidt operators

Let us define a Hilbert Schmidt operator $A:L_2[a,b]\to L_2[a,b]$ by $$A\varphi:=\int_{[a,b]} K(s,t)\varphi(t)d\mu_t$$where $\mu_t$ is the linear Lebesgue measure. A degenerate case is represented by ...
0
votes
1answer
16 views

In the normed space of bounded real sequences, which subsets are closed?

I am attempting to figure out the following question. Q. Let X be the normed space of bounded real sequences and norm $\| x \|_{\infty} = Sup_{1 \leq n} |x_n|$, $x=(x_n)\in C_0$. Which of the ...
2
votes
0answers
48 views

Proofchecking: Application of Banach-Alaoglu on weak converging nullsequence

Problem Assume $x_n \to 0$ weakly in a Banach space. Show that for all $\epsilon>0$ and for all $N\in \mathbb{N}$ there exists a $n>N$ s.t. for all $f\in X^\ast, \|f\|\leq 1$ there exists ...
3
votes
0answers
47 views

Finding L^1 centers of sets of probability distributions

Let $\mathcal{P}^n = \{ x \in \mathbb{R}^n : x \geq 0, \sum x = 1\}$. Suppose I have $p_1, \ldots, p_m \in \mathcal{P}^n$. I want to find an $L^1$ center for these points. i.e. $q \in \mathcal{P}^n$ ...
1
vote
4answers
64 views

How to exhibit the set of all the limit points of this subset of $\mathbb{R}^k$?

Let $k$ be a positive integer, let $p_0$ be a point in $\mathbb{R}^k$, let $\delta_0$ be a positive real number, and let the set $E$ be defined as follows: $$E \colon= \{ \, p\in\mathbb{R}^k \, ...
0
votes
1answer
50 views

sup norm of operator

Let $T$ be a compact linear operator defined as $$ T\circ u = \int_a^b k(x,y)\,u(y)\,dy, $$ where $k(x,y)\in C([a,b]\times[a,b])$ and $k(x,y)\ge0$ for all $x,y$, and $u\in C([a,b])$. Suppose that the ...
3
votes
2answers
100 views

Lemma 2.4-1 in Erwin Kreyszig's “Introductory Functional Analysis with Applications”: Is there an easier proof?

Here's the statement: Let $\{x_1, \ldots, x_n \}$ be a linearly independent set of vectors in a normed space $X$ (of any dimension). Then there is a real number $c > 0$ such that for every choice ...
0
votes
0answers
13 views

$L^p$ is a quasi normed space for $0<p<1$ [duplicate]

I know that $L^p$ is a vector space for $p>0$ and a normed space for $p \geqslant 1$ now I need show that for $ 0<p<1$ and $f,g \in L^p$ exist $K \in \mathbb{R}$ such that $||f+g||_p ...
1
vote
1answer
108 views

Hermite functions as eigenvectors of Fourier transform

In order to find an orthogonal basis of eigenvectors of the Fourier transform operator $F:L_2(\mathbb{R})\to L_2(\mathbb{R})$, $f\mapsto\lim_{N\to\infty}\int_{[-N,N]}f(x)e^{-i\lambda x}d\mu_x$ for ...
1
vote
1answer
21 views

Weighted Norm Minimization

I have a minimization problem of the form $min (w_1 \|x\|+w_2\|y\|)$ subject to constraints $A_1x=b_1$, $A_2y=b_2$, $0< l_1 \leq x \leq u_1$ and $0< l_2 \leq y \leq u_2$ where ...
0
votes
1answer
18 views

Composition of two functions in normed spaces

Let $\Omega_1, \Omega_2 \subset \mathbb{R^n}$ be bounded. The mapping $ F: \Omega_1 \rightarrow \Omega_2 $ shall be bijective, continuously differentiable and such that $||DF(x)||$ and ...
3
votes
1answer
63 views

Erwine Kryszeg's _Introductory Functional Analysis With Applications_: Section 2.3, Prob. 14

Here's problem 14 in the Problem Set immediately following Section 2.3 in the book, Introductory Functional Analysis With Applications by Erwine Kryszeg. Let $Y$ be a closed subspace of a normed ...
2
votes
1answer
122 views

Are all the finite dimensional vector spaces with a metric isometric to $\mathbb R^n$

Are all the finite dimensional vector spaces with a metric isometric to $\mathbb R^n$? My goal is to claim that in any finite dimensional vector space, equipped with a metric, a closed-bounded subset ...
1
vote
1answer
47 views

Some Norms on $V=P_n(\mathbb{R})$?

$V=P_n(\mathbb{R})$ be the vector space of all polynomials with degree $\le n$. I need to know Which of the followings are norms on $V.$ $\forall p\in V$ 1.$\|p\|^2=|p(1)|^2+\dots+|p(n+1)|^2$ ...
1
vote
2answers
118 views

Continuity of vector space operations in a normed space

Here's problem 4 immediately following section 2.3 in Erwine Kryszeg's book, Introductory Functional Analysis With Applications: Show that in a normed space $X$, vector addition and scalar ...
1
vote
1answer
220 views

Prove that the subset $X$ of a normed vector space $(V,\|\cdot\|)$ is complete.

My subset $X$ has the Bolzano-Weierstrass property and I need to prove that $X$ is complete in the sense that every Cauchy sequence in $X$ converges to a point in $X$. I know that having the ...
2
votes
1answer
51 views

Theorem 2.3-2 in _Introductory Functional Analysis With Applications_ by Erwine Kryszeg

Here's the statement of Theorem 2.3-2 in the book mentioned above: Let $(X,||\cdot||)$ be a normed space. Then there is a Banach space $\hat{X}$ and an isometry $A \colon X \to W$, where $W = A(X)$, ...
2
votes
1answer
134 views

Examples of double dual spaces

I am looking for examples on double dual spaces. As I know $\ell_p $ is the double dual of $\ell_p$ for $1<p,q<\infty$, $\mathcal L_p $ is the double dual for $\mathcal L_p$ for ...
0
votes
1answer
46 views

Proof of “Dual normed vector space is complete”

http://en.wikipedia.org/wiki/Dual_norm As in the introduction of dual norm by Wiki, it says dual normed space $X'$ is always complete. How to prove that? or at least explain that? We all know the ...
2
votes
1answer
58 views

In $\mathbb{R}^{n}$ all norms are equivalent

While trying to prove the Theorem mentioned in the Title, I got stuck in the inequality shown below. I think that the proof uses the $\epsilon$ and $\delta$ definition of continuity but I am not ...
1
vote
3answers
59 views

Equivalency of Norms and the Open Mapping Theorem

"Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two norms on the space $X$ s.t. $(X,\|\cdot\|_1)$ and $(X,\|\cdot\|_2)$ are both complete. Assume that for any sequence $(x_n) \subseteq X$, $\|x_n\|_1 \to 0$ ...
3
votes
1answer
39 views

Completing the solution, lipschitz maps inducing other maps

Let $(X, d)$ be a metric space, $(E, || \cdot ||)$ a Banach space, $(AE(X), || \cdot ||)$ - as described below. I've already proven that for any Lipschitz function $u: X \rightarrow E $ there exists ...
1
vote
1answer
21 views

equivalnce of linear functions, which one's kernel includes the other's

The following is from my homework. PLEASE don't reveal all the solution, but leave at least something for my imagination. Let $X$ be a normed space. Let $\phi,\psi : X → \mathbb C$ be linear ...
1
vote
1answer
101 views

Applications of Stone-Weierstrass Theorem

For every continuous function $f:[0,1]\rightarrow \mathbb{R}$, prove that there exists a sequence of polynomials $p_n$ such that $p_n$ converges to $f$ on $[0,1]$ and for every $x\in [0,1]$, we have ...
0
votes
1answer
28 views

Completeness of normed vector spaces

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ be continuous such that $f$ vanishes at infinity. i.e. for all $\epsilon >0$, there exists $N\in \mathbb{N}$ such that $n>N$ implies ...
1
vote
1answer
51 views

Function sequences in $C[0,1]$ using infinity norm

I am working on the space of continuious function from $[0,1]$ to $\mathbb R$ with the infinity norm ($ \sup_{x\in [0,1]}|f(x)|$). My question is the following Is it possible to construct a sequences ...
1
vote
0answers
69 views

Norm defined by matrix

Suppose $A$ is an $n\times n$ real matrix and for $\mathbf{x} \in \mathbb{R}^n$ define $\|\mathbf{x}\|_A = \sqrt{\mathbf{x}^T A \mathbf{x}}$. Under what conditions on the matrix $A$ is $\|\cdot ...
0
votes
0answers
31 views

Scalar product of $L_2$ with $\mu(E):=\int_E gdx$

I read in Kolmogorov and Fomin's Элементы теории функций и функционального анализа (p. 400 here) that, if we define measure $\mu$ for $E\subset[-1,1]$ by $$\mu(E):=\int_E g(x)dx$$ where the integral ...
0
votes
0answers
33 views

How to show that $F(x)$ continuous?

$F:\Big(C[0,1],||.||_2\Big)\rightarrow \Big(C[0,1],||.||_3\Big)$ $x\rightarrow F(x)(t)=\int^t_0x(s)ds,\quad\quad0 \le t\le 1 $ Show that F is continuous. F is linear. for n=0,1,2.. $x_n(t)=t^n,0 ...
1
vote
0answers
28 views

Continuous functions dense in $L_p(X,\mu)$ if $X$ has a special property

Let $X$ be a metric space endowed with a measure $\mu$ satisfying the following condition: all the open and closed sets of $X$ are measurable and for any measurable set $M\subset X$ and any ...
1
vote
1answer
64 views

Approximation of $f\in L_p$ with simple function $f_n\in L_p$

Let us use the definition of Lebesgue integral on $X,\mu(X)<\infty$ as the limit$$\int_X fd\mu:=\lim_{n\to\infty}\int_Xf_nd\mu=\lim_{n\to\infty}\sum_{k=1}^\infty y_{n,k}\mu(A_{n,k})$$where ...
1
vote
1answer
92 views

Best approximation for a closed set in a finite dimensional normed space

First of all I'd like to mention that it is a part of my home work so I'd like if you won't give the answer itself, but try to guide me into it. I've been losing my mind for the last couple of hours ...
1
vote
1answer
37 views

$L_1\subset L_p$?

I am trying to check whether the implication $\forall p>1\quad f\in L_p(X,\mu)\Rightarrow f\in L_1(X,\mu)$ is true when $\mu(X)<\infty$. By $L_p(X,\mu)$ I mean the space of Lebesgue integrable ...
1
vote
2answers
33 views

Showing Convergence in $L^p$ norms

Let $X$ be a finite measure space and $1\le p<\infty$ and $\{f_n\}$ be a sequence in $L^p(X)$ such that coverge to $f$ in $L^p(X)$ . If there exists constant $K$ such that for every $n\in ...
3
votes
2answers
77 views

Subspaces of same finite codimension are isomorphic

I would like to show that two subspace $Y$ and $Z$ of a normed space $X$ are isomorphic provided $\text{codim } Y = \text{codim } Z <\infty$. I can show that $\text{codim}(Y\cap Z) <\infty$ but ...
2
votes
0answers
33 views

Metric space with measure and a special property

Let $R$ be a metric space endowed with a (complete) measure $\mu$ satisfying the following condition: all the open and closed sets of $R$ are measurable and for any measurable set $M\subset R$ and any ...
1
vote
1answer
33 views

Does this funcion define a norm on $\mathbb{C}^n$?

Let $m$ and $n$ be two given positive integers. And, let $f \colon \mathbb{C}^n \to \mathbb{R}$ be defined as follows: $$ f(x_1, x_2, \ldots, x_n) \colon= \left( \sum_{i=1}^n \sqrt[m]{|x_i|} ...
1
vote
0answers
82 views

Does Hlawka Inequality follow from Triangle Inequality?

On MathOverflow I saw this inequality. Let $E$ is a normed linear space. $$ \|x+y\|+\|y+z\|+\|z+x\|\le\|x\|+\|y\|+\|z\|+\|x+y+z\|,\qquad\forall x,y,z\in E $$ Apparently this is always true if $E = ...
0
votes
1answer
33 views

Are there properties of vector space equipped with two norms?

I am interested in a vector space equipped with two norms$ \lvert \lvert \cdot \rvert \rvert$ and $ \lvert \lvert \cdot \rvert \rvert ^*$ satisfies that there is $M>0$ such that $ \lvert \lvert x ...
0
votes
1answer
14 views

Bounded Linear Maps on Normed Vector Spaces

Let $A$ be an $m\times n$ matrix $(\alpha_{jk};\;j=1,...m,k=1,...,n).$ As we know, $$[Bx]_j = \sum_{k=1}^n\alpha_{jk}x_k,\;\;\;\;\;j=1,...,m,\;\;\;x=(x_1,...,x_n),$$ defines a bounded linear operator ...