The tag has no usage guidance.

learn more… | top users | synonyms

23
votes
0answers
478 views

Do there exist infinite-dimensional Banach spaces in which every bounded linear operator attains its norm?

Let $X$ be a Banach space, $L(X)$ the space of all bounded linear operators on $X$. We say that $A ∈ L(X)$ attains its norm if there exists $x ∈ X$ such that $||x|| = 1$ and $||Ax|| = ||A||$. The ...
21
votes
6answers
939 views

Under what conditions $\|x-y\|=n\iff\|f(x)-f(y)\|=n.$ for $n\in\mathbf{N}$ implies isometry?

Let $X, Y$ be normed space and $f:X\to Y$ be a mapping. Assume that for all $n\in\mathbf{N}$, $$\|x-y\|=n\iff\|f(x)-f(y)\|=n.$$ Under what conditions this map will be an isometry? Thanks
17
votes
2answers
750 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
651 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 ...
15
votes
3answers
458 views

An inequality for two independent identically distributed random vectors in a normed space

Suppose that $X$ and $Y$ are independent identically distributed random vectors in a separable Banach space $B$. Does it always follow that $E\|X-Y\|\le E\|X+Y\|$? Some background information on ...
15
votes
1answer
951 views

How many values determine a norm?

It is well known that for a bilinear form over an n-dimensional vector space, $n^2$ values (on all pairs of basis-vectors) determine it uniquely. How many values do we need to specify in order to ...
14
votes
3answers
591 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 ...
13
votes
1answer
978 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 ...
11
votes
2answers
474 views

which norms can be realized as operator norms?

Assume $(V,∥∥_V),(W,∥∥_W)$ are both finite dimensional normed spaces. We have the induced operator norm on ${\rm Hom}(V,W)$. It turns out that the operator norm is induced by an inner product iff ...
11
votes
2answers
2k 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 ...
11
votes
0answers
118 views

GPS calculations under $L^p$ norms

GPS calculations require finding a sphere externally tangent to four given spheres, an Apollonian problem in $\mathbb{R}^3$. The center of that fifth sphere is one of the $16$ possible solutions to ...
10
votes
3answers
521 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 ...
10
votes
1answer
780 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
523 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 ...
9
votes
2answers
285 views

A “quadratic” triangular inequality

In a Euclidian space (Hermitian as well), say $\ell^2_n$, the following inequality holds true $$(QI)\qquad |b|\cdot|c-a|\le|c|\cdot|a-b|+|a|\cdot|b-c|,\qquad\forall a,b,c\in\ell^2_n.$$ In other words, ...
8
votes
3answers
486 views

Can the topological algebra of analytic functions be endowed with a norm that defines the natural topology?

Right, so in my research in complex analysis I was puzzled by this question which may have a simple approachable answer that eludes me, but I am truly itching to find out and in need of it so I am ...
8
votes
2answers
297 views

Constructing a function over a metric space through given points

Suppose there is a compact metric space $(X,\rho)$ and a Euclidean space $\mathbb{R}^n$. There is a sequence of unequal points $\{x_1,...x_N\}$ in $X$ such that all metrics $\rho(x_i,x_j)$ are known ...
8
votes
2answers
324 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
495 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
555 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 ...
7
votes
1answer
241 views

Proving a certain $ C^{*} $-algebraic inequality

Let $ A $ be a non-unital $ C^{*} $-algebra. Is there an ‘elementary’ way to prove, for all $ (a,\lambda) \in A \times \mathbb{C} $, the inequality $$ |\lambda| \leq \sup_{b \in A, ~ \| b \| \leq 1} ...
6
votes
1answer
460 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
1answer
208 views

Under what conditions a linear automorphism is an isometry of some norm?

Assume $V$ is a finite-dimensional vector space over $\mathbb{R}$, and $T: V \to V$ is a (linear) isomorphism. When is it possible to construct a norm on $V$ making $T$ an isometry? ...
6
votes
2answers
335 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
130 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
205 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\}} ...
5
votes
1answer
312 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
297 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
298 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
183 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
104 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
422 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) + ...
4
votes
1answer
185 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
91 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 ...
4
votes
1answer
82 views

Norm vs A-norm in non-Archimedean Functional Analysis

Let $K =(K,| \cdot |)$ be a non-Archimedean valued field. Let $E$ be a $K$-vector space. A norm on $E$ is a map $||\cdot||:E\to[0,\infty)$ such that: $||x||=0$ if and only if $x=0$, $||\lambda ...
4
votes
2answers
61 views

Distribution of the RKHS norm of the posterior of a Gaussian process

In a classical noisy regression setting, let $\big(f(x)\big)_{x\in\cal X}$ be a centered Gaussian process of covariance $k$ on a compact $\cal X$, and $\mathcal{F}_n$ be the filtration generated by ...
4
votes
1answer
133 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
1answer
1k 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 ...
3
votes
3answers
2k 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
207 views

Equivalence of entrywise 1-norm and Schatten-1 norm

Let $A \in \mathbb{R}^{m\times n}$ and $\|A\| = \sum_{i, j} |A_{i,j}|$. I am looking for constants $\alpha, \beta \in \mathbb{R}$ such that $\alpha \|A\| \leq \|A\|_* \leq \beta \|A\|$ The function ...
3
votes
1answer
119 views

A norm description for singular matrices

For $n>2$, are there norms $\parallel.\parallel_{a}$ and $\parallel.\parallel_{b}$ on $M_{n}(\mathbb{R})$ with the following property: $A\in M_{n}(\mathbb{R})$ is singular if and only if ...
3
votes
1answer
362 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
440 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
136 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
340 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 ...
3
votes
1answer
904 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
784 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
944 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
136 views

Lenstra's integer programming algorithm: Finding a lattice point “near the center”

I have already posted this question on the mathematics forum, but I suspect the question needs more detailed knowledge than most users have; please excuse the duplicate post. Any help is greatly ...
3
votes
0answers
130 views

Norm condition in a Banach lattice

Consider the following "condition (J)" on the norm of a (real or complex) Banach lattice $E$: whenever $x$ and $y$ are disjoint (i.e., $|x|\wedge |y|=0$) then $\|x+y\|+\|x-y\|=2\|x\|+2\|y\|$. ...