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)

1
vote
0answers
6 views

A question on nuclearity

Definition 2.1.1. If $A$, $B$ are C*-algebra, a map $\theta: A\rightarrow B$ is called nuclear if there exist contractive completely positive maps $\phi_{n}: A\rightarrow M_{k(n)}(\mathbb{C})$ and ...
0
votes
0answers
17 views

A simple lemma in tensor product

Here is a quotation of a book: ($\otimes$ denotes the minimal tensor product) Lemma 3.9.2. If $E\subset A$ is an operator system and $J\triangleleft B$ is an ideal, then there is an isometric ...
0
votes
0answers
24 views

I need a reference but cannot find that…

I cannot find this article, please help me. Thank you. S. Mecheri, Finite operators, Demonstratio Math, 35(2002)355-366.
0
votes
0answers
14 views

Proving that integrator operator of a kernel satisfies a specific peroperty

I am trying to prove that a integrator operator of a kernel satisfy a specific property say $\phi$. By integrator operator for non-negative definite kernel $\mathcal{K}$ I mean $T_{\mathcal{K}}$ such ...
-1
votes
0answers
33 views

Show a series converges absolutely [on hold]

Let $\Omega$ be an open subset in $\mathbb{C}$ and $\mathbb{H}=\{f \in L^2(\Omega): f\text{ is holomorphic in $\Omega$ }\}$.We know that $\mathbb{H}$ is a Hilbert space under the inner product ...
0
votes
1answer
22 views

Continuity of a map to a Frechet space

Let $(A,\| \cdot \|)$ be a normed space and $B$ be a Frechet space equipped with a family $\{ p_k \}_{k \in \mathbb{N}}$ of seminorms. Let $\phi: A \to B$ be a linear transformation satisfying the ...
1
vote
0answers
24 views

What does it mean to ''construct a Riemann-Stieltjes integral''?

This question refers to an exercise (1.11c) from Reed & Simon's book on mathematical physics. In the first parts of this problem, the reader is introduced to the notion of functions of bounded ...
0
votes
0answers
46 views

Proof that a set is open.

Let $(\Lambda_i)_{i\in I}$ a collection of linear operators from $X$ (Banach space) to $Y$ (Normed space). Let $\alpha : X \rightarrow [0,\infty]$ be the function $\alpha(x):=\sup_{i \in I} ...
0
votes
0answers
8 views

Equivalent Gaussian measures

Let $\mu$ be a gaussian measure with eigenpair $\{e_k,2^{-k}\}$ and $\nu$ with eigenpair $\{ Te_k,2^{-k}\}$. Here, T is the unitary operator given by $Tx = x - 2\left\langle x,v \right\rangle v$. Now, ...
0
votes
0answers
20 views

Question about convergence

If i have that $$\int_0^{+\infty} a(t)|u_n(t)-u(t)|^2 dt \rightarrow 0 $$ how we can deduce that $$\int_0^{+\infty} a(t)|~|u_n(t)|-|u(t)|~|^2 dt \rightarrow 0 $$ where $a>0, a\in ...
7
votes
1answer
75 views

Constructing a Banach space of cardinality $\beth_{\omega+1}$

This is related to yesterday's question Constructing a vector space of dimension $\beth_\omega$; it's the next exercise (I.13.35 (a)) in Kunen's Set Theory. Let $B_0 = \ell^1$ and let $B_{n+1} = ...
0
votes
1answer
18 views

Why is it a borel set on the boundary of the unit ball of $E^n$?

Given $C$ convex body (compact convex set with non-empty interior points) in $E^n$ symmetric about the origin and containing the unit ball. Let $A(r)$ denote ,for every real $r >1$, the subset of ...
1
vote
1answer
27 views

Linear operator determined by its action on a complete orthonormal sequence

Let $(e_n)$ be a complete orthonormal sequence in the Hilbert space H and let $(\lambda_n)$ be a sequence of scalars, not necessarily bounded. I'm trying to prove that the operator defined as $$Tv = ...
0
votes
1answer
31 views

Definition of weak divergence

Can anyone give me the definition of the divergence of a vector field in the distributional sense?
0
votes
0answers
20 views

Linear w.r.t. any measure

Let $X$ be a Banach space endowed with a Borel $\sigma$-algebra. How do we call a real-valued Borel function $f$ that satisfies for any Borel probability measure $\mu$ the following formula $$ ...
1
vote
2answers
50 views

Why locally compact hausdorff space

I may be missing something very trivial,but cannot figure it out. To prove the fact that the space $C_0(X)$ is a Banach space under the usual sup norm when $X$ is locally compact and Hausdorff, where ...
1
vote
1answer
34 views

How is equivalent to approximation property?

I'm trying to prove Lemma 4.8 of [1] online reading: Notation: $\tau_C(X)$ means the topology of uniform convergence on the compact subsets of $X$. Lemma 4.8. For a Banach space $X$ the following ...
3
votes
1answer
27 views

Closed subspace of a reflexive Banach space is reflexive

I'm studying Conway's functional Analysis by myself. In page 132 of his book, for showing every Closed subspace M of a reflexive Banach space X is reflexive, he says ...
1
vote
0answers
21 views

Almost Everywhere Function Space

Problem Let $\Omega$ be a measure space with measure $\mu$ and $V$ a topological vector space not necessarily Hausdorff as well as the function space $\mathcal{F}:=\{f:\Omega\to V\}$ topologized by ...
0
votes
1answer
27 views

Complete ONS and pure point spectrum

In all that follows all operators are taken to be densely defined on a Hilbert space $H$. Some textbooks state that an operator $A$ on $H$ has pure point spectrum if $H$ admits a complete ONS (Hilbert ...
1
vote
1answer
25 views

Constant in Sobolev-Poincare inequality on compact manifold $M$; how does it depend on $M$?

Let $M$ be a smooth compact Riemannian manifold of dimension $n$. Let $p$ and $q$ be related by $\frac 1p = \frac 1q - \frac 1n$. There is a constant $C$ such that for all $u \in W^{1,q}(M)$ ...
0
votes
1answer
13 views

For bounded operator $U$, show that if $UU^*$, $U^*U$ are projections, then $U$ is a partial isometry

Let $(\mathcal{H}, (\cdot, \cdot))$ be a Hilbert space over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$. Suppose that $U : \mathcal{H} \to\mathcal{H}$ is a bounded linear operator such that $UU^*$ and ...
0
votes
0answers
36 views

Sequences in $L_2$ space

Let $M$ be compact metric space, with finite full measure $\mu.$ Let $\epsilon:M\to\mathbb{R}$ be a continuous function. Assume that $\epsilon>0$ in $M\setminus \{p_0\}$ for some $p_0\in M$ and ...
3
votes
1answer
37 views

E is bounded if and only if every countable subset of it is bounded

I'm trying to do an exercise from Rudin's "Functional analysis, 2nd edition". It is question 6 from the first chapter: "Prove that a set E in a topological vector space is bounded if and only if ...
4
votes
2answers
42 views

p-norm of a function

Let $f\in L^1(\mu)\cap L^\infty(\mu)$. I have proved for any $1<p<\infty$, $f\in L^p(\mu)$, $w(p)=||f||_p$ is continuous w.r.t. $p$, and $\lim_{p\to \infty}||f||_p=||f||_\infty$. Is $w(p)$ ...
0
votes
0answers
107 views

Span of Dirac's delta distributions dense in Hilbert space of $L^2$ functions?

According to Wiki a set of elements of a Hilbert space(B) is a basis for that space if: Orthogonality: Every two different elements of $B$ are orthogonal: $⟨e_k,e_j⟩=0$ for all $k$, $j$ in $B$ with ...
0
votes
1answer
21 views

Prove that the Besov Space is a Banach space

Help me prove that the Besov space is a Banach space. I need to show that the Besov space is complete. If the Besov space is a closed subset of $L_p$ and since all $L_p$ spaces are complete then I'm ...
0
votes
1answer
30 views

Question about different defintions of isometry on a Hilbert space

Let $(\mathcal{H} , (\cdot, \cdot))$ be a Hilbert space over the field $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$ (so the norm on $\mathcal{H}$ is given by $\|\cdot\| = (\cdot, \cdot)^{\frac{1}{2}}$). ...
0
votes
0answers
36 views

Taking a limit but everything is only almost everywhere

Suppose $h$ is a function such that $h(s)$ exists for all $s$ and $\lim_{s \to t} h(s)$ exists for all $t$. Here $s$ and $t$ range over some bounded interval. Suppose for a.e. $t$ and a.e. $s$, we ...
0
votes
1answer
25 views

Closure of a normed space

Every normed space $A$ is isometrically isomorphic to a dense subset of a Banach space $B$. Is it okay for us to view $A$ as a subspace of $B$ and hence say that "the closure of $A$ is Banach", or am ...
1
vote
1answer
19 views

Bijective transformation of $L^2$-weak convergence sequence again weak converging?

Let $f_n$ converge weakly in $L^2(x)([0,1])$ to $f$, with $|f_n(x)|\leq C$ for almost all $x\in]0,1]$ and all $n$. Let $H:R\rightarrow R$ be strong monotone increasing and continuous with $H(0)=0$. ...
1
vote
1answer
35 views

Does weak convergence in $L^2$ implies convergence almost everywhere along subsequence?

If I know $\int_{[0,1]} f_{n}(x) g(x) dx \rightarrow \int_{[0,1]} f(x) g(x) dx$ as $n \rightarrow \infty$ for all $g \in L^2([0,1])$ (weak convergence in $L^2$) and $|f_n(x)|_{L^2} <C$ (uniformly ...
1
vote
0answers
20 views

Real Hardy space question

Please see this related question for the definition of the grand maximal function and the class of normalised test functions $\mathcal{T}$. I will refer to them in this question. Let $f\in ...
0
votes
1answer
22 views

dual space of a locally convex space

I'm self studying Rudin's Functional Analysis by myself. In page 68, he wants to show that $(X^*,w^*)^*=X$ where X is a topological vector space and whose dual is $X^*$. He says every $x\in X$ ...
3
votes
1answer
32 views

Show that $\lim_{s \to \infty}F_s(t) = F(t)$ uniformly for $t \in (0,+\infty)$

Given the following functions: $$ F(t)= \int_0^\infty e^{-tx}\dfrac{\sin{x}}{x}\,dx, \quad t>0$$ $$ F_s(t)= \int_0^s e^{-tx}\dfrac{\sin{x}}{x}\,dx, \quad t \geq 0, s>0$$ Show that $\lim_{s \to ...
1
vote
1answer
32 views

Representation of a linear functional Lipschitz in total variation

Let $\Omega$ be a Borel space and let $\mathcal P(\Omega)$ be the space of all Borel probability measures on $\Omega$ endowed with the topology of weak convergence. Define the total variation metric ...
1
vote
0answers
26 views

Weakly closed convex set and norm convergent

Let $X$ be a normed space and let $\{x_n\}$ be a sequence in $X$ such that $x_n\to x$ weakly. Show that there is a sequence $\{y_n\}$ such that $y_n\in \operatorname{co}\{x_1,...,x_n\}$ and ...
0
votes
2answers
62 views

Looking for a book: $B(H)$ not reflexive

I'm looking for a book with a proof that for an infinite dimensional Hilbert space, $B(H)$ is not reflexive. Thank you.
5
votes
2answers
141 views

Prove that $f$ is constant on $[a,b]$

$\displaystyle \int_{a}^{b} f^2(x) \, \mathrm{d}x$ = $\displaystyle \int_{a}^{b} f^4(x) \, \mathrm{d}x$ = $\displaystyle \int_{a}^{b} f^3(x) \, \mathrm{d}x$ And $f$ is continious on $[a,b]$ and ...
0
votes
1answer
23 views

An application of Holder's inequality to show one norm is smaller than another

Let $p(s) = r(s) + m-1$ where $r:[0,T) \to [q,\infty)$ where $q \geq 2$ and $m > 1$ is fixed. Let $\text{Vol}(\Omega) = 1$. Then can we show that $$\lVert u \rVert_{L^{r(s)}(\Omega)} \leq ...
2
votes
0answers
34 views

If $\phi\in \mathcal{S}(\mathbb R) $ then $\phi_{t}(x)=\frac{1}{t} \phi(x/t)\in\mathcal{S}(\mathbb R)$?

Let $\phi:\mathbb R \to \mathbb C$ be a function; and define $$\phi_{t}(x):=\frac{1}{t}\phi (x/t), (t>0).$$ We note that, if $\phi\in L^{1}(\mathbb R),$ then $\phi_{t}\in L^{1}(\mathbb R);$ in ...
1
vote
1answer
28 views

Proving that weak limit in $L^p$ and strong limit in $H^{-1}$ are the same

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. Let $p \geq 1$ and suppose that $u_n \rightharpoonup u$ in $L^p(\Omega)$ and $u_n \to v$ in $H^{-1}(\Omega)$. How to show that $u=v$? I can do ...
1
vote
1answer
37 views

If $u_n^p \rightharpoonup v$ in $L^1$, then does it follow that $u_n \rightharpoonup v^{\frac 1p}$ in $L^p$?

Let $\Omega$ be a bounded domain. Suppose that $u_n^p \rightharpoonup v$ in $L^1(\Omega)$. Does it follow that $u_n \rightharpoonup v^{\frac 1p}$ in $L^p(\Omega)$?
2
votes
1answer
35 views

No trace on $B(H)$ if $H$ is infinite dimensional

Let $H$ be an infinite dimensional Hilbert space and $B(H)$ the bounded linear operators on $H$. Then thre is no ultra weakly continous non-zero positve trace $tr:B(H)\rightarrow \mathbb{C}$. I ...
0
votes
2answers
47 views

ONB: Density Check?

How to show that $\{\sin{kx}:k\in\mathbb{N}\}$ for $\{f\in\mathcal{L}^2[0,\pi]:f(0)=f(\pi)=0\}$ is an ONB? (Clearly they are orthogonal to each other but is their span also dense?) What general ...
0
votes
1answer
44 views

Orthogonality on Banach spaces

I got a doubt with a proof in Brezis' Functional Analysis, theorem 2.16. It says Theorem 2.16: Let $G,L \subset E$ be two closed subspaces in a Banach space $E$. Then the following properties are ...
0
votes
0answers
40 views

master degree on functıonal analysıs [on hold]

I wanna do master degree thesis about functional analysis . but I havent been any ıdeas whıch topıc ıs the best for searches and academic . Please Would you share your ideas and experiences with me ...
1
vote
0answers
24 views

Want a dense subset of a Sobolev-Bochner space!!

Let $U \subset \mathbb{R}^n$ be a bounded domain. Let $$W=\{ u \in L^2(0,T;H^1(U))\cap L^\infty(0,T;L^\infty(U)) : u' \in L^2(0,T;H^{-1}(U))\}$$ and let $$D=\{u \in L^2(0,T;H^1(U)) \cap ...
1
vote
0answers
40 views

Ultra weakly continuous trace on a von Neumann Algebra

Let $M$ be a infinite dimensional von Neumann Algebra with a positive, faithful, ultra weakly continuous trace $tr:M\rightarrow \mathbb{C}$. Is it possible to show that $tr$ is strongly continuous?
0
votes
0answers
66 views

Is Fourier transform density preserving?

I know my question is not well-defined since Fourier domain and codomain are not the same, but one knows that they are actually homomorphic. Now what I mean by density preserving is as follows: ...