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
1answer
22 views

Closure of a set and and an “Open Ball” in a normed space

Let $X$ be a normed space and fix $t \in X$. Set $T = \{x\in X : ||x-t|| ≤ r\}$ and $S= \{x\in X : ||x-t|| < r\}$. Definition: $\mathbf{y}\in\operatorname{Closure}(T)$ if there exists a sequence ...
2
votes
1answer
110 views

Strange mistake in this proof about normed separable vector spaces.

I am supposed to prove that an infinite-dimensionale separable normed space $X$ constains a countable subset $Y$ that is linearly independent and dense. There are three hints given: First, prove ...
2
votes
2answers
76 views

$T$ be the operator from $C[0,1]$ to $C[0,1]$ defined by $Tf = f'+f''$. Show that the operator $T$ is unbounded.

$f \in C[0,1]$, the space of all continuous, complex-valued functions on $[0,1]$ with supremum norm. $\|f\|=\sup_{x\in[0,1]}|f(x)|$. Let $D$ be the set of $f \in C[0,1]$ such that the first ...
0
votes
1answer
34 views

“Almost orthogonalizing” matrices using a signature matrix

Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs). Then $||AB||_{op} \leq ...
0
votes
2answers
42 views

If $||f-g|| < ||f^{-1}||^{-1}$, then $f$ is isomorphism implies $g$ is also isomorphism

Let $E$, $F$ be Banach space, $f,g \in L(E,F)$ and $f$ is isomorphism. Prove that if $||f-g|| < ||f^{-1}||^{-1}$, then $g$ is isomorphism. Hi everybody. I got stuck on this problem and can't ...
1
vote
0answers
69 views

Linear subspace of normed space

Let $X$ be a normed space and $A \subset X$ such that $X \setminus A$ is a linear subspace of $X$. Show that A is either dense or empty set. Can someone check my proof? If $A$ is empty set we ...
1
vote
1answer
41 views

A normed space of continuous functions with norm $\int_{0}^{1}|f(t)|dt$ is not complete

Suppose $E$ is a normed space of all continuous functions on $[0,1]$ with norm $\int_{0}^{1}|f(t)|dt$. Prove that $E$ is not complete I know that we must do is to find a Cauchy sequence of ...
1
vote
1answer
37 views

Can $||f|| = ||a||_{q}$ to arbitrary values of $p$ and $q$ satisfying ${1 \over p} + {1 \over q} = 1$

We all know that: Suppose $a = (a_{1}, a_{2}, ..., a_{n})$ is a point in Euclide space $R^{n}$. Consider the mapping $f: R^{n} \rightarrow R$, $f(x) = \sum_{i=1}^{n}a_{i}x_{i}$. Then $||f|| = ...
0
votes
0answers
300 views

When is an injective linear operator bounded below?

Given an injective linear operator $T$, densely-defined as a map between two normed linear spaces $V \rightarrow W$, what is a necessary and sufficient condition to enforce on $V$ to ensure the ...
1
vote
0answers
18 views

Prove that if Y is a closed subspace of a normed linear space X and x \nin Y, the span of x and Y is closed. [duplicate]

The question is stated in the title, but I don't see how to prove it. Each element of $span\{x,Y\}$ is of the form $cx + y$ where c $\in \mathbb{R}$ and $y \in Y$. If I could show that for any ...
3
votes
2answers
68 views

If $\mu(X)=1$, then $\lim_{p\rightarrow 0}\|f\|_p=\exp\left(\int_X\ln(|f|)d\mu\right)$

I am trying to prove the following result: Let $(X,\mu)$ be a measure space of measure 1 and $f$ a complex-valued function on $X$ such that there exists $r>0$ satisfying $\|f\|_r<\infty$. ...
2
votes
1answer
68 views

Infinite line is closed in $\mathbb{R}^n$

I have been reading the book "Elements of the functional analisys", by Kolmogorov and Fomin. At the chapter of Normed Linear Spaces, page 73 to be precise, the author makes the following definitions: ...
1
vote
1answer
48 views

a compact operator on $l^2$ defined by an infinite matrix

Let $A$ be an infinite matrix such that $\displaystyle \sum_{i,j}|a_{i,j}|^2<\infty$. Then $A$ defined a compact operator on $l^2$.
0
votes
2answers
99 views

prove that this operator is not compact

Let $g\in C[0,1]$ be a continuous function and $g\ne 0$. Let $G:C[0,1]\to C[0,1]$ the operator defined by: $G(f)(x)=f(x)g(x)$. I proved that the operator is linear and continuous. I want to prove that ...
2
votes
3answers
245 views

finite dimensional range implies compact operator

Let $X,Y$ be normed spaces over $\mathbb C$. A linear map $T\colon X\to Y$ is compact if $T$ carries bounded sets into relatively compact sets (i.e sets with compact closure). Equivalently if $x_n\in ...
0
votes
0answers
68 views

Help for applying Hahn Banach theorem in this exercise .

I want to use this version of Hahn Banach: $X$ real vector space, $M$ a subspace, $p$ a sub-linear mapping and $T:M\rightarrow\mathbb{R}$ linear and $T(x)\leq p(x)$ $\forall x \in M$ Then ...
2
votes
0answers
212 views

Prove: Completion of a normed space is a Banach space.

Me again with another (most likely) easy problem that is too hard for me as of now. Suppose we have a normed space $(X,||\cdot||)$ and a map $i:X\rightarrow \hat X$ with $\overline{i(X)} = \hat ...
2
votes
1answer
37 views

construction of normed linear spaces from inner product spaces

How do i construct a normed linear space from a inner product space and verify that what i have suggested is true, that is, a test of verification. Moreover, does the norm have to satisfy the ...
5
votes
0answers
115 views

Operator norm of a convolution

Consider the operator on $L^2(\Bbb R)$, $f\rightarrow f*g$, where $g\geq 0$ is some $L^1$ function. Show the operator is a bounded linear operator with operator norm equal to $||g||_1$. Showing ...
0
votes
1answer
119 views

Let $E$ be a Banach space, prove that the sum of two closed subspaces is closed if one is finite dimensional

Let $E$ be a Banach space and let $S$ and $T$ be closed subspaces, with dim$\space T<\infty$. Prove that $S+T$ is closed. To prove that $S+T$ is closed I have to show that for any limit point $x$ ...
0
votes
0answers
40 views

proving that some transpose operator of the transpose operator is not injective.

Let $X,Y$ be normed spaces over $\mathbb k$ (where $\mathbb k$ could be $=\mathbb C$ or $\mathbb R$). Let $T\in L(X,Y) $ (a continuous and linear operator) then we define $T':Y'\to X'$ by $T'y'=y'T$. ...
1
vote
1answer
92 views

Calculate the norm of this operator

$C[0,1]=\{ f : [0,1]\to [0,1], f$ continuous$\}$ $||f||_\infty=\max_{t\in [0,1]} |f(t)|$ $T:C[0,1]\to C[0,1]$ defined by $$(Tf)(t)=\int_0^1e^{s+t}f(s)ds$$ Find $||T||$ The usual way to do this ...
2
votes
1answer
131 views

Functional analysis, help in Hahn-Banach theorem application

$M$ is the subspace of $L_p[a,b]$ that $\forall f\in L_p[a,b]$ $\exists g\in M$ with $f(t)\leq g(t)$ almost everywhere. $T:M\rightarrow \mathbb{R}$ $\quad$$T(f)\geq0$ whennever $f(t)\geq0$ a.e ...
0
votes
0answers
22 views

Norm of the maximum

Consider the norm $||f||= max_{x\in[a,b]} |f(x)|$ defined in the bectorial space $C[a,b]$ I have to what is the meaning (/interpretation) in $R$ of {$||f_n-f||$}$\to$ 0 Could you help me?
1
vote
1answer
32 views

Let V be a normed vector space. Show that its norm is induced by a scalar product if and only if it satisfies the parallelogramm inequality.

I managed to prove left to right, but I found it hard to get the other direction even if I have the polarization identity. I've found Fréchet - Von Neumann - Jordan theorem that proves exactly what ...
3
votes
0answers
134 views

Two norms $\|\cdot\|_a$ and $\|\cdot\|_b$ on $X$, and a function $f:X\to Y$ Fréchet differentiable with one of the norms but not with the other one?

There is a theorem that if $f : (X,\|\cdot\|_{X1}) \to (Y,\|\cdot\|_{Y1}) $ is Fréchet differentiable, then replacing the norms with some equivalent norms $\|\cdot\|_{X2}$ and $\|\cdot\|_{Y2}$ ...
1
vote
1answer
26 views

the set of points that are annhilated by a subset $N\subset X'$

Let $X$ be a normed vector space over $\mathbb k$ ($\mathbb k=\mathbb R$ or $\mathbb C$). Let's consider $X'$ the set of continuous linear functionals $f:X\to \mathbb k$ called the dual of $X$. We ...
5
votes
1answer
298 views

Dual to the dual norm is the original norm (?)

I have the following questions about dual norms : How do you prove that the dual of the dual norm is in fact the original norm? This is what I have so far: If I have $\|y\|_* $ as the norm dual of ...
0
votes
2answers
53 views

normed space little exercise

$(X,K)$ a normed space $E$ is a subspace of $X$. if $\exists x_0 \in X$ that $||x_0||=d(x_0,E)=1$ then show $$||e+\lambda x_0||\geq\frac{||e||}{2}\quad \forall e\in E \quad \forall\lambda\in K $$
0
votes
2answers
91 views

Norm space, linear operator exercise, help please!

$f \in L_2[a,b]$ $Uf(s):=\int_a^bk(s,t)f(t)dt$ $k(s,t):[a,b]^2\to R $ continuous. show 1) $U:L_2[a,b]\to L_2[a,b]$, in other words, $Uf(s)\in L_2[a,b] \quad \forall f$ 2) $U$ is linear and ...
0
votes
1answer
57 views

Show that the sequence converges to 0 under any norm in the space (R,‖.‖) [closed]

Show that the sequence $a_n = 1/n^2$ converges to 0 under any norm in the space $(\mathbb{R},\left\| \cdot \right\|)$.
2
votes
2answers
377 views

Show that $f(x)=||x||^p, p\ge 1$ is convex function on $\mathbb{R}^n$

Show that $f(x)=||x||^p, p\ge 1$ is convex function on $\mathbb{R}^n$. I have tried to use Holder's inequality, but I still cannot solve this problem. Could you help me with this problem? Thank you ...
0
votes
1answer
45 views

Help in proving that a vector norm satisfies an axiom.

I am trying to prove if the following is a vector norm: ||x|| = max{$|x_1 + x_2|, |x_2 + x_3|, |x_3 + x_1$|} (x is vector with 3 elements) I'm stuck proving that $||\alpha x||=|\alpha|*||x||$. I ...
-3
votes
1answer
63 views

Conditional number: exercise

Let's say we've got a $202 \times 202$ matrix $A$ for which $||A||_2=100$ and $||A||_F=101$ (the Frobenius norm). How can we find the sharpest bound (lower) on the 2-norm condition number of $A$? ...
0
votes
1answer
145 views

prove that norm 1 of a function is less than or equal to (b-a) infinity norm of that function where X=C[a,b]

Prove that norm 1 of a function is less than or equal to (b-a) infinity norm of that function where X=C[a,b] is the continuous space function f:[a,b] to R. norm 1 is defined to be ntegral of the ...
0
votes
1answer
18 views

how to check wheather the given normed sequence is finite or not

Does the sequence $$ (\frac{1}{\sqrt 3}, \frac{1}{\sqrt 8},\ldots,\frac{1}{\sqrt{n^2-1}},...) $$ have finite $\ell^2$ norm? I have tried this problem using the definition of $\ell^2$ space. Is it ...
9
votes
1answer
94 views

Inner product space, points cannot be placed inside a ball of a given radius

I've found a very nice problem and I don't know how to go about solving it. Let $(E, || \cdot ||)$ be an inner product space, $x_1, ..., x_n \in E$. Prove that if for $i \neq j$ we have ...
1
vote
2answers
73 views

Continuous iff composition with every linear functional is continuous

Let $X$ and $Y$ be normed spaces, $T:X \rightarrow Y$ a linear operator. Show that $T$ is continuous if $y' \circ T$ is continuous for every $y' \in Y'$. My idea is the following: Suppose $T$ is not ...
2
votes
1answer
105 views

uniform convergence on compact subsets of the linear,continuous and uniformly bounded operators.

Let $X,Y$ be normed spaces. Let $T_j : X\to Y$ be a sequence of linear and continuous functions, such that $\lVert T_j\rVert\lt K$ $\forall j$. If $T_j$ converges pointwise to $T$, prove that $T$ is ...
1
vote
0answers
51 views

Show that $S_x$ contains an interval

$X$ is Normed vector space, and $S_x={\{x\in X\space|\space\space\space||x||=1\}}$. Prove that if exist $x,y\in X$ which are linearly independent such that $||x+y||=||x||+||y||$, hence exist $u,v\in ...
0
votes
1answer
26 views

Norms on $\mathcal{M}_{n \times n}(\mathbb{R})$

On the space of all matrices $n \times n$ with real coefficients $\mathcal{M}_{n \times n}(\mathbb{R})$ we define two norms: $||A||_1 := sup_{x\neq 0; x \in \mathbb{R}^n} \frac{||Ax||}{||x||} \\ ...
4
votes
2answers
147 views

Show that $F+G$ is closed when $G$ a closed subspace of normed space $E$ and $F$ a finite dimensional subspace of $E$.

Question: Let $E$ be a normed space. Let $G$ be a closed subspace of $E$ and let $F$ be a finite dimensional subspace of $E$. Show that $F+G$ is a subspace of $E$ and is closed. I'm having trouble in ...
1
vote
1answer
59 views

Series constructed from a cauchy sequence

Given a cauchy-sequence $\{x_i\}_{i\in \mathbb{N}}$ in a normed space $X.$ I need to construct a series that converges in $\mathbb{R}$ with $\{y_i\}_{i\in \mathbb{N}}$ a sequence in $X$: ...
2
votes
1answer
290 views

partial derivatives continuous $\implies$ differentiability in Euclidean space

I am given this theorem: If $f \in C^1(A,\mathbb R^m)$, i.e. every partial derivative of $f$ is continuous on $A$, and $A$ is open in $\mathbb R^n$, then $f$ is differentiable on $A$. Is the ...
4
votes
1answer
90 views

Additive norm $||a+b||=||a||+||b||$

I've read somewhere that there exist spaces where $||a+b||=||a||+||b||$ is true iff $a = \lambda b, \ \ \lambda>0$. Could you tell me what spaces have that property and what spaces don't? ...
0
votes
1answer
1k views

The definition of locally Lipschitz

I am given this definition: A function $f:A\subset\mathbb R^n\to\mathbb R^m$ is locally Lipschitz if for each $x_0\in A$, there exist constants $M>0$ and $\delta_0 >0$ such that ...
1
vote
2answers
111 views

If a sequence of summable sequences converges to a sequence, then that sequence is summable.

Let $(a_i)^n$ be a sequence of complex sequences each of which are summable (they converge). Then if they have a limit, the limit sequence $(b_i)$ is also summable. All under the sup norm for ...
1
vote
1answer
35 views

In a normed space, characterization of the sets $F$ such that $d(x,F)$ is achieved for all $x$?

Let $(E,\|.\|)$ be a real normed vector space and $d$ be the distance associated to the norm. I am wondering if there exists a characterization of the subsets $F$ of $E$ such that for all $x\in E$, ...
0
votes
1answer
293 views

Is this valid: Every Cauchy sequence in a normed space is absolutely convergent.

Proof. Let $X$ be a normed space with norm $|\cdot |$ and $(x_n)$ be Cauchy. Then for all $\epsilon \gt 0, \ \exists N : m,n \gt N \implies |x_m - x_n| \lt \epsilon$ is the standard definition of ...
1
vote
0answers
60 views

Codimension in X, given the codimension in a subspace of X

Let $X$ be a normed space with infinite dimension, let $M$ be a dense subspace of $X$ with codimension $k$ and let $N$ be a dense subspace of $M$ with codimension $l$ in $M$. The codimension of $N$ ...