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
20 views

Direct sum of vector space

How can give me two or three example about direct sum of vector space But I want the vector is equipped with an inner product
0
votes
2answers
37 views

For a normed vector space $ E $ and an element $ x \in E $, prove that if $ L(x) = 0 $ for every continuous linear functional $ L $, then $ x = 0 $.

Question. Let $ E $ be a normed vector space. Is it true that for a given $ x \in E $, if $ L(x) = 0 $ for every $ L \in E' $, then $ x = 0_{E} $? One way to prove this is to find an $ L \in E' ...
1
vote
2answers
15 views

Some question about orthogonal complement

Let $H$ be a Hilbert space and $Y$ is a closed subspace we denote $Z$ for a orthogonal complement of $Y$ How can I prove that $Z$ is a closed subspace of $X$ (I want to prove subspace and closed ) ...
2
votes
1answer
31 views

How do you formally construct the following proof regarding completeness and vector spaces?

Let $S$ denote the vector space of all finitely nonzero sequences; that is, $X =(X_n) \in S$ if $X_n = 0$ for all but finitely many n. Show that $S$ is not complete under the sup norm $\| X \|_\infty ...
1
vote
0answers
12 views

Spaces where distance between a point and a hyperplane is always reached

In this article I give an example of a Banach space where the distance between a point and a hyperplane is not reached. In the same article, I mention that for finite dimensional vector spaces or ...
1
vote
0answers
12 views

condition to be a norm on a finite dimensional complex vector space

Here x is an element of C^n, where n is a natural number and C is the complex number field, and p is any positive number. This becomes a norm when p>=1. But, what happens when p is between 0 and 1? ...
1
vote
1answer
22 views

Is there an incomplete normed space which is Asplund?

Can there exist an incomplete normed space which is Asplund?
0
votes
1answer
10 views

Is the completion of a separable normed linear space is also separable?

Let $X$ be a separable normed linear space. Is the completion of $X$ is a separable Banach space?
0
votes
1answer
23 views

Banach algebra norms on $M_n(A)$

Let $A$ be a Banach algebra (not sure whether I need $A$ to be unital). I saw the claim that all Banach algebra norms on $M_n(A)$ with continuous projections on entries are equivalent. How does one ...
3
votes
3answers
189 views

Why are we defining the norms on certain vector spaces the way they are?

What's the intuition behind defining $\|x\|_{\infty} = \max_{1 \le i \le n}\{|x_i|\}$ on the space of ordered $n$-tuples of complex numbers? I'm asking because I've been asked to find a norm on the ...
-3
votes
1answer
36 views

Prob. 2, Sec. 3.3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Let $M$ be the subset of $\mathbb{C}^n$ such that $M$ consists of all $n$-tuples of $y = (\eta_1, \ldots, \eta_n)$ of complex numbers such that $\sum_{i=1}^n \eta_i = 1$. Then we can show that $M$ is ...
0
votes
2answers
23 views

Norm on the space of sequences

Given the sequence spaces $\ell^p$ that are defined as: $$\ell^p = \left\{a = (a_n)_{n\in\mathbb{N}}, \sum_{n=0}^\infty |a_n|^p < \infty\right\}$$ for $\infty > p ≥ 1$, I'm trying to show that ...
0
votes
1answer
16 views

Equivalent definition of bounded set in norm linear space

Definition of Bounded set in norm linear space. If $X$ is norm linear space and $B \subseteq X$, then $B$ is bounded if there exists $M>0$ such that $\sup_{n\in \mathbb N} \lvert \lvert x_n ...
-1
votes
0answers
28 views

Proving norm on a vector space

Let C[0,1] be the set of all continuous functions f: [0,1] -> R, Prove that ||f|| = max |f(x)| ,x in [0,1], is a norm of this vector space. In a previous exercise, I already proved that C[0,1] was a ...
0
votes
1answer
16 views

sequence spaces as subsets of each other

Given the sequence spaces $\ell^p$ that are defined as: $$\ell^p = \left\{a = (a_n)_{n\in\mathbb{N}}, \sum_{n=0}^\infty |a_n|^p < \infty\right\}$$ for $\infty > p ≥ 1$, how can it be shown ...
1
vote
0answers
22 views

Prob. 9, Sec. 3.2 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Here is Prob. 9 in the Problems after Sec. 3.2 in Introductory Functional Analysis With Applications by Erwine Kreyszig: Let $V$ be the vector space of all continuous complex-valued functions on ...
0
votes
1answer
30 views

Is the norm operator between normed spaces ever induced from an inner product?

Assume $(V,\| \|_V),(W,\| \|_W)$ are both finite dimensional normed spaces. We have the induced operator norm on $Hom(V,W)$. When does it occur that this norm is actually induced from some inner ...
1
vote
1answer
35 views

$L_\infty[0,1]$ completness and separability

Prove that $L_\infty[0,1]$ with the norm given by $$\Vert f\Vert_\infty:= \inf\{S(N): \mu(N)=0\}, \quad \mbox{where} \quad S(N)=\sup\{|f(x)|: x\notin N\}.$$ is complete and is not ...
1
vote
2answers
53 views

Continuity of metric function

Let $X$ is a vector space and $d$ is a metric function on $X$ and $\|\cdot\|$ is a norm on $X$ and $\langle\cdot,\cdot\rangle$ is an inner product function on $X$ It is to easy to prove $\|\cdot\|$ ...
3
votes
1answer
36 views

Convergence in Fréchet spaces and the topology

actually i have two questions concerning Fréchet spaces (i am not familiar with these spaces so i need some help). I have a vector space $V$ with a distance $$d(x,y) = \sum_{n\in \mathbb{N}} ...
5
votes
1answer
60 views

Categorical Banach space theory

Consider the category $\mathsf{NormVect}_1$ of normed vector spaces with short linear maps$^{\dagger}$ and the full subcategory $\mathsf{Ban}_1$ of Banach spaces with short linear maps. Both ...
3
votes
1answer
42 views

How can I prove that $f$ is inner product function

We know the polarization identity in inner product space : $$\langle x,y\rangle= \frac{1}{4} (\|x+y\|^2-\|x-y\|^2) + \frac{i}{4} (\|x+iy\|^2-\|x-iy\|^2) $$ But the question is if we have ...
1
vote
1answer
46 views

Orthogonal in inner product space

Let $(X,<.>)$ is an inner product space prove that $x$ and $y$ are orthogonal if and only if $||x+αy|| \ge ||x||$ for any scalar $α$ . The first direction if $x$ and $y$ are orthogonal ...
2
votes
2answers
57 views

Banach space it isn't Hilbert space [duplicate]

How can give me two or three examples about Banach spaces which it is not Hilbert spaces with proof ( I mean why it isn't Hilbert spaces ) ?
1
vote
3answers
41 views

Injectivity of $T:C[0,1]\rightarrow C[0,1]$ where $T(x)(t):=\int_0^t x(s)ds $

Prob. 2.7-9 in Erwin Kreyszig's "Introductory Functional Analysis with Applications": Is this map injective? Let $C[0,1]$ denote the normed space of all (real or complex-valued) functions defined and ...
0
votes
1answer
22 views

The linearness of extension of linear bounded operator

Let we have the following bounded linear operator $$T: D(T)\rightarrow Y$$ such that $D(T)$ is the domain and it is a vector space and $Y$ is a Banach space . Then it has an extension $$G: ...
-1
votes
2answers
42 views

Some question about extension of bounded linear operator

Let we have the following bounded linear operator $$T: D(T)\rightarrow Y$$ such that $D(T)$ is the domain and it is a vector space and $Y$ is a Banach space . Then it has an extension $$H: ...
-3
votes
1answer
51 views
0
votes
0answers
15 views

Linear functional on bounded functions in $\mathbb R$ that is translation invariant

This should be a simple problem but I can't figure it out. I'm attempting to construct a finitely additive measure on $\mathbb R$ which equals the Lebesgue measure on Lebesgue measurable sets, ...
1
vote
2answers
34 views

Help needed in a proof to show path connected-ness of a special kind of set in real Euclidean space

Let $A$ be a connected subset of $\mathbb R^n$ and $\epsilon >0 $ , consider $V:=V(\epsilon , A):=\{x \in \mathbb R^n : d_A(x)< \epsilon \}$ , I need to show that $V$ is path connected , so we ...
2
votes
3answers
54 views

Is every open cover of $\{(x,y) \in \mathbb R^2 : x^2+y^2=1\}$ also an open cover of some $\delta$ annulus around the unit circle?

Let $\{U_\alpha\}$ be an open cover of $\{x \in \mathbb R^n:\|x\|=1 \}$ , $n \ge 2$ , then does there exist $\delta >0$ such that $\{U_\alpha\}$ is also an open cover of $\{ x \in \mathbb R^n : ...
0
votes
2answers
37 views

Continuous Linear Operator in $\mathbb{R}$- normed spaces.

Let $E$ and $F$ $\mathbb{R}$-normed spaces and let $f:E\longrightarrow F$ satisfying: $f(x+y)=f(x)+f(y) \,\forall x,y\in E$; $f$ is bounded in the unit ball $B_E = \{x\in E: \Vert x\Vert ...
0
votes
1answer
29 views

Real part of a complex function

Let $V$ be a normed linear complex vector space. If $u$ is the real part of the complex-linear functional $f$ on $V$, then $f(x) = u(x)-iu(ix)$ and $\|f\| = \|u\|$. In the proof, there is one part ...
0
votes
0answers
13 views

Weak-* closure and convexity

I'm trying to write a proof of Goldstine's theorem : the weak-* closure of the unit ball of a normed vector space $X$ is the unit ball of the second dual $X^{**}$. At some point I would like to use ...
1
vote
1answer
68 views

How do I show that this function is a contraction?

Assume $0 \lt \alpha \lt 1$. Let $f:R^N \to R^N$ with $$f_i(x) \equiv \frac{x_i^\alpha}{\sum x_j^\alpha}$$ How do I show that this function is a contraction?
1
vote
0answers
23 views

Is the countable product of normed spaces a normed space with this “norm”

Consider the product $\mathcal{N} = \mathcal{N}_{1} \times \mathcal{N}_{2} \times \mathcal{N}_{3} \times \dots$ where $\mathcal{N}_{1}, \mathcal{N}_{2}, \mathcal{N}_{3}, \dots$ are normed spaces with ...
0
votes
0answers
41 views

Showing that if any non-zero $f \in X^*$ takes its maximum value on the unit sphere at most once, then X is strictly convex

Let $(X, \| \|)$ be a normed space. I'm trying to show that if all non-zero $f \in X^*$ take their maximum value on the unit sphere at most once, i.e. $\forall f \in X^* - \{0\}$ there is at most one ...
0
votes
0answers
29 views

$d(x,L)=\max\{f(x) \,| \, f\in L^{\perp},\, \|f\|=1\}$

Let $X$ be a normed space and $L$ its subspace. Let $L^{\perp}$ be a set of all functional of whose kernel contains $L$. Then $d(x_0,L)=\max\{f(x_0) \,| \, f\in L^{\perp},\, \|f\|=1\}$ I read a ...
0
votes
1answer
24 views

A question about the natural identification between $Y$ and $Y^{**}$, with $Y$ normed space. Is the following fact obvious?

Let $X$ be a reflexive normed space, $Y$ a normed space and $T: X \to Y$ a linear operator. I consider a sequence $\{x_n\}$ in X and the sequence $\{T(x_n)\}$ in $Y$. I know that there is a ...
1
vote
0answers
27 views

the second derivative for a composite function

Let $f: U\rightarrow \mathbb{R}$ where $U\subseteq X$ a normed vector space and suppose $f(\mathbf{u})\in C^{2}$.Let $\mathbf{x}\in U$ and let $r>0$ be such that $B(\mathbf{x},r)\subseteq U. $ ...
2
votes
1answer
61 views

Solutions to $u \circ v - v \circ u = \mathrm{Id}$

Let $(E,\Vert \cdot \Vert)$ be an infinite-dimensional normed vector space and $\mathcal{L}_{c}(E)$ denote the ring of continuous endomorphisms of $E$. I would like to determine whether the equation ...
1
vote
1answer
53 views

Linear and nonlinear operator on normed space and its properties

We know every bounded linear operator is continuous operator , and every continuous linear operator is bounded operator , in other words the continuousness and boundedness are equivalent in linear ...
0
votes
1answer
22 views

Prob. 3, Sec. 2.8 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Let $C[-1,1]$ denote the normed space of all (real or complex-valued) functions defined and continuous on the closed interval $[-1,1]$ on the real line, with the norm given by $$\Vert x ...
1
vote
1answer
27 views

$H_\infty$ norm of a transfer function by Matlab

Consider the simplest case: $$H(z) = \frac{z+1}{z+2}$$ I use two methods to find $H_\infty$-norm: ...
0
votes
0answers
37 views

Stuck because a possible error in the statement of a functional analysis exercise.

I was given this exercise: Let $X$ and $Y$ be two normed spaces, with $X$ a reflexive space. Suppose that $T:X\rightarrow Y$ is an operator such that: $\lim\limits_{n\to\infty}x_n{=}0_X$ ...
-1
votes
0answers
16 views

When is a norm of identity one?

Is there a specific condition that makes a norm (any norm) of identity equal to one in any Banach spaces? Thanks.
1
vote
0answers
27 views

Is this fact true $T:X \longrightarrow Y$ linear and bounded operator with $X$ reflexive then $T$ is compact?

I wonder if this fact is true. I consider a linear operator $T:X \longrightarrow Y$, with $Y$ and $X$ two normed spaces. I suppose that $X$ is a reflexive space and that $T$ a bounded operator. Is ...
1
vote
1answer
24 views

Nonlinear discontinuous convex function

Let $X$ be a normed vector space. Construct nonlinear discontinuous convex function $f:X \rightarrow \mathbb{R}$. I tried something with $\frac{-1}{\|x\|}$ but had no success.
0
votes
1answer
19 views

Intersection of a Hyperplane and a Subspace

Let $Y$ be a dense linear subspace of a normed space $X$, and let $M$ be a closed hyperplane in $X$. I'm trying to show that $M \cap Y$ is a hyperplane in $Y$ and dense in $M$. I've been trying to ...
2
votes
1answer
38 views

Banach space of p-Lipschitz functions

Given $p\in\mathbb{R}$, consider the space: $$ Lip(p) = \left\{f:[0,1] \longrightarrow \mathbb{R} : \mbox{ $f$ is $p$-Lipschitz} \right\}$$ i.e.: there is $M>0$ such that ...