All Questions
13,925 questions
-1
votes
1
answer
200
views
Is the unordered sum of measurable functions measurable?
Let $E$ be a normed $\mathbb R$-vector space and $I$ be a nonempty set. Remember that $(x_i)_{i\in I}\subseteq E$ is called summable if there is a $x\in E$ such that for all $\varepsilon>0$, there ...
- 167
-1
votes
1
answer
108
views
Are local diffeomorphisms Fredholm maps with index zero? [closed]
Does this statement correct? if it does how we can prove it. In Banach spaces
a map is local diffeomorphism if and only if it is a Fredholm map of index zero with no critical points?
- 71
-1
votes
2
answers
641
views
Invariance of spectrum under conjugation
Let $T$ be a self-adjoint invertible operator on $\mathcal{H}$ with a continuous spectrum, means the spectral measure is nonatomic. For which class of invertible operators $V$( with continuous ...
- 677
-1
votes
2
answers
466
views
What conditions imply that a function over $\mathbb{Z}$ is a polynomial? [closed]
How would one prove that a function is a polynomial? I can't seem to find anything about this on the internet. I would like to know if there are any unique properties that only polynomials can satisfy....
- 1,129
-1
votes
1
answer
96
views
Limiting points of elementary set
I consider the following set
$$A:=\left\{ \frac{3mn}{2(m^2+mn+n^2)}; m,n \in \mathbb Z; \text{ and }m,n \text{ are not both zero}\right\}$$
Is it possible to identify the closure of $A$ in the reals?
- 124
-1
votes
1
answer
153
views
$\ell^q$ analog of square function
It is a classical result in harmonic analysis that
$$ \|\|P_kf\|_{\ell^2_k}\|_{L^p_x}\approx\|f\|_{L^p} $$
for $p\in(1,\infty)$, where $P_k$ is the Littlewood-Paley decomposition onto frquency $\...
- 5,169
-1
votes
1
answer
366
views
When is any convergence sequence is stationary?
Is there any characterization for a topological space under which every convergent sequence is stationary? (e.g. discrete topology)
-1
votes
2
answers
407
views
Almost isometric subspaces of $\ell_p$
1) Given $p\in (1,\infty)$.
2) Let us fix two, non-isometric subspaces $X,Y\subseteq \ell_p$ isomorphic to $\ell_p$.
3) Are there an $\varepsilon\in (0,1)$ and an isomorphism $S\colon X\to Y$ such ...
- 537
-1
votes
1
answer
98
views
Spectrum of sum of positive and negative operators
Let $(\mathscr{H}, \langle \cdot, \cdot \rangle)$ be a separable complex Hilbert space, and let $\mathscr{D}$ be a dense subset of $\mathscr{H}$. Let $P: \mathscr{D} \to \mathscr{H}$ and $N: \mathscr{...
- 21
-1
votes
1
answer
168
views
Space of distributions on $[0,1]^2$: weakly compact or not?
Let $X_1,X_2$ be distributions on $[0,1]$ and let $X=(X_1,X_2)$ be the joint distribution of $X_1,X_2$. Let $\mathcal{X}$ be the set of all such joint distribution $X$.
Question 1: Does $\mathcal{X}$ ...
- 349
-1
votes
1
answer
168
views
A question in functional analysis about selfadjoint operator [closed]
In Hilbert space $u$, Let $T_1$,$T_2$ is selfadjoint operator, if exit $c>0$ such that $cI\le T_1\le T_2$, prove $T_1$,$T_2$ have a bounded inverse operator and $c^{-1}I\ge T_1^{-1}\ge T_2^{-1}$.
I ...
- 1
-1
votes
2
answers
260
views
Function space and contractibility
$\DeclareMathOperator\map{map}$I have the following question:
Let $X$ and $Y$ be topological spaces. Let $\map(X,Y)$ denote the space of non-constant continuous functions from $X$ to $Y$. Suppose ...
- 315
-1
votes
1
answer
246
views
Density of normal elements in a C*- algebra [closed]
Let $A$ be a unital C*-algebra.
I wanted to know if there is a necessary and sufficient condition for normal elements to be dense in $A$?
- 149
-1
votes
1
answer
102
views
Is it true that $\nabla_x \int_0^\infty f(t,0) dt = 0 \implies \nabla_x f(t,0) = 0 \ \forall t>0$? [closed]
Let $f:\mathbb R_+ \times \mathbb R^N \to \mathbb R$ and $$F(x) = \int_0^\infty f(t,x) dt.$$ If $\nabla_x F(0) = 0$ do we have that $\nabla_x f(t,0) = 0$ for all $t \in \mathbb R_+$? If not, which ...
- 131
-1
votes
2
answers
129
views
Is it possible for all of the smooth/continuous curves in $R^3$ to form a Hilbert space? [closed]
Under which condition can it form a Hilbert space? Or what space can it form?
You can write down certain condition to make it to be a Hilbert space, e.g., Let $$p(t)=[x(t),y(t),z(t)]^T\in \text{R}^3$$ ...
- 11
-1
votes
1
answer
215
views
Dense linear span implies closed convex hull has non-empty interior
Let $X$ be a Fréchet space and let $Y\subseteq X$ such that $\overline{\operatorname{span}(Y)}=X$. It seems intuitive to me that $\operatorname{int}\big(\overline{\operatorname{co}(Y)}\big)$ is a non-...
- 5,405
-1
votes
1
answer
122
views
Approximation of function in general measure space
Let $\mu$ be a $\sigma$-finite measure on $R^n$ ($n\geq 1$) and $(E,d)$ be a complete metric space. For any measurable function $f: R^n\to E$ with
$$
\int_{R^n}d(f(x),f(x_0))\mu(dx)<\infty,\quad \...
- 411
-1
votes
1
answer
1k
views
Graph of function, continuous projection [closed]
$X$ and $Y$ are topological spaces. $f:X\rightarrow Y$ a map (we don't suppose that $f$ is continuous). Consider
$A=\{(x,f(x))\in X\times Y| x\in X\}$. is $\pi: A\rightarrow X$, $$(x,f(x))\mapsto x$$...
- 71
-1
votes
1
answer
135
views
Prove that Cartesian composition $c_0 \times c_0$ is not isometric isomorphic [closed]
Prove that Cartesian composition $c_0 \times c_0$ with rate $ \Vert (x_1 ,x_2)\Vert = \Vert x_1 \Vert_{c_0} + \Vert x_2 \Vert_{c_0} $ is not isometric isomorphic to space $c_0$.
- 21
-1
votes
1
answer
346
views
Riesz representation theorem for Hilbert-to-Hilbert mappings [closed]
Assume $\phi:\mathbb{H}_1\rightarrow \mathbb{H}_2$ is a continuous linear mapping between two real Hilbert spaces $\mathbb{H}_1$ and $\mathbb{H}_2$. If $\mathbb{H}_2=\mathbb{R}$, then the Riesz ...
- 313
-1
votes
1
answer
122
views
Injective choice function for non-separable $T_2$-spaces
For any set $X$ and cardinal $\kappa$ let $[X]^\kappa$ be the collection of all subsets of $X$ of cardinality $\kappa$.
I was looking for $T_2$-spaces $(X,\tau)$ with the property that
$(P)$ ...
- 48.9k
-1
votes
1
answer
517
views
On ultraproducts of topological spaces
Intuitively, I understand the construction of the hyperreals by ultraproducts as a process of turning the limit operation into an algebraic object. More precisely, to check the existence of the limit $...
- 563
-1
votes
1
answer
267
views
When is the orbit space of a manifold still a manifold of the same dimension?
$\mathbf{Question}$. Let us assume that $M^n$ is a topological manifold of dimension n, with a group action $\Gamma$, which acts discontinuously and freely on $M^n$. Is the orbit space $M^n / \Gamma$ ...
- 33
-1
votes
1
answer
237
views
Theorem with an example [closed]
i have this theorem
in the paper they gives an example:
but here $H_1$ is not satisfied !
How to correct it please?
- 277
-1
votes
1
answer
280
views
Showing there is a unique spectral measure
All the books I have seen have proved that, for a normal bounded operator $T$, there is a unique spectral measure $E$ such that $\int_{\sigma(T)}^{}\lambda\,dE=T$ by first proving in it for a general ...
- 127
-1
votes
2
answers
466
views
Union of proximally connected sets
Let (δ;U) is a proximity space.
I will call a set A connected iff for every partition {X,Y} of the set A holds X δ Y.
Is the following true? (I need a proof or a counter-example.)
Conjecture If S ...
- 765
-1
votes
1
answer
77
views
Applications and motivations of resolvent for elliptic operator
Let $ A(x)=(a_{ij}(x)):\mathbb{R}^d\to\mathbb{R}^{d\times d} $ be a matrix satisfying ellipticity condition, that is
\begin{align}
\mu^{-1}|\xi|^2\geq \sum_{i,j=1}^da_{ij}(x)\xi_i\xi_j\geq\mu|\xi|^2
\...
- 1,219
-1
votes
1
answer
83
views
"Large" compact sets in separable normed space
Let $(X, \lVert \cdot \rVert)$ be a separable normed space. Can we always guarantee that there is a nonempty compact set $K \subseteq B_X$, where $B_X$ is a closed unit ball in $X$ such that:
$$\...
- 820
-1
votes
1
answer
231
views
The set of prime numbers as a subspace of the Cantor set
We define an embedding of the set of prim numbers into the Cantor set as follows:
First we recall that the cantor set $\mathcal{C}$ is homeomorphic to $(\mathbb{Z}/10\mathbb{Z})^\omega $ since the ...
- 356
-1
votes
1
answer
116
views
Continuous surjection of $\mathbb{R}^{n-1}$ onto the interior of the $n$-simplex with continuous right inverse
Let $n$ be a positive integer. Clearly $\mathbb{R}^{n-1}$ and the interior of the $n$-simplex $
\delta_n := \{x \in [0,1]^n:\,\Sigma_k x_n =1, (\forall i)\,x_i>0\}
$ are homeomorphic. What I'm ...
- 5,405
-1
votes
1
answer
120
views
Definition of a $\psi$-Banach space [closed]
Let $X$ be a Banach space. Let $\mathcal{F}$ be the family of all the bounded subsets of $X$. If $I$ is the identity map on $X$, we shall denote by $\operatorname{span}\{I\}$ the vector space ...
- 291
-1
votes
1
answer
176
views
How do we approximate the pressure in the Boussinesq equations of hydrodynamics? [closed]
How do we approximate the pressure or the gradient of it in the Boussinesq equations of hydrodynamics ?
Is the pressure limited or can it be any amount?
- 11
-1
votes
1
answer
70
views
Is this kind of interpolation correct?
Let $f=\sum f_j$ be a finite sum. Assume that
$$ \|f\|_2\le(\sum\|f_j\|_2^2)^\frac12$$
$$\|f\|_\infty\le C\max_j\|f_j\|_\infty$$
Then can we conclude that for $2<p<\infty$
$$\|f\|_p\le C^{1-\...
- 1
-1
votes
2
answers
502
views
In a metrizable order topology, is the order relation compatible with the metric? [closed]
Does $x \le y \le z$ imply $d(x, y) \le d(x, z)$?!
-1
votes
1
answer
187
views
Existence of a special type of maximal ideal in $C(X)$:
Does there exist any maximal ideal $M^p$ in $C(X)$ (the ring of continuous functions on a topological space $X$) such that each element of $M^p$ is a divisor of zero but $M^p≠O^p$?
- 5
-1
votes
1
answer
328
views
About the critical points of quasi-convex functions
What do we know about the structure of critical points of quasi-convex functions?
I am looking for statements like "the critical points of a quasi-convex function are always either a global minima ...
- 2,246
-1
votes
1
answer
346
views
An infinite set in a compact space
Let $X$ be a topological space. Is there any characterization for the property that says "for every infinit subset $A$ of $X$ there exists $a\in A$ such that if $f$ be an arbitrary real continuous ...
-1
votes
2
answers
325
views
Corresponding between prime ideals in $C(X)$ and $C^*(X)$
we know that every maximal ideal in $C(X)$ is in this form:
$$M^p=\left\{\,f \in C^*(x):\ p\in cl_{\beta X} Z\left(f\right)\,\right\}$$
and every maximal ideal in $C^*(X)$ is
$$M^{*p}=\left\{\,f\...
- 35
-1
votes
1
answer
85
views
Intersection of complements of connected components (2)
Let $(X,d)$ be a non-compact, complete metric space and $K\subseteq X$ compact. Pick $x^* \in X\setminus K$.
Let $E$ be the connected component of $X\setminus K$ that contains $x^*$. Let ${\cal C}$ ...
- 48.9k
-1
votes
1
answer
360
views
Which operators other than self-adjoint operators have no purely imaginary eigenvalues? [closed]
Given an operator mapping between suitable spaces, what is the condition that guarantees all eigenvalues have nonzero real part? Obviously self-adjointness implies all eigenvalues are real, but how ...
- 7
-1
votes
1
answer
148
views
Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$ [closed]
Given a topological space $Y$, let $\mathcal{P}(Y)$ be the set of all probability measures on $Y$, endowed with the weak* topology.
Let $X$ be a topological space (for convenience, it might be Polish ...
-1
votes
1
answer
104
views
Question about measure lemma?
"Let (u_j) be a bounded sequence from $W^{1,p}(\Omega)$ how to prove that there exists a subsequence such that $u_j\rightharpoonup u$ in $W^{1,p}_0(\Omega)$ and $|\nabla u_j|\rightharpoonup d\mu,$ $|...
- 277
-1
votes
1
answer
516
views
Equivalence of two definitions of Sobolev spaces
Good morning,
I am looking for a reference about the following fact that seems to be folklore. Define the Sobolev (Beppo Levi?) space
$$
D^{1,p}(\mathbb{R}^N) = \left\{ u \in L^{p^*}(\mathbb{R}^N) \...
- 9
-1
votes
2
answers
1k
views
The boundary of this set is piecewise smooth? [closed]
Consider a sequence of open sets in $R^n$: $\Omega_1 \supset \Omega_2 \supset\cdots$. Consider that this sets are bounded, convex with the boundary piecewise smooth .When i say smooth i mean $C^{\...
- 269
-1
votes
1
answer
128
views
Proving convergence of an integral-differential equation [closed]
I have a second order nonlinear ordinary differential equation which I transformed into an integral-differential equation by multiplying the ODE by $y'$ and integrating.
My question is where can I ...
- 1,594
-1
votes
1
answer
187
views
Limit of a function in a weighted Sobolev space
I have a function $f(x)$ in the space $H^{2,-s}(\mathbb{R}^3)$; have this limit sense
$$\lim_{|x-y|\to 0} f(x)$$
? ($y$ is a fixed point)
If i have $f$ in $H^2$ I can say that
$$\lim_{|x-y|\to 0} f(x)=...
- 25
-1
votes
1
answer
1k
views
relation between inclusion and embedding [closed]
Assume that $X$ and $Y$ are two Banach spaces, now we have that $X$ is included in $Y$, in the sense that $\forall a\in X$, we have $a\in Y$. Then can we get that $X$ is embedded in $Y$, namely, $\...
- 331
-1
votes
1
answer
115
views
Is this function on the Cantor set continuous? [closed]
Let $S = \displaystyle \prod_{n \ge 1} \{ 0, 1\}$ be the set of binary sequences, so $S$ with the product topology is homeomorphic to the Cantor set. Endow $\mathbb{Z}_{\ge 1} \cup \{ \infty \}$ with ...
- 233
-1
votes
1
answer
286
views
Check an equation on the Heisenberg group $H_1$
The Heisenberg group $H_1$ is the set $\mathbb C\times \mathbb R$ endowed with the group law
$$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right); \quad \forall z,w \in \mathbb C\,...
- 650
-1
votes
1
answer
153
views
Sobolev estimates $\|\nabla\phi\|_{\infty}\leq C\|\phi\|_{H^2}$
This is a cross post in continuation to this question on Mathematics Stack Exchange. I wanted to know if this inequality holds true in two or three dimensions,
$\|\nabla\phi\|_{L^{\infty}(\Omega)}\leq ...
- 101