All Questions
13,927 questions
0
votes
2
answers
205
views
ANR Subsets of banach spaces
I need a reference for conditions on a closed subspace of a Banach space to have the homotopy type of an ANR.
0
votes
2
answers
160
views
Bounded inverse to morphism of Banach algebras
Let $A:X\to Y$ be a surjective morphism of Banach spaces.
1) Does there always exists $B_R$, a bounded right inverse to $A$?
2) Assume additionally that $A$ is a morphism of unital Banach algebras. ...
- 580
0
votes
1
answer
1k
views
A continuous linear functional on $L^\infty(R)$ that vanishes on $C(R)$.
Intuitively, I want to construct the functional F in this way:
$$F(f)=\lim_{x\rightarrow 0+}f(x)-\lim_{x\rightarrow 0-}f(x)$$
for $f\in L^\infty$. I know this is not well defined so I'd like to find ...
0
votes
1
answer
259
views
Convolution with an element in the dual space
We recall that if $f_1\in L^p(\mathbb R)$ and if $f_2\in L^q(\mathbb R)$ where
$1 \lt p \lt \infty$ and $\frac 1p+\frac1q=1$ then the function $f_1\ast f_2(x)=\int_{\mathbb R} f_1(x-y) f_2(y)dy$ is a ...
- 415
0
votes
1
answer
396
views
A Question about SO(n)
My question is:
How to find out all the finite subgroup of SO(n)? Or just for the simple case SO(4) SO(5)?
With more discribe:
If $S^n\backslash \Gamma$ is a manifold,
I just want to know that ...
- 703
0
votes
3
answers
424
views
Level 2 Menger Sponge
Hi fellows,
Does anyone know the number of holes of a level 2 Menger Sponge ?
user23855
0
votes
1
answer
717
views
Interpolation of derivatives
If $U$ is an open interval of $\mathbb{R}$ and $f : U \to \mathbb{R}$ is an $L^2(U)$ function with second derivative $f'' \in L^2(U)$ (in the weak sense), is $f \in W^{1,1}(U)$?
EDIT: Removed false ...
- 3
0
votes
1
answer
224
views
Special functions on the unit disk
Let $\mathbb{D} = \{ (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 < 1 \}$ be the unit disk.
We say a function $f : \mathbb{D} \rightarrow \mathbb{D}$ is a winner if it satisfies the following:
1) it is a ...
- 1,271
0
votes
1
answer
426
views
Lower bounds for partial sums of multiplicative functions
The motivation for this enquiry is to understand something about the impact of multiplicativity for $f:\mathbb{N}\rightarrow\mathbb{C}$ on the conditional convergence of Dirichlet series
$$F(s)=\...
- 2,480
0
votes
2
answers
370
views
zeroset-diagonal
Is it true that a topology space X with a zeroset diagonal is first countable?
what if X is additionally CCC?
- 654
0
votes
2
answers
909
views
Topology generated by the collection of open sets
Hello, there is a statement as following:
If every point of X is a G_delta and X is T_1, then take Y = set of X,
plus the topology generated by all open sets needed to prove G_delta-ness of every ...
- 654
0
votes
2
answers
478
views
"Exotic" Banach spaces of sequences
Does there exist a linear subspace of $\mathbb C ^{\mathbb N}$ that can be endowed a Banach space topology that is not finer than the locally convex topology of pointwise convergence?
Best,
Martin
- 5,327
0
votes
1
answer
386
views
The functor of continuous functions from compact CW-spaces to the reals
The contravariant functor $C(-)$ given by
$$
\hom_{Top}(-,\mathbb{R}):cCW\to Rng
$$
where $cCW$ is the category of compact CW complexes is injective on objects. What is known about surjectivity, ...
- 2,782
0
votes
2
answers
377
views
"Frobenius-finite" linear operators on a Hilbert Space
Let $H = L_2(S)$ be the complex Hilbert space over $S$ with the counting measure. (There might be another term for this concept, but) I define a continuous linear operator $L$ on $H$ with matrix ...
user5810
0
votes
1
answer
423
views
What Is This Quotient Space?
Let $X$ be a finite CW-complex with only even cells $x_1,\ldots, x_k$ and let $Y$ be the complex obtained by attaching one more even cell to $X$, call it $y$. Assume both $X$ and $Y$ are connected. ...
- 61
0
votes
1
answer
635
views
Topological dual and the notions of "smaller" and "larger" than...
Hi,
I've read this sentence but I can not understand what it means
[...] $\Phi'$ is the topological dual of some dense space $\Phi$ of $H_{aux}$ [...] Notice that the choice of $\Phi$ is subject to ...
- 733
0
votes
3
answers
248
views
how slow can the dimension of a product set grow?
Let us define the following "dimension" of a Borel subet $B \subset \mathbb{R}^k$:
$\dim(B) = \min\{n \in \mathbb{N}: \exists K \subset \mathbb{R}^n, ~{\rm s.t.} ~ B \sim K\}$,
where $\sim$ denotes "...
- 1,839
0
votes
1
answer
288
views
The Quantum Operations On The Bipartite Systems
Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...
- 1
0
votes
1
answer
239
views
Are ALL linear functionals on $C[0,1]$ generated by measures? [closed]
Consider derivative of the convolution of a given function $f(\cdot)$ with a fixed $C^\infty$ function $s(\cdot)$, evaluated say at $1/2$. Is there a measure which generates the functional so defined?
0
votes
1
answer
140
views
Existence of infinite rank compact operator
Given any separable Banach space $X$, we know that always there exists a Banach space $Y$ such that there is an injective compact operator from $X$ to $Y$. Can we show that given any infinite ...
- 585
0
votes
1
answer
101
views
Embeddings of pseudo metric spaces into seminormed Spaces
There is a theorem stating that every metric space embeds isometrically into $\ell _{\infty}$.
My question: is there a generalized result for pseudo metric spaces embedding isometrically into semi-...
- 85
0
votes
1
answer
96
views
Existence of a complemented basic sequence
Let $X$ be an infinite-dimensional Banach space (complex or real). A subspace of $X$ means a closed linear submanifold. If $S$ is a non-empty subset of $X$, then $[S]$ denotes the closed linear span ...
- 391
0
votes
1
answer
328
views
Relationship between quotient CW-complexes after attaching cells
I have been trying to prove the following simple-looking result which I require for some work in low-dimensional topology. I expect it is likely true and in a textbook somewhere so any reference or ...
- 187
0
votes
1
answer
50
views
Norm of a $2$-tuple of operators
Let $E$ be a complex Hilbert space and $K_1,K_2$ are bounded linear operators on $E$.
Let $\omega(K_1)$ and $\omega(K_2)$ be the numerical radius of $K_1$ and $K_2$ respectively. That is
\begin{align*}...
- 1,154
0
votes
1
answer
185
views
Can we approximate a Hölder pdf by higher-order Hölder pdf's?
$\newcommand{\RR}{\mathbb R}\newcommand{\NN}{\mathbb N}$
Let $\alpha \in (0, 1)$ and $j \in \NN$. We denote by $H^{j + \alpha} := H^{j + \alpha} ({\RR}^d)$ the space of real-valued functions $f$ on $\...
- 825
0
votes
1
answer
107
views
A question about the Stone-Čech compactification and ultrafilter
Let $X$ be a Tychonoff space and let $\beta X$ is the Stone-Čech
compactification of $X$. Assume $f:X\longrightarrow \mathbb{R}$ is a bounded function. Then there exists a function $f^{\beta }:\beta X\...
- 1,367
0
votes
2
answers
197
views
Convergence of the infima of convex functions on $\mathbb{R}^m$
Any thoughts on proving the following statement, which is a generalization of the result in convergence of the infima of convex functions from domain $\mathbb{R}$ to $\mathbb{R}^m$ and also Theorem 1 ...
0
votes
1
answer
218
views
Intersection of Hilbert spaces with Schauder basis
Let
$H$ be a infinite dimensional, separable, complex Hilbert space,
$\{v_{1_n}\}_{n \in \mathbb{N}}$ be a sequence in $H$,
$V_1=\operatorname{span}\{v_{1_n}\}_{n \in \mathbb{N}}$
$U_1=\overline{V_1}$...
- 433
0
votes
1
answer
79
views
Convergence in sequential Lebesgue spaces
Consider a strictly increasing sequence $1\leq q_0<q_n<q_{n+1}<q$ such that $q_n\to q$ as $n\to \infty$. Let $B\subset \Bbb R^d$ be a ball, so that $L^{q}(B)\subset L^{q_{n+1}}(B)\subset L^{...
- 1,101
0
votes
1
answer
115
views
Generalized Triangle Inequality for Snowflakes
Let $p>0$ and consider a metric space $(X,d)$. I have recently come across a problem where the space $(X,d^q)$ provides is natural; where $q>1$. However, the triangle inquality break (i.e. it ...
- 169
0
votes
1
answer
59
views
Given positive $\epsilon$ and $c$, find a density $\phi$ such that $t\phi(\epsilon/t) \ge c \|\phi'\|_\infty$ for all positive $t$
A nice density (on $\mathbb R$) is function $\phi:\mathbb R \to \mathbb R$ such that
(1) $\phi(x) \ge 0$ for all $x \in \mathbb R$,
(2) $\int_{-\infty}^\infty \phi(x) \mathrm{d}x = 1$,
(3) $\phi$ is ...
- 6,853
0
votes
1
answer
88
views
Is the mapping $F(a):= \arg\min_{x \in \mathbb R^n} \|x-a\|_2 + \|x\|_1$ non-expansive?
Fix $a \in \mathbb R^n$ and let $\|\cdot\|$ be any norm on $\mathbb R$ (e.g $\ell_1$ norm). For any $a \in \mathbb R^n$, it is clear that the function $f_a(x) := \|x-a\|_2 + \|x\|$ is strictly convex ...
- 6,853
0
votes
1
answer
518
views
Distance between two points using triangulation
Suppose we have two points $p_1$ and $p_2$ in a metric space with unknown dimensionality, with no way to directly compute the distance between them, e.g. no coordinates.
Say we can randomly sample a ...
0
votes
1
answer
505
views
Is every compact contractible subset of $\mathbb{R}^n$ homeomorphic to a closed ball of some dimension? [closed]
Question: Is every compact contractible subset of $\mathbb{R}^n$ homeomorphic to a closed ball of some dimension?
This post doesn't quite answer my question because it is about open sets.
- 637
0
votes
1
answer
414
views
What functions are equal to their symmetric decreasing rearrangement?
I am trying to understand the set
$$\mathcal{A}=\{f:f\text{ non-negative, measurable}, \text{vanishes at infinity and } f(x)=f^*(x)\}$$
where $f:\mathbb{R}^n\to \mathbb{R}$ is vanishing at infinity if ...
- 547
0
votes
1
answer
88
views
An equation in the convolution measure algebra on reals
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on reals.
Let $\mu$ be a Radon measure in $M(\mathbb{R})$ and $\delta_0$ be the point mass measure concentrated on ...
- 4,058
0
votes
2
answers
92
views
Controlling norm of operators sending a fixed vector to another
Let $A$ be a $C^*$-algebra acting on a Hilbert space that admits a cyclic unit vector $\xi \in H$. Pose $S_\xi = \{\eta \in A \xi: \| \eta \| = 1\}$, and for each $\eta \in S_\xi$, pose $A_\eta = \{a \...
- 1,586
0
votes
1
answer
239
views
A proof for the existence of smooth solution of PDE in form $\Delta u=f(x, u)$ in Michael E. Taylor's book Partial Differential Equations III
This part is from page 107 in Michael E. Taylor's book Partial Differential Equations III.
In this part, we want a proof for the existence of smooth solution of the PDE
$\Delta u=f(x, u)$ on $U$ with ...
- 809
0
votes
2
answers
974
views
Example of a linear operator whose graph is not closed
I want an example of a linear operator $T:X\to Y$ such that graph of $T$ is not closed.
My thoughts: $T$ must be unbounded. Again by closed graph theorem any unbounded linear map from a Banach space $...
- 585
0
votes
1
answer
249
views
About uniform continuity
Is there a definition Df(g) of uniform continuity of g, without using the notion of metric?
Let $(E,d_E)$ and $(F, d_F)$ metrics spaces, $f$ continuous fonction of $E$ to $F$
We must have :
Df$(f)$ ...
- 4,074
0
votes
1
answer
537
views
About the normability of the space of continuous functions
Let $A$ be a subset of $\mathbb{R}^n$, and denote by $C(A)$ the space of complex-valued continuous functions defined on $A$. We know that if $A$ is compact then we can define a norm on $C(A)$ so that ...
- 1,173
0
votes
1
answer
212
views
The Quotient exponential operator
I have a question if you don't mind. I have the following quotient operator:
$$\frac{1}{e^{d/dx}(f(x))}$$
Where $f$ is a smooth function on $R$. I would like to get rid of the denominator. IS there ...
- 159
0
votes
1
answer
378
views
What's the condition to prove the equicontinuity?
Let $K: I\times I\rightarrow \mathbb{R}$ be a scalar kernel, where $I=[0,1]$, and $a: I \rightarrow (0,+\infty)$ an $L^1(I)$ function.
For $t_1,t_2\in I$, define
$$I_{t_1,t_2}=\int_{0}^{1} \left |\...
- 291
0
votes
1
answer
213
views
Hurewicz theorem on mappings that lower dimension
A form of Hurewicz theorem on mappings that lower dimension states that: Let $X$ and $Y$ be compact metric spaces and $f:X\to Y$ a continuous map. Suppose that there is some $n$ so that for every $y\...
- 675
0
votes
1
answer
188
views
Sober spaces vs. spatial frames-a big picture
For any topological space $X$ one can consider the so called frame of all open subsets of $X$ to be denoted by $\mathcal{O}(X)$. If $f:X \to Y$ is continuous taking the inverse image we get the ...
- 9,340
0
votes
1
answer
323
views
Solution set of integral equation/ Kernel of linear operator
I am interested in understanding the solutions $\phi$ of the following integral equation: $$0=\int_0^1 \int_0^1 \phi(x,y)(x-y)\thinspace dx\thinspace dy.$$ Equivalently, I am interested in ...
- 143
0
votes
1
answer
177
views
Irreducible sub-modules of $\ell^2(\mathbb{Z})$
It is known that $\ell^2(\mathbb{Z})$ is $\ell^1(\mathbb{Z})$-module (the module operation is the convolution).
What about the irreducible submodules? Can we characterize them?
- 4,058
0
votes
1
answer
276
views
comparison of two projections in a non-factor von Neumann algebra
In a factor $M$, we know that for any two projections $P$ and $Q$ in $M$, either $P\preceq Q$ or $Q\preceq P$ holds true. Here $\preceq$ denotes the Murray-von Neumann subequivalence of two ...
- 165
0
votes
2
answers
219
views
Intrinsically defining smooth/continuous/analytic functions
In mathematics, the notion of a continuous/smooth/analytic function $\mathbb{R}\to\mathbb{R}$ is introduced by defining the general set-theoretic function $\mathbb{R}\to\mathbb{R}$ and then imposing ...
user158636
0
votes
1
answer
120
views
Breaking up dense subset in non-separable space
Let $X$ be a not necessarily separable (infinite-dimensional) Banach space and $D\subseteq X$ be dense linearly independent subset. Then does there exist a set of infinite-dimensional separable ...
- 5,405