All Questions
5,185 questions
1
vote
1
answer
1k
views
A question about unbounded connected subsets of the plane.
A number of clever examples have been given of unbounded connected subsets of the
Euclidean plane containing no infinite bounded subsets that are connected. None of those that
I have seen are ...
- 6,215
1
vote
1
answer
492
views
Сomplete homogeneous space which is not locally compact
It is well-known theorem that every locally compact, homogeneous, metric space is complete.
Does anybody know example of complete, homogeneous, metric space which is not locally compact?
- 141
1
vote
1
answer
387
views
Why not use usual topology in ordered spaces ?
This is a similar question to the one about the lack of use of usual topologies in measure theory. By usual topology here is meant the Hausdorff-Kuratowski-Bourbaki concept, based on open sets, or ...
1
vote
1
answer
1k
views
Besicovitch Covering Constant for R^1
In the case where $E\subset\mathbb{R}^1$, a Besicovitch cover of $E$ is a cover by open intervals such that each point of $E$ is the center of some interval in the cover.
The Besicovitch Covering ...
- 111
1
vote
1
answer
89
views
Real exponentiation in the quotients of rings of continuous functions by prime ideals
Consider the ring $C = C(X) = C(X; \mathbb{R})$ of continuous functions $f:X\to \mathbb{R}$ where $X$ is a Tychonoff space. This is naturally a lattice ordered ring by setting $f\geq 0$ iff $f(x)\geq ...
- 1,211
1
vote
2
answers
131
views
Axiomatic definition of Katětov closure operator
In the book "Categorical Structure of Closure Operators with Applications to Topology" by Dikranjan and Tholen a Katětov closure operator is defined in terms of filter covergence:
$k_X(M):=\{...
1
vote
1
answer
72
views
Is this notion of being "fully" convex closed under set addition?
While reading through "Linear Operators: General theory" by "Jacob T. Schwartz", reading the corollary to II.10.1 which states that for a compact convex subset $C$ of some ...
- 204
1
vote
1
answer
87
views
Semigroup algebras with one dimensional center
Let $S$ be a finite semigroup and $K$ a field of characteristic 0 (we can assume the complex numbers for simplicity).
Question: Is there a characterization when the center of the semigroup algebra $...
- 26.5k
1
vote
1
answer
129
views
Cycles in almost breakable semigroups
Last October, I learned from Benjamin Steinberg's answer to another question of mine that a semigroup $S$ is called breakable if $xy \in \{x, y\}$ for all $x, y \in S$. Let's now say that $S$ is an ...
- 10.5k
1
vote
1
answer
263
views
Does global boundedness ruin Stone-Weierstrass denseness?
Let $X$ be any topological space and denote by $\tau_X$ the topology on $C_b(X;\mathbb{R})$ that is induced by the family of seminorms $(\|\cdot\|_\psi\mid\psi\in B_0(X))$ with $\|f\|_\psi:=\sup_{x\in ...
- 463
1
vote
1
answer
165
views
Trivial convergent sequences in $\beta X$
Let $X$ be a Tychonoff space and denote by $\beta X$ its Stone-Čech compactification. We know, for example, that if $X$ is an $F$-space then $\beta X$ is an $F$-space and, therefore, in $\beta X$, the ...
- 151
1
vote
1
answer
112
views
Changing a metric to that 2 points have different distance
Let $X$ be a compact metric space. Assume that $X$ has more than $2$ points (or even better, that $X$ is connected with more than 1 point). Given a metric $d$ on $X$ we define $$d(x,X)=\max\{d(x,z):z\...
- 3,317
1
vote
1
answer
177
views
Does the topology of Wasserstein space $(\mathcal P_p (E), W_p)$ coincide with the initial topology induced by $\mathcal C_b(E) \cup \{g_p\}$?
Let $(E, d)$ be a Polish space and $\mathcal C_b(E)$ the space of all real-valued bounded continuous functions on $E$. Let $p \in [1, \infty)$ and $\mathcal P_p (E)$ the space of all Borel probability ...
- 825
1
vote
1
answer
177
views
B-topological ring that is not semi-topological?
A topological space $A$ that is also a ring with operations ‘$+$’ and ‘$.$’, is a semi-topological ring if the mappings
\begin{gather*}
a_1: A\times A \to A\text{ such that }(x,y)\to x+y, \\
a_2: A \...
1
vote
1
answer
124
views
A neighborhood $Y$ of a set $X$ such that the line segment connecting any point in $Y$ and its projection to $X$ is contained in $Y$
A direct line from a point $p$ to a set $X$ is a line segment with one endpoint at $p$ and one endpoint in $X$, which is as short as any other line segment from $p$ to $X$. Given a closed set $X$ and ...
- 637
1
vote
1
answer
85
views
Vanishing of $H^*(f^{-1}[0,c], f^{-1}(0))$ for small $c$, and $f\in C^0(X, [0,+\infty))$
Let $X$ be a topological space and consider a continuous function $f:X\to [0,+\infty)$. For $c\geq 0$ set $X_c := f^{-1} ([0,c])$.
Furthermore, suppose that $X_0 \neq \emptyset$ and $f$ is proper.
...
- 2,533
1
vote
1
answer
332
views
Extension of measurable function from dense subset
Let $M$ be a compact riemannian manifold equipped with a geodesic distance and let $\mathcal{B}(M)$ be the borel sigma algebra generated by the geodesic distance. Let $(\Omega,\mathcal{F},\mathbb{P})$...
1
vote
1
answer
389
views
About isotopy of simple close curve
In the Primer mapping class group by farb Margalit. We have :
Proposition 1.10 Let $\alpha$ and $\beta$ be two essential simple closed curves in a surface $S$. Then $\alpha$ is isotopic to $\beta$ if ...
- 119
1
vote
1
answer
172
views
A question about pushforward measures and Peano spaces
Specifically my question is the following: Let $P$ be a Peano space. If $(P,\sigma,\mu)$ and $(P,\sigma,\nu)$ are both nonatomic probability measures, does there exist a continuous function $f:P\to P$ ...
- 33
1
vote
1
answer
292
views
Isometry and gluing between smooth manifolds - some references
I have a doubt that assails me.
The technique of gluing along edges between manifolds is generally considered in the topological context.
I don't know if there are other gluing techniques.
I was ...
- 272
1
vote
1
answer
182
views
Uniform covering and uniform continuity
Following
About uniform continuity
Let $E$ be a topological space, for all $a \in E$, we associate an open set of $E$, $U(a)$ containing $a$.
We will say that $\{U (a), a \in E\}$ is a uniform ...
- 4,074
1
vote
1
answer
203
views
Open images of submetrizable spaces
In [Tka] the author writes:
"Every topological space $X$ can be represented as an open continuous image of a completely regular submetrizable space $Y$ (in other words, $Y$ admits a continuous ...
- 115
1
vote
1
answer
250
views
Understanding Kelley's intersection number (Boolean algebras)
It is known that:
Theorem (Kelley, 1959). There exists a finite, strictly positive, finitely additive measure on a Boolean algebra $A$ if and only if $A^+$ is the union of a countable number of ...
- 11
1
vote
1
answer
137
views
Density and compactness of Boolean embeddings
Let A and B be Boolean algebras and $h:A\rightarrow B$ a
Boolean embedding.
If every element of $B$ can be expressed both as a join
of meets and as a meet of joins of elements in $h(A)$, then the ...
- 281
1
vote
1
answer
102
views
Approximate Jordan-Brouwer theorem (corrected)
My first attempt to ask this question sort of failed (I'll explain below).
This came up when thinking about this question.
It is well-known that the image of a homeomorphic embedding $f:S^n\to \mathbb{...
- 5,529
1
vote
1
answer
116
views
Disjoint union of clopen sets such that the fibers has constant cardinality [closed]
Let $Z$ a compact set and $X$ a locally compact set. Let $p:Z\to X$ a local homeomorphism. Show that there exists $n≥1$ and $U_1,…,U_n$ open and closed sets of $X$ such that :
$X=\sqcup_{i=1}^{n}U_i$
...
- 53
1
vote
1
answer
85
views
Derivable relations in a monoid
Let $ X $ be a monoid which is generated by the elements $ x_1, x_2, \hat x_1, \hat x_2 $ and the relations $ \hat x_i x_i = 1 $ and $ x_i \hat x_j = \hat x_j x_i $ for any distinct $ i, j = 1, 2 $.
...
- 327
1
vote
1
answer
114
views
Qualitative analysis of the equation and symmetry (point on sphere)
A point moves on the surface of sphere ($R>0$ - radius) along the curve defined by the differential equation in spherical coordinate system:
$R^2(|\dot \theta|^2 + w^2 \sin^2 \theta)=(at)^2$, ...
1
vote
1
answer
488
views
Mandelbrot set and logistic map connection
I'm currently writing an undergraduate thesis on chaos theory with a particular focus on the connection between the Mandelbrot set and the logistic map. I have found scattered posts on this site, ...
1
vote
1
answer
151
views
Regularity and ultrafilter
I read the following result in an article.
Let $X$ be a regular space. Let $\mathcal{M}$ be free closed
ultrafilter on $X$. Set $\mathcal{U=}\left\{ U:U\text{ is open and there
exists a }F\in \mathcal{...
- 1,367
1
vote
1
answer
80
views
Projecting Graph of a Function acted on by a homeomorphism
Let $X,Y$ be compact, connected, simply-connected, and separable, metric spaces each with at-least $2$-points, and let $f,g:X\rightarrow Y$ be continuous functions. Does there always exist a ...
- 5,405
1
vote
1
answer
169
views
Polynomial constraints on the values of continuous functions $\mathbb{R}\to\mathbb{R}$
Denote by $S$ the set of closed points in $X=\mathrm{Spec}\:\mathbb{R}[x_\alpha]$ ($\alpha \in \mathbb{Q}$) that have $\mathbb{R}$ as their residue field. There is an injective map from the set of ...
user158636
1
vote
1
answer
132
views
Perfect images of complete Erdős space
Let $\mathbb P$ denote the space of irrational numbers. In an answer to this question, Taras Banakh showed that the perfect images of $\mathbb P$ are precisely the Polish spaces with no compact ...
- 3,317
1
vote
2
answers
223
views
Covering dimension of uncountable union of compact spaces
It is well-known that the (covering) dimension of countable union of compact spaces is the superium dimension of these spaces. I would like to understand certain uncountable union of compact spaces as ...
- 675
1
vote
1
answer
278
views
Borel hierarchy and tail sets
Let $A$ be a finite set, and let $A^\infty$ be the set of all sequences $(a_n)_{n=1}^\infty$ of elements of $A$.
A set $B \subseteq A^\infty$ is a tail set if for every two sequences $\vec a, \vec b \...
- 745
1
vote
1
answer
303
views
Comparison of product topology and colimit topology in sequence spaces
In Munkres Theorem 20.4 it is shown that the (relative) uniform topology induced by:
$$
d(x,y)\triangleq \sup_{n \in \mathbb{N}} d(x_n,y_n)
$$
is strictly finer than the product topology on $\prod_{n \...
- 5,405
1
vote
1
answer
997
views
Explanation of $\sigma$-weak topology von a von Neumann algebra [closed]
Let $A$ be a von Neumann algebra. I want to understand the precise meaning of the $\sigma$-weak topology on $A$. What I understand so far is the following: The $\sigma$-weak topology, which we will ...
1
vote
1
answer
146
views
Are the separability and autoseparability equivalent for (locally) compact topological group?
Definition. A topological group $G$ is called autoseparable if there exists a countable subset $S\subset G$ and a sequence $(f_n)_{n\in\omega}$ of automorphisms of $G$ such that for any neighborhood $...
- 42k
1
vote
1
answer
165
views
Is the set of non-escaping points in a Julia set always totally disconnected?
I am looking for examples of transcendental entire functions $f:\mathbb C\to \mathbb C$ such that the set of non-escaping points in the Julia set of $f$ is not totally disconnected. I denote this set $...
- 3,317
1
vote
1
answer
326
views
Closed submonoid of $(\mathbb{C}^*)^n$
The answer of this question might be known but I was not able to find any answer. Let $n\geq 1$ and $S$ be a closed submonoid of $(\mathbb{C}^*)^n$, that is, a closed and stable by product subset of $(...
- 143
1
vote
1
answer
172
views
Ordering a subset of the clopens of a Stone space
Let $P$ be a countably infinite set of propositional variables and $\mathcal{L}_P$ be the propositional language generated from $P$ and the usual connectives $\wedge$, $\neg$, $\vee$. The set $\...
- 125
1
vote
2
answers
275
views
Again, proving that specific preorder on the set of measurable functions is symmetric
This question is followup to the previous similar question. There I was trying to find good sufficient condition for abstract preorder to be symmetric, but now, as I have found good formalization of ...
- 105
1
vote
1
answer
341
views
connected and quasi-connected separators of a space
Does there exist a connected topological space $X$ and a subset $A\subseteq X$ such that no connected component of $A$ separates $X$, but some quasi-component of $A$ separates $X$?
Meaning $X\...
- 107
1
vote
1
answer
70
views
Generalizing cycle/pseudo-tree factorizations for permutations/transformations to arbitrary binary relations
It's well known every permutation has a unique factorization into disjoint cycles (up to a re-ordering of these factors since they commute), while similarly it can be shown that every transformation ...
- 2,506
1
vote
1
answer
113
views
The preimage of continuum on Torus
Let $p:\mathbb{R}^2\rightarrow\mathbb{R}^2/\mathbb{Z}^2$ be the natural projection, obviously $\mathbb{R}^2/\mathbb{Z}^2$ is the torus $\mathbb{T}^2$, if $K$ is a connected and compact subset of $\...
- 97
1
vote
1
answer
260
views
Understanding equivalent condition for covering dimension
Let dim $X$ denote the Lebesgue covering dimension for a topological space $X$. Now a result in common books concerning dimension theory states the following:
If $X$ is a normal topological space, ...
- 149
1
vote
1
answer
313
views
Group action on quasi-isometric geodesic metric space [closed]
If a group $G$ acts on a geodesic metric space $X$, then does $G$ act on a geodesic metric space $Y$ which is quasi-isometric to $X$?
- 81
1
vote
1
answer
51
views
Complexity of set of fibers on which a set is relatively clopen
Let $X$ and $Y$ be compact metrizable spaces with $f:Y\rightarrow X$ an open surjection. Suppose that $G\subseteq Y$ is a closed set. How topologically complicated can the set $\{x\in X : f^{-1}(x)\...
- 13k
1
vote
1
answer
114
views
Quantity of partition sets intersecting a compact set
Let $X$ be a compact metric space.
Let $\{X_\alpha:\alpha\lt \mathfrak c\}$ be a partition of $X$ into $\mathfrak c=|\mathbb R|$ dense first category $F_\sigma$-subsets of $X$.
Let $A$ be a non-...
- 3,317
1
vote
1
answer
92
views
Maxed-out Hausdorff metric
Let $(Y,d)$ be a non-degenerate compact metric space, and let $d_H$ be the Hausdorff metric (https://en.wikipedia.org/wiki/Hausdorff_distance) on $K(Y)$ generated by $d$.
Here $K(Y)$ is the set of ...
- 955