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
1answer
14 views

Big an open ball inside small open ball in metric space

When i was reading a book "Elements of the Theory of Functions and Functional Analysis " ([A. N. Kolmogorov, S. V. Fomin) I encountered with very interesting(for me) problem. Problem: Creat a ...
5
votes
1answer
38 views

Is this set of random variables a Hilbert space?

Consider a sequence of i.i.d. random variables $\left\{ {{\varepsilon _t}} \right\}_{t = 1}^\infty $ with $E\left( {{\varepsilon _t}} \right) = 0$ and $E\left( {\varepsilon _t^2} \right) = {\sigma ...
0
votes
1answer
19 views

Is there an error in the solution for this exercise?

I have this exercise: H is a complex hilbert space. And T is a compact operator on H. Show that if H is not separable, then 0 is an eigenvalue of T. Hint: Use lemma 1, and theorem 2. The ...
0
votes
1answer
18 views

Finite Rank Operator: Continuity

I keep forgetting it, so... Given Banach spaces $X$ and $Y$. Then it is wrong: $$\dim\mathcal{R}F<\infty:\quad F\in\mathcal{L}(X,Y)\implies F\in\mathcal{C}(X,Y)$$ Can I construct such?
0
votes
1answer
28 views

How to compute high order differential?

Let $f: E \to \mathbb{R}$ sending $x \mapsto \|x\|$ and make some simple hypothesis $E$ is a Hilbert Space Let's say that the norm $\|\cdot\|$ is derived from a scalar product So we can easily ...
2
votes
1answer
37 views

Calculus stay to Real Analysis as $x$ stay to Functional Analysis

Hi guys i had a look to book which treat the subject of Calculus (of course...) Analysis and Functional Analysis. Is that correct to state that Calculus is more focused on "computing" while ...
6
votes
1answer
36 views

structure theorem for Banach spaces

The following is a theorem in the Banach Algebra Techniques in Operator Theory by Douglas: Here are my questions: Could one come up with some reference (or proof) regarding the remark right ...
2
votes
1answer
75 views

Difficult to read about different subjects simultaneously, should I leave one for now? [on hold]

I learn math by reading books. Usually I read 3 books (about 3 different subjects) simultaneously and switch focus every couple of days. The books i'm studying right now are Rudin's functional ...
9
votes
2answers
57 views

Existence of a function

I need some help: I am thinking about this problem. Any advice would be appreciated. Let's fix $\epsilon>0$. Does there exists some $f\in C^0([0,\pi])$ such that: ...
2
votes
0answers
23 views

derivative of a linear operator

I am a little confused by the proof in the picture. Doesn't the calculation show $dB(u)h = B(h_1,u_2)+ B(u_1, h_2)$?
2
votes
1answer
24 views

Symmetric function of two normal distribution implies bilinear

This question is related to my previous question which was partially answered my @MichaelHardy. Let $X$ and $Y$ be two independent standard normal random variables. Now, suppose that ...
3
votes
0answers
32 views

looking for some exercise to test understanding of covector

I am trying to understand the concept of "covector" so that I can work with it for problems I come across in PDE. My knowledge on differential geometry is very little. And my topological background ...
4
votes
1answer
49 views

Some questions about an exercise about $C^\infty \subset L^\infty$

Let $$ L^\infty (\mathbb R) = \{f : \mathbb R \to \mathbb C\mid \text{essential sup of } f < \infty \text{ and } f \text{ Borel measurable} \}$$ and $$ C^\infty (\mathbb R ) = \{ f: \mathbb R ...
1
vote
2answers
35 views

Trace evaluation via complex analysis

We are given $U$, $V$ unitary matrices of size $N \times N$ whose spectral decomposition is known (in my specific problem, $N=4$, and $U$, $V$ are matrices with real coefficients but we can keep it ...
2
votes
1answer
33 views

Show that T is compact if $T^*T$ is compact

Let $H$ be a Hilbert space and $T: H\to H$ be a bounded linear operator. $T^*$ is the Hilbert adjoint operator. Show that $T$ is compact if $T^*T$ is compact. I am stuck with this proof. Any help ...
4
votes
1answer
23 views

“Occupation time” nonlinear functional measurable?

My question is for which functions $f$ the following nonlinear functional $f\rightarrow\int \mathbf{1}_B(f(x))dx$ is Borel measurable; $B\in\mathcal{B}(\mathbb{R})$ and $\mathbf{1}_B(.)$ is a ...
2
votes
0answers
36 views

isomorphism between function space and complex matrices

How would you show that $\mathcal{L}(X) \cong \mathbb{C}^{n \times n}$, where $X= \mathbb{C}^{n}$. Note that $\mathcal{L}(X)$ denotes the space of linear bounded functions on $X$. Is this a specific ...
4
votes
1answer
47 views

Proof of the integral operator in $L^2(\mathbb{R})$ being self-adjoint “by hand”

Suppose we have an integral operator $A$ such that $$Af(x) = \frac{1}{\sqrt{2\pi}}\int\limits_{\mathbb{R}}e^{-\frac{(x-y)^2}{2}}f(x) \, dy$$ This operator is bounded and $\|A\|=1$ (see Norm of the ...
1
vote
1answer
31 views

Can we say $\| f\|_{\dot H^s(\mathbb R^n)} \le \| f \|_{\dot H^q(\mathbb R^n)}$ if $s\le q$?

If $s\le q$, then can we say that $$ \| f\|_{\dot H^s(\mathbb R^n)} \le \| f \|_{\dot H^q(\mathbb R^n)} $$ holds? Here the homogeneous Sobolev seminorm $\|f\|_{\dot H^s(\mathbb R^n)} = ...
3
votes
0answers
37 views

The Weak topology on an infinite-dimensional space is not metrizable

Let $X $ be an infinite-dimensional normed space I want to prove that weak topology on $X$ is not metrizable, this is my solution Assume that there is a metric $d$ on $X$ such that induced weak ...
2
votes
2answers
38 views

Badly formed question? $\|x\|=1=\|y\|$ and $\|x+y\|=\|x\|+\|y\|$, there is a line segment in the unit sphere

Show that if a normed linear space $X$ contains linearly independent vectors $x$ and $y$ such that $\|x\|=1$ and $\|y\|=1$ with $\|x+y\|=\|x\|+\|y\|$, then there is a line segment contained in the ...
0
votes
1answer
26 views

Strange inequality in the proof of differentiability of Fourier series

I am looking at a proof and I found a strange inequality. Let $n\in \mathbb{Z}^d$ then it is stated that $\sum_{j=1}^d{(2\pi)^{2k}n_j^{2k}}>>\parallel n\parallel_2^{2k}$ due to the inequality ...
-1
votes
0answers
26 views

Is the limit of absolutely uniformly convergent series of functions a uniformly continuous function?

Let $f_n$ be a series of continuous and bounded functions on $\mathbb R$ such that $\sum|f_n|$ is uniformly convergent. Does $\sum |f_n|$ define a uniformly continuous function, and if so, how to show ...
0
votes
1answer
22 views

Do all continuous piecewise affine functions belongs to the class ($A_1$) of Muckenhoupt functions?

Given $\Omega\subset\mathbb R^N$ is open, we say $\omega$: $\Omega\to [0,+\infty)$ belongs to Muckenhoupt class $A_1$ if there exists some $C>0$ such that $$ \frac{1}{|{B}|}\int_{B(x,r)} ...
1
vote
1answer
36 views

Quotient set and inverse image.

(What i'm about to say is a subpart of a proof of a theorem). Let $M, N$ be a closed subspace and a finite dimensional subspace, respectively, of a normed linear space $X$. We define the natural map ...
0
votes
0answers
47 views

What are some functions $f \in L^\infty(\Omega)$

In my text book all it said about $L^\infty(\Omega)$ space is that it is the space of all measurable functions that are bounded almost everywhere. No example given. I can't see how any member of this ...
1
vote
1answer
25 views

Is there a name for embedding of Lebesgue spaces $L^q(a,b) ⊂ L^p(a,b)$

Let $1 ≤ p ≤ q ≤ ∞$ then $L^q(a,b) ⊂ L^p(a,b)$ where $L^q(a,b), L^p(a,b)$ are Lebesgue spaces Is there a name for this relationship? Is this the Sobolev embedding theorem?
1
vote
0answers
24 views

How Kriging, Bochner theorem and Positive definite (PD) function are related?

This question referes to the link: https://en.wikipedia.org/wiki/Kriging I can understand the relation between Bochner's theorem and PD function. But could not properly understand and connect all ...
4
votes
0answers
81 views

Random variables that span copies of $\ell_p$

Consider the coin-toss measure $\mu$ on $\{0,1\}^\mathbb{N}$. Within this framework it is easy to construct a sequence of independent, symmetric Bernoulli random variables. Indeed the point-evaluation ...
0
votes
0answers
39 views

What is unit ball in the weak star topology of a Banach space? [on hold]

Let X is Banach space with dual $X^{*}$. What is unit ball of $X^{*}$in the weak star topology?
0
votes
0answers
26 views

Normal Operators: Superalgebra (II)

Problem highlighted at the end! Application Reduction to only one operator!! Reference This builds up on: Superalgebra (I) Convention All operators possibly unbounded!! Structures Given a ...
0
votes
0answers
13 views

Is the space of all adapted processes with Càdlàg paths a Banach space?

Consider first the definition of a stochastic integral for simple predictable processes. $$I:\mathbb{S}\rightarrow\mathbb{D},\ H\mapsto I_X(H):=H_0X_0+\sum_{i=1}^nH_i(X_{T_{i+1}}-X_{T_i})$$ The ...
2
votes
1answer
45 views

Dimension of $\left(\lambda |\psi\rangle \langle\psi| +(1-\lambda)\frac{\mathrm{I}}{2}\right)^{\otimes N}$

I have the $N$-fold tensor product of a convex combination of a pure state, i.e. $|\psi\rangle\langle\psi|$ with $|\psi\rangle$ a unit vector in a complex Hilbert space of dimension two, and the ...
2
votes
0answers
23 views

The dual space of weighted compact supported function?

Let $\Omega\subset \mathbb R^N$ be open bounded. It is well know that the dual space of $C_c(\Omega)$, i.e., compacted supported continuous function, can be identified by finite Radon measure ...
1
vote
0answers
26 views

Is $\mathbb R^N$ an $C$-distinguished topological space?

I am reading a paper which has some complicated construction on a Hausdorff topological space called $C$-distinguished topological space. The paper says that a $C$-distinguished topological space $X$ ...
6
votes
4answers
104 views

Definition of Equivalent Norms

Two norms $F,G$ are equivalent when there are constants $a,b$ such that $aF \le G \le bF$. I'm reading about this idea, and so far I've seen that equivalence of norms implies that the underlying ...
2
votes
2answers
46 views

Second differential of the norm in an infinite dimensional Hilbert space

Let $f: E \to \mathbb{R}$ sending $x \mapsto \|x\|$ and make some simple hypothesis $E$ is a Hilbert Space Let's say that the norm $\|\cdot\|$ is derived from a scalar product [solved] So we can ...
3
votes
1answer
32 views

Sobolev spaces and the domain of fractional Laplacian

I'm reading this paper on arxiv link. So far OK. Now this I don't understand. Take $s=\frac 12$. They say that by density the operator $(-\Delta)^s$ is defined on $\mathbb{H}^s(\Omega)$. ...
1
vote
1answer
37 views

Existence stochastic integral

I am trying to understand the prove of the existence of the stochastic integral for a local martinglale null at $0$ and continuous, $M\in \mathcal{M}^c_{0,\text{loc}}$, a predictable process $H\in ...
3
votes
0answers
22 views

The Hardy-Littlewood-Sobolev Inequality

Let $f:\mathbb R^n \to \mathbb C$, $n\ge 2$. I saw the line that the inequality $$ \left\| |x|^{-1} * |f|^2 \right\|_{L^\infty} \le C\|f\|_{L^{\frac{2n}{n-1},2}}^2 $$ with some constant $C>0$. Here ...
0
votes
0answers
39 views

Can a positive definite kernel expanded as the product form with an arbitrary orthonormal system?

Notations mostly follow https://en.wikipedia.org/wiki/Mercer%27s_theorem. Mercer's theorem uses the eigenfunctions $\{e_j\}$ of the integral operator as the expansion function. I wonder if we could ...
2
votes
0answers
30 views

Hyperplane in a complex vector space

This is my first question on MSE, I'm sorry if there already exists similar questions, I couldn't manage to find it. My friend, who studies Physics, asked me about the meaning of "functional" so I ...
2
votes
0answers
35 views

Expected value of multidinesional symmetric function is zero

Does anybody know a simple proof of this statement or reference to such proof? Statement Let $h: R^n \to R$ be a bounded function, symmetric in its arguments, i.e. for any permutation $\pi$ of set ...
0
votes
1answer
29 views

Use Riesz theorem to show functional bounded

I have the linear functional: $ F(v) = \int_\Gamma v \mathbf{g}\cdot\mathbf{n} d\Gamma$ where $\Gamma$ is a (smooth) part of the boundary of a domain $\Omega$, $\mathbf{g}$ is given (assumed smooth) ...
0
votes
3answers
35 views

Convergence on the dual of a Banach space

I have a simple question : What it means $$||v_n||_{(W^{1,p}_0)^*}\rightarrow 0$$ Where $(W^{1,p}_0)^*$ is the dual space of $W^{1,p}_0$ I know that $v_n\rightarrow 0$ in $(W^{1,p}_0)^*$ mease ...
2
votes
1answer
36 views

Specific question on $l^p$ spaces and its dual in weak * topology

I am covering now Lp spaces in my summer real analysis course and this problem from Folland related to the dual of Lp stumped me hard, it is problem 19 chapter 6 reads as follows: We define $ ...
4
votes
2answers
35 views

Parallelogram law in $L_1$ space

Exercise 5.5 from Capinski's and Kopp's book "Measure, Integral and Probability" asks to show that it is impossible to define an inner product on the space $L^1([0,1])$. In order to get this result we ...
1
vote
0answers
22 views

Generate complete functions set in hilbert space

It is just a curiosity, but is there a general method (or a class of methods) that allows to derive orthonormal complete function set for a given hilbert space? (Except Gram Shmidt algorithm and ...
1
vote
1answer
29 views

Quasi ideal sequence in $B(H)$

According to comments by Hamza I revise the question. Let $H$ be an infinite dimensional separable Hilbert space. Is there an increasing sequence of subvector spaces $V_{1} \subsetneq V_{2} ...
2
votes
1answer
45 views

Why is this a bounded operator?

Let $\mathcal{H}$ be the Hilbert space $l^2(\mathbb{N})\otimes l^2(\mathbb{Z})$. I want to prove that the operator $T$ defined by $$T:=\sum_{k=1}^{\infty}{\sqrt{1-q^{2k}}e_{k-1,k}\otimes 1}$$ is a ...