Functional analysis is the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces, as well as measure, ...

learn more… | top users | synonyms (1)

0
votes
0answers
38 views

Nice approximations of sums by integrals.

Let $f(x):\Bbb Z^+\rightarrow \Bbb R^+$ be a non-monotone function. If for every $m\in\Bbb N$, $$S(m) =\sum_{n=1}^N\frac{1}{(1+f(n))^m}$$ be sum of interest, then is there a way to study this ...
1
vote
4answers
97 views

Absolute convergence in a metric space

Let $(X,d)$ be a metric space, $(a_n)$ and $(b_n)$ are sequences in $(X,d)$. If $\sum_{n=1}^\infty d(a_n,b_n)$ is absolutely convergent, what do I say about the convergence of $(a_n)$ and $(b_n)$?
1
vote
1answer
17 views

Is the image of a $*$-homomorphism $\pi:\mathcal{A}\to\mathcal{B}$ closed if $\pi(1)\neq 1$?

Setting Given C*-algebras $\mathcal{A}$ and $\mathcal{B}$ with unit $1\in\mathcal{A}$. Consider a morphism: $\pi:\mathcal{A}\to\mathcal{B}$ without $\pi[1]=1\in\mathcal{B}$. Especially, it is a ...
0
votes
0answers
19 views

What is the dual of $L^{\infty}(K)$ with K a compact subset of $R^n$?

I know it's probably hard to describe the dual of $L^{\infty}(X)$ for a general $X$. But can we describe it when $X$ is just a compact subset of a Euclidean space?
1
vote
0answers
30 views

Construct a unitary operator U on H with prescribed spectrum

Given an infinite dimensional Hilbert space $H$. Let $|\lambda_k| = 1$ for $k = 1, ..., n$. Construct a unitary operator $U$ on $H$ such that $\sigma(U) = \{\lambda_k\}$ for $k=1,....,n.$ I can ...
2
votes
0answers
14 views

Extened of a representation

The following is a part of a theorem of Folland's book: Let $X$ be a compact space, $B(X)$ the space of bounded Borel measurable functions on $X$, and $C(X)$ the space of continuous function on $X$. ...
2
votes
1answer
32 views

For elements of the intersection of C*-algebras with the same unit, can the spectra be distinct depending on the algebra?

Problem Given unital C*-algebras $1\in\mathcal{A}$ and $1'\in\mathcal{A}'$. Regard an element $A\in\mathcal{A}\cap\mathcal{A}'$. Can it happen that: ...
2
votes
1answer
33 views

Show that a subspace is closed in Hilbert space $H$

Let $u\in B(H)$ , $\lambda < 0$. Also we have $\|(u-\lambda)x\|\geq |\lambda|\|x\|$. So $u-\lambda$ is bounded below. To show $(u-\lambda)(H)$ is closed in $H$, suppose $\{(u-\lambda)x_n\}$ be ...
0
votes
0answers
10 views

Sobolev space on $M \times (0,\infty)$, $M$ compact closed manifold

I want to know things like definitions of Sobolev spaces on a manifold of the form $M \times (0,\infty)$, where $M$ is a closed compact manifold without boundary. So $M \times (0,\infty)$ is a ...
2
votes
1answer
40 views

Associated Legendre polynomials

The associated Legendre ODE is given by $$ \left( (1-x^2) f'(x) \right)' - \frac{m^2}{1-x^2} f(x) = \lambda f(x)$$ The eigenfunctions have certain properties that I would like to understand by ...
0
votes
1answer
39 views

Open mapping lemma - are these versions equivalent?

Here is a version the Open Mapping Lemma given in class : Let $X$ be a Banach space and $Y$ be a normed space. Let $T : X\rightarrow Y$ be a bounded linear map. Assume there exist $M \geq 0$ and ...
1
vote
1answer
27 views

Topological Spaces: Pre-Uniform Structures

Disclaimer This thread is meant to record. See: Answer own Question Reference It is a follow-up to: Uniform Spaces: Neighborhood System It has relevance to: TVS: Uniform Structure Problem Given ...
1
vote
1answer
46 views

Spectrum of left shift operator: take two

This is my second attempt at calculating the spectrum of the left shift operator on a Hilbert space. I got stuck again and I would be grateful if someone could help. (You can find my previous (failed) ...
3
votes
0answers
16 views

Dual of $l^p$ Direct sum

I am asked to show that the $l^p$-direct sum of a sequence of Banach Spaces $X_n$ is isometrically isomorphic to the $l^q$ direct sum of $X_n^*$ where $X_n^*$ is the dual of $X_n$ for each $n$ ...
1
vote
1answer
36 views

Prove that $T^*$ is injective iff $ImT$ Is dense

Let X,Y be two normed spaces, and $T:X\rightarrow Y$ a bounded linear operator. prove that the adjoint operator $T^*$ ($T^*f(x)=f(Tx)$ is injective iff $ImT$ is dense any help would be great guys. I ...
1
vote
1answer
45 views

Proving existence of a linear functional

Let $(X, \| \cdot \|)$ be a normed space, and let $A, B ⊂ X$ be disjoint convex sets such that $B$ is closed and $A$ is compact. Prove that there exists $\varphi ∈ X^*$ such that $$\sup_{a\in A} ...
3
votes
1answer
38 views

Show that an operator is well-defined

Let $v\in B(H)$, Define $u:|v|H\to H$ such that $u(|v|\xi) = v\xi$ . To show the map $u$ is well-defined, the author writes $$\||v|\xi\|^2=\langle v^*v\xi,\xi\rangle = \|v\xi\|^2$$ But I do not know ...
2
votes
0answers
32 views

Error in the calulation of the spectrum of the image of right shift operator in the Calkin algebra

If $S \in \mathcal{B}(\ell^2(\mathbb{N}))$ is the right shift operator $$ S(x_1, x_2, \ldots) = (0, x_1, x_2, \ldots),$$ and $\mathcal{C} := \mathcal{B}(\ell^2(\mathbb{N}))/\mathcal{K}$ is the Calkin ...
2
votes
1answer
19 views

Partial isometry and projection

The following is a Theorem of Murphy's C*-algebras and operator theory: Let $H_1, H_2$ be Hilbert spaces and $u\in B(H_1,H_2)$. If $u^*u$ is a projection, then $uu^*u=u$. To show it, for $\xi\in ...
1
vote
1answer
27 views

Showing that $a(\cdot,\cdot)$ is coercive

I am working on a problem and I have the weak formulation of Poisson's problem in $2$ spatial dimensions i.e. $u = u(x,y)$: $$a(u,v) = \ell(v) $$ where $$a(u,v)=\int_{\Omega}\nabla u\nabla ...
3
votes
1answer
21 views

A question about essential ideal

Let $I$ be a nonunital C*-algebra and $I\subset B(H)$ be any nondegenerate representation and define $$M(I)=\{T\in B(H): Tx\in I~and ~xT\in I, ~for ~all~ x\in I\}.$$ Then, how to prove $I$ ...
0
votes
1answer
39 views

Inverse in a functional space

I would like to understand why the inverse of a bounded operator must to be bounded too? In other context, all bijective function have an inverse but when we deal with a bounded operator it have to be ...
2
votes
2answers
45 views

Equality of two operators

The following is a fact in Murphy's C*-algebras and operator theory page 49: Suppose $u,v \in B(H)$, where $H$ is a Hilbert space, then $u=v$ if and only if $\langle u\xi,\xi\rangle = \langle ...
-5
votes
1answer
57 views

Inequality on matrix norm: $ \lVert A^n \rVert \leq \lVert A \rVert^n $ [on hold]

If $A$ is a $n \times n$ matrix and assume we have a matrix norm $\lVert \cdot \rVert$. In a proof I need the following property: $ \lVert A^n \rVert \leq \lVert A \rVert^n $. I don't know how to ...
1
vote
0answers
24 views

Trace map $\gamma:H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$ invertible on $\{ u \in H^1(\Omega) \mid \Delta u =0 \}.$

It is apparently true that the trace map $\gamma:H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$, is invertible when restricted to the domain $$\{ u \in H^1(\Omega) \mid \Delta u =0 \}.$$ I've been ...
2
votes
1answer
42 views

Is $\{ u \in H^1(\Omega) \mid \Delta u \in L^2(\Omega)\}$ dense in $H^1(\Omega)$?

Can it be true that the space $$\{ u \in H^1(\Omega) \mid \Delta u \in L^2(\Omega)\}$$ is dense in $H^1(\Omega)$? If so, please give me a reference to this. Every $u \in H^1$ has $\Delta u \in ...
4
votes
1answer
49 views

When does a continuous function defined on a non-compact closed and bounded convex set has a fixed point?

Is there any result in fixed point theory which will give the existence of a fixed point for a continuous function defined on a non-compact, closed and bounded convex set?
3
votes
1answer
15 views

operators on Hilbert spaces have adjoints

The following is a Theorem of Murphy's C*-algebras and operator theory: In the last line of proof, he claims $u^*$ is linear, but I think it's conjugate linear because for $y_2,x_2\in H_2$, $x_1\in ...
5
votes
6answers
544 views

Is there such thing as an unnormed vector space?

I learned about Banach spaces a few weeks ago. A Banach space is a complete normed vector space. This of course made me wonder: are there unnormed vector spaces? If there are, can anyone please ...
-2
votes
0answers
23 views

a totally bounded subset of $\mathbb{L}_1(\mathbb{R}^{d})$ and Kolmogorov-Riesz compactness theorem

Let $\lambda$ be the Lebesgue measure on $\mathbb{R}^{d}$ , $\mathcal{F}$ a set of all probability densities $f$ such that $\mathcal{F}$ is a totally bounded subset of $\mathbb{L}_1(\mathbb{R}^{d})$ ...
1
vote
1answer
46 views

What is the 'largest' space of integrable functions which is also a Hilbert space?

It is well known that $L^2(X,\mu)$, the set of functions $f:X \rightarrow \mathbb{C}$ such that $\int_X |f|^2 \text{d} \mu < \infty$, is a Hilbert space. Is there a Hilbert space $H$ such that ...
1
vote
0answers
29 views

Is the Fourier transform a tame linear operator?

$\mathcal{F}:C^{\infty}_{0}(B^d)\to L_{1}^{\infty}(\mathbb{R}^{d},\mu,w)$ $\mathcal{F}(f)=\hat{f}$ I'd like show that $\left\|\mathcal{F}(f)\right\|_{n}\leq\left\| f ...
0
votes
0answers
29 views

Basis of $H^1(\Omega)$ which is orthonormal wrt. $L^2(\partial\Omega)$ inner product?

Let $\Omega$ be a domain with $\partial\Omega$ bounded. Is it possible to find a smooth basis of $H^1(\Omega)$ and $L^2(\Omega)$ which is orthonormal wrt. the $L^2(\partial\Omega)$ inner product? ...
2
votes
2answers
37 views

extend a linear function

Let $P$ denote the subspace of $C^0([0,1])$ defined by polynomials restricted to [0,1]. Suppose that $l:P\rightarrow \mathbb{R}$ is a linear function with the property that $p(x)\geq 0$ in $x\in ...
1
vote
1answer
45 views

An unusual two dimensional sum

Can anyone prove or reference a proof for the following bound (unless it's not true!) $$\sum_{|\underline{k}|_{\infty} > M} \frac{1}{((k_1)^2 + (k_2)^2 )^2} \leq \frac{C}{M^2}$$ where ...
0
votes
0answers
32 views

Commutativity and norms of specific operators (Problem 2.7.10 in Kreyszig's functional analysis book)

This is Problem 2.7.10 from Erwin Kreyszig's Introductory Functional Analysis with Applications. Let $C[0,1]$ denote the normed space of all (real- or complex-valued) functions defined and ...
-2
votes
0answers
35 views

Intersection of the closure of epigraph and subgraph of f function

Can you give an example of a function $f:R^p \to\ R$ such that $Grf \neq \overline{epif}\cap\overline{subf}$ where $p\in N$ and $Grf=\{(x,y)\in R^px R \mid f(x)=y \}, epif=\{(x,y)\in R^pxR \mid ...
2
votes
1answer
36 views

Convergence implies Abel summability, and we only need to consider when $s=0$?

Suppose $\displaystyle c_n\in\mathbb{C}\textrm{ and}\sum_{n=1}^{\infty}c_n=s$. Then, prove $\displaystyle\lim_{r\to 1^{-}}\sum_{n=1}^{\infty}r^{n}c_n=s$. In my text, the author hinted that: we only ...
0
votes
0answers
28 views

Boundedness of linear operator and weak convergence

Let us assume that $X,Y$ are Banach spaces and $T : X \to Y$ is a linear operator. Show that: $T$ is bounded $\Leftrightarrow$ for any sequence $ \{ x_n \}^{\infty}_{n=1} $ weakly convergent to some ...
2
votes
0answers
59 views

Approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets?

Are there some common ways to approximate the unit ball in an infinite-dimensional Hilbert space, by compact sets? (note that the unit ball isn't compact.) My goal is to prove a statement which holds ...
1
vote
0answers
46 views

Characterization of $H^{-1}(\mathbb{R}^N)$ by Fourier transform

We denote by $H^{-1}(\mathbb{R}^N)$ the dual space to $H_0^1(\mathbb{R^N})$. Let $$\langle f,v \rangle = \int_{\mathbb{R}^N} fv \hspace{1cm} (f,v \in L^2(\mathbb{R}^N)).$$ It is known that if $f \in ...
1
vote
0answers
41 views

Semigroup of operators: weak continuity at 0+ implies weak continuity at any t > 0

Let ($E$, $d$) be a metric space. Consider the semigroup $\{P(t)\}_{t\geq 0}$ of bounded linear operators on the Banach space $\hat{C}(E)$ of continuous real functions on ($E$, $d$) vanishing at ...
0
votes
0answers
11 views

weak* convergence of periodically extended function

Let $U := \Pi^d_{i=1}(a_i,b_i) \subset \mathbb{R}^d \ (a_i<b_i \ \text{for each} \ i )$ and let $f \in L^p(U)$ for some $1<p<+\infty$. Let us extend $f$ periodically on whole $\mathbb{R}^d$ ...
0
votes
0answers
25 views

weak* convergence for sequence in $ L^\infty$

Let $ \Omega \subset \mathbb{R}^d $ be a bounded and open set. Suppose $ \{f_n\} \subset L^{\infty} (\Omega) , f \in L^{\infty} (\Omega) $. Prove that $ f_n \rightharpoonup^* f \ \ \text{in} \ \ ...
1
vote
0answers
36 views

Hahn-Banach proof of existence of Haar measure

I'm reading these notes of Terry Tao on the Haar measure (and related topics) on a locally compact Hausdorff group $G$. When he goes through the construction of the Haar measure, he does so by way of ...
-1
votes
0answers
58 views

What is the “actual definition” of the following?

Imagine you were standing on the ground and as the ground starts moving you stay exactly where you are. Your change in movement, by standing on a moving surface, is like a path-line. Suppose we take ...
13
votes
3answers
276 views

Every invertible linear transformation can be perturbed a bit without destroying invertbility, Neumann series

Let $T: V \to V$ be any linear transformation on a real or complex vector space $V$. Show that there exists $\epsilon_0 > 0$ $($depending on $T$$)$ so that $I + \epsilon T$ is invertible for any ...
0
votes
1answer
30 views

how to find norm of the operator Ax(t) = cos (t)*x(t)?

Please explain me how can I get norm of this operator: $Ax(t)=\cos(t)x(t)$ where $A\colon C[-\pi/2,\pi/2] \to C[-\pi/2,\pi/2]$. Thanks
6
votes
3answers
39 views

Borel measurable functions $f:[0,1]\to[0,\infty)$ which cannot be expressed as pointwise limit of nondecreasing sequence of step functions

An interval in this problem may be open, closed or half open. We regard a singleton $\{a\}$ as being an interval also. A step function is a real valued function on $\mathbb{R}$ which is a linear ...
1
vote
1answer
38 views

Trace map from $H^1$ into $H^{\frac 12}$, does this statement imply another?

Consider trace map $T:H^1(\Omega) \to H^{\frac 12}(\partial\Omega)$ on a sufficiently smooth domain $\Omega$. It has a partial inverse $E$. If we have the statement $$F(u,Eu) = 0\quad\text{for all ...