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

1
vote
1answer
47 views

Showing that a map $x \to \|x\|$ is continuous?

I am given this: Consider a real Banach space $X$ with norm $\|*\|$. 1) Show that the map $x\to \|x\|$ from $X$ to $\mathbb{R}$ is continuous. Is it uniformly continuous? 2) Show that the maps ...
1
vote
1answer
56 views

Compactness of an operator on $c_0$ in terms of its infinite matrix representation

Let $A\in {\cal B}(c_0)$ (${\cal B}(c_0)$ is linear bounded operators on $c_0$) and for $n\geq 1$, define $e_n \in c_0$ by $e_n(m)=\delta_{nm}$. Put $\alpha_{nm}=(Ae_n)(m)$ for $n,m\geq 1$. we have $M ...
1
vote
1answer
85 views

$T\in\mathcal{L}(X,Y)$ maps closed bounded subsets onto closed subsets $\implies$ Range $T$ is closed.

Given two normed spaces $X$ and $Y$ and let $T$ be a bounded linear operator $T:X\to Y$. Assume that $T$ maps bounded and closed subsets of $X$ onto closed subsets of $Y$. Show that the range of $T$ ...
2
votes
1answer
74 views

Give necessary and sufficient conditions for a multiplication on $L^p$ to be compact

Let $(X, \Omega, \mu)$ be a $\sigma-$ finite measure space and for $\phi \in L^\infty(\mu)$ let $M_\phi:L^p(\mu) \to L^p(\mu)$ defined by $M_\phi f = \phi f $ be the multiplication operator. Give ...
0
votes
0answers
57 views

Is every subspace of a normed linear space which is not closed a hyperspace.

Let $B \subset X$ where $X$ is a normed linear space over $\mathbb{R}$ and $B$ is a proper subspace. If $B$ is not closed, is $B$ necessarily a hyperspace(maximal proper subspace) in $X$. I attempted ...
0
votes
1answer
43 views

Find the coefficients $a,b$ so that $\|\vec x\|=a(|x_1|+|x_2|)+b\max(|x_1|,|x_2|)$ is a norm

For which coefficients $a,b$, the expression: $$\|\vec x\|=a(|x_1|+|x_2|)+b\max(|x_1|,|x_2|)$$ is a norm in $\mathbb R^2$? My attempt: I need to verify the properties of the norm: Triangle ...
1
vote
1answer
65 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
37 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 ...
2
votes
1answer
95 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
19 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
44 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 ...
2
votes
1answer
59 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
70 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 ...
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 ...
1
vote
1answer
78 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
102 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
117 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
114 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
386 views

Why is semi-norm special?

One difference between semi-norm and norm is: "It is possible for $\|v\| = 0$ for nonzero v, $\|\cdot\|$ being semi-norm" I see some papers, and they use semi-norm directly. Why is semi-norm ...
5
votes
1answer
115 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
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 ...
1
vote
1answer
99 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 ...
7
votes
1answer
236 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 ...
2
votes
1answer
122 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 ...
6
votes
1answer
129 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 ...
1
vote
2answers
232 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
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 ...
0
votes
3answers
46 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 = ...
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
1answer
75 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
94 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
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 ...
1
vote
0answers
171 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
41 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
77 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 ...
4
votes
1answer
217 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
119 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
136 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 ...
5
votes
0answers
964 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
3answers
74 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
60 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
59 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
79 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
40 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 ...
1
vote
1answer
121 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))$ ...
1
vote
0answers
81 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
32 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
77 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
18 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\|}}$