All Questions
13,927 questions
1
vote
0
answers
195
views
Lower semicontinuity of Bregman distances/divergences
For a Banach space $X$ and a convex functional $J:X \to [0,\infty]$ (i.e. with values in the extended reals), consider the associated Bregman distance: For $x,y\in X$ and $\xi\in\partial J(y)$:
\begin{...
- 12.7k
1
vote
1
answer
210
views
Is the metric obtained by altering the metric of a Hilbert space on a finite-dimensional subspace equivalent to the original one? [closed]
Suppose a Hilbert space W can be written as the direct sum (not necessarily orthogonal) of the closed subspaces H and V, where H is assumed to be of finite dimension. Define a new inner product via
||...
- 2,935
1
vote
0
answers
283
views
Density of Dolean exponentials in L2 and Wiener Measure
Assume that W is the classical Wiener space C([0,1],R) note $\mu$ the Wiener measure, and denote by $\mu_s$ the image of $\mu$ under the maping $T: W ->W$ such that$ T(w)= \sqrt(s) w$ . Denote by $...
- 19
1
vote
0
answers
309
views
Loynes spaces, also called pseudo-Hilbert spaces
Let me first define my object:
First, a locally convex space $Z$ is called admissible in the sense of Loynes if
$Z$ is complete
There is a closed convex cone in $Z$, called $Z_+$, satisfying (for $x\...
- 2,600
1
vote
0
answers
133
views
Square powers of hemicontinuous operators
Let H be an infinite dimensional real Hilbert space.
A [not necessarily linear] mapping of H into itself is said to be hemicontinuous if it is continuous from each line
segment of H to the weak ...
- 4,060
1
vote
0
answers
660
views
Fractional Fourier transform [closed]
Let $T: L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n)$ be the Fourier transform. Is there any reasonable definition of fractional Fourier transform (i.e. operator $A$ such that $A^{\alpha}=T$ for $\...
- 3,323
1
vote
1
answer
173
views
Spectral gap of a Markov chain on the nonnegative integers
Let $\lambda_k,\mu_k\in\mathbb R_{\ge0}$ $(k\ge1)$ be nonnegative real numbers such that $\sum_{k=1}^\infty k\lambda_k<\infty,$ let $S=\mathbb Z_{\ge0}$ be the nonnegative integers, let $T=\mathbb ...
- 276
1
vote
1
answer
269
views
Best constant for Hölder inequality in Lorentz spaces
It's well known (and proved by R. O'neil) that there is a version of Hölder's inequality for Lorentz spaces, namely
$$\|fg\|_{L^{p, q}} \lesssim_{p_1, p_2, q_1, q_2} \|f\|_{L^{p_1, q_1}}\|g\|_{L^{...
1
vote
2
answers
2k
views
Bounding the norm of the Laplacian of the gradient of a function having Lipschitz continuous Hessian
It seems that the following claim is true, but I did not manage to prove it neither to find a reference.
Claim Let $f:\mathbb R^p\to\mathbb R$ be a three times differentiable function such that its ...
- 11
1
vote
1
answer
464
views
Formulas for $\arg\max$
are any formulas for $\arg\max(f(x))$ known
(in the context of this question, $\max(f(x))$ shall denote the essential supremum of $f(x)$ over some given domain $\Omega\subset X$)?
The reason for ...
- 13.2k
1
vote
1
answer
316
views
Change of functional derivative under rigid coordinate transformation
Suppose I have a functional
$$
E=\int F(y_{1,1},..y_{1,n},y_{2,1}\ldots,y_{n,n})d\boldsymbol{x}\,,
$$
where $\boldsymbol{y}:\mathbb{R}^{n}\to\mathbb{R}^{n},\,\boldsymbol{y}(\boldsymbol{x})=\left(y_{...
- 13
1
vote
2
answers
270
views
Fourier transform localisation (still unanswered, but apparently off-topic?) [closed]
In the context of Pólya's theorem I was reading these notes here on p. 19. In the last paragraph the authors claim (it is the sentence starting like "standard Fourier theory shows...") that the ...
- 19
1
vote
1
answer
226
views
How are real-analytic functions encoded in computer algebra?
I would like to know how are encoded the real-analytic functions on the interval by the computers. When I think in a real-analytic function I just think in a composition of the ''typical'' analytic ...
- 105
1
vote
2
answers
288
views
Is it possible that the intersection of two nest algebras contains only scalars?
Dear all, I really want to know the answer of the following question. I would
appreciate any help.
Assume H is a separable Hilbert space, is it possible to find two nests N1, N2
such that the ...
- 61
1
vote
1
answer
1k
views
Does the product function $fg$, where $f$ is in $L^2$ and $g$ is in $C^{\infty}_0$ belong to hardy space $H^1$?
I am struggling to know whether the product function $fg$, where $f$ is in $L^2$ and $g$ is in $C^{\infty}_0$ belong to hardy space $H^1$.
$fg$ has compact support but I can't figure out how I can try ...
0
votes
10
answers
9k
views
What is an explicit example of a sequence converging to two different points? [closed]
In principle a sequence in a non-Hausdorff space can converge to two points simultaneously.
Can anyone give me an explicit example of the above?
Or tell me any method of generating such kinds of ...
- 3,541
0
votes
4
answers
746
views
A question on metrizable space
Q1, Does a metrizable space $X$ with $e(X)=\omega$ (i.e., it has countable extent) which is not lindelof exist?
Q2, Let $X$ be the one point lindefication of a discret space of cardinality $\omega_1$...
- 654
0
votes
3
answers
384
views
Existence of a Sub-Category of the Category of Topological Spaces
My question start with the following observations:
If you have a finite number of topological spaces $X_1, \dots , X_n$ you can define a space that is the disjoint union of its $\sqcup_{i=1}^n X_n=Y$....
- 335
0
votes
1
answer
403
views
is the limit of ergodic functions still ergodic?
under what conditions is the limit of a sequence of ergodic functions still ergodic? are there simple counter-examples to this general statement?
- 21
0
votes
1
answer
274
views
On Cantor sets every map is $C^{\infty}$ [closed]
For a fixed Cantor set $K\subset [0,1]$ and a continuous function $g:[0,1]\to \mathbb R.$ Is it always possible to find a $C^{\infty}$ map $f:[0,1]\to \mathbb R$ such that $g$ and $f$ coincide in $K?$
...
- 1,805
0
votes
1
answer
177
views
What does mean by "$\omega +1$ is convergent sequence"? [closed]
Let $X=\omega +1$ be convergent sequence. Then what does mean by "$X$ is convergent sequence"?
- 505
0
votes
1
answer
882
views
What does the 3rd axiom of topologies defined by neighbourhood mean? [closed]
Recall the axioms of a topology defined in terms of neighbourhoods, we call a topology on $X$ a family $(\mathcal{V}_x)_{x\in X}$ of sets in $\mathcal{P}(\mathcal{P}(X))$ which verifies for all $x\in ...
- 131
0
votes
1
answer
521
views
Extremely disconnected space
A topological space $X$ is called relative extremely disconnected if it has a base $B$(for open subsets) such that disjoint elements in B have disjoint closure, i.e, if $C, D$ in $B$ and $C\cap D=\...
0
votes
1
answer
365
views
When $\lambda$-commutativity implies commutativity?
Let $\mathcal{B}(F)$ the algebra of all bounded linear operators on an infinite-dimensional complex Hilbert $F$.
Let $T,S\in\mathcal{B}(F)$. The pair $(T,S)$ is said to $\lambda$-commute if there ...
- 724
0
votes
2
answers
193
views
Space of functions f such that the number of primes in $ [x, x+f(x)] $ remains bounded
Given a positive integer $ n $ , let $ S_{b}(n) $ the set of functions $ f $ fulfilling the following conditions :
1) $ f $ is continuous, positive and increasing on $(n,+\infty) $
2) for ...
- 6,982
0
votes
1
answer
178
views
Borel subsets of Polish groups
Suppose that I have a polish group $G$ and two subsets $A$ and $B$ of $G$ such that: $A$ is open in $G$ and $B$ is closed in $G,$ from this, can I conclude that $AB$ is a Borel subset of $G$? if not, ...
- 313
0
votes
3
answers
501
views
The completion of $F/\text{Ker}(M)$ is isomorphic to the closure of the range of $M$
Let $M$ be a positive semidefinite operator on a complex Hilbert space $(F,(\cdot,\cdot))$.
On the quotient space $F/\text{Ker}(M)$ we have the following inner product
$$\langle \overline{x},\...
- 724
0
votes
1
answer
605
views
Is there a continuous surjection $\omega^\omega\to \mathbb{R}$? [closed]
Let $\omega$ be endowed with the discrete topology, and let $\mathbb{R}$ carry the Euclidean topology. Is there a continuous surjective map $f:\omega^\omega\to \mathbb{R}$?
(I suppose this would ...
- 48.9k
0
votes
2
answers
548
views
A question about locally compact spaces
Recently I read a book about linear algebraic group written by Ian Macdonald. There is a conclusion which I can't prove.
It says that if $X$ is locally compact Hausdorff space, then $X$ is compact if ...
- 89
0
votes
1
answer
277
views
Are knot invariants topological invariants? [closed]
I am a bit confused about terminology considering topology and knot theory.
A topological invariant is considered to be a topological property that does not change under a homeomorphism of the space.
...
- 1,465
0
votes
2
answers
721
views
Is there a probability density function satisfying the following conditions?
I find myself in need of the solution of this problem in finding a probability density function. I had asked this question in Math Stack Exchange but I did not get an answer so I am posting it here.
...
- 5,470
0
votes
3
answers
753
views
center of the algebra of bounded operators [closed]
Suppose that $X$ is a Banach space. How to prove that the center of the algebra $B(X)$ (the algebra of bounded operators on $X$) consists only of operators of the form $aI$, where $a$ is scalar and $I$...
- 33
0
votes
2
answers
349
views
If a graph embedded on a surface is divided by a curve into a right and left that do not intersect can it be embedded on a surface of smaller genus?
Suppose we have a graph $G$ embedded on a (smooth, orientable etc) surface $Q$. Suppose there is a cycle $C$ of $G$ such that
$C$ does not separate our surface $Q$ into two connected regions and ...
- 111
0
votes
1
answer
393
views
Can I get away without using Arzela-Ascoli?
I am currently thinking of function-valued random variables. In order to prove a result, I need to approximate by (function-valued) step functions. This naturally leads to the idea of chopping up the ...
- 1,955
0
votes
1
answer
171
views
A functional equation in real analysis
For what function $u:[0,1]\rightarrow R$ with bounded derivative, such that $\forall p\in[0,1]$,
$\lim\limits_{n\rightarrow\infty}\sum\limits_{k=0}^n\binom{n}{k}p^k(1-p)^{n-k}u(\frac{k}{n})=u(p)$
...
- 101
0
votes
1
answer
133
views
"Universal" connected spaces
Let $\kappa$ be an infinite cardinal. Does there exist a topology $\tau_{\kappa+1}$ on $\kappa+1$ such that for any topological space $(X,\tau)$ with $|X|=\kappa$ the following statement is true?
...
- 48.9k
0
votes
2
answers
1k
views
Question on Hartogs's Extension Theorem
Does Hartogs's extension theorem hold if one replaces the word holomorphic by analytic (of course still in several variables)?
For Hartogs's Extension Theorem see here:
http://en.wikipedia.org/wiki/...
- 53
0
votes
1
answer
501
views
0
votes
1
answer
474
views
Hilbert space having all norms (and seminorms) continous.
Suppose I have a Hilbert space $H$ such that every seminorm on $H$ is continuous with respect to the inner-product induced norm. Is $H$ necessarily finite-dimensional? If not, is there an easy ...
- 617
0
votes
1
answer
915
views
Can you interpret this divergent integral?
In this ArXiv paper by Wilk and Wlodarczyk (published in Physical Review Letters), equation 16 has essentially the following definition of a function:
$$\text{f(x)=}\frac{c}{2Dx^2}\exp[\int^x_0 \frac{\...
- 33
0
votes
3
answers
238
views
Extending $\mathbb{R}$ to a higher dimensional manifold [closed]
If a topological space $X$ is Hausdorff, connected, second countable, homogeneous (i.e. it has transitive homeomorphism group) and embeds the real line $\mathbb{R}$, does it follow that $X$ is a ...
0
votes
2
answers
199
views
Give an example of a Rothberger space $X$ which has a Lindelöf subspace $Y$ that is not Rothberger
A space $X$ is said to be Rothberger if for each sequence $(\mathcal{U}_n)$ of open covers of $X$ there exists a sequence $(U_n)$ such that for each $n$ $U_n\in\mathcal{U}_n$ and $\{U_n : n\in\mathbb{...
- 505
0
votes
1
answer
675
views
Weak convergence of Hilbert Schmidt operators
So I am stuck at this situation. Let $\{A_n\}$ be a weakly convergent sequence in $B_2(H)$ converging to $0$ in the weak topology on $B_2(H)$. Which means that $\left<A_n,D\right>=\operatorname{...
- 243
0
votes
1
answer
377
views
How to prove that there does not exist any plane isotopy from the logarithmic spiral onto the real line? [closed]
Questions.
EDIT: readers please note that while this question arose in research, the OP was so hung-up on a question concerning infinite planar graphs that a strong a-forteriori-reason, kindly ...
- 6,051
0
votes
1
answer
177
views
$Ax=b$ in a function space
Let
$X$ be compact Hausdorff topological space,
$C(X)$ denote the algebra of complex-valued continuous functions on $X$,
$b\in \mathbb{C}^m$,
$\mathbf{A}\in C(X)^{m\times n}$,
for all $x\in X$, $b\...
- 85
0
votes
1
answer
622
views
Is this Holder-type inequality true $\;(\int fg )\,(\int f^2 + g^2)\leq \int f^2g+fg^2\;$? [closed]
Suppose $f$ and $g$ are non-negative functions such that $\int f(x)dx = \int g(x)dx=1$. Is it true that
$$\Big(\int fg \Big)\,\Big(\int f^2 + g^2\Big)\leq \int f^2g+fg^2\quad?$$
- 165
0
votes
1
answer
151
views
Checking complete positivity of maps between C* algebras
Let $\phi$ : $A \rightarrow A$ be a positive map, where $A$ is a (unital) C* algebra. Suppose we are given that $\phi$ is n positive whenever n= $2^k$ for some $k \in \mathbb{N}$. Can we conclude that ...
- 181
0
votes
2
answers
714
views
Polynomial growth of Fourier transforms
I am looking for a theorem that guarantees the polynomial growth of a function $f$ defined by a Fourier integral, that is, when
$$f(x)=\int_{-\infty}^{\infty}F(y)e^{ixy}dy.$$
I am only interested in ...
- 2,480
0
votes
2
answers
2k
views
The exponent of self-adjoint operator
If $X$ is a Hilbert space and $A$ is an unbounded self-adjoint operator on $X$, is it necessarily that $A^k$ is self-adjoint for all positive integer $k$? (I have already known that the conclusion ...
- 1,441
0
votes
1
answer
360
views
Triviality of finite fiber bundles [closed]
Hello,
I suspect the following is true and easy but I am unable to prove. Suppose (E, B, π, F) is a fiber bundle, where E,B are compact and F is finite, prove that E is a trivial fiber bundle. Any ...
