Norm is a function on a vector space $X$ which generalizes notion of length of vector in general vector spaces.

learn more… | top users | synonyms

0
votes
1answer
18 views

On the proof of the continuity of the inner product.

I am having problems with the following proof and I need to fill in some details: I understand that continuity is being proven by the sequence definition but I do not get why (a) follows ...
1
vote
2answers
25 views

Show that properties of norm are satisfied

Show that \begin{align} & \|y\|_M= \max_{a \leq x \leq b} |y(x)| \tag 1 \\[8pt] & \|y\|_1=\int_a^b |y(x)|\, dx \tag 2 \end{align} satify the properties of a norm in $C[a,b]$. That's what I ...
1
vote
2answers
29 views

The function is not continuous

$$C([a,b])=\{ f: [a,b] \to \mathbb{R} \text{ continuous} \}$$ $C([a,b])$ is a linear space. For $f \in C([a,b])$ we define $\|f\|_{\infty}:= \sup_{x \in [a,b]} |f(x)|$ and easily it can be shown ...
0
votes
1answer
32 views

Hilbert space L2 - inner product

I have a problem with one exercise. I have to prove that $L^2$ space is Hilbertian. So I think that the best way is to check out inner product by definition of norm, so: \begin{equation*} ...
0
votes
1answer
38 views

What exactly is the distance of two elements in $C[0,1]$?

If $C[0,1]$ — the set of all continuous functions from $[0,1] \rightarrow \mathbb R$ — is equipped with the metric $||\cdot||_1$ (1-Norm), then what is the distance between ...
0
votes
0answers
26 views

when the spectral radius of a matrix product is equal to the product of spectral radius?

The question is simply as follows, when do we have the following equality? $\rho(AB)=\rho(A)\rho(B)$.
0
votes
1answer
16 views

operator norm of a linear transformation, given by the transformation matrix

Consider $\mathbb{K}^n$, $\mathbb{K}^m$, both with the $||.||_1$-norm, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. Let $||T|| = inf\{M ≥ 0: ||T(x)|| ≤ M ||x|| \space \forall x \in ...
1
vote
1answer
17 views

How to prove that $N_g\equiv ||\cdot ||_{\infty}$ iff $g^{-1}(\{0\})=\emptyset$?

Let $E=\mathcal{C}[0,1]$, and $g\in E$, define $N_{g}(f)=||fg||_{\infty}$, the I have to prove that $N_g$ is equivalent to $||\cdot||_{\infty}$ iff $g^{-1}(\{0\})=\emptyset$. The $'\Leftarrow'$ ...
0
votes
1answer
22 views

gradient of hadamard L1 norm

What is the gradient of $\lVert B-A\circ X\lVert_1$ with respect to $X$. $\circ$ is the hadamard product. $A,B$ are constants
1
vote
1answer
23 views

Does weak convergence in $W^{1,p}$ imply strong convergence in $L^q$?

Does weak convergence in $W^{1,p}(\Omega)$ imply strong convergence in $L^q(\Omega)$ when $\Omega$ is bounded? If $f_j$ converges weakly to $f$ in $W^{1,p}$, what can we say about the $L^q$ ...
3
votes
1answer
99 views

A name for the property $ \| x \star y \| = \| x \| \| y \| $.

Suppose that $ \star: V \times V \to V $ is some binary operation on a vector space $ V $. Should it hold, is there a name for the following property? $$ \forall x,y \in V: \quad \| x \star y \| = \| ...
-1
votes
1answer
30 views

Prove norm does not come from inner product.

I know I have to show it does not satisfy the parallelogram law but I don't know how to apply it.
0
votes
1answer
54 views

Prove norm doesn't come from inner product.

Please help me prove this. I'm not sure how to apply the parallelogram law to the norm.
0
votes
1answer
33 views

Test for normability of a metric on a Banach space

If d is a metric on a (finite dimensional) Banach Space and there exist norms $\|-\|_1$ and $\|-\|_2$ and constants $C_1,C_2 \in [1,\infty)$ satisfying: \begin{equation} C_1\|x-y\|_1 \leq d(x,y) \leq ...
0
votes
1answer
53 views

Gradient of the elastic net with extra terms

Can anyone tell me the gradient of the below function (w.r.to X) $$ argmin_{X} ~~\frac{\lambda}{2}\lVert X\lVert_2^2 + \lVert X\lVert_1 + tr\bigg(\Delta^T\Big(diag(X)-X\Big)\bigg) + ...
0
votes
3answers
50 views

Prove $||\lambda x_1 + (1-\lambda) x_2 - y|| \leq ||x_1 - y||$

Assume we have have $3$ points $x_1, x_2$ and $y$ and $||x_1-y||=||x_2-y||$. How do we prove that the distance between $y$ and the convex combination of $x_1$ and $x_2$ is smaller than that between ...
2
votes
2answers
20 views

norm of product (matrix$\times$vector)

How can i prove that: If $B=AA^T$ then $x^T Bx=\|A^T x\|^2_2$ and $x^T B^{-1}x=\|A^{-1}x\|^2_2$ were x is a vector and A is a $n\times n$ matrix?
1
vote
1answer
49 views

norms of row matrices

Let $x_1,\ldots,x_m,y_1,\ldots,y_m$ be $k\times k$ sqaure matrices and assume $\|x_j\|\leqslant\|y_j\|$ for all $j=1,\ldots,m$ (the norm in $B(\ell_2^k)$). Now define the block matrices $x,y\in ...
0
votes
0answers
20 views

taking a tricky limit $\lim_{p\rightarrow \infty} \int_{\mathbb R^N} \left( \frac{|\nabla u|}{\|\nabla u\|_p}\right)^{p-2} \cdots $

$$\lim_{p\rightarrow \infty} \int_{\mathbb R^N} \left( \frac{|\nabla u|}{\|\nabla u\|_p}\right)^{p-2} \frac{\nabla u}{\|\nabla u\|_p}\cdot \nabla v dx $$ where $|\cdot|$ is the Euclidean (2) norm and ...
0
votes
4answers
49 views

Difficulty in understanding a step in a definition in the book Walter Rudin

In the book Principles of mathematical analysis by Walter Rudin,He writes: "For $ A\in L(\Bbb R^n,\Bbb R^m)$, define the norm $||A||$ of $A$ to be sup of all numbers $|Ax|$, where $x$ ranges over all ...
0
votes
0answers
7 views

controllable system, matrix exponential norm

suppose we have $(A,B)$ be a controllable pair. Can I find a feedback control gain $K$ such that $A_c=A+BK$ is Hurwitz, which also satisfies that $||e^{A_ct}||\leq a e^{(-\lambda t)}$ and ...
1
vote
1answer
22 views

Subset of the sequence space that's closed and bounded but not compact

Consider the sequences space $l^1 = \{a = (a_n)_{n \in \mathbb{N}_0} \subset \mathbb{C}, \sum_{n = 0}^\infty|a_n|< \infty\}$ with the norm $||a||_1 = \sum_{n = 0}^\infty|a_n|$. I want to show that ...
0
votes
1answer
19 views

Problem About Norm

Show: If $A$ is a symmetric matrix and $\|A\|_F\leq1$, then prove that $I-A$ is a positive semidefinite matrix.
0
votes
0answers
14 views

Operator norm of symmetric Matrix in Hilbert Space with Hermitian Inner Product

Assume we have a postive definite real matrix $P$ and we define an inner product on a finite dimensional hilbert space $\langle x, y \rangle = x^\top P y$ and clearly the induced norm is $|| x || = ...
0
votes
1answer
38 views

conditions for norm of linear bounded operator to satisfy $\lvert T_x (y) \rvert = \lVert T_x \rVert$.

Let $x = (x_n)_{n \in \mathbb N} \in l^\infty$ and let $T_x : l^1 \rightarrow \mathbb F$ be defined by $T_x (y) = \sum_{n=1}^\infty x_ny_n$. What condition on $x$ is needed so that there exists $y \in ...
0
votes
1answer
31 views

Upper bound of Frobenius norm of product of matrices.

I'm trying to prove that $||AB||_F\leq||A||_2||B||_F$. As far as I know it isn't a hard problem but I was stuck. Any ideas?
2
votes
0answers
31 views

a norm is symmetric if and only if it is unitarily invariant

how can I prove this : A norm on $\mathcal{M}_n(\mathbb{C})$ is symmetric if and only if it is unitarily invariant ? My attempt I know that a symmetric norm is a norm which verifies : $$N(ABC)\leq ...
2
votes
1answer
23 views

Equivalence of sequence spaces

Let $m$ be the space of infinite sequences $(x_i), |x_i| \leq 1$ with norm $\sup_{i>0}|x_i|$. Let $\ell$ be the space of infinite sequences $(x_i), \sum_{i> 0}|x_i| \leq 1$ with norm $\sum_{i ...
0
votes
1answer
11 views

Triangle Inequality for SPD Matrix Norm

We define a symmetric, positive-definite matrix $A$ to be one such that $A = A^T$ and for $x \neq 0$, $x^TAx > 0$. If we have a norm $\|x\|_A = \sqrt{x^TAx}$, how can we show the triangle ...
-2
votes
1answer
67 views

Let we have the following exercise [closed]

How can I solve the following exercise Let $T:C[0,1]\rightarrow C[0,1]$ be defined by $$Tx(t)=y(t)=\int_0^t x(\tau)d\tau.$$ Find $\mathscr R(T)$ and $T^{-1}:\mathscr R(T)\rightarrow C[0,1]$. Is ...
3
votes
2answers
37 views

What is the range of the operator $T$ I mean I want to determine $R(T)$

Given the normed space $\ell^\infty$ of all bounded sequences of (real or complex) numbers with the norm given by $$||x||:= \sup_{j\in Z^+} |\xi_j|,$$ for each $x:=(\xi_j)_{j=1}^\infty$ in ...
-2
votes
2answers
85 views

I want some help in functional analysis [closed]

I want sone help in functional analysis : $1)$ consider the vector space $X$ of all real -valued functions which are defined on $R$ and have derivatives of all orders everywhere on $R$ define ...
1
vote
3answers
31 views

Topologically equivalent metric

Show that in $\mathbb{R}$ the distance $d'(x,y)=\left|\frac{x}{1+|x|} - \frac{y}{1+|y|} \right|$ is topologically equivalent to the usual metric in $\mathbb{R}$, $d(x,y)=|x-y|$ But ...
0
votes
0answers
9 views

Norms detecting singularities for functions with spikes

For a fixed $0<\alpha<1$ consider a segment $I=[0,1]$ and a subspace $B$ of $L_1(I)$ of functions $\phi$ than can be represented as $$ \phi = \phi_{reg} + \sum_{i=0}^\infty \frac{\phi_k}{ |x - ...
1
vote
2answers
34 views

Continuity of $(a_1,\ldots,a_n) \mapsto \sum_1^n a_j e_j$

Let $e_1,\ldots,e_j$ be a basis for a finite dimensional normed vector space $X$. I wish to show that the map $(a_1,\ldots,a_n) \mapsto \sum_1^n a_j e_j$ is continuous, where $(a_1,\ldots,a_n)$ has ...
2
votes
2answers
42 views

vector space of continuously differentiable functions is complete regarding a specific norm

Consider $C^1[a, b] = \{f: [a, b] \to \mathbb{C}\mid f\text{ continuously differentiable}\}$. Consider the following norm: $$\|f\|_{C^1} = \|f\|_\infty + \|f'\|_\infty$$ Now, it needs to be shown ...
5
votes
1answer
60 views

Counterexamples to the Matrix norm AM-GM inequality?

I am new here and this my first question, I hope I am being as clear as possible and apologize in advance for any misunderstandings. I am researching the Arithmetic-Geometric Mean (AM-GM) inequality ...
5
votes
3answers
79 views

Equivalence of $\|x\|_1\|x\|_{\infty}$ and $\|x\|_2^2$

Let $x$ be any complex $n$-vector and let $\|\cdot\|_p$ denote the usual $p$-norm. It is easy to show that $\|x\|_2^2\leq\|x\|_1\|x\|_{\infty}$ (Hölder's inequality). What I am rather interested in is ...
0
votes
2answers
29 views

Proving a norm on the space of differentiable functions

I consider the space $C^1[a, b]$ of (complex) functions that are at least once differentiable on $[a, b]$. I want to show that $$||f||_{C^1} := ||f||_\infty + ||f'||_\infty$$ defines a norm on ...
-2
votes
1answer
79 views

Some question about linear operator on normed space [closed]

$1)$ let $X$ and $Y$ be normed space , show that a linear operator $T:X\rightarrow Y$ is bounded if and only if $T$ maps bounded sets in $X$ into bounded sets in $Y$ $2)$show that the operator ...
0
votes
0answers
20 views

Chebyshev polynomials minimize the infinity-norm among all monic polynomials

Consider the monic Chebyshev polynomial $$\hat{C}_n(x) = 2^{1-n}\cos{(n\cos^{-1}{x})}.$$ Show, if $Q_n(x)$ is any other monic polynomial of degree $n$, that $$\left\|Q_n\right\|_\infty \ge ...
0
votes
1answer
12 views

Infinity norm of the monic chebyshev polynomial

Consider the monic Chebyshev polynomial $$\hat{C}_n(x) = 2^{1-n}\cos{(n\cos^{-1}{x})}.$$ Show that on the interval $[-1, 1]$, $$\left\|\hat{C}_n\right\|_\infty = 2^{1-n}.$$ $(1)$ Now I know we can ...
0
votes
1answer
14 views

P Norm in $\mathbb{R}^2$

I am having trouble showing the p-norm is in fact a norm on $\mathbb{R}^2$. We were first asked to show $f(x)=(1-x^p)^{1/p}$ is concave down on $[0,1]$. I now want to prove the triangle inequality ...
0
votes
0answers
11 views

Are two operator norms on $M_n(A)$ equivalent?

If $A$ is a Banach algebra, then $M_n(A)$ can be given the operator norm as operators on $A\oplus_p\cdots\oplus_p A$ ($1<p<\infty$) to make it a Banach algebra. If in addition $A$ is an operator ...
0
votes
1answer
30 views

Matrix norm inducted by infinite vector norm

I'm dealing with a proof form a numerical analysis book whose name is given in the description, I think that I'm missing something very obvious. The problem consists in the second part of the proof, ...
1
vote
0answers
26 views

convergence in different normed spaces

In my class lecture notes, there is such a lemma. Let $X$ be a vector space over $\mathbb F$ and $\lVert \cdot \rVert_1$, $\lVert \cdot \rVert_2$ be two norms on it. If there is $M > 0$ such that ...
2
votes
1answer
43 views

Construction of a function $u$ such that $u \in W^{2,2}(\Omega) \cap W_0^{1,2}(\Omega)$ and $u \not\in W_0^{2,2}(\Omega)$

I'm wondering about an example of a function $u \in W^{2,2}(\Omega) \cap W_0^{1,2}(\Omega)$ such that $u \not\in W_0^{2,2}(\Omega)$. Clearly $W_0^{2,2}(\Omega) \subset W^{2,2}(\Omega) \cap ...
1
vote
0answers
30 views

Maximum of norm

Given a matrix $A$ with $N$ rows and $d$ columns, I would like to prove (or disprove) the following. Let $q(f)=\|(\begin{pmatrix} ...
0
votes
0answers
18 views

What is a bounded sequence of holomorphic functions?

Let $\Omega\subseteq\Bbb C^n$ open, $\{f_n\}_n\subseteq\operatorname{hol}(\Omega,\Bbb C)$ bounded. What does this mean? A numerical sequence $(a_n)_n\subset\Bbb C$ is bounded if $\exists M>0$ ...
-1
votes
2answers
57 views

Does this hold for $p=\infty $, i.e., is it true that $(l^{\infty})'= l^1? $ [closed]

Let $E=l^p$ where $1 \le p < \infty $ we know $E'=l^q$ Where $q$ is the dual exponent of $p$, i.e. $q$ is such that $\frac{1}{p}+\frac{1}{q}=1$ Does this hold for $p=\infty $, i.e., is it true ...