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

4
votes
3answers
218 views

Is norm non-decreasing in each variable?

Let me try again. Suppose $\|\cdot\|$ is a norm in $\mathbb{R}^n$ and let $$f(x_1,...,x_n)=\|(x_1,...,x_n)\|$$ where $x_i\geq 0, \forall i$. I want to prove or disprove that $f$ is an nondecreasing ...
4
votes
3answers
1k views

Proof of Matrix Norm (Inverse Matrix)

Show for any induced matrix norm and nonsingular matrix A that $$ \left\|A^{-1}\right\| ≥ (\left\|A\right\|)^{-1} $$ where $$ \left\|A^{-1}\right\| = ...
4
votes
1answer
56 views

Geometric interpretations of $||z||_p = 1$?

Here $z = a + bi$, with $a, b, \in \mathbb{R}$ and $||z||_p = \sqrt[p]{|a|^p + |b|^p}$. With $p = 1$, this is just diamond (square rotated 45 degrees) of side=$\sqrt2$ centered at the origin. With ...
4
votes
1answer
794 views

Norm of the linear functional

Could you help me, please with the following question? There is a linear functional $A : C_{[0;1]} \rightarrow \mathbb{R}$, such that $$ Ax=\int_{a}^{b}x(t)\varphi(t)dt $$ where $\varphi$ is a fixed ...
4
votes
1answer
43 views
4
votes
1answer
159 views

Estimating the sum of a series ($\ell^1$ norm) in terms of two weighted $\ell^2$ norms

Does there exist a $C > 0$ such that $$ \sum_{n \geq 1} a_n \leq C \left( \sum_{n \geq 1} 2^n a_n^2 \right)^{1/4} \left( \sum_{n \geq 1} 2^{-n} a_n^2 \right)^{1/4} $$ for all $a_n \geq 0$ with ...
4
votes
1answer
83 views

A norm on $\mathbb{R}^2$ such that $\partial C$ is the unit sphere?

Suppose we are on $\mathbb{R}^2$. Assume that $C \subset \mathbb{R}^2$ is a convex bounded neighborhood of the origin invariant by central symmetry. Let $\partial C$ denote the boundary of $C$. My ...
4
votes
2answers
92 views

Upper bound for norm of Hilbert space operator

It is a standard result that for a bounded self-adjoint operator $T$ on a complex Hilbert space $H$, we have $||T||=\sup_{||x||=1}|\langle Tx,x\rangle|:=M$. It seems that for any bounded operator on ...
4
votes
1answer
57 views

Is it true that $2^p\|f\|^p_{L_p}+2^p\|f'\|^p_{L_p} >2\|f\|^p_{L_\infty}$?

For any $C^1$ function defined in $(0,1)$, is it true that $$ 2^p\|f\|^p_{L_p}+2^p\|f'\|^p_{L_p} >2\|f\|^p_{L_\infty} $$ If it is true, how to prove it?
4
votes
1answer
107 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? ...
4
votes
1answer
121 views

Counterexample using counting measure

While proving that the norm of the mulplicative operator from $L^2(X) \to L^2(X)$ is the essential supremum of $|g|$ where $g \in L^\infty(X)$, I found that I need the $\sigma$-finiteness of the ...
4
votes
1answer
185 views

Operator Norm of a Matrix composed of Standard Basis and Fourier Basis

Let $\mathbf{A}_n$ be an $n\times 2n$ matrix (where $n=2^k$) composed of Fourier basis and standard basis; that is, $$\mathbf{A}_n = \begin{bmatrix}\mathbf{I}_n & \mathbf{F}_n\end{bmatrix}$$ ...
4
votes
5answers
77 views

Norm of vector in $\mathbb{R}^3$ with multiple

If we have a vector in $\mathbb{R}^3$ (or any Euclidian space I suppose), say $v = (-3,-6,-9)$, then: May I always "factor" out a constant from a vector, as in this example like $(-3,-6,-9) = ...
4
votes
1answer
1k views

Show that the norm of the multiplication operator $M_f$ on $L^2[0,1]$ is $\|f\|_\infty$

I'm having some (hopefully small) issues computing the norm of an operator. Firstly, the problem, For $f\in L^\infty[0,1]$, define $M_f: L^2[0,1]\to L^2[0,1]$ by $M_f(g)(x) = f(x)g(x)$. Show that ...
4
votes
2answers
123 views

What is the norm of the pre-multiplication by a fixed matrix operator?

Let $A \colon= \left(\alpha_{ij} \right)_{m\times n}$ be a given $m \times n$ matrix of complex numbers, and let the operator $T \colon \mathbb{C}^n \to \mathbb{C}^m$ be defined by $$T(x) \colon= Ax ...
4
votes
3answers
83 views

Can one find a stronger norm on a Banach space?

Given a Banach space $V$ of infinite dimension with norm $\|\cdot\|_1$, is that possible to find a norm $\|\cdot\|_2$ on $V$ such that the topology induced by $\|\cdot\|_2$ is strictly stronger than ...
4
votes
2answers
110 views

What is the upper bound for this 2-norm

Let $\mathbf{x}$ be the solution to the following problem $$\displaystyle\min_{\mathbf{x}} \|\mathbf{y+Ax}\|_\infty \quad{} \text{subject to} \quad{} \|\mathbf{x}\|_2^2\leq \alpha\|\mathbf{y}\|_2^2$$ ...
4
votes
3answers
46 views

Cauchy Sequence some challenge

i read this sentence in one of math books: ‌Every convergent sequence in metric space is a cauchy sequence. would you please some one add more detail, why this is true? thanks.
4
votes
2answers
55 views

$\left\{x\in H: 2\leq \|x\|\leq 5\right\}$ is compact?

In a Hilbert space $H$ of dimention infinite, $A=\left\{x\in H:2\leq \|x\|\leq 5\right\}$ is compact? (totally bounded and complete) Thanks in advance.
4
votes
1answer
87 views

Simple question about matrices

My question is simple : If one replaces some of the entries of a matrix by 0, does he obtain necessarily a matrix with a lower norm? I have to precise that the norm I use is the maximum of the ...
4
votes
1answer
71 views

Is it true that bounded metric can never be induced by norm.

Let $(X, d)$ be a metric space where, $d$ is metric on $X$. We know that metric space $X$ is called bounded if there exists some number $r$, such that $d(x,y) ≤ r$ for all $x$and $y$ in $X$. I want ...
4
votes
1answer
92 views

Square matrix $\|Ax-Ay\|\le \|x-y\|$

Could you give me an example of a square matrix $A\in \mathcal{M}_{2 \times 2}$ or $\mathcal{M}_{3 \times 3}$ for which we have $\|Ax-Ay\|\le \|x-y\|$, $ \ \ x, y \in \{0, e_1, . . . , e_n\}, \ \ e_1, ...
4
votes
2answers
66 views

Approximation of matrix in 2-norm

The question is the following: Given a matrix $A$ with rank $k$, we are looking for a matrix $B$ of rank $j$, where $j<k$ such that $\|A-B\|_2$ is minimal. My idea was to choose, if $A=P ...
4
votes
1answer
281 views

Linear isometry between $c_0$ and $c$

The following question is an exercise and so I'm just looking for advices and not for answers if it's possible. I have the following sets in $l^\infty$ $$c_0 := \{x_n \in l^\infty: \lim x_n = 0\} ...
4
votes
1answer
259 views

Proof of an inequality of $L^p$ norms

For a general measure space, we define : $\|f\|_p= \left(\int\vert f\vert^p du\right)^{1/p}$. Let $0 < a < b < c < \infty$ and prove the following: $$ \|f\|_b \leqslant \max\{\|f\|_a, ...
4
votes
1answer
235 views

Finding the norm of the operators

How do I find the norm of the following operator i.e. how to find $\lVert T_z\rVert$ and $\lVert l\rVert$? 1) Let $z\in \ell^\infty$ and $T_z\colon \ell^p\to\ell^p$ with $$(T_zx)(n)=z(n)\cdot ...
4
votes
3answers
364 views

Proving two results about the spectral radius

How do I prove these two theorems? Furthermore, can I apply them to infinite-dimensional spaces, such as Banach spaces? Theorem 1. Let $M\in \mathbb{C}_{n\times n}$ be a matrix and $\epsilon ...
4
votes
1answer
289 views

$\|f+g\|_p\leq\|f\|_p+\|g\|_p$ where $\|f\|_p=(\int_{a}^{b}|f(t)|^p dt)^\frac{1}{p}$

Using the fact that $$cd\leq\frac{c^p}{p}+\frac{d^q}{q}$$ if $$\frac{1}{p}+\frac{1}{q}=1$$ and letting $$c=\frac{|f(t)|}{\left(\int_{a}^{b}|f(t)|^p dt\right)^\frac{1}{p}}$$ and ...
4
votes
2answers
86 views

Minimizing the Frobenius Norm

I would like to minimize the following expression with respect to matrix X: $$\left \| A-BX \right \|_{F}$$ where A and B matrices are given and all the matrices have positive integer elements. Any ...
4
votes
1answer
206 views

Reproducing Kernel Hilbert Space (RKHS) constructed by the summation of positive-definite kernels.

Let $k_1,\ldots,k_p$ be positive definite kernels defined on $\mathcal{X}\times\mathcal{X}$, where $\mathcal{X}$ is a non-empty set. $k_i$ is the reproducing kernel of the Reproducing Kernel Hilbert ...
4
votes
1answer
186 views

Metric induced by a norm - what conditions should this metric meet?

$(I)$ I've been browsing some problems concerning metrics not induced by norms, and I've found a comment that said that such a metric should be a concave monotone function. Here is the post I'm ...
4
votes
3answers
837 views

Monotonicity of $\ell_p$ norm

Consider a $n$ dimensional space, it is known (Wikipedia) that for $p>r>0$, we have $$ \|x\|_p\leq\|x\|_r\leq n^{(1/r-1/p)}\|x\|_p. $$ I have two questions about the above inequality. $(\bf ...
4
votes
2answers
1k views

I am not sure how to calculate this norm?

I have the following matrix: $$A= \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \\ \end{bmatrix} $$ What is the norm of $A$? I ...
4
votes
1answer
251 views

$L_1$ projection of sum of convex functions onto polytopes

Suppose I have a function $f(x) : \mathbb R^n \to \mathbb R$ that is the sum of a given strictly convex function $g : \mathbb R \to \mathbb R$ in a single variable, i.e. $f(x) = g(x_1) + g(x_2) + ...
4
votes
1answer
708 views

What are norms of sub-matrices invariant under a block diagonal similarity transformation of a block matrix?

Say $M := \begin{pmatrix} A & B\\ C & D \end{pmatrix}$ is a block matrix with $A, D$ being square matrices and this $B$ and $C^T$ having the same shape. Is there any norm characterizing the ...
4
votes
1answer
68 views

Fake proof: Equivalence of norms

Good morning. I'm having a hard time finding what's wrong with the following argument. Let $f$ be any function in $C^{1}([0;1])$ and let $||f||$ and $N(f)$ be two norms defined as follows: $$||f|| = ...
4
votes
1answer
47 views

Compute $\| T \|$ with the norm $\| \cdot \| := \max_{j=1,\ldots,n} (|\cdot_j|)$

Let $A \colon = [\alpha_{ij}]_{m\times n}$ be a given $m \times n$ matrix of real numbers. Let $\mathbb{R}^n$ be the normed space of all ordered $n$-tuples of real numbers with the norm defined as ...
4
votes
1answer
44 views

Is this sufficient for continuity?

Assume you have a map $\phi : V \rightarrow \mathbb{C}$, where $V$ is a complex vector space. Now, if we have $\phi(\lambda x) = |\lambda | \phi(x)$ and $\phi(x+y)^2+ \phi(x-y)^2 = 2\phi(x)^2 +2 ...
4
votes
1answer
38 views

Estimate the Cauchy integral for matrix-valued functions

Recently, I became familiar with the concept of the "matrix function via Cauchy integral", i.e., $$f(A):=\frac{1}{2\pi i}\int_\varGamma f(z)(zI-A)^{-1} \mathrm{d}z$$ Furthermore, it can be shown that ...
4
votes
2answers
342 views

Show that the sup-norm is not derived from an inner product

I am trying to show that the norm $$\lVert{\cdot} \rVert _{\infty}=\sup_{t \in R}|x(t)|$$ does not come from an inner product (the norm is defined on all bounded and continuous real valued ...
4
votes
2answers
89 views

let $A$ be an n by n matrix, show that $||A||_{OP} \leq ||A||_{HS} \leq \sqrt{n} ||A||_{OP}$

We are given $A \in M_{n}(\mathbb R)$ and the following norms: $||.||_{e}$ is the standard euclidean norm of $\mathbb R^n$. $||A||_{OP}$ is the operator norm of $A$, meaning $||A||_{OP} = ...
4
votes
1answer
183 views

Generalization of $\frac{a + b}{c + d} \leq \text{max}(\frac{a}{c}, \frac{b}{d})$

I'm looking for a matrix version of the basic inequality for the ratio of two sums of positive numbers: $$\frac{a + b}{c + d} \leq \max\left\{\frac{a}{c}, \frac{b}{d}\right\}.$$ Specifically, I have ...
4
votes
1answer
265 views

How to determine a operator norm?

How to solve following: In Hilbert space $W_2^1=\{f:[0,1]\rightarrow \mathbb{C}|f\in AC[0,1], f'\in L^2[0,1]\}$ with scalar product $(f,g)=\int_0^1 f\overline{g}dx+\int_0^1 f'\overline{g'}dx$ is ...
4
votes
2answers
77 views

norm of inverse less than 1

I just wanna ask if what I am doing here make sense: Let $\epsilon$ be arbitrary positive number. Choosing $\epsilon$ and let it approaches 0, I would like to have $||(I-\epsilon A)^{-1}|| < 1$. ...
4
votes
1answer
220 views

Matrix Norm set #2

As a complement of the question Matrix Norm set and in order to complete the Problem 1.4-5 from the book: Numerical Linear Algebra and Optimisaton by Ciarlet. I have this additional conditions: (3) ...
4
votes
1answer
419 views

Poincaré's lemma with norm in $H_{0}^{1}$

I wonder why $\| u\|_{H_0^1} = \int_{\Omega} |Du|^2$ for u in $H_0^1(\Omega)$, with $\Omega = (-1,1)$? I might be wrong but isn't $\| u\|_{H^1} = \| u\|_{L^2} + \| Du\|_{L^2}$? How come that $\| ...
4
votes
1answer
164 views

Absolute norms and 1-unconditional sums

Absolute norm Let $X$ and $Y$ be Banach spaces. Let $Z=X\times Y$ a norm $\|\cdot\|_N$ on $Z$ is called absolute if there is a function $N\colon R^2\rightarrow R$ such that $$ \|(x,y)\|_N=N((\|x\|, ...
4
votes
2answers
442 views

$L^p$ norm of multivariate standard normal random variable

Given $X_i\sim \mathcal{N}(0,1)$ what is the behaviour of $$ ||X||_{l^p}=(\sum_{i=1}^n|X_i|^p )^{1/p}$$ as $n\rightarrow \infty$? For $p=2$ results about $\chi$-distribution tell us that ...
4
votes
1answer
395 views

Prove a basic fact on a linear combination of vectors

Let $x_i (i=1,...,n, n>d)$ be a unit vector in $R^d$. $c_i>0$ is a positive real scalar. How to prove the following fact? Fact: There exist some vectors $x_i$ such that $\sum_{i=1}^n c_i ...
4
votes
0answers
69 views

Differentiation operator on smooth function with compact support

Suppose $f$ is $C^\infty$ with compact support. Let $T_n$ be the operator which sends $f$ to its $n$-th derivative. Is $||T_nf||_\infty$ bounded? It seems like I should use Stone-Weierstrass, but ...