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

0
votes
1answer
46 views

Identity mapping from $C^1[0,1]$ with supnorm to $C^1[0,1]$ with $C^1$ norm is not continuous

If X = $C^1[0,1]$, $||f||_1 = ||f||_\infty$, and $||f||_2 = ||f||_\infty + ||f'||_\infty$, show that the identity map $I: (X, ||·||1) → (X, ||·||2)$ is bounded below, but not continuous. I know ...
2
votes
1answer
24 views

$\sup$ norm of a function

The following is an example of Murphy's C*-algebras and operator theory: I do not know how he concludes $$\int_0^1 |k(s,t) - k(s',t)||f(t)| dt \leq \sup|k(s,t) - k(s',t)|||f||_\infty$$ Please help ...
3
votes
1answer
66 views

Integral operator on $L^p$ is compact

Let $(X,\Omega,\mu)$ be an arbitrary measure space, $1<p<\infty$ , and $\frac{1}{p}+ \frac{1}{q} = 1$. If $k:X. X\to \Bbb C$ is an $\Omega.\Omega-$ measurable function such that $$M = [\int ...
1
vote
1answer
16 views

Condition under which a locally convex topological vector space becomes a normed linear space

Is this true that a locally convex topological (Hausdorff) vector space becomes a normed space when its local base has only one element, so only one Minkowski functional and so only one seminorm and ...
1
vote
1answer
35 views

geometric interpretation of the norm: $\|\vec x\|={(|x_1|+|x_2|)\over 3}+{2\max(|x_1|,|x_2|)\over 3}$

Let $p:\mathbb R^2 \to \mathbb R$ be a norm so that $$\|\vec x\|={(|x_1|+|x_2|)\over 3}+{2\max(|x_1|,|x_2|)\over 3}$$= $${{\|\vec x\|_1\over 3}}+{2\|\vec x\|_\infty\over 3}$$ The thing is that I need ...
1
vote
1answer
47 views

Why does this proof fail?[convergence of infinite sums]

An equivalent way of saying that a normed vector space is complete is saying that every absolutely convergent series, converges. Hence' in some normed vector-space(incomplete), there must be a ...
0
votes
1answer
33 views

Understanding the scalar product in the duality

I was trying to solve an exercise for my class, but then I have found somewhere a solution. I need to understand the meaning of a certain step. The exercise and the solution read as follow. Exercise ...
1
vote
0answers
79 views

Dual norm of the matrix L1 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 ...
1
vote
1answer
58 views

What kind of space is this: $\Bbb{R}^n\times\Bbb{S}_{++}^n$?

Let $\Bbb{R}^n$ be the Euclidean space of $n$-dimensional column vectors with real coefficients. Moreover, $\Bbb{S}_{++}^n$ be the space of symmetric positive definite $n\times n$ real matrices. We ...
1
vote
1answer
77 views

Is Frobenius norm induced up to a scalar factor?

I know that the Frobenius norm is not induced since $||I||_F=\sqrt n\neq 1$. But what if we consider the norm $\frac 1 {\sqrt n} ||\cdot ||_F$? Thank you!
1
vote
1answer
73 views

Does one need the Hahn-Banach theorem to prove the mean value inequality for maps into a normed space?

Consider the following mean value theorem: If $f$ is a continuous mapping of $\,[a,b]$ into a normed linear space $X$, whose norm doesn't derive from an inner product, and $f$ is differentiable on ...
4
votes
1answer
74 views

Riesz's Lemma for $l^\infty$ and $\alpha = 1$

Riesz's Lemma says the following: Let $X$ be a normed vector space and $Y$ a proper closed subspace of $X$. Pick $\alpha \in (0,1)$. Then $\exists x\in X$ such that $|x|=1$ and $d(x,y) \geq \alpha$ ...
3
votes
1answer
81 views

Why is semi-norm special?

One difference between semi-norm and norm is: "It is possible for ||v|| = 0 for nonzero v, ||.|| being semi-norm" I see some papers, and they use semi-norm directly. Why is semi-norm better than ...
5
votes
1answer
95 views

Must a normed vector space be over $\mathbb{R}$ or $\mathbb{C}$?

If it must be, why is this so? In the maths courses I have taken normed vector spaces always have been over $\mathbb{R}$ or $\mathbb{C}$, but I don't see that this has to be so. I am asking because I ...
3
votes
0answers
80 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 ...
1
vote
1answer
46 views

Proof of compactness for sets of norm equal to one in finite-dimensional normed vector spaces

The proposition I have been trying to prove is that the set $A=\{x\in E:N(x)=1\}$ is a compact subset of the (real) finite-dimensional vector space $E$ for any norm $N:E\to \mathbb{R}$. I am reading ...
6
votes
1answer
174 views

Radon-Riesz & Kadec-Klee

Let us say that a normed vector space has the a) RR (Radon-Riesz) property if for any sequence, norm convergence is equivalent to weak convergence + convergence of norms. b) KK (Kadec-Klee) property ...
1
vote
1answer
58 views

Spectrum of a finite rank operator

If $ T\in B(H)$ is a finite rank operator, then there are orthonormal vectors $e_1,...,e_n$ and vectors $g_1,...,g_n$ such that $Th=\sum_{i=1}^n (h,e_i )g_i$, then we can easily see that $T$ is ...
5
votes
1answer
113 views

What is an ultrametric normed vector space?

Wikipedia's article on ultrametric spaces seems to suggest that an ultrametic space can also be a normed vector space. It seems to be impossible for an ultrametric to be induced by a vector space ...
0
votes
2answers
67 views

continuity in the strong topology implies continuity in the weak one

I have to prove that if $T:(E,\|\cdot\|_E)\rightarrow (F,\|\cdot\|_F)$ is a continuous and linear operator, and $x_h\rightharpoonup x$ in $E$, than $Tx_h\rightharpoonup Tx$ in $F$. So we know that $T$ ...
2
votes
0answers
30 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 ...
0
votes
3answers
42 views

In a normed vector space, does $x+r\Gamma = x'+r'\Gamma$ imply $x=x',r=r'$?

Let $X$ denote a real normed vector space and suppose $\Gamma \subseteq X$ is a bounded subset with two or more elements. Consider $r,r' \in \mathbb{R}_{> 0}$ and $x,x' \in X$. Does $x+r\Gamma = ...
3
votes
0answers
29 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 ...
3
votes
1answer
29 views

convex weak* sequentially closed subset of a separable Banach space implies weak* closed

I'm studying Conway's a course in Functional Analysis by myself. The following is corollary 6.12.7 of this book. If $X$ is a separable Banach space and $A$ is a convex subset of $X^*$ that is weak* ...
3
votes
0answers
92 views

How to prove that this set is closed. [duplicate]

Lets say $a_1, a_n$ are normed vectors. Why is the set $C = \{\Sigma_{i=1}^n \lambda_ia_i: \lambda_i \ge0\}$ closed? The $\lambda$'s can be any non-negative numbers. So C is the set of all ...
0
votes
1answer
20 views

In a normed vector space, if $S⊆X$ is closed, is $f(S,r)$ necessarily closed?

Let $X$ denote a (real or complex) normed vector space. Consider the function $f : \mathcal{P}(X) \times \mathbb{R}_{\geq 0} \rightarrow \mathcal{P}(X)$ given as follows. $$f(S,r) = \bigcup_{s \in ...
2
votes
0answers
39 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 ...
0
votes
0answers
104 views

Show that an hyperplane is closed iff f is linear and continuous

I need an help with the following exercise. Let $(E,\| \cdot \|)$ a n.v.s. and let $f:E\rightarrow \Bbb R$. Show that $H=\{x\in E: f(x)=\alpha\}$ is closed if and only if $f\in E'.$ Actually, I ...
0
votes
1answer
34 views

Show that an operator is bounded.

Let $\{\alpha_{mn} ;m,n\geq 1\}$ be scalars satisfying a- $M=\sup_n\sum_{m\geq 1}|\alpha_{mn}|<\infty $ , and b- $\sup_n|\alpha_{mn}|<\infty$, then $(Af)(n) = \sum_{m\geq 1}\alpha_{mn} f(m)$ ...
5
votes
1answer
67 views

When is $M+N$ closed

Let $X$ be a Banach space and $M,N$ be closed subspaces. If the range of linear transformation $x\to (x+M)\oplus (x+N)$ from $X$ into $X/M\oplus X/N$ is closed show that $M+N$ is closed. or using ...
0
votes
0answers
16 views

Converse to sequential Banach--Alaoglu [duplicate]

Let $B$ be the closed unit ball of the dual space of a real normed vector space $V$. If $V$ separable then $B$ is sequentially compact in the weak-* topology. What about the converse?
0
votes
0answers
56 views

Alternatives to the notation $\|x\|$ for the norm of $x$?

For aesthetic reasons, I don't like the notation $\|x\|$ for the norm of $x$. Have any alternatives been proposed?
4
votes
1answer
145 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 ...
5
votes
3answers
77 views

Relation between continuous maps and convergence of sequences

I am studying metric spaces and I know that in a normed space $E$ a map $T:E \to E$ is contínuous if and only if $T(x_n) \to T(x)$ for every convergent sequence $x_n \to x$ in $E$. In my notes there ...
0
votes
1answer
55 views

Isometry in a finite dimensional vector space is always surjective

My book defines an isometry as a linear operator between two vector spaces X and Y where: $$\|T(x)\|=\|x\|$$ Later it has a sentence which I do not understand. If we have a finite dimensional ...
0
votes
0answers
19 views

Quotient space and continuous linear operator

I'm trying to study some arguments of math by myself and I have some problems to understand the interpretation of the norm about linear operators. The books says that there's a correspondence between ...
1
vote
0answers
157 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} ...
0
votes
0answers
21 views

Minimization of an evaluation under the weak* topology

I'm self studying (for fun) the book "Functional Analysis, Calculus of Variations and Optimal Control" (by Clarke), and I'd appreciate some feedback for my proposed solution for an exercise from the ...
0
votes
3answers
57 views

Seminorm proof of a function

I have an example in a book which is not very clear to me : let $E$ vector space made of numerical functions (or complex) $f$ defined on a set $A$. $\forall a \in A, N_a : f \rightarrow |f(a)|$ is a ...
2
votes
1answer
57 views

Series in a space which is not complete

Let $X$ be a normed vector space and $\left\lbrace x_n \right\rbrace_{n \in \mathbb{N}} \in X^{\mathbb{N}}$ with $$\sum_{n=1}^{\infty} \|x_n\| < \infty \wedge \sum_{n=1}^{\infty} x_n \notin X,$$ ...
0
votes
0answers
47 views

Finding a homeomorphism between these two balls

Let $u_1,u_2,u_3 \in \Bbb C$ be the cubic roots of unity. Define two norms on $\mathbb{C}^2$, $$\Vert (x,y) \Vert_1 = \sqrt{\vert x \vert^2 +\vert y \vert^2} \ \text{and} \ \Vert (x,y) \Vert_2 = ...
0
votes
2answers
60 views

Is my proof correct? Finite-dimensional normed vector spaces

I'm trying to prove that every finite-dimensional normed space is topological isomorphic to $\mathbb{R}^n$. Let $(E,\|\cdot\|_E)$ such that $dimE=n$ and let $$ T:\mathbb{R}^n\to E\\ x\mapsto ...
0
votes
1answer
33 views

Continuity of a map to a Frechet space

Let $(A,\| \cdot \|)$ be a normed space and $B$ be a Frechet space equipped with a family $\{ p_k \}_{k \in \mathbb{N}}$ of seminorms. Let $\phi: A \to B$ be a linear transformation satisfying the ...
2
votes
1answer
95 views

Uniform convex space

Please I want to know if this space $$H^1_{0,p}([0,+\infty))=\lbrace u, u\in AC([0,+\infty)), u(0)=u(+\infty)=0,\sqrt{p}u'\in L^2\rbrace$$ where $p>0$, $p\in L^1((0,+\infty))$ ...
2
votes
0answers
40 views

Weakly closed convex set and norm convergent

Let $X$ be a normed space and let $\{x_n\}$ be a sequence in $X$ such that $x_n\to x$ weakly. Show that there is a sequence $\{y_n\}$ such that $y_n\in \operatorname{co}\{x_1,...,x_n\}$ and ...
1
vote
1answer
29 views

Equivalence of sets

Let $u_1, u_2, u_3 \in \mathbb{C}$ be the cubic roots of unity I'm wondering if the following two sets (balls) are equivalent: $$ \lbrace (v,w) \in \Bbb C^2 : \vert v \vert + \vert w \vert \leq 1 ...
2
votes
1answer
55 views

Implying a positive definite operator

If we are given that $A:V \rightarrow V$ is an operator where $V$ is a real Hilbert space. If we are given that $A$ is bounded, strictly positive $\big(\langle Au,u \rangle > 0$ for all $u \neq ...
1
vote
0answers
15 views

Distance of an element to $\ker f$ in a normed vector space. [duplicate]

Let $E$ a normed vector space and the hyperplane $H=\ker f$ with $f\in \mathcal{L}(E, \mathbb{R})$. Prove that if $a\in E$ then $\displaystyle{d(a, H)=\frac{|f(a)|}{\|f\|}}$
2
votes
1answer
352 views

Finite-dimensional subspace normed vector space is closed

I know that probably this question has already been answered, but I'd like to present my attempt of solution. Let $(E,\|\cdot\|)$ be a normed vector space and let $F\subseteq E$ be a ...
2
votes
1answer
65 views

How can I prove that $f$ is continuous at $0$?

Let $E$ and $F$ linear normed spaces, and consider a linear function $f:E\to F$ which satisfies for all $(x_n)\in E^{\mathbb{N}}$ such that $x_n\to 0$ then $f(x_n)$ is bounded in $F$. Then I have to ...