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
0answers
14 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
13 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
31 views

Is there an incomplete normed space which is Asplund?

Can there exist an incomplete normed space which is Asplund?
0
votes
1answer
14 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
31 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 ...
5
votes
4answers
234 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 ...
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
24 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 ...
0
votes
0answers
31 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
17 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
53 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
41 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
39 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
75 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
39 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
65 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
59 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
61 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
78 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
45 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
23 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
58 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
58 views
0
votes
0answers
17 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
35 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
64 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
30 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
17 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
26 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
1answer
27 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
28 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
63 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
83 views

Linear and nonlinear operator on normed space and its properties

My first question is : 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 ...
0
votes
1answer
29 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
32 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
vote
0answers
28 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
26 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
23 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
39 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 ...
2
votes
3answers
76 views

Infinite dimensional spaces other than functional spaces

"Functional analysis" is the study of infinite dimensional spaces equipped with inner product, norm, topology...etc. The most interesting spaces are the spaces of functions/operators and sequences. I ...
15
votes
4answers
1k views

How to develop an intuitive feel for spaces

I'm a physicist who's currently delving deeper into what I would call more 'hardcore' maths (e.g. FEM and control theory). Every now and then, I come across various spaces, such as vector spaces, ...
0
votes
1answer
30 views

What does this assumption imply in case $X$ is a complex inner product space?

If $X$ is a real inner product space and $x,y\in X$ satisfy $\|x\|=\|y\|$, then $(x-y)\perp (x+y)$. What does this assumption imply in case $X$ is a complex inner product space? My Work: I proved ...
0
votes
1answer
41 views

How to write Holder's inequality for random vectors?

For $1 < p,q < \infty$ satisfying the constraint $1/p + 1/q =1$ and for $X, Y$ random variables such that $\mathbb E [\vert X \vert ^p ], \mathbb{E} [\vert X \vert ^q ] < \infty $ we have ...
1
vote
1answer
41 views

Why is $A:X\to Y$ linear between two normed spaces is continuous iff bounded?

Why is it that every linear operator $f: \mathbb R^n \to \mathbb R^m$ is bounded and therefore continuous, but why is it that $A:X \to Y$ between two normed spaces is continuous iff bounded? That ...
0
votes
1answer
67 views

Prob. 14, Sec. 2.7 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS

Let $A \colon = [\alpha_{ij}]_{m\times n}$ be a given $m \times n$ matrix of real numbers. Let $\mathbb{R}^n$ be the normed space of all ordered $n$-tuples of real numbers with the norm defined as ...
4
votes
1answer
47 views

Compute $\| T \|$ with the norm $\| \cdot \| := \max_{j=1,\ldots,n} (|\cdot_j|)$

Let $A \colon = [\alpha_{ij}]_{m\times n}$ be a given $m \times n$ matrix of real numbers. Let $\mathbb{R}^n$ be the normed space of all ordered $n$-tuples of real numbers with the norm defined as ...