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
2answers
37 views

Characterization of the weak topology

In our functional analysis lecture we defined the weak topology in a what seems to me like a non canonical way, i.e. not as unions of finite intersections of preimages of open sets in the underlying ...
2
votes
2answers
17 views

A closed set A and compact set B in a topological vector space.

I don't believe this is a repeat question. I have seen it asked before on here, but not in this way. If I take a closed set $A$ in a topological vector space $X$ and a compact set $B$ also in $X$, is ...
1
vote
0answers
22 views

What powers of $|x|$ belong to $L^1$?

Prove that $|x|^ {−qp} \in L^{1}(U)$, where $U=B_{1}(0)\subset \mathbb{R}^{n}$. I think I could use polar coordinates to facilitate the work but not sure if it is useful.
7
votes
2answers
91 views

Real analytic functions

I'm writing because I don't know the usefulness of real analytic functions. I mean, I know that analyticity is something more respect differentiable ($C^\infty$ function), but I don't have in mind a ...
1
vote
1answer
29 views

How Fourier transform relates to interpolation space.

This refers to the link : http://en.wikipedia.org/wiki/Interpolation_space where in the History section it mentions that: "Many methods were designed to generate such spaces of functions, including ...
0
votes
1answer
17 views

Exercise: Uniform Boundedness Principle and Double dual

Let $X$ be a normed vector space and $(x_{n})$ be a sequence in $X$. Show that if the sequence $f(x_{n})$ is bounded for every $f \in X^{\ast}$, then there exists $C > 0$ such that $\|x_{n}\| < ...
2
votes
2answers
36 views

Question about vector spaces with the discrete topology

Is it true that every vector space with the discrete topology is a topological vector space? (That is, a topological space with continuous addition and scalar multiplication whose singletons are ...
-1
votes
0answers
24 views

Understanding the set structure of probability theory [on hold]

Since events have their own probabilities and outcomes have their own probabilities. Why don't we just consider only one of events or outcomes directly? What's the motivation to have this set-point ...
0
votes
0answers
25 views

Specific Root of Interpolating Polynomial

We define polynomial $P=(x-\alpha)\cdot g(x)$, where $deg(p)=n-1$, $\alpha \leftarrow \mathbb{Z}_p$. We evaluate $P$ at some $x_i$ values. So we get $(x_1, y_1),...,(x_n, y_n)$, where $P(x_i)=y_i$. ...
1
vote
1answer
64 views

Proof of Hunt's Interpolation

I'm new to weak $L^p$ spaces and I'm doing a book exercise. Can someone enlighten me on the proof of the Hunt's interpolation theorem, which goes as follows: Theorem Let $\langle \,M, \mu \, ...
2
votes
2answers
125 views

How to apply the Gronwall Lemma

Consider $x'=f(x)$ such that $(x_1,x_2)\mapsto(-x_1+2x_2,-2x_1-x_2)$. Show that for two solutions $x(t)$ and $y(t)$ of the above differential equation, we have: $$\lVert x(t)-y(t)\rVert \leq ...
2
votes
1answer
19 views

Do approximate identities remain approximate identities if one adjoins 1 to a C* Algebra?

If we have a C* Algebra $\mathscr{U}$ without an identity we can adjoin an identity $\mathbb{1}$ in the following way: We take $\mathscr{\tilde U}$ to be the set $\{(\alpha,A); \alpha \in ...
3
votes
2answers
67 views

Approximate Identities

Statement : Let $U$ be a C* algebra and$\lambda=\left\{A\in U:A\geq 0, ||A||<1\right\}$. If $B\in \lambda$ then if $X\in U$ $$||X^*(I-B)^2X||\leq ||X^*(I-B)X||$$ For reference this is from ...
0
votes
1answer
60 views

Given an arbitrary sequence {$x_n$} in $\Bbb{R}$, find a test function $f$ with $f^{(n)}(0)=x_n$

Given an arbitrary sequence {$x_n$}, can I find a test function having the $n$-derivative equal to $x_n$ at $0$? How to prove it?
2
votes
1answer
215 views

Compact injections and equivalent seminorms

Let $V$ and $H$ be two Banach spaces with norm $\lVert \cdot \rVert$ and $\lvert \cdot \rvert$ respectively such that $V$ embeds compactly into $H$. Let $p$ be a seminorm on $V$ such that $p(u) + ...
2
votes
1answer
20 views

Unitary elements in Banach spaces and subspaces.

Let $F$ be a Banach space and $E$ be a subspace of $F$. Let $e_{0}\in E$ be an element of norm $ 1$ and suppose that span $\{f\in F^{*}:\|f\|=f(e_{0})=1\}=F^{*}$, where $F^{*}$ is the dual space of ...
4
votes
1answer
44 views

Example of Topological Vector Space

Is there a topological vector space such that, for every $x\in X$, there is a proper neighbourhood $V$ of $x$ in $X$ which is convex, but the whole space is not locally convex (i.e. $X$ has a local ...
3
votes
2answers
109 views

Going from a weak formulation to a pointwise a.e statement; don't understand text (PDEs, sobolev spaces)

I just read this: For $u \in H^1(Q)$ where $Q=\cup_{t \in (0,T)}\Omega \times \{t\}$, we have that $$\int_{\Omega}u_tv +\nabla u \cdot \nabla v = \int_{\Omega}fv\quad\text{for all $v \in ...
1
vote
1answer
19 views

Equivalence of positivity

Let us have complex matrices and their real decompositions as $H=H_1 + \imath H_2$ and $L = L_1 + i L_2$. Further, $H_1\ge 0$ and $H_2$ is skew symmetric. $L = I - P$ where $P$ is some positive ...
0
votes
1answer
34 views

Is there a name for operators of the type $A: M \to M$

In some theorem in functional analysis I have noticed that it is important to assume that an operator $A: M \to M$ where $M$ is some set plus conditions, as opposed to $A: M \to N, M \neq N$ Is ...
1
vote
1answer
448 views

Relationship between integral equations and partial differential equations

In my functional analysis class, we did a lot of problems involving integral equations such as proving existence & uniqueness using spectral theory and the Banach fixed point theorem. I've never ...
1
vote
2answers
131 views

Analytic Vectors (Nelson's Theorem)

Is there a (simple) proof for Nelson's theorem that a symmetric operator is essentially selfadjoint if it contains a dense subset of analytic vectors?
0
votes
0answers
10 views

Density of intersection of sets with boundary condition

I would like to prove that $$E:=\bigcap_{n\geq 1} \left\{f\in C^2 (\mathbb{R}) :f(0)=\sum_{k\geq 0} f\left(\frac{k}{n}\right)g_n (k)\right\}$$ is a dense subset of: $$F:=\left\{f\in C^2 (\mathbb{R}) : ...
-1
votes
2answers
49 views

intuition of mass function of random variable [on hold]

When we are using $P\{X=x\}$ it seems like intuitively there is a function from $T$ (or measure from $\mathcal{B}(T)$) to $[0,1]$. What is the theoretical foundation behind this intuition?
2
votes
1answer
30 views

Why is the Span of a subset of a linear space defined in such at way?

If I have a subset $M$ of a linear space $E$, we define the linear span of the subset, $M$, as: $$\operatorname{span} M=\bigcap_\alpha \{E_\alpha : E_\alpha \hookrightarrow E\text{ and } M \subseteq ...
2
votes
1answer
35 views

Why does the limit $ \lim_{\varepsilon\to 0+}\int_{\varepsilon}^M \frac{\varphi(x)-\varphi(0)}{x}\ dx$ exist for smooth $\varphi$?

Let $D(\Bbb{R}):=C_c^\infty(\Bbb{R})$ and $$ p.v.(1/x)(\varphi):=\lim_{\varepsilon\to 0}\int_{|x|>\varepsilon}\frac{\varphi(x)}{x}\ dx. $$ for $\varphi\in D(\Bbb{R})$. I'm trying to understand ...
0
votes
1answer
49 views

Example of Heine-Borel Theorem

For a subset $S$ of Euclidean space $\mathbb R^n$, S is closed and bounded if and only if S is compact (that is, every open cover of $S$ has a finite subcover). I need an example or ...
2
votes
1answer
25 views

Is $\ell_1$ complemented in its double dual $\ell_1^{**}$? (i.e., in $\ell_\infty^*$?)

Quick question, y'all. Is $\ell_1$ complemented in $\ell_1^{**}=\ell_\infty^*$? Yes, I searched Google, and also the standard texts. I can't seem to find an answer, but surely this is known. ...
1
vote
1answer
35 views

parallelogramm law and inner products

Is the sum of two norms $||.||_1=\sqrt{(.,.)_1}$ and $||.||_2=\sqrt{(.,.)_2}$, where $(.,.)_1$ and $(.,.)_2$ are the quadratic forms of inner products on a normed linear space, again produced by an ...
2
votes
2answers
97 views
+100

Weierstrass's M-test example for uniform convergence and switching Sum and Integral.

How would I go about finding $M_n$ in \begin{equation} \sum_{n=1}^{\infty} \int_{0}^\infty x^{\frac{s}{2}-1}e^{-\pi n^{2}x}dx \end{equation} to show that it is uniformly convergent? UPDATE: Just ...
0
votes
0answers
17 views

Show that the continuum of elements $e^{i\lambda t}$ forms a complete orthonormal subset of $B^2$.

Let $X$ be the vector space of all finite linear combinations of functions of the form $e^{i\lambda t}$ ($-\infty<t<+\infty$), where the parameter $\lambda$ is real. An inner product in ...
1
vote
1answer
53 views

Monotone convergence theorem assuming convergence in measure

I have heard that the monotone convergence theorem holds if the hypothesis of almost everywhere convergence is replaced by convergence in measure. I concur; if $f_n$ converges in measure then there ...
2
votes
1answer
23 views

About closedness and boundedness of $H=\left\{(x_n)\in \ell^2(\mathbb{N})\mid\sum \frac{x_n}{n}=1\right\}$

Let $H=\left\{(x_n)\in \ell^2(\mathbb{N})\mid\sum \frac{x_n}{n}=1\right\}$. To check which one is true: (a) $H$ is bounded (b) $H$ is closed (c) $H$ is a subspace (d) $H$ has interior points My ...
3
votes
2answers
51 views

A Banach Space cannot have a denumerable basis:Why is it true?

I came across the following theorem: A Banach Space cannot have a denumerable basis which has been proven in my book. I can't understand why is it true since $\mathbb R$ is a banach space over ...
2
votes
2answers
36 views

“Scalar product” of two Lp spaces

I was reading the book A. Lasotta and M. C. Mackey, "Chaos, Fractals, and Noise: Stochastic Aspects of Dynamic", Springer, 1991 On page 27, they defined a ``scalar product'' as follows. Let ...
0
votes
0answers
12 views

“Asymptotic” $\mathbb{R}$-algebras

Definition. By an asymptotic $\mathbb{R}$-algebra, I mean an $\mathbb{R}$-algebra $F$ of functions $\mathbb{R} \rightarrow \mathbb{R}$ satisfying: $$\mathop{\forall}_{f:F}\left[\left(\lim_{x ...
0
votes
0answers
17 views

What do we call the number that measures how good of an asymptote $g$ is to $f$, and what are the basic results about this number?

Suppose we have a (potentially very complicated) smooth function $f : \mathbb{R} \rightarrow \mathbb{R},$ and we're trying to approximate it (in the limit as the input value goes to $+\infty$) by a ...
-1
votes
1answer
46 views

How to prove the uniqueness of probability measure

Probability essentials P-21 Theorem 4.1 (b) Let $(p_\omega)_{\omega \in \Omega}$ be a family of real numbers indexed by the finite or countable set $\Omega$. Then there exists a unique probability ...
1
vote
3answers
41 views

Equivalence of norms problem.

How would I show that $\|\cdot\|_3$ and $\|\cdot\|_\infty$ are equivalent norms on $\mathbb R^2$? I understand that to say two norms are equivalent, then there exist two real constants, $m,M$ such ...
4
votes
0answers
140 views

Doubts relating to Spaces of type $\mathcal{S}$

I have doubts in the following two questions : 1) What is the Laplace transform of $[x^k\varphi(x)]^{(q)}$, where $\varphi\in \mathcal{S}_\alpha^\beta$ and $-\infty<x<\infty$ , ...
1
vote
0answers
22 views

Does the “differential” of a unitary representation give continuous operators on the space of smooth vectors?

Let $\pi : G \rightarrow U(H)$ be a strongly continuous unitary representation of a Lie group, $G$, on a Hilbert space, $H$. Let $H_\infty$ be the space of smooth vectors in $H$, those $v$ for which ...
0
votes
0answers
18 views

Positive-definiteness of a specific function

Is the following function positive-definite $$\varphi(t)=\max\left\{{1-\frac{n-\left|2|t|-n\right|}{2(m+1)},0}\right\}$$ where $0<m<n$ and $0\le |t|<n$. I'm aware of the Bochner's theorem ...
-4
votes
0answers
28 views

Mathematics- fixed point theory [on hold]

If the operator $T$ on a Banach space $X$ is a contraction mapping, then $T$ has a unique fixed point. The inverse of $T$ has also a fixed point but it is never be a contraction mapping-justify.
7
votes
0answers
271 views

How to construct examples of functions in the Spaces of type $\mathcal{S}$

There are $3$ $\mathcal{S}$-type Spaces, namely $\mathcal{S}_\alpha\:,\: \mathcal{S}^\beta\:,\:\mathcal{S}_\alpha^\beta$. They are defined by: $\mathcal{S}_\alpha: |x^k\varphi^{(q)}(x)|\le ...
8
votes
1answer
312 views

Heat Kernel Property

Let $\phi$ be the Heat Kernel in $\mathbb{R}^n$, i. e. $$\phi (x,t)={(4\pi t)}^{-n/2}\exp\left( - \frac{\mid x \mid ^2}{4t}\right)$$ and let $u$ satisfy Heat equation. Show that: ...
4
votes
1answer
76 views

Upper Bound for Operator Norm in Marcinkiewicz Interpolation Theorem

Exercise 1.3.3(c) Let $0<p_0<p<p_1<\infty$ and let $T$ be an operator as in Theorem 1.3.2($\|T(f)\|_{L^{p_0,\infty}(Y)}\leq A_0\|f\|_{L^{p_0}(X)}$ for all $f\in L^{p_0}(X)$ and ...
8
votes
1answer
107 views

Sufficient Condition for $f\in L^{1}(\mathbb{R}^{d})$ to belong to $L^{2}(\mathbb{R}^{d})$

Question. Let $\left\{\varphi_{j}\right\}$ be a complete orthonormal system for $L^{2}(\mathbb{R}^{d})$ such that each $\varphi_{j}\in C_{b}(\mathbb{R}^{d})$ (the space of continuous, bounded ...
1
vote
1answer
25 views

significance and importance of spectral theorem

I have started recently started Operator Theory and have been introduced to the Spectral Mapping Theorem: If $a \in \mathcal{A}$, where $\mathcal{A}$ is a unital Banach Algebra and $f \in ...
0
votes
1answer
31 views

Density of spaces $C_0^{\infty}(\mathbb{R})$, $W_2^2(\mathbb{R})$ and $L^2(\mathbb{R})$ in each other

Let's consider following spaces: $L^2(\mathbb{R}) = L^2(\mathbb{R}, \mathbb{C}, \mu_L)$ --- space of $\mathbb{C}$-valued functions defined on $\mathbb{R}$ for which the square of the absolute value ...
0
votes
2answers
52 views

Show that the mapping $f → f~'$ from $C^1([0 , 1])$ to $C([0 , 1])$ is not continuous.

Let $C^1([0 , 1])$ be the subspace of $C([0 , 1])$ consisting of the functions that have a continuous derivative throughout $[0 , 1]$. Show that the mapping $\Psi:f → f~'$ from $C^1([0 , 1])$ to $C([0 ...