All Questions
13,925 questions
-1
votes
1
answer
79
views
A question about the commutator $[J^s,u]\partial_x u$
I am studying the use of the commutator for finding the estimate of energy. During my looking through many papers I found that this paper contains a possible typo. Here is the archive version which ...
- 159
-1
votes
1
answer
164
views
Closure of the point spectrum of an unbounded diagonalizable operator
Given a (separable) Hilbert space H and an unbounded densely defined linear operator $T:{\cal D}(T) \to $H such that ${\cal D}$ is diagonalizable (it means $\exists$ an O.N.B. of H such that all basis ...
- 969
-1
votes
1
answer
78
views
Fundamental of a signal
Consider the space $S$ of real functions with the norm $$\|f\|^2 = \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^{\infty} e^{-x^2/2} f^2(x) ~\mathrm{d}x, $$
or any reasonable Euclidean norm such that bounded ...
- 1,902
-1
votes
1
answer
210
views
A commuting pair of isometries
Let $H$ be a Hilbert space and $B(H)$ be the space of all bounded operators on $H$.
The Wold decomposition says that: an operator $x$ in $B(H)$ is an isometry if and only if $x=x_u\oplus x_s$ where $...
- 4,058
-1
votes
1
answer
153
views
Proving neighborhood of a compact product space contains a sub-neighborhood formed by taking product [closed]
I am self studying basic topology and have trouble proving the following question.
If $A$ and $B$ are compact, and if $W$ is a neighborhood of $A \times B$ in $X \times Y$, find a neighborhood $U$ of ...
- 173
-1
votes
1
answer
320
views
Existence of weak limit for bouded sequence $\{y_n\}$ such that for every weak limit point $\{y_n\}$ must equal $y$
Let $X$ be separable Banach space and $\{x_n\}$ be a bounded sequence, relatively weakly compact sequence in $X$. we set $y_n=\frac{1}{n}\sum_{i=1}^{n}{x_i}$, then (together with the Krein and ...
- 199
-1
votes
1
answer
98
views
Topological connected eccentrics, not homeomorphic to commutative Lie groups
An eccentric is a universal algebra $\ (X\ \sigma\ \lambda\ \rho)\ $ such that operations
$\ \sigma\ \lambda\ \rho\,:\,X\times X\to X\ $ satisfy:
$\quad \forall_{x\ y\,\in X}\quad \lambda(\sigma(x\ y)...
- 4,786
-1
votes
1
answer
256
views
Injectivity of a locally strictly expanding map on a compact space
Prove that any locally strictly expanding map on an infinite compact metric space is non-injective.
- 189
-1
votes
1
answer
80
views
Minimal covering sets of continuous endomorphisms
For any topological space $(X,\tau)$, let $\text{End}(X)$ denote the set of continuous functions $f:X\to X$. We say that ${\cal C}\subseteq \text{End}(X)$ covers $\text{End}(X)$ if for every $f\in \...
- 48.9k
-1
votes
1
answer
323
views
Expressing the sum of two squared inner products more compactly: is it possible to lift the dimension? [closed]
Let $v_1,v_2\in\mathbb{R}^d$ be two fixed vectors, and $\langle \cdot,\cdot\rangle_{\mathbb{R}^d}$ be the usual Euclidean inner product in $\mathbb{R}^d$.
My question is as follows. Is there an (...
- 1,096
-1
votes
1
answer
119
views
Existence of a function with slow growth on derivatives
Does there exist a smooth compactly supported function $$f \in C^{\infty}_c((0,1))$$
such that
$$ \|D^k f\|_{L^{2}(0,1)} \leq \left\lfloor{\alpha\,k}\right \rfloor! \quad \forall\, k\in \mathbb N$$
...
- 4,143
-1
votes
1
answer
81
views
Closed on generic set implies closed set whole set [closed]
Assume that $f:\mathbb{R}^{2}\rightarrow \mathbb{R}^{2}$ is a continuous on a set $A$. Let $B \subset A$ be a generic set in $\mathbb{R}^{2}$ i.e, the countable intersection of the open and dense ...
- 1,043
-1
votes
1
answer
349
views
Sequence converging to different limits with respect to two different _complete_ norms
Do there exist a real vector space $X$ complete with respect to norms $|\cdot|$ and $\|\cdot\|$ and a sequence $(x_n)_{n\in \mathbb N} \subset X$ such that there exist $x,y\in X$: $x\ne y$, $|x_n - x|\...
- 1,277
-1
votes
1
answer
74
views
Invariant ergodic measure Volterra operator
Define the Volterra operator $V$ on $C_0([0,1])\triangleq \{g \in C([0,1]):g(0)=0\}$ by
$$
f \mapsto \int_0^{\cdot} f(s)ds.
$$
Is there an example of an ergodic and $V$-invariant Borel probability ...
- 5,405
-1
votes
1
answer
265
views
A sequence of Hilbert spaces and a sequence of linear funtionals [closed]
Let $H$ be an Hilbert space over $\mathbb{C}$
Let $\{h_m\}_{m \in \mathbb{N}} \subset H$ be a sequence of linearly independent vectors in $H$
Let $\forall m \in \mathbb{N}: H_m = \overline{\...
- 433
-1
votes
1
answer
102
views
Compactness of a special kind of Integral operators
Let $(S(t))_{t>0}$ be a continuous operator from $L^2(0,1)$ to its self and Let $K$ be the operator $$\eqalign{
& K:{L^2}(0,1) \to {L^2}(0,1) \cr
& f: \to (Kf)(x) = \int\limits_0^1 {k(...
- 617
-1
votes
1
answer
83
views
On probabilistic extension for Bernstein polynomials
Suppose $X_m\sim p_m(x)$ is a discrete distribution on $[0,1]$ where the value takes multipliers of $\frac{1}{m}$ (e.g., $p_m(x=\frac{k}{m})=\frac{1}{m+1})$. Suppose $p(x)=\lim\limits_{m\rightarrow\...
- 101
-1
votes
1
answer
140
views
Question to show the following function in $L^{2}$ [closed]
If $\varphi \in C^{0}(\bar{\Omega}) \cap C^{2}(\bar{\Omega} \setminus \left\{0\right\})$, does it imply that $\varphi \in L^{2}(\Omega)$?
- 19
-1
votes
1
answer
339
views
A condition for Artinian topological spaces [closed]
A topological space $X$ is called Artinian if the descending chain condition holds for open subsets of $X$. If the descending chain condition holds for open basis subsets of a Hausdorff space $X$ with ...
- 13
-1
votes
1
answer
132
views
About a property in a reflexive Banach space
Let $E$ be a reflexive Banach space. Let $\{x_n\}_n$ be a bounded sequence of linearly independent elements of $E$. Does there exist a sequence $\{\phi_n\}_n$ of elements of $E^*$ (the dual of $E$) ...
- 2,118
-1
votes
1
answer
150
views
Hierarchies of Operator Norms [closed]
Given some linear operator $T: V \mapsto W$, we can talk about the operator norm between the spaces V and W, i.e.
$$
\| T \|_{V \mapsto W} \ = \ \sup_{g} \| Tg \|_W \ , \quad \mbox{ with } \| g \|_V \...
-1
votes
1
answer
136
views
An elementary question about integration by parts! [closed]
Let $f,g: R \rightarrow R$ be two positive increasing functions. Under what (non-trivial) conditions one can guarantee that $\int_{0}^{\infty}f'g dx\geq \int_{0}^{\infty}g'fdx$.
-1
votes
1
answer
73
views
existence of continuous functions with values in the fiber of a closed bundle
Let $ A \subseteq \mathbf{R}^{n} $ be a closed set and let $ B $ be a closed unit normal bundle over $ A $ ( that means for every $ a \in A $ we have closed subset $ B_{a} \subseteq \mathbf{S}^{n-1} $ ...
- 541
-1
votes
1
answer
88
views
Interval topology on $(\mathbb{N}^\mathbb{N},\leq^*)$
Given a quasi-ordered set $(Q,\leq)$ the interval topology on $Q$ is generated by
$$\{Q\setminus\downarrow x : x\in Q\} \cup \{Q\setminus\uparrow x : x\in Q\},$$
where $\downarrow x = \{y\in Q: y\leq ...
- 48.9k
-1
votes
2
answers
187
views
On Bohr-MollerupTheorem [closed]
In http://mathworld.wolfram.com/Bohr-MollerupTheorem.html, Bohr-Mollerup Theorem is given where it is stated that $\Gamma$ function is the unique log convex function that satisfies $\phi(x+1)=x\phi(x)$...
- 13.9k
-1
votes
1
answer
278
views
Decomposition space of $\mathbb{C}$ by concentric circles [closed]
What are the topological properties of the quotient space $X$ obtained from $\mathbb{C}$ by identifying points of the same modulus? I.e., the space $X=\mathbb{C}/E$ where $E$ is the equivalence ...
- 1,704
-1
votes
1
answer
81
views
extension of a continuous function [closed]
Please is it true that if $f:K\to \mathbb{R}$ is a continuous function of a comact set $K\subset\mathbb{R}^m$ then $f$ can be extended to a continuous function of some open neighbourhood of $K$?
...
- 1
-1
votes
1
answer
159
views
Question about the derivative of a fuctional
I have this lemma+proof and i dont understand why it follows from $J'(u_n)\rightarrow 0$ that $-\Delta_p u_n- f(x,u_n)\rightarrow 0$ such that
$J(u)=\frac1p\int_{\Omega} |\bigtriangledown u|^p dx-\...
- 277
-1
votes
1
answer
75
views
Finiteness of "novel variance" from a kernel on a compact space [closed]
Let $c(i,i')$ be a kernel function on a reasonable index space $I$. Choose a dense sequence of points $\{i_1, i_2, \cdots \} \subseteq I$, and define the one-point kernel functions $k_n := c(\cdot, ...
- 8,512
-1
votes
1
answer
211
views
Stone Cech compactification for exponential map
Recently I met with a problem related to Stone-Cech Compactification theorem
in Furstenberg's famous paper "non-commuting product."
I try my best to understand Stone-Cech compactification theorem by ...
- 1,706
-1
votes
1
answer
669
views
Stone-Cech compatification and ultrafilter [closed]
I have been studding about compatification of a topological space $X$. But I have low understanding about the Stone-Cech compatification, specially construction of the Stone-Cech compatification on ...
- 147
-1
votes
1
answer
259
views
Absolute continuity of probabilities on Polish spaces and open sets. [closed]
On a polish space $\mathcal{X}$ i consider two Borel probabilities $P$ and $Q$ such that for any open set $E$ of $\mathcal{X}$ we have : $P(E) =0$ implies $Q(E)=0$. Does this imply that $Q$ is ...
- 41
-1
votes
1
answer
416
views
the space of maximal ideals in C(X) and C*(X) [closed]
Let $C(X)$ be the continous function ring and $C*(X)$ be the bounded continous function ring.$Max C(X)$ consisting of all maximal ideals in $C(X)$.
Question:why $Max C(X)$ and $Max C*(X)$ are compact ...
- 21
-1
votes
1
answer
542
views
Fuzzy topology : references [closed]
Hey. I'm looking for references in fuzzy topology. Does anyone know a good book ?
- 11
-1
votes
1
answer
934
views
Domain and exponential of self- adjoint operator
Let $A$ be a self - adjoint operator on a Hilbert space $\mathcal{H}$ and let $D(A)$ be its domain. If $\psi \in D(A)$ then $exp(-itA) \psi \in D(A)$ iff $A$ is bounded ?
Thank ...
-1
votes
0
answers
94
views
Why define Schwartz by supremum rather than limit?
The Schwartz space is defined as the set of all indefinitely differentiable functions such that the supremum over the free variable of any (order) derivative times any (order) power is finite.
However,...
- 107
-1
votes
0
answers
53
views
convergence of convolution in Bochner space
I want to prove a well-known fact in $L^p(R^n)$ namely that, the convolution of an element in $L^p$ with an element of $L^1$ is in $L^p$
let: if $u∈L^p (R;X) , f∈L^1 (R)$ and $X$ is Separable and ...
-1
votes
1
answer
86
views
how take weak derivative of norms in hilbert spaces?
Let the following be hilbert spaces with dens inclusions $V ↪H=H^* ↪V^*$. Where $H^*$ and $V^*$ are the duals. $H$ has the product $(*,*)$ and $V×V^*$ has the product $⟨*,*⟩$.
Let $u∈L^2 ([0,T];V); ...
-1
votes
1
answer
118
views
Sobolev injections [closed]
It is true to write that
$W^{1,\infty}(]0,\infty[) \hookrightarrow C([0,\infty[)$ et $W^{1,1}(]0,\infty[) \hookrightarrow C([0,\infty[)$ ?
Thanks
- 19
-1
votes
1
answer
246
views
Determine the singular values of a compact operator in terms of the eigenvalues of an alternating tensor product of operators
Let $H$ be a $\mathbb R$-Hilbert space, $A\in\mathfrak L(H)$ be compact and $$|A|:=\sqrt{A^\ast A}$$ denote the square-root of $A$. By definition, the $k$th largest singular value $\sigma_k(A)$ of $A$ ...
- 167
-1
votes
1
answer
162
views
A topological space whose closed subsets are locally connected
Let $X$ be a compact $T_0$ topological space such that every closed subset of $X$ is locally connected. Is there any characterization for such a space? I guess $X$ is Noetherian, but I cannot prove ...
-1
votes
1
answer
114
views
Construct a probability function on the operator monotone functions, $g(t)=t g(t^{-1})$, fitting certain values
To immediately pose the question of interest to us, without first expanding upon its (quantum-information-theoretic) origin—we seek a univariate function $f$, for which we have the ("two-qubit ...
- 723
-1
votes
1
answer
406
views
Topological properties of complex valued Riemann sum limit curve and a particular integral inequality
I am studying under what conditions the following integral inequality would hold ($a$ real, $a>0$):
$$ \int_{-\infty} ^{\infty} \frac{f(ix)}{a\pm ix}dx\ = 0 \ \ \ \ \Rightarrow \ \ \ \int_{-\...
- 362
-1
votes
1
answer
77
views
Parseval frame, convergence of $\sum_{k=0}^\infty \left\|g_k\right\|$ [closed]
Let $\mu$ be a Borel probability measure on $[0, 1)$, and $\{g_k\}_{k=0}^\infty$ be a Parseval frame for $L^2(\mu)$. Does
$$\sum_{k=0}^\infty \left\|g_k\right\|$$
converges?
- 297
-1
votes
2
answers
440
views
Motivation for weak solution of a PDE (initial condition)
The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations"
When looking at a (nonlinear degenerate) PDE like
$$ \...
- 1
-1
votes
1
answer
152
views
Question regarding to the basis of L^p space via compact self adjoint operators. ( eg: inverse of -laplacian )
Do eigenfunctions of inverse of elliptic operator (eg: Laplacian) form basis of $L^P(\Omega)$ ? For p=2 we know the answer is yes, I am looking for p>2.
More generally, is it true that eigenfunctions ...
-1
votes
1
answer
696
views
Can singular measures be viewed as vanishing distributions? (Answer No!)
Hello,
Here is my original question: let $\mu$ be a singular measure with respect to the Lebesgue's measure on $R$. Is it true that $\int \psi \mu(d x)=0$ for any test function $\psi\in C_c^\infty(R)$...
- 1,649
-1
votes
1
answer
2k
views
Absolute values and Frobenius norm [closed]
The Frobenius, or Hilbert-Schmidt, norm of an $n$ by $n$ matrix $A$ is defined as $\|A\|_2 = \sqrt{\sum_{i,j=1}^n |A_{ij}|^2}$. The absolute value of $A$ is the unique positive matrix $|A|$ satisfying ...
- 1
-1
votes
1
answer
311
views
A differential equation
let $g(s)$ be real-valued function defined on $[0,T]$ such that $g(T)=0$ and suppose that $g$ is a "nice function"
Assume that $0<\gamma<1$, $v$ is a positive number, and
$$\frac{dg}{ds}+(v\...
- 1
-2
votes
2
answers
931
views
Can topologies induce a metric?
Let {X,T} be a topology, T the set of open subsets of X.
Definition: Three points x, y, z of X are in relation N (Nxyz, read "x is nearer to y than to z") iff
there is a basis B of T and b in B ...
- 9,720