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

1
vote
2answers
48 views

Polynomials of best approximation

The question is about approximating the continuous function in an interval $[a, b]$. If we consider the linear space of all such functions endowed with the norm $$||f|| = \max_{x \in [a, b]}|f(x)|$$ ...
1
vote
1answer
31 views

Unit ball for a special norm

What does the unit sphere for the norm on $\mathbb{R}^2$, $\displaystyle N(x,y)\rightarrow\sup_{t\in\mathbb{R}}\frac{|x+ty|}{t^2+t+1}$, look like ? My approach was to consider $y=ax$ so as to get ...
4
votes
2answers
98 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 ...
0
votes
0answers
26 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
2answers
76 views

Maximum eigenvalue of product of two matrices

Let $A$ and $B$ be two Hermitian matrices. I wanted to know if there is any relation between the maximum eigenvalue of $AB$ and that of $A$ and $B$. Is the following relation true? ...
1
vote
0answers
40 views

Greatest norm for the exponential of a polytopic matrix

im new to the forum and I have a question that Im working quite for a while now. I would like to prove that the greatest norm when considering the exponential ...
1
vote
0answers
76 views

Matrix norm induced by a vector norm.

All matrices are real. $A$ is a matrix of size $n \times k$ with $k < n$ and has independent columns. The function $v(x) = \|Ax\|_1$ is a norm. What is the matrix norm induced by $v$? Is it of ...
0
votes
1answer
52 views

What does it mean to write $|||x|||$ rather than $||x||$?

I am familiar with the notation $||x||$ meaning some norm of $x$. I have just come across the notation $|||x|||$ (in a text that also uses the former for norms). What is the difference?
2
votes
2answers
119 views

$\| AB\|_\square \leq 1$ implies $\| BA\|_\triangle \leq 1$

In this post norm denotes a matrix norm, i.e. it is sub-multiplicative. All matrices are real. $A$ is of size $n \times k$ with independent columns ($k \leq n$). $B$ is of size $k \times n$. Let $\| ...
1
vote
1answer
90 views

What is the general definition of the conjugate of a multiple-component number?

I know that the conjugate of a binomial is the negation of the second part. So the conjugate of (a + b) would be (a - b). I know that the conjugate of a complex number (a + bi), similarly, is (a - ...
5
votes
1answer
61 views

A question concerning the Schwartz space

Denote the Schwartz space by $\mathcal S(\mathbb{R})$. I want to show that $\forall n,k \in \mathbb{N} \cup \{0\}$, $\|\cdot\|^{(n,k)} : \mathcal S(\mathbb{R}) \rightarrow [0, \infty)$ defined by ...
1
vote
1answer
46 views

$\|u\| = \Big(\int |\nabla u|^p \Big)^\frac{1}{p}$ as a norm on $W_0^{1,p}(\Omega)$ where $\Omega$ is bounded

Let $\Omega$ be a bounded open set of $\mathbb{R}^N$, define $\|u\|_1 = \Big(\int |\nabla u|^p \Big)^\frac{1}{p}$ as a norm on $W_0^{1,p}(\Omega)$ for $2\leq p<\infty$, where $$\int |\nabla u|^p ...
2
votes
1answer
67 views

What is the matrix norm induced by weighted vector norm?

I denote vector norms with doulbe bars and matrix norms with triple bars. It is well known that the vector norm $L_2$ i.e. $\| x \|_2 = \sqrt{x^\top x}$ induces the matrix norm $||| \cdot |||_2$, ...
2
votes
1answer
69 views

derivative of a norm VS norm of a derivative

Consider a vector-valued function of the time, say $$v: \tau\in\mathbb{R}\to\mathbb{R}_N.$$ Suppose that for $\tau=t$, the function is equal to the zero vector, i.e. $$v(t)=0_N.$$ Denote as ...
3
votes
1answer
40 views

involution on $\mathbb F_p((t))$

Recently I learned here interesting facts about $\mathbb F_p((t))$, the field of the formal Laurent series with coefficients in $\mathbb F_p$. I looked up quite a few papers on local fields but I ...
1
vote
0answers
24 views

Estimate bounds on Minkowski distance from point to a segment in Lp space

Assumptions Let $L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric), $a,b$ be arbitrary $n$-dimensional points, $c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
0
votes
2answers
247 views

symbol for maximum number in an array or vector

As we know $\|x\|_{\infty}$ returns the maximum "absolute" value through the vector . I'm looking for a symbol to show the actual value that can be also negative: $ ?x?=\max\{x_1,...x_N\}$
1
vote
1answer
40 views

Upper bound for integral over boundary in terms of integral over interior

I've encountered quite some papers in which it is simply assumed that $\exists C>0 : \left(\displaystyle{\int\limits_{\Gamma}}((\nabla v)\cdot \hat{\bf{n}})^2d\Gamma\right)^{\dfrac{1}{2}}\leq ...
0
votes
1answer
42 views

Is this a norm for $C^1[0,1]$?

Let $C^1[0,1]$ be the space of differentiable functions in [0,1] in which their derivatives are continous in [0,1]. Define: $ |||f|||_1=||f||_\infty =max \left \{ |f'(x)|: 0\leq x \leq 1\right \} ...
1
vote
2answers
74 views

Show that $\lim_{p→∞} ||x||_p = ||x||_∞$

For any $x ∈ \mathbb{R}^n$ and $p ≥ 1$, define $$||x||_p = \left(\sum_{i=1}^n|x_i|^p\right)^{\frac1p},||x||_∞ = \underset{1≤i≤n}{\max}|x_i| $$ Show that $$ \underset{p→∞}{\lim} ||x||_p = ...
1
vote
2answers
38 views

Limits in matrix norm if convergence of integration is guaranteed

the answer of this question probably is very obvious, but I want to make sure this is correct. I have a function $F: \mathbb{R}\rightarrow \mathbb{R}^{n\times n}$ that is continuous and ...
0
votes
1answer
25 views

Norm inequality question

If $T$ is an invertible matrix, and for matrices $B$ and $C$, and we have that $∥TA−TB∥<ϵ$, can we say that A and B are close to each other in some sense? Intuitively the above shows that ...
1
vote
0answers
46 views

Generalized Form of Fano's Inequality

The Wikipedia article on Fano's Inequality presents a generalization as follows: Let $\mathbf{F}$ be a class of probability densities with a subclass of $r+1$ densities denoted $f_{\theta^{(i)}}$ ...
2
votes
1answer
39 views

Understanding an equality with open balls

In order to understand a proof I want to know why the following is true: Let X be a banach space and $x\in X$ with $x\in B(x_0,r)$ (open ball around $x_0$ with radius $r$), then $\frac{r}{2}x-x_0 \in ...
2
votes
1answer
27 views

“max” entry norm inequality?

Suppose $\max_{i,j}(A_{i,j}-B_{i,j})<t$. What can we say about $\max((TA)_{i,j}-(TB)_{i,j})$, where $T$ is a positive semi-definite matrix? I would like to say that ...
2
votes
0answers
110 views

How to prove a matrix norm inequality?

$P$ is a stochastic matrix i.e. square, non-negative, rows sum to one. Let $\Phi$ be a real matrix of size $n \times k$ with independent columns and $k < n$. Let $\Xi$ be the diagonal matrix with a ...
1
vote
2answers
40 views

value of the norm of the trace mapping

1) What is the exact value of the norm of the trace mapping ${\rm tr} \colon M_n \to \mathbb{C}$ where we equip $M_n$ with the operator norm $\|A\| = \sup\{\|Ax\| : x\in \ell^2_n \mbox{ with }\|x\|= ...
6
votes
1answer
103 views

Is it true that $A \geq B$ implies $\|A\|_2 \geq \|B\|_2$ for $A,B \geq 0$?

All matrices are real and not necessarily symmetric. Denote by $A \geq B$ the condition that $(A-B)$ has eigenvalues with non-negative real parts. Denote by $\| \cdot \|_2$ the $L_2$ matrix norm. Is ...
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$$ ...
1
vote
0answers
42 views

Find a family of linear inequalities for which the unit ball is a solution set

Find a family of linear inequalities for which the unit ball $A = \{x \in \mathbb R^n \ | \ \|x\|_2 \le 1\}$ is a solution set Would it just be $x_1^2 + ... + x_n^2 \le 1$?
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 ...
1
vote
1answer
26 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 ...
1
vote
1answer
75 views

upper bound on this matrix norm

What would be the upper bound on the 2-norm (or any norm) of the following matrix product ? Please consider the smallest upper bound. $\|\left(I+BA^T\right)\left(I+AA^T\right)^{-1}\|< ?$ where A ...
5
votes
0answers
38 views

Finding a norm making a subspace dense

Suppose $V$ is a (real or complex) vector space and $W$ is a subspace of $V$. Under what conditions is there a norm on $V$ making $W$ a dense subspace of $V$? That $V$ and $W$ have the same ...
1
vote
1answer
55 views

Is every regular polygon the unit ball for some norm?

For every regular polygon, is there a norm such that the polygon is it's unit ball centered on 0?
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 ...
1
vote
0answers
41 views

Equality condition for convolution's $L^p$ norm.

Suppose that $1< p< \infty$, $f\in L^1(R)$, and $g\in L^p(R)$ and that $\|f*g\|_p=\|f\|_1\|g\|_p$. Show that then either $f=0$ a.e or $g=0$ a.e I have solved for $g=0$ a.e. if $||f||_1>0$ ...
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
0answers
51 views

Norm of a mapping which is a linear combination of other mappings

Let $(X, d)$ be a metric space, $(E, || \cdot ||)$ a Banach space, $(AE(X), || \cdot ||)$ - as described below. $AE_0(X) = \{ u : X \rightarrow \mathbb{R} \ : \ u^{-1} (\mathbb{R} \setminus \{0 \}) \ ...
0
votes
1answer
114 views

Uniquness and Exisstence of One Theorem

I need a short and nice Proof for Uniqueness and Existence of the following theorem: Suppose (H, <0,0> ) is a Hilbert space, and M is a closed convex set and $x \in H$, then there is a unique ...
1
vote
2answers
251 views

Prove that the normed vector space $(S_F,\|\cdot\|_1)$ is not Banach.

$S_F$ is the space of real sequences $\mathbf a=(a_n)_{n=1}^{\infty}$ such that every sequence $\mathbf a\in S_F$ is eventually zero. $\|\cdot\|_1$ is the norm defined as $\|\mathbf ...
1
vote
1answer
144 views

Show that the following definitions all give norms on $S_F$

$S_F$ is the space of all real sequences $\mathbf a=(a_n)_{n=1}^{\infty}$ such that each sequence $\mathbf a\in S_F$ is eventually zero. Show that the following definitions all give norms on $S_F$, ...
0
votes
2answers
147 views

State and prove conditions for $\|x\|_a=\sum_{j=1}^n a_j\lvert x_j\rvert$ to be a norm on $\mathbb R^n$

Let $a_j \in \mathbb R$ for $1\leq j \leq n$. State and prove necessary and sufficient conditions for $\|\cdot\|_a$ to be a norm on $\mathbb R^n$. I know the properties needed for a function to be a ...
2
votes
0answers
53 views

Defining an unusual norm on $\mathbb{R}^3$

For vectors $\vec v = (v_1,v_2,v_3) \in \mathbb R^3$, does $||\vec v|| = |v_1| + \max\{ |v_2|,|v_3|\}$ define a norm on $\mathbb{R}^3$? I know I need to show positivity, homogeneity and the triangle ...
0
votes
1answer
11 views

Calculate 1-norm of a vector using another matrix or vector

Let's say I have a vector a. I would like to construct a matrix or vector b such that if I multiply ...
1
vote
1answer
158 views

Prove that $N_2(\mathbf z)=(\sum_{k=1}^n \overline {z_k}z_k)^{1/2}$ is a norm on $\mathbb C^n$

Here $\mathbf z=\{z_k=x_k+iy_k\}_{k=1}^n, \overline{\mathbf z}=\{x_k-iy_k\}_{k=1}^n \in \mathbb C^n$. So far I have proven the following properties required for $N_2(\mathbf z)$ to be a norm: ...
3
votes
1answer
129 views

Inequivalent norms (given by different inner products) on infinite dimensional Hilbert space.

I have this question in reviewing for my exam. Let $H$ be an infinite dimensional Hilbert space. Write down an inner product on $H$ that gives a norm inequivalent with the original norm. Is $H$ ...
1
vote
3answers
79 views

Is $\bigl\|\frac{vv^T}{v^Tv}\bigr\|=1$? For any vector $v\in \mathbb{R}^{n}$

I am stuck while showing that $$\biggl\|\frac{vv^T}{v^Tv}\biggr\|=1,$$ where $v\in \mathbb{R}^n$, and $\|.\|$ is a matrix norm. Here is my steps: I used Frobenius norm: A Frobenius matrix ...
-1
votes
1answer
118 views

Determine if these two norms are equivalent

Let we have the space $C[a,b]$ (the space of all functions that are continuous on closed interval $[a,b]$). And we have two norms on this space: $$\|X\|_1= \max_{t\in [a,b]} | x(t) |$$ $$\|X\|_2 = ...
1
vote
1answer
35 views

Prove $\|\cdot\|_s$ is a norm, and find $m,M>0$ such that $m\|x\|_\infty\leq \|x\|_s\leq M\|x\|_\infty$

Here is my question - Let $\|\cdot\|_s:\mathbb{R}^2\to\mathbb{R}^2$ be defined by: $$\|(x_1,x_2)\|_s=\left\{ \begin{array}{l l} \|(x_1,x_2)\|_2 & \quad \text{$x_1x_2\geq 0$}\\ ...