The tag has no wiki summary.

learn more… | top users | synonyms

17
votes
2answers
455 views

An equivalence relation for norms

Let us say that two norms $\|\cdot\|_1$ and $\|\cdot\|_2$ on a real vector space $V$ are strongly equivalent if there exists a constant $\lambda \geq 1$ such that $$ \frac{1}{\lambda} \left( \|x\|_1 ...
17
votes
1answer
625 views

Extremal points of the unit ball of M_n(R) …

The unit ball of ${\bf M}_n(\mathbb R)$ is a compact convex subset. As such, it is (Krein-Milman theorem) the convex envelop of its extremal points. So far, so good; but the unit ball depends of the ...
14
votes
3answers
543 views

Bounding the commutator [A,B] in terms of the numerical radius

Given a norm $N$ over ${\bf M}_n(\mathbb C)$, it is a natural question to find the best constant $C_N$ such that $$N([A,B])\le C_N N(A)N(B),\qquad\forall A,B\in{\bf M}_n(\mathbb C).$$ The answer is ...
12
votes
1answer
540 views

A property that forces the NORM to be induced by an INNER PRODUCT

Let $(E, \|\cdot\|)$ be a real normed vector space such that for any $a,b\in E$, $$ \|x +y\|^2 + \|x-y\|^2 \geq 4 \|x\|\cdot \|y\| $$ I want to show that the norm is induced by an inner product. Any ...
10
votes
1answer
440 views

Hölder's inequality for matrices

I was wondering if the Hölder's inequality was true for matrix induced norms, i.e. if $$\|AB\|_1 \leq \|A\|_p\|B\|_q, \quad\forall p,q \in [1,\infty] \text{ s.t. } \tfrac{1}{p}+\tfrac{1}{q} = 1.$$ But ...
10
votes
1answer
631 views

On bi-invariant metrics on groups

I'm looking for a quick, snap-your-fingers proof of the following result: A continuous length metric on $\mathbb{R}^n$ that is invariant under translations comes from a norm. To be clear about ...
9
votes
3answers
490 views

Are norms intrinsically $\mathbb{R}$-valued?

Another way of phrasing this: are there any viable definitions of something which is norm-like but whose range is in a linearly ordered rig (for example) rather than $\mathbb{R}$? I have searched a ...
8
votes
2answers
261 views

Projections onto $n$-codimensional subspaces of a Banach space: norms.

Hello, I'd like some help to find an answer I've been looking for since this morning. Let $X$ be a Banach space and let $Y$ be an $n$-codimensional subspace of $X$. Let $P$ be a projection from $X$ ...
8
votes
0answers
462 views

Bounding sum of first singular values squared for Kronecker sum of traceless matrices

Let $A$ and $B$ be $4\times4$ traceless matrices with Hilbert-Schmidt norms summing up to $1/4$, i.e. $$\text{Tr}\left[ A\right]=\text{Tr}\left[ B\right] = 0,\qquad\text{Tr}\left[ A^\dagger A + ...
7
votes
1answer
283 views

Counting norms on an infinite dimensional vector space

It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology). Is it known what happens when E ...
6
votes
3answers
333 views

Pathological product space norm

Let $X$ and $Y$ be two normed vector spaces and $n(\cdot, \cdot)$ be any norm on $\mathbb{R}^2$. Is it always possible to define a norm on the product vector space $X \times Y$ as $||(x, y)||_{X ...
6
votes
1answer
356 views

Does an origin-centered ellipse in the plane intersect each $L^p$-circle at most 8 times?

The question is in the title: Let $E$ be an origin-centered ellipse in ${\mathbb R}^2$ and let $S$ be an "$L^p$-circle": $S = \{(x,y) : |x|^p + |y|^p = \text{const}\}$, where $1 \leq p \leq \infty$. ...
6
votes
2answers
319 views

$\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$

Let $T$ be a linear operator acting on a finite-dimensional real or complex vector space. As a direct consequence (or rather a particular case) of the Riesz-Thorin theorem, we have $$ \|T\|_2 \le ...
6
votes
0answers
119 views

Norms and distributions

Question 1. Is there a nice or explicit way to describe the class of all distributions (generalized functions) $\mu$ on the $n$-sphere $S^n \subset \mathbb{R}^{n+1}$ for which the function $$ F(v) := ...
5
votes
1answer
167 views

An inequality involving the spectral norm of a complex matrix

Let $A,B \in {M_n}(R)$ be real $n \times n$ matrices and let matrices $|A|$ and $|B|$ contain the absolute values of the elements of $A$ and $B$ respectively. Construct the complex matrices $C = A + j ...
5
votes
1answer
250 views

The minimal norm of a shifted stochastic matrix

Hello, Given a row-stochastic matrix $M$ with singular values $\sigma_{1}\geq\ldots\geq\sigma_{n}$, I am looking for an upper bound on the expression: $\min_{\alpha}\parallel M- ...
5
votes
0answers
260 views

Symmetric matrices with $\rho(A)\gg\|A\|_\infty$

For a symmetric real matrix $A$, denote by $\rho(A)$ the spectral radius of $A$, and by $\sigma(A)$ the largest absolute row sum of $A$; that is, $\sigma(A)=\max_i \sum_j |a_{ij}|$, where $a_{ij}$ are ...
5
votes
0answers
153 views

Reference request: The relationship between norm and trace forms on an Albert algebra

I am interested in either a nice reference, or some clarification. Overview: I am considering $J_3(\mathbb{O})$, the Jordan algebra of $3\times 3$ self adjoint octonionic matrices. This algebra is a ...
4
votes
1answer
69 views

$2$-D Hlawka inequality

The classical counter-example to Hlawka inequality $$|a+b|+|b+c|+|c+a|\le|a+b+c|+|a|+|b|+|c|$$ is the $l^\infty$-norm in dimension $3$, with vectors $$a=\begin{pmatrix} 1 \\ 1 \\0 \end{pmatrix},\quad ...
4
votes
1answer
122 views

On the induced matrix norm $\| \cdot \|_{2,\infty}$

The induced norm of the matrix $A$ as a map from $(\mathbb R^n , \| \cdot \|_p)$ to $(\mathbb R^m, \| \cdot \|_q)$ is given by $$ \| A \|_{p,q} = \sup_{x\in\mathbb{R}^n\setminus \{0\}} ...
4
votes
1answer
166 views

A homogeneous but slightly asymmetric inequality

I need to prove the following inequality: for any $Z=(z_1,\dots,z_l)\in\mathbb{C}^l$ for any $p\geq 2$ and $l\geq 2$ \begin{equation} \left|\left|\sum_{j=1}^l ...
4
votes
1answer
124 views

Estimating the probability that $\|Av\| \ge \|v\|$

Given a diagonalizable matrix $A \in \mathbb{R}^{n \times n}$ with real eigenvalues, satisfying $1+c_1 \le \rho(A) \le 1+c_2$ $(0<c_1 \le c_2)$, obviously there exists a $v \in \mathbb{R}^{n}$ such ...
3
votes
3answers
809 views

upper bounds on a certain matrix norm

Is there some simple upper bound on $||(B^{-1}+A^{-1})^{-1}||$, where $A,B$ are $n \times n$ symmetric matrices?
3
votes
1answer
239 views

Matrix norms / eigenvalues / singular values / another thing

OK, here is what is probably a stupid question. Let $M$ be a non-symmetric real matrix: for example, the shear matrix $\left( \begin{array}{cc} 1 & 1 \\\ 0 & 1 \end{array} \right)$. There ...
3
votes
2answers
414 views

“Measuring” how far is one Banach space from being surjectively isometric to another

Bonjour/bonsoir à toutes et à tous. Assume that $\mathbf{V} \equiv (V, \|\cdot\|_V)$ and $\mathbf{W} \equiv (W, \|\cdot\|_W)$ are Banach spaces (over the real or complex field). Question 1. What ...
3
votes
1answer
236 views

About generalized Minkowski inequality

For which functions $f:\mathbb{R}^+ \to \mathbb{R}^+$ does the inequality $f^{-1}\left(\sum\limits_{k=1}^n f(x_k+y_k)\right) \leq f^{-1}\left(\sum\limits_{k=1}^n f(x_k)\right) + ...
3
votes
1answer
123 views

Is this function of a matrix convex?

Let $\mathcal{N}_{n}$ be the set of symmetric nonnegative irreducible matrices. For a matrix $A \in \mathcal{N}_{n}$ let $v^{A}$ be its Perron vector, normalized so that $||v^{A}||_{2}=1$. Define the ...
3
votes
1answer
519 views

norm of (sub)stochastic matrix

Is there any bounds for the norm of sub-stochastic matrix? (But it's not doubly stochastic matrix, I mean only the row sum is less than 1, while the column sum may not.
3
votes
1answer
704 views

Inequalities and bounds for relating p-norms (Reference request)

Hello all, I'm trying to find a good resource for a discussion on the relation between say, the p-norm of a vector (from a finite dimensional vector space) and its Euclidean norm. In my search on the ...
3
votes
3answers
796 views

Minimum norm of convex hull

Dear all, I am currently stuck at a problem which seems too easy to be stuck at to me... Summary Let $H$ be the convex hull of the points $d_1,\ldots, d_n\in \mathbb{R}^d$. How can one compute ...
3
votes
0answers
121 views

Diophantine approximations by norms of quadratic irrrationalities

The following problem came up on a mailing list that I subscribe to: If $\alpha$ is irrational we can find (using continued fractions) infinitely many rational fractions $p/q$ such that $|q \alpha - ...
3
votes
0answers
334 views

Bounding linear combination of exponentially decaying functions.

Let $f(x)=e^{-a|x|}$ and $a>0$ a constant. Suppose we take a linear combination $s(x) = \sum_{i=1}^n \alpha_i f(x-x_i)$ where $\alpha_i\in\mathbb{R}$ and $-r< x_1< \ldots < x_n< r$. ...
2
votes
2answers
263 views

On matrix norms

It is standard to define an induced matrix norm $|||\cdot|||$ from a vector norm $||\cdot||$ in this way: $|||A|||=\max_{x \neq 0}{\frac{||Ax||}{||x||}}$. Suppose we define a different function of ...
2
votes
1answer
677 views

When do 0-preserving isometries have to be linear?

Let $\langle \mathbf{V},+,\cdot,||.|| \rangle$ be a normed vector space over $\mathbb{R}$. Let $f : \mathbf{V} \to \mathbf{V}$ be an isometry that satisfies $f(\mathbf{0}) = \mathbf{0}$ . What ...
2
votes
2answers
273 views

Analogue of an orthogonal subspace in a noneuclidian normed space

This question is related to http://mathoverflow.net/questions/50600/an-existence-question-on-linear-map. If the answer to this question is yes, it would solve the abovementioned other MO question. We ...
2
votes
1answer
85 views

Approximation with a rank-$1$ matrix

Given a matrix $A$ (generally speaking, complex and non-square), I want to find an identically-sized matrix $D$ with ${\rm rk} D\le 1$ to minimize the induced operator norm $\|A-D\|_2$. From the ...
2
votes
1answer
214 views

Extension of equivalent norms

Let $(X,||\cdot||_1)$ be a normed space and $Y$ a linear subspace of $X$. Let $||\cdot||_2$ be a norm on $X$ which is equivalent to $||\cdot||_1$ on $Y$. Does there exist a norm on $X$ that coincides ...
2
votes
2answers
1k views

Dual Norm For Sum of 2-Norms

What is the dual of a norm that is the sum of two-norms? Specifically, say we have the following norm for $\mathbf{x}\in \mathbb{R}^n$ and $\mathbf{A}_i \in \mathbb{R}^{m \times n}$ $\|\mathbf{x}\| = ...
2
votes
1answer
187 views

Estimate infinity norm with Lp and W1p norm

Let $p \in [1,\infty)$. Does there exist $C>0$ such that for every $f \in W^{1,p}([0,1],\mathbb{R})$ we have $$\|f\|_{L^\infty}\leq C\|f\|_{L^p}^{1-\frac{1}{p}}\|f\|_{W^{1,p}}^{\frac{1}{p}}?$$ My ...
2
votes
1answer
70 views

Relating joint probability to norm of vector of probabilities

I have a set of Bernoulli random variables $X_1,X_2,\ldots, X_n$ and I would want to bound the joint probability $P(X_1=0,X_2=0,\ldots, X_n=0)$ using the norm $\lvert \lvert \mathbf{p}\rvert \rvert$, ...
2
votes
2answers
453 views

How do you compute the dual norm of an induced norm on a subspace of a finite-dimensional Lp-normed vector space?

Say you have a finite-dimensional vector space $V$ with an $L^p$ norm on it. In general, the norm induced on a subspace $V_s$ of doesn't have to be another $L^p$ norm, so the unit sphere in $V_s$ ...
2
votes
0answers
46 views

Image of the typenorm contains the squares

I am having a look at the paper Explicit CM-theory for level 2-structures on abelian surfaces by Bröker, Gruenewald and Lauter, and there is an argument which I don't understand. The main reason being ...
2
votes
0answers
48 views

Reducing $\ell_1$ norm of non-full-rank matrices

I have two matrices ${\bf{X}}_{p\times r}$ and ${\bf{Y}}_{r\times q}$ with $r<\min(p,q)$. Matrix ${\bf Y}$ does not have full row rank (i.e., rank$({\bf Y})<r$). Can I build two new matrices ...
2
votes
0answers
51 views

König-Wittstock norm on Banach space

Let $(E,\Vert.\Vert)$ be a real Banach space and $\ell\ne 0$ an non-continuous linear form on $E$. Let $a\in E$ be such that $\ell(a)=1$. König-Wittstock [Non-equivalent complete norms and would-be ...
2
votes
0answers
157 views

Norm bound of a complex resolvent

A well known result by Varah states that if $A$ is a strictly diagonally dominant matrix of dimension $n$, then $\|A^{-1}\|_{\infty} \le \max_i\frac{1}{|a_{kk}|-\sum_{j \neq k}|a_{kj}|}$, where the ...
2
votes
0answers
39 views

Norms of B-spline coefficients

In Shumaker's book (Spline Functions: Basic Theory), we know that the $l^\infty$-norm of B-spline coefficients is bounded above and below by the $L^\infty$-norm of the spline itself. Are there similar ...
1
vote
2answers
143 views

relation between of uniformly rotund in every direction and uniformly rotund and locally uniformly rotund

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $$\lim_{n→∞}\|x_n−y_n\|=0$$ whenever $$x_n,y_n∈SX$$ are such that $$\lim_{n→∞}\|x_n+y_n\|=2$$ and there is a $z∈X$ ...
1
vote
3answers
204 views

What is the most ``diverse'' $k$-subset of $[0, 1]^m$?

Given a non-negative integer $m$, let $\Omega_m$ denote the set of vectors $\omega = (\omega_1, \dots, \omega_m) \in [0, 1]^m$ such that $\sum_i{\omega_i} = 1$. The set $\Omega_m$ is together with a ...
1
vote
2answers
266 views

An inequality with $\ell_p$ norm

I encounter the following claim in my research for which I couldn't get a solution for a long time. I asked a more general version of the question at math.stackexchange which did not attract much ...
1
vote
1answer
85 views

Bound on the 2-norm of a “special” matrix

Let $S\in\mathbb{R}^{n\times n}$ be such that $\|S\|_2\leq 1$, $P\in\mathbb{R}^{n\times m}$, $m<n$, with orthogonal columns ($P^TP=I$) so that $PP^T$ and $I-PP^T$ are orthogonal projectors, and ...