A vector space $E$, generally over the field $\mathbb R$ or $\mathbb C$ with a map $\lVert \cdot\rVert\colon E\to \mathbb R_+$ satisfying some conditions.

learn more… | top users | synonyms

6
votes
0answers
79 views

One more AC equivalence question

Is "Every vector space admits a norm" weaker than AC? I know that the statement follows from "Every vector space has a basis", which is equivalent to AC.
5
votes
0answers
963 views

Proof of separability of Lp spaces

The following is a proof in Brezis book. It shows the separability of $L^{p}$ spaces: I have a few questions regarding the proof. Questions: It says 'it is easy to construct a function $f_{2} ...
5
votes
0answers
460 views

Are Arzelà–Ascoli theorems results of similar theorems on normed spaces, metric spaces or other spaces?

From Wikipedia, two generalizations of the Arzelà–Ascoli theorem are Let $X$ be a compact Hausdorff space. Then a subset $F$ of $C(X)$, the set of real-valued continuous functions on X, is ...
4
votes
0answers
80 views

why is test function space $\mathcal{A}$ complete

I am trying to find out, why the space $$\mathcal{A}:=\left\{\phi\in C_0(\mathbb{R}^{2d})|\;\|\phi\|_\mathcal{A}:=\int_{\mathbb{R}^d}\sup_{x\in\mathbb{R}^d}|(\mathcal{F}_p\phi)(x,y)|\;\mathrm ...
4
votes
0answers
58 views

A normed space is not separable if and only if it contains an uncountable set of disjoint balls of the same radius

I want to show normed space $E$ is not separable iff $E$ contains uncountable set of pairwise non-intersecting balls of radius $r > 0$. Use contraposive: first prove $E$ is separable then ...
4
votes
0answers
83 views

Find Lipshitz constant

Let $x, y$ be two vectors in $R^n$. Let $\pi$ be permutation on $\{1, \ldots, n\}$ with uniform distribution. Find Lipshitz constaants of the following functions: $$ f(\pi)=\sum_{i=1}^nx_{\pi(i)}y_i ...
3
votes
0answers
64 views

When weakly compactness implies compactness?

Let $A$ be a Banach space. The weak topology on $A$ is a topology which produced by the following family of seminorms: $~~~~~~~~~~~~~~~~~~~~P_f(x)=|f(x)|,\qquad$ where $f\in A^*$ and $A^*$ is dual ...
3
votes
0answers
31 views

Operator Norm and Submultiplicativity against the Spectral Norm

Consider $\mathcal{A}:\mathbb{R}^{n\times m}\to \mathbb{R}^{p\times q}$ to be a linear operator. I know that by considering the trace norm and using the submultiplicativity of the operator norm we ...
3
votes
0answers
37 views

Calculating Norms for the Transpose

How does one show that the transpose mapping $T: \mathcal{M}_{n} \to \mathcal{M}_{n}$, given by $T(a)=a^{t}$, has norm $||T||=1$ but completely bounded norm $||T||_{CB}=n$? Notation. ...
3
votes
0answers
38 views

Find all $ p \ge 1 $ for which the Hölder norm $\|\cdot\|_p $ is generated by a scalar product.

Find all $ p \ge 1 $for which the Hölder norm $$ \|x\|_p := \left(\sum^{n}_{i=1} |x_i|^p\right)^{\frac{1}{p}} $$ is generated by a scalar product. We know that norm is generated by a scalar product ...
3
votes
0answers
65 views

Gelfand width of $l_1$ unit ball in $\infty$ metric

The $l_1$ balls in $l^N_p$ are well studied, but I cannot find anything about estimates of $d^m(B^N_1,l^N_\infty)$ except of $d^m(B^N_1,l^N_\infty)\geq C\min\{1,\frac{\ln(eN/m)}{m}\}$ which is not ...
3
votes
0answers
48 views

Finding L^1 centers of sets of probability distributions

Let $\mathcal{P}^n = \{ x \in \mathbb{R}^n : x \geq 0, \sum x = 1\}$. Suppose I have $p_1, \ldots, p_m \in \mathcal{P}^n$. I want to find an $L^1$ center for these points. i.e. $q \in \mathcal{P}^n$ ...
3
votes
0answers
115 views

Condition on Equality of closure of open ball and closed ball, suppose I have a counterexample

Let $(X, d)$ be a metric space. Also for $x \in X$ and $r \ge 0$ define: $$ B(x,r) = \{ y \in X : d(x,y) < r \} \quad \mbox{ and } \quad K(x,r) = \{ y \in X : d(x,y) \le r \}. $$ Denote by ...
3
votes
0answers
130 views

Asymptotically isometric copy of $\ell_1$

A Banach space $X$ is said to contain Asymptotically isometric copy of $\ell_1$ if there is a null sequence$(\rho_n)_{n=1}^{\infty}$ in $(0,1)$ and a sequence$(x_n)_{n=1}^{\infty}$ in $X$ so that ...
3
votes
0answers
60 views

What extra assumption makes this transformation affine?

Let a vector space $V$ be given. Let $f:V\to V$ have the property that for all $x,y,a\in V$, $$ f(x+a)-f(y+a) = f(x) - f(y) \tag{$\star$} $$ Q1. I'd like to know how weak one can make additional ...
3
votes
0answers
1k views

Natural matrix norm of an inverse matrix

Let $\left\|\cdot\right\| : \text{GL}(n,\mathbb{R})\to\mathbb{R}_{\ge 0}$ denote the natural matrix norm, i.e. $$\left\|A\right\|:=\max_{x\ne ...
3
votes
0answers
121 views

Linear Operators: Continuous $\Rightarrow$ Bounded

Let $T:V\rightarrow V'$ be a continuous linear operator between two normed vector spaces $V,V'$. Show that it is bounded. Continuity is defined as $\lim_{n}\|x_n-x\|=0\Rightarrow ...
3
votes
0answers
147 views

Two norms $\|\cdot\|_a$ and $\|\cdot\|_b$ on $X$, and a function $f:X\to Y$ Fréchet differentiable with one of the norms but not with the other one?

There is a theorem that if $f : (X,\|\cdot\|_{X1}) \to (Y,\|\cdot\|_{Y1}) $ is Fréchet differentiable, then replacing the norms with some equivalent norms $\|\cdot\|_{X2}$ and $\|\cdot\|_{Y2}$ ...
3
votes
0answers
93 views

Is $\rho(f) := \mu(|f| \geq \epsilon), \epsilon >0$ some kind of generalized norm?

Let $\rho(f) := \mu(|f| \geq \epsilon)$ where $\epsilon >0$ is a constant and $\mu$ is a measure and $f$ is a measurable function. Then $f\equiv 0 \rightarrow \rho(f) = 0$ when $|a| \neq 0$, ...
3
votes
0answers
129 views

Do the $p$-norms in $\mathbb R^2$ have a nice geometric intuition behind them?

For $p\geq 1,$ the $p$-norm of a vector $(x,y)\in\Bbb R^2$ is the number $\|(x,y)\|_p=(|x|^p+|y|^p)^{1/p}.$ I learned this definition some time ago, but I never really understood it. Is there a ...
3
votes
0answers
98 views

Consequence of metrizability proof - disregard, the question is an error

In Marian Fabian et al's Functional Analysis and Infinite-Dimensional Geometry, Proposition 3.22 states/proves that if $X$ is a separable Banach space, then the (closed) unit ball, $B_{X^{*}}$ of ...
2
votes
0answers
14 views

How are $M_n(A)$ and $M_n(\mathbb{C})\otimes A$ identified as Banach algebras?

When $A$ is a Banach algebra, one can make $M_n(A)$ into a Banach algebra by equipping it with various norms. One can also make the algebraic tensor product $M_n(\mathbb{C})\otimes A$ into a Banach ...
2
votes
0answers
28 views

Connected set in normed space

I have this exercise: "let $E$ be a normed space and $X\subset E$ $$X~\text{connected}~\Longleftrightarrow \forall A\subset X,~\text{such that} A\neq\emptyset, A\neq X~\text{we have}~ Fr(A)\neq ...
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
0answers
31 views

Exercise in Hahn-Banach Theorem; Finding linear functional $-p(-x)\leq f(x)\leq p(x)$

(The following exercises are in Kreyszig's book 218 page; EXE 10) I want to solve the following exercise : If $X=l^\infty$, let $p(x)=\lim\sup x_i $, whichi is sublinear. Then find a linear functional ...
2
votes
0answers
56 views

Question about Stone-Weierstrass theorem

I have a question about Stone - Weierstrass theorem. In the space $C[0,2\pi]$ of continuous functions on $[0,2\pi]$ with the sup norm. Consider the spaces $M$ of all trigonometric polynomials. It's ...
2
votes
0answers
34 views

Equivalence of norms between two Banach spaces

I just learnt open mapping theorem. And I met a statement online asserting that If $X$,$Y$ are Banach space, and $T:X\to Y$ be a continuous bijection, then norms for $X,Y$ are equivalent. Can we ...
2
votes
0answers
51 views

n- dimensional normed linear space isomorphic to n-dimensional Euclidean space

If $(X,\|\cdot\|)$ is an n- dimensional normed linear space over R. Is it isomorphic to n-dimensional Euclidean space $R^n$. I know it is topologically isomorphic but what about isometry? I think if ...
2
votes
0answers
31 views

Explicit Hahn-Banach extension formula in finite dimensional $l^p$ /Smoothness of the Hahn-Banach mapping

Consider the finite dimensional vector space $V=(\mathbb{R}^N,\|\cdot\|_{p})$, equipped with the usual $l^p$ norm, $1<p<\infty$. Consider a linear subspace $U\subset V$ (not necessarily a ...
2
votes
0answers
52 views

Norm for a set of vectors

Let V be a normed vector space (real or complex valued) with norm $\|\cdot\|_V$. For any nonempty and bounded subset $A \subseteq V$ one can define $\|A\|$ via $$\|A\|:=\sup\{|x|:x\in A\}$$ I ...
2
votes
0answers
52 views

Proofchecking: Application of Banach-Alaoglu on weak converging nullsequence

Problem Assume $x_n \to 0$ weakly in a Banach space. Show that for all $\epsilon>0$ and for all $N\in \mathbb{N}$ there exists a $n>N$ s.t. for all $f\in X^\ast, \|f\|\leq 1$ there exists ...
2
votes
0answers
37 views

Metric space with measure and a special property

Let $R$ be a metric space endowed with a (complete) measure $\mu$ satisfying the following condition: all the open and closed sets of $R$ are measurable and for any measurable set $M\subset R$ and any ...
2
votes
0answers
27 views

Separable $X^*$ Property

Let $X$ be a normed space. If $X^*$ is separable, then there exists $(f_n)_{n\geq1}\subset X^*$ such that $\|f_n\|_{X^*}=1$ for all $n$ and $\{f_n:n\geq1\}$ is dense in $\{f\in X^*:\|f\|=1\}$. In ...
2
votes
0answers
141 views

Completely metrizable space, complete norm

Let $E$ be a normed, completely metrizable space. Prove that the initial norm is complete. How can I go about solving this problem? I will be grateful for all your hints. Thank you!
2
votes
0answers
98 views

Weakly compact operator on $c_0$ is compact

Show that if $T\in {\cal B}(c_0)$ and $T$ is weakly compact, then $T$ is compact. My attempt: $T$ is weakly compact, so there is a reflexive space $X$ , and operators $A\in {\cal B}(X,c_0) $ and $B ...
2
votes
0answers
310 views

Dual norm of the matrix $L^1$ norm is infinity norm (and vice versa)

Recall that for a given norm $\|\cdot\|$ on $\mathbb{R}^n$, the dual norm is defined as a function $\|\cdot\|_*: \mathbb{R}^n \rightarrow \mathbb{R}$ with: $\|y\|_* = \max \limits_x \{x^Ty: \|x\|\le1 ...
2
votes
0answers
38 views

Extension of function with values in a Banach space

I want to prove the following Let $E,X$ be Banach spaces, and $Y\subset E$ a closed subspace with codimension $1$. Let $T:Y \to X$ be a continuous linear function. Then there exists a continuous ...
2
votes
0answers
36 views

give necessary and sufficient conditions that every functional in $w^*-cl M$ be the $w^*$- limit of a sequence from M

Let $X$ be a separable Banach space. If $M$ is a linear manifold in $X^*$ give necessary and sufficient conditions that every functional in $w^*-\mathrm{cl} M$ be the $w^*$- limit of a sequence from ...
2
votes
0answers
62 views

Adjoint of an operator on $C(X)$

Let $X,Y$ be compact and $\tau: Y\to X$ be continuous. If $A:C(X)\to C(Y)$ such that $(Af)(y)=f(\tau(y))$ is a linear and continuous operator, then show that the adjoint operator $A^*:M(Y)\to M(X)$ is ...
2
votes
0answers
56 views

extension theorems on normed spaces

I know that there are a number of extension theorems, Tietze's extension theorem, Hahn-Banach extension and so on.. I want to know if there is an extension theorem which guarantees that if say $X$ is ...
2
votes
0answers
48 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$ ...
2
votes
0answers
127 views

Complete Normed Space => Uncountable Hamel basis not by Baire

I need to show that a complete normed space X has no countable Hamel basis. One possibility is to with Baire's theorem. I, however, try to give an explicit sequence, namely: For a contradition, let ...
2
votes
0answers
138 views

Convex subsets, Normed spaces, Separating hyperplane

I'm trying to understand the proof of a theorem taken from a textbook. Theorem: If $S_1,S_2$ are disjoint non-empty convex subsets of a real vector space $X$ (which may be infinite dimensional) then ...
2
votes
0answers
80 views

Weak sequential compactness in a reflexive space

Let $\{X, \| \cdot \|\}$ be a normed space, $B$ is the unit ball of $X$. If $\{X, \| \cdot \|\}$ is reflexive, then is $B$ weakly sequentially compact? If it's not true, are there any counterexamples ...
2
votes
0answers
43 views

Normalizing multiple different features from unknown distributions

I'm doing some "exploratory" data analysis over a large set of classes/proteins, with a few hundred different features (I.E. Continuous variables) extracted from the data. The features are calculated ...
2
votes
0answers
74 views

Space of Continuous mappings to metric spaces

I want to ask whether some basic result from the space $C([0,1],R)$, where $R$ is the real space carries over to the space $C([0,1],E)$, where $(E,\|\cdot\|_E)$ is a metric space. We know that ...
2
votes
0answers
453 views

Prove: Completion of a normed space is a Banach space.

Me again with another (most likely) easy problem that is too hard for me as of now. Suppose we have a normed space $(X,||\cdot||)$ and a map $i:X\rightarrow \hat X$ with $\overline{i(X)} = \hat ...
2
votes
0answers
382 views

Proving the $l_p$ space is complete.

I'm trying to prove $l_p$ spaces are complete. We have an $l_p$ space $W$. Let us take a cauchy sequence. There exists $N_0\in\Bbb{N}$ such that for $m,n>N_0$, $d(x^m,x^n)<\epsilon$. This ...
2
votes
0answers
74 views

Distance from a point to a plane in normed spaces

How can we calculate the distance from a point to a plane in normed spaces ? where we are not inner product, for example: Calculate the distance in $(C[0,1],||\cdot||)$ endowed with the supremum norm ...
2
votes
0answers
116 views

Which are nontrivial examples of analytical functions on Frechet spaces?

Let $X$ be a real linear topological space, which is a (separable) Frechet space, such that the topology on $X$ is generated by the countable family $\{p_n:n\in\omega\}$ of norms . A real-valued ...