All Questions
13,926 questions
-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
-2
votes
1
answer
423
views
Brouwer's theorem 2.0? [closed]
Let $f\in C([0,1]^n,\mathbb R^n) $ with $[0,1]^n \subset f([0,1]^n)$
Is it true that $\exists x \in [0,1]^n, f(x) =x$?
- 4,074
-2
votes
3
answers
850
views
Books on analytic functions on Banach spaces over a non-Archimedean field
I'm looking for good textbooks on analytic functions on Banach spaces over a non-Archimedean field.
If you know one(s), please let me know.
- 1,169
-2
votes
2
answers
1k
views
Are there examples of compact infinite dimensional manifolds? [closed]
Are there known examples of compact infinite dimensional manifolds?
The word "manifold" is important.
- 73
-2
votes
2
answers
124
views
Example of connected Hausdorff space $X$ and surjective continous map $f:X\to X\times X$ [closed]
What is an example of a connected Hausdorff space $X$ with $|X|>1$ and a surjective continous map $f:X\to (X\times X)$?
- 48.9k
-2
votes
2
answers
674
views
Must a countable Polish space be discrete? [closed]
I am looking for an elegant proof of the fact that a countable metric space is complete iff its underlying topology is discrete.
It is easy to see that a discrete space is complete because its ...
- 2,655
-2
votes
1
answer
1k
views
holomorphic extension of a function [closed]
hi,
I have the following question: let $U \subset \mathbb{C}^{n}$ be some open set containing zero. let $\tilde{U} = U \cap \mathbb{R}^{n}$. assume we have a real-valued analytic function $f : \tilde{...
- 29
-2
votes
1
answer
241
views
Does a group representation being transitive on a basis imply irreducibility?
Let $G$ be an infinite discrete group and $\pi$ a representation of $G$ on the Hilbert space $H$.
Suppose that the group representation is transitive on an orthonormal basis $B = \{e_j\}_{j=1}^{\infty}...
-2
votes
1
answer
458
views
some trouble over the cardinality of the cantor set(middle one-thirds) [closed]
firstly i thank you for taking interest in my post but i am new here so if i have made some mistakes or done something which is out of place please point out.my problem is-
we know that the cantor ...
- 19
-2
votes
1
answer
3k
views
Separability of continuous functions with compact support [closed]
Hi,
is the space $C_0(\mathbb{R}^m)$, $m \in \mathbb{N}$ of continuous functions with compact support separable? If yes: where can I find a proof for that?
Please note: this is not a duplicate of ...
- 9
-2
votes
1
answer
665
views
weak convergence
I know the following result is true in the case of strong convergence. But I don't know whether it is true in the case of weak convergence also.
Let $p>1$. Suppose that each $x_n$ is a non negative ...
- 779
-2
votes
1
answer
143
views
Relationship between noncommutative torus for different values of theta [closed]
Let $u,v\in B(L_2(\mathbb T))$ defined as $u(f)(z)=zf(z)$ and $v(f)(z)=f(ze^{-2\pi i\theta})$ for $z\in\mathbb T$ where $\theta\in\mathbb R\setminus\mathbb{Q}$. Denote the $C^*$ algebra generated by $...
- 1,879
-2
votes
1
answer
216
views
Inverse of Sobolev interpolation inequality : $\lVert u \rVert_2 \lVert \Delta u \rVert_2 \leq C\lVert \nabla u \rVert_2^2$?
If $u : \mathbb{T}^3 \to \mathbb{R}$ is a smooth function on the $3$-dimensional torus $\mathbb{T}^3$, I wonder it is possible to reverse the Sobolev interpolation inequality in the sense that
\begin{...
- 3,477
-2
votes
1
answer
131
views
$G$- space is locally compact [closed]
Suppose $X$ is a topological space ,$G$ Is a locally compact group.If the quotient space $G\backslash X$ is compact,can we deduce that $X$ is locally compact?
- 451
-2
votes
1
answer
1k
views
Weak convergent $+$ strongly convergent subsequence $\Rightarrow$ strong convergence? [closed]
Let $X$ be a Hilbert space containing functions defined over a bounded region $\Omega\subset \mathbb{R}^N$. Assume $f_n\in X$ converges weakly to $f\in X$, and also has a strongly convergent ...
- 395
-2
votes
1
answer
99
views
A question on the zeros involving the equation containing exponential factor [closed]
I recently encounter a puzzle that: how to show that for any constant $c_1,c_2,c_3,c_4 \in \mathbb{R}$ the equation
$$c_1 e^t+c_2e^{-t}+c_3 e^{\alpha t}+c_4 e^{-\alpha t}=0$$
has at most only one ...
- 353
-2
votes
1
answer
803
views
No Hilbert space can have countable Hamel basis without using Baire's Category theorem [closed]
I want to prove that no Hilbert space can have countable Hamel basis just using the fact that any finite dimensional subspace is closed (more specifically without using Baire's theorem). I saw a paper ...
- 317
-2
votes
1
answer
3k
views
Multiplying two Fourier series gives one Fourier series, but what are the new coefficients? [closed]
If I have $A(x)=B(x) C(x)$ (sine periodic from 0 to 1) rewritten as
$\sum_n A_n \sin(n \pi x)=\sum_m B_m \sin(m \pi x)\sum_p C_p \sin(p \pi x)$
is there any easier way to compute $A_n$ from $B_m,...
- 149
-2
votes
2
answers
954
views
Three modifications of connectedness
This question arose in my research of generalized connectedness (see this draft article for the overall idea, but beware that the draft is yet too preliminary and unreadable, however I hope you can ...
-2
votes
1
answer
118
views
Mismatch between equivalent definitions of the Bohr compactification of the reals
I feel I'm overlooking something very silly.
The Bohr compactification of $\mathbb R$ has two equivalent definitions.
The set of (possibly discontinuous) homomorphisms $\mathbb R \to \mathbb T$ under ...
- 1,955
-2
votes
1
answer
217
views
If a continuous function is differentiable at a point, is it differentiable in some neighborhood around that point? [closed]
This seems like it should be true but I was wondering if anyone could prove it. Thanks!
- 109
-2
votes
1
answer
138
views
Weak center is same as center for $C^{\ast}$-Algebra? [closed]
Let $A$ be a $C^{\ast}$-algebra. We say $A$ is weakly commutative if $ab^*c=cb^*a$ for all $a,b,c \in A$ and define weak center of $A$ as $$Z_w(A)= \{ v \in A : av^*c=cv^*a \;\forall a,c \in A \}.$$
...
- 1,115
-2
votes
1
answer
147
views
Asymptotics for certain integrals
I stumbled on the following problem, if you can see a way through it.
Let $x$ be a real variable and fix a real value $\frac14\leq\nu\leq\frac34$.
QUESTION. For $x\rightarrow0$, does there exist a ...
- 43.2k
-2
votes
1
answer
1k
views
Component and quasi-component
Let $X$ be a topological space and $x\in X$. Then the quasi-component of the point $x$, denoted by $C_x$, is the intersection of all clopen (closed-and-open) subsets of $X$ which contain the point $x$...
- 1
-2
votes
2
answers
325
views
$f\in (W^{1,p}(\Omega)\cap C(\Omega) \cap L^{\infty}(\Omega))\setminus C(\bar{\Omega})$, $f=0$ on $\partial \Omega$ imply $f\in W^{1,p}_{0}(\Omega)$?
Q1:
Let $p\geq 1$, and let $f\in W^{1,p}(\Omega)\cap C(\Omega)$. Assume also
$f\in L^{\infty}(\Omega)$ and $f=0$ on $\partial \Omega$. Is it true that
$f\in W^{1,p}_{0}(\Omega)$ even if $f\notin C(\...
- 852
-2
votes
1
answer
389
views
Bounded metric spaces with non-surjective self-isometry
A metric space $(X,d)$ is said to be bounded if there is $r\in\mathbb{R}$ such that for all $x,y\in X$ we have $d(x,y) \leq r$.
A self-isometry is a map $\iota:X\to X$ such that for all $x,y\in X$ we ...
- 48.9k
-2
votes
1
answer
146
views
a measure convolution equation
My question is:
Given a function $f$ in the Schwartz class, we are looking for a measure $\mu$ which is a solution of the convolution equation: $f = e^{-|.|^2/2} \ast \mu$, where $e^{-|.|^2/2}$ is ...
- 367
-2
votes
1
answer
80
views
Density property for Sobolev spaces
My question is as follows: is the space $ C_c^{\infty}(\mathbb{R}^3 \setminus \mathcal{C}) $ dense in $ H^1( \mathbb{R}^3) $ where $ \mathcal{C} $ is the circle $ \{(x,y,z) \in \mathbb{R}^3 \mid x^2 +...
- 1
-2
votes
1
answer
314
views
Series representation for $\log(|\zeta(\frac{1}{2}+it)|)$
(Question is short and straight-forward. )
What is/are "nice and non-trivial" series representation/s of $\log(|\zeta(\frac{1}{2}+it)|)$ ??
By "nice and non-trivial" I mean contains no ...
- 375
-2
votes
1
answer
158
views
About local maxima of multivariable polynomials
Lets say I have a real valued function which is writable as a polynomial in terms of Frobenius norms of a pair of matrices as in it is of the form, $f_B(A) = f(||A||_F^2, ||AB||_F^2, ||A^TAB||_F^2)$ ...
- 2,246
-2
votes
1
answer
111
views
Is this space discrete? [closed]
Let X be a Tychonoff space such that for any closed set A there exist a continuous function f: X to R such that A=cl(X-Z(f)). Is this space X discrete?
- 5
-2
votes
1
answer
193
views
Analysis of Sobolev spaces [closed]
I just wanted to know wthether the following is OK or not.
Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...
- 157
-2
votes
1
answer
395
views
non-trivial convergent sequence [duplicate]
I have reached a deadlock to find a example to show that a compact Hausdorff space does not need to have a no non-trivial convergent sequence.(except $\beta\omega$)
can you give me a example of ...
- 147
-2
votes
1
answer
295
views
When does the adjoint operator map closed convex subsets to closed convex subset?
Let $T:X\rightarrow Y$ be a linear continuous map between Banach spaces $X$ and $Y$ and denote by $T':Y'\rightarrow X'$ the norm adjoint of $T$. Let $M\subseteq U'$ be a subset of
the unit sphere $U'$ ...
- 101
-2
votes
1
answer
476
views
Countable open subgroup
In a Hausdorff topological group, how can I show that every infinite topological group has a countable open subgroup?
- 7
-3
votes
1
answer
315
views
Are the injective functions dense in $C([0,1]^n,\mathbb R^n) $?
Let $n\geq 2$. Are injective functions dense in $C([0,1]^n,\mathbb R^n) $ with the uniform norm?
- 4,074
-3
votes
2
answers
7k
views
Continuous map from $\mathbb R^2$ to $\mathbb R$? [closed]
There must be a map from $\mathbb R^2$ to $\mathbb R$, since they are the same cardinality. But is there a construction for a continuous map from $\mathbb R^2$ to $\mathbb R$?
I guess what I mean is ...
-3
votes
3
answers
753
views
Riemann Mapping Theorem in Higher Dimensions for Continuous funcions [closed]
Is there any analogue for Riemann Mapping Theorem(!) in higher dimensions?
Or a much simpler question, is it true that every open subset of $\mathbb{R}^3$ with zero homology in dimensions 1 and 2 is ...
- 615
-3
votes
1
answer
232
views
Function satisfying $f(x)^{f^{-1}(x)}=x^2$ with $ f^{-1}$ is a compositional inverse of $f$ and $f:\mathbb{R+}\to \mathbb{R+}$?
Let $f$ be a function such that :$f:\mathbb{R+}\to \mathbb{R+}$ and $f^{-1}$ is a compositional inverse of $f$ , I have tried to find solution of the following functional $f(x)^{f^{-1}(x)}=x^2$, I ...
-3
votes
1
answer
361
views
Basis for space of continuous, surjective monotone functions on $\mathbb{R}$ [closed]
$\DeclareMathOperator\CM{CM}$
I recently came across Okhezin - Study of families of monotone continuous functions on Tychonoff spaces describing monotone functions on general topological spaces and I ...
- 5,405
-3
votes
2
answers
768
views
Question on Linear Operators
Let $V$ be a normed infinite dimensional vector space. Let $L: V \longrightarrow V$ be a bounded linear operator. Moreover assume that $L$ is 'locally nilpotent' that is:
$$ \forall v \in V \quad \...
- 741
-3
votes
2
answers
1k
views
Finite versus infinite on non-Hausdorff topologies [closed]
Question: Does there exist some real-valued function $f(x)$ where $f: \mathbb{R} \to \mathbb{R}$, for which $\lim_{x \to \infty}$ converges on a non-Hausdorff topology but does not converge on a ...
- 283
-3
votes
1
answer
125
views
Basis of Euclidean topology on $\mathbb{R}$ such that no element is contained in another [closed]
What is an example of a topological base ${\cal B}$ for $\mathbb{R}$ with the Euclidean topology such that for every $B_1\neq B_2 \in {\cal B}$ we have $B_1\not\subseteq B_2$?
- 48.9k
-3
votes
1
answer
191
views
The usual topologies [closed]
My questions are :
Why do we commonly use certain usual topologies rather than others ? For example the usual topology on the real numbers, the topology of
uniform convergence, the compact-...
- 129
-3
votes
1
answer
634
views
compactly supported harmonic functions [closed]
Do a significant class of compactly supported smooth functions u on Ω⊂Rn such that Δu≥0 exist?
Thanks!
- 25
-3
votes
1
answer
211
views
Can a Polish space have two different topologies?
Let $X$ be a Polish space with the compatible metric being $d_1$. So $(X,d_1)$ is a separable complete metric space, and the topology is generated by $d_1$.
Can there be a metric $d_2$ such that $(X,...
- 291
-3
votes
1
answer
392
views
A generalization of Chebyshev's sum inequality
From some my previous questions here and here and well-known rearrangement inequality. I pose an inequality as follows and I am looking for the proof or a reference.
Inequality: Let $y=f(x,y)$ is ...
- 1,776
-3
votes
1
answer
330
views
Loop space of manifold [closed]
Question A: The free loop space of a manifold is also a manifold?
Question B: The free loop space of an algebraic variety is also a algebraic variety ?
Are these questions asked or answered anywhere ...
- 189
-3
votes
2
answers
314
views
Dispensing with the notion of infinity for the sake of coverings [closed]
Instead of taking a one to one correspondence meaning each set has the same number of elements. why not use the concept of coverings of topology? The irrational numbers covers the whole numbers but ...
- 117
-3
votes
1
answer
76
views
Minimal norm problem with linear combination of translation operator to be estimated
Follow up question from this one
Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form
$$
H = H(\alpha_1,...
- 115