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)

2
votes
0answers
58 views
+50

Given $Q:ℝ^d→(\text{Hilbert-Schmidt operators }U→ℝ^d)$, find a Hilbert-Schmidt operator $T:U→L^2(ℝ^d,ℝ^d)$ with $Q(x)u=(Tu)(x)$

Let$^1$ $U$ be a separable $\mathbb R$-Hilbert space $d\in\mathbb N$ $\lambda$ denote the Lebesgue measure on $\mathbb R^d$ $\Omega\subseteq\mathbb R^d$ be a bounded domain $H:=L^2(\Omega,\mathbb R^...
4
votes
1answer
96 views
+50

Bessel-like inequality

Let $\{e_n\}$ be an orthonormal sequence in an inner product space E. Then I'm trying to show the following inequality: $$\sum_1^\infty| \langle x, e_n \rangle \langle y, e_n \rangle | \leq ||x||\...
1
vote
0answers
48 views
+250

States of a Group Ring

Let $G$ be a finite group and $\mathbb{C}G$ its group ring. Now taking the approach of orangeskid, consider the space $\mathbb{C}G$ as a Hilbert space with orthonormal basis $\delta^g$. $G$ acts on ...
5
votes
1answer
60 views
+50

Ref. Requst: Space of bounded Lipschitz functions is separable if the domain is separable.

I have been scouring the internet for answers for some time and would therefore appreciate a reference or a proof since i'm not able to produce one myself. Let $(\mathcal{X},d)$ be a metric space, ...
1
vote
0answers
40 views
+50

Generating set of Baire sigma-algebra

I got the following statement to prove: Let $X$ locally compact and $\operatorname{Ba}(X)$ the Baire-$\sigma$-algebra, i. e. the smallest $\sigma$-algebra with respect to which all functions in $f \...
0
votes
0answers
85 views
+50

Linear transformation $T$ such that for every extension $\overline{T}$, $\|\overline{T}\|>\|T\|$.

Let $E$ and $F$ be normed spaces such that $\dim F < \infty$, $G$ a subspace of $E$ and $T:G\rightarrow F$ a continuous linear map. I know that there exists a continuous linear extension $\overline{...