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

4
votes
2answers
51 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$ ...
2
votes
1answer
27 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 ...
-1
votes
0answers
22 views

Get locally uniformly convex norm by bounded linear operator

I want to prove this theorem Let $Y$ be a locally uniformly convex Banach space and $X$ be a Banach space and let $T$ be a bunded linear operator from $X$ into $Y$ such that for every bounded ...
5
votes
1answer
76 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 ...
-2
votes
0answers
11 views

Question about kernel of bounded linear operator on norm linear space [on hold]

The kernel of bounded linear operator on a norm linear space need not be 1.convex 2.linear 3.open 4.closed
-1
votes
0answers
17 views

Closure of convex set [closed]

Is the closure of a convex set (in a normed vector space) itself convex? I can't think of a counterexample!
3
votes
0answers
51 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
32 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
118 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
45 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
111 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
52 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
26 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
27 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
21 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
82 views

How to prove that this set is closed.

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
19 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
33 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
47 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
32 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
61 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
50 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
100 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 ...
4
votes
3answers
65 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
34 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
14 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
37 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
19 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
26 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
52 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
44 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
52 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
28 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
87 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
31 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
24 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
50 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 ...
0
votes
0answers
27 views

Distance of an element to $f^{-1}(\{0\})$ with $\displaystyle{f(x)=\sum_{n=0}^{\infty}\frac{x_n}{2^n}}$ [duplicate]

Let $E$ the space of all sequences of real numbers so that $\displaystyle{\lim_{n\to\infty}x_n= 0}$ with the norm $\displaystyle||(x_n)||=\sup_{n\in\mathbb{N}}|x_n|$. Let $H$ the closed hyperplane ...
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
61 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
62 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 ...
0
votes
0answers
16 views

H2 norm or H2 control probloem

I read a paper, it says: How to understand this definition of H2? I know the definition of the H2-norm of a system: or However, how to understand the paper one's from these formula or ...
0
votes
2answers
32 views

Express Norm Using Inner Product

I'd like to know whether there's a way to express a norm using inner product, for example , is there any inner product we may use that is equal to $(||Ax-b||_2)^2$ ? Thanks in advance.
4
votes
1answer
54 views

Surjection of norms

Let $V$ be an infinite dimensional $\mathbb{C}$ (or $\mathbb{R}$) vector space. Suppose there exists two norms on $V$ such that \begin{equation*} \| \cdot\|_1 \leq \| \cdot \|_2. \end{equation*} Is ...
0
votes
1answer
25 views

Which of the following defines norm on V?

Let $V$ denote the vector space of all polynomials over $\mathbb R$ of degree less than or equal to $n$. Which of the following defines a norm on $V$. $\|p \|^2 = |p(1)|^2 + \cdots + |p(n+1)|^2, p ...
1
vote
1answer
36 views

Exists $l\in X^*$ such that $\|l\|=1, l|_Y=0$ and $l(x_0)=\operatorname{dist}(x_0, Y)$?

Let $(X, \|.\|)$ be a normed space and $Y\subsetneq X$. How can you prove that for $x_0 \in X\setminus Y$ there exists $l\in X^*$ such that $\|l\|=1$, $l|_Y=0$ and $l(x_0)=\operatorname{dist}(x_0, Y)$ ...
1
vote
1answer
40 views

The continuous dual of the reals

I just have a few questions involving the continuous dual of $\mathbb{R}^{N}$. We know that the dual $(\mathbb{R}^{N})^{*}$ of $\mathbb{R}^{N}$ is the space of all linear forms $$a: \mathbb{R}^{N} ...
0
votes
1answer
37 views

Theorems on continuous embedding

Let $X,Y$ be two normed spaces such that $X\hookrightarrow Y$. Show the following: 1) If $A\subset X$ is closed in $Y$ then $A$ is closed in $X$; 2) If $X, Y$ are Banach spaces if $x_n$ tends ...