4
votes
3answers
33 views

A direct proof on if $(X, ||\cdot ||)$ is a normed vector space and $Y\subset X$, with $Y$ having finite dimension, then $Y$ is closed.

I am trying to produce a direct proof on the statement mentioned above. The field I am working in is $\mathbb{R}$. My proof outline goes as following: If $Y$ is finite-dimensional, there exists a ...
0
votes
0answers
19 views

Relation between Compactness and convex hull [closed]

Let (V,∥⋅∥) be a finite-dimensional normed space. Show that, if A⊆V is compact , then so is conv(A).
-2
votes
0answers
18 views

Relation between cpmpactness and convex hull [closed]

Let $\left ( V , \left \| \cdot \right \| \right )$ be a finite-dimensional normed space. Show that, if $ A \subseteq V$ is compact , then so is $conv(A)$.
1
vote
0answers
30 views

Space of all real sequences $\mathbb{R}^{\infty}$ and its properties

A complete newbie here. Let's denote by $\mathbb{R}^{\infty}:=\prod_{j=1}^{\infty}\mathbb{R}_j=\{(a_1,a_2,...); a_j\in\mathbb{R}, j\in\mathbb{N}\}$ the space of all real sequences. I was told that ...
-1
votes
0answers
16 views

Fuctions quasi-concave and quasi convex in Normed Spaces [closed]

Let $(V,+,R, \cdot)$ be a linear space, and let $D\subseteq V$ be a convex set. Let $f: D \to \mathbb{R}$ be a functional. We define $f$ to be quasi-convex if, for every $v,v'\in D$ and every ...
2
votes
1answer
30 views

How to compute the induced matrix norm $\| \cdot \|_{2,\infty}$

The induced norm of the matrix $A$ as a map from $(\mathbb R^n , \| \cdot \|_p)$ to $(\mathbb R^n, \| \cdot \|_q)$ is given by $$ \| A \|_{p,q} = \sup_{x\in\mathbb{R}^n\setminus \{0\}} ...
0
votes
1answer
34 views

Lipschitz continuity and gradient of a real-valued function on a normed space

The gradient of a function $f:E\to\mathbb{R}$ is Lipschitz continuous with parameter $L > 0$ iff $$\|\nabla f(x) - \nabla f(y)\|^* \le L\|x-y\| \quad \forall x,y\in E.$$ I have two questions: ...
3
votes
1answer
40 views

Computing the norm of a linear operator

For two finite-dimensional real vector spaces $E_1,E_2$, define an linear operator $A:E_1\to E_2^*$. Its adjoint operator is defined by $A^*:E_2\to E_1^*$ its adjoint operator, i.e. $$\langle Ax,u ...
1
vote
2answers
31 views

$C^n[a,b]$ as a normed algebra

I would like to prove that the space of complex valued functions, differentiable $n$ times with continuous derivative, $C^n[a,b]$, with the metric defined by the norm ...
0
votes
1answer
23 views

When Heine - Borel theorem holds

If $\cal A$ is an abelian Banach algebra, then its maximal ideal space $\Omega$ is a compact Hausdorff space. In the proof of this theorem, the author says, since $\Omega \subset ball \cal A^*$, it ...
0
votes
0answers
40 views

Every homomorphism on a C*-algebra is a *-homomorphism

The following is a proposition of Conway's Functional analysis: and also he uses below exercise to proof above proposition: But I do not know how he uses the Exercise and say $||h||=1$. Please ...
3
votes
1answer
90 views

An open set in the space of bounded real sequences

Let $X$ denote the set of all bounded real sequences, equipped with the norm $\| (x_n)\|_\infty:= \sup\{|x_1|,|x_2|,|x_3|,\ldots\}$; Let $X_{++}$ denote the set of all bounded positive real sequences ...
2
votes
1answer
32 views

Example of a proper, dense ideal in a unital Banach algebra

I know that if ${\cal A}$ is a non- unital Banach algebra, then ${\cal A}$ may contain some proper, dense ideals. I need an example of a proper, dense ideal in a unital Banach algebra or show that it ...
1
vote
1answer
49 views

Show that $\infty$-norm and $C^1$-norm are not equivalent.

Show that $\infty$-norm and $C^1$-norm are not equivalent. For the $C^1([a,b],\mathbb{R})$ space, show that $\displaystyle ||g||_\infty=sup_{a\leq t\leq b}|g(t)|$ and $\displaystyle ...
3
votes
2answers
288 views

Examples of compact sets that are infinite dimensional and not bounded

In an infinite dimensional Banach space, does a compact subset have to be finite dimensional? I know it cannot contain any infinite dimensional balls, if this mean it has to be finite dimensional, ...
2
votes
1answer
26 views

Quotient of a Banach space $X$ gets quotient topology under standard norm induced from $X$.

Let $X$ be a Banach space and $Y$ be a closed subspace of $X$. Then there is a canonical norm on $X/Y$. I want to show that this norm induces quotient topology on $X/Y$. Any hint/solution? I was ...
0
votes
1answer
26 views

Show that an operator is weakly compact

If $(X,\Omega,\mu)$ is a finite measure space, $k\in L^\infty(X\times X, \Omega\times \Omega,\mu \times \mu)$ , and $K:L^1(\mu)\to L^1(\mu)$ is defined by $$(Kf)(x)=\int k(x,y) f(y) d\mu(y)$$ show ...
1
vote
0answers
41 views

Weakly compact operator on $c_0$ is compact

Show that if $T\in {\cal B}(c_0)$ and $T$ is weakly compact, then $T$ is compact. My attempt: $T$ is weakly compact, so there is a reflexive space $X$ , and operators $A\in {\cal B}(X,c_0) $ and $B ...
2
votes
1answer
38 views

If any two norms on a vector space are equivalent then the space is finite-dimensional [duplicate]

I need to prove: If any two norms on a vector space are equivalent then the space is finite-dimensional. I am aware of the converse of this result that on a finite dimensional vector space any two ...
0
votes
1answer
16 views

Dual operator of an isometry

If $X,Y$ are Banach spaces and $\phi:X\to Y$ is an isometry, show that $\phi^*$ is surjective. I can use the equality $^\perp(ran \phi^*) = \ker\phi=\{0\}$, and also use the fact that $ran \phi^*$ ...
1
vote
0answers
34 views

Extending linear continuous functions.

Let $E$, $F$ be normed vector spaces and $M$ a subspace of $E$. I'm trying to find an example of a function $f:M\to F$ such that $f$ is linear and continuous but that you can't extend it to ...
0
votes
2answers
33 views

Show that if X is a normed linear space, then any finite-dimensional subspace M of X must be closed.

It suffices to show that any proper subspace M of X is closed, since if M is not proper the result is trivial. I am unsure how to approach this proof. Contradiction seems a little messy, as supposing ...
0
votes
0answers
29 views

Finite dimensional spaces and R^n

I have a couple of questions, any assistance would be appreciated. I know that it can be shown that any finite dimensional space $M$ of dimension $N < \infty$ endowed with an inner product can be ...
2
votes
1answer
48 views

show that every compact operator on Banach space is a norm-limit of finite rank operators (in a particular way, under the given hypotheses)

Let $X$ be a Banach space and suppose there is a net $\{F_i\}$ of finite-rank operators on $X$ such that $(a)$ $\sup_i||F_i||<\infty$ ; $(b)$ $||F_ix-x||\to 0$ for all $x$ in $X$. Show that if $A$ ...
2
votes
0answers
27 views

Maximal chain in the collection of all invariant subspaces for compact operator $K$

Let $X$ be a Banach space over ${\Bbb C}$, and $K\in K(X)$ ($K(X) = $ compact operators space). Show that if ${\cal L}$ is a maximal chain in the $Lat K$ ($Lat K = $ the collection of all invariant ...
2
votes
1answer
54 views

Operators on non-separable Banach spaces have non-trivial invariant subspaces

Show that if $T\in B(X)$ and $X$ is not separable, then $T$ has a nontrivial invariant subspace. I know that $\ker (T)$ and $\operatorname{ran}(T)$ are invariant $T$-subspace. So if $\ker T\neq ...
1
vote
0answers
37 views

functional analysis: show L^1 integral operator has norm 1

I just started my course in functional analysis and have already stumbled across some things I don't understand, which are quite basic :(. In my lecture notes it says: Let $\mu$ be a measure on a ...
2
votes
0answers
24 views

Invariant subspaces and their complements

The following is Exercise 6.4.2 of Conway's Functional Analysis: Suppose $T\in B(X)$ where $X$ is a Banach space. Prove that $M$ is invariant under $T$ if and only if $M^{\perp}$ is invariant under ...
2
votes
1answer
45 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
43 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$ ...
3
votes
1answer
53 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
41 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 ...
2
votes
1answer
21 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
56 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 ...
0
votes
1answer
32 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 ...
4
votes
1answer
68 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$ ...
1
vote
1answer
38 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
160 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
53 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 ...
0
votes
2answers
58 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 ...
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
25 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* ...
2
votes
0answers
36 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
66 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
64 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?
4
votes
1answer
127 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 ...