All Questions
5,184 questions
0
votes
0
answers
135
views
Are geometric progressions closed in the $p$-adic topology?
For a prime number $p$, the $p$-adic topology on the set $\omega$ of non-negative integers is generated by the base consisting of the arithmetic progressions $x+p^n\omega:=\{x+p^ny:y\in\omega\}$ where ...
- 42k
0
votes
1
answer
134
views
A closed subset $B$ of the Hilbert cube such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set
$\def\cube{\mathbf Q}$Let $\cube$ be the Hilbert cube. Give an example of a closed subset $B$ of $\cube$ such that $\operatorname{Int}(B) = \emptyset$ and $B$ is not a z-set.
If anyone has any idea ...
0
votes
0
answers
68
views
Specific property of borelian sigma-algebras
Let X be a set and S a sigma-algebra on X.
Let us name borelian sigma-algebra on X a sigma-algebra that is generated by a topology T on X. Given that it is possible for a set X that some sigma-...
- 2,655
0
votes
0
answers
117
views
Cardinal Invariants and Physics
There are many applications of topology to physics, but I wonder if there is a known application of cardinal invariants to physics.
0
votes
0
answers
144
views
Making a quasi-compact open into an affine open
Let $X$ be a spectral topological space, $U\subset X$ be a quasi-compact open subspace. Is there necessarily some scheme structure on $X$ (we do not require it to be affine) such that $U$ endowed with ...
user138661
0
votes
0
answers
146
views
A scheme whose underlying space is the product of the underlying spaces of schemes
We know that the product of two spectral topological spaces is spectral.
If $X$ is the underlying space of the scheme $\mathrm{Spec}\,\mathbb{Z}[x]$, what is a simple example of an affine scheme ...
user140269
0
votes
0
answers
325
views
Grothendieck topology on a scheme equivalent to the circle
Suppose a class of morphisms of schemes is reasonable enough so that we can associate a small site to any scheme (just like small étale site). Is there a simple class of morphisms such that there is a ...
user138661
0
votes
1
answer
84
views
Primage structures: induced domain partitioning by itterated inverse (reference request)
I am studying the list of inverse images (preimage sets) of some function $f$ at a given inverse depth $j$ -- for each element $x_i$ of a finite domain $X$.
For example, the j-th such preimage list ...
- 23
0
votes
0
answers
59
views
A retract algebraic subset of the plane which does not admit an algebraic retraction
What is an example of an algebraic (=Zariski closed) subset $C$ of $\mathbb{R}^2$ which is a topological retract of $\mathbb{R}^2$, but there is no algebraic retraction $P:\mathbb{R}^2 \to C$?
What ...
- 356
0
votes
0
answers
58
views
Does the total space of a bundle satisfy the Tietze extension property when the fiber and base space do satisfy this property?
We say that a Topological space $Y$ satisfies the Tietze extension propery, TE property, if in the formulation of Tietze extension theorem "$\mathbb{R}$" can be replaced by $Y$.
Obvioysly the ...
- 356
0
votes
0
answers
643
views
A new generalization of the dimension?
During my research, I came a cross on these notions :
Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...
- 4,074
0
votes
0
answers
213
views
make me idempotent
$T_n$ be the full transformation semigroup on $X_n= \{1, 2, \cdots , n\}$.
$D_r =\{\alpha \in T_n: |im(\alpha)|=r\}$.
$E(D_r)$ is the set of all idempotents of semigroup $T_n$.
$support(\alpha)=\{...
- 109
0
votes
0
answers
136
views
Amalgamated free-product of semigroups (definition)
I am self-studying some concepts including the title one. I reached the definition of an amalgamated free-product ${S_1}{*_U}S_2$ where $[S_1, S_2; U, w_1,w_2]$ is an amalgam of semigroups. Let $S_1=\...
- 233
0
votes
0
answers
53
views
a generalization of group (monoid with order-by-order invertible elements)
Fix a filtered monoid, $H=H_0\supsetneq H_1\supsetneq H_2\supsetneq\cdots$. Suppose for any $h\in H$ and any $n\in \Bbb{N}$ exists $h_n\in H$ such that $h\cdot h_n\in H_n$ and $h_n\cdot h\in H_n$. If ...
- 2,232
0
votes
0
answers
63
views
continuous map from $\mathbb R$ to $\mathbb R^2$ that send any convex on a convex [duplicate]
Let $f$ be a continuous fonction from $\mathbb R$ to $\mathbb R^2$, such that for any $a<b\in \mathbb R,\,\, f([a,b])$ is convex.
Is there a line $D\subset \mathbb R^2$ such that $f(\mathbb R)\...
- 469
0
votes
0
answers
93
views
Can we express separability of a ray-remainder in terms of the function algebra?
Let $X = [0, 1)$ be a ray and $C(X)$ the algebra of bounded continuous real functions. The spectrum of $C(X)$ is the Stone-Cech compactification $\beta [0,1) $ of the ray. It's easy to see the ...
- 1,955
0
votes
0
answers
116
views
Open subsets of the n-torus containing no nontrivial loops
Let $T^n$ denote the $n$-dimensional torus. Suppose there is an open subset $U\subset T^n$ not containing any nontrivial loop. Does this imply that the inclusion $U\hookrightarrow T^n$ is ...
user83520
0
votes
0
answers
97
views
Is there any concise sufficient condition for the dual space to have Kadec property?
A normed space $E$ has a
Kadec property if the norm- and weak topologies coincide on the unit sphere of $E$.
Kadec-Klee property if any sequence on the unit sphere, that is weakly convergent is also ...
- 5,529
0
votes
0
answers
84
views
Under what conditions on $\mu^{\beta}$ we have $L_1(\beta X,\mu^{\beta})$ isometrically isomorphic to $L_1(X,\mu)$?
Let $X$ be a locally compact Hausdorff space, $\beta X$ its Stone-Cech compactification and $\Delta: X\to\beta X$ the inclusion map. Given a Borel probability measure $\mu^{\beta}$ over $\beta X$, is ...
- 2,044
0
votes
0
answers
220
views
short exact sequence of profinite groups
Let $A\rightarrow B\rightarrow B/A$ be a short exact sequence of topological groups. Is it true that if there exists a continuous function $B/A\rightarrow B$ (of underlying spaces) such that the ...
- 1,613
0
votes
0
answers
101
views
Spherical Rings
My question is concerned with filtered rings. It is a classical result that if $R$ is a finitely generated commutative ring graded by a semigroup $S$ then $S$ is also finitely generated.
The reverse ...
- 501
0
votes
0
answers
75
views
Homomorphic image of $B_{\lambda}^o(S)$ is the Brandt $\lambda^o$-extension of some monoid with zero
Let $S$ be a monoid with zero and $I_{\lambda}$ be an indexed set, then $B_{\lambda}(S) = \{ (\alpha, s , \beta ) : \alpha , \beta \in I_{\lambda}, s\in S \} \cup \{0\}$ is a semigroup and $J = \{ (\...
- 143
0
votes
0
answers
83
views
Topology of sets given by semi-continuous functions
$M$ is a compact space. Assume $f$ is upper semi-continuous on $M$, $g$ is lower semi-continuous on $M$, and $f(x) \geq g(x)$ for any $x\in M$.
If $f(x_0) = g(x_0) $ for some point $x_0\in M$,
Then $...
- 173
0
votes
0
answers
120
views
A topology on the product space of Euclidean space and smooth functions space
I'd like to know if there is a well-known topology on the space $S := \mathbb R \times C^\infty(\mathbb R)$, such that $(x_n, f_n) \to (x, f)$ in $S$ with respect the topology is equivalent to
$$(x_n,...
- 1,399
0
votes
0
answers
85
views
Right split for homomorphism onto $S_\infty$
Let $G$ be a closed subgroup of $S_\infty$ and let $f:G\rightarrow S_\infty$ be a continuous surjective homomorphism. Under which conditions $f$ has a right split, i.e. there exists some $g:S_\infty\...
- 2,882
0
votes
0
answers
106
views
Fixed point shape property
Question: Provide (or prove that it's not possible) a metric compact space which has the fixed point property but not the fixed point shape property.
Here is the definition of f.p.s.p.("map" means ...
- 7,500
0
votes
0
answers
125
views
Embedding a cancellative monoid into another in such a way that $|X-x|=|X|$, where $X$ is a fixed finite set and $x\in X$
Preliminaries.
Let $\mathbb A = (A, +)$ be a possibly non-commutative semigroup. For $X, Y \subseteq A$ we set
$$
X - Y := \{a \in A: a + y \in X\text{ for some }y \in Y\},
$$
which is just the usual ...
- 10.5k
0
votes
0
answers
173
views
Minimum regular open set containing a given set in a T0 Alexandrov topological space
What is known about the minimum regular open set containing a given set in a T$_0$ Alexandrov topological space? I'm particularly interested in the condition for the minimum set happening to be first-...
- 1
0
votes
0
answers
331
views
Idempotent ideal in ring of continuous functions
Is there any equivalence conditions under which an ideal $I$ in ring of continuous functions be be an idempotent ideal?
- 1
0
votes
0
answers
238
views
Pro-constructible subset of scheme intersects very dense subsets?
Let $X$ be a scheme, let $D$ be a very dense subset of $X$ and let $Y$ be a pro-constructible subset of $X$. Is it true that $Y \cap D \neq \emptyset$?
If $Y$ is just constructible, this is true.
...
0
votes
0
answers
114
views
Recontruction of the weak topolgy from the scalar product on a subset of a Hilbert Space
Let $M$ be a set a let $K:M\times M\to\mathbb{C}$ be a positive definite kernel. By a version of Moore-Aronszajn Theorem, there is a unique (up to the unitary euivalence) Hilbert Space $X$, and a map $...
- 5,529
0
votes
1
answer
284
views
Creating topological spaces with portals [closed]
I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension.
I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...
- 19
0
votes
0
answers
153
views
extension of function in an abstract metric space
my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
- 1,835
0
votes
0
answers
161
views
question about the tightness of probability measures for a general topological space
Let $(E,\mathcal{X})$ be a topological space and denote by $\mathcal{F}$ its collection of Borel subsets referred to $\mathcal{X}$. Now let $\mathcal{P}$ be the set of all probabilities on $(E,\...
- 1,835
0
votes
0
answers
84
views
Can a "weak" topological space be a Moore space?
Let B be a reflexive and infinite dimensional real Banach space-which could be Hilbert space l^2- and let B be endowed with the weak topology. Although this topology is regular and Hausdorff, it is ...
- 6,215
0
votes
0
answers
136
views
Monoid action on an uncountably infinite set
The action of a monoid on a finite set is equivalent to a finite state machine, however I would like a categorical way to think about an uncountably infinite state machine (a state transition system?)....
- 101
0
votes
0
answers
208
views
A noncommutative analogy of the tube lemma
Assume that $A$ and $B$ are two unital commutative Banach algebras. Assume that $\phi \in \mathcal{M} (A)$ is an element of the maximal Ideal space. Define $\alpha: A\hat{\otimes} B \to \mathbb{C}\...
- 356
0
votes
0
answers
72
views
Decomposition results for locally commutative semigroups
Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...
- 798
0
votes
0
answers
109
views
Characterising singular homology among a more general class of cosimplicial spaces
Is there a way to characterise (up to isomorphism) the cosimplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...
- 1,105
0
votes
0
answers
128
views
minimal (strongly) KC
If P is a topological property, then a space (X, τ) is said to be minimal P (respectively, maximal) if (X,τ) has property P but no topology on X which is strictly smaller (respectively, strictly ...
- 21
0
votes
0
answers
94
views
Extending coverings over dense subsets
Let $X$ be a metric space with $D⊆X$ a dense subset.
If there is a covering for $D$, under which conditions on the covering is it possible to guarantee that the covering also covers $X$?
For a ...
- 1
0
votes
0
answers
345
views
Is $f$ continuous?
The question is also posted here.
The paper is Mizokami : On characterizations of spaces with $G_\delta$-diagonals
See its Theorem 1, also you can see the picture . http://picpaste.com/a-eaiF4d3t.bmp.
...
- 654
0
votes
0
answers
148
views
Only finitely many fundamental groups in $M(n,k,v,D)$?
Let $M(n,k,v,D)$ denote the class of compact manifolds with $Ric \ge \left( {n - 1} \right)k,vol \ge v,diam \le D$.In 1990,M.Anderson proved that "There are only finitely many fundamental groups among ...
- 689
0
votes
0
answers
196
views
measurable function on a locally compact space for a regular measure
A well known classical fact is that a Lebesgue measurable function on Euclidean space is almost everywhere equal to a Baire class 2 function. A relatively modern reference for this fact is van Rooij -...
- 1,704
0
votes
1
answer
304
views
a questions about the sums of intersections of maximal ideals
why the z-ideals in C(X) are basically the sums of intersections of maximal ideals?
- 1
0
votes
0
answers
218
views
When is $\{ x \ge 0 | f(x) \le 0\}$ path-connected?
I'm trying to determine the conditions on $f : \mathbb{R}^n_{\ge 0} \to \mathbb{R^n}$ under which $\{ x \ge 0 | f(x) \le 0 \}$ is path-connected. We can assume that $f$ is continuous and concave.
...
- 693
0
votes
0
answers
635
views
Do homotopic non-intersecting simple closed curves separate the surface?
Let $C_1$ and $C_2$ be two simple closed curves on an orientable compact surface $S$, such that:
They are homotopic to each other.
They are set-theoretically disjoint.
Is $S\setminus(C_1 \cup C_2)$ ...
user13946
0
votes
0
answers
559
views
Visualizing self-homeomorphism of a cylinder over a torus
A cylinder over a torus is by definition $S^1 \times S^1 \times I$ , here $I=[0,1]$.
One way to visualize it is to thick a torus in $\mathbb{R}^3$. ( $S^1 \times I$ is an annulus, and revolve it (...
- 93
0
votes
0
answers
179
views
semigroup actions of groups on regular rooted trees
If $G$ is a group which has a semigroup action on a regular rooted tree via prefix-preserving, continuous transformations (I give the tree the path metric), what kinds of algebraic restrictions can we ...
- 125
0
votes
0
answers
850
views
Meaning of Regular Neighborhood for Homology Basis Curves in $S_{g,2}$
I have been trying to understand the meaning of the expression "regular neighborhood" in the context described below, but I'm stuck:
We have a collection of curves $c_i$ for $i=1,2,..,n$ embedded in ...
- 1